I: pbuilder: network access will be disabled during build I: Current time: Sun Jun 2 02:19:07 -12 2024 I: pbuilder-time-stamp: 1717337947 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-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.5.3-2.dsc] I: copying [./cadical_1.5.3.orig.tar.gz] I: copying [./cadical_1.5.3-2.debian.tar.xz] I: Extracting source gpgv: Signature made Mon Nov 14 11:40:25 2022 -12 gpgv: using RSA key 6E7434F5897D43B17FCD57B753D5BC64B52378A2 gpgv: issuer "swt@techie.net" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./cadical_1.5.3-2.dsc: no acceptable signature found dpkg-source: info: extracting cadical in cadical-1.5.3 dpkg-source: info: unpacking cadical_1.5.3.orig.tar.gz dpkg-source: info: unpacking cadical_1.5.3-2.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/3894239/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' 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=16' DISTRIBUTION='bookworm' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='64b0617e2ed241b8a7ee420e8622dbe6' 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='3894239' 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.M88YArD7/pbuilderrc_mpFR --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.M88YArD7/b1 --logfile b1/build.log cadical_1.5.3-2.dsc' SUDO_GID='111' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://85.184.249.68:3128' I: uname -a Linux ionos15-amd64 6.1.0-0.deb11.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.15-1~bpo11+1 (2023-03-16) x86_64 GNU/Linux I: ls -l /bin total 5632 -rwxr-xr-x 1 root root 1265648 Apr 23 2023 bash -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp -rwxr-xr-x 1 root root 125640 Jan 5 2023 dash -rwxr-xr-x 1 root root 121904 Sep 20 2022 date -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd -rwxr-xr-x 1 root root 102200 Sep 20 2022 df -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir -rwxr-xr-x 1 root root 88656 Mar 22 2023 dmesg lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo -rwxr-xr-x 1 root root 41 Jan 24 2023 egrep -rwxr-xr-x 1 root root 35664 Sep 20 2022 false -rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep -rwxr-xr-x 1 root root 85600 Mar 22 2023 findmnt -rwsr-xr-x 1 root root 35128 Mar 22 2023 fusermount -rwxr-xr-x 1 root root 203152 Jan 24 2023 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip -rwxr-xr-x 1 root root 22680 Dec 19 2022 hostname -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln -rwxr-xr-x 1 root root 53024 Mar 23 2023 login -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls -rwxr-xr-x 1 root root 207168 Mar 22 2023 lsblk -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp -rwxr-xr-x 1 root root 59712 Mar 22 2023 more -rwsr-xr-x 1 root root 59704 Mar 22 2023 mount -rwxr-xr-x 1 root root 18744 Mar 22 2023 mountpoint -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir -rwxr-xr-x 1 root root 27560 Nov 2 2022 run-parts -rwxr-xr-x 1 root root 126424 Jan 5 2023 sed lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty -rwsr-xr-x 1 root root 72000 Mar 22 2023 su -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync -rwxr-xr-x 1 root root 531984 Apr 6 2023 tar -rwxr-xr-x 1 root root 14520 Nov 2 2022 tempfile -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch -rwxr-xr-x 1 root root 35664 Sep 20 2022 true -rwxr-xr-x 1 root root 14568 Mar 22 2023 ulockmgr_server -rwsr-xr-x 1 root root 35128 Mar 22 2023 umount -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir -rwxr-xr-x 1 root root 72024 Mar 22 2023 wdctl lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/3894239/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 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 ... 19596 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} libelf1{a} libfile-stripnondeterminism-perl{a} libicu72{a} liblocale-gettext-perl{a} libmagic-mgc{a} libmagic1{a} libpipeline1{a} libsub-override-perl{a} libtool{a} libuchardet0{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 18.9 MB of archives. After unpacking 73.0 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main amd64 liblocale-gettext-perl amd64 1.07-5 [15.4 kB] Get: 2 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 3 http://deb.debian.org/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get: 4 http://deb.debian.org/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get: 5 http://deb.debian.org/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get: 6 http://deb.debian.org/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get: 7 http://deb.debian.org/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get: 8 http://deb.debian.org/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get: 9 http://deb.debian.org/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+b1 [86.6 kB] Get: 10 http://deb.debian.org/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get: 11 http://deb.debian.org/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get: 12 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get: 13 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get: 14 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get: 16 http://deb.debian.org/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get: 17 http://deb.debian.org/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 18 http://deb.debian.org/debian bookworm/main amd64 libtool all 2.4.7-5 [517 kB] Get: 19 http://deb.debian.org/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 20 http://deb.debian.org/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 21 http://deb.debian.org/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get: 22 http://deb.debian.org/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 23 http://deb.debian.org/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 24 http://deb.debian.org/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get: 25 http://deb.debian.org/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get: 26 http://deb.debian.org/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get: 27 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.2 [687 kB] Get: 28 http://deb.debian.org/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get: 29 http://deb.debian.org/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 30 http://deb.debian.org/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get: 32 http://deb.debian.org/debian bookworm/main amd64 help2man amd64 1.49.3 [198 kB] Fetched 18.9 MB in 0s (80.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed 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 ... 19596 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-5_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-5) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../06-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+b1_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../09-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-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.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... 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 libsub-override-perl. Preparing to unpack .../20-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../23-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../25-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../26-libxml2_2.9.14+dfsg-1.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package gettext. Preparing to unpack .../27-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... 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.11.4_all.deb ... Unpacking debhelper (13.11.4) ... 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.7-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up autotools-dev (20220109.1) ... Setting up autopoint (0.21-12) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.2) ... Setting up liblocale-gettext-perl (1.07-5) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up gettext (0.21-12) ... Setting up libtool (2.4.7-5) ... 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.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.11.4) ... Processing triggers for libc-bin (2.36-9) ... 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/cadical-1.5.3/ && 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.5.3-2_source.changes dpkg-buildpackage: info: source package cadical dpkg-buildpackage: info: source version 1.5.3-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Scott Talbert 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/cadical-1.5.3' ./configure configure: making default 'build' directory configure: building in default '/build/cadical-1.5.3/build' configure: root directory '/build/cadical-1.5.3' configure: source directory '/build/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/build/cadical-1.5.3/build/makefile' configure: linking '/build/cadical-1.5.3/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' make[1]: Leaving directory '/build/cadical-1.5.3' dh_auto_build make -j16 make[1]: Entering directory '/build/cadical-1.5.3' make -C "/build/cadical-1.5.3/build" make[2]: Entering directory '/build/cadical-1.5.3/build' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/analyze.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/arena.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/assume.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/averages.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backtrack.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/backward.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/bins.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/block.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ccadical.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/checker.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/clause.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/collect.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/compact.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/condition.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/config.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/constrain.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/contract.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cover.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decide.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/decompose.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/deduplicate.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/elim.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ema.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/extend.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/external.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/file.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/flags.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/format.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/gates.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/instantiate.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/internal.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ipasir.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/limit.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/logging.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lookahead.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/lucky.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/message.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/minimize.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/occs.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/options.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/parse.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/phases.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/probe.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/profile.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/proof.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/propagate.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/queue.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/random.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reap.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/reduce.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/rephase.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/report.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/resources.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restart.cpp In file included from ../src/lookahead.cpp:1: In constructor 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)', inlined from 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)' at ../src/lookahead.cpp:394:12: ../src/internal.hpp:105:8: warning: 'cubes.CaDiCaL::CubesWithStatus::status' may be used uninitialized [-Wmaybe-uninitialized] 105 | struct CubesWithStatus { | ^~~~~~~~~~~~~~~ ../src/lookahead.cpp: In member function 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)': ../src/lookahead.cpp:392:21: note: 'cubes' declared here 392 | CubesWithStatus cubes; | ^~~~~ g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/restore.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/score.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/shrink.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/signal.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solution.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/solver.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/stats.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/subsume.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/terminal.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/ternary.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/tracer.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/transred.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/util.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/vivify.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/walk.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/watch.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/cadical.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/mobical.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp ../src/solver.cpp: In destructor 'CaDiCaL::Solver::~Solver()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:350:3: note: in expansion of macro 'TRACE' 350 | TRACE ("reset"); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::vars()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:398:3: note: in expansion of macro 'TRACE' 398 | TRACE ("vars"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::reserve(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:406:3: note: in expansion of macro 'TRACE' 406 | TRACE ("reserve", min_max_var); | ^~~~~ ../src/solver.cpp: In member function 'bool CaDiCaL::Solver::set(const char*, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:453:3: note: in expansion of macro 'TRACE' 453 | TRACE ("set", arg, val); | ^~~~~ ../src/solver.cpp: In member function 'bool CaDiCaL::Solver::limit(const char*, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:493:3: note: in expansion of macro 'TRACE' 493 | TRACE ("limit", arg, val); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::add(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:528:3: note: in expansion of macro 'TRACE' 528 | TRACE ("add", lit); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::constrain(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:540:3: note: in expansion of macro 'TRACE' 540 | TRACE ("constrain", lit); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::assume(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:552:3: note: in expansion of macro 'TRACE' 552 | TRACE ("assume", lit); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::lookahead()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:564:3: note: in expansion of macro 'TRACE' 564 | TRACE ("lookahead"); | ^~~~~ ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:561:3: note: in expansion of macro 'TRACE' 561 | TRACE ("lookahead"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::reset_assumptions()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:581:3: note: in expansion of macro 'TRACE' 581 | TRACE ("reset_assumptions"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::reset_constraint()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:589:3: note: in expansion of macro 'TRACE' 589 | TRACE ("reset_constraint"); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::solve()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:630:3: note: in expansion of macro 'TRACE' 630 | TRACE ("solve"); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::simplify(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:638:3: note: in expansion of macro 'TRACE' 638 | TRACE ("simplify", rounds); | ^~~~~ ../src/solver.cpp: In member function 'bool CaDiCaL::Solver::failed(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:663:3: note: in expansion of macro 'TRACE' 663 | TRACE ("failed", lit); | ^~~~~ ../src/solver.cpp: In member function 'bool CaDiCaL::Solver::constraint_failed()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:674:3: note: in expansion of macro 'TRACE' 674 | TRACE ("constraint_failed"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::phase(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:693:3: note: in expansion of macro 'TRACE' 693 | TRACE ("phase", lit); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::unphase(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:701:3: note: in expansion of macro 'TRACE' 701 | TRACE ("unphase", lit); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::active() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:776:3: note: in expansion of macro 'TRACE' 776 | TRACE ("active"); | ^~~~~ ../src/solver.cpp: In member function 'int64_t CaDiCaL::Solver::redundant() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:784:3: note: in expansion of macro 'TRACE' 784 | TRACE ("redundant"); | ^~~~~ ../src/solver.cpp: In member function 'int64_t CaDiCaL::Solver::irredundant() const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:792:3: note: in expansion of macro 'TRACE' 792 | TRACE ("irredundant"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::freeze(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:802:3: note: in expansion of macro 'TRACE' 802 | TRACE ("freeze", lit); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::statistics()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:947:3: note: in expansion of macro 'TRACE' 947 | TRACE ("stats"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::resources()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:955:3: note: in expansion of macro 'TRACE' 955 | TRACE ("resources"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::dump_cnf()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:1059:3: note: in expansion of macro 'TRACE' 1059 | TRACE ("dump"); | ^~~~~ ../src/solver.cpp: In constructor 'CaDiCaL::Solver::Solver()': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:339:3: note: in expansion of macro 'TRACE' 339 | TRACE ("init"); | ^~~~~ ../src/solver.cpp: In member function 'void CaDiCaL::Solver::melt(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:810:3: note: in expansion of macro 'TRACE' 810 | TRACE ("melt", lit); | ^~~~~ ../src/solver.cpp: In member function 'bool CaDiCaL::Solver::frozen(int) const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:820:3: note: in expansion of macro 'TRACE' 820 | TRACE ("frozen", lit); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::fixed(int) const': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:684:3: note: in expansion of macro 'TRACE' 684 | TRACE ("fixed", lit); | ^~~~~ ../src/solver.cpp: In member function 'int CaDiCaL::Solver::val(int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:651:3: note: in expansion of macro 'TRACE' 651 | TRACE ("val", lit); | ^~~~~ ../src/solver.cpp: In member function 'CaDiCaL::Solver::CubesWithStatus CaDiCaL::Solver::generate_cubes(int, int)': ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:572:3: note: in expansion of macro 'TRACE' 572 | TRACE ("lookahead_cubes"); | ^~~~~ ../src/solver.cpp:261:3: warning: 'nonnull' argument 'this' compared to NULL [-Wnonnull-compare] 261 | if ((this == 0)) break; \ | ^~ ../src/solver.cpp:569:3: note: in expansion of macro 'TRACE' 569 | TRACE ("lookahead_cubes"); | ^~~~~ 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[2]: Leaving directory '/build/cadical-1.5.3/build' make[1]: Leaving directory '/build/cadical-1.5.3' debian/rules execute_after_dh_auto_build make[1]: Entering directory '/build/cadical-1.5.3' help2man --version-string=1.5.3 --name="CaDiCaL Simplified Satisfiability Solver" -N -o cadical.1 build/cadical help2man --version-string=1.5.3 --name="CaDiCaL Simplified Satisfiability Solver" -N -o mobical.1 -h -h build/mobical make[1]: Leaving directory '/build/cadical-1.5.3' dh_auto_test make -j16 test "TESTSUITEFLAGS=-j16 --verbose" VERBOSE=1 make[1]: Entering directory '/build/cadical-1.5.3' make -C "/build/cadical-1.5.3/build" test make[2]: Entering directory '/build/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -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/cadical-1.5.3/build' make[3]: warning: -j1 forced in submake: resetting jobserver mode. --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- make[4]: Entering directory '/build/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/build' starting test run /build/cadical-1.5.3/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/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/build' test/trace/run.sh: found 59 traces test/trace/run.sh: running 'reg0000' ../build/mobical ../test/trace/reg0000.trace 0 # ... ok test/trace/run.sh: running 'reg0001' ../build/mobical ../test/trace/reg0001.trace 0 # ... ok test/trace/run.sh: running 'reg0002' ../build/mobical ../test/trace/reg0002.trace 0 # ... ok test/trace/run.sh: running 'reg0003' ../build/mobical ../test/trace/reg0003.trace 0 # ... ok test/trace/run.sh: running 'reg0004' ../build/mobical ../test/trace/reg0004.trace 0 # ... ok test/trace/run.sh: running 'reg0005' ../build/mobical ../test/trace/reg0005.trace 0 # ... ok test/trace/run.sh: running 'reg0006' ../build/mobical ../test/trace/reg0006.trace 0 # ... ok test/trace/run.sh: running 'reg0007' ../build/mobical ../test/trace/reg0007.trace 0 # ... ok test/trace/run.sh: running 'reg0008' ../build/mobical ../test/trace/reg0008.trace 0 # ... ok test/trace/run.sh: running 'reg0009' ../build/mobical ../test/trace/reg0009.trace 0 # ... ok test/trace/run.sh: running 'reg0010' ../build/mobical ../test/trace/reg0010.trace 0 # ... ok test/trace/run.sh: running 'reg0011' ../build/mobical ../test/trace/reg0011.trace 0 # ... ok test/trace/run.sh: running 'reg0012' ../build/mobical ../test/trace/reg0012.trace 0 # ... ok test/trace/run.sh: running 'reg0013' ../build/mobical ../test/trace/reg0013.trace 0 # ... ok test/trace/run.sh: running 'reg0014' ../build/mobical ../test/trace/reg0014.trace 0 # ... ok test/trace/run.sh: running 'reg0015' ../build/mobical ../test/trace/reg0015.trace 0 # ... ok test/trace/run.sh: running 'reg0016' ../build/mobical ../test/trace/reg0016.trace 0 # ... ok test/trace/run.sh: running 'reg0017' ../build/mobical ../test/trace/reg0017.trace 0 # ... ok test/trace/run.sh: running 'reg0018' ../build/mobical ../test/trace/reg0018.trace 0 # ... ok test/trace/run.sh: running 'reg0019' ../build/mobical ../test/trace/reg0019.trace 0 # ... ok test/trace/run.sh: running 'reg0020' ../build/mobical ../test/trace/reg0020.trace 0 # ... ok test/trace/run.sh: running 'reg0021' ../build/mobical ../test/trace/reg0021.trace 0 # ... ok test/trace/run.sh: running 'reg0022' ../build/mobical ../test/trace/reg0022.trace 0 # ... ok test/trace/run.sh: running 'reg0023' ../build/mobical ../test/trace/reg0023.trace 0 # ... ok test/trace/run.sh: running 'reg0024' ../build/mobical ../test/trace/reg0024.trace 0 # ... ok test/trace/run.sh: running 'reg0025' ../build/mobical ../test/trace/reg0025.trace 0 # ... ok test/trace/run.sh: running 'reg0026' ../build/mobical ../test/trace/reg0026.trace 0 # ... ok test/trace/run.sh: running 'reg0027' ../build/mobical ../test/trace/reg0027.trace 0 # ... ok test/trace/run.sh: running 'reg0028' ../build/mobical ../test/trace/reg0028.trace 0 # ... ok test/trace/run.sh: running 'reg0029' ../build/mobical ../test/trace/reg0029.trace 0 # ... ok test/trace/run.sh: running 'reg0030' ../build/mobical ../test/trace/reg0030.trace 0 # ... ok test/trace/run.sh: running 'reg0031' ../build/mobical ../test/trace/reg0031.trace 0 # ... ok test/trace/run.sh: running 'reg0032' ../build/mobical ../test/trace/reg0032.trace 0 # ... ok test/trace/run.sh: running 'reg0033' ../build/mobical ../test/trace/reg0033.trace 0 # ... ok test/trace/run.sh: running 'reg0034' ../build/mobical ../test/trace/reg0034.trace 0 # ... ok test/trace/run.sh: running 'reg0035' ../build/mobical ../test/trace/reg0035.trace 0 # ... ok test/trace/run.sh: running 'reg0036' ../build/mobical ../test/trace/reg0036.trace 0 # ... ok test/trace/run.sh: running 'reg0037' ../build/mobical ../test/trace/reg0037.trace 0 # ... ok test/trace/run.sh: running 'reg0038' ../build/mobical ../test/trace/reg0038.trace 0 # ... ok test/trace/run.sh: running 'reg0039' ../build/mobical ../test/trace/reg0039.trace 0 # ... ok test/trace/run.sh: running 'reg0040' ../build/mobical ../test/trace/reg0040.trace 0 # ... ok test/trace/run.sh: running 'reg0041' ../build/mobical ../test/trace/reg0041.trace 0 # ... ok test/trace/run.sh: running 'reg0042' ../build/mobical ../test/trace/reg0042.trace 0 # ... ok test/trace/run.sh: running 'reg0043' ../build/mobical ../test/trace/reg0043.trace 0 # ... ok test/trace/run.sh: running 'reg0044' ../build/mobical ../test/trace/reg0044.trace 0 # ... ok test/trace/run.sh: running 'reg0045' ../build/mobical ../test/trace/reg0045.trace 0 # ... ok test/trace/run.sh: running 'reg0046' ../build/mobical ../test/trace/reg0046.trace 0 # ... ok test/trace/run.sh: running 'reg0047' ../build/mobical ../test/trace/reg0047.trace 0 # ... ok test/trace/run.sh: running 'reg0048' ../build/mobical ../test/trace/reg0048.trace 0 # ... ok test/trace/run.sh: running 'reg0049' ../build/mobical ../test/trace/reg0049.trace 0 # ... ok test/trace/run.sh: running 'reg0050' ../build/mobical ../test/trace/reg0050.trace 0 # ... ok test/trace/run.sh: running 'reg0051' ../build/mobical ../test/trace/reg0051.trace 0 # ... ok test/trace/run.sh: running 'reg0052' ../build/mobical ../test/trace/reg0052.trace 0 # ... ok test/trace/run.sh: running 'reg0053' ../build/mobical ../test/trace/reg0053.trace 0 # ... ok test/trace/run.sh: running 'reg0054' ../build/mobical ../test/trace/reg0054.trace 0 # ... ok test/trace/run.sh: running 'reg0055' ../build/mobical ../test/trace/reg0055.trace 0 # ... ok test/trace/run.sh: running 'reg0056' ../build/mobical ../test/trace/reg0056.trace 0 # ... ok test/trace/run.sh: running 'reg0057' ../build/mobical ../test/trace/reg0057.trace 0 # ... ok test/trace/run.sh: running 'reg0058' ../build/mobical ../test/trace/reg0058.trace 0 # ... ok test/trace/run.sh: executed 59 traces, 59 ok, 0 failed --------------------------------------------------------- API testing in '../build' --------------------------------------------------------- make[4]: Entering directory '/build/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/build' test/api/run.sh: using CXX=g++ test/api/run.sh: using CXXFLAGS=-g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG test/api/run.sh: running API test 'newdelete' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-newdelete ../build/test-api-newdelete.o -L../build -lcadical ../build/test-api-newdelete # 0 ... ok (zero exit code) test/api/run.sh: running API test 'unit' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-unit.o -c ../test/api/unit.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-unit ../build/test-api-unit.o -L../build -lcadical ../build/test-api-unit # 0 ... ok (zero exit code) test/api/run.sh: running API test 'morenmore' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-morenmore ../build/test-api-morenmore.o -L../build -lcadical ../build/test-api-morenmore # 0 ... ok (zero exit code) test/api/run.sh: running API test 'ctest' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-ctest ../build/test-api-ctest.o -L../build -lcadical ../build/test-api-ctest # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example.o -c ../test/api/example.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-example ../build/test-api-example.o -L../build -lcadical ../build/test-api-example # 0 ... ok (zero exit code) test/api/run.sh: running API test 'terminate' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-terminate ../build/test-api-terminate.o -L../build -lcadical ../build/test-api-terminate # 0 ... ok (zero exit code) test/api/run.sh: running API test 'learn' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-learn.o -c ../test/api/learn.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-learn ../build/test-api-learn.o -L../build -lcadical ../build/test-api-learn # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cfreeze' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -L../build -lcadical ../build/test-api-cfreeze # 0 ... ok (zero exit code) test/api/run.sh: running API test 'traverse' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-traverse ../build/test-api-traverse.o -L../build -lcadical ../build/test-api-traverse # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cipasir' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build -lcadical ../build/test-api-cipasir # 0 ... ok (zero exit code) test/api/run.sh: running API test 'apitrace' g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -o ../build/test-api-apitrace ../build/test-api-apitrace.o -L../build -lcadical ../build/test-api-apitrace # 0 ... ok (zero exit code) test/api/run.sh: API testing results: 11 ok, 0 failed --------------------------------------------------------- CNF testing in '../build' --------------------------------------------------------- make[4]: Entering directory '/build/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/build' cc -O -o ../build/precochk ../test/cnf/precochk.c -lz 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/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/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/cadical-1.5.3/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/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -c ../src/version.cpp 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 file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lookahead.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical g++ -g -O2 -ffile-prefix-map=/build/cadical-1.5.3=. -fstack-protector-strong -Wformat -Werror=format-security -DNBUILD -fPIC -Wall -Wextra -O3 -DNDEBUG -I../build -o mobical mobical.o -Wl,-z,relro -Wl,-z,now -L. -lcadical make[4]: Leaving directory '/build/cadical-1.5.3/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-2021 A. Biere, M. Fleury, N. Froleyks m m Version sc2021 m g++-12.2.0 m Nov 14 2022 01:04:19 m m not using any time limit due to '--do-not-fork' m not using any space limit due to '--do-not-fork' m randomly generating 1000 traces m m start seed 42 m m count seed/buggy/reducing/reduced calls vars clauses m ---------------------------------------------------------------------------- m 1 00000000000000000042 2456 31 438 3 m 2 10481999410520546993 2113 42 366 4 m 3 04159066171780167020 2120 44 373 2 m 4 07615522811268512075 1603 28 286 2 m 5 11628791489956661374 2181 33 413 4 m 6 12546512532490043765 318 17 59 1 m 7 00483838003013946848 416 21 85 1 m 8 00401415969518064047 1602 34 294 3 m 9 02812299150962093586 707 29 122 2 m 10 08743034423534012537 1050 34 204 2 m 11 00457466634992928148 2347 51 419 4 m 12 06580914716785944659 1958 52 368 3 m 13 09756468244095911142 2948 42 528 4 m 14 16979679744849786813 373 16 55 1 m 15 06023180652035281032 3797 78 708 4 m 16 14681447096454308151 1726 56 310 3 m 17 07210325037408772346 1289 39 237 3 m 18 14542152906443789121 1179 57 234 2 m 19 01239519823916966588 1417 56 250 3 m 20 07779601134568923227 1290 39 237 3 m 21 13050776483079329358 1415 56 250 3 m 22 06327454482708635397 1594 34 294 3 m 23 07923181361769377840 1483 30 268 1 m 24 07605993102115670463 601 37 110 1 m 25 06356963020929956066 1951 52 368 3 m 26 07176860805218918153 1587 34 294 3 m 27 09682535764888235236 1486 38 302 3 m 28 09837594129879007587 1967 48 364 4 m 29 08939747846471474358 1948 52 368 3 m 30 07663859345433597773 493 23 89 1 m 31 11397048638288055512 661 27 110 1 m 32 17217382069498686279 2621 42 479 4 m 33 13075462938690082250 2238 50 397 2 m 34 07617503730318953425 957 25 170 2 m 35 11886887965852435468 1272 36 254 3 m 36 00489625813388766059 494 23 89 1 m 37 11656258743421515806 1326 61 225 2 m 38 03323080905636200597 2128 42 406 3 m 39 06582362000670180992 732 24 144 2 m 40 17213442580248323535 3075 52 560 4 m 41 11964787556474984370 1046 28 187 2 m 42 02809635275842615705 605 13 109 1 m 43 17762834671622277172 1407 56 250 3 m 44 15926384231848443507 2107 44 373 2 m 45 17281153376997394566 1855 40 304 3 m 46 07177225625430342365 1120 26 197 2 m 47 15411827044505713960 358 16 55 1 m 48 07261328014321736023 258 14 55 1 m 49 00411127563640200858 1946 52 368 3 m 50 04021369823019239521 1564 31 278 1 m 51 02263208613658073436 483 19 76 1 m 52 09225225935819643515 695 29 119 1 m 53 08347090332326178286 1074 32 203 2 m 54 02868458037254596133 1667 34 299 2 m 55 09408564937111245008 642 24 127 2 m 56 00613587387335812575 1116 26 197 2 m 57 08004133899158178434 2237 58 449 4 m 58 05847059326881044521 1166 21 198 1 m 59 13856064291810187140 1151 40 209 2 m 60 00875668417553899395 1133 35 212 3 m 61 04897482736489597014 1942 52 368 3 m 62 08262633990230614637 1783 52 330 4 m 63 00029580775046259064 531 27 110 1 m 64 15761398353561119591 2423 37 456 3 m 65 13938075786164501354 2388 58 423 4 m 66 07689279176753629425 3172 48 589 4 m 67 03352980940366930604 2135 62 404 4 m 68 18205146010301476235 2133 62 404 4 m 69 17304352323705501630 1296 34 229 3 m 70 04817533670189387701 585 24 97 2 m 71 03815896001190580000 696 33 128 1 m 72 15927738363741882863 1276 39 237 3 m 73 16067508697785897298 2118 63 382 4 m 74 00418072880156719801 650 28 115 1 m 75 16214909930319878868 703 36 131 2 m 76 07371249961700484243 1449 42 278 3 m 77 06175180461606149158 1736 41 296 3 m 78 01815321330950786557 1938 52 368 3 m 79 12125495098617575880 679 32 123 1 m 80 06743829002002030967 2226 50 397 2 m 81 17945991074591943738 1836 67 327 3 m 82 09651936124194262401 2308 44 429 4 m 83 08255378098965307388 769 28 127 2 m 84 11005688211693495451 1706 56 310 3 m 85 06572446884492514702 1386 56 250 3 m 86 13639309189295979845 2303 44 429 4 m 87 11024112131243082096 1704 56 310 3 m 88 09342037498553029119 2301 44 429 4 m 89 16368125288689822754 606 25 89 1 m 90 13001482546647458121 477 23 85 1 m 91 11824184077345051172 1290 34 229 3 m 92 16616369769377484195 1154 31 204 2 m 93 12133388082411373558 1154 31 204 2 m 94 01899707636773928333 1175 40 212 2 m 95 16650281295738291736 586 30 119 1 m 96 00233931789740751751 542 34 93 1 m 97 02170390895065297162 482 21 76 1 m 98 15773825747283006993 1652 34 299 2 m 99 06122450352817213772 1651 34 299 2 m 100 13486101257148678059 2385 58 423 4 m 101 04293895218951161694 2251 88 429 4 m 102 00069684928789835477 538 34 93 1 m 103 15405433831470835648 413 17 68 1 m 104 16093508028850978319 1383 35 234 2 m 105 06771306663650122482 1269 39 237 3 m 106 10589020804013034457 480 21 76 1 m 107 05664308454024953204 630 24 98 1 m 108 09041749647149816499 762 28 127 2 m 109 07776291911875936198 675 29 119 1 m 110 11947464930680729885 1947 45 378 4 m 111 00877411616330532456 1265 39 237 3 m 112 16911877353487333783 884 31 170 2 m 113 10717700546857880026 1254 38 250 3 m 114 06149270096138117793 824 35 157 2 m 115 12324359776271922844 1112 35 212 3 m 116 12192916395579817659 1486 29 269 2 m 117 13863075520990825774 3548 48 647 4 m 118 17625312411952014437 1159 40 212 2 m 119 07573113630426448400 1261 39 237 3 m 120 17138096969591000607 2087 44 373 2 m 121 14912262290573876674 2496 57 428 4 m 122 14518968876424411753 1272 31 247 2 m 123 08397152793400532164 3154 40 589 4 m 124 12483862340993682371 1110 35 212 3 m 125 02130009668967485334 533 34 93 1 m 126 02775542104504592557 678 33 128 1 m 127 11842856702219729592 2737 29 506 2 m 128 04472346036184030119 1094 26 197 2 m 129 17228367033255016106 3957 44 704 4 m 130 06294741513602364209 622 29 119 1 m 131 09285327342599802860 1182 19 219 3 m 132 13029345845477532107 1260 39 237 3 m 133 10037548897683990270 459 19 76 1 m 134 03323219670661897717 730 32 123 1 m 135 11458328475317620832 2080 44 373 2 m 136 16231644733488218671 677 30 115 1 m 137 12160601096730244242 1432 37 292 4 m 138 00523197234807106809 594 25 89 1 m 139 14326570901483663380 405 20 81 1 m 140 00690733890785075411 505 27 102 2 m 141 01294392888667222886 1086 26 197 2 m 142 08114420497813808189 1560 33 297 1 m 143 01729639283577594632 1825 33 347 4 m 144 04189723101239091639 1529 31 278 1 m 145 18201275787021301626 891 40 166 2 m 146 09640743488068339649 498 20 81 1 m 147 16998694110353612092 2215 35 433 3 m 148 09908170196674750683 633 27 102 1 m 149 13632640575967548622 673 28 115 1 m 150 03938511730377857925 455 19 76 1 m 151 07065002561838764720 1320 32 249 2 m 152 13680711731732863551 1482 34 293 4 m 153 10905850339221708642 2069 44 373 2 m 154 07448342016360096649 1657 49 319 3 m 155 00361629384802318180 2314 34 430 4 m 156 12342337493313247715 1315 32 249 2 m 157 11184700834796759862 1080 26 197 2 m 158 06523810375948772301 1084 26 197 2 m 159 16126346728818638680 2727 29 506 2 m 160 14728306399705992135 2490 57 428 4 m 161 11120242968559668298 1895 57 353 4 m 162 09750529190005710929 2127 47 387 4 m 163 09555511104434626188 657 29 119 1 m 164 13615181226976187371 914 30 169 2 m 165 02441982204537542302 624 27 102 1 m 166 17392497306475879701 628 27 102 1 m 167 05420194561786562816 2696 58 497 3 m 168 07127782792074876495 2077 65 344 4 m 169 02053509909493866034 840 36 174 2 m 170 11649536139633417753 3017 43 549 4 m 171 10300411145294836404 3140 48 589 4 m 172 06000195208730277619 1381 35 267 2 m 173 00703568177370756870 1814 67 327 3 m 174 05778793807207458653 1109 33 221 2 m 175 16526457314015661992 2360 58 423 4 m 176 09210334692063369687 1250 38 221 3 m 177 18126007916381500698 1105 37 243 2 m 178 16343421117585947873 1104 37 243 2 m 179 15540127957175735260 666 30 115 1 m 180 09486158505002836731 1557 48 276 3 m 181 00513239746065706094 1270 34 229 3 m 182 09892245887186723493 2321 66 422 3 m 183 17441131798924014416 1900 52 368 3 m 184 07498816518273480287 1286 40 246 2 m 185 04341480500249800962 1517 30 287 1 m 186 00265394662233906345 2231 52 408 4 m 187 01188043304384848388 1354 35 234 2 m 188 17195938920918562819 1140 40 212 2 m 189 14899155725453088470 2627 37 465 3 m 190 16379472561226804973 1142 40 212 2 m 191 08944909847775253496 2632 36 484 4 m 192 10861871109525375975 1140 40 212 2 m 193 09434364036720931306 1487 27 258 1 m 194 06924813914611113329 338 20 68 1 m 195 08518265403674557740 455 21 76 1 m 196 16492840416900765195 1802 52 301 3 m 197 09211635854225970750 1874 49 322 4 m 198 05965597243453877301 909 30 169 2 m 199 17148095437664457120 1201 41 216 3 m 200 00172326438289767023 1358 56 250 3 m 201 09816716523784640466 492 20 81 1 m 202 02010228211376119609 2629 36 484 4 m 203 02184953223016285524 607 29 119 1 m 204 10754695844886224147 1892 52 368 3 m 205 16011593758704929446 487 20 81 1 m 206 09885693374531877501 532 27 106 1 m 207 16826867884145265736 507 34 93 1 m 208 13205064033750524407 507 34 93 1 m 209 15257124007547011770 2112 48 361 3 m 210 10763411626403480065 474 21 85 1 m 211 18177217813645302396 1138 40 212 2 m 212 12041019055572430107 2038 63 361 4 m 213 07210785632450204686 2123 42 406 3 m 214 01103626573364476357 487 20 81 1 m 215 13515355195867751408 2311 52 395 4 m 216 08424746125653058175 378 17 59 1 m 217 14241182551881519778 2050 44 373 2 m 218 16352058108252562889 1979 36 348 3 m 219 09983590576746945700 692 29 122 2 m 220 01812860229320255011 1511 50 268 3 m 221 07656600678528553590 2749 40 490 4 m 222 06795671642269338125 1969 33 343 2 m 223 02727427893689874584 2310 52 395 4 m 224 15981513045598280711 1474 38 302 3 m 225 01287400967384262538 2591 53 482 4 m 226 12059897117076204177 604 27 102 1 m 227 02424060895735409612 305 17 68 1 m 228 01337667655468165163 608 27 102 1 m 229 01901673957405910494 1831 45 344 4 m 230 04702870090058206037 974 39 209 2 m 231 13405528343920126528 973 39 209 2 m 232 03911925110615223951 2099 38 390 3 m 233 13899052817039499634 3066 52 560 4 m 234 00391051201640591449 3621 50 654 3 m 235 17258147278181951476 607 27 102 1 m 236 17526122982654497587 2189 35 433 3 m 237 09573717476173246022 473 20 81 1 m 238 12669398212773846429 2060 33 383 4 m 239 14979951946874951912 2586 53 482 4 m 240 13901391829106555415 242 14 46 1 m 241 16987080409000763482 552 28 98 1 m 242 13169669126627104545 473 20 81 1 m 243 07544753756051960092 2944 37 573 4 m 244 04046472552733034299 1744 43 311 2 m 245 17766468815132183470 2581 45 457 4 m 246 18404723215657083109 1113 39 195 2 m 247 12629072806586868880 3202 54 581 3 m 248 15550580325818965663 2465 54 452 3 m 249 13286359571106808898 239 14 46 1 m 250 04882690510527315689 1857 50 349 3 m 251 11660572782265739076 637 33 128 1 m 252 17008931031139001411 2309 56 413 4 m 253 08311152794380312086 2220 41 398 4 m 254 17773686443485836589 694 32 123 1 m 255 12360896170341510456 1224 38 221 3 m 256 15542372758944168999 2406 77 433 4 m 257 10831322904156925226 1672 45 331 4 m 258 00440268218778224561 1108 39 195 2 m 259 17401726562417781356 1853 50 349 3 m 260 05273909571686664779 552 22 89 1 m 261 10193986425043813758 1227 38 221 3 m 262 04440172267897092725 2584 53 482 4 m 263 11753806196016648928 2467 54 452 3 m 264 13572046839942574767 2106 33 425 4 m 265 03498100846455192338 1107 39 195 2 m 266 03260767152019935609 2882 35 538 4 m 267 02077424066909149844 2216 41 385 4 m 268 08393295795872405843 2881 35 538 4 m 269 16053797637399781862 2402 77 433 4 m 270 11718431673001742525 1733 37 322 4 m 271 16778421388564477320 456 21 85 1 m 272 03119118403159515703 2400 77 433 4 m 273 17099065303552200186 1737 37 322 4 m 274 10732886250268949569 1012 40 196 2 m 275 01555159408199767996 443 22 89 1 m 276 06851086799834870107 2210 41 398 4 m 277 11294210252657693518 1054 43 195 2 m 278 01213867403592013829 2867 66 484 3 m 279 07290490803988346160 2575 53 482 4 m 280 12982147177449368255 951 44 183 2 m 281 01395915130150471138 3505 78 649 4 m 282 05754058367893432329 781 22 136 2 m 283 04731413745796366820 1589 18 279 3 m 284 06489233458592264803 2579 53 482 4 m 285 16045821697793522102 1609 27 277 2 m 286 05950813407571521613 1586 18 279 3 m 287 05507327031486165464 513 22 81 1 m 288 07717396058822667335 2916 42 528 4 m 289 00325960964800135882 529 28 89 1 m 290 14056785394920158417 627 31 119 1 m 291 07713843442566936844 2460 49 440 3 m 292 08856488452577426539 295 16 55 1 m 293 16164209891154130206 2024 34 376 2 m 294 05940316018241599893 1775 40 304 3 m 295 11775180061699263360 2121 66 364 4 m 296 09297140628674037455 2458 49 440 3 m 297 14433905238913131698 626 31 119 1 m 298 14920133431906615961 1775 40 304 3 m 299 11398243443253648692 630 30 115 1 m 300 09639579429530267507 1765 52 301 3 m 301 08465375286526223750 2120 66 364 4 m 302 11870690620986987485 2845 75 504 4 m 303 11189107351023395368 805 32 128 2 m 304 13997615466234075735 1859 71 310 3 m 305 03951275743764056986 1173 31 216 3 m 306 10172596960261796193 381 18 51 1 m 307 06421904004554591836 756 31 128 1 m 308 02962891126893587323 1772 40 304 3 m 309 04501672290941283054 276 18 51 1 m 310 08484715928092614437 1093 22 208 1 m 311 01364123986032350672 2120 55 401 3 m 312 00058890667001431775 1725 43 311 2 m 313 09992193322290124674 1596 27 277 2 m 314 13340753196536635689 642 30 123 1 m 315 11006010600806591620 2343 45 413 4 m 316 16354885722949898371 1189 31 212 2 m 317 14809139535601640790 802 32 128 2 m 318 07763795866766949229 1857 71 310 3 m 319 15320734201077040760 1100 35 212 3 m 320 01413977497658600551 1341 31 267 3 m 321 13208190335320549482 2449 49 440 3 m 322 02259387297670853105 2660 51 475 3 m 323 04166493914770839468 800 32 128 2 m 324 13308558158427061899 2661 51 475 3 m 325 16571740635498886334 2314 58 423 4 m 326 12123914407594821813 2209 41 385 4 m 327 13857651492236416032 514 28 89 1 m 328 02828025472403483375 2112 66 364 4 m 329 13915910871718436434 1167 31 216 3 m 330 16483696557967770553 2138 35 399 3 m 331 00364197591800836052 634 30 123 1 m 332 10100163194550244755 1598 27 277 2 m 333 12270227801361971494 426 22 89 1 m 334 10268860242598930173 1834 50 349 3 m 335 04742898378585038536 1441 42 259 3 m 336 16837876037361820279 791 32 128 2 m 337 07979454519230323002 1443 27 258 1 m 338 15410445019128166017 790 32 128 2 m 339 14894565406215066876 2219 39 416 4 m 340 18133003966742295963 1160 23 198 1 m 341 02897643723418964622 790 32 128 2 m 342 12877448876675577413 1503 39 280 3 m 343 02311601360216671856 2332 45 413 4 m 344 17153412434541900543 1964 38 362 3 m 345 10081330428039018786 1963 38 362 3 m 346 02770179469701638729 635 28 106 1 m 347 09307356905795118884 2266 39 426 2 m 348 01245884922202324643 470 18 68 1 m 349 07808943530237862134 2174 40 399 3 m 350 17101929291546941069 614 27 110 1 m 351 12247288690997340952 1564 18 279 3 m 352 17702072877118782599 1123 31 204 2 m 353 01548222656797924874 426 21 85 1 m 354 06076854615552655121 2372 77 433 4 m 355 05064349019354777164 1005 42 191 2 m 356 12961854717105311915 1839 71 310 3 m 357 15258407978868720734 426 21 85 1 m 358 14841495248492734421 1844 71 310 3 m 359 15917808064916794560 1844 71 310 3 m 360 15700948635312660239 3075 25 550 4 m 361 04412103800424982514 576 25 102 1 m 362 14523438753130992857 1588 27 277 2 m 363 04266744201879261812 2648 51 475 3 m 364 04095697296724118451 1055 21 198 1 m 365 00571498839471299782 579 25 102 1 m 366 01970768821425588765 1074 39 195 2 m 367 08673119082506906472 1462 42 271 3 m 368 15130756376379718295 654 27 102 1 m 369 10679122557634180826 453 34 93 1 m 370 02664529359512374177 1151 23 198 1 m 371 16784934481070582684 2177 41 398 4 m 372 14411301648282505147 385 15 59 1 m 373 08180516286252927534 2176 41 398 4 m 374 18128808169380666725 1150 23 198 1 m 375 11298149234245633808 787 32 128 2 m 376 09575711951397957407 2649 58 508 4 m 377 00871275113008769730 1920 50 358 3 m 378 17209496658760680297 1750 40 304 3 m 379 11392032647653814724 3730 52 649 4 m 380 02973272040054471875 2822 75 504 4 m 381 13479821951341030550 1632 42 284 3 m 382 05982124497318871469 2769 37 523 4 m 383 15540257636167851960 1504 52 276 2 m 384 04737303152563281063 2187 53 407 4 m 385 06487979972652999594 1914 38 347 2 m 386 06222142968496364593 595 20 123 2 m 387 08244335732384285932 1144 31 216 3 m 388 14054296628372157131 576 25 102 1 m 389 15661590346140984318 599 27 110 1 m 390 13090645919605741301 2323 45 413 4 m 391 18175704732656948576 2315 45 413 4 m 392 12871308939040138031 2181 37 405 3 m 393 02396302902472278418 3478 78 649 4 m 394 05185560467615921657 1237 41 246 3 m 395 01120478382511523092 1390 46 225 2 m 396 10675914705752150483 2320 45 413 4 m 397 09148413518607290470 2899 44 531 4 m 398 10092627596983598397 2115 28 404 4 m 399 01841216903953008648 623 28 106 1 m 400 13857706393918251703 2479 44 471 4 m 401 01658150534469739642 1741 52 301 3 m 402 15301607073539731649 1139 31 216 3 m 403 15326702669938774588 2565 47 451 4 m 404 11302170231005034971 444 18 72 1 m 405 17255085117207925198 568 25 102 1 m 406 03884010590393177221 1144 23 198 1 m 407 14013982264637102000 2764 37 523 4 m 408 12140714160051682111 2763 37 523 4 m 409 03779635710786497634 1551 18 279 3 m 410 02249125386617891977 1142 31 216 3 m 411 11098777074712726628 2169 41 374 4 m 412 07969323668365806307 788 15 139 1 m 413 08041656324305160246 630 30 123 1 m 414 14122449179634515149 3717 52 649 4 m 415 12818153651195339864 3213 70 590 4 m 416 04735040661122862279 1764 44 306 4 m 417 13446045739658033482 645 28 106 1 m 418 14098336443321403729 714 16 129 1 m 419 06206330605436146572 1549 18 279 3 m 420 18023045188949206251 2215 55 413 4 m 421 15515259413053952926 439 18 72 1 m 422 07942705851475105301 2161 41 374 4 m 423 14448533049889246720 446 18 68 1 m 424 14129669203743258447 3050 25 550 4 m 425 06990610907584195378 1635 35 289 2 m 426 04069036864573974297 3055 25 550 4 m 427 04895023677028255668 1669 20 283 3 m 428 02051730055541516275 234 14 46 1 m 429 01091053326950814726 1374 44 251 2 m 430 02671770143748014173 2862 48 554 4 m 431 00520972418177168552 2179 34 415 4 m 432 17115907282245180119 2311 47 381 3 m 433 05524788626147746330 543 23 85 1 m 434 17996069082359391713 440 18 68 1 m 435 07116664722134304988 3708 52 649 4 m 436 11542504556994147323 1250 45 238 2 m 437 06061052929709025646 2212 55 413 4 m 438 06434333232104856485 436 18 68 1 m 439 02964136206208792656 464 22 81 1 m 440 08409650163183572831 1898 50 358 3 m 441 13338601316597661186 660 30 119 1 m 442 07063630458329146793 1129 31 216 3 m 443 02898144215541118724 3795 59 693 3 m 444 15890394344972183811 628 27 102 1 m 445 12570782287172367318 629 27 102 1 m 446 09641910653200828397 2162 37 405 3 m 447 15427520276959820024 2300 45 413 4 m 448 14164206848809290983 432 18 68 1 m 449 14243109859577503466 3793 59 693 3 m 450 14666608970095134321 698 29 119 1 m 451 13030484975234036268 1500 31 259 2 m 452 07208970838675924747 638 28 106 1 m 453 04749588240576762686 519 23 85 1 m 454 14577561972792812853 1306 22 253 3 m 455 00545475231831299744 1581 48 297 2 m 456 13238158198739360623 3791 59 693 3 m 457 09334731596595274962 2688 29 506 2 m 458 00195229629724043321 1731 31 300 2 m 459 06206464370713614932 701 16 129 1 m 460 15809432793286544915 696 29 119 1 m 461 13348985506813700006 1647 62 297 3 m 462 09245828411019268989 2200 55 413 4 m 463 06058665613509882184 3040 25 550 4 m 464 16861669665655694071 2237 98 428 4 m 465 00482285858396843962 1714 52 301 3 m 466 15894898281630608129 1333 43 242 2 m 467 06693926381324898172 2660 54 500 4 m 468 00803842175776800283 2322 44 422 4 m 469 16002212143677296910 2100 37 364 4 m 470 11444738390012932805 528 23 85 1 m 471 09180074074093398256 2685 54 467 4 m 472 16663429421869941631 2292 45 413 4 m 473 17987325530387898274 1447 44 255 3 m 474 02089830083240603337 2273 60 383 4 m 475 04825476950598447524 2622 50 483 4 m 476 13983459512384542499 361 15 51 1 m 477 08968833197466103670 358 15 51 1 m 478 16342252237995238157 262 18 51 1 m 479 01721674715041947032 405 21 76 1 m 480 01709475597227187463 697 28 127 2 m 481 01058613079929246858 1876 44 348 4 m 482 06756496057465983889 1689 39 303 2 m 483 07249303014621454540 2923 37 573 4 m 484 00738329858282912043 2066 42 375 3 m 485 14959612982182814430 1706 52 301 3 m 486 07904055065406850133 1425 34 293 4 m 487 01757289569690070848 269 13 51 1 m 488 17407022773951303567 1326 43 242 2 m 489 03964284959735393906 1259 20 220 2 m 490 11486876262826359129 2286 69 434 4 m 491 07288800356964056308 268 13 51 1 m 492 18057147928986010675 2267 60 383 4 m 493 10216508473136106310 1454 27 259 4 m 494 04223083481524074141 2437 45 455 4 m 495 09218569637894995432 1633 62 297 3 m 496 18314884239681452823 516 23 85 1 m 497 01944131023355972954 531 25 102 1 m 498 05163038478793080865 1873 44 348 4 m 499 18056730392940865052 1179 22 220 2 m 500 08028650379135047739 1373 30 250 3 m 501 06604278392189700270 501 23 85 1 m 502 14421146311102667237 500 23 85 1 m 503 06248434149870610832 1631 62 297 3 m 504 15197245254944047007 2329 34 435 4 m 505 00053357741244387650 913 37 157 2 m 506 17678703439147812841 306 15 46 1 m 507 10925559519142558788 1715 31 300 2 m 508 07681763385301062979 1538 44 276 3 m 509 10905219896819333910 1319 43 242 2 m 510 09227213163198402093 1410 50 268 3 m 511 06156995998617440824 2092 37 364 4 m 512 06263137919519980839 699 13 119 1 m 513 02006920267438938666 1536 28 268 1 m 514 10852613677894119601 638 30 119 1 m 515 18359159073656495980 2812 52 520 4 m 516 03801995983096503115 1066 19 194 2 m 517 14107857223768621694 1363 30 250 3 m 518 02456670260331131765 373 16 55 1 m 519 12140817967326697440 1876 36 344 2 m 520 05690229375313892271 1447 27 259 4 m 521 14587100676803954706 2088 37 364 4 m 522 02699899868122733177 2087 37 364 4 m 523 06595011817889230740 635 30 119 1 m 524 02829615366839962195 2811 52 520 4 m 525 05071489610703240934 490 23 85 1 m 526 03815851520180775357 1452 27 259 4 m 527 03708255031100299912 1677 38 294 2 m 528 12261169663671821111 1443 27 259 4 m 529 06672114947118873338 692 13 119 1 m 530 07578142453697209665 1298 35 234 2 m 531 01783502093945474236 2022 39 362 3 m 532 06611734468807623259 1669 39 303 2 m 533 05116392279905800270 907 38 153 2 m 534 13812707485859254533 1678 38 294 2 m 535 17872606314407262768 1068 31 183 2 m 536 05676080259190115263 2297 58 423 4 m 537 00999999418623955682 507 23 85 1 m 538 16635367591666413833 3520 56 624 4 m 539 02926832215989278436 643 14 109 1 m 540 15078898505561760611 2053 24 365 3 m 541 14650707381329008310 1791 29 337 2 m 542 06881605962071853389 1790 29 337 2 m 543 04176440248956950232 683 30 123 1 m 544 10820937726522404167 616 30 123 1 m 545 00445404605367988170 600 28 106 1 m 546 02320240218484973009 539 24 98 1 m 547 17364517297515884044 2117 41 383 4 m 548 03162041024980831595 2583 35 478 4 m 549 08606201779683045918 341 15 51 1 m 550 15908430251968213653 2711 37 523 4 m 551 09469347128140353664 1025 33 196 2 m 552 15481199373920675791 2215 59 382 4 m 553 06368349088328561074 1594 35 289 2 m 554 08706626309686889369 1068 40 192 2 m 555 17178196444214489652 2283 49 413 4 m 556 18011860583981211763 697 21 132 2 m 557 01239144998652576390 719 29 119 1 m 558 08211276025928346845 1108 28 208 2 m 559 04846931064106174248 717 29 119 1 m 560 03529451602567060311 336 15 51 1 m 561 15014697092789024922 1050 19 194 2 m 562 05192662002836265569 677 30 123 1 m 563 07427430633964012380 1589 35 289 2 m 564 07207779370829626491 334 15 51 1 m 565 07032692958956234734 675 30 123 1 m 566 16986472082537027621 2049 63 391 4 m 567 04100503348528454352 468 20 76 1 m 568 02708681315791529951 2047 63 391 4 m 569 09812136431602885762 1589 35 289 2 m 570 03954922162440448553 261 19 46 1 m 571 16493653550491451780 641 29 119 1 m 572 06015058516142883203 2032 42 375 3 m 573 16554683713157808726 1585 35 289 2 m 574 03058113587547788397 713 29 119 1 m 575 11506334667756530552 473 23 85 1 m 576 04859033063832710503 717 29 119 1 m 577 06509623086824019306 2066 37 364 4 m 578 02733740284221692657 1625 33 297 1 m 579 07257993251535604908 4168 39 758 4 m 580 14015405215580704651 397 20 55 1 m 581 03659786418454688190 714 29 119 1 m 582 09704993331406225845 2041 24 365 3 m 583 12804364813781915936 2351 77 433 4 m 584 01520354967920905199 1579 35 289 2 m 585 18382273038241049426 1489 37 257 2 m 586 06784176927441407161 2551 37 465 3 m 587 00611474665314403540 2040 24 365 3 m 588 11406874195538724499 1999 27 384 3 m 589 01036153642835990054 2930 72 534 4 m 590 09814800752126492669 602 21 102 2 m 591 13657545014367585224 2039 47 387 4 m 592 00441269332553229175 722 34 127 2 m 593 15430686269120284218 1218 53 225 2 m 594 05286307755941748609 671 13 119 1 m 595 17069324688936716796 2536 48 456 2 m 596 11443326698046293659 2204 59 382 4 m 597 08549328784440266638 2584 50 483 4 m 598 14237885270980505413 446 18 68 1 m 599 17005755681102302064 2026 42 375 3 m 600 04284570999221457919 2252 56 413 4 m 601 01161702557238068770 2535 48 456 2 m 602 14406458716250567497 1328 30 250 3 m 603 05437703187980975140 505 23 85 1 m 604 07920160111356555171 1805 39 343 4 m 605 00966559120470621686 1655 48 300 4 m 606 16250393419787267981 646 18 119 1 m 607 10258096623657717784 2602 58 497 3 m 608 01718863474965396871 1570 30 283 3 m 609 09605341136554412810 453 20 76 1 m 610 08875731703767246865 494 19 76 1 m 611 17532451324078848844 962 44 186 2 m 612 01056699466480443819 3888 50 734 4 m 613 08954301626536460638 738 30 119 1 m 614 06988211914294288597 1071 39 191 2 m 615 01151565682648199616 714 31 119 1 m 616 06655369577675030543 1747 44 306 4 m 617 13245573992731964658 2497 45 457 4 m 618 00170028203612610009 660 20 118 2 m 619 16085360584660281204 1434 36 262 4 m 620 02071175349396094131 1320 30 250 3 m 621 08746088746928077254 2784 53 509 4 m 622 12871372458507379485 578 22 89 1 m 623 06977510195999936616 368 19 76 1 m 624 18340649253853723543 2918 51 544 4 m 625 10128821109771314138 1991 39 362 3 m 626 15345843027087226017 2807 60 523 4 m 627 01631365652008460444 409 19 68 1 m 628 15652987150458446011 792 19 144 2 m 629 14800921157436458798 1987 39 362 3 m 630 11486828373105825381 1207 22 208 1 m 631 14650786840598498320 772 25 157 2 m 632 08257085332811141151 2777 37 527 4 m 633 15720824471046944706 1986 39 362 3 m 634 12646470434983824489 1592 62 297 3 m 635 02955622068177110724 1586 32 292 4 m 636 14171844238273048003 1315 30 250 3 m 637 10594136806876481942 3877 50 734 4 m 638 12622726643964058285 1201 22 208 1 m 639 13707603915992138936 1101 43 204 2 m 640 00779144873755450791 1188 40 198 3 m 641 08475136680498958506 261 15 46 1 m 642 13436051156877886769 1984 47 354 2 m 643 04221036670960040428 364 19 76 1 m 644 17576601034622305227 235 19 46 1 m 645 12839075955965812990 1275 43 242 2 m 646 14416973095403786229 1198 22 208 1 m 647 01889787854640765536 1744 38 339 4 m 648 14694740569919620143 2772 37 527 4 m 649 15848650502225071762 1589 62 297 3 m 650 17407085265054039801 1978 47 354 2 m 651 04011684353108564500 1340 36 246 2 m 652 17193023600018735827 1339 36 246 2 m 653 10436835023758224742 232 19 46 1 m 654 13246201569989547581 1754 29 333 2 m 655 01558857863267380488 1445 28 272 3 m 656 05783865412338426807 2078 31 404 3 m 657 16340489528741728634 2078 31 404 3 m 658 15945462467135281601 2770 37 527 4 m 659 17041257895834142524 1466 52 276 2 m 660 01143777844591348443 2347 31 417 3 m 661 06161150208799559374 419 18 68 1 m 662 18059666649406868869 1564 26 277 2 m 663 11360656197259058352 521 22 85 1 m 664 05325741382815325247 1974 47 354 2 m 665 10501225722533689698 1085 46 199 2 m 666 07750470737573033353 309 16 64 1 m 667 01500796844437430628 368 20 76 1 m 668 01024120763698199523 1646 32 287 1 m 669 03824117105573733686 1862 44 333 2 m 670 06475102067899979213 2432 45 455 4 m 671 01363151909861411160 363 20 55 1 m 672 17518776677861297607 675 30 140 2 m 673 01664506345710986826 805 23 161 2 m 674 07422623161367229009 730 14 129 1 m 675 02783448651679385740 1646 37 294 2 m 676 09333272707634771435 576 30 119 1 m 677 01586996607097147550 363 20 55 1 m 678 02276916418920533781 2552 50 483 4 m 679 15718470463282795264 2202 60 383 4 m 680 13390622358552287311 1860 44 333 2 m 681 04368702010325825586 1480 44 276 3 m 682 09584482739477049369 350 19 76 1 m 683 05185531788234628276 1998 42 375 3 m 684 16919183996902725875 1516 36 278 1 m 685 00666306638708388102 2477 45 457 4 m 686 03609995181465573725 1439 28 272 3 m 687 16119562640343734696 1435 28 272 3 m 688 13147053110557727703 1997 42 375 3 m 689 10979391607552134938 4136 39 758 4 m 690 16248486545202859745 1066 28 208 2 m 691 02414457346171174364 387 19 68 1 m 692 03009776495436678395 1996 42 375 3 m 693 13308742642163754606 2504 48 456 2 m 694 07608997665382225061 3392 65 579 4 m 695 15862261861957713232 2200 60 383 4 m 696 04801811771525953631 2914 40 532 4 m 697 13368901287574260482 1994 42 375 3 m 698 12781097846186487465 2333 31 417 3 m 699 09896045986058144772 798 23 161 2 m 700 17195093915542002179 2472 45 457 4 m 701 06629796564612485334 1495 46 267 4 m 702 12945496332348661997 1434 28 272 3 m 703 12451746390090014200 407 18 68 1 m 704 15929738637783797223 4128 39 758 4 m 705 17010893872816032746 1579 20 283 3 m 706 09094063549538905969 1989 42 375 3 m 707 02576533001776523052 759 33 128 1 m 708 11856847956968470539 816 36 152 2 m 709 07015731016955760702 815 36 152 2 m 710 15703501476443954741 1429 28 272 3 m 711 13493711408086358944 673 31 128 1 m 712 00233149337508133999 2440 52 429 4 m 713 04027821325757854162 1183 44 183 2 m 714 18150500567705940281 2367 51 441 4 m 715 02988978155105726292 687 31 119 1 m 716 02316393975370940179 428 22 89 1 m 717 03426712128936723622 3850 50 734 4 m 718 03575065483594263677 673 28 110 2 m 719 03996562553714939464 1489 46 267 4 m 720 08728557369860924407 552 22 89 1 m 721 15675171402888502458 664 29 119 1 m 722 17750009124940911617 2026 38 338 4 m 723 06514665163221763196 1845 44 333 2 m 724 09281339725931073307 1157 29 228 3 m 725 04516670259663228430 1783 41 323 2 m 726 12626614399234223045 1622 32 287 1 m 727 04593521967172087280 3852 71 706 4 m 728 00876238682287334527 308 15 55 1 m 729 15221339758633168034 1951 47 354 2 m 730 10084658440456222665 3844 50 734 4 m 731 05487854980402939556 3383 65 579 4 m 732 07434210058550675491 1173 22 208 1 m 733 18198987102308519030 2429 52 429 4 m 734 07284472781682441229 2358 51 441 4 m 735 18069656242544263832 671 28 110 2 m 736 10823209362275016199 1661 36 313 4 m 737 04938171426066448778 1630 37 294 2 m 738 07732768712135736465 1978 28 343 3 m 739 07717406770399204812 273 14 51 1 m 740 05510612866475444779 671 28 110 2 m 741 10200386094385717214 2480 28 458 3 m 742 15433713197461339477 1436 44 271 3 m 743 08819969274709423168 1858 47 330 3 m 744 14388745088266039439 1880 29 342 3 m 745 06639861134284503922 677 34 127 2 m 746 13790938012860842585 1856 47 330 3 m 747 17794691339220521460 1776 41 323 2 m 748 15571165656089769267 2923 68 514 4 m 749 15744479808721659974 1976 28 343 3 m 750 14042560182341947293 662 28 110 2 m 751 15482004918221038312 1975 28 343 3 m 752 11763457393251580951 386 28 76 1 m 753 03613972220566387290 3832 52 693 4 m 754 08487206860045117729 665 28 110 2 m 755 06490091389381597980 1457 28 268 1 m 756 08151490751330216251 1652 36 313 4 m 757 15052987588741973422 660 28 110 2 m 758 12078817899025732325 1564 41 266 2 m 759 07088957054302711440 1895 31 348 3 m 760 09784999904972791967 2266 29 400 3 m 761 10217387004483362370 2007 38 338 4 m 762 06645028259838873833 366 23 59 1 m 763 05797766150820254020 1655 58 305 3 m 764 03752657710683588163 1373 53 238 3 m 765 10913742636324739094 1799 36 344 2 m 766 10467590523041179437 1892 31 348 3 m 767 11628066275098556216 1694 40 330 4 m 768 09944467988945681959 2166 49 401 4 m 769 08130913451938039594 2259 48 422 3 m 770 17560606887935859121 371 25 64 1 m 771 04305994880631346284 1890 31 348 3 m 772 16060302143161445451 481 26 106 1 m 773 12171924165980356478 383 18 68 1 m 774 13244388708415925365 368 25 64 1 m 775 08737377264866991328 1944 40 404 4 m 776 03881725794678879407 1969 42 375 3 m 777 17286007005137638674 2001 38 338 4 m 778 13704888453098087289 1637 36 313 4 m 779 08727054905536234644 2907 68 514 4 m 780 14071392209632623443 1884 31 348 3 m 781 16309968268338519014 1528 26 277 2 m 782 10635397245007315645 1138 29 228 3 m 783 13866806420698300296 1441 28 268 1 m 784 06550404698759226423 1177 33 226 2 m 785 04632378795994966010 1533 49 279 2 m 786 03028563979638885953 686 27 110 2 m 787 12755786839809032636 1606 60 319 3 m 788 17821870466002162523 1261 46 225 2 m 789 07887861261785075022 2906 68 514 4 m 790 09004530892068555269 3646 52 649 4 m 791 00118186951936687920 3139 58 544 4 m 792 16740028391535865023 1886 31 348 3 m 793 14908630682555703266 1291 21 217 2 m 794 05299194504627223049 1442 28 268 1 m 795 06186521751242402788 654 31 119 1 m 796 05273315921954739299 2721 56 497 4 m 797 03962660888237126582 517 27 110 1 m 798 01265701923619005005 2087 41 374 4 m 799 01718811401365126104 429 17 68 1 m 800 14188445476021300807 340 15 51 1 m 801 14617092336439925962 1879 31 348 3 m 802 08518772838040389329 2113 48 375 3 m 803 01253357762052956940 373 16 55 1 m 804 13053314590325972587 1277 21 217 2 m 805 07277895890514898718 377 19 68 1 m 806 07141840549001227157 2155 49 401 4 m 807 08249098109740832128 1879 31 348 3 m 808 05975108056378345679 1031 31 183 2 m 809 01799242605239090866 1937 40 339 4 m 810 06358034759493670041 1596 32 287 1 m 811 12375379586269431604 2845 63 505 4 m 812 03986113517549932915 2230 45 413 4 m 813 01168943095456653190 431 17 68 1 m 814 13863759895314974173 3954 46 709 4 m 815 11722724139682982952 372 16 55 1 m 816 01908276525336190039 400 18 72 1 m 817 15814407864949597594 1351 53 238 3 m 818 02050165742188839777 314 16 55 1 m 819 02069715214460287068 2088 38 392 3 m 820 06018599960828595579 1592 32 287 1 m 821 17985043040364012782 648 31 119 1 m 822 14134529677483577637 1278 21 217 2 m 823 08464317511240048592 1596 32 287 1 m 824 09461917227640621279 364 16 55 1 m 825 11638716311821463938 1812 44 333 2 m 826 14802257097054827305 1407 35 264 2 m 827 04419714948549039748 577 29 110 1 m 828 10652218165680910979 1571 36 279 3 m 829 06065620073157484374 550 25 102 1 m 830 07464802801749814637 672 30 119 1 m 831 09693406010908856440 2851 38 511 4 m 832 14786456710621867623 1431 33 267 3 m 833 10200154159491334762 359 16 55 1 m 834 13589347146921657329 4090 39 758 4 m 835 14454398120909504940 1766 48 306 2 m 836 06733780024377778315 382 20 76 1 m 837 08870942546006093502 382 20 76 1 m 838 08254392326996589237 1144 44 183 2 m 839 15964502907194236448 1055 50 204 2 m 840 00534801409948806383 962 37 166 2 m 841 07178285193357178962 1156 33 226 2 m 842 18415500803199210937 2102 34 375 4 m 843 07792241537744312788 307 16 55 1 m 844 07753417080922126227 1547 41 266 2 m 845 05715569179075359526 1061 28 203 2 m 846 14280683642131798269 557 29 119 1 m 847 13020239950546774216 339 23 59 1 m 848 08317083084257780855 1058 28 203 2 m 849 06019659447503893306 1545 41 266 2 m 850 11938326175455856769 1531 36 281 2 m 851 17464953898039000828 1544 41 266 2 m 852 13083592836053309339 4081 39 758 4 m 853 11906407890580671630 3120 58 544 4 m 854 06131488697987770437 2838 38 511 4 m 855 10335855548134314096 927 22 165 2 m 856 06682060939565643007 1264 21 217 2 m 857 16750960500923618082 2831 63 505 4 m 858 04710247020206652489 580 30 123 1 m 859 07269335056814739748 579 30 123 1 m 860 04543993705878642851 3104 43 565 2 m 861 03921439449095592694 2216 47 381 3 m 862 00298723054434584717 1303 36 246 3 m 863 13650219637636789528 1205 25 222 2 m 864 18154033831769767559 2584 35 450 4 m 865 03501825494305257482 1090 45 183 2 m 866 11666071365999317265 513 21 81 1 m 867 02340072270561456204 926 22 165 2 m 868 08529388887878808235 697 33 140 2 m 869 01532352485034835550 1854 41 305 4 m 870 04640374256315210197 2842 38 511 4 m 871 04981502130566903488 1619 58 305 3 m 872 04585232281625616655 763 19 144 2 m 873 01089323932726231538 2506 66 465 3 m 874 09191271564702738137 1577 32 287 1 m 875 05285798289721605236 2837 63 505 4 m 876 14491719384318913971 2382 52 429 4 m 877 07176674938277385926 2381 52 429 4 m 878 11671548945924848669 2047 41 383 3 m 879 14183009261913879912 2750 53 509 4 m 880 00984062747245608087 690 33 128 1 m 881 17800971146476769498 1305 24 220 3 m 882 17285937004173811105 1528 23 263 2 m 883 13871097182867871132 1303 24 220 3 m 884 02669524229160661435 2157 42 397 2 m 885 17493795995611120686 810 36 152 2 m 886 00749847081938931557 2239 59 399 4 m 887 06568170563055030544 491 27 102 1 m 888 00520307183623205151 1387 35 264 2 m 889 02978033910771369154 3090 43 565 2 m 890 12844338181800318313 3022 61 524 3 m 891 05888809808276364228 1084 45 183 2 m 892 17087522134172147395 740 29 119 1 m 893 12246474800635651734 1535 31 280 2 m 894 02468426004332655533 330 19 76 1 m 895 00390383846279604664 1256 21 217 2 m 896 01854084493859217063 1647 45 278 4 m 897 06510557654560767402 813 34 128 1 m 898 17697421316316327473 2363 42 428 4 m 899 02903704216794148588 1419 33 267 3 m 900 04246826956678911179 2090 34 375 4 m 901 01958070276543225342 1408 26 273 2 m 902 00660663343887927541 1790 25 338 3 m 903 07336487031972323168 2155 42 397 2 m 904 10278354821320860975 1600 41 287 1 m 905 14621550075518458770 733 29 119 1 m 906 14397819784159610873 1445 50 259 3 m 907 13098809495204146964 1379 35 264 2 m 908 12071486683123987411 2831 38 511 4 m 909 09424868689146661478 1569 32 287 1 m 910 06522958344089939773 1787 25 338 3 m 911 07854388222894576136 594 24 93 1 m 912 13907308905474499767 2120 49 401 4 m 913 04495642417775165050 2815 63 505 4 m 914 15052490803289752257 1052 18 168 1 m 915 13951778893015825468 657 27 110 2 m 916 02722838338569493467 1565 32 287 1 m 917 17794685345798409166 705 14 129 1 m 918 00944550655538857605 1597 41 287 1 m 919 01956311548084429232 2495 66 465 3 m 920 02742876034529541439 1566 32 287 1 m 921 15661264836533552738 2818 63 505 4 m 922 13310630876699901577 1611 47 276 3 m 923 09831578912640235108 1833 41 305 4 m 924 12668122781154536675 4013 70 715 4 m 925 15165408930043511350 1831 45 330 2 m 926 03871273886100975309 417 21 85 1 m 927 01789130047310966360 2817 63 505 4 m 928 04474858828382719687 654 27 110 1 m 929 08672588629670138698 2489 66 465 3 m 930 05086252416755112785 1605 47 276 3 m 931 16653996677649366412 1596 41 287 1 m 932 03670365408530597611 3076 43 565 2 m 933 10660866946289061278 557 25 93 1 m 934 12904911109885233173 2148 56 392 4 m 935 02194225072467728384 2304 48 393 4 m 936 09684490215771765071 1892 40 339 4 m 937 08390050788341187890 4008 70 715 4 m 938 02631590785826830617 798 34 128 1 m 939 13899010052724879796 1890 40 339 4 m 940 04038158361757305331 2146 56 392 4 m 941 16564202226307829254 1548 31 294 2 m 942 09160027662338290269 1073 21 198 1 m 943 04290413254614400680 598 26 106 1 m 944 17297458600781733079 1333 26 248 1 m 945 14294808779194498074 1890 40 339 4 m 946 13091026864634836961 585 24 93 1 m 947 14532721200809931484 1269 30 250 3 m 948 00578881544036472315 2987 48 531 4 m 949 09684596160172761966 2527 59 452 3 m 950 16756861238980300197 2871 45 542 4 m 951 07006683809209877072 556 31 119 1 m 952 12673787687735859551 2462 47 439 3 m 953 05404069896411158530 1372 55 247 3 m 954 12858911381089859497 1600 33 291 3 m 955 12203486342430040324 1822 45 330 2 m 956 18369453781964016387 1446 73 258 3 m 957 07540283484817829334 2048 47 343 2 m 958 14745551229643143661 1349 28 272 3 m 959 13592492966500582136 2454 46 474 3 m 960 05323084512346459879 2800 63 505 4 m 961 12340403684620630250 1347 28 272 3 m 962 11977083581209008241 2872 50 506 3 m 963 16914302366482439212 1502 41 266 2 m 964 17994498883346909451 1502 41 266 2 m 965 04514411690272345406 2066 34 375 4 m 966 17241384328063899445 1687 44 306 4 m 967 01041982700361031840 2535 29 452 4 m 968 15628329329206730095 1120 23 202 2 m 969 16932701289769025234 3997 70 715 4 m 970 18023190068385397305 1992 37 364 4 m 971 00517552398204961876 887 22 165 2 m 972 16484488378466725907 2517 59 452 3 m 973 13991586585040363942 3136 51 549 3 m 974 10902377354119234941 1497 23 263 2 m 975 01940984856145017672 745 32 145 2 m 976 13137343492728300791 2605 66 448 4 m 977 12802264765794847162 1056 45 183 2 m 978 05579035977206988033 1033 27 212 2 m 979 00513269393776146812 1185 30 203 2 m 980 07027388735745187867 2505 56 465 3 m 981 14374959934982376206 3062 43 565 2 m 982 06593899341329802437 1118 23 202 2 m 983 04914424257910780656 1833 47 330 3 m 984 00243408578351531391 695 33 135 2 m 985 12711572628875671970 1184 42 229 2 m 986 08378406898237194441 2292 48 393 4 m 987 13757348856964553636 832 29 156 2 m 988 09464489468267346211 1523 36 279 3 m 989 15754800877990898038 388 19 76 1 m 990 14104486011343475981 2448 47 439 3 m 991 04442925662858487704 1433 73 258 3 m 992 14958177245034864391 532 22 89 1 m 993 17339462498598366858 2647 58 431 3 m 994 17828451943838885265 781 34 128 1 m 995 07665073828681452236 536 25 93 1 m 996 12392079158863076139 1949 42 375 3 m 997 01504142453490556126 1049 45 183 2 m 998 12787202105650853461 1339 43 238 3 m 999 03587023563408292160 1491 23 263 2 m 1000 06402307180218831247 2265 47 399 4 m ---------------------------------------------------------------------------- m generated 1000 traces: 1000 ok 100%, 0 failed 0%, 1000 executed m solved 2462: 238 sat 10%, 1342 unsat 55%, 1462 incremental 59% test/mbt/run.sh: all tests succeeded test/mbt/run.sh: consider to run 'mobical' for longer (without argument) make[3]: Leaving directory '/build/cadical-1.5.3/test' make[2]: Leaving directory '/build/cadical-1.5.3/build' make[1]: Leaving directory '/build/cadical-1.5.3' 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' in '../cadical_1.5.3-2_amd64.deb'. dpkg-deb: building package 'cadical-dbgsym' in '../cadical-dbgsym_1.5.3-2_amd64.deb'. dpkg-deb: building package 'libcadical-dev' in '../libcadical-dev_1.5.3-2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../cadical_1.5.3-2_amd64.buildinfo dpkg-genchanges --build=binary -O../cadical_1.5.3-2_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: not including original 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/3894239 and its subdirectories I: Current time: Sun Jun 2 02:20:37 -12 2024 I: pbuilder-time-stamp: 1717338037