Mock Version: 5.5
Mock Version: 5.5
Mock Version: 5.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f41-build-50495826-6044968/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 0x7f7e0dea7950>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'bd8f9ccf3979453fab5fe9663996a97c', '-D', '/var/lib/mock/f41-build-50495826-6044968/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1710374400
Wrote: /builddir/build/SRPMS/cadical-1.9.5-1.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f41-build-50495826-6044968/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 0x7f7e0dea7950>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'ca758ebfc24347ed8f9e07085ab51352', '-D', '/var/lib/mock/f41-build-50495826-6044968/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.blmfnci3:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --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', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1710374400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.aAwEAX
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cadical-rel-1.9.5
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cadical-1.9.5.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cadical-rel-1.9.5
+ rm -rf /builddir/build/BUILD/cadical-rel-1.9.5-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/cadical-rel-1.9.5-SPECPARTS
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cadical-shared.patch
+ /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.qU0Zo4
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cadical-rel-1.9.5
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC'
+ ./configure
configure: making default 'build' directory
configure: building in default '/builddir/build/BUILD/cadical-rel-1.9.5/build'
configure: root directory '/builddir/build/BUILD/cadical-rel-1.9.5'
configure: source directory '/builddir/build/BUILD/cadical-rel-1.9.5/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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/builddir/build/BUILD/cadical-rel-1.9.5/build/makefile'
configure: linking '/builddir/build/BUILD/cadical-rel-1.9.5/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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes |' build/makefile
+ /usr/bin/make -O -j6 V=1 VERBOSE=1
/usr/bin/make -C "/builddir/build/BUILD/cadical-rel-1.9.5/build"
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/averages.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/arena.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backtrack.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backward.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ccadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/bins.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/assume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/block.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/analyze.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/checker.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/clause.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/config.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/contract.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/collect.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/constrain.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/condition.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/deduplicate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/compact.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decide.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decompose.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
../src/decompose.cpp: In member function ‘CaDiCaL::Internal::decompose_round()’:
../src/decompose.cpp:641:22: warning: array subscript 2 is above array bounds of ‘int[2]’ [-Warray-bounds=]
  641 |         c->literals[l] = clause[l];
      |         ~~~~~~~~~~~~~^
In file included from ../src/internal.hpp:55,
                 from ../src/decompose.cpp:1:
../src/clause.hpp:86:9: note: while referencing ‘literals’
   86 |     int literals[2]; // Of variadic 'size' (shrunken if strengthened).
      |         ^~~~~~~~
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/drattracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cover.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ema.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/extend.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/external_propagate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/elim.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/file.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/flags.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/external.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/flip.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/format.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ipasir.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/limit.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/logging.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/idruptracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/gates.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/frattracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/instantiate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lrattracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lucky.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lratchecker.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/internal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lratbuilder.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lookahead.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/message.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/minimize.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/phases.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/occs.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/parse.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/profile.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/probe.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/queue.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/random.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/propagate.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reap.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/proof.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/rephase.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restart.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/resources.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/report.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/signal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reduce.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/options.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restore.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/score.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solution.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/shrink.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/terminal.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/stats.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ternary.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/transred.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solver.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
../scripts/make-build-header.sh > build.hpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/util.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/subsume.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/var.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/veripbtracer.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/walk.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/watch.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cadical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/vivify.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/mobical.cpp
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
rm -f libcadical.so
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  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 drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.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 transred.o util.o var.o veripbtracer.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.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -L. -lcadical 
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer  -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -L. -lcadical
make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-1.9.5/build'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.9.5/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.9.5/build
+ help2man --version-string=1.9.5 -N -o cadical.1 -n 'Simplified SAT solver' build/cadical
+ help2man --version-string=1.9.5 -N -o mobical.1 -h -h -n 'Model Based Tester for CaDiCaL' build/mobical
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.hfRTzz
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64
++ dirname /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cadical-rel-1.9.5
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/bin
+ cp -p build/cadical build/mobical /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/lib64
+ cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/lib64
+ ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/lib64/libcadical.so.0
+ ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/lib64/libcadical.so
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/include
+ cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/include
+ cp -p src/ccadical.h /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/include
+ mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/man/man1
+ cp -p cadical.1 mobical.1 /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/man/man1
+ /usr/bin/find-debuginfo -j6 --strict-build-id -m -i --build-id-seed 1.9.5-1.fc41 --unique-debug-suffix -1.9.5-1.fc41.x86_64 --unique-debug-src-base cadical-1.9.5-1.fc41.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-1.9.5
find-debuginfo: starting
Extracting debug info from 3 files
DWARF-compressing 3 files
sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/cadical-1.9.5-1.fc41.x86_64
2647 blocks
find-debuginfo: done
+ /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/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j6
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.gM4cGk
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd cadical-rel-1.9.5
+ 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.9.5/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/cadical-rel-1.9.5/build
+ make -C test
make: Entering directory '/builddir/build/BUILD/cadical-rel-1.9.5/test'
---------------------------------------------------------
usage testing in '../build'
---------------------------------------------------------
starting test run /builddir/build/BUILD/cadical-rel-1.9.5/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 77 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: running 'reg0059'
../build/mobical ../test/trace/reg0059.trace
0
# ... ok
test/trace/run.sh: running 'reg0060'
../build/mobical ../test/trace/reg0060.trace
0
# ... ok
test/trace/run.sh: running 'reg0061'
../build/mobical ../test/trace/reg0061.trace
0
# ... ok
test/trace/run.sh: running 'reg0062'
../build/mobical ../test/trace/reg0062.trace
0
# ... ok
test/trace/run.sh: running 'reg0063'
../build/mobical ../test/trace/reg0063.trace
0
# ... ok
test/trace/run.sh: running 'reg0064'
../build/mobical ../test/trace/reg0064.trace
0
# ... ok
test/trace/run.sh: running 'reg0065'
../build/mobical ../test/trace/reg0065.trace
0
# ... ok
test/trace/run.sh: running 'reg0066'
../build/mobical ../test/trace/reg0066.trace
0
# ... ok
test/trace/run.sh: running 'reg0067'
../build/mobical ../test/trace/reg0067.trace
0
# ... ok
test/trace/run.sh: running 'reg0068'
../build/mobical ../test/trace/reg0068.trace
0
# ... ok
test/trace/run.sh: running 'reg0069'
../build/mobical ../test/trace/reg0069.trace
0
# ... ok
test/trace/run.sh: running 'reg0070'
../build/mobical ../test/trace/reg0070.trace
0
# ... ok
test/trace/run.sh: running 'reg0071'
../build/mobical ../test/trace/reg0071.trace
0
# ... ok
test/trace/run.sh: running 'reg0072'
../build/mobical ../test/trace/reg0072.trace
0
# ... ok
test/trace/run.sh: running 'reg0073'
../build/mobical ../test/trace/reg0073.trace
0
# ... ok
test/trace/run.sh: running 'reg0074'
../build/mobical ../test/trace/reg0074.trace
0
# ... ok
test/trace/run.sh: running 'reg0075'
../build/mobical ../test/trace/reg0075.trace
0
# ... ok
test/trace/run.sh: running 'reg0076'
../build/mobical ../test/trace/reg0076.trace
0
# ... ok
test/trace/run.sh: executed 77 traces, 77 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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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 'example_constraint'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example_constraint.o -c ../test/api/example_constraint.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example_constraint ../build/test-api-example_constraint.o -L../build -lcadical
../build/test-api-example_constraint
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'example_tracer'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example_tracer.o -c ../test/api/example_tracer.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example_tracer ../build/test-api-example_tracer.o -L../build -lcadical
../build/test-api-example_tracer
# 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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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 'incproof'
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-incproof.o -c ../test/api/incproof.cpp
g++ -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-incproof ../build/test-api-incproof.o -L../build -lcadical
../build/test-api-incproof
# 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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -Wall -Wextra -O3 -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: 14 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: external proof checking with '../build/lrat-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 core 'empty'
../build/cadical \
../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol ../build/test-cnf-core-empty.prf
# 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 core 'empty'
../build/cadical \
../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol --lrat ../build/test-cnf-core-empty.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'false'
../build/cadical \
../test/cnf/false.cnf --check --lrat ../build/test-cnf-core-false.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'unit0'
../build/cadical \
../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol ../build/test-cnf-core-unit0.prf
# 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 core 'unit0'
../build/cadical \
../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol --lrat ../build/test-cnf-core-unit0.prf
# 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 core 'unit1'
../build/cadical \
../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol ../build/test-cnf-core-unit1.prf
# 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 core 'unit1'
../build/cadical \
../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol --lrat ../build/test-cnf-core-unit1.prf
# 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 core 'unit2'
../build/cadical \
../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol ../build/test-cnf-core-unit2.prf
# 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 core 'unit2'
../build/cadical \
../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol --lrat ../build/test-cnf-core-unit2.prf
# 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 core 'unit3'
../build/cadical \
../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol ../build/test-cnf-core-unit3.prf
# 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 core 'unit3'
../build/cadical \
../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol --lrat ../build/test-cnf-core-unit3.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'unit4'
../build/cadical \
../test/cnf/unit4.cnf --check --lrat ../build/test-cnf-core-unit4.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'unit5'
../build/cadical \
../test/cnf/unit5.cnf --check --lrat ../build/test-cnf-core-unit5.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'unit6'
../build/cadical \
../test/cnf/unit6.cnf --check --lrat ../build/test-cnf-core-unit6.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'unit7'
../build/cadical \
../test/cnf/unit7.cnf --check --lrat ../build/test-cnf-core-unit7.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'sub0'
../build/cadical \
../test/cnf/sub0.cnf --check ../build/test-cnf-core-sub0.prf
# 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 core 'sub0'
../build/cadical \
../test/cnf/sub0.cnf --check --lrat ../build/test-cnf-core-sub0.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'sat0'
../build/cadical \
../test/cnf/sat0.cnf --check --lrat ../build/test-cnf-core-sat0.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'sat1'
../build/cadical \
../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol ../build/test-cnf-core-sat1.prf
# 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 core 'sat1'
../build/cadical \
../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol --lrat ../build/test-cnf-core-sat1.prf
# 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 core 'sat2'
../build/cadical \
../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol ../build/test-cnf-core-sat2.prf
# 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 core 'sat2'
../build/cadical \
../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol --lrat ../build/test-cnf-core-sat2.prf
# 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 core 'sat3'
../build/cadical \
../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol ../build/test-cnf-core-sat3.prf
# 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 core 'sat3'
../build/cadical \
../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol --lrat ../build/test-cnf-core-sat3.prf
# 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 core 'sat4'
../build/cadical \
../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol ../build/test-cnf-core-sat4.prf
# 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 core 'sat4'
../build/cadical \
../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol --lrat ../build/test-cnf-core-sat4.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'sat5'
../build/cadical \
../test/cnf/sat5.cnf --check --lrat ../build/test-cnf-core-sat5.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'sat6'
../build/cadical \
../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol ../build/test-cnf-core-sat6.prf
# 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 core 'sat6'
../build/cadical \
../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol --lrat ../build/test-cnf-core-sat6.prf
# 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 core 'sat7'
../build/cadical \
../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol ../build/test-cnf-core-sat7.prf
# 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 core 'sat7'
../build/cadical \
../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol --lrat ../build/test-cnf-core-sat7.prf
# 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 core 'sat8'
../build/cadical \
../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol ../build/test-cnf-core-sat8.prf
# 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 core 'sat8'
../build/cadical \
../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol --lrat ../build/test-cnf-core-sat8.prf
# 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 core 'sat9'
../build/cadical \
../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol ../build/test-cnf-core-sat9.prf
# 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 core 'sat9'
../build/cadical \
../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol --lrat ../build/test-cnf-core-sat9.prf
# 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 core 'sat10'
../build/cadical \
../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol ../build/test-cnf-core-sat10.prf
# 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 core 'sat10'
../build/cadical \
../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol --lrat ../build/test-cnf-core-sat10.prf
# 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 core 'sat11'
../build/cadical \
../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol ../build/test-cnf-core-sat11.prf
# 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 core 'sat11'
../build/cadical \
../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol --lrat ../build/test-cnf-core-sat11.prf
# 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 core 'sat12'
../build/cadical \
../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol ../build/test-cnf-core-sat12.prf
# 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 core 'sat12'
../build/cadical \
../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol --lrat ../build/test-cnf-core-sat12.prf
# 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 core 'sat13'
../build/cadical \
../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol ../build/test-cnf-core-sat13.prf
# 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 core 'sat13'
../build/cadical \
../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol --lrat ../build/test-cnf-core-sat13.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'full1'
../build/cadical \
../test/cnf/full1.cnf --check --lrat ../build/test-cnf-core-full1.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full2'
../build/cadical \
../test/cnf/full2.cnf --check --lrat ../build/test-cnf-core-full2.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full3'
../build/cadical \
../test/cnf/full3.cnf --check --lrat ../build/test-cnf-core-full3.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full4'
../build/cadical \
../test/cnf/full4.cnf --check --lrat ../build/test-cnf-core-full4.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full5'
../build/cadical \
../test/cnf/full5.cnf --check --lrat ../build/test-cnf-core-full5.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full6'
../build/cadical \
../test/cnf/full6.cnf --check --lrat ../build/test-cnf-core-full6.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'full7'
../build/cadical \
../test/cnf/full7.cnf --check --lrat ../build/test-cnf-core-full7.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'regr000'
../build/cadical \
../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol ../build/test-cnf-core-regr000.prf
# 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 core 'regr000'
../build/cadical \
../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol --lrat ../build/test-cnf-core-regr000.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'elimclash'
../build/cadical \
../test/cnf/elimclash.cnf --check --lrat ../build/test-cnf-core-elimclash.prf
# 20 ...ok (exit code as expected)
../build/lrat-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 core 'elimredundant'
../build/cadical \
../test/cnf/elimredundant.cnf --check ../build/test-cnf-core-elimredundant.prf
# 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 core 'elimredundant'
../build/cadical \
../test/cnf/elimredundant.cnf --check --lrat ../build/test-cnf-core-elimredundant.prf
# 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 core 'block0'
../build/cadical \
../test/cnf/block0.cnf --check ../build/test-cnf-core-block0.prf
# 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 core 'block0'
../build/cadical \
../test/cnf/block0.cnf --check --lrat ../build/test-cnf-core-block0.prf
# 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 core 'prime4'
../build/cadical \
../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol ../build/test-cnf-core-prime4.prf
# 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 core 'prime4'
../build/cadical \
../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol --lrat ../build/test-cnf-core-prime4.prf
# 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 core 'prime9'
../build/cadical \
../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol ../build/test-cnf-core-prime9.prf
# 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 core 'prime9'
../build/cadical \
../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol --lrat ../build/test-cnf-core-prime9.prf
# 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 core 'prime25'
../build/cadical \
../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol ../build/test-cnf-core-prime25.prf
# 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 core 'prime25'
../build/cadical \
../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol --lrat ../build/test-cnf-core-prime25.prf
# 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 core 'prime49'
../build/cadical \
../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol ../build/test-cnf-core-prime49.prf
# 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 core 'prime49'
../build/cadical \
../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol --lrat ../build/test-cnf-core-prime49.prf
# 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 core 'prime121'
../build/cadical \
../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol ../build/test-cnf-core-prime121.prf
# 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 core 'prime121'
../build/cadical \
../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol --lrat ../build/test-cnf-core-prime121.prf
# 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 core 'prime169'
../build/cadical \
../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol ../build/test-cnf-core-prime169.prf
# 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 core 'prime169'
../build/cadical \
../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol --lrat ../build/test-cnf-core-prime169.prf
# 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 core 'prime361'
../build/cadical \
../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol ../build/test-cnf-core-prime361.prf
# 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 core 'prime361'
../build/cadical \
../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol --lrat ../build/test-cnf-core-prime361.prf
# 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 core 'prime289'
../build/cadical \
../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol ../build/test-cnf-core-prime289.prf
# 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 core 'prime289'
../build/cadical \
../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol --lrat ../build/test-cnf-core-prime289.prf
# 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 core 'prime529'
../build/cadical \
../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol ../build/test-cnf-core-prime529.prf
# 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 core 'prime529'
../build/cadical \
../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol --lrat ../build/test-cnf-core-prime529.prf
# 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 core 'prime841'
../build/cadical \
../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol ../build/test-cnf-core-prime841.prf
# 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 core 'prime841'
../build/cadical \
../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol --lrat ../build/test-cnf-core-prime841.prf
# 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 core 'prime961'
../build/cadical \
../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol ../build/test-cnf-core-prime961.prf
# 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 core 'prime961'
../build/cadical \
../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol --lrat ../build/test-cnf-core-prime961.prf
# 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 core 'prime1369'
../build/cadical \
../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol ../build/test-cnf-core-prime1369.prf
# 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 core 'prime1369'
../build/cadical \
../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol --lrat ../build/test-cnf-core-prime1369.prf
# 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 core 'prime1681'
../build/cadical \
../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol ../build/test-cnf-core-prime1681.prf
# 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 core 'prime1681'
../build/cadical \
../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol --lrat ../build/test-cnf-core-prime1681.prf
# 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 core 'prime1849'
../build/cadical \
../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol ../build/test-cnf-core-prime1849.prf
# 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 core 'prime1849'
../build/cadical \
../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol --lrat ../build/test-cnf-core-prime1849.prf
# 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 core 'prime2209'
../build/cadical \
../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol ../build/test-cnf-core-prime2209.prf
# 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 core 'prime2209'
../build/cadical \
../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol --lrat ../build/test-cnf-core-prime2209.prf
# 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 core 'factor2708413neg'
../build/cadical \
../test/cnf/factor2708413neg.cnf --check ../build/test-cnf-core-factor2708413neg.prf
# 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 core 'factor2708413neg'
../build/cadical \
../test/cnf/factor2708413neg.cnf --check --lrat ../build/test-cnf-core-factor2708413neg.prf
# 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 core 'factor2708413pos'
../build/cadical \
../test/cnf/factor2708413pos.cnf --check ../build/test-cnf-core-factor2708413pos.prf
# 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 core 'factor2708413pos'
../build/cadical \
../test/cnf/factor2708413pos.cnf --check --lrat ../build/test-cnf-core-factor2708413pos.prf
# 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 core 'sqrt2809'
../build/cadical \
../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol ../build/test-cnf-core-sqrt2809.prf
# 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 core 'sqrt2809'
../build/cadical \
../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol --lrat ../build/test-cnf-core-sqrt2809.prf
# 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 core 'sqrt3481'
../build/cadical \
../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol ../build/test-cnf-core-sqrt3481.prf
# 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 core 'sqrt3481'
../build/cadical \
../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol --lrat ../build/test-cnf-core-sqrt3481.prf
# 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 core 'sqrt3721'
../build/cadical \
../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol ../build/test-cnf-core-sqrt3721.prf
# 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 core 'sqrt3721'
../build/cadical \
../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol --lrat ../build/test-cnf-core-sqrt3721.prf
# 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 core 'sqrt4489'
../build/cadical \
../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol ../build/test-cnf-core-sqrt4489.prf
# 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 core 'sqrt4489'
../build/cadical \
../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol --lrat ../build/test-cnf-core-sqrt4489.prf
# 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 core 'sqrt5041'
../build/cadical \
../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol ../build/test-cnf-core-sqrt5041.prf
# 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 core 'sqrt5041'
../build/cadical \
../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol --lrat ../build/test-cnf-core-sqrt5041.prf
# 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 core 'sqrt5329'
../build/cadical \
../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol ../build/test-cnf-core-sqrt5329.prf
# 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 core 'sqrt5329'
../build/cadical \
../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol --lrat ../build/test-cnf-core-sqrt5329.prf
# 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 core 'sqrt6241'
../build/cadical \
../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol ../build/test-cnf-core-sqrt6241.prf
# 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 core 'sqrt6241'
../build/cadical \
../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol --lrat ../build/test-cnf-core-sqrt6241.prf
# 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 core 'sqrt6889'
../build/cadical \
../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol ../build/test-cnf-core-sqrt6889.prf
# 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 core 'sqrt6889'
../build/cadical \
../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol --lrat ../build/test-cnf-core-sqrt6889.prf
# 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 core 'sqrt7921'
../build/cadical \
../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol ../build/test-cnf-core-sqrt7921.prf
# 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 core 'sqrt7921'
../build/cadical \
../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol --lrat ../build/test-cnf-core-sqrt7921.prf
# 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 core 'sqrt9409'
../build/cadical \
../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol ../build/test-cnf-core-sqrt9409.prf
# 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 core 'sqrt9409'
../build/cadical \
../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol --lrat ../build/test-cnf-core-sqrt9409.prf
# 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 core 'sqrt10201'
../build/cadical \
../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol ../build/test-cnf-core-sqrt10201.prf
# 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 core 'sqrt10201'
../build/cadical \
../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol --lrat ../build/test-cnf-core-sqrt10201.prf
# 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 core 'sqrt10609'
../build/cadical \
../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol ../build/test-cnf-core-sqrt10609.prf
# 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 core 'sqrt10609'
../build/cadical \
../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol --lrat ../build/test-cnf-core-sqrt10609.prf
# 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 core 'sqrt11449'
../build/cadical \
../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol ../build/test-cnf-core-sqrt11449.prf
# 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 core 'sqrt11449'
../build/cadical \
../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol --lrat ../build/test-cnf-core-sqrt11449.prf
# 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 core 'sqrt11881'
../build/cadical \
../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol ../build/test-cnf-core-sqrt11881.prf
# 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 core 'sqrt11881'
../build/cadical \
../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol --lrat ../build/test-cnf-core-sqrt11881.prf
# 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 core 'sqrt12769'
../build/cadical \
../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol ../build/test-cnf-core-sqrt12769.prf
# 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 core 'sqrt12769'
../build/cadical \
../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol --lrat ../build/test-cnf-core-sqrt12769.prf
# 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 core 'sqrt16129'
../build/cadical \
../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol ../build/test-cnf-core-sqrt16129.prf
# 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 core 'sqrt16129'
../build/cadical \
../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol --lrat ../build/test-cnf-core-sqrt16129.prf
# 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 core 'sqrt63001'
../build/cadical \
../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol ../build/test-cnf-core-sqrt63001.prf
# 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 core 'sqrt63001'
../build/cadical \
../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol --lrat ../build/test-cnf-core-sqrt63001.prf
# 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 core 'sqrt259081'
../build/cadical \
../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol ../build/test-cnf-core-sqrt259081.prf
# 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 core 'sqrt259081'
../build/cadical \
../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol --lrat ../build/test-cnf-core-sqrt259081.prf
# 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 core 'sqrt1042441'
../build/cadical \
../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol ../build/test-cnf-core-sqrt1042441.prf
# 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 core 'sqrt1042441'
../build/cadical \
../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol --lrat ../build/test-cnf-core-sqrt1042441.prf
# 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
# 20 ...ok (exit code as expected)
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 core 'ph2'
../build/cadical \
../test/cnf/ph2.cnf --check --lrat ../build/test-cnf-core-ph2.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'ph3'
../build/cadical \
../test/cnf/ph3.cnf --check --lrat ../build/test-cnf-core-ph3.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'ph4'
../build/cadical \
../test/cnf/ph4.cnf --check --lrat ../build/test-cnf-core-ph4.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'ph5'
../build/cadical \
../test/cnf/ph5.cnf --check --lrat ../build/test-cnf-core-ph5.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'ph6'
../build/cadical \
../test/cnf/ph6.cnf --check --lrat ../build/test-cnf-core-ph6.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add4'
../build/cadical \
../test/cnf/add4.cnf --check --lrat ../build/test-cnf-core-add4.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add8'
../build/cadical \
../test/cnf/add8.cnf --check --lrat ../build/test-cnf-core-add8.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add16'
../build/cadical \
../test/cnf/add16.cnf --check --lrat ../build/test-cnf-core-add16.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add32'
../build/cadical \
../test/cnf/add32.cnf --check --lrat ../build/test-cnf-core-add32.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add64'
../build/cadical \
../test/cnf/add64.cnf --check --lrat ../build/test-cnf-core-add64.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'add128'
../build/cadical \
../test/cnf/add128.cnf --check --lrat ../build/test-cnf-core-add128.prf
# 20 ...ok (exit code as expected)
../build/lrat-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
# 20 ...ok (exit code as expected)
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 core 'prime65537'
../build/cadical \
../test/cnf/prime65537.cnf --check --lrat ../build/test-cnf-core-prime65537.prf
# 20 ...ok (exit code as expected)
../build/lrat-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: 282 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.9.5/test'
+ RPM_EC=0
++ jobs -p
Processing files: cadical-1.9.5-1.fc41.x86_64
+ exit 0
Provides: cadical = 1:1.9.5-1.fc41 cadical(x86-64) = 1:1.9.5-1.fc41
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.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(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.8)(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.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cadical-libs-1.9.5-1.fc41.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.0y4HPg
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.9.5
+ DOCDIR=/builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/doc/cadical-libs
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/doc/cadical-libs
+ cp -pr /builddir/build/BUILD/cadical-rel-1.9.5/NEWS.md /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/doc/cadical-libs
+ cp -pr /builddir/build/BUILD/cadical-rel-1.9.5/README.md /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/doc/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.LlPnG1
+ umask 022
+ cd /builddir/build/BUILD
+ cd cadical-rel-1.9.5
+ LICENSEDIR=/builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/licenses/cadical-libs
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/licenses/cadical-libs
+ cp -pr /builddir/build/BUILD/cadical-rel-1.9.5/LICENSE /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64/usr/share/licenses/cadical-libs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cadical-libs = 1:1.9.5-1.fc41 cadical-libs(x86-64) = 1:1.9.5-1.fc41 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.14)(64bit) libc.so.6(GLIBC_2.2.5)(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.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(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.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) rtld(GNU_HASH)
Processing files: cadical-devel-1.9.5-1.fc41.x86_64
Provides: cadical-devel = 1:1.9.5-1.fc41 cadical-devel(x86-64) = 1:1.9.5-1.fc41
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.9.5-1.fc41.x86_64
Provides: cadical-debugsource = 1:1.9.5-1.fc41 cadical-debugsource(x86-64) = 1:1.9.5-1.fc41
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cadical-debuginfo-1.9.5-1.fc41.x86_64
Provides: cadical-debuginfo = 1:1.9.5-1.fc41 cadical-debuginfo(x86-64) = 1:1.9.5-1.fc41 debuginfo(build-id) = 8622f801f7b59150485b808e383d4ec2d557f7ea debuginfo(build-id) = d000f153e225fd6618bda9bb9783af42dd68fedd
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(x86-64) = 1:1.9.5-1.fc41
Processing files: cadical-libs-debuginfo-1.9.5-1.fc41.x86_64
Provides: cadical-libs-debuginfo = 1:1.9.5-1.fc41 cadical-libs-debuginfo(x86-64) = 1:1.9.5-1.fc41 debuginfo(build-id) = 3f57c3a6fdb77213c7a48d6871b1fb42680b7b4b libcadical.so.0.0.0-1.9.5-1.fc41.x86_64.debug()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cadical-debugsource(x86-64) = 1:1.9.5-1.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-1.9.5-1.fc41.x86_64
Wrote: /builddir/build/RPMS/cadical-devel-1.9.5-1.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/cadical-1.9.5-1.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/cadical-libs-1.9.5-1.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/cadical-debugsource-1.9.5-1.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/cadical-debuginfo-1.9.5-1.fc41.x86_64.rpm
Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-1.9.5-1.fc41.x86_64.rpm
Child return code was: 0