Mock Version: 2.12
Mock Version: 2.12
Mock Version: 2.12
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842827-4222941/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff804f1040>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target ppc64le --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1635379200
Wrote: /builddir/build/SRPMS/cadical-1.5.2-1.fc36.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842827-4222941/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fff804f1040>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target ppc64le --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: ppc64le
Building for target ppc64le
setting SOURCE_DATE_EPOCH=1635379200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.kJ43ma
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cadical-rel-1.5.2
+ /usr/bin/gzip -dc /builddir/build/SOURCES/cadical-1.5.2.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cadical-rel-1.5.2
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/cat /builddir/build/SOURCES/cadical-shared.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f
+ sed -i '/^-e/s/,/|/g;s/ -O3/ -O2/' configure
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.d0ktH7
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC'
+ ./configure
configure: making default 'build' directory
configure: building in default '/builddir/build/BUILD/cadical-rel-1.5.2/build'
configure: root directory '/builddir/build/BUILD/cadical-rel-1.5.2'
configure: source directory '/builddir/build/BUILD/cadical-rel-1.5.2/src'
configure: compiler supports all required C99/C++11 extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/builddir/build/BUILD/cadical-rel-1.5.2/build/makefile'
configure: linking '/builddir/build/BUILD/cadical-rel-1.5.2/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
+ sed -i 's|@LDFLAGS@|-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 |' build/makefile
+ /usr/bin/make -O -j8 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/cadical-rel-1.5.2/build"
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/arena.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/averages.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ccadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/assume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backtrack.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/backward.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/bins.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/block.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/config.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/analyze.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/clause.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/collect.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/checker.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/constrain.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/contract.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/condition.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decide.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/decompose.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ema.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/deduplicate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/compact.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cover.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/extend.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/format.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ipasir.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/flags.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/file.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/logging.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/elim.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/gates.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/external.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/instantiate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/limit.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lucky.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/message.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/occs.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/minimize.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/phases.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/lookahead.cpp
In file included from ../src/lookahead.cpp:1:
In member function 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)',
    inlined from 'CaDiCaL::Internal::generate_cubes(int, int)' at ../src/lookahead.cpp:394:12:
../src/internal.hpp:105:8: warning: 'cubes.status' may be used uninitialized [-Wmaybe-uninitialized]
  105 | struct CubesWithStatus {
      |        ^~~~~~~~~~~~~~~
../src/lookahead.cpp: In member function 'CaDiCaL::Internal::generate_cubes(int, int)':
../src/lookahead.cpp:392:21: note: 'cubes' declared here
  392 |     CubesWithStatus cubes;
      |                     ^~~~~
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/parse.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/internal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reap.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/profile.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/proof.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/probe.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/queue.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/random.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/propagate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/rephase.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/reduce.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/report.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/signal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/resources.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restart.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/restore.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/score.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solution.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/options.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/terminal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/shrink.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/stats.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/tracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/ternary.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/subsume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/transred.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/var.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/version.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/util.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/solver.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/walk.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/watch.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/cadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/vivify.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -c ../src/mobical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
rm -f libcadical.so
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o
ln -s libcadical.so.0.0.0 libcadical.so.0
ln -s libcadical.so.0 libcadical.so
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -L. -lcadical 
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -L. -lcadical
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build
+ help2man --version-string=1.5.2 -N -o cadical.1 build/cadical
+ help2man --version-string=1.5.2 -N -o mobical.1 -h -h build/mobical
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.HAsdwW
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le
++ dirname /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le
+ cd cadical-rel-1.5.2
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/bin
+ cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/lib64
+ cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/lib64
+ ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/lib64/libcadical.so.0
+ ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/lib64/libcadical.so
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/include
+ cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/include
+ cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/include
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/man/man1
+ cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/man/man1
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 1.5.2-1.fc36 --unique-debug-suffix -1.5.2-1.fc36.ppc64le --unique-debug-src-base cadical-1.5.2-1.fc36.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.5.2
extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/bin/cadical
extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/lib64/libcadical.so.0.0.0
extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/bin/mobical
original debug info size: 18008kB, size after compression: 8692kB
/usr/bin/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match.
1973 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.ova3hv
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ sed -i '/make -C \$CADICALBUILD/d;/^make$/d' test/api/run.sh test/cnf/run.sh test/icnf/run.sh test/mbt/run.sh test/trace/run.sh test/usage/run.sh
+ sed -i 's/ mbt$//' test/makefile
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.5.2/build
+ make -C test
make: Entering directory '/builddir/build/BUILD/cadical-rel-1.5.2/test'
---------------------------------------------------------
usage testing in '../build'
---------------------------------------------------------
starting test run /builddir/build/BUILD/cadical-rel-1.5.2/test
test/usage/run.sh: running usage test 'test-usage-h'
../build/cadical -h# ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-help'
../build/cadical --help# ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-version'
../build/cadical --version# ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-build'
../build/cadical --build# ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-copyright'
../build/cadical --copyright# ok (expected exit code '0')
test/usage/run.sh: running usage test 'test-usage-empty'
../build/cadical ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-false'
../build/cadical ../test/cnf/false.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-n-empty'
../build/cadical -n ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-empty'
../build/cadical -v ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-v-empty'
../build/cadical -v -v ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-v-v-v-empty'
../build/cadical -v -v -v ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-q-empty'
../build/cadical -q ../test/cnf/empty.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-missing-clause'
../build/cadical ../test/usage/missing-clause.cnf# ok (expected exit code '1')
test/usage/run.sh: running usage test 'test-usage-variable-too-large'
../build/cadical ../test/usage/variable-too-large.cnf# ok (expected exit code '1')
test/usage/run.sh: running usage test 'test-usage-strict-relaxed-header'
../build/cadical --strict relaxed-header.cnf# ok (expected exit code '1')
test/usage/run.sh: running usage test 'test-usage-f-missing-clause'
../build/cadical -f ../test/usage/missing-clause.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-f-variable-too-large'
../build/cadical -f ../test/usage/variable-too-large.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force-missing-clause'
../build/cadical --force ../test/usage/missing-clause.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force-variable-too-large'
../build/cadical --force ../test/usage/variable-too-large.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=1-missing-clause'
../build/cadical --force=1 ../test/usage/missing-clause.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=1-variable-too-large'
../build/cadical --force=1 ../test/usage/variable-too-large.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=true-missing-clause'
../build/cadical --force=true ../test/usage/missing-clause.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-force=true-variable-too-large'
../build/cadical --force=true ../test/usage/variable-too-large.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-relaxed-header'
../build/cadical ../test/usage/relaxed-header.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-O1-prime2209'
../build/cadical -O1 ../test/cnf/prime2209.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-O2-prime2209'
../build/cadical -O2 ../test/cnf/prime2209.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-O3-prime2209'
../build/cadical -O3 ../test/cnf/prime2209.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L1-prime9'
../build/cadical -L1 ../test/cnf/prime9.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L2-prime9'
../build/cadical -L2 ../test/cnf/prime9.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-L10-prime9'
../build/cadical -L10 ../test/cnf/prime9.cnf# ok (expected exit code '10')
test/usage/run.sh: running usage test 'test-usage-P1-add16'
../build/cadical -P1 ../test/cnf/add16.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P2-add16'
../build/cadical -P2 ../test/cnf/add16.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P16-add16'
../build/cadical -P16 ../test/cnf/add16.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P128-add16'
../build/cadical -P128 ../test/cnf/add16.cnf# ok (expected exit code '20')
test/usage/run.sh: running usage test 'test-usage-P1024-add16'
../build/cadical -P1024 ../test/cnf/add16.cnf# ok (expected exit code '20')
test/usage/run.sh: usage testing results: 35 ok, 0 failed
---------------------------------------------------------
Regression Testing API traces in '../build'
---------------------------------------------------------
test/trace/run.sh: found 59 traces
test/trace/run.sh: running 'reg0000'
../build/mobical ../test/trace/reg0000.trace
0
# ... ok
test/trace/run.sh: running 'reg0001'
../build/mobical ../test/trace/reg0001.trace
0
# ... ok
test/trace/run.sh: running 'reg0002'
../build/mobical ../test/trace/reg0002.trace
0
# ... ok
test/trace/run.sh: running 'reg0003'
../build/mobical ../test/trace/reg0003.trace
0
# ... ok
test/trace/run.sh: running 'reg0004'
../build/mobical ../test/trace/reg0004.trace
0
# ... ok
test/trace/run.sh: running 'reg0005'
../build/mobical ../test/trace/reg0005.trace
0
# ... ok
test/trace/run.sh: running 'reg0006'
../build/mobical ../test/trace/reg0006.trace
0
# ... ok
test/trace/run.sh: running 'reg0007'
../build/mobical ../test/trace/reg0007.trace
0
# ... ok
test/trace/run.sh: running 'reg0008'
../build/mobical ../test/trace/reg0008.trace
0
# ... ok
test/trace/run.sh: running 'reg0009'
../build/mobical ../test/trace/reg0009.trace
0
# ... ok
test/trace/run.sh: running 'reg0010'
../build/mobical ../test/trace/reg0010.trace
0
# ... ok
test/trace/run.sh: running 'reg0011'
../build/mobical ../test/trace/reg0011.trace
0
# ... ok
test/trace/run.sh: running 'reg0012'
../build/mobical ../test/trace/reg0012.trace
0
# ... ok
test/trace/run.sh: running 'reg0013'
../build/mobical ../test/trace/reg0013.trace
0
# ... ok
test/trace/run.sh: running 'reg0014'
../build/mobical ../test/trace/reg0014.trace
0
# ... ok
test/trace/run.sh: running 'reg0015'
../build/mobical ../test/trace/reg0015.trace
0
# ... ok
test/trace/run.sh: running 'reg0016'
../build/mobical ../test/trace/reg0016.trace
0
# ... ok
test/trace/run.sh: running 'reg0017'
../build/mobical ../test/trace/reg0017.trace
0
# ... ok
test/trace/run.sh: running 'reg0018'
../build/mobical ../test/trace/reg0018.trace
0
# ... ok
test/trace/run.sh: running 'reg0019'
../build/mobical ../test/trace/reg0019.trace
0
# ... ok
test/trace/run.sh: running 'reg0020'
../build/mobical ../test/trace/reg0020.trace
0
# ... ok
test/trace/run.sh: running 'reg0021'
../build/mobical ../test/trace/reg0021.trace
0
# ... ok
test/trace/run.sh: running 'reg0022'
../build/mobical ../test/trace/reg0022.trace
0
# ... ok
test/trace/run.sh: running 'reg0023'
../build/mobical ../test/trace/reg0023.trace
0
# ... ok
test/trace/run.sh: running 'reg0024'
../build/mobical ../test/trace/reg0024.trace
0
# ... ok
test/trace/run.sh: running 'reg0025'
../build/mobical ../test/trace/reg0025.trace
0
# ... ok
test/trace/run.sh: running 'reg0026'
../build/mobical ../test/trace/reg0026.trace
0
# ... ok
test/trace/run.sh: running 'reg0027'
../build/mobical ../test/trace/reg0027.trace
0
# ... ok
test/trace/run.sh: running 'reg0028'
../build/mobical ../test/trace/reg0028.trace
0
# ... ok
test/trace/run.sh: running 'reg0029'
../build/mobical ../test/trace/reg0029.trace
0
# ... ok
test/trace/run.sh: running 'reg0030'
../build/mobical ../test/trace/reg0030.trace
0
# ... ok
test/trace/run.sh: running 'reg0031'
../build/mobical ../test/trace/reg0031.trace
0
# ... ok
test/trace/run.sh: running 'reg0032'
../build/mobical ../test/trace/reg0032.trace
0
# ... ok
test/trace/run.sh: running 'reg0033'
../build/mobical ../test/trace/reg0033.trace
0
# ... ok
test/trace/run.sh: running 'reg0034'
../build/mobical ../test/trace/reg0034.trace
0
# ... ok
test/trace/run.sh: running 'reg0035'
../build/mobical ../test/trace/reg0035.trace
0
# ... ok
test/trace/run.sh: running 'reg0036'
../build/mobical ../test/trace/reg0036.trace
0
# ... ok
test/trace/run.sh: running 'reg0037'
../build/mobical ../test/trace/reg0037.trace
0
# ... ok
test/trace/run.sh: running 'reg0038'
../build/mobical ../test/trace/reg0038.trace
0
# ... ok
test/trace/run.sh: running 'reg0039'
../build/mobical ../test/trace/reg0039.trace
0
# ... ok
test/trace/run.sh: running 'reg0040'
../build/mobical ../test/trace/reg0040.trace
0
# ... ok
test/trace/run.sh: running 'reg0041'
../build/mobical ../test/trace/reg0041.trace
0
# ... ok
test/trace/run.sh: running 'reg0042'
../build/mobical ../test/trace/reg0042.trace
0
# ... ok
test/trace/run.sh: running 'reg0043'
../build/mobical ../test/trace/reg0043.trace
0
# ... ok
test/trace/run.sh: running 'reg0044'
../build/mobical ../test/trace/reg0044.trace
0
# ... ok
test/trace/run.sh: running 'reg0045'
../build/mobical ../test/trace/reg0045.trace
0
# ... ok
test/trace/run.sh: running 'reg0046'
../build/mobical ../test/trace/reg0046.trace
0
# ... ok
test/trace/run.sh: running 'reg0047'
../build/mobical ../test/trace/reg0047.trace
0
# ... ok
test/trace/run.sh: running 'reg0048'
../build/mobical ../test/trace/reg0048.trace
0
# ... ok
test/trace/run.sh: running 'reg0049'
../build/mobical ../test/trace/reg0049.trace
0
# ... ok
test/trace/run.sh: running 'reg0050'
../build/mobical ../test/trace/reg0050.trace
0
# ... ok
test/trace/run.sh: running 'reg0051'
../build/mobical ../test/trace/reg0051.trace
0
# ... ok
test/trace/run.sh: running 'reg0052'
../build/mobical ../test/trace/reg0052.trace
0
# ... ok
test/trace/run.sh: running 'reg0053'
../build/mobical ../test/trace/reg0053.trace
0
# ... ok
test/trace/run.sh: running 'reg0054'
../build/mobical ../test/trace/reg0054.trace
0
# ... ok
test/trace/run.sh: running 'reg0055'
../build/mobical ../test/trace/reg0055.trace
0
# ... ok
test/trace/run.sh: running 'reg0056'
../build/mobical ../test/trace/reg0056.trace
0
# ... ok
test/trace/run.sh: running 'reg0057'
../build/mobical ../test/trace/reg0057.trace
0
# ... ok
test/trace/run.sh: running 'reg0058'
../build/mobical ../test/trace/reg0058.trace
0
# ... ok
test/trace/run.sh: executed 59 traces, 59 ok, 0 failed
---------------------------------------------------------
API testing in '../build'
---------------------------------------------------------
test/api/run.sh: using CXX=g++
test/api/run.sh: using CXXFLAGS=-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG
test/api/run.sh: running API test 'newdelete'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-newdelete ../build/test-api-newdelete.o -L../build -lcadical
../build/test-api-newdelete
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'unit'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-unit.o -c ../test/api/unit.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-unit ../build/test-api-unit.o -L../build -lcadical
../build/test-api-unit
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'morenmore'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-morenmore ../build/test-api-morenmore.o -L../build -lcadical
../build/test-api-morenmore
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'ctest'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-ctest ../build/test-api-ctest.o -L../build -lcadical
../build/test-api-ctest
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'example'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-example.o -c ../test/api/example.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-example ../build/test-api-example.o -L../build -lcadical
../build/test-api-example
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'terminate'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-terminate ../build/test-api-terminate.o -L../build -lcadical
../build/test-api-terminate
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'learn'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-learn.o -c ../test/api/learn.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-learn ../build/test-api-learn.o -L../build -lcadical
../build/test-api-learn
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'cfreeze'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -L../build -lcadical
../build/test-api-cfreeze
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'traverse'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-traverse ../build/test-api-traverse.o -L../build -lcadical
../build/test-api-traverse
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'cipasir'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build -lcadical
../build/test-api-cipasir
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'apitrace'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -Wextra -O2 -DNDEBUG -o ../build/test-api-apitrace ../build/test-api-apitrace.o -L../build -lcadical
../build/test-api-apitrace
# 0 ... ok (zero exit code)
test/api/run.sh: API testing results: 11 ok, 0 failed
---------------------------------------------------------
CNF testing in '../build'
---------------------------------------------------------
cc -O -o ../build/precochk ../test/cnf/precochk.c -lz
test/cnf/run.sh: external solution checking with '../build/precochk'
test/cnf/run.sh: external proof checking with '../build/drat-trim'
test/cnf/run.sh: running CNF test core 'empty'
../build/cadical \
../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/empty.cnf ../build/test-cnf-core-empty.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'empty'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/empty.cnf
# 10 ...ok
../build/precochk \
../test/cnf/empty.cnf ../build/test-cnf-simp-empty.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'false'
../build/cadical \
../test/cnf/false.cnf --check ../build/test-cnf-core-false.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/false.cnf ../build/test-cnf-core-false.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'false'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/false.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit0'
../build/cadical \
../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit0.cnf ../build/test-cnf-core-unit0.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit0.cnf
# 10 ...ok
../build/precochk \
../test/cnf/unit0.cnf ../build/test-cnf-simp-unit0.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit1'
../build/cadical \
../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit1.cnf ../build/test-cnf-core-unit1.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit1.cnf
# 10 ...ok
../build/precochk \
../test/cnf/unit1.cnf ../build/test-cnf-simp-unit1.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit2'
../build/cadical \
../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit2.cnf ../build/test-cnf-core-unit2.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit2.cnf
# 10 ...ok
../build/precochk \
../test/cnf/unit2.cnf ../build/test-cnf-simp-unit2.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit3'
../build/cadical \
../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/unit3.cnf ../build/test-cnf-core-unit3.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'unit3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit3.cnf
# 10 ...ok
../build/precochk \
../test/cnf/unit3.cnf ../build/test-cnf-simp-unit3.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'unit4'
../build/cadical \
../test/cnf/unit4.cnf --check ../build/test-cnf-core-unit4.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit4.cnf ../build/test-cnf-core-unit4.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit5'
../build/cadical \
../test/cnf/unit5.cnf --check ../build/test-cnf-core-unit5.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit5.cnf ../build/test-cnf-core-unit5.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit6'
../build/cadical \
../test/cnf/unit6.cnf --check ../build/test-cnf-core-unit6.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit6.cnf ../build/test-cnf-core-unit6.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'unit7'
../build/cadical \
../test/cnf/unit7.cnf --check ../build/test-cnf-core-unit7.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/unit7.cnf ../build/test-cnf-core-unit7.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'unit7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit7.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sub0'
../build/cadical \
../test/cnf/sub0.cnf --check
# 10 ...ok (without solution file)
../build/precochk \
../test/cnf/sub0.cnf ../build/test-cnf-core-sub0.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sub0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sub0.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sub0.cnf ../build/test-cnf-simp-sub0.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat0'
../build/cadical \
../test/cnf/sat0.cnf --check ../build/test-cnf-core-sat0.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/sat0.cnf ../build/test-cnf-core-sat0.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'sat0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat0.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sat1'
../build/cadical \
../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat1.cnf ../build/test-cnf-core-sat1.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat1.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat1.cnf ../build/test-cnf-simp-sat1.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat2'
../build/cadical \
../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat2.cnf ../build/test-cnf-core-sat2.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat2.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat2.cnf ../build/test-cnf-simp-sat2.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat3'
../build/cadical \
../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat3.cnf ../build/test-cnf-core-sat3.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat3.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat3.cnf ../build/test-cnf-simp-sat3.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat4'
../build/cadical \
../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat4.cnf ../build/test-cnf-core-sat4.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat4.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat4.cnf ../build/test-cnf-simp-sat4.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat5'
../build/cadical \
../test/cnf/sat5.cnf --check ../build/test-cnf-core-sat5.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/sat5.cnf ../build/test-cnf-core-sat5.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'sat5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'sat6'
../build/cadical \
../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat6.cnf ../build/test-cnf-core-sat6.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat6.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat6.cnf ../build/test-cnf-simp-sat6.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat7'
../build/cadical \
../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat7.cnf ../build/test-cnf-core-sat7.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat7.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat7.cnf ../build/test-cnf-simp-sat7.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat8'
../build/cadical \
../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat8.cnf ../build/test-cnf-core-sat8.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat8'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat8.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat8.cnf ../build/test-cnf-simp-sat8.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat9'
../build/cadical \
../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat9.cnf ../build/test-cnf-core-sat9.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat9.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat9.cnf ../build/test-cnf-simp-sat9.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat10'
../build/cadical \
../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat10.cnf ../build/test-cnf-core-sat10.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat10'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat10.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat10.cnf ../build/test-cnf-simp-sat10.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat11'
../build/cadical \
../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat11.cnf ../build/test-cnf-core-sat11.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat11'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat11.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat11.cnf ../build/test-cnf-simp-sat11.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat12'
../build/cadical \
../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat12.cnf ../build/test-cnf-core-sat12.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat12'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat12.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat12.cnf ../build/test-cnf-simp-sat12.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sat13'
../build/cadical \
../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sat13.cnf ../build/test-cnf-core-sat13.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sat13'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat13.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sat13.cnf ../build/test-cnf-simp-sat13.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'full1'
../build/cadical \
../test/cnf/full1.cnf --check ../build/test-cnf-core-full1.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full1.cnf ../build/test-cnf-core-full1.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full1.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full2'
../build/cadical \
../test/cnf/full2.cnf --check ../build/test-cnf-core-full2.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full2.cnf ../build/test-cnf-core-full2.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full2.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full3'
../build/cadical \
../test/cnf/full3.cnf --check ../build/test-cnf-core-full3.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full3.cnf ../build/test-cnf-core-full3.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full3.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full4'
../build/cadical \
../test/cnf/full4.cnf --check ../build/test-cnf-core-full4.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full4.cnf ../build/test-cnf-core-full4.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full5'
../build/cadical \
../test/cnf/full5.cnf --check ../build/test-cnf-core-full5.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full5.cnf ../build/test-cnf-core-full5.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full6'
../build/cadical \
../test/cnf/full6.cnf --check ../build/test-cnf-core-full6.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full6.cnf ../build/test-cnf-core-full6.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'full7'
../build/cadical \
../test/cnf/full7.cnf --check ../build/test-cnf-core-full7.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/full7.cnf ../build/test-cnf-core-full7.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'full7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/full7.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'regr000'
../build/cadical \
../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/regr000.cnf ../build/test-cnf-core-regr000.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'regr000'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/regr000.cnf
# 10 ...ok
../build/precochk \
../test/cnf/regr000.cnf ../build/test-cnf-simp-regr000.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'elimclash'
../build/cadical \
../test/cnf/elimclash.cnf --check ../build/test-cnf-core-elimclash.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/elimclash.cnf ../build/test-cnf-core-elimclash.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'elimclash'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/elimclash.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'elimredundant'
../build/cadical \
../test/cnf/elimredundant.cnf --check
# 10 ...ok (without solution file)
../build/precochk \
../test/cnf/elimredundant.cnf ../build/test-cnf-core-elimredundant.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'elimredundant'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/elimredundant.cnf
# 10 ...ok
../build/precochk \
../test/cnf/elimredundant.cnf ../build/test-cnf-simp-elimredundant.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'block0'
../build/cadical \
../test/cnf/block0.cnf --check
# 10 ...ok (without solution file)
../build/precochk \
../test/cnf/block0.cnf ../build/test-cnf-core-block0.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'block0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/block0.cnf
# 10 ...ok
../build/precochk \
../test/cnf/block0.cnf ../build/test-cnf-simp-block0.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime4'
../build/cadical \
../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime4.cnf ../build/test-cnf-core-prime4.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime4.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime4.cnf ../build/test-cnf-simp-prime4.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime9'
../build/cadical \
../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime9.cnf ../build/test-cnf-core-prime9.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime9.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime9.cnf ../build/test-cnf-simp-prime9.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime25'
../build/cadical \
../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime25.cnf ../build/test-cnf-core-prime25.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime25'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime25.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime25.cnf ../build/test-cnf-simp-prime25.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime49'
../build/cadical \
../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime49.cnf ../build/test-cnf-core-prime49.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime49'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime49.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime49.cnf ../build/test-cnf-simp-prime49.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime121'
../build/cadical \
../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime121.cnf ../build/test-cnf-core-prime121.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime121'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime121.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime121.cnf ../build/test-cnf-simp-prime121.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime169'
../build/cadical \
../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime169.cnf ../build/test-cnf-core-prime169.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime169'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime169.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime169.cnf ../build/test-cnf-simp-prime169.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime361'
../build/cadical \
../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime361.cnf ../build/test-cnf-core-prime361.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime361'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime361.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime361.cnf ../build/test-cnf-simp-prime361.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime289'
../build/cadical \
../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime289.cnf ../build/test-cnf-core-prime289.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime289'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime289.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime289.cnf ../build/test-cnf-simp-prime289.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime529'
../build/cadical \
../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime529.cnf ../build/test-cnf-core-prime529.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime529'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime529.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime529.cnf ../build/test-cnf-simp-prime529.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime841'
../build/cadical \
../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime841.cnf ../build/test-cnf-core-prime841.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime841'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime841.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime841.cnf ../build/test-cnf-simp-prime841.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime961'
../build/cadical \
../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime961.cnf ../build/test-cnf-core-prime961.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime961'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime961.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime961.cnf ../build/test-cnf-simp-prime961.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1369'
../build/cadical \
../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1369.cnf ../build/test-cnf-core-prime1369.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1369'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1369.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime1369.cnf ../build/test-cnf-simp-prime1369.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1681'
../build/cadical \
../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1681.cnf ../build/test-cnf-core-prime1681.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1681'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1681.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime1681.cnf ../build/test-cnf-simp-prime1681.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime1849'
../build/cadical \
../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime1849.cnf ../build/test-cnf-core-prime1849.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime1849'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1849.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime1849.cnf ../build/test-cnf-simp-prime1849.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'prime2209'
../build/cadical \
../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/prime2209.cnf ../build/test-cnf-core-prime2209.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'prime2209'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime2209.cnf
# 10 ...ok
../build/precochk \
../test/cnf/prime2209.cnf ../build/test-cnf-simp-prime2209.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'factor2708413neg'
../build/cadical \
../test/cnf/factor2708413neg.cnf --check
# 10 ...ok (without solution file)
../build/precochk \
../test/cnf/factor2708413neg.cnf ../build/test-cnf-core-factor2708413neg.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'factor2708413neg'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413neg.cnf
# 10 ...ok
../build/precochk \
../test/cnf/factor2708413neg.cnf ../build/test-cnf-simp-factor2708413neg.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'factor2708413pos'
../build/cadical \
../test/cnf/factor2708413pos.cnf --check
# 10 ...ok (without solution file)
../build/precochk \
../test/cnf/factor2708413pos.cnf ../build/test-cnf-core-factor2708413pos.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'factor2708413pos'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413pos.cnf
# 10 ...ok
../build/precochk \
../test/cnf/factor2708413pos.cnf ../build/test-cnf-simp-factor2708413pos.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt2809'
../build/cadical \
../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt2809.cnf ../build/test-cnf-core-sqrt2809.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt2809'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt2809.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt2809.cnf ../build/test-cnf-simp-sqrt2809.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt3481'
../build/cadical \
../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt3481.cnf ../build/test-cnf-core-sqrt3481.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt3481'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3481.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt3481.cnf ../build/test-cnf-simp-sqrt3481.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt3721'
../build/cadical \
../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt3721.cnf ../build/test-cnf-core-sqrt3721.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt3721'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3721.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt3721.cnf ../build/test-cnf-simp-sqrt3721.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt4489'
../build/cadical \
../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt4489.cnf ../build/test-cnf-core-sqrt4489.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt4489'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt4489.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt4489.cnf ../build/test-cnf-simp-sqrt4489.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt5041'
../build/cadical \
../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt5041.cnf ../build/test-cnf-core-sqrt5041.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt5041'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5041.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt5041.cnf ../build/test-cnf-simp-sqrt5041.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt5329'
../build/cadical \
../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt5329.cnf ../build/test-cnf-core-sqrt5329.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt5329'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5329.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt5329.cnf ../build/test-cnf-simp-sqrt5329.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt6241'
../build/cadical \
../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt6241.cnf ../build/test-cnf-core-sqrt6241.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt6241'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6241.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt6241.cnf ../build/test-cnf-simp-sqrt6241.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt6889'
../build/cadical \
../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt6889.cnf ../build/test-cnf-core-sqrt6889.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt6889'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6889.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt6889.cnf ../build/test-cnf-simp-sqrt6889.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt7921'
../build/cadical \
../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt7921.cnf ../build/test-cnf-core-sqrt7921.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt7921'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt7921.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt7921.cnf ../build/test-cnf-simp-sqrt7921.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt9409'
../build/cadical \
../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt9409.cnf ../build/test-cnf-core-sqrt9409.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt9409'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt9409.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt9409.cnf ../build/test-cnf-simp-sqrt9409.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt10201'
../build/cadical \
../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt10201.cnf ../build/test-cnf-core-sqrt10201.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt10201'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10201.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt10201.cnf ../build/test-cnf-simp-sqrt10201.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt10609'
../build/cadical \
../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt10609.cnf ../build/test-cnf-core-sqrt10609.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt10609'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10609.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt10609.cnf ../build/test-cnf-simp-sqrt10609.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt11449'
../build/cadical \
../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt11449.cnf ../build/test-cnf-core-sqrt11449.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt11449'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11449.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt11449.cnf ../build/test-cnf-simp-sqrt11449.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt11881'
../build/cadical \
../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt11881.cnf ../build/test-cnf-core-sqrt11881.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt11881'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11881.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt11881.cnf ../build/test-cnf-simp-sqrt11881.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt12769'
../build/cadical \
../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt12769.cnf ../build/test-cnf-core-sqrt12769.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt12769'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt12769.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt12769.cnf ../build/test-cnf-simp-sqrt12769.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt16129'
../build/cadical \
../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt16129.cnf ../build/test-cnf-core-sqrt16129.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt16129'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt16129.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt16129.cnf ../build/test-cnf-simp-sqrt16129.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt63001'
../build/cadical \
../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt63001.cnf ../build/test-cnf-core-sqrt63001.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt63001'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt63001.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt63001.cnf ../build/test-cnf-simp-sqrt63001.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt259081'
../build/cadical \
../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt259081.cnf ../build/test-cnf-core-sqrt259081.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt259081'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt259081.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt259081.cnf ../build/test-cnf-simp-sqrt259081.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'sqrt1042441'
../build/cadical \
../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol
# 10 ...ok (solution file checked after parsing)
../build/precochk \
../test/cnf/sqrt1042441.cnf ../build/test-cnf-core-sqrt1042441.log
# 0 ...ok (solution checked externally too)
test/cnf/run.sh: running CNF test simp 'sqrt1042441'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt1042441.cnf
# 10 ...ok
../build/precochk \
../test/cnf/sqrt1042441.cnf ../build/test-cnf-simp-sqrt1042441.log
# 0 ...ok (solution checked externally)
test/cnf/run.sh: running CNF test core 'ph2'
../build/cadical \
../test/cnf/ph2.cnf --check ../build/test-cnf-core-ph2.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph2.cnf ../build/test-cnf-core-ph2.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph2.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph3'
../build/cadical \
../test/cnf/ph3.cnf --check ../build/test-cnf-core-ph3.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph3.cnf ../build/test-cnf-core-ph3.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph3.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph4'
../build/cadical \
../test/cnf/ph4.cnf --check ../build/test-cnf-core-ph4.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph4.cnf ../build/test-cnf-core-ph4.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph5'
../build/cadical \
../test/cnf/ph5.cnf --check ../build/test-cnf-core-ph5.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph5.cnf ../build/test-cnf-core-ph5.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph5'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph5.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'ph6'
../build/cadical \
../test/cnf/ph6.cnf --check ../build/test-cnf-core-ph6.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/ph6.cnf ../build/test-cnf-core-ph6.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'ph6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/ph6.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add4'
../build/cadical \
../test/cnf/add4.cnf --check ../build/test-cnf-core-add4.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add4.cnf ../build/test-cnf-core-add4.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add4.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add8'
../build/cadical \
../test/cnf/add8.cnf --check ../build/test-cnf-core-add8.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add8.cnf ../build/test-cnf-core-add8.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add8'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add8.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add16'
../build/cadical \
../test/cnf/add16.cnf --check ../build/test-cnf-core-add16.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add16.cnf ../build/test-cnf-core-add16.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add16'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add16.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add32'
../build/cadical \
../test/cnf/add32.cnf --check ../build/test-cnf-core-add32.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add32.cnf ../build/test-cnf-core-add32.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add32'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add32.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add64'
../build/cadical \
../test/cnf/add64.cnf --check ../build/test-cnf-core-add64.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add64.cnf ../build/test-cnf-core-add64.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add64'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add64.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'add128'
../build/cadical \
../test/cnf/add128.cnf --check ../build/test-cnf-core-add128.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/add128.cnf ../build/test-cnf-core-add128.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'add128'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/add128.cnf
# 20 ...test/cnf/run.sh: running CNF test core 'prime65537'
../build/cadical \
../test/cnf/prime65537.cnf --check ../build/test-cnf-core-prime65537.prf
# 20 ...ok (exit code as expected)
../build/drat-trim \
../test/cnf/prime65537.cnf ../build/test-cnf-core-prime65537.prf
# 0 ...ok (proof checked)
test/cnf/run.sh: running CNF test simp 'prime65537'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime65537.cnf
# 20 ...test/cnf/run.sh: CNF testing results: 141 ok, 0 failed
---------------------------------------------------------
ICNF testing in '../build'
---------------------------------------------------------
test/icnf/run.sh: running ICNF tests 'empty'
../build/cadical \
../test/icnf/empty.icnf
# 10 ...ok (exit code '10' as expected)
test/icnf/run.sh: running ICNF tests 'false'
../build/cadical \
../test/icnf/false.icnf
# 20 ...ok (exit code '20' as expected)
test/icnf/run.sh: running ICNF tests 'unit1'
../build/cadical \
../test/icnf/unit1.icnf
# 20 ...ok (exit code '20' as expected)
test/icnf/run.sh: running ICNF tests 'unit2'
../build/cadical \
../test/icnf/unit2.icnf
# 10 ...ok (exit code '10' as expected)
test/icnf/run.sh: running ICNF tests 'two1'
../build/cadical \
../test/icnf/two1.icnf
# 20 ...ok (exit code '20' as expected)
test/icnf/run.sh: running ICNF tests 'two2'
../build/cadical \
../test/icnf/two2.icnf
# 10 ...ok (exit code '10' as expected)
test/icnf/run.sh: ICNF testing results: 6 ok, 0 failed
make: Leaving directory '/builddir/build/BUILD/cadical-rel-1.5.2/test'
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: cadical-1.5.2-1.fc36.ppc64le
Provides: cadical = 1:1.5.2-1.fc36 cadical(ppc-64) = 1:1.5.2-1.fc36
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.34)(64bit) libcadical.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cadical-libs-1.5.2-1.fc36.ppc64le
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.W41DTw
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ DOCDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/doc/cadical-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/doc/cadical-libs
+ cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/doc/cadical-libs
+ cp -pr README.md /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/doc/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.hm1Y9d
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/licenses/cadical-libs
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/licenses/cadical-libs
+ cp -pr LICENSE /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le/usr/share/licenses/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cadical-libs = 1:1.5.2-1.fc36 cadical-libs(ppc-64) = 1:1.5.2-1.fc36 libcadical.so.0()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.33)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.29)(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) rtld(GNU_HASH)
Processing files: cadical-devel-1.5.2-1.fc36.ppc64le
Provides: cadical-devel = 1:1.5.2-1.fc36 cadical-devel(ppc-64) = 1:1.5.2-1.fc36
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libcadical.so.0()(64bit)
Processing files: cadical-debugsource-1.5.2-1.fc36.ppc64le
Provides: cadical-debugsource = 1:1.5.2-1.fc36 cadical-debugsource(ppc-64) = 1:1.5.2-1.fc36
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cadical-debuginfo-1.5.2-1.fc36.ppc64le
Provides: cadical-debuginfo = 1:1.5.2-1.fc36 cadical-debuginfo(ppc-64) = 1:1.5.2-1.fc36 debuginfo(build-id) = 010fe6e8d9518925378fe9cebb626bc5652dc1b9 debuginfo(build-id) = d53956d455ace1ea73a01a5b52b7be2640a64c69
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(ppc-64) = 1:1.5.2-1.fc36
Processing files: cadical-libs-debuginfo-1.5.2-1.fc36.ppc64le
Provides: cadical-libs-debuginfo = 1:1.5.2-1.fc36 cadical-libs-debuginfo(ppc-64) = 1:1.5.2-1.fc36 debuginfo(build-id) = 9eefcdfedd7b7b1190a9cae716fe2e44bb0f3fa4 libcadical.so.0.0.0-1.5.2-1.fc36.ppc64le.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(ppc-64) = 1:1.5.2-1.fc36
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le
Wrote: /builddir/build/RPMS/cadical-devel-1.5.2-1.fc36.ppc64le.rpm
Wrote: /builddir/build/RPMS/cadical-1.5.2-1.fc36.ppc64le.rpm
Wrote: /builddir/build/RPMS/cadical-libs-1.5.2-1.fc36.ppc64le.rpm
Wrote: /builddir/build/RPMS/cadical-debugsource-1.5.2-1.fc36.ppc64le.rpm
Wrote: /builddir/build/RPMS/cadical-debuginfo-1.5.2-1.fc36.ppc64le.rpm
Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.5.2-1.fc36.ppc64le.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.RYDDIR
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.ppc64le
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0