Mock Version: 2.12
Mock Version: 2.12
Mock Version: 2.12
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842826-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 0x3ffa79d7a60>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --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: s390x
Building for target s390x
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 s390x --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f36-build-30842826-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 0x3ffa79d7a60>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --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: s390x
Building for target s390x
setting SOURCE_DATE_EPOCH=1635379200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.DBkFBo
+ 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.oT2ge0
+ 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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -j3 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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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'
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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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'
../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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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.Lfvw1j
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x
++ dirname /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x
+ cd cadical-rel-1.5.2
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/bin
+ cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/lib64
+ cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/lib64
+ ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/lib64/libcadical.so.0
+ ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/lib64/libcadical.so
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/include
+ cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/include
+ cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/include
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/share/man/man1
+ cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/share/man/man1
+ /usr/bin/find-debuginfo -j3 --strict-build-id -m -i --build-id-seed 1.5.2-1.fc36 --unique-debug-suffix -1.5.2-1.fc36.s390x --unique-debug-src-base cadical-1.5.2-1.fc36.s390x --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.s390x/usr/bin/mobical
extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/bin/cadical
extracting debug info from /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/lib64/libcadical.so.0.0.0
original debug info size: 18196kB, size after compression: 8872kB
/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.85mboz
+ 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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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 -march=zEC12 -mtune=z13 -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.s390x
Provides: cadical = 1:1.5.2-1.fc36 cadical(s390-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.2)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(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.s390x
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.2qvNSf
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ DOCDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/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.s390x/usr/share/doc/cadical-libs
+ cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/share/doc/cadical-libs
+ cp -pr README.md /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/share/doc/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ZRAqUW
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.5.2
+ LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/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.s390x/usr/share/licenses/cadical-libs
+ cp -pr LICENSE /builddir/build/BUILDROOT/cadical-1.5.2-1.fc36.s390x/usr/share/licenses/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cadical-libs = 1:1.5.2-1.fc36 cadical-libs(s390-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.2)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(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.s390x
Provides: cadical-devel = 1:1.5.2-1.fc36 cadical-devel(s390-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.s390x
Provides: cadical-debugsource = 1:1.5.2-1.fc36 cadical-debugsource(s390-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.s390x
Provides: cadical-debuginfo = 1:1.5.2-1.fc36 cadical-debuginfo(s390-64) = 1:1.5.2-1.fc36 debuginfo(build-id) = 5f20fc66f664afba94c1cffbd3a26f67be373f24 debuginfo(build-id) = 957487a0dcf42db8d82825ad6f072e2a08e286f1
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(s390-64) = 1:1.5.2-1.fc36
Processing files: cadical-libs-debuginfo-1.5.2-1.fc36.s390x
Provides: cadical-libs-debuginfo = 1:1.5.2-1.fc36 cadical-libs-debuginfo(s390-64) = 1:1.5.2-1.fc36 debuginfo(build-id) = d56ec2f733b404a016dd8777efe11d44529fcbf1 libcadical.so.0.0.0-1.5.2-1.fc36.s390x.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(s390-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.s390x
Wrote: /builddir/build/RPMS/cadical-debugsource-1.5.2-1.fc36.s390x.rpm
Wrote: /builddir/build/RPMS/cadical-debuginfo-1.5.2-1.fc36.s390x.rpm
Wrote: /builddir/build/RPMS/cadical-libs-1.5.2-1.fc36.s390x.rpm
Wrote: /builddir/build/RPMS/cadical-1.5.2-1.fc36.s390x.rpm
Wrote: /builddir/build/RPMS/cadical-devel-1.5.2-1.fc36.s390x.rpm
Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.5.2-1.fc36.s390x.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.jFcQkU
+ 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.s390x
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0