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