I: pbuilder: network access will be disabled during build
I: Current time: Thu Mar 6 20:38:44 -12 2025
I: pbuilder-time-stamp: 1741336724
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: Copying source file
I: copying [cadical_1.7.4-1.dsc]
I: copying [./cadical_1.7.4.orig.tar.gz]
I: copying [./cadical_1.7.4-1.debian.tar.xz]
I: Extracting source
dpkg-source: warning: cannot verify inline signature for ./cadical_1.7.4-1.dsc: unsupported subcommand
dpkg-source: info: extracting cadical in cadical-1.7.4
dpkg-source: info: unpacking cadical_1.7.4.orig.tar.gz
dpkg-source: info: unpacking cadical_1.7.4-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying ldflags.patch
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/575365/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build/reproducible-path'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='amd64'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=20 '
DISTRIBUTION='unstable'
HOME='/root'
HOST_ARCH='amd64'
IFS='
'
INVOCATION_ID='232227e7ca724bcc80187996d877ad64'
LANG='C'
LANGUAGE='en_US:en'
LC_ALL='C'
MAIL='/var/mail/root'
OPTIND='1'
PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
PBCURRENTCOMMANDLINEOPERATION='build'
PBUILDER_OPERATION='build'
PBUILDER_PKGDATADIR='/usr/share/pbuilder'
PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
PBUILDER_SYSCONFDIR='/etc'
PPID='575365'
PS1='# '
PS2='> '
PS4='+ '
PWD='/'
SHELL='/bin/bash'
SHLVL='2'
SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.sW5kK07d/pbuilderrc_HmFq --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.sW5kK07d/b1 --logfile b1/build.log cadical_1.7.4-1.dsc'
SUDO_GID='110'
SUDO_UID='105'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://46.16.76.132:3128'
I: uname -a
Linux ionos1-amd64 6.1.0-31-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux
I: ls -l /bin
lrwxrwxrwx 1 root root 7 Mar 4 11:20 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/575365/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: amd64
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder
This package was created automatically by pbuilder to satisfy the
build-dependencies of the package being currently built.
Depends: debhelper-compat (= 13), help2man
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19783 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested:
pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however:
Package debhelper-compat is not installed.
pbuilder-satisfydepends-dummy depends on help2man; however:
Package help2man is not installed.
Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} liblocale-gettext-perl{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libunistring5{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a}
The following packages are RECOMMENDED but will NOT be installed:
curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget
0 packages upgraded, 32 newly installed, 0 to remove and 0 not upgraded.
Need to get 20.8 MB of archives. After unpacking 78.5 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-7+b1 [15.3 kB]
Get: 2 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get: 3 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get: 4 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get: 5 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get: 6 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-1 [243 kB]
Get: 7 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get: 8 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB]
Get: 9 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.4-5 [92.4 kB]
Get: 10 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get: 11 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get: 12 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-7 [294 kB]
Get: 13 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get: 14 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 15 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-3 [862 kB]
Get: 16 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-1 [770 kB]
Get: 17 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.24.1 [90.9 kB]
Get: 18 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-4 [539 kB]
Get: 19 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 20 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 21 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB]
Get: 22 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B]
Get: 23 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get: 24 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get: 25 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB]
Get: 26 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB]
Get: 27 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b2 [699 kB]
Get: 28 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-1 [1680 kB]
Get: 29 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 30 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 31 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB]
Get: 32 http://deb.debian.org/debian unstable/main amd64 help2man amd64 1.49.3 [198 kB]
Fetched 20.8 MB in 1s (28.8 MB/s)
Preconfiguring packages ...
Selecting previously unselected package liblocale-gettext-perl.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19783 files and directories currently installed.)
Preparing to unpack .../00-liblocale-gettext-perl_1.07-7+b1_amd64.deb ...
Unpacking liblocale-gettext-perl (1.07-7+b1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.23.1-1_amd64.deb ...
Unpacking gettext-base (0.23.1-1) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.4-5_amd64.deb ...
Unpacking bsdextrautils (2.40.4-5) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-7_amd64.deb ...
Unpacking m4 (1.4.19-7) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.17-3_all.deb ...
Unpacking automake (1:1.17-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.23.1-1_all.deb ...
Unpacking autopoint (0.23.1-1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../16-libdebhelper-perl_13.24.1_all.deb ...
Unpacking libdebhelper-perl (13.24.1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../17-libtool_2.5.4-4_all.deb ...
Unpacking libtool (2.5.4-4) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../18-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../19-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../21-dh-strip-nondeterminism_1.14.1-2_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.1-2) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../22-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../23-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../24-libunistring5_1.3-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.3-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../25-libicu72_72.1-6_amd64.deb ...
Unpacking libicu72:amd64 (72.1-6) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../26-libxml2_2.12.7+dfsg+really2.9.14-0.2+b2_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../27-gettext_0.23.1-1_amd64.deb ...
Unpacking gettext (0.23.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../28-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../29-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../30-debhelper_13.24.1_all.deb ...
Unpacking debhelper (13.24.1) ...
Selecting previously unselected package help2man.
Preparing to unpack .../31-help2man_1.49.3_amd64.deb ...
Unpacking help2man (1.49.3) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libicu72:amd64 (72.1-6) ...
Setting up bsdextrautils (2.40.4-5) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.24.1) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.23.1-1) ...
Setting up m4 (1.4.19-7) ...
Setting up file (1:5.45-3+b1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up autotools-dev (20220109.1) ...
Setting up libunistring5:amd64 (1.3-1) ...
Setting up autopoint (0.23.1-1) ...
Setting up autoconf (2.72-3) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b2) ...
Setting up liblocale-gettext-perl (1.07-7+b1) ...
Setting up automake (1:1.17-3) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.1-2) ...
Setting up gettext (0.23.1-1) ...
Setting up libtool (2.5.4-4) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up help2man (1.49.3) ...
Setting up dh-autoreconf (20) ...
Setting up dh-strip-nondeterminism (1.14.1-2) ...
Setting up groff-base (1.23.0-7) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up debhelper (13.24.1) ...
Processing triggers for libc-bin (2.41-3) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
-> Finished parsing the build-deps
I: Building the package
I: Running cd /build/reproducible-path/cadical-1.7.4/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../cadical_1.7.4-1_source.changes
dpkg-buildpackage: info: source package cadical
dpkg-buildpackage: info: source version 1.7.4-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Scott Talbert <swt@techie.net>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
debian/rules clean
dh clean
dh_clean
debian/rules binary
dh binary
dh_update_autotools_config
dh_autoreconf
debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4'
./configure
configure: making default 'build' directory
configure: building in default '/build/reproducible-path/cadical-1.7.4/build'
configure: root directory '/build/reproducible-path/cadical-1.7.4'
configure: source directory '/build/reproducible-path/cadical-1.7.4/src'
configure: compiler supports all required C99/C++11 extensions
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: compiling with 'g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/build/reproducible-path/cadical-1.7.4/build/makefile'
configure: linking '/build/reproducible-path/cadical-1.7.4/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4'
dh_auto_build
make -j20
make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4'
make -C "/build/reproducible-path/cadical-1.7.4/build"
make[2]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/analyze.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/arena.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/assume.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/averages.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backtrack.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/backward.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/bins.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/block.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ccadical.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/checker.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/clause.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/collect.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/compact.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/condition.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/config.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/constrain.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/contract.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/cover.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/decide.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/decompose.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/deduplicate.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/elim.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ema.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/extend.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/external.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/external_propagate.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/file.cpp
../src/decompose.cpp: In member function 'bool CaDiCaL::Internal::decompose_round()':
../src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds=]
573 | c->literals[l] = clause[l];
| ~~~~~~~~~~~~~^
In file included from ../src/internal.hpp:54,
from ../src/decompose.cpp:1:
../src/clause.hpp:86:9: note: while referencing 'CaDiCaL::Clause::<unnamed union>::literals'
86 | int literals[2]; // Of variadic 'size' (shrunken if strengthened).
| ^~~~~~~~
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/flags.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/flip.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/format.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/gates.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/instantiate.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/internal.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ipasir.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/limit.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/logging.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lookahead.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratbuilder.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lratchecker.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/lucky.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/message.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/minimize.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/occs.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/options.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/parse.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/phases.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/probe.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/profile.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/proof.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/propagate.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/queue.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/random.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/reap.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/reduce.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/rephase.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/report.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/resources.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/restart.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/restore.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/score.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/shrink.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/signal.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/solution.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/solver.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/stats.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/subsume.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/terminal.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/ternary.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/tracer.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/transred.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/util.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/var.cpp
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/vivify.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/walk.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/watch.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/cadical.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/mobical.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[2]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4'
debian/rules execute_after_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4'
help2man --version-string=1.7.4 --name="CaDiCaL Simplified Satisfiability Solver" -N -o cadical.1 build/cadical
help2man --version-string=1.7.4 --name="CaDiCaL Simplified Satisfiability Solver" -N -o mobical.1 -h -h build/mobical
make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4'
dh_auto_test
make -j20 test "TESTSUITEFLAGS=-j20 --verbose" VERBOSE=1
make[1]: Entering directory '/build/reproducible-path/cadical-1.7.4'
make -C "/build/reproducible-path/cadical-1.7.4/build" test
make[2]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
CADICALBUILD="../build" make -j1 -C ../test
make[3]: Entering directory '/build/reproducible-path/cadical-1.7.4/test'
make[3]: warning: -j1 forced in submake: resetting jobserver mode.
---------------------------------------------------------
usage testing in '../build'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
starting test run /build/reproducible-path/cadical-1.7.4/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'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
test/trace/run.sh: found 76 traces
test/trace/run.sh: running 'reg0000'
../build/mobical ../test/trace/reg0000.trace
0
# ... ok
test/trace/run.sh: running 'reg0001'
../build/mobical ../test/trace/reg0001.trace
0
# ... ok
test/trace/run.sh: running 'reg0002'
../build/mobical ../test/trace/reg0002.trace
0
# ... ok
test/trace/run.sh: running 'reg0003'
../build/mobical ../test/trace/reg0003.trace
0
# ... ok
test/trace/run.sh: running 'reg0004'
../build/mobical ../test/trace/reg0004.trace
0
# ... ok
test/trace/run.sh: running 'reg0005'
../build/mobical ../test/trace/reg0005.trace
0
# ... ok
test/trace/run.sh: running 'reg0006'
../build/mobical ../test/trace/reg0006.trace
0
# ... ok
test/trace/run.sh: running 'reg0007'
../build/mobical ../test/trace/reg0007.trace
0
# ... ok
test/trace/run.sh: running 'reg0008'
../build/mobical ../test/trace/reg0008.trace
0
# ... ok
test/trace/run.sh: running 'reg0009'
../build/mobical ../test/trace/reg0009.trace
0
# ... ok
test/trace/run.sh: running 'reg0010'
../build/mobical ../test/trace/reg0010.trace
0
# ... ok
test/trace/run.sh: running 'reg0011'
../build/mobical ../test/trace/reg0011.trace
0
# ... ok
test/trace/run.sh: running 'reg0012'
../build/mobical ../test/trace/reg0012.trace
0
# ... ok
test/trace/run.sh: running 'reg0013'
../build/mobical ../test/trace/reg0013.trace
0
# ... ok
test/trace/run.sh: running 'reg0014'
../build/mobical ../test/trace/reg0014.trace
0
# ... ok
test/trace/run.sh: running 'reg0015'
../build/mobical ../test/trace/reg0015.trace
0
# ... ok
test/trace/run.sh: running 'reg0016'
../build/mobical ../test/trace/reg0016.trace
0
# ... ok
test/trace/run.sh: running 'reg0017'
../build/mobical ../test/trace/reg0017.trace
0
# ... ok
test/trace/run.sh: running 'reg0018'
../build/mobical ../test/trace/reg0018.trace
0
# ... ok
test/trace/run.sh: running 'reg0019'
../build/mobical ../test/trace/reg0019.trace
0
# ... ok
test/trace/run.sh: running 'reg0020'
../build/mobical ../test/trace/reg0020.trace
0
# ... ok
test/trace/run.sh: running 'reg0021'
../build/mobical ../test/trace/reg0021.trace
0
# ... ok
test/trace/run.sh: running 'reg0022'
../build/mobical ../test/trace/reg0022.trace
0
# ... ok
test/trace/run.sh: running 'reg0023'
../build/mobical ../test/trace/reg0023.trace
0
# ... ok
test/trace/run.sh: running 'reg0024'
../build/mobical ../test/trace/reg0024.trace
0
# ... ok
test/trace/run.sh: running 'reg0025'
../build/mobical ../test/trace/reg0025.trace
0
# ... ok
test/trace/run.sh: running 'reg0026'
../build/mobical ../test/trace/reg0026.trace
0
# ... ok
test/trace/run.sh: running 'reg0027'
../build/mobical ../test/trace/reg0027.trace
0
# ... ok
test/trace/run.sh: running 'reg0028'
../build/mobical ../test/trace/reg0028.trace
0
# ... ok
test/trace/run.sh: running 'reg0029'
../build/mobical ../test/trace/reg0029.trace
0
# ... ok
test/trace/run.sh: running 'reg0030'
../build/mobical ../test/trace/reg0030.trace
0
# ... ok
test/trace/run.sh: running 'reg0031'
../build/mobical ../test/trace/reg0031.trace
0
# ... ok
test/trace/run.sh: running 'reg0032'
../build/mobical ../test/trace/reg0032.trace
0
# ... ok
test/trace/run.sh: running 'reg0033'
../build/mobical ../test/trace/reg0033.trace
0
# ... ok
test/trace/run.sh: running 'reg0034'
../build/mobical ../test/trace/reg0034.trace
0
# ... ok
test/trace/run.sh: running 'reg0035'
../build/mobical ../test/trace/reg0035.trace
0
# ... ok
test/trace/run.sh: running 'reg0036'
../build/mobical ../test/trace/reg0036.trace
0
# ... ok
test/trace/run.sh: running 'reg0037'
../build/mobical ../test/trace/reg0037.trace
0
# ... ok
test/trace/run.sh: running 'reg0038'
../build/mobical ../test/trace/reg0038.trace
0
# ... ok
test/trace/run.sh: running 'reg0039'
../build/mobical ../test/trace/reg0039.trace
0
# ... ok
test/trace/run.sh: running 'reg0040'
../build/mobical ../test/trace/reg0040.trace
0
# ... ok
test/trace/run.sh: running 'reg0041'
../build/mobical ../test/trace/reg0041.trace
0
# ... ok
test/trace/run.sh: running 'reg0042'
../build/mobical ../test/trace/reg0042.trace
0
# ... ok
test/trace/run.sh: running 'reg0043'
../build/mobical ../test/trace/reg0043.trace
0
# ... ok
test/trace/run.sh: running 'reg0044'
../build/mobical ../test/trace/reg0044.trace
0
# ... ok
test/trace/run.sh: running 'reg0045'
../build/mobical ../test/trace/reg0045.trace
0
# ... ok
test/trace/run.sh: running 'reg0046'
../build/mobical ../test/trace/reg0046.trace
0
# ... ok
test/trace/run.sh: running 'reg0047'
../build/mobical ../test/trace/reg0047.trace
0
# ... ok
test/trace/run.sh: running 'reg0048'
../build/mobical ../test/trace/reg0048.trace
0
# ... ok
test/trace/run.sh: running 'reg0049'
../build/mobical ../test/trace/reg0049.trace
0
# ... ok
test/trace/run.sh: running 'reg0050'
../build/mobical ../test/trace/reg0050.trace
0
# ... ok
test/trace/run.sh: running 'reg0051'
../build/mobical ../test/trace/reg0051.trace
0
# ... ok
test/trace/run.sh: running 'reg0052'
../build/mobical ../test/trace/reg0052.trace
0
# ... ok
test/trace/run.sh: running 'reg0053'
../build/mobical ../test/trace/reg0053.trace
0
# ... ok
test/trace/run.sh: running 'reg0054'
../build/mobical ../test/trace/reg0054.trace
0
# ... ok
test/trace/run.sh: running 'reg0055'
../build/mobical ../test/trace/reg0055.trace
0
# ... ok
test/trace/run.sh: running 'reg0056'
../build/mobical ../test/trace/reg0056.trace
0
# ... ok
test/trace/run.sh: running 'reg0057'
../build/mobical ../test/trace/reg0057.trace
0
# ... ok
test/trace/run.sh: running 'reg0058'
../build/mobical ../test/trace/reg0058.trace
0
# ... ok
test/trace/run.sh: running 'reg0059'
../build/mobical ../test/trace/reg0059.trace
0
# ... ok
test/trace/run.sh: running 'reg0060'
../build/mobical ../test/trace/reg0060.trace
0
# ... ok
test/trace/run.sh: running 'reg0061'
../build/mobical ../test/trace/reg0061.trace
0
# ... ok
test/trace/run.sh: running 'reg0062'
../build/mobical ../test/trace/reg0062.trace
0
# ... ok
test/trace/run.sh: running 'reg0063'
../build/mobical ../test/trace/reg0063.trace
0
# ... ok
test/trace/run.sh: running 'reg0064'
../build/mobical ../test/trace/reg0064.trace
0
# ... ok
test/trace/run.sh: running 'reg0065'
../build/mobical ../test/trace/reg0065.trace
0
# ... ok
test/trace/run.sh: running 'reg0066'
../build/mobical ../test/trace/reg0066.trace
0
# ... ok
test/trace/run.sh: running 'reg0067'
../build/mobical ../test/trace/reg0067.trace
0
# ... ok
test/trace/run.sh: running 'reg0068'
../build/mobical ../test/trace/reg0068.trace
0
# ... ok
test/trace/run.sh: running 'reg0069'
../build/mobical ../test/trace/reg0069.trace
0
# ... ok
test/trace/run.sh: running 'reg0070'
../build/mobical ../test/trace/reg0070.trace
0
# ... ok
test/trace/run.sh: running 'reg0071'
../build/mobical ../test/trace/reg0071.trace
0
# ... ok
test/trace/run.sh: running 'reg0072'
../build/mobical ../test/trace/reg0072.trace
0
# ... ok
test/trace/run.sh: running 'reg0073'
../build/mobical ../test/trace/reg0073.trace
0
# ... ok
test/trace/run.sh: running 'reg0074'
../build/mobical ../test/trace/reg0074.trace
0
# ... ok
test/trace/run.sh: running 'reg0075'
../build/mobical ../test/trace/reg0075.trace
0
# ... ok
test/trace/run.sh: executed 76 traces, 76 ok, 0 failed
---------------------------------------------------------
API testing in '../build'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
test/api/run.sh: using CXX=g++
test/api/run.sh: using CXXFLAGS=-g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG
test/api/run.sh: using CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2
test/api/run.sh: using LDFLAGS=-Wl,-z,relro -Wl,-z,now
test/api/run.sh: running API test 'newdelete'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-newdelete ../build/test-api-newdelete.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-newdelete
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'unit'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-unit.o -c ../test/api/unit.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-unit ../build/test-api-unit.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-unit
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'morenmore'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-morenmore ../build/test-api-morenmore.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-morenmore
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'ctest'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-ctest ../build/test-api-ctest.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-ctest
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'example'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-example.o -c ../test/api/example.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-example ../build/test-api-example.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-example
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'terminate'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-terminate ../build/test-api-terminate.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-terminate
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'learn'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-learn.o -c ../test/api/learn.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-learn ../build/test-api-learn.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-learn
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'cfreeze'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-cfreeze
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'traverse'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-traverse ../build/test-api-traverse.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-traverse
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'cipasir'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-cipasir ../build/test-api-cipasir.o -Wl,-z,relro -Wl,-z,now -L../build -lcadical
../build/test-api-cipasir
# 0 ... ok (zero exit code)
test/api/run.sh: running API test 'apitrace'
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/test-api-apitrace ../build/test-api-apitrace.o -Wl,-z,relro -Wl,-z,now -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'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
test/cnf/run.sh: using CXX=g++
test/cnf/run.sh: using CXXFLAGS=-g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG
test/cnf/run.sh: using CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2
test/cnf/run.sh: using LDFLAGS=-Wl,-z,relro -Wl,-z,now
cc -O -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -o ../build/precochk ../test/cnf/precochk.c -lz -Wl,-z,relro -Wl,-z,now
test/cnf/run.sh: no external solution checking (compiling '../test/cnf/preochk.c' failed)
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)
test/cnf/run.sh: running CNF test simp 'empty'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/empty.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'unit0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit0.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'unit1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit1.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'unit2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit2.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'unit3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/unit3.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sub0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sub0.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat1'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat1.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat2'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat2.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat3'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat3.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat4.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat6'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat6.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat7'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat7.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat8'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat8.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat9.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat10'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat10.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat11'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat11.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat12'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat12.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sat13'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sat13.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'regr000'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/regr000.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'elimredundant'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/elimredundant.cnf
# 10 ...ok
test/cnf/run.sh: running CNF test core 'block0'
../build/cadical \
../test/cnf/block0.cnf --check
# 10 ...ok (without solution file)
test/cnf/run.sh: running CNF test simp 'block0'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/block0.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime4'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime4.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime9'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime9.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime25'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime25.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime49'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime49.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime121'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime121.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime169'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime169.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime361'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime361.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime289'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime289.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime529'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime529.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime841'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime841.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime961'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime961.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime1369'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1369.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime1681'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1681.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime1849'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime1849.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'prime2209'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/prime2209.cnf
# 10 ...ok
test/cnf/run.sh: running CNF test core 'factor2708413neg'
../build/cadical \
../test/cnf/factor2708413neg.cnf --check
# 10 ...ok (without solution file)
test/cnf/run.sh: running CNF test simp 'factor2708413neg'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413neg.cnf
# 10 ...ok
test/cnf/run.sh: running CNF test core 'factor2708413pos'
../build/cadical \
../test/cnf/factor2708413pos.cnf --check
# 10 ...ok (without solution file)
test/cnf/run.sh: running CNF test simp 'factor2708413pos'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/factor2708413pos.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt2809'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt2809.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt3481'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3481.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt3721'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt3721.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt4489'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt4489.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt5041'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5041.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt5329'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt5329.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt6241'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6241.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt6889'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt6889.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt7921'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt7921.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt9409'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt9409.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt10201'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10201.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt10609'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt10609.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt11449'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11449.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt11881'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt11881.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt12769'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt12769.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt16129'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt16129.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt63001'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt63001.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt259081'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt259081.cnf
# 10 ...ok
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)
test/cnf/run.sh: running CNF test simp 'sqrt1042441'
../build/../scripts/run-simplifier-and-extend-solution.sh \
../test/cnf/sqrt1042441.cnf
# 10 ...ok
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'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/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
---------------------------------------------------------
Model-Based Testing in '../build'
---------------------------------------------------------
make[4]: Entering directory '/build/reproducible-path/cadical-1.7.4/build'
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -c ../src/version.cpp
../src/version.cpp:94:30: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time]
94 | const char *date () { return DATE; }
| ^~~~
../src/version.cpp:80:14: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time]
80 | #define DATE __DATE__ " " __TIME__
| ^~~~~~~~
../src/version.cpp:94:30: note: in expansion of macro 'DATE'
94 | const char *date () { return DATE; }
| ^~~~
ar rc libcadical.a 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 external_propagate.o file.o flags.o flip.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.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
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
g++ -g -O2 -ffile-prefix-map=/build/reproducible-path/cadical-1.7.4=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical
make[4]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
test/mbt/run.sh: generating and running 1000 randomly generated tests
test/mbt/run.sh: changing to build directory '../build' and running
./mobical 42 --medium -L 1000 --do-not-fork
m Model Based Tester for the CaDiCaL SAT Solver Library
m Copyright (c) 2018-2023 A. Biere, M. Fleury, N. Froleyks, K. Fazekas
m
m Version 1.7.3
m g++-14.2.0
m Feb 11 2024 04:08:27
m
m not using any time limit due to '--do-not-fork'
m not using any space limit due to '--do-not-fork'
m m randomly generating 1000 traces
m
m start seed 42
m
m count seed/buggy/reducing/reduced calls vars clauses
m ----------------------------------------------------------------------------
m 1 00000000000000000042 2064 53 327 4
m 2 10481999410520546993 350 18 51 1
m 3 04159066171780167020 1324 46 195 2
m 4 07615522811268512075 488 18 55 2
m 5 11628791489956661374 1253 35 174 2
m 6 12546512532490043765 390 20 59 2
m 7 00483838003013946848 437 30 85 1
m 8 00401415969518064047 1755 55 281 3
m 9 02812299150962093586 535 25 102 1
m 10 08743034423534012537 1011 38 148 2
m 11 00457466634992928148 2529 53 432 3
m 12 06580914716785944659 1614 49 256 2
m 13 09756468244095911142 510 23 85 1
m 14 16979679744849786813 836 37 102 2
m 15 06023180652035281032 1232 29 188 2
m 16 14681447096454308151 2058 53 327 4
m 17 07210325037408772346 1627 36 296 2
m 18 14542152906443789121 895 39 178 2
m 19 01239519823916966588 1612 49 256 2
m 20 07779601134568923227 1537 42 245 3
m 21 13050776483079329358 1610 49 256 2
m 22 06327454482708635397 476 18 55 2
m 23 07923181361769377840 473 18 55 2
m 24 07605993102115670463 482 18 55 2
m 25 06356963020929956066 716 41 119 2
m 26 07176860805218918153 1742 55 281 3
m 27 09682535764888235236 2822 83 476 3
m 28 09837594129879007587 1549 50 250 5
m 29 08939747846471474358 713 41 119 2
m 30 07663859345433597773 1739 55 281 3
m 31 11397048638288055512 1746 61 297 3
m 32 17217382069498686279 3190 79 504 4
m 33 13075462938690082250 2234 50 378 2
m 34 07617503730318953425 2451 41 388 4
m 35 11886887965852435468 2183 41 395 3
m 36 00489625813388766059 1235 35 174 2
m 37 11656258743421515806 2229 50 378 2
m 38 03323080905636200597 1595 43 287 1
m 39 06582362000670180992 3185 61 531 4
m 40 17213442580248323535 2112 95 348 4
m 41 11964787556474984370 1068 45 178 2
m 42 02809635275842615705 1535 34 239 2
m 43 17762834671622277172 1604 49 256 2
m 44 15926384231848443507 795 40 128 1
m 45 17281153376997394566 2231 49 355 3
m 46 07177225625430342365 662 30 115 2
m 47 15411827044505713960 473 18 55 2
m 48 07261328014321736023 264 16 55 1
m 49 00411127563640200858 1923 43 348 4
m 50 04021369823019239521 471 18 55 2
m 51 02263208613658073436 794 40 128 1
m 52 09225225935819643515 1242 30 217 2
m 53 08347090332326178286 819 37 102 2
m 54 02868458037254596133 1867 36 320 3
m 55 09408564937111245008 1097 58 191 3
m 56 00613587387335812575 546 23 68 2
m 57 08004133899158178434 1568 55 293 3
m 58 05847059326881044521 1286 32 174 2
m 59 13856064291810187140 1117 65 183 3
m 60 00875668417553899395 1865 36 320 3
m 61 04897482736489597014 728 32 110 3
m 62 08262633990230614637 1847 43 326 5
m 63 00029580775046259064 3520 67 589 4
m 64 15761398353561119591 908 27 161 3
m 65 13938075786164501354 947 47 149 2
m 66 07689279176753629425 2156 37 378 4
m 67 03352980940366930604 588 37 102 1
m 68 18205146010301476235 1858 36 320 3
m 69 17304352323705501630 1548 42 224 3
m 70 04817533670189387701 1287 46 234 2
m 71 03815896001190580000 946 47 149 2
m 72 15927738363741882863 807 37 102 2
m 73 16067508697785897298 3148 70 531 5
m 74 00418072880156719801 3300 58 548 4
m 75 16214909930319878868 615 24 76 2
m 76 07371249961700484243 2830 72 505 4
m 77 06175180461606149158 1742 29 301 4
m 78 01815321330950786557 1129 55 199 2
m 79 12125495098617575880 464 28 76 1
m 80 06743829002002030967 470 28 76 1
m 81 17945991074591943738 3267 57 566 4
m 82 09651936124194262401 1829 44 301 2
m 83 08255378098965307388 1129 55 199 2
m 84 11005688211693495451 2078 43 352 4
m 85 06572446884492514702 1552 55 293 3
m 86 13639309189295979845 459 18 55 2
m 87 11024112131243082096 2741 115 413 4
m 88 09342037498553029119 457 18 55 2
m 89 16368125288689822754 3304 58 548 4
m 90 13001482546647458121 2048 49 349 3
m 91 11824184077345051172 1541 42 224 3
m 92 16616369769377484195 535 23 64 2
m 93 12133388082411373558 535 23 64 2
m 94 01899707636773928333 1545 53 199 3
m 95 16650281295738291736 751 43 119 2
m 96 00233931789740751751 779 39 115 2
m 97 02170390895065297162 1541 42 224 3
m 98 15773825747283006993 492 18 46 2
m 99 06122450352817213772 491 18 46 2
m 100 13486101257148678059 2092 38 355 2
m 101 04293895218951161694 3301 43 594 4
m 102 00069684928789835477 899 40 165 2
m 103 15405433831470835648 942 47 149 2
m 104 16093508028850978319 813 36 115 2
m 105 06771306663650122482 2865 40 493 3
m 106 10589020804013034457 3132 44 555 3
m 107 05664308454024953204 528 23 68 2
m 108 09041749647149816499 2563 44 387 5
m 109 07776291911875936198 898 40 165 2
m 110 11947464930680729885 2562 61 442 4
m 111 00877411616330532456 1654 41 278 2
m 112 16911877353487333783 1037 45 178 2
m 113 10717700546857880026 1627 49 275 3
m 114 06149270096138117793 809 36 115 2
m 115 12324359776271922844 585 38 110 2
m 116 12192916395579817659 1422 37 212 3
m 117 13863075520990825774 704 38 110 2
m 118 17625312411952014437 1713 61 297 3
m 119 07573113630426448400 1817 44 301 2
m 120 17138096969591000607 2432 46 378 3
m 121 14912262290573876674 636 30 115 2
m 122 14518968876424411753 2556 44 387 5
m 123 08397152793400532164 772 39 115 2
m 124 12483862340993682371 3229 51 564 5
m 125 02130009668967485334 893 40 165 2
m 126 02775542104504592557 3600 81 588 4
m 127 11842856702219729592 2858 40 493 3
m 128 04472346036184030119 519 34 93 1
m 129 17228367033255016106 763 39 115 2
m 130 06294741513602364209 3005 50 486 3
m 131 09285327342599802860 2288 45 378 4
m 132 13029345845477532107 2551 44 387 5
m 133 10037548897683990270 814 43 119 2
m 134 03323219670661897717 1061 31 170 2
m 135 11458328475317620832 814 43 119 2
m 136 16231644733488218671 3284 58 548 4
m 137 12160601096730244242 3132 47 511 4
m 138 00523197234807106809 2422 39 353 4
m 139 14326570901483663380 402 28 81 1
m 140 00690733890785075411 1291 41 229 2
m 141 01294392888667222886 3595 81 588 4
m 142 08114420497813808189 1592 33 297 1
m 143 01729639283577594632 520 23 68 2
m 144 04189723101239091639 1537 55 293 3
m 145 18201275787021301626 535 21 85 1
m 146 09640743488068339649 592 24 76 2
m 147 16998694110353612092 679 41 119 2
m 148 09908170196674750683 3010 50 486 3
m 149 13632640575967548622 1467 39 217 4
m 150 03938511730377857925 811 43 119 2
m 151 07065002561838764720 509 23 64 2
m 152 13680711731732863551 867 37 110 2
m 153 10905850339221708642 884 40 165 2
m 154 07448342016360096649 2103 54 401 3
m 155 00361629384802318180 1558 49 256 2
m 156 12342337493313247715 1059 56 187 3
m 157 11184700834796759862 2072 38 355 2
m 158 06523810375948772301 3591 81 588 4
m 159 16126346728818638680 696 32 110 3
m 160 14728306399705992135 2420 46 378 3
m 161 11120242968559668298 1703 55 281 3
m 162 09750529190005710929 1548 48 228 4
m 163 09555511104434626188 3278 58 548 4
m 164 13615181226976187371 1387 26 198 2
m 165 02441982204537542302 2615 40 440 4
m 166 17392497306475879701 1439 38 271 3
m 167 05420194561786562816 2013 29 288 4
m 168 07127782792074876495 1622 43 278 1
m 169 02053509909493866034 2678 50 407 4
m 170 11649536139633417753 2675 50 407 4
m 171 10300411145294836404 806 41 115 2
m 172 06000195208730277619 1351 48 247 2
m 173 00703568177370756870 1719 61 297 3
m 174 05778793807207458653 1555 49 256 2
m 175 16526457314015661992 791 36 115 2
m 176 09210334692063369687 1621 43 278 1
m 177 18126007916381500698 1044 38 148 2
m 178 16343421117585947873 1043 38 148 2
m 179 15540127957175735260 3596 71 602 4
m 180 09486158505002836731 1895 79 314 3
m 181 00513239746065706094 1628 33 250 3
m 182 09892245887186723493 1044 38 148 2
m 183 17441131798924014416 2693 38 464 4
m 184 07498816518273480287 2691 38 464 4
m 185 04341480500249800962 1550 45 287 1
m 186 00265394662233906345 2172 52 357 5
m 187 01188043304384848388 3583 81 588 4
m 188 17195938920918562819 2072 38 355 2
m 189 14899155725453088470 1458 39 217 4
m 190 16379472561226804973 804 41 115 2
m 191 08944909847775253496 1548 49 256 2
m 192 10861871109525375975 1508 42 260 2
m 193 09434364036720931306 1927 35 323 4
m 194 06924813914611113329 2668 50 407 4
m 195 08518265403674557740 1365 58 174 2
m 196 16492840416900765195 2806 53 402 5
m 197 09211635854225970750 485 16 51 2
m 198 05965597243453877301 487 16 51 2
m 199 17148095437664457120 2180 51 418 3
m 200 00172326438289767023 1715 53 258 3
m 201 09816716523784640466 2071 38 355 2
m 202 02010228211376119609 1709 61 297 3
m 203 02184953223016285524 2609 40 440 4
m 204 10754695844886224147 2688 38 464 4
m 205 16011593758704929446 2469 40 380 3
m 206 09885693374531877501 1036 38 148 2
m 207 16826867884145265736 488 20 81 1
m 208 13205064033750524407 1452 39 217 4
m 209 15257124007547011770 2165 51 348 3
m 210 10763411626403480065 1364 58 174 2
m 211 18177217813645302396 1454 39 217 4
m 212 12041019055572430107 2975 45 461 5
m 213 07210785632450204686 1973 48 381 3
m 214 01103626573364476357 2067 38 355 2
m 215 13515355195867751408 1374 26 198 2
m 216 08424746125653058175 3004 44 488 3
m 217 14241182551881519778 3262 58 548 4
m 218 16352058108252562889 1548 28 268 1
m 219 09983590576746945700 1473 54 244 3
m 220 01812860229320255011 1586 74 268 3
m 221 07656600678528553590 3022 42 509 5
m 222 06795671642269338125 480 16 51 2
m 223 02727427893689874584 925 35 123 2
m 224 15981513045598280711 1952 34 374 3
m 225 01287400967384262538 2702 54 463 4
m 226 12059897117076204177 2597 40 440 4
m 227 02424060895735409612 338 23 68 1
m 228 01337667655468165163 565 24 76 2
m 229 01901673957405910494 1613 33 250 3
m 230 04702870090058206037 1538 49 256 2
m 231 13405528343920126528 1537 49 256 2
m 232 03911925110615223951 1350 58 174 2
m 233 13899052817039499634 3452 78 586 4
m 234 00391051201640591449 1920 58 305 5
m 235 17258147278181951476 567 24 76 2
m 236 17526122982654497587 2244 48 335 4
m 237 09573717476173246022 777 43 119 2
m 238 12669398212773846429 469 16 51 2
m 239 14979951946874951912 2459 91 385 4
m 240 13901391829106555415 1000 45 178 2
m 241 16987080409000763482 3223 39 544 4
m 242 13169669126627104545 775 43 119 2
m 243 07544753756051960092 617 42 128 1
m 244 04046472552733034299 1529 33 279 3
m 245 17766468815132183470 2699 54 463 4
m 246 18404723215657083109 490 30 89 1
m 247 12629072806586868880 2244 48 335 4
m 248 15550580325818965663 1910 35 323 4
m 249 13286359571106808898 997 45 178 2
m 250 04882690510527315689 1582 33 221 4
m 251 11660572782265739076 3557 81 588 4
m 252 17008931031139001411 1820 31 301 3
m 253 08311152794380312086 438 17 51 1
m 254 17773686443485836589 3178 39 485 4
m 255 12360896170341510456 1350 26 198 2
m 256 15542372758944168999 1343 58 174 2
m 257 10831322904156925226 3269 75 509 5
m 258 00440268218778224561 486 30 89 1
m 259 17401726562417781356 486 30 89 1
m 260 05273909571686664779 1575 74 268 3
m 261 10193986425043813758 1575 74 268 3
m 262 04440172267897092725 2461 91 385 4
m 263 11753806196016648928 1908 35 323 4
m 264 13572046839942574767 2343 46 396 3
m 265 03498100846455192338 3573 33 548 4
m 266 03260767152019935609 2509 44 387 5
m 267 02077424066909149844 2905 48 496 3
m 268 08393295795872405843 2047 41 377 2
m 269 16053797637399781862 1511 48 228 4
m 270 11718431673001742525 2904 48 496 3
m 271 16778421388564477320 1513 48 228 4
m 272 03119118403159515703 1339 58 174 2
m 273 17099065303552200186 2901 48 496 3
m 274 10732886250268949569 1123 66 204 2
m 275 01555159408199767996 1815 31 301 3
m 276 06851086799834870107 2900 48 496 3
m 277 11294210252657693518 896 27 161 3
m 278 01213867403592013829 1568 74 268 3
m 279 07290490803988346160 1567 74 268 3
m 280 12982147177449368255 837 51 144 3
m 281 01395915130150471138 2709 41 435 5
m 282 05754058367893432329 2709 41 435 5
m 283 04731413745796366820 758 16 129 1
m 284 06489233458592264803 2145 50 356 3
m 285 16045821697793522102 2113 40 351 3
m 286 05950813407571521613 756 16 129 1
m 287 05507327031486165464 454 16 51 2
m 288 07717396058822667335 2663 87 441 4
m 289 00325960964800135882 2707 41 435 5
m 290 14056785394920158417 1504 48 228 4
m 291 07713843442566936844 689 44 123 1
m 292 08856488452577426539 475 30 89 1
m 293 16164209891154130206 1372 40 246 2
m 294 05940316018241599893 3080 51 527 5
m 295 11775180061699263360 685 44 123 1
m 296 09297140628674037455 450 16 51 2
m 297 14433905238913131698 3567 64 572 4
m 298 14920133431906615961 1502 48 228 4
m 299 11398243443253648692 1167 30 217 2
m 300 09639579429530267507 2899 48 496 3
m 301 08465375286526223750 684 44 123 1
m 302 11870690620986987485 414 17 51 1
m 303 11189107351023395368 2034 89 276 4
m 304 13997615466234075735 2701 41 435 5
m 305 03951275743764056986 598 25 89 2
m 306 10172596960261796193 1063 31 157 2
m 307 06421904004554591836 2468 38 386 3
m 308 02962891126893587323 1592 24 283 3
m 309 04501672290941283054 1326 58 174 2
m 310 08484715928092614437 1121 28 208 1
m 311 01364123986032350672 3633 49 597 4
m 312 00058890667001431775 2363 39 353 4
m 313 09992193322290124674 2179 64 349 5
m 314 13340753196536635689 3264 99 577 4
m 315 11006010600806591620 2183 40 350 4
m 316 16354885722949898371 1749 49 310 3
m 317 14809139535601640790 416 17 51 1
m 318 07763795866766949229 2919 63 423 4
m 319 15320734201077040760 1226 37 220 4
m 320 01413977497658600551 1443 57 207 3
m 321 13208190335320549482 678 44 123 1
m 322 02259387297670853105 2131 49 355 3
m 323 04166493914770839468 3395 50 604 4
m 324 13308558158427061899 2132 49 355 3
m 325 16571740635498886334 2373 58 352 5
m 326 12123914407594821813 1178 59 183 2
m 327 13857651492236416032 2973 44 488 3
m 328 02828025472403483375 1319 58 174 2
m 329 13915910871718436434 2373 38 404 3
m 330 16483696557967770553 1790 52 296 4
m 331 00364197591800836052 3369 62 543 4
m 332 10100163194550244755 1575 43 278 1
m 333 12270227801361971494 1696 49 298 2
m 334 10268860242598930173 1578 24 283 3
m 335 04742898378585038536 724 37 102 2
m 336 16837876037361820279 2020 89 276 4
m 337 07979454519230323002 3302 82 543 4
m 338 15410445019128166017 3388 50 604 4
m 339 14894565406215066876 738 36 115 2
m 340 18133003966742295963 2455 38 386 3
m 341 02897643723418964622 2019 89 276 4
m 342 12877448876675577413 2453 38 386 3
m 343 02311601360216671856 4536 79 741 4
m 344 17153412434541900543 285 21 55 1
m 345 10081330428039018786 774 21 127 2
m 346 02770179469701638729 507 33 89 1
m 347 09307356905795118884 2704 42 465 2
m 348 01245884922202324643 2174 40 350 4
m 349 07808943530237862134 1198 43 144 3
m 350 17101929291546941069 2304 40 399 3
m 351 12247288690997340952 410 18 64 1
m 352 17702072877118782599 1455 50 251 2
m 353 01548222656797924874 1573 24 283 3
m 354 06076854615552655121 2352 39 353 4
m 355 05064349019354777164 3216 58 548 4
m 356 12961854717105311915 2015 89 276 4
m 357 15258407978868720734 4051 57 620 4
m 358 14841495248492734421 2022 89 276 4
m 359 15917808064916794560 2461 38 386 3
m 360 15700948635312660239 2074 56 280 3
m 361 04412103800424982514 583 25 102 1
m 362 14523438753130992857 1283 34 195 2
m 363 04266744201879261812 436 21 85 1
m 364 04095697296724118451 1060 23 198 1
m 365 00571498839471299782 3383 50 604 4
m 366 01970768821425588765 650 27 98 2
m 367 08673119082506906472 3549 64 572 4
m 368 15130756376379718295 1913 68 306 3
m 369 10679122557634180826 1560 28 244 3
m 370 02664529359512374177 1316 26 198 2
m 371 16784934481070582684 3942 81 659 4
m 372 14411301648282505147 1307 39 183 3
m 373 08180516286252927534 4459 40 721 4
m 374 18128808169380666725 2362 38 404 3
m 375 11298149234245633808 2016 89 276 4
m 376 09575711951397957407 2264 69 362 5
m 377 00871275113008769730 1657 32 263 2
m 378 17209496658760680297 2249 40 408 3
m 379 11392032647653814724 396 17 51 1
m 380 02973272040054471875 2423 91 385 4
m 381 13479821951341030550 1141 28 168 2
m 382 05982124497318871469 2127 32 363 2
m 383 15540257636167851960 3283 82 543 4
m 384 04737303152563281063 2248 40 408 3
m 385 06487979972652999594 1772 53 284 5
m 386 06222142968496364593 461 33 89 1
m 387 08244335732384285932 1771 53 284 5
m 388 14054296628372157131 3741 48 606 5
m 389 15661590346140984318 2292 40 399 3
m 390 13090645919605741301 2061 56 280 3
m 391 18175704732656948576 691 42 119 1
m 392 12871308939040138031 615 39 106 1
m 393 02396302902472278418 615 39 106 1
m 394 05185560467615921657 1571 62 310 3
m 395 01120478382511523092 1753 32 274 2
m 396 10675914705752150483 2161 40 350 4
m 397 09148413518607290470 992 31 183 2
m 398 10092627596983598397 2674 48 451 4
m 399 01841216903953008648 4451 40 721 4
m 400 13857706393918251703 3388 44 544 4
m 401 01658150534469739642 4515 79 741 4
m 402 15301607073539731649 1546 43 278 1
m 403 15326702669938774588 1985 44 341 4
m 404 11302170231005034971 2386 54 369 4
m 405 17255085117207925198 3376 50 604 4
m 406 03884010590393177221 4452 40 721 4
m 407 14013982264637102000 2117 32 363 2
m 408 12140714160051682111 3735 48 606 5
m 409 03779635710786497634 1762 53 284 5
m 410 02249125386617891977 2247 59 345 5
m 411 11098777074712726628 2386 54 369 4
m 412 07969323668365806307 1772 65 289 3
m 413 08041656324305160246 1764 53 284 5
m 414 14122449179634515149 2967 42 509 5
m 415 12818153651195339864 3287 48 525 5
m 416 04735040661122862279 455 27 81 1
m 417 13446045739658033482 669 44 123 1
m 418 14098336443321403729 2130 34 351 3
m 419 06206330605436146572 1770 65 289 3
m 420 18023045188949206251 1991 81 271 4
m 421 15515259413053952926 1992 81 271 4
m 422 07942705851475105301 2050 56 280 3
m 423 14448533049889246720 819 16 109 2
m 424 14129669203743258447 362 19 51 1
m 425 06990610907584195378 3536 87 543 5
m 426 04069036864573974297 363 19 51 1
m 427 04895023677028255668 1661 56 254 3
m 428 02051730055541516275 228 12 46 1
m 429 01091053326950814726 1283 58 174 2
m 430 02671770143748014173 4037 59 673 4
m 431 00520972418177168552 2960 33 473 3
m 432 17115907282245180119 2928 40 458 4
m 433 05524788626147746330 2376 54 369 4
m 434 17996069082359391713 2147 40 350 4
m 435 07116664722134304988 677 42 119 1
m 436 11542504556994147323 3062 51 458 4
m 437 06061052929709025646 2376 54 369 4
m 438 06434333232104856485 1708 49 310 3
m 439 02964136206208792656 974 17 139 2
m 440 08409650163183572831 1742 42 278 2
m 441 13338601316597661186 3119 39 485 4
m 442 07063630458329146793 1291 26 198 2
m 443 02898144215541118724 3064 51 458 4
m 444 15890394344972183811 4432 40 721 4
m 445 12570782287172367318 4435 40 721 4
m 446 09641910653200828397 4437 40 721 4
m 447 15427520276959820024 2369 54 369 4
m 448 14164206848809290983 356 19 51 1
m 449 14243109859577503466 4434 40 721 4
m 450 14666608970095134321 1441 36 250 2
m 451 13030484975234036268 2143 40 350 4
m 452 07208970838675924747 3724 48 606 5
m 453 04749588240576762686 1442 36 250 2
m 454 14577561972792812853 1740 33 309 3
m 455 00545475231831299744 2231 59 345 5
m 456 13238158198739360623 1738 42 278 2
m 457 09334731596595274962 2039 44 350 3
m 458 00195229629724043321 1703 49 310 3
m 459 06206464370713614932 729 37 106 2
m 460 15809432793286544915 1439 36 250 2
m 461 13348985506813700006 2130 97 331 4
m 462 09245828411019268989 1978 81 271 4
m 463 06058665613509882184 350 19 51 1
m 464 16861669665655694071 2291 84 403 4
m 465 00482285858396843962 600 39 106 1
m 466 15894898281630608129 1524 31 234 4
m 467 06693926381324898172 2303 48 395 5
m 468 00803842175776800283 1837 35 323 4
m 469 16002212143677296910 3648 69 601 4
m 470 11444738390012932805 346 19 51 1
m 471 09180074074093398256 1848 44 277 3
m 472 16663429421869941631 795 16 109 2
m 473 17987325530387898274 2223 59 345 5
m 474 02089830083240603337 1635 56 254 3
m 475 04825476950598447524 983 40 119 2
m 476 13983459512384542499 1642 56 254 3
m 477 08968833197466103670 1642 56 254 3
m 478 16342252237995238157 366 14 51 2
m 479 01721674715041947032 391 28 76 1
m 480 01709475597227187463 1054 55 199 2
m 481 01058613079929246858 2457 75 412 4
m 482 06756496057465983889 1632 56 254 3
m 483 07249303014621454540 1970 55 322 4
m 484 00738329858282912043 3049 44 539 3
m 485 14959612982182814430 3106 39 485 4
m 486 07904055065406850133 2236 42 336 5
m 487 01757289569690070848 4258 73 740 4
m 488 17407022773951303567 2354 54 369 4
m 489 03964284959735393906 1810 44 294 4
m 490 11486876262826359129 3598 45 680 4
m 491 07288800356964056308 1494 74 268 3
m 492 18057147928986010675 1805 43 335 4
m 493 10216508473136106310 1807 44 294 4
m 494 04223083481524074141 2066 51 348 3
m 495 09218569637894995432 2451 75 412 4
m 496 18314884239681452823 2356 78 454 4
m 497 01944131023355972954 1117 59 183 2
m 498 05163038478793080865 1682 49 310 3
m 499 18056730392940865052 1912 50 356 2
m 500 08028650379135047739 1715 32 274 2
m 501 06604278392189700270 338 19 51 1
m 502 14421146311102667237 784 16 109 2
m 503 06248434149870610832 1425 39 179 3
m 504 15197245254944047007 2105 35 356 4
m 505 00053357741244387650 598 24 64 2
m 506 17678703439147812841 1764 63 297 4
m 507 10925559519142558788 1682 49 310 3
m 508 07681763385301062979 3639 69 601 4
m 509 10905219896819333910 3593 45 680 4
m 510 09227213163198402093 3145 111 542 5
m 511 06156995998617440824 2166 74 330 5
m 512 06263137919519980839 603 39 110 2
m 513 02006920267438938666 2321 42 344 4
m 514 10852613677894119601 2611 45 437 3
m 515 18359159073656495980 427 15 46 2
m 516 03801995983096503115 603 39 110 2
m 517 14107857223768621694 1759 63 297 4
m 518 02456670260331131765 1757 63 297 4
m 519 12140817967326697440 1758 63 297 4
m 520 05690229375313892271 1986 46 329 3
m 521 14587100676803954706 3155 37 502 3
m 522 02699899868122733177 3154 37 502 3
m 523 06595011817889230740 2608 45 437 3
m 524 02829615366839962195 1754 63 297 4
m 525 05071489610703240934 1298 51 233 3
m 526 03815851520180775357 1974 77 336 4
m 527 03708255031100299912 3740 116 618 5
m 528 12261169663671821111 769 43 119 2
m 529 06672114947118873338 850 38 153 2
m 530 07578142453697209665 1443 42 260 2
m 531 01783502093945474236 1274 45 187 2
m 532 06611734468807623259 1014 33 123 3
m 533 05116392279905800270 1666 40 262 4
m 534 13812707485859254533 1753 63 297 4
m 535 17872606314407262768 2697 53 402 5
m 536 05676080259190115263 4109 67 713 4
m 537 00999999418623955682 2105 97 331 4
m 538 16635367591666413833 3928 57 680 4
m 539 02926832215989278436 2572 83 446 4
m 540 15078898505561760611 1793 43 335 4
m 541 14650707381329008310 1129 38 203 3
m 542 06881605962071853389 1128 38 203 3
m 543 04176440248956950232 766 29 118 3
m 544 10820937726522404167 649 45 123 1
m 545 00445404605367988170 386 27 72 1
m 546 02320240218484973009 2441 75 412 4
m 547 17364517297515884044 2694 53 402 5
m 548 03162041024980831595 1692 32 274 2
m 549 08606201779683045918 349 20 51 1
m 550 15908430251968213653 2623 51 493 3
m 551 09469347128140353664 1942 36 299 3
m 552 15481199373920675791 3486 87 543 5
m 553 06368349088328561074 2255 41 351 4
m 554 08706626309686889369 818 32 131 2
m 555 17178196444214489652 763 29 118 3
m 556 18011860583981211763 2002 38 355 2
m 557 01239144998652576390 783 31 97 3
m 558 08211276025928346845 2147 74 330 5
m 559 04846931064106174248 1747 63 297 4
m 560 03529451602567060311 2671 38 460 4
m 561 15014697092789024922 327 17 51 1
m 562 05192662002836265569 3920 57 680 4
m 563 07427430633964012380 1535 31 228 2
m 564 07207779370829626491 1782 44 294 4
m 565 07032692958956234734 442 23 68 1
m 566 16986472082537027621 4453 79 741 4
m 567 04100503348528454352 3024 44 539 3
m 568 02708681315791529951 4451 79 741 4
m 569 09812136431602885762 1532 31 228 2
m 570 03954922162440448553 340 20 51 1
m 571 16493653550491451780 757 43 119 2
m 572 06015058516142883203 1687 32 274 2
m 573 16554683713157808726 1532 31 228 2
m 574 03058113587547788397 2760 40 457 4
m 575 11506334667756530552 1122 43 144 3
m 576 04859033063832710503 1528 31 228 2
m 577 06509623086824019306 2789 36 472 5
m 578 02733740284221692657 484 18 46 2
m 579 07257993251535604908 2359 78 437 4
m 580 14015405215580704651 3916 57 680 4
m 581 03659786418454688190 2757 40 457 4
m 582 09704993331406225845 3477 87 543 5
m 583 12804364813781915936 2700 106 446 5
m 584 01520354967920905199 3476 87 543 5
m 585 18382273038241049426 2086 97 331 4
m 586 06784176927441407161 2330 39 353 4
m 587 00611474665314403540 2722 42 402 5
m 588 11406874195538724499 1541 32 272 3
m 589 01036153642835990054 2327 68 331 5
m 590 09814800752126492669 1236 45 169 4
m 591 13657545014367585224 3232 67 497 4
m 592 00441269332553229175 1699 42 268 2
m 593 15430686269120284218 400 15 46 2
m 594 05286307755941748609 1070 28 168 2
m 595 17069324688936716796 3910 57 680 4
m 596 11443326698046293659 3483 87 543 5
m 597 08549328784440266638 2814 55 459 4
m 598 14237885270980505413 915 44 128 2
m 599 17005755681102302064 1259 45 187 2
m 600 04284570999221457919 3281 48 525 5
m 601 01161702557238068770 1258 45 187 2
m 602 14406458716250567497 2781 36 472 5
m 603 05437703187980975140 3115 43 571 4
m 604 07920160111356555171 3517 33 548 4
m 605 00966559120470621686 1257 45 187 2
m 606 16250393419787267981 573 39 110 2
m 607 10258096623657717784 1449 39 221 4
m 608 01718863474965396871 766 45 123 2
m 609 09605341136554412810 797 32 131 2
m 610 08875731703767246865 3478 87 543 5
m 611 17532451324078848844 1176 41 148 2
m 612 01056699466480443819 3539 60 578 4
m 613 08954301626536460638 773 45 123 2
m 614 06988211914294288597 1491 63 234 3
m 615 01151565682648199616 3110 43 571 4
m 616 06655369577675030543 685 43 123 1
m 617 13245573992731964658 3148 111 542 5
m 618 00170028203612610009 2744 40 457 4
m 619 16085360584660281204 901 31 170 2
m 620 02071175349396094131 2774 36 472 5
m 621 08746088746928077254 466 18 46 2
m 622 12871372458507379485 1636 40 262 4
m 623 06977510195999936616 1665 31 285 4
m 624 18340649253853723543 1265 48 200 3
m 625 10128821109771314138 1758 43 335 4
m 626 15345843027087226017 3884 43 668 5
m 627 01631365652008460444 860 29 149 2
m 628 15652987150458446011 1105 43 144 3
m 629 14800921157436458798 1944 46 329 3
m 630 11486828373105825381 2713 42 402 5
m 631 14650786840598498320 347 15 55 1
m 632 08257085332811141151 307 20 51 1
m 633 15720824471046944706 1941 46 329 3
m 634 12646470434983824489 1940 46 329 3
m 635 02955622068177110724 2231 46 324 4
m 636 14171844238273048003 1912 47 305 4
m 637 10594136806876481942 3313 94 517 5
m 638 12622726643964058285 2229 46 324 4
m 639 13707603915992138936 1798 39 304 2
m 640 00779144873755450791 1943 46 329 3
m 641 08475136680498958506 1762 44 294 4
m 642 13436051156877886769 1360 41 227 2
m 643 04221036670960040428 1640 49 310 3
m 644 17576601034622305227 2310 78 454 4
m 645 12839075955965812990 529 33 98 1
m 646 14416973095403786229 1318 48 187 2
m 647 01889787854640765536 530 33 98 1
m 648 14694740569919620143 302 20 51 1
m 649 15848650502225071762 1369 36 250 2
m 650 17407085265054039801 676 43 119 1
m 651 04011684353108564500 1733 37 339 3
m 652 17193023600018735827 1732 37 339 3
m 653 10436835023758224742 455 18 46 2
m 654 13246201569989547581 1995 49 367 2
m 655 01558857863267380488 601 26 85 2
m 656 05783865412338426807 2244 97 382 4
m 657 16340489528741728634 2244 97 382 4
m 658 15945462467135281601 297 20 51 1
m 659 17041257895834142524 959 31 183 2
m 660 01143777844591348443 1628 33 264 2
m 661 06161150208799559374 850 29 149 2
m 662 18059666649406868869 3918 47 623 5
m 663 11360656197259058352 1578 31 269 2
m 664 05325741382815325247 2161 41 321 3
m 665 10501225722533689698 1042 28 178 2
m 666 07750470737573033353 360 18 64 1
m 667 01500796844437430628 364 28 76 1
m 668 01024120763698199523 918 40 119 2
m 669 03824117105573733686 1664 54 293 3
m 670 06475102067899979213 2550 66 392 5
m 671 01363151909861411160 782 44 128 2
m 672 17518776677861297607 1647 35 317 2
m 673 01664506345710986826 1625 66 246 3
m 674 07422623161367229009 3642 49 579 5
m 675 02783448651679385740 1905 47 305 4
m 676 09333272707634771435 606 31 119 1
m 677 01586996607097147550 779 44 128 2
m 678 02276916418920533781 587 26 85 2
m 679 15718470463282795264 1624 49 310 3
m 680 13390622358552287311 659 30 81 2
m 681 04368702010325825586 3639 49 579 5
m 682 09584482739477049369 328 15 55 1
m 683 05185531788234628276 1232 45 187 2
m 684 16919183996902725875 1508 43 278 1
m 685 00666306638708388102 1215 35 229 2
m 686 03609995181465573725 2153 29 361 3
m 687 16119562640343734696 2096 62 357 4
m 688 13147053110557727703 1901 47 305 4
m 689 10979391607552134938 3445 87 543 5
m 690 16248486545202859745 1577 42 268 2
m 691 02414457346171174364 1512 42 268 1
m 692 03009776495436678395 1227 45 187 2
m 693 13308742642163754606 762 37 106 2
m 694 07608997665382225061 774 44 128 2
m 695 15862261861957713232 1197 27 178 2
m 696 04801811771525953631 3675 52 607 5
m 697 13368901287574260482 667 21 76 2
m 698 12781097846186487465 3882 95 649 5
m 699 09896045986058144772 1562 56 254 3
m 700 17195093915542002179 1614 66 246 3
m 701 06629796564612485334 3880 57 680 4
m 702 12945496332348661997 2554 49 438 4
m 703 12451746390090014200 3885 95 649 5
m 704 15929738637783797223 1268 40 170 3
m 705 17010893872816032746 1915 89 319 3
m 706 09094063549538905969 662 21 76 2
m 707 02576533001776523052 2843 66 438 4
m 708 11856847956968470539 2211 48 369 3
m 709 07015731016955760702 2210 48 369 3
m 710 15703501476443954741 2842 50 456 4
m 711 13493711408086358944 701 43 128 2
m 712 00233149337508133999 2073 69 349 3
m 713 04027821325757854162 902 40 119 2
m 714 18150500567705940281 2091 62 357 4
m 715 02988978155105726292 1505 42 268 1
m 716 02316393975370940179 1914 89 319 3
m 717 03426712128936723622 2760 71 469 4
m 718 03575065483594263677 3670 52 607 5
m 719 03996562553714939464 769 44 128 2
m 720 08728557369860924407 1431 23 198 2
m 721 15675171402888502458 3871 95 649 5
m 722 17750009124940911617 1159 30 136 3
m 723 06514665163221763196 1374 30 198 2
m 724 09281339725931073307 1624 58 220 4
m 725 04516670259663228430 3876 57 680 4
m 726 12626614399234223045 1150 30 136 3
m 727 04593521967172087280 4277 101 734 4
m 728 00876238682287334527 1630 31 285 4
m 729 15221339758633168034 2180 36 357 2
m 730 10084658440456222665 3240 45 483 5
m 731 05487854980402939556 3433 87 543 5
m 732 07434210058550675491 1151 30 136 3
m 733 18198987102308519030 1599 40 262 4
m 734 07284472781682441229 1265 40 170 3
m 735 18069656242544263832 1149 30 136 3
m 736 10823209362275016199 3872 57 680 4
m 737 04938171426066448778 725 31 97 3
m 738 07732768712135736465 2179 36 357 2
m 739 07717406770399204812 1656 42 268 2
m 740 05510612866475444779 1150 30 136 3
m 741 10200386094385717214 702 29 118 3
m 742 15433713197461339477 1663 51 250 3
m 743 08819969274709423168 2392 43 406 4
m 744 14388745088266039439 406 28 76 1
m 745 06639861134284503922 688 25 132 2
m 746 13790938012860842585 722 31 97 3
m 747 17794691339220521460 1493 42 268 1
m 748 15571165656089769267 990 34 139 2
m 749 15744479808721659974 1193 41 220 3
m 750 14042560182341947293 1147 30 136 3
m 751 15482004918221038312 1410 52 229 3
m 752 11763457393251580951 297 14 51 1
m 753 03613972220566387290 1488 42 268 1
m 754 08487206860045117729 1545 37 212 4
m 755 06490091389381597980 1193 41 220 3
m 756 08151490751330216251 588 28 89 2
m 757 15052987588741973422 1628 54 293 3
m 758 12078817899025732325 3882 47 623 5
m 759 07088957054302711440 1128 39 186 2
m 760 09784999904972791967 1502 46 243 2
m 761 10217387004483362370 586 28 89 2
m 762 06645028259838873833 1017 28 178 2
m 763 05797766150820254020 589 28 89 2
m 764 03752657710683588163 5210 66 872 5
m 765 10913742636324739094 1901 46 329 3
m 766 10467590523041179437 1126 39 186 2
m 767 11628066275098556216 1120 30 195 3
m 768 09944467988945681959 3105 79 498 4
m 769 08130913451938039594 2182 41 351 4
m 770 17560606887935859121 1188 41 220 3
m 771 04305994880631346284 1124 39 186 2
m 772 16060302143161445451 2726 36 472 5
m 773 12171924165980356478 2181 41 351 4
m 774 13244388708415925365 1185 41 220 3
m 775 08737377264866991328 608 38 110 1
m 776 03881725794678879407 2432 83 398 4
m 777 17286007005137638674 2079 35 380 3
m 778 13704888453098087289 1265 33 208 2
m 779 08727054905536234644 2707 36 463 3
m 780 14071392209632623443 1538 31 269 2
m 781 16309968268338519014 981 34 139 2
m 782 10635397245007315645 1008 28 178 2
m 783 13866806420698300296 392 28 76 1
m 784 06550404698759226423 2167 36 357 2
m 785 04632378795994966010 1530 37 212 4
m 786 03028563979638885953 1762 80 259 3
m 787 12755786839809032636 330 20 55 1
m 788 17821870466002162523 1340 66 200 3
m 789 07887861261785075022 2418 60 416 5
m 790 09004530892068555269 3057 39 485 4
m 791 00118186951936687920 1536 31 269 2
m 792 16740028391535865023 1118 39 186 2
m 793 14908630682555703266 1806 27 220 5
m 794 05299194504627223049 3647 52 607 5
m 795 06186521751242402788 1896 64 327 3
m 796 05273315921954739299 804 29 149 2
m 797 03962660888237126582 667 40 110 2
m 798 01265701923619005005 2808 63 460 4
m 799 01718811401365126104 876 31 127 2
m 800 14188445476021300807 2516 37 414 4
m 801 14617092336439925962 1529 37 212 4
m 802 08518772838040389329 2436 48 422 3
m 803 01253357762052956940 2413 60 416 5
m 804 13053314590325972587 1803 27 220 5
m 805 07277895890514898718 2057 62 357 4
m 806 07141840549001227157 2255 49 392 3
m 807 08249098109740832128 2818 57 475 4
m 808 05975108056378345679 1151 53 230 2
m 809 01799242605239090866 1259 34 204 4
m 810 06358034759493670041 2254 49 392 3
m 811 12375379586269431604 2206 45 337 3
m 812 03986113517549932915 4431 79 741 4
m 813 01168943095456653190 973 34 139 2
m 814 13863759895314974173 2205 45 337 3
m 815 11722724139682982952 2415 60 416 5
m 816 01908276525336190039 627 21 76 2
m 817 15814407864949597594 2646 42 402 5
m 818 02050165742188839777 2447 81 365 4
m 819 02069715214460287068 4879 87 836 4
m 820 06018599960828595579 2250 49 392 3
m 821 17985043040364012782 3838 57 680 4
m 822 14134529677483577637 3809 109 583 5
m 823 08464317511240048592 1252 34 204 4
m 824 09461917227640621279 2407 60 416 5
m 825 11638716311821463938 544 22 68 2
m 826 14802257097054827305 1610 54 293 3
m 827 04419714948549039748 2858 39 517 4
m 828 10652218165680910979 964 34 139 2
m 829 06065620073157484374 1164 41 220 3
m 830 07464802801749814637 2477 49 369 4
m 831 09693406010908856440 4099 81 659 5
m 832 14786456710621867623 1606 54 293 3
m 833 10200154159491334762 2041 77 356 4
m 834 13589347146921657329 728 44 128 2
m 835 14454398120909504940 2762 58 452 5
m 836 06733780024377778315 2672 40 457 4
m 837 08870942546006093502 2672 40 457 4
m 838 08254392326996589237 2040 77 356 4
m 839 15964502907194236448 1871 45 336 2
m 840 00534801409948806383 3333 70 476 4
m 841 07178285193357178962 333 15 59 1
m 842 18415500803199210937 1241 34 204 4
m 843 07792241537744312788 2045 77 356 4
m 844 07753417080922126227 4100 81 659 5
m 845 05715569179075359526 862 22 127 2
m 846 14280683642131798269 1191 24 198 2
m 847 13020239950546774216 4076 77 626 5
m 848 08317083084257780855 859 22 127 2
m 849 06019659447503893306 4096 81 659 5
m 850 11938326175455856769 3013 57 537 3
m 851 17464953898039000828 2704 57 392 4
m 852 13083592836053309339 2847 39 517 4
m 853 11906407890580671630 3799 109 583 5
m 854 06131488697987770437 2400 60 416 5
m 855 10335855548134314096 2157 40 374 4
m 856 06682060939565643007 2803 57 475 4
m 857 16750960500923618082 1707 34 255 3
m 858 04710247020206652489 2271 78 437 4
m 859 07269335056814739748 2270 78 437 4
m 860 04543993705878642851 378 15 46 1
m 861 03921439449095592694 2837 40 458 4
m 862 00298723054434584717 1849 58 279 3
m 863 13650219637636789528 475 25 72 1
m 864 18154033831769767559 2994 62 521 4
m 865 03501825494305257482 771 32 106 2
m 866 11666071365999317265 3796 109 583 5
m 867 02340072270561456204 2435 53 395 4
m 868 08529388887878808235 760 37 149 2
m 869 01532352485034835550 769 32 106 2
m 870 04640374256315210197 3796 109 583 5
m 871 04981502130566903488 511 24 64 2
m 872 04585232281625616655 1190 39 183 3
m 873 01089323932726231538 3851 47 623 5
m 874 09191271564702738137 2279 49 385 4
m 875 05285798289721605236 1692 27 299 2
m 876 14491719384318913971 2464 49 369 4
m 877 07176674938277385926 2463 49 369 4
m 878 11671548945924848669 2047 33 342 4
m 879 14183009261913879912 2514 83 446 4
m 880 00984062747245608087 959 27 178 2
m 881 17800971146476769498 1551 43 247 2
m 882 17285937004173811105 658 32 89 1
m 883 13871097182867871132 1698 34 255 3
m 884 02669524229160661435 2994 67 487 3
m 885 17493795995611120686 888 17 165 2
m 886 00749847081938931557 4085 81 659 5
m 887 06568170563055030544 593 37 102 2
m 888 00520307183623205151 3843 47 623 5
m 889 02978033910771369154 1399 49 251 3
m 890 12844338181800318313 4144 123 651 5
m 891 05888809808276364228 1240 33 208 1
m 892 17087522134172147395 366 15 46 1
m 893 12246474800635651734 1919 30 317 2
m 894 02468426004332655533 364 19 76 1
m 895 00390383846279604664 2427 53 395 4
m 896 01854084493859217063 2278 117 382 4
m 897 06510557654560767402 4268 95 714 4
m 898 17697421316316327473 3022 68 421 4
m 899 02903704216794148588 1113 60 174 2
m 900 04246826956678911179 1227 34 204 4
m 901 01958070276543225342 2288 56 386 2
m 902 00660663343887927541 2404 57 384 3
m 903 07336487031972323168 838 28 165 2
m 904 10278354821320860975 1672 33 258 2
m 905 14621550075518458770 2388 60 416 5
m 906 14397819784159610873 2754 32 404 4
m 907 13098809495204146964 1311 30 198 2
m 908 12071486683123987411 2425 53 395 4
m 909 09424868689146661478 2099 43 348 3
m 910 06522958344089939773 1310 30 198 2
m 911 07854388222894576136 361 15 46 1
m 912 13907308905474499767 509 26 85 2
m 913 04495642417775165050 4255 95 714 4
m 914 15052490803289752257 2097 31 337 2
m 915 13951778893015825468 1779 27 220 5
m 916 02722838338569493467 4853 87 836 4
m 917 17794685345798409166 871 21 129 2
m 918 00944550655538857605 1127 25 123 3
m 919 01956311548084429232 2996 57 537 3
m 920 02742876034529541439 2096 43 348 3
m 921 15661264836533552738 2422 53 395 4
m 922 13310630876699901577 4256 95 714 4
m 923 09831578912640235108 3488 89 544 4
m 924 12668122781154536675 1194 44 182 2
m 925 15165408930043511350 2400 82 366 4
m 926 03871273886100975309 451 31 85 1
m 927 01789130047310966360 2422 53 395 4
m 928 04474858828382719687 1353 42 182 4
m 929 08672588629670138698 2991 57 537 3
m 930 05086252416755112785 2456 40 357 5
m 931 16653996677649366412 2734 58 452 5
m 932 03670365408530597611 352 15 46 1
m 933 10660866946289061278 1544 43 242 3
m 934 12904911109885233173 823 28 165 2
m 935 02194225072467728384 2173 90 331 5
m 936 09684490215771765071 2466 37 414 4
m 937 08390050788341187890 2741 32 404 4
m 938 02631590785826830617 2413 53 395 4
m 939 13899010052724879796 1531 40 262 4
m 940 04038158361757305331 998 52 148 2
m 941 16564202226307829254 1755 60 302 3
m 942 09160027662338290269 2393 57 384 3
m 943 04290413254614400680 3072 62 532 4
m 944 17297458600781733079 2302 70 395 3
m 945 14294808779194498074 2464 37 414 4
m 946 13091026864634836961 1383 49 251 3
m 947 14532721200809931484 1669 63 297 4
m 948 00578881544036472315 1378 49 251 3
m 949 09684596160172761966 783 40 110 2
m 950 16756861238980300197 4064 81 659 5
m 951 07006683809209877072 482 24 64 2
m 952 12673787687735859551 1376 49 251 3
m 953 05404069896411158530 1102 52 182 2
m 954 12858911381089859497 1365 43 238 3
m 955 12203486342430040324 2502 75 401 4
m 956 18369453781964016387 4062 81 659 5
m 957 07540283484817829334 4062 81 659 5
m 958 14745551229643143661 2297 70 395 3
m 959 13592492966500582136 2007 62 357 4
m 960 05323084512346459879 2406 53 395 4
m 961 12340403684620630250 1336 61 263 3
m 962 11977083581209008241 1888 41 258 3
m 963 16914302366482439212 463 15 51 2
m 964 17994498883346909451 463 15 51 2
m 965 04514411690272345406 1985 69 349 3
m 966 17241384328063899445 1862 47 305 4
m 967 01041982700361031840 3270 40 600 4
m 968 15628329329206730095 3142 39 541 4
m 969 16932701289769025234 2259 33 363 3
m 970 18023190068385397305 1703 43 335 4
m 971 00517552398204961876 432 25 72 1
m 972 16484488378466725907 774 40 110 2
m 973 13991586585040363942 1368 49 251 3
m 974 10902377354119234941 3060 62 532 4
m 975 01940984856145017672 3270 40 600 4
m 976 13137343492728300791 1709 55 292 3
m 977 12802264765794847162 1434 53 229 2
m 978 05579035977206988033 1140 28 178 3
m 979 00513269393776146812 552 26 72 1
m 980 07027388735745187867 550 24 93 1
m 981 14374959934982376206 344 15 46 1
m 982 06593899341329802437 3266 40 600 4
m 983 04914424257910780656 2674 40 457 4
m 984 00243408578351531391 1557 54 293 3
m 985 12711572628875671970 3265 40 600 4
m 986 08378406898237194441 4113 123 651 5
m 987 13757348856964553636 1707 55 292 3
m 988 09464489468267346211 2957 67 487 3
m 989 15754800877990898038 1327 61 263 3
m 990 14104486011343475981 1052 44 183 2
m 991 04442925662858487704 1506 26 234 2
m 992 14958177245034864391 2553 57 432 3
m 993 17339462498598366858 548 26 72 1
m 994 17828451943838885265 4111 123 651 5
m 995 07665073828681452236 2374 82 366 4
m 996 12392079158863076139 1828 45 276 4
m 997 01504142453490556126 3245 61 540 4
m 998 12787202105650853461 3113 55 535 5
m 999 03587023563408292160 618 32 89 1
m 1000 06402307180218831247 2977 87 488 4
m ----------------------------------------------------------------------------
m generated 1000 traces: 1000 ok 100%, 0 failed 0%, 1000 executed
m solved 2609: 45 sat 2%, 1824 unsat 70%, 1609 incremental 62%
test/mbt/run.sh: all tests succeeded
test/mbt/run.sh: consider to run 'mobical' for longer (without argument)
make[3]: Leaving directory '/build/reproducible-path/cadical-1.7.4/test'
make[2]: Leaving directory '/build/reproducible-path/cadical-1.7.4/build'
make[1]: Leaving directory '/build/reproducible-path/cadical-1.7.4'
create-stamp debian/debhelper-build-stamp
dh_prep
dh_auto_install
dh_install
dh_installdocs
dh_installchangelogs
dh_installman
dh_perl
dh_link
dh_strip_nondeterminism
dh_compress
dh_fixperms
dh_missing
dh_dwz -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb
dh_gencontrol
dpkg-gencontrol: warning: Depends field of package libcadical-dev: substitution variable ${shlibs:Depends} used, but is not defined
dh_md5sums
dh_builddeb
dpkg-deb: building package 'cadical-dbgsym' in '../cadical-dbgsym_1.7.4-1_amd64.deb'.
dpkg-deb: building package 'libcadical-dev' in '../libcadical-dev_1.7.4-1_amd64.deb'.
dpkg-deb: building package 'cadical' in '../cadical_1.7.4-1_amd64.deb'.
dpkg-genbuildinfo --build=binary -O../cadical_1.7.4-1_amd64.buildinfo
dpkg-genchanges --build=binary -O../cadical_1.7.4-1_amd64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env
I: removing directory /srv/workspace/pbuilder/575365 and its subdirectories
I: Current time: Thu Mar 6 20:47:47 -12 2025
I: pbuilder-time-stamp: 1741337267