<86>Dec 25 05:24:01 userdel[2542456]: delete user 'rooter' <86>Dec 25 05:24:01 groupadd[2542485]: group added to /etc/group: name=rooter, GID=1241 <86>Dec 25 05:24:01 useradd[2542502]: new user: name=rooter, UID=1241, GID=1241, home=/root, shell=/bin/bash, from=none <86>Dec 25 05:24:01 userdel[2542529]: delete user 'builder' <86>Dec 25 05:24:01 groupadd[2542553]: group added to /etc/group: name=builder, GID=1242 <86>Dec 25 05:24:01 useradd[2542575]: new user: name=builder, UID=1242, GID=1242, home=/usr/src, shell=/bin/bash, from=none <13>Dec 25 05:24:07 rpmi: gcc-c++-common-1.4.28-alt1 sisyphus+348678.100.1.1 1716396142 installed <13>Dec 25 05:24:07 rpmi: libstdc++14-devel-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Dec 25 05:24:08 rpmi: gcc14-c++-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Dec 25 05:24:08 rpmi: gcc-c++-14-alt1 sisyphus+360995.300.1.1 1730139222 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/cadical-2.1.1-alt1.nosrc.rpm (w1.gzdio) Installing cadical-2.1.1-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.38409 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf cadical-2.1.1 + echo 'Source #0 (cadical-2.1.1.tar):' Source #0 (cadical-2.1.1.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/cadical-2.1.1.tar + cd cadical-2.1.1 + /bin/chmod -c -Rf u+rwX,go-w . + echo 'Patch #0 (cadical-shared.patch):' Patch #0 (cadical-shared.patch): + /usr/bin/patch -p0 patching file makefile.in Hunk #1 succeeded at 38 (offset 4 lines). Hunk #2 succeeded at 52 (offset -1 lines). patching file test/api/run.sh + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.38409 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cadical-2.1.1 + export CXXFLAGS=-fPIC + CXXFLAGS=-fPIC + ./configure -a configure: making default 'build' directory configure: building in default '/usr/src/RPM/BUILD/cadical-2.1.1/build' configure: root directory '/usr/src/RPM/BUILD/cadical-2.1.1' configure: source directory '/usr/src/RPM/BUILD/cadical-2.1.1/src' configure: compiler supports all required C99/C++11 extensions configure: compiler configuration supports flexible array members configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: 'closefrom' seems to be working configure: compiling with 'g++ -fPIC -Wall -Wextra -g -DLOGGING' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/usr/src/RPM/BUILD/cadical-2.1.1/build/makefile' configure: linking '/usr/src/RPM/BUILD/cadical-2.1.1/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' + make -j8 make -C "/usr/src/RPM/BUILD/cadical-2.1.1/build" make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/arena.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/ccadical.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/backtrack.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/bins.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/backward.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/averages.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/block.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/assume.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/analyze.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/checker.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/clause.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/contract.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/constrain.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/config.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/collect.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/condition.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/cover.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/decide.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/drattracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/ema.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/extend.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/deduplicate.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/compact.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/decompose.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/frattracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/flags.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/elim.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/file.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/flip.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/ipasir.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/external_propagate.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/external.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/format.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/limit.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/instantiate.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/logging.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/idruptracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/gates.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lookahead.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lidruptracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lrattracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lratbuilder.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/message.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lratchecker.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/lucky.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/occs.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/parse.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/internal.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/minimize.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/queue.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/profile.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/phases.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/options.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/proof.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/reap.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/propagate.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/probe.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/rephase.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/random.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/signal.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/report.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/restart.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/resources.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/restore.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/reduce.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/score.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/terminal.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/subsume.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/stats.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/solution.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/ternary.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/shrink.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' ../scripts/make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/transred.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/util.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/var.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/veripbtracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/version.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/solver.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/cadical.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/watch.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/walk.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/vivify.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../src/mobical.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -c ../contrib/craigtracer.cpp make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' 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 drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o transred.o util.o var.o veripbtracer.o version.o vivify.o walk.o watch.o craigtracer.o make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' rm -f libcadical.so g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o transred.o util.o var.o veripbtracer.o version.o vivify.o walk.o watch.o craigtracer.o ln -s libcadical.so.0.0.0 libcadical.so.0 ln -s libcadical.so.0 libcadical.so make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -o cadical cadical.o -L. -lcadical make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' make[1]: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../build -I../src -o mobical mobical.o -L. -lcadical make[1]: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/build' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.79858 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/cadical-buildroot + : + /bin/rm -rf -- /usr/src/tmp/cadical-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd cadical-2.1.1 + mkdir -p /usr/src/tmp/cadical-buildroot/usr/bin + cp build/cadical /usr/src/tmp/cadical-buildroot/usr/bin + cp build/mobical /usr/src/tmp/cadical-buildroot/usr/bin + mkdir -p /usr/src/tmp/cadical-buildroot/usr/lib64 + cp build/libcadical.so.0.0.0 /usr/src/tmp/cadical-buildroot/usr/lib64 + ln -s libcadical.so.0.0.0 /usr/src/tmp/cadical-buildroot/usr/lib64/libcadical.so + ln -s libcadical.so.0.0.0 /usr/src/tmp/cadical-buildroot/usr/lib64/libcadical.so.0 + cp build/libcadical.a /usr/src/tmp/cadical-buildroot/usr/lib64 + mkdir -p /usr/src/tmp/cadical-buildroot/usr/include + cp src/cadical.hpp /usr/src/tmp/cadical-buildroot/usr/include + cp src/ccadical.h /usr/src/tmp/cadical-buildroot/usr/include + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/cadical-buildroot (auto) mode of './usr/lib64/libcadical.so.0.0.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/cadical-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/cadical-buildroot/ (default) Compressing files in /usr/src/tmp/cadical-buildroot (auto) Adjusting library links in /usr/src/tmp/cadical-buildroot ./usr/lib64: (from :0) libcadical.so.0 -> libcadical.so.0.0.0 Verifying ELF objects in /usr/src/tmp/cadical-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Splitting links to aliased files under /{,s}bin in /usr/src/tmp/cadical-buildroot Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.32086 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cadical-2.1.1 + sed -i '/make -C \$CADICALBUILD/d;/^make$/d' test/api/run.sh test/cnf/run.sh test/contrib/run.sh test/icnf/run.sh test/mbt/run.sh test/trace/run.sh test/usage/run.sh + export LD_LIBRARY_PATH=/usr/src/tmp/cadical-buildroot/usr/lib64 + LD_LIBRARY_PATH=/usr/src/tmp/cadical-buildroot/usr/lib64 + make -j8 -C test make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- ICNF testing in '../build' --------------------------------------------------------- test/icnf/run.sh: running ICNF tests 'empty' ../build/cadical \ ../test/icnf/empty.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'false' ../build/cadical \ ../test/icnf/false.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit1' ../build/cadical \ ../test/icnf/unit1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'unit2' ../build/cadical \ ../test/icnf/unit2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: running ICNF tests 'two1' ../build/cadical \ ../test/icnf/two1.icnf # 20 ...ok (exit code '20' as expected) test/icnf/run.sh: running ICNF tests 'two2' ../build/cadical \ ../test/icnf/two2.icnf # 10 ...ok (exit code '10' as expected) test/icnf/run.sh: ICNF testing results: 6 ok, 0 failed make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- Regression Testing API traces in '../build' --------------------------------------------------------- test/trace/run.sh: found 79 traces test/trace/run.sh: running 'reg0000' ../build/mobical ../test/trace/reg0000.trace 0 # ... ok test/trace/run.sh: running 'reg0001' ../build/mobical ../test/trace/reg0001.trace 0 # ... ok test/trace/run.sh: running 'reg0002' ../build/mobical ../test/trace/reg0002.trace 0 # ... ok test/trace/run.sh: running 'reg0003' ../build/mobical ../test/trace/reg0003.trace 0 # ... ok test/trace/run.sh: running 'reg0004' ../build/mobical ../test/trace/reg0004.trace 0 # ... ok test/trace/run.sh: running 'reg0005' ../build/mobical ../test/trace/reg0005.trace 0 # ... ok test/trace/run.sh: running 'reg0006' ../build/mobical ../test/trace/reg0006.trace 0 # ... ok test/trace/run.sh: running 'reg0007' ../build/mobical ../test/trace/reg0007.trace 0 # ... ok test/trace/run.sh: running 'reg0008' ../build/mobical ../test/trace/reg0008.trace 0 # ... ok test/trace/run.sh: running 'reg0009' ../build/mobical ../test/trace/reg0009.trace 0 # ... ok test/trace/run.sh: running 'reg0010' ../build/mobical ../test/trace/reg0010.trace 0 # ... ok test/trace/run.sh: running 'reg0011' ../build/mobical ../test/trace/reg0011.trace 0 # ... ok test/trace/run.sh: running 'reg0012' ../build/mobical ../test/trace/reg0012.trace 0 # ... ok test/trace/run.sh: running 'reg0013' ../build/mobical ../test/trace/reg0013.trace 0 # ... ok test/trace/run.sh: running 'reg0014' ../build/mobical ../test/trace/reg0014.trace 0 # ... ok test/trace/run.sh: running 'reg0015' ../build/mobical ../test/trace/reg0015.trace 0 # ... ok test/trace/run.sh: running 'reg0016' ../build/mobical ../test/trace/reg0016.trace 0 # ... ok test/trace/run.sh: running 'reg0017' ../build/mobical ../test/trace/reg0017.trace 0 # ... ok test/trace/run.sh: running 'reg0018' ../build/mobical ../test/trace/reg0018.trace 0 # ... ok test/trace/run.sh: running 'reg0019' ../build/mobical ../test/trace/reg0019.trace 0 # ... ok test/trace/run.sh: running 'reg0020' ../build/mobical ../test/trace/reg0020.trace 0 # ... ok test/trace/run.sh: running 'reg0021' ../build/mobical ../test/trace/reg0021.trace 0 # ... ok test/trace/run.sh: running 'reg0022' ../build/mobical ../test/trace/reg0022.trace 0 # ... ok test/trace/run.sh: running 'reg0023' ../build/mobical ../test/trace/reg0023.trace 0 # ... ok test/trace/run.sh: running 'reg0024' ../build/mobical ../test/trace/reg0024.trace 0 # ... ok test/trace/run.sh: running 'reg0025' ../build/mobical ../test/trace/reg0025.trace 0 # ... ok test/trace/run.sh: running 'reg0026' ../build/mobical ../test/trace/reg0026.trace 0 # ... ok test/trace/run.sh: running 'reg0027' ../build/mobical ../test/trace/reg0027.trace 0 # ... ok test/trace/run.sh: running 'reg0028' ../build/mobical ../test/trace/reg0028.trace 0 # ... ok test/trace/run.sh: running 'reg0029' ../build/mobical ../test/trace/reg0029.trace 0 # ... ok test/trace/run.sh: running 'reg0030' ../build/mobical ../test/trace/reg0030.trace 0 # ... ok test/trace/run.sh: running 'reg0031' ../build/mobical ../test/trace/reg0031.trace 0 # ... ok test/trace/run.sh: running 'reg0032' ../build/mobical ../test/trace/reg0032.trace 0 # ... ok test/trace/run.sh: running 'reg0033' ../build/mobical ../test/trace/reg0033.trace 0 # ... ok test/trace/run.sh: running 'reg0034' ../build/mobical ../test/trace/reg0034.trace 0 # ... ok test/trace/run.sh: running 'reg0035' ../build/mobical ../test/trace/reg0035.trace 0 # ... ok test/trace/run.sh: running 'reg0036' ../build/mobical ../test/trace/reg0036.trace 0 # ... ok test/trace/run.sh: running 'reg0037' ../build/mobical ../test/trace/reg0037.trace 0 # ... ok test/trace/run.sh: running 'reg0038' ../build/mobical ../test/trace/reg0038.trace 0 # ... ok test/trace/run.sh: running 'reg0039' ../build/mobical ../test/trace/reg0039.trace 0 # ... ok test/trace/run.sh: running 'reg0040' ../build/mobical ../test/trace/reg0040.trace 0 # ... ok test/trace/run.sh: running 'reg0041' ../build/mobical ../test/trace/reg0041.trace 0 # ... ok test/trace/run.sh: running 'reg0042' ../build/mobical ../test/trace/reg0042.trace 0 # ... ok test/trace/run.sh: running 'reg0043' ../build/mobical ../test/trace/reg0043.trace 0 # ... ok test/trace/run.sh: running 'reg0044' ../build/mobical ../test/trace/reg0044.trace 0 # ... ok test/trace/run.sh: running 'reg0045' ../build/mobical ../test/trace/reg0045.trace 0 # ... ok test/trace/run.sh: running 'reg0046' ../build/mobical ../test/trace/reg0046.trace 0 # ... ok test/trace/run.sh: running 'reg0047' ../build/mobical ../test/trace/reg0047.trace 0 # ... ok test/trace/run.sh: running 'reg0048' ../build/mobical ../test/trace/reg0048.trace 0 # ... ok test/trace/run.sh: running 'reg0049' ../build/mobical ../test/trace/reg0049.trace 0 # ... ok test/trace/run.sh: running 'reg0050' ../build/mobical ../test/trace/reg0050.trace 0 # ... ok test/trace/run.sh: running 'reg0051' ../build/mobical ../test/trace/reg0051.trace 0 # ... ok test/trace/run.sh: running 'reg0052' ../build/mobical ../test/trace/reg0052.trace 0 # ... ok test/trace/run.sh: running 'reg0053' ../build/mobical ../test/trace/reg0053.trace 0 # ... ok test/trace/run.sh: running 'reg0054' ../build/mobical ../test/trace/reg0054.trace 0 # ... ok test/trace/run.sh: running 'reg0055' ../build/mobical ../test/trace/reg0055.trace 0 # ... ok test/trace/run.sh: running 'reg0056' ../build/mobical ../test/trace/reg0056.trace 0 # ... ok test/trace/run.sh: running 'reg0057' ../build/mobical ../test/trace/reg0057.trace 0 # ... ok test/trace/run.sh: running 'reg0058' ../build/mobical ../test/trace/reg0058.trace 0 # ... ok test/trace/run.sh: running 'reg0059' ../build/mobical ../test/trace/reg0059.trace 0 # ... ok test/trace/run.sh: running 'reg0060' ../build/mobical ../test/trace/reg0060.trace 0 # ... ok test/trace/run.sh: running 'reg0061' ../build/mobical ../test/trace/reg0061.trace 0 # ... ok test/trace/run.sh: running 'reg0062' ../build/mobical ../test/trace/reg0062.trace 0 # ... ok test/trace/run.sh: running 'reg0063' ../build/mobical ../test/trace/reg0063.trace 0 # ... ok test/trace/run.sh: running 'reg0064' ../build/mobical ../test/trace/reg0064.trace 0 # ... ok test/trace/run.sh: running 'reg0065' ../build/mobical ../test/trace/reg0065.trace 0 # ... ok test/trace/run.sh: running 'reg0066' ../build/mobical ../test/trace/reg0066.trace 0 # ... ok test/trace/run.sh: running 'reg0067' ../build/mobical ../test/trace/reg0067.trace 0 # ... ok test/trace/run.sh: running 'reg0068' ../build/mobical ../test/trace/reg0068.trace 0 # ... ok test/trace/run.sh: running 'reg0069' ../build/mobical ../test/trace/reg0069.trace 0 # ... ok test/trace/run.sh: running 'reg0070' ../build/mobical ../test/trace/reg0070.trace 0 # ... ok test/trace/run.sh: running 'reg0071' ../build/mobical ../test/trace/reg0071.trace 0 # ... ok test/trace/run.sh: running 'reg0072' ../build/mobical ../test/trace/reg0072.trace 0 # ... ok test/trace/run.sh: running 'reg0073' ../build/mobical ../test/trace/reg0073.trace 0 # ... ok test/trace/run.sh: running 'reg0074' ../build/mobical ../test/trace/reg0074.trace 0 # ... ok test/trace/run.sh: running 'reg0075' ../build/mobical ../test/trace/reg0075.trace 0 # ... ok test/trace/run.sh: running 'reg0076' ../build/mobical ../test/trace/reg0076.trace 0 # ... ok test/trace/run.sh: running 'reg0077' ../build/mobical ../test/trace/reg0077.trace 0 # ... ok test/trace/run.sh: running 'reg0078' ../build/mobical ../test/trace/reg0078.trace 0 # ... ok test/trace/run.sh: executed 79 traces, 79 ok, 0 failed make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- Contributions testing in '../build' --------------------------------------------------------- test/contrib/run.sh: using CXX=g++ test/contrib/run.sh: using CXXFLAGS=-fPIC -Wall -Wextra -g -DLOGGING test/contrib/run.sh: running contrib test 'craigtracer' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../src -I../contrib -o ../build/test-contrib-craigtracer.o -c ../test/contrib/craigtracer.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-contrib-craigtracer ../build/test-contrib-craigtracer.o -L../build -lcadical ../build/test-contrib-craigtracer # 0 ... ok (zero exit code) test/contrib/run.sh: running contrib test 'craigtracer_incremental' g++ -fPIC -Wall -Wextra -g -DLOGGING -I../src -I../contrib -o ../build/test-contrib-craigtracer_incremental.o -c ../test/contrib/craigtracer_incremental.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-contrib-craigtracer_incremental ../build/test-contrib-craigtracer_incremental.o -L../build -lcadical ../build/test-contrib-craigtracer_incremental # 0 ... ok (zero exit code) test/contrib/run.sh: contrib testing results: 2 ok, 0 failed make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- starting test run /usr/src/RPM/BUILD/cadical-2.1.1/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 make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- Model-Based Testing in '../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) 2016-2024 m A. Biere, M. Fleury, N. Froleyks, K. Fazekas, F. Pollitt, T. Faller m JKU Linz, University of Freiburg, TU Wien m m Version 2.1.0 m x86_64-alt-linux-g++ (GCC) 14.2.1 20241028 (ALT Sisyphus 14.2.1-alt1) -fPIC -Wall -Wextra -g -DLOGGING m Wed Dec 25 05:24:41 UTC 2024 Linux localhost.localdomain 6.12.6-6.12-alt1 x86_64 m m not using any time limit due to '--do-not-fork' m not using any space limit due to '--do-not-fork' m m randomly generating 1000 traces m m start seed 42 m m count seed/buggy/reducing/reduced calls vars clauses m ---------------------------------------------------------------------------- m 1 00000000000000000042 567 27 110 1 m 2 10481999410520546993 1846 78 315 3 m 3 04159066171780167020 2286 54 339 4 m 4 07615522811268512075 1086 33 195 2 m 5 11628791489956661374 2214 33 414 4 m 6 12546512532490043765 314 18 59 1 m 7 00483838003013946848 435 31 85 1 m 8 00401415969518064047 2214 33 414 4 m 9 02812299150962093586 3349 53 633 4 m 10 08743034423534012537 725 32 161 2 m 11 00457466634992928148 3659 31 674 3 m 12 06580914716785944659 1780 29 309 3 m 13 09756468244095911142 2256 47 442 5 m 14 16979679744849786813 1651 41 238 3 m 15 06023180652035281032 3137 57 502 4 m 16 14681447096454308151 2595 57 430 4 m 17 07210325037408772346 1645 41 238 3 m 18 14542152906443789121 1177 81 229 2 m 19 01239519823916966588 2223 33 414 4 m 20 07779601134568923227 1647 41 238 3 m 21 13050776483079329358 1779 29 309 3 m 22 06327454482708635397 2209 33 414 4 m 23 07923181361769377840 704 32 123 1 m 24 07605993102115670463 2204 33 414 4 m 25 06356963020929956066 2407 46 444 3 m 26 07176860805218918153 1778 36 312 2 m 27 09682535764888235236 1896 51 347 4 m 28 09837594129879007587 2452 54 425 4 m 29 08939747846471474358 2404 46 444 3 m 30 07663859345433597773 2220 37 420 2 m 31 11397048638288055512 713 31 128 1 m 32 17217382069498686279 3574 72 519 5 m 33 13075462938690082250 1050 36 178 2 m 34 07617503730318953425 1772 29 309 3 m 35 11886887965852435468 1578 50 302 3 m 36 00489625813388766059 740 26 132 2 m 37 11656258743421515806 1048 36 178 2 m 38 03323080905636200597 2794 48 526 3 m 39 06582362000670180992 2254 47 442 5 m 40 17213442580248323535 2457 38 428 3 m 41 11964787556474984370 2049 43 352 3 m 42 02809635275842615705 1141 24 208 1 m 43 17762834671622277172 2213 33 414 4 m 44 15926384231848443507 1168 30 185 2 m 45 17281153376997394566 936 23 144 2 m 46 07177225625430342365 1046 36 178 2 m 47 15411827044505713960 2865 58 529 4 m 48 07261328014321736023 285 20 55 1 m 49 00411127563640200858 1044 36 178 2 m 50 04021369823019239521 2864 58 529 4 m 51 02263208613658073436 1167 30 185 2 m 52 09225225935819643515 2270 54 339 4 m 53 08347090332326178286 2819 52 477 4 m 54 02868458037254596133 2967 112 516 4 m 55 09408564937111245008 707 30 144 3 m 56 00613587387335812575 2018 48 357 4 m 57 08004133899158178434 1568 61 284 3 m 58 05847059326881044521 1526 28 268 1 m 59 13856064291810187140 966 31 183 2 m 60 00875668417553899395 3122 57 502 4 m 61 04897482736489597014 2399 46 444 3 m 62 08262633990230614637 2508 47 459 4 m 63 00029580775046259064 1245 40 255 3 m 64 15761398353561119591 526 27 105 2 m 65 13938075786164501354 354 15 55 1 m 66 07689279176753629425 2001 40 369 4 m 67 03352980940366930604 2579 46 476 2 m 68 18205146010301476235 2576 46 476 2 m 69 17304352323705501630 506 19 76 1 m 70 04817533670189387701 717 33 89 2 m 71 03815896001190580000 517 21 76 1 m 72 15927738363741882863 2813 52 477 4 m 73 16067508697785897298 1661 38 322 4 m 74 00418072880156719801 744 31 122 2 m 75 16214909930319878868 728 20 119 2 m 76 07371249961700484243 528 45 123 1 m 77 06175180461606149158 2827 82 512 3 m 78 01815321330950786557 2393 46 444 3 m 79 12125495098617575880 1067 36 181 2 m 80 06743829002002030967 2945 48 520 3 m 81 17945991074591943738 3224 32 587 4 m 82 09651936124194262401 2859 58 529 4 m 83 08255378098965307388 457 19 76 1 m 84 11005688211693495451 1127 24 208 1 m 85 06572446884492514702 1056 36 181 2 m 86 13639309189295979845 2858 58 529 4 m 87 11024112131243082096 1126 24 208 1 m 88 09342037498553029119 2855 58 529 4 m 89 16368125288689822754 2258 54 339 4 m 90 13001482546647458121 1736 61 310 4 m 91 11824184077345051172 500 19 76 1 m 92 16616369769377484195 1066 31 198 1 m 93 12133388082411373558 1066 31 198 1 m 94 01899707636773928333 716 33 89 2 m 95 16650281295738291736 635 30 119 1 m 96 00233931789740751751 2257 60 374 4 m 97 02170390895065297162 3015 54 533 4 m 98 15773825747283006993 1064 31 198 1 m 99 06122450352817213772 1063 31 198 1 m 100 13486101257148678059 726 31 122 2 m 101 04293895218951161694 3336 62 610 4 m 102 00069684928789835477 801 20 140 2 m 103 15405433831470835648 505 21 76 1 m 104 16093508028850978319 3349 34 615 4 m 105 06771306663650122482 2508 39 447 4 m 106 10589020804013034457 496 19 76 1 m 107 05664308454024953204 1042 39 186 2 m 108 09041749647149816499 1619 41 238 3 m 109 07776291911875936198 2254 60 374 4 m 110 11947464930680729885 2437 64 378 5 m 111 00877411616330532456 2505 39 447 4 m 112 16911877353487333783 2058 51 378 4 m 113 10717700546857880026 1974 42 343 2 m 114 06149270096138117793 1494 72 216 4 m 115 12324359776271922844 1801 29 336 2 m 116 12192916395579817659 598 29 101 2 m 117 13863075520990825774 1749 36 312 2 m 118 17625312411952014437 2052 47 349 4 m 119 07573113630426448400 2272 41 409 4 m 120 17138096969591000607 2254 54 339 4 m 121 14912262290573876674 3388 85 609 4 m 122 14518968876424411753 668 30 115 1 m 123 08397152793400532164 2306 40 402 4 m 124 12483862340993682371 1118 24 208 1 m 125 02130009668967485334 637 28 110 1 m 126 02775542104504592557 389 16 64 1 m 127 11842856702219729592 1055 36 181 2 m 128 04472346036184030119 388 16 64 1 m 129 17228367033255016106 486 19 76 1 m 130 06294741513602364209 1059 31 196 2 m 131 09285327342599802860 383 19 68 1 m 132 13029345845477532107 667 30 115 1 m 133 10037548897683990270 853 27 148 2 m 134 03323219670661897717 1689 51 276 3 m 135 11458328475317620832 997 41 165 2 m 136 16231644733488218671 1985 40 369 4 m 137 12160601096730244242 2270 56 402 4 m 138 00523197234807106809 1980 32 348 2 m 139 14326570901483663380 419 30 81 1 m 140 00690733890785075411 808 41 170 2 m 141 01294392888667222886 382 16 64 1 m 142 08114420497813808189 1822 46 297 2 m 143 01729639283577594632 707 20 119 2 m 144 04189723101239091639 1047 36 181 2 m 145 18201275787021301626 485 19 76 1 m 146 09640743488068339649 627 28 110 1 m 147 16998694110353612092 1046 36 181 2 m 148 09908170196674750683 583 25 102 1 m 149 13632640575967548622 1485 72 216 4 m 150 03938511730377857925 850 27 148 2 m 151 07065002561838764720 1992 48 357 4 m 152 13680711731732863551 2789 52 477 4 m 153 10905850339221708642 2234 60 374 4 m 154 07448342016360096649 1007 63 195 3 m 155 00361629384802318180 3308 39 607 3 m 156 12342337493313247715 1064 28 195 3 m 157 11184700834796759862 376 16 64 1 m 158 06523810375948772301 379 16 64 1 m 159 16126346728818638680 3407 44 615 4 m 160 14728306399705992135 2710 32 487 3 m 161 11120242968559668298 3181 60 533 4 m 162 09750529190005710929 897 23 144 2 m 163 09555511104434626188 622 28 110 1 m 164 13615181226976187371 2698 40 479 3 m 165 02441982204537542302 321 15 55 1 m 166 17392497306475879701 375 16 64 1 m 167 05420194561786562816 2592 38 456 3 m 168 07127782792074876495 894 23 144 2 m 169 02053509909493866034 2603 38 413 5 m 170 11649536139633417753 531 26 98 1 m 171 10300411145294836404 3226 72 569 3 m 172 06000195208730277619 1104 38 217 2 m 173 00703568177370756870 2604 38 413 5 m 174 05778793807207458653 1997 43 352 3 m 175 16526457314015661992 1928 57 331 3 m 176 09210334692063369687 1261 23 210 3 m 177 18126007916381500698 2353 45 426 2 m 178 16343421117585947873 2352 45 426 2 m 179 15540127957175735260 1486 28 268 1 m 180 09486158505002836731 1678 45 323 3 m 181 00513239746065706094 477 19 76 1 m 182 09892245887186723493 372 19 68 1 m 183 17441131798924014416 2356 46 444 3 m 184 07498816518273480287 2355 46 444 3 m 185 04341480500249800962 1541 45 287 1 m 186 00265394662233906345 2618 48 481 4 m 187 01188043304384848388 1982 48 357 4 m 188 17195938920918562819 3223 72 569 3 m 189 14899155725453088470 2474 59 452 3 m 190 16379472561226804973 3303 52 565 4 m 191 08944909847775253496 619 18 123 2 m 192 10861871109525375975 332 14 55 2 m 193 09434364036720931306 468 19 76 1 m 194 06924813914611113329 273 15 55 1 m 195 08518265403674557740 2986 54 533 4 m 196 16492840416900765195 1520 29 243 2 m 197 09211635854225970750 1004 44 179 2 m 198 05965597243453877301 1812 33 303 2 m 199 17148095437664457120 1811 36 341 3 m 200 00172326438289767023 1006 39 186 2 m 201 09816716523784640466 3224 72 569 3 m 202 02010228211376119609 3286 39 607 3 m 203 02184953223016285524 726 37 115 2 m 204 10754695844886224147 2349 46 444 3 m 205 16011593758704929446 677 33 89 2 m 206 09885693374531877501 478 25 93 1 m 207 16826867884145265736 1109 43 204 2 m 208 13205064033750524407 2001 48 349 3 m 209 15257124007547011770 3997 54 715 4 m 210 10763411626403480065 1817 40 324 2 m 211 18177217813645302396 1472 72 216 4 m 212 12041019055572430107 2250 28 426 4 m 213 07210785632450204686 1784 27 321 3 m 214 01103626573364476357 3299 52 565 4 m 215 13515355195867751408 1810 33 303 2 m 216 08424746125653058175 1828 47 335 4 m 217 14241182551881519778 3514 72 519 5 m 218 16352058108252562889 1253 37 229 3 m 219 09983590576746945700 859 33 157 2 m 220 01812860229320255011 1626 36 285 3 m 221 07656600678528553590 3673 67 629 4 m 222 06795671642269338125 1083 23 187 2 m 223 02727427893689874584 2025 89 327 4 m 224 15981513045598280711 1195 52 229 3 m 225 01287400967384262538 1951 39 339 2 m 226 12059897117076204177 713 37 115 2 m 227 02424060895735409612 340 17 68 1 m 228 01337667655468165163 1197 44 225 2 m 229 01901673957405910494 2981 54 533 4 m 230 04702870090058206037 1672 27 316 2 m 231 13405528343920126528 1671 27 316 2 m 232 03911925110615223951 3289 52 565 4 m 233 13899052817039499634 3332 53 633 4 m 234 00391051201640591449 2006 47 349 4 m 235 17258147278181951476 715 37 115 2 m 236 17526122982654497587 2325 39 426 2 m 237 09573717476173246022 1986 48 349 3 m 238 12669398212773846429 613 29 119 2 m 239 14979951946874951912 1076 23 187 2 m 240 13901391829106555415 3221 43 597 3 m 241 16987080409000763482 1715 36 312 2 m 242 13169669126627104545 1986 48 349 3 m 243 07544753756051960092 1293 39 251 2 m 244 04046472552733034299 1984 48 349 3 m 245 17766468815132183470 1821 47 335 4 m 246 18404723215657083109 539 24 98 1 m 247 12629072806586868880 1576 45 305 4 m 248 15550580325818965663 1998 33 361 3 m 249 13286359571106808898 2804 58 529 4 m 250 04882690510527315689 693 31 128 1 m 251 11660572782265739076 832 23 161 2 m 252 17008931031139001411 3458 69 581 5 m 253 08311152794380312086 754 13 119 1 m 254 17773686443485836589 1583 32 284 2 m 255 12360896170341510456 1070 23 187 2 m 256 15542372758944168999 3281 52 565 4 m 257 10831322904156925226 3772 85 634 4 m 258 00440268218778224561 534 24 98 1 m 259 17401726562417781356 661 33 89 2 m 260 05273909571686664779 2369 67 415 3 m 261 10193986425043813758 454 19 76 1 m 262 04440172267897092725 625 28 110 1 m 263 11753806196016648928 1995 33 361 3 m 264 13572046839942574767 420 21 85 1 m 265 03498100846455192338 533 24 98 1 m 266 03260767152019935609 611 44 123 1 m 267 02077424066909149844 623 28 110 1 m 268 08393295795872405843 334 17 68 1 m 269 16053797637399781862 3277 52 565 4 m 270 11718431673001742525 1071 23 187 2 m 271 16778421388564477320 495 20 81 1 m 272 03119118403159515703 3276 52 565 4 m 273 17099065303552200186 743 13 119 1 m 274 10732886250268949569 1307 60 217 3 m 275 01555159408199767996 587 28 110 1 m 276 06851086799834870107 1069 23 187 2 m 277 11294210252657693518 1000 44 191 2 m 278 01213867403592013829 1939 39 339 2 m 279 07290490803988346160 1185 38 204 2 m 280 12982147177449368255 1196 55 178 3 m 281 01395915130150471138 680 28 106 1 m 282 05754058367893432329 3738 36 650 5 m 283 04731413745796366820 590 36 106 1 m 284 06489233458592264803 2967 54 533 4 m 285 16045821697793522102 1520 40 276 2 m 286 05950813407571521613 588 36 106 1 m 287 05507327031486165464 1809 47 335 4 m 288 07717396058822667335 1824 35 335 4 m 289 00325960964800135882 3736 36 650 5 m 290 14056785394920158417 1468 47 294 3 m 291 07713843442566936844 1803 47 335 4 m 292 08856488452577426539 2439 59 452 3 m 293 16164209891154130206 682 30 123 1 m 294 05940316018241599893 2147 56 376 3 m 295 11775180061699263360 1981 33 361 3 m 296 09297140628674037455 1982 33 361 3 m 297 14433905238913131698 1465 47 294 3 m 298 14920133431906615961 2146 56 376 3 m 299 11398243443253648692 1054 41 174 2 m 300 09639579429530267507 609 28 110 1 m 301 08465375286526223750 1980 33 361 3 m 302 11870690620986987485 1181 38 204 2 m 303 11189107351023395368 701 31 119 1 m 304 13997615466234075735 728 13 119 1 m 305 03951275743764056986 3961 54 715 4 m 306 10172596960261796193 1646 51 276 3 m 307 06421904004554591836 1256 57 230 2 m 308 02962891126893587323 823 16 139 1 m 309 04501672290941283054 1775 52 322 3 m 310 08484715928092614437 1125 24 208 1 m 311 01364123986032350672 3621 31 674 3 m 312 00058890667001431775 2435 59 452 3 m 313 09992193322290124674 2339 34 425 4 m 314 13340753196536635689 2780 57 455 5 m 315 11006010600806591620 1334 30 232 2 m 316 16354885722949898371 555 22 89 1 m 317 14809139535601640790 729 13 119 1 m 318 07763795866766949229 1735 42 304 2 m 319 15320734201077040760 1022 40 191 3 m 320 01413977497658600551 2131 48 363 4 m 321 13208190335320549482 2090 86 357 4 m 322 02259387297670853105 979 18 168 1 m 323 04166493914770839468 606 28 110 1 m 324 13308558158427061899 981 18 168 1 m 325 16571740635498886334 1118 40 196 2 m 326 12123914407594821813 1338 30 232 2 m 327 13857651492236416032 1534 43 278 1 m 328 02828025472403483375 715 32 89 2 m 329 13915910871718436434 2088 86 357 4 m 330 16483696557967770553 1164 26 229 3 m 331 00364197591800836052 1117 40 196 2 m 332 10100163194550244755 1797 47 335 4 m 333 12270227801361971494 2645 32 487 3 m 334 10268860242598930173 2648 32 487 3 m 335 04742898378585038536 1007 28 195 3 m 336 16837876037361820279 1047 23 187 2 m 337 07979454519230323002 775 34 152 2 m 338 15410445019128166017 727 18 119 1 m 339 14894565406215066876 1114 40 196 2 m 340 18133003966742295963 2215 62 378 4 m 341 02897643723418964622 1867 62 314 4 m 342 12877448876675577413 2212 62 378 4 m 343 02311601360216671856 1602 61 267 3 m 344 17153412434541900543 2773 57 455 5 m 345 10081330428039018786 2772 57 455 5 m 346 02770179469701638729 581 29 119 2 m 347 09307356905795118884 2079 50 406 2 m 348 01245884922202324643 2826 34 522 3 m 349 07808943530237862134 2939 32 456 5 m 350 17101929291546941069 608 27 106 1 m 351 12247288690997340952 808 16 139 1 m 352 17702072877118782599 1293 36 234 2 m 353 01548222656797924874 1386 27 258 1 m 354 06076854615552655121 957 41 182 2 m 355 05064349019354777164 3250 52 565 4 m 356 12961854717105311915 1117 34 191 2 m 357 15258407978868720734 2125 56 376 3 m 358 14841495248492734421 1045 23 187 2 m 359 15917808064916794560 1046 23 187 2 m 360 15700948635312660239 2851 58 498 4 m 361 04412103800424982514 1779 37 330 3 m 362 14523438753130992857 1040 23 187 2 m 363 04266744201879261812 1383 27 258 1 m 364 04095697296724118451 1033 31 198 1 m 365 00571498839471299782 2077 62 353 4 m 366 01970768821425588765 2415 59 452 3 m 367 08673119082506906472 702 32 89 2 m 368 15130756376379718295 1037 23 187 2 m 369 10679122557634180826 783 30 149 2 m 370 02664529359512374177 1904 42 341 3 m 371 16784934481070582684 2333 67 415 3 m 372 14411301648282505147 1848 66 328 3 m 373 08180516286252927534 3520 41 661 4 m 374 18128808169380666725 1903 42 341 3 m 375 11298149234245633808 949 38 170 2 m 376 09575711951397957407 2090 40 378 4 m 377 00871275113008769730 657 28 106 1 m 378 17209496658760680297 1380 27 258 1 m 379 11392032647653814724 1908 39 339 2 m 380 02973272040054471875 654 28 106 1 m 381 13479821951341030550 851 30 132 2 m 382 05982124497318871469 939 38 170 2 m 383 15540257636167851960 458 20 81 1 m 384 04737303152563281063 1374 27 258 1 m 385 06487979972652999594 2071 86 357 4 m 386 06222142968496364593 1412 36 254 3 m 387 08244335732384285932 1772 47 335 4 m 388 14054296628372157131 2072 62 353 4 m 389 15661590346140984318 1131 33 144 2 m 390 13090645919605741301 1316 30 232 2 m 391 18175704732656948576 1767 37 330 3 m 392 12871308939040138031 652 28 106 1 m 393 02396302902472278418 2602 61 444 4 m 394 05185560467615921657 1394 62 285 3 m 395 01120478382511523092 2472 71 416 5 m 396 10675914705752150483 971 25 145 2 m 397 09148413518607290470 1103 30 195 2 m 398 10092627596983598397 1684 33 347 4 m 399 01841216903953008648 1483 40 276 2 m 400 13857706393918251703 3240 37 616 4 m 401 01658150534469739642 1675 52 297 3 m 402 15301607073539731649 594 37 102 2 m 403 15326702669938774588 3507 41 661 4 m 404 11302170231005034971 2250 47 385 4 m 405 17255085117207925198 2067 62 353 4 m 406 03884010590393177221 1899 42 341 3 m 407 14013982264637102000 750 24 136 2 m 408 12140714160051682111 648 28 106 1 m 409 03779635710786497634 593 37 102 2 m 410 02249125386617891977 701 42 115 2 m 411 11098777074712726628 2248 47 385 4 m 412 07969323668365806307 697 42 115 2 m 413 08041656324305160246 3573 60 599 5 m 414 14122449179634515149 2649 46 468 4 m 415 12818153651195339864 1141 38 213 2 m 416 04735040661122862279 1944 33 361 3 m 417 13446045739658033482 834 30 132 2 m 418 14098336443321403729 617 12 109 1 m 419 06206330605436146572 1184 23 210 3 m 420 18023045188949206251 1141 31 200 2 m 421 15515259413053952926 1705 42 304 2 m 422 07942705851475105301 979 18 168 1 m 423 14448533049889246720 1715 38 290 2 m 424 14129669203743258447 1302 30 232 2 m 425 06990610907584195378 1156 52 170 2 m 426 04069036864573974297 1124 43 182 3 m 427 04895023677028255668 2605 61 436 3 m 428 02051730055541516275 222 13 46 1 m 429 01091053326950814726 1703 25 314 4 m 430 02671770143748014173 3043 44 563 5 m 431 00520972418177168552 1092 34 191 2 m 432 17115907282245180119 3039 48 552 4 m 433 05524788626147746330 1138 31 200 2 m 434 17996069082359391713 1128 49 200 2 m 435 07116664722134304988 654 31 119 1 m 436 11542504556994147323 1666 24 296 2 m 437 06061052929709025646 1661 31 297 1 m 438 06434333232104856485 571 27 106 1 m 439 02964136206208792656 1343 44 250 3 m 440 08409650163183572831 2712 65 494 4 m 441 13338601316597661186 656 31 119 1 m 442 07063630458329146793 1189 35 225 4 m 443 02898144215541118724 1231 57 191 3 m 444 15890394344972183811 1229 57 191 3 m 445 12570782287172367318 1176 23 210 3 m 446 09641910653200828397 1664 24 296 2 m 447 15427520276959820024 2231 47 385 4 m 448 14164206848809290983 1656 31 297 1 m 449 14243109859577503466 1884 42 341 3 m 450 14666608970095134321 1641 30 287 1 m 451 13030484975234036268 2052 62 353 4 m 452 07208970838675924747 656 31 119 1 m 453 04749588240576762686 1642 30 287 1 m 454 14577561972792812853 1970 43 352 3 m 455 00545475231831299744 478 22 64 2 m 456 13238158198739360623 2708 65 494 4 m 457 09334731596595274962 2313 39 426 2 m 458 00195229629724043321 829 30 132 2 m 459 06206464370713614932 1600 45 310 3 m 460 15809432793286544915 1639 30 287 1 m 461 13348985506813700006 511 22 89 1 m 462 09245828411019268989 1654 31 297 1 m 463 06058665613509882184 1110 43 182 3 m 464 16861669665655694071 2219 41 409 4 m 465 00482285858396843962 731 24 136 2 m 466 15894898281630608129 534 21 85 1 m 467 06693926381324898172 3250 49 575 5 m 468 00803842175776800283 669 32 89 2 m 469 16002212143677296910 3069 44 501 4 m 470 11444738390012932805 1653 31 297 1 m 471 09180074074093398256 1077 34 191 2 m 472 16663429421869941631 1433 42 254 4 m 473 17987325530387898274 1062 21 198 1 m 474 02089830083240603337 1108 43 182 3 m 475 04825476950598447524 922 30 153 2 m 476 13983459512384542499 2592 61 436 3 m 477 08968833197466103670 2589 61 436 3 m 478 16342252237995238157 258 13 51 1 m 479 01721674715041947032 398 21 76 1 m 480 01709475597227187463 954 36 178 2 m 481 01058613079929246858 394 14 55 1 m 482 06756496057465983889 561 27 106 1 m 483 07249303014621454540 1783 36 322 4 m 484 00738329858282912043 1553 42 276 3 m 485 14959612982182814430 359 15 55 1 m 486 07904055065406850133 3358 44 615 4 m 487 01757289569690070848 1735 69 331 4 m 488 17407022773951303567 2024 51 365 2 m 489 03964284959735393906 552 23 85 1 m 490 11486876262826359129 2930 49 547 4 m 491 07288800356964056308 421 23 89 1 m 492 18057147928986010675 1102 43 182 3 m 493 10216508473136106310 2420 32 384 4 m 494 04223083481524074141 4611 67 812 5 m 495 09218569637894995432 388 14 55 1 m 496 18314884239681452823 424 19 76 1 m 497 01944131023355972954 632 31 119 1 m 498 05163038478793080865 1063 48 195 2 m 499 18056730392940865052 1499 36 278 1 m 500 08028650379135047739 680 26 106 1 m 501 06604278392189700270 382 14 55 1 m 502 14421146311102667237 2020 51 365 2 m 503 06248434149870610832 1330 34 239 2 m 504 15197245254944047007 1863 49 347 4 m 505 00053357741244387650 2017 51 365 2 m 506 17678703439147812841 544 23 85 1 m 507 10925559519142558788 1062 48 195 2 m 508 07681763385301062979 3055 44 501 4 m 509 10905219896819333910 1418 42 254 4 m 510 09227213163198402093 3075 46 558 3 m 511 06156995998617440824 2234 42 404 4 m 512 06263137919519980839 631 31 119 1 m 513 02006920267438938666 1878 34 336 2 m 514 10852613677894119601 1093 33 144 2 m 515 18359159073656495980 2392 45 404 4 m 516 03801995983096503115 2762 34 522 3 m 517 14107857223768621694 3055 44 501 4 m 518 02456670260331131765 2864 48 522 3 m 519 12140817967326697440 1540 38 262 2 m 520 05690229375313892271 2417 32 384 4 m 521 14587100676803954706 2230 42 404 4 m 522 02699899868122733177 2229 42 404 4 m 523 06595011817889230740 2200 47 385 4 m 524 02829615366839962195 1053 48 195 2 m 525 05071489610703240934 1322 34 239 2 m 526 03815851520180775357 550 27 106 1 m 527 03708255031100299912 2987 84 481 3 m 528 12261169663671821111 2415 32 384 4 m 529 06672114947118873338 1488 40 276 4 m 530 07578142453697209665 2326 39 445 2 m 531 01783502093945474236 1540 38 262 2 m 532 06611734468807623259 2425 71 416 5 m 533 05116392279905800270 561 22 89 1 m 534 13812707485859254533 2939 39 513 5 m 535 17872606314407262768 1533 61 267 3 m 536 05676080259190115263 3134 43 573 4 m 537 00999999418623955682 2380 45 404 4 m 538 16635367591666413833 1723 41 327 3 m 539 02926832215989278436 557 27 102 1 m 540 15078898505561760611 2526 48 407 4 m 541 14650707381329008310 2565 55 475 3 m 542 06881605962071853389 2564 55 475 3 m 543 04176440248956950232 2984 84 481 3 m 544 10820937726522404167 655 30 123 1 m 545 00445404605367988170 929 47 161 2 m 546 02320240218484973009 531 23 85 1 m 547 17364517297515884044 1176 34 238 2 m 548 03162041024980831595 1568 30 293 3 m 549 08606201779683045918 609 28 110 1 m 550 15908430251968213653 583 44 123 1 m 551 09469347128140353664 1210 43 237 3 m 552 15481199373920675791 1731 38 310 4 m 553 06368349088328561074 1362 43 237 3 m 554 08706626309686889369 1444 57 241 3 m 555 17178196444214489652 2773 38 507 3 m 556 18011860583981211763 778 30 149 2 m 557 01239144998652576390 1716 41 327 3 m 558 08211276025928346845 598 25 102 1 m 559 04846931064106174248 1047 48 195 2 m 560 03529451602567060311 2374 45 404 4 m 561 15014697092789024922 589 28 106 1 m 562 05192662002836265569 1320 44 216 3 m 563 07427430633964012380 5047 75 882 4 m 564 07207779370829626491 475 22 89 1 m 565 07032692958956234734 1318 44 216 3 m 566 16986472082537027621 2447 40 451 4 m 567 04100503348528454352 1525 38 262 2 m 568 02708681315791529951 2445 40 451 4 m 569 09812136431602885762 2980 84 481 3 m 570 03954922162440448553 2994 48 552 4 m 571 16493653550491451780 1205 45 221 2 m 572 06015058516142883203 2833 53 525 4 m 573 16554683713157808726 5043 75 882 4 m 574 03058113587547788397 2798 35 505 3 m 575 11506334667756530552 500 21 85 1 m 576 04859033063832710503 1316 44 216 3 m 577 06509623086824019306 2210 42 404 4 m 578 02733740284221692657 2989 48 552 4 m 579 07257993251535604908 1952 58 361 4 m 580 14015405215580704651 2972 84 481 3 m 581 03659786418454688190 2797 35 505 3 m 582 09704993331406225845 1028 37 174 2 m 583 12804364813781915936 2158 51 393 4 m 584 01520354967920905199 1233 52 204 2 m 585 18382273038241049426 765 18 129 1 m 586 06784176927441407161 1852 57 331 3 m 587 00611474665314403540 673 34 123 1 m 588 11406874195538724499 2149 60 374 4 m 589 01036153642835990054 1441 44 267 3 m 590 09814800752126492669 2308 42 443 4 m 591 13657545014367585224 3543 61 627 4 m 592 00441269332553229175 1433 57 241 3 m 593 15430686269120284218 2250 36 385 3 m 594 05286307755941748609 2310 42 443 4 m 595 17069324688936716796 2919 39 513 5 m 596 11443326698046293659 1715 38 310 4 m 597 08549328784440266638 1936 61 318 4 m 598 14237885270980505413 1157 21 198 1 m 599 17005755681102302064 2366 45 404 4 m 600 04284570999221457919 1892 40 369 4 m 601 01161702557238068770 1716 43 313 3 m 602 14406458716250567497 1510 38 262 2 m 603 05437703187980975140 1320 41 225 3 m 604 07920160111356555171 2145 54 339 4 m 605 00966559120470621686 1428 57 241 3 m 606 16250393419787267981 596 31 119 1 m 607 10258096623657717784 1103 34 190 3 m 608 01718863474965396871 2170 40 412 4 m 609 09605341136554412810 3713 49 646 4 m 610 08875731703767246865 885 22 139 1 m 611 17532451324078848844 1033 30 185 2 m 612 01056699466480443819 2213 40 409 3 m 613 08954301626536460638 1336 42 230 2 m 614 06988211914294288597 774 36 157 2 m 615 01151565682648199616 1318 41 225 3 m 616 06655369577675030543 1507 38 262 2 m 617 13245573992731964658 3541 60 599 5 m 618 00170028203612610009 638 29 119 1 m 619 16085360584660281204 573 28 106 1 m 620 02071175349396094131 1504 38 262 2 m 621 08746088746928077254 1642 38 290 2 m 622 12871372458507379485 1126 48 195 2 m 623 06977510195999936616 288 18 51 1 m 624 18340649253853723543 288 18 51 1 m 625 10128821109771314138 574 25 102 1 m 626 15345843027087226017 3393 69 581 5 m 627 01631365652008460444 637 29 119 1 m 628 15652987150458446011 486 21 85 1 m 629 14800921157436458798 1480 43 246 3 m 630 11486828373105825381 1821 41 305 4 m 631 14650786840598498320 3648 60 652 4 m 632 08257085332811141151 1169 43 182 3 m 633 15720824471046944706 1014 48 195 2 m 634 12646470434983824489 2206 40 409 3 m 635 02955622068177110724 1313 41 225 3 m 636 14171844238273048003 2531 67 411 4 m 637 10594136806876481942 3649 60 652 4 m 638 12622726643964058285 1309 41 225 3 m 639 13707603915992138936 884 41 165 2 m 640 00779144873755450791 1012 48 195 2 m 641 08475136680498958506 742 18 129 1 m 642 13436051156877886769 601 25 102 1 m 643 04221036670960040428 3912 94 659 5 m 644 17576601034622305227 797 44 128 2 m 645 12839075955965812990 1373 42 254 4 m 646 14416973095403786229 953 46 161 2 m 647 01889787854640765536 1271 40 192 3 m 648 14694740569919620143 2772 35 505 3 m 649 15848650502225071762 2203 40 409 3 m 650 17407085265054039801 1310 41 225 3 m 651 04011684353108564500 442 21 76 1 m 652 17193023600018735827 441 21 76 1 m 653 10436835023758224742 794 44 128 2 m 654 13246201569989547581 1724 40 324 2 m 655 01558857863267380488 954 46 161 2 m 656 05783865412338426807 1446 39 257 2 m 657 16340489528741728634 1446 39 257 2 m 658 15945462467135281601 1161 43 182 3 m 659 17041257895834142524 950 43 196 2 m 660 01143777844591348443 2603 36 440 5 m 661 06161150208799559374 1153 40 166 3 m 662 18059666649406868869 732 29 119 1 m 663 11360656197259058352 2732 36 463 3 m 664 05325741382815325247 575 22 89 1 m 665 10501225722533689698 1922 58 361 4 m 666 07750470737573033353 324 16 64 1 m 667 01500796844437430628 368 19 76 1 m 668 01024120763698199523 867 22 139 1 m 669 03824117105573733686 2732 36 463 3 m 670 06475102067899979213 2467 50 445 4 m 671 01363151909861411160 2402 64 349 4 m 672 17518776677861297607 718 34 152 2 m 673 01664506345710986826 661 20 114 2 m 674 07422623161367229009 660 20 114 2 m 675 02783448651679385740 304 15 51 1 m 676 09333272707634771435 527 29 119 2 m 677 01586996607097147550 5002 75 882 4 m 678 02276916418920533781 1027 32 187 2 m 679 15718470463282795264 727 18 129 1 m 680 13390622358552287311 1366 45 238 2 m 681 04368702010325825586 731 18 129 1 m 682 09584482739477049369 731 18 129 1 m 683 05185531788234628276 303 15 51 1 m 684 16919183996902725875 1471 43 278 1 m 685 00666306638708388102 491 25 93 1 m 686 03609995181465573725 1593 38 294 3 m 687 16119562640343734696 617 25 93 1 m 688 13147053110557727703 648 31 119 1 m 689 10979391607552134938 2470 48 407 4 m 690 16248486545202859745 492 25 93 1 m 691 02414457346171174364 1908 61 318 4 m 692 03009776495436678395 647 31 119 1 m 693 13308742642163754606 1682 43 313 3 m 694 07608997665382225061 4998 75 882 4 m 695 15862261861957713232 3751 63 680 4 m 696 04801811771525953631 1910 58 361 4 m 697 13368901287574260482 2183 42 320 4 m 698 12781097846186487465 3198 56 579 4 m 699 09896045986058144772 2436 52 364 5 m 700 17195093915542002179 486 25 93 1 m 701 06629796564612485334 1519 43 268 1 m 702 12945496332348661997 2353 51 412 2 m 703 12451746390090014200 657 42 119 1 m 704 15929738637783797223 2468 48 407 4 m 705 17010893872816032746 2436 52 364 5 m 706 09094063549538905969 2180 42 320 4 m 707 02576533001776523052 1153 21 198 1 m 708 11856847956968470539 993 29 178 1 m 709 07015731016955760702 992 29 178 1 m 710 15703501476443954741 1574 39 273 2 m 711 13493711408086358944 707 33 128 1 m 712 00233149337508133999 1237 37 216 2 m 713 04027821325757854162 1573 39 273 2 m 714 18150500567705940281 1795 41 305 4 m 715 02988978155105726292 470 28 76 1 m 716 02316393975370940179 2459 46 403 4 m 717 03426712128936723622 322 14 55 1 m 718 03575065483594263677 2281 42 413 3 m 719 03996562553714939464 2386 64 349 4 m 720 08728557369860924407 1230 37 216 2 m 721 15675171402888502458 2360 71 416 5 m 722 17750009124940911617 1975 32 376 4 m 723 06514665163221763196 945 46 161 2 m 724 09281339725931073307 1744 54 293 3 m 725 04516670259663228430 467 28 76 1 m 726 12626614399234223045 2165 38 380 3 m 727 04593521967172087280 2869 54 533 4 m 728 00876238682287334527 3504 60 599 5 m 729 15221339758633168034 1895 61 318 4 m 730 10084658440456222665 3880 94 659 5 m 731 05487854980402939556 1178 22 208 1 m 732 07434210058550675491 1898 61 318 4 m 733 18198987102308519030 2381 39 449 4 m 734 07284472781682441229 1896 61 318 4 m 735 18069656242544263832 2471 48 407 4 m 736 10823209362275016199 1784 41 305 4 m 737 04938171426066448778 3200 59 610 4 m 738 07732768712135736465 2268 42 413 3 m 739 07717406770399204812 3182 56 579 4 m 740 05510612866475444779 2278 42 413 3 m 741 10200386094385717214 645 42 119 1 m 742 15433713197461339477 2972 44 501 4 m 743 08819969274709423168 3197 59 610 4 m 744 14388745088266039439 3195 59 610 4 m 745 06639861134284503922 622 20 110 2 m 746 13790938012860842585 3195 59 610 4 m 747 17794691339220521460 1668 38 310 4 m 748 15571165656089769267 2047 68 353 4 m 749 15744479808721659974 2265 42 413 3 m 750 14042560182341947293 2270 42 413 3 m 751 15482004918221038312 2265 42 413 3 m 752 11763457393251580951 623 28 122 2 m 753 03613972220566387290 456 28 76 1 m 754 08487206860045117729 2862 45 502 4 m 755 06490091389381597980 1776 41 305 4 m 756 08151490751330216251 1775 41 305 4 m 757 15052987588741973422 2268 42 413 3 m 758 12078817899025732325 2499 42 459 3 m 759 07088957054302711440 2045 68 353 4 m 760 09784999904972791967 414 20 72 1 m 761 10217387004483362370 2233 39 385 3 m 762 06645028259838873833 1664 38 310 4 m 763 05797766150820254020 1776 41 305 4 m 764 03752657710683588163 2260 42 413 3 m 765 10913742636324739094 2672 48 469 5 m 766 10467590523041179437 2351 61 377 4 m 767 11628066275098556216 462 18 51 2 m 768 09944467988945681959 462 21 85 1 m 769 08130913451938039594 591 29 119 1 m 770 17560606887935859121 547 22 89 1 m 771 04305994880631346284 2040 68 353 4 m 772 16060302143161445451 798 34 153 2 m 773 12171924165980356478 591 29 119 1 m 774 13244388708415925365 544 22 89 1 m 775 08737377264866991328 2837 86 509 3 m 776 03881725794678879407 1122 43 182 3 m 777 17286007005137638674 407 20 72 1 m 778 13704888453098087289 1882 58 361 4 m 779 08727054905536234644 1547 45 259 3 m 780 14071392209632623443 2494 42 459 3 m 781 16309968268338519014 1330 45 238 2 m 782 10635397245007315645 1261 37 227 2 m 783 13866806420698300296 1431 43 246 3 m 784 06550404698759226423 1880 61 318 4 m 785 04632378795994966010 2846 45 502 4 m 786 03028563979638885953 1510 51 242 2 m 787 12755786839809032636 1340 40 237 4 m 788 17821870466002162523 626 42 119 1 m 789 07887861261785075022 2766 38 499 4 m 790 09004530892068555269 2216 63 426 4 m 791 00118186951936687920 2766 38 499 4 m 792 16740028391535865023 2036 68 353 4 m 793 14908630682555703266 3170 39 574 4 m 794 05299194504627223049 1288 43 237 3 m 795 06186521751242402788 1248 30 212 3 m 796 05273315921954739299 1247 30 212 3 m 797 03962660888237126582 502 28 110 1 m 798 01265701923619005005 3131 50 575 4 m 799 01718811401365126104 2311 90 386 4 m 800 14188445476021300807 1539 45 259 3 m 801 14617092336439925962 2638 56 479 3 m 802 08518772838040389329 2721 34 522 3 m 803 01253357762052956940 1967 29 350 2 m 804 13053314590325972587 1062 34 182 2 m 805 07277895890514898718 1715 54 293 3 m 806 07141840549001227157 1711 54 293 3 m 807 08249098109740832128 2029 68 353 4 m 808 05975108056378345679 900 47 161 2 m 809 01799242605239090866 1002 38 179 2 m 810 06358034759493670041 1975 59 356 4 m 811 12375379586269431604 1916 51 305 3 m 812 03986113517549932915 2235 71 421 4 m 813 01168943095456653190 2300 62 394 3 m 814 13863759895314974173 1556 38 294 3 m 815 11722724139682982952 1965 29 350 2 m 816 01908276525336190039 2717 35 505 3 m 817 15814407864949597594 1644 38 310 4 m 818 02050165742188839777 1960 29 350 2 m 819 02069715214460287068 302 20 51 1 m 820 06018599960828595579 1969 59 356 4 m 821 17985043040364012782 2845 39 513 5 m 822 14134529677483577637 670 16 106 2 m 823 08464317511240048592 1971 59 356 4 m 824 09461917227640621279 426 16 64 1 m 825 11638716311821463938 1956 29 350 2 m 826 14802257097054827305 2310 51 412 2 m 827 04419714948549039748 983 37 182 2 m 828 10652218165680910979 2307 51 412 2 m 829 06065620073157484374 1963 48 306 4 m 830 07464802801749814637 1749 41 305 4 m 831 09693406010908856440 1532 45 259 3 m 832 14786456710621867623 2467 32 452 3 m 833 10200154159491334762 1953 29 350 2 m 834 13589347146921657329 1020 52 170 2 m 835 14454398120909504940 2431 34 461 3 m 836 06733780024377778315 2458 52 433 3 m 837 08870942546006093502 2458 52 433 3 m 838 08254392326996589237 1527 45 259 3 m 839 15964502907194236448 1055 31 200 2 m 840 00534801409948806383 1457 25 218 2 m 841 07178285193357178962 386 20 72 1 m 842 18415500803199210937 2827 45 502 4 m 843 07792241537744312788 3049 58 510 4 m 844 07753417080922126227 420 16 64 1 m 845 05715569179075359526 2117 38 380 3 m 846 14280683642131798269 833 34 149 2 m 847 13020239950546774216 2101 55 382 5 m 848 08317083084257780855 2114 38 380 3 m 849 06019659447503893306 418 16 64 1 m 850 11938326175455856769 2296 51 412 2 m 851 17464953898039000828 417 16 64 1 m 852 13083592836053309339 1230 30 212 3 m 853 11906407890580671630 2746 38 499 4 m 854 06131488697987770437 1895 51 305 3 m 855 10335855548134314096 2677 36 463 3 m 856 06682060939565643007 656 16 106 2 m 857 16750960500923618082 4240 46 763 4 m 858 04710247020206652489 684 33 128 1 m 859 07269335056814739748 683 33 128 1 m 860 04543993705878642851 356 15 59 1 m 861 03921439449095592694 2146 47 385 4 m 862 00298723054434584717 1204 38 200 2 m 863 13650219637636789528 3089 48 561 4 m 864 18154033831769767559 1050 34 182 2 m 865 03501825494305257482 951 30 157 2 m 866 11666071365999317265 2673 36 463 3 m 867 02340072270561456204 2676 36 463 3 m 868 08529388887878808235 1302 31 236 2 m 869 01532352485034835550 950 30 157 2 m 870 04640374256315210197 2674 36 463 3 m 871 04981502130566903488 292 15 51 1 m 872 04585232281625616655 1951 51 365 2 m 873 01089323932726231538 2541 52 374 4 m 874 09191271564702738137 2823 45 502 4 m 875 05285798289721605236 2109 60 370 3 m 876 14491719384318913971 1624 38 310 4 m 877 07176674938277385926 1623 38 310 4 m 878 11671548945924848669 2819 45 502 4 m 879 14183009261913879912 2816 32 456 5 m 880 00984062747245608087 1256 43 237 3 m 881 17800971146476769498 1236 34 200 2 m 882 17285937004173811105 631 23 89 1 m 883 13871097182867871132 1235 34 200 2 m 884 02669524229160661435 1000 19 178 1 m 885 17493795995611120686 826 37 152 2 m 886 00749847081938931557 2614 29 409 4 m 887 06568170563055030544 497 27 102 1 m 888 00520307183623205151 1000 19 178 1 m 889 02978033910771369154 3324 41 579 3 m 890 12844338181800318313 1231 34 200 2 m 891 05888809808276364228 1312 41 242 3 m 892 17087522134172147395 766 23 136 2 m 893 12246474800635651734 873 46 161 2 m 894 02468426004332655533 348 19 76 1 m 895 00390383846279604664 2666 36 463 3 m 896 01854084493859217063 1196 38 200 2 m 897 06510557654560767402 2101 60 370 3 m 898 17697421316316327473 2661 36 500 3 m 899 02903704216794148588 1942 29 350 2 m 900 04246826956678911179 443 19 76 1 m 901 01958070276543225342 1606 38 290 2 m 902 00660663343887927541 995 19 178 1 m 903 07336487031972323168 1000 19 178 1 m 904 10278354821320860975 2266 62 394 3 m 905 14621550075518458770 782 17 129 1 m 906 14397819784159610873 642 27 110 1 m 907 13098809495204146964 996 19 178 1 m 908 12071486683123987411 2663 36 463 3 m 909 09424868689146661478 1429 30 305 3 m 910 06522958344089939773 995 19 178 1 m 911 07854388222894576136 2085 47 372 3 m 912 13907308905474499767 1222 41 225 3 m 913 04495642417775165050 2092 60 370 3 m 914 15052490803289752257 1997 33 352 4 m 915 13951778893015825468 1429 58 262 3 m 916 02722838338569493467 316 15 59 1 m 917 17794685345798409166 708 18 129 1 m 918 00944550655538857605 1876 51 305 3 m 919 01956311548084429232 955 27 178 2 m 920 02742876034529541439 968 38 179 2 m 921 15661264836533552738 642 16 106 2 m 922 13310630876699901577 467 19 76 1 m 923 09831578912640235108 1436 43 238 3 m 924 12668122781154536675 1503 33 268 1 m 925 15165408930043511350 1594 33 268 2 m 926 03871273886100975309 460 23 85 1 m 927 01789130047310966360 641 16 106 2 m 928 04474858828382719687 2262 62 394 3 m 929 08672588629670138698 2721 38 499 4 m 930 05086252416755112785 935 30 157 2 m 931 16653996677649366412 1879 51 305 3 m 932 03670365408530597611 3310 41 579 3 m 933 10660866946289061278 1213 22 208 1 m 934 12904911109885233173 2442 42 459 3 m 935 02194225072467728384 930 30 157 2 m 936 09684490215771765071 1899 32 376 4 m 937 08390050788341187890 1421 44 187 3 m 938 02631590785826830617 1936 62 346 2 m 939 13899010052724879796 423 25 76 1 m 940 04038158361757305331 2440 42 459 3 m 941 16564202226307829254 1002 19 178 1 m 942 09160027662338290269 2586 46 475 4 m 943 04290413254614400680 2747 23 478 4 m 944 17297458600781733079 808 29 157 2 m 945 14294808779194498074 1897 32 376 4 m 946 13091026864634836961 2375 41 417 2 m 947 14532721200809931484 1451 42 276 3 m 948 00578881544036472315 451 23 72 1 m 949 09684596160172761966 1006 19 178 1 m 950 16756861238980300197 1009 19 178 1 m 951 07006683809209877072 2198 42 413 3 m 952 12673787687735859551 461 19 76 1 m 953 05404069896411158530 3095 78 526 5 m 954 12858911381089859497 1001 19 178 1 m 955 12203486342430040324 984 28 174 2 m 956 18369453781964016387 1007 19 178 1 m 957 07540283484817829334 1007 19 178 1 m 958 14745551229643143661 1058 21 198 1 m 959 13592492966500582136 2341 49 416 4 m 960 05323084512346459879 628 16 106 2 m 961 12340403684620630250 803 29 157 2 m 962 11977083581209008241 796 31 128 1 m 963 16914302366482439212 1709 42 311 3 m 964 17994498883346909451 1709 42 311 3 m 965 04514411690272345406 2356 34 435 2 m 966 17241384328063899445 2856 30 561 4 m 967 01041982700361031840 3423 41 624 3 m 968 15628329329206730095 3022 46 587 4 m 969 16932701289769025234 1060 51 217 2 m 970 18023190068385397305 1566 48 300 4 m 971 00517552398204961876 1810 38 340 4 m 972 16484488378466725907 996 19 178 1 m 973 13991586585040363942 1594 37 280 3 m 974 10902377354119234941 1453 52 259 3 m 975 01940984856145017672 997 19 178 1 m 976 13137343492728300791 544 32 89 2 m 977 12802264765794847162 824 33 93 2 m 978 05579035977206988033 1099 55 229 2 m 979 00513269393776146812 3391 47 557 4 m 980 07027388735745187867 1914 62 346 2 m 981 14374959934982376206 1150 46 202 2 m 982 06593899341329802437 371 16 64 1 m 983 04914424257910780656 2474 67 411 4 m 984 00243408578351531391 1498 38 294 3 m 985 12711572628875671970 3416 41 624 3 m 986 08378406898237194441 2106 39 374 2 m 987 13757348856964553636 2236 75 407 4 m 988 09464489468267346211 632 29 119 1 m 989 15754800877990898038 1297 54 204 4 m 990 14104486011343475981 446 19 76 1 m 991 04442925662858487704 1808 38 340 4 m 992 14958177245034864391 787 31 128 1 m 993 17339462498598366858 1534 38 267 2 m 994 17828451943838885265 2724 23 478 4 m 995 07665073828681452236 2387 40 360 3 m 996 12392079158863076139 1516 31 276 3 m 997 01504142453490556126 2353 41 417 2 m 998 12787202105650853461 1049 51 217 2 m 999 03587023563408292160 565 24 98 1 m 1000 06402307180218831247 1501 37 229 3 m ---------------------------------------------------------------------------- m generated 1000 traces: 1000 ok 100%, 0 failed 0%, 1000 executed m solved 2492: 251 sat 10%, 1388 unsat 56%, 1492 incremental 60%, 0 oom 0% test/mbt/run.sh: all tests succeeded test/mbt/run.sh: consider to run 'mobical' for longer (without argument) make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- API testing in '../build' --------------------------------------------------------- test/api/run.sh: using CXX=g++ test/api/run.sh: using CXXFLAGS=-fPIC -Wall -Wextra -g -DLOGGING test/api/run.sh: running API test 'parcompwrite' g++ -fPIC -Wall -Wextra -g -DLOGGING -pthread -o ../build/test-api-parcompwrite.o -c ../test/api/parcompwrite.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -pthread -o ../build/test-api-parcompwrite ../build/test-api-parcompwrite.o -L../build -lcadical ../build/test-api-parcompwrite # 0 ... ok (zero exit code) test/api/run.sh: running API test 'newdelete' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-unit.o -c ../test/api/unit.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example.o -c ../test/api/example.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example ../build/test-api-example.o -L../build -lcadical ../build/test-api-example # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_constraint' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example_constraint.o -c ../test/api/example_constraint.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example_constraint ../build/test-api-example_constraint.o -L../build -lcadical ../build/test-api-example_constraint # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_tracer' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example_tracer.o -c ../test/api/example_tracer.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-example_tracer ../build/test-api-example_tracer.o -L../build -lcadical ../build/test-api-example_tracer # 0 ... ok (zero exit code) test/api/run.sh: running API test 'terminate' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-learn.o -c ../test/api/learn.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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++ -fPIC -Wall -Wextra -g -DLOGGING -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build -lcadical ../build/test-api-cipasir # 0 ... ok (zero exit code) test/api/run.sh: running API test 'incproof' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-incproof.o -c ../test/api/incproof.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-incproof ../build/test-api-incproof.o -L../build -lcadical ../build/test-api-incproof # 0 ... ok (zero exit code) test/api/run.sh: running API test 'apitrace' g++ -fPIC -Wall -Wextra -g -DLOGGING -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp g++ -fPIC -Wall -Wextra -g -DLOGGING -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: 15 ok, 0 failed make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' make: Entering directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' --------------------------------------------------------- CNF testing in '../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: external proof checking with '../build/lrat-trim' test/cnf/run.sh: running CNF test core 'empty' ../build/cadical \ ../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'empty' ../build/cadical \ ../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol ../build/test-cnf-core-empty.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'empty' ../build/cadical \ ../test/cnf/empty.cnf --check -r ../test/cnf/empty.sol --lrat ../build/test-cnf-core-empty.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'false' ../build/cadical \ ../test/cnf/false.cnf --check ../build/test-cnf-core-false.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/false.cnf ../build/test-cnf-core-false.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'false' ../build/cadical \ ../test/cnf/false.cnf --check --lrat ../build/test-cnf-core-false.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/false.cnf ../build/test-cnf-core-false.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'false' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/false.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit0' ../build/cadical \ ../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'unit0' ../build/cadical \ ../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol ../build/test-cnf-core-unit0.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'unit0' ../build/cadical \ ../test/cnf/unit0.cnf --check -r ../test/cnf/unit0.sol --lrat ../build/test-cnf-core-unit0.prf # 10 ...ok (solution file checked after parsing) 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 core 'unit1' ../build/cadical \ ../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol ../build/test-cnf-core-unit1.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'unit1' ../build/cadical \ ../test/cnf/unit1.cnf --check -r ../test/cnf/unit1.sol --lrat ../build/test-cnf-core-unit1.prf # 10 ...ok (solution file checked after parsing) 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 core 'unit2' ../build/cadical \ ../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol ../build/test-cnf-core-unit2.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'unit2' ../build/cadical \ ../test/cnf/unit2.cnf --check -r ../test/cnf/unit2.sol --lrat ../build/test-cnf-core-unit2.prf # 10 ...ok (solution file checked after parsing) 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 core 'unit3' ../build/cadical \ ../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol ../build/test-cnf-core-unit3.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'unit3' ../build/cadical \ ../test/cnf/unit3.cnf --check -r ../test/cnf/unit3.sol --lrat ../build/test-cnf-core-unit3.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'unit4' ../build/cadical \ ../test/cnf/unit4.cnf --check ../build/test-cnf-core-unit4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit4.cnf ../build/test-cnf-core-unit4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'unit4' ../build/cadical \ ../test/cnf/unit4.cnf --check --lrat ../build/test-cnf-core-unit4.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/unit4.cnf ../build/test-cnf-core-unit4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit5' ../build/cadical \ ../test/cnf/unit5.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'unit5' ../build/cadical \ ../test/cnf/unit5.cnf --check ../build/test-cnf-core-unit5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit5.cnf ../build/test-cnf-core-unit5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'unit5' ../build/cadical \ ../test/cnf/unit5.cnf --check --lrat ../build/test-cnf-core-unit5.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/unit5.cnf ../build/test-cnf-core-unit5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit6' ../build/cadical \ ../test/cnf/unit6.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'unit6' ../build/cadical \ ../test/cnf/unit6.cnf --check ../build/test-cnf-core-unit6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit6.cnf ../build/test-cnf-core-unit6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'unit6' ../build/cadical \ ../test/cnf/unit6.cnf --check --lrat ../build/test-cnf-core-unit6.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/unit6.cnf ../build/test-cnf-core-unit6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'unit7' ../build/cadical \ ../test/cnf/unit7.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'unit7' ../build/cadical \ ../test/cnf/unit7.cnf --check ../build/test-cnf-core-unit7.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/unit7.cnf ../build/test-cnf-core-unit7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'unit7' ../build/cadical \ ../test/cnf/unit7.cnf --check --lrat ../build/test-cnf-core-unit7.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/unit7.cnf ../build/test-cnf-core-unit7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'unit7' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/unit7.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sub0' ../build/cadical \ ../test/cnf/sub0.cnf --check # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'sub0' ../build/cadical \ ../test/cnf/sub0.cnf --check ../build/test-cnf-core-sub0.prf # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'sub0' ../build/cadical \ ../test/cnf/sub0.cnf --check --lrat ../build/test-cnf-core-sub0.prf # 10 ...ok (without solution file) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'sat0' ../build/cadical \ ../test/cnf/sat0.cnf --check ../build/test-cnf-core-sat0.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/sat0.cnf ../build/test-cnf-core-sat0.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'sat0' ../build/cadical \ ../test/cnf/sat0.cnf --check --lrat ../build/test-cnf-core-sat0.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/sat0.cnf ../build/test-cnf-core-sat0.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'sat0' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat0.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sat1' ../build/cadical \ ../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat1' ../build/cadical \ ../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol ../build/test-cnf-core-sat1.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat1' ../build/cadical \ ../test/cnf/sat1.cnf --check -r ../test/cnf/sat1.sol --lrat ../build/test-cnf-core-sat1.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat2' ../build/cadical \ ../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol ../build/test-cnf-core-sat2.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat2' ../build/cadical \ ../test/cnf/sat2.cnf --check -r ../test/cnf/sat2.sol --lrat ../build/test-cnf-core-sat2.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat3' ../build/cadical \ ../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol ../build/test-cnf-core-sat3.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat3' ../build/cadical \ ../test/cnf/sat3.cnf --check -r ../test/cnf/sat3.sol --lrat ../build/test-cnf-core-sat3.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat4' ../build/cadical \ ../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol ../build/test-cnf-core-sat4.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat4' ../build/cadical \ ../test/cnf/sat4.cnf --check -r ../test/cnf/sat4.sol --lrat ../build/test-cnf-core-sat4.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'sat5' ../build/cadical \ ../test/cnf/sat5.cnf --check ../build/test-cnf-core-sat5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/sat5.cnf ../build/test-cnf-core-sat5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'sat5' ../build/cadical \ ../test/cnf/sat5.cnf --check --lrat ../build/test-cnf-core-sat5.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/sat5.cnf ../build/test-cnf-core-sat5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'sat5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/sat5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'sat6' ../build/cadical \ ../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat6' ../build/cadical \ ../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol ../build/test-cnf-core-sat6.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat6' ../build/cadical \ ../test/cnf/sat6.cnf --check -r ../test/cnf/sat6.sol --lrat ../build/test-cnf-core-sat6.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat7' ../build/cadical \ ../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol ../build/test-cnf-core-sat7.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat7' ../build/cadical \ ../test/cnf/sat7.cnf --check -r ../test/cnf/sat7.sol --lrat ../build/test-cnf-core-sat7.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat8' ../build/cadical \ ../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol ../build/test-cnf-core-sat8.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat8' ../build/cadical \ ../test/cnf/sat8.cnf --check -r ../test/cnf/sat8.sol --lrat ../build/test-cnf-core-sat8.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat9' ../build/cadical \ ../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol ../build/test-cnf-core-sat9.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat9' ../build/cadical \ ../test/cnf/sat9.cnf --check -r ../test/cnf/sat9.sol --lrat ../build/test-cnf-core-sat9.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat10' ../build/cadical \ ../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol ../build/test-cnf-core-sat10.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat10' ../build/cadical \ ../test/cnf/sat10.cnf --check -r ../test/cnf/sat10.sol --lrat ../build/test-cnf-core-sat10.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat11' ../build/cadical \ ../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol ../build/test-cnf-core-sat11.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat11' ../build/cadical \ ../test/cnf/sat11.cnf --check -r ../test/cnf/sat11.sol --lrat ../build/test-cnf-core-sat11.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat12' ../build/cadical \ ../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol ../build/test-cnf-core-sat12.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat12' ../build/cadical \ ../test/cnf/sat12.cnf --check -r ../test/cnf/sat12.sol --lrat ../build/test-cnf-core-sat12.prf # 10 ...ok (solution file checked after parsing) 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 core 'sat13' ../build/cadical \ ../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol ../build/test-cnf-core-sat13.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sat13' ../build/cadical \ ../test/cnf/sat13.cnf --check -r ../test/cnf/sat13.sol --lrat ../build/test-cnf-core-sat13.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full1' ../build/cadical \ ../test/cnf/full1.cnf --check ../build/test-cnf-core-full1.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full1.cnf ../build/test-cnf-core-full1.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full1' ../build/cadical \ ../test/cnf/full1.cnf --check --lrat ../build/test-cnf-core-full1.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full1.cnf ../build/test-cnf-core-full1.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full1' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full1.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full2' ../build/cadical \ ../test/cnf/full2.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full2' ../build/cadical \ ../test/cnf/full2.cnf --check ../build/test-cnf-core-full2.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full2.cnf ../build/test-cnf-core-full2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full2' ../build/cadical \ ../test/cnf/full2.cnf --check --lrat ../build/test-cnf-core-full2.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full2.cnf ../build/test-cnf-core-full2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full2.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full3' ../build/cadical \ ../test/cnf/full3.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full3' ../build/cadical \ ../test/cnf/full3.cnf --check ../build/test-cnf-core-full3.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full3.cnf ../build/test-cnf-core-full3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full3' ../build/cadical \ ../test/cnf/full3.cnf --check --lrat ../build/test-cnf-core-full3.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full3.cnf ../build/test-cnf-core-full3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full3.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full4' ../build/cadical \ ../test/cnf/full4.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full4' ../build/cadical \ ../test/cnf/full4.cnf --check ../build/test-cnf-core-full4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full4.cnf ../build/test-cnf-core-full4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full4' ../build/cadical \ ../test/cnf/full4.cnf --check --lrat ../build/test-cnf-core-full4.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full4.cnf ../build/test-cnf-core-full4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full5' ../build/cadical \ ../test/cnf/full5.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full5' ../build/cadical \ ../test/cnf/full5.cnf --check ../build/test-cnf-core-full5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full5.cnf ../build/test-cnf-core-full5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full5' ../build/cadical \ ../test/cnf/full5.cnf --check --lrat ../build/test-cnf-core-full5.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full5.cnf ../build/test-cnf-core-full5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full6' ../build/cadical \ ../test/cnf/full6.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full6' ../build/cadical \ ../test/cnf/full6.cnf --check ../build/test-cnf-core-full6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full6.cnf ../build/test-cnf-core-full6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full6' ../build/cadical \ ../test/cnf/full6.cnf --check --lrat ../build/test-cnf-core-full6.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full6.cnf ../build/test-cnf-core-full6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'full7' ../build/cadical \ ../test/cnf/full7.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'full7' ../build/cadical \ ../test/cnf/full7.cnf --check ../build/test-cnf-core-full7.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/full7.cnf ../build/test-cnf-core-full7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'full7' ../build/cadical \ ../test/cnf/full7.cnf --check --lrat ../build/test-cnf-core-full7.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/full7.cnf ../build/test-cnf-core-full7.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'full7' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/full7.cnf # 20 ...test/cnf/run.sh: running CNF test core 'regr000' ../build/cadical \ ../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'regr000' ../build/cadical \ ../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol ../build/test-cnf-core-regr000.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'regr000' ../build/cadical \ ../test/cnf/regr000.cnf --check -r ../test/cnf/regr000.sol --lrat ../build/test-cnf-core-regr000.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'elimclash' ../build/cadical \ ../test/cnf/elimclash.cnf --check ../build/test-cnf-core-elimclash.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/elimclash.cnf ../build/test-cnf-core-elimclash.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'elimclash' ../build/cadical \ ../test/cnf/elimclash.cnf --check --lrat ../build/test-cnf-core-elimclash.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/elimclash.cnf ../build/test-cnf-core-elimclash.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'elimclash' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/elimclash.cnf # 20 ...test/cnf/run.sh: running CNF test core 'elimredundant' ../build/cadical \ ../test/cnf/elimredundant.cnf --check # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'elimredundant' ../build/cadical \ ../test/cnf/elimredundant.cnf --check ../build/test-cnf-core-elimredundant.prf # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'elimredundant' ../build/cadical \ ../test/cnf/elimredundant.cnf --check --lrat ../build/test-cnf-core-elimredundant.prf # 10 ...ok (without solution file) 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 core 'block0' ../build/cadical \ ../test/cnf/block0.cnf --check ../build/test-cnf-core-block0.prf # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'block0' ../build/cadical \ ../test/cnf/block0.cnf --check --lrat ../build/test-cnf-core-block0.prf # 10 ...ok (without solution file) 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 core 'prime4' ../build/cadical \ ../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol ../build/test-cnf-core-prime4.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime4' ../build/cadical \ ../test/cnf/prime4.cnf --check -r ../test/cnf/prime4.sol --lrat ../build/test-cnf-core-prime4.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime9' ../build/cadical \ ../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol ../build/test-cnf-core-prime9.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime9' ../build/cadical \ ../test/cnf/prime9.cnf --check -r ../test/cnf/prime9.sol --lrat ../build/test-cnf-core-prime9.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime25' ../build/cadical \ ../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol ../build/test-cnf-core-prime25.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime25' ../build/cadical \ ../test/cnf/prime25.cnf --check -r ../test/cnf/prime25.sol --lrat ../build/test-cnf-core-prime25.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime49' ../build/cadical \ ../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol ../build/test-cnf-core-prime49.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime49' ../build/cadical \ ../test/cnf/prime49.cnf --check -r ../test/cnf/prime49.sol --lrat ../build/test-cnf-core-prime49.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime121' ../build/cadical \ ../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol ../build/test-cnf-core-prime121.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime121' ../build/cadical \ ../test/cnf/prime121.cnf --check -r ../test/cnf/prime121.sol --lrat ../build/test-cnf-core-prime121.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime169' ../build/cadical \ ../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol ../build/test-cnf-core-prime169.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime169' ../build/cadical \ ../test/cnf/prime169.cnf --check -r ../test/cnf/prime169.sol --lrat ../build/test-cnf-core-prime169.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime361' ../build/cadical \ ../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol ../build/test-cnf-core-prime361.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime361' ../build/cadical \ ../test/cnf/prime361.cnf --check -r ../test/cnf/prime361.sol --lrat ../build/test-cnf-core-prime361.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime289' ../build/cadical \ ../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol ../build/test-cnf-core-prime289.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime289' ../build/cadical \ ../test/cnf/prime289.cnf --check -r ../test/cnf/prime289.sol --lrat ../build/test-cnf-core-prime289.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime529' ../build/cadical \ ../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol ../build/test-cnf-core-prime529.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime529' ../build/cadical \ ../test/cnf/prime529.cnf --check -r ../test/cnf/prime529.sol --lrat ../build/test-cnf-core-prime529.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime841' ../build/cadical \ ../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol ../build/test-cnf-core-prime841.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime841' ../build/cadical \ ../test/cnf/prime841.cnf --check -r ../test/cnf/prime841.sol --lrat ../build/test-cnf-core-prime841.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime961' ../build/cadical \ ../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol ../build/test-cnf-core-prime961.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime961' ../build/cadical \ ../test/cnf/prime961.cnf --check -r ../test/cnf/prime961.sol --lrat ../build/test-cnf-core-prime961.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime1369' ../build/cadical \ ../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol ../build/test-cnf-core-prime1369.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime1369' ../build/cadical \ ../test/cnf/prime1369.cnf --check -r ../test/cnf/prime1369.sol --lrat ../build/test-cnf-core-prime1369.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime1681' ../build/cadical \ ../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol ../build/test-cnf-core-prime1681.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime1681' ../build/cadical \ ../test/cnf/prime1681.cnf --check -r ../test/cnf/prime1681.sol --lrat ../build/test-cnf-core-prime1681.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime1849' ../build/cadical \ ../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol ../build/test-cnf-core-prime1849.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime1849' ../build/cadical \ ../test/cnf/prime1849.cnf --check -r ../test/cnf/prime1849.sol --lrat ../build/test-cnf-core-prime1849.prf # 10 ...ok (solution file checked after parsing) 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 core 'prime2209' ../build/cadical \ ../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol ../build/test-cnf-core-prime2209.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'prime2209' ../build/cadical \ ../test/cnf/prime2209.cnf --check -r ../test/cnf/prime2209.sol --lrat ../build/test-cnf-core-prime2209.prf # 10 ...ok (solution file checked after parsing) 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 core 'factor2708413neg' ../build/cadical \ ../test/cnf/factor2708413neg.cnf --check ../build/test-cnf-core-factor2708413neg.prf # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'factor2708413neg' ../build/cadical \ ../test/cnf/factor2708413neg.cnf --check --lrat ../build/test-cnf-core-factor2708413neg.prf # 10 ...ok (without solution file) 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 core 'factor2708413pos' ../build/cadical \ ../test/cnf/factor2708413pos.cnf --check ../build/test-cnf-core-factor2708413pos.prf # 10 ...ok (without solution file) test/cnf/run.sh: running CNF test core 'factor2708413pos' ../build/cadical \ ../test/cnf/factor2708413pos.cnf --check --lrat ../build/test-cnf-core-factor2708413pos.prf # 10 ...ok (without solution file) 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 core 'sqrt2809' ../build/cadical \ ../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol ../build/test-cnf-core-sqrt2809.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt2809' ../build/cadical \ ../test/cnf/sqrt2809.cnf --check -r ../test/cnf/sqrt2809.sol --lrat ../build/test-cnf-core-sqrt2809.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt3481' ../build/cadical \ ../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol ../build/test-cnf-core-sqrt3481.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt3481' ../build/cadical \ ../test/cnf/sqrt3481.cnf --check -r ../test/cnf/sqrt3481.sol --lrat ../build/test-cnf-core-sqrt3481.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt3721' ../build/cadical \ ../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol ../build/test-cnf-core-sqrt3721.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt3721' ../build/cadical \ ../test/cnf/sqrt3721.cnf --check -r ../test/cnf/sqrt3721.sol --lrat ../build/test-cnf-core-sqrt3721.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt4489' ../build/cadical \ ../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol ../build/test-cnf-core-sqrt4489.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt4489' ../build/cadical \ ../test/cnf/sqrt4489.cnf --check -r ../test/cnf/sqrt4489.sol --lrat ../build/test-cnf-core-sqrt4489.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt5041' ../build/cadical \ ../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol ../build/test-cnf-core-sqrt5041.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt5041' ../build/cadical \ ../test/cnf/sqrt5041.cnf --check -r ../test/cnf/sqrt5041.sol --lrat ../build/test-cnf-core-sqrt5041.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt5329' ../build/cadical \ ../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol ../build/test-cnf-core-sqrt5329.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt5329' ../build/cadical \ ../test/cnf/sqrt5329.cnf --check -r ../test/cnf/sqrt5329.sol --lrat ../build/test-cnf-core-sqrt5329.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt6241' ../build/cadical \ ../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol ../build/test-cnf-core-sqrt6241.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt6241' ../build/cadical \ ../test/cnf/sqrt6241.cnf --check -r ../test/cnf/sqrt6241.sol --lrat ../build/test-cnf-core-sqrt6241.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt6889' ../build/cadical \ ../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol ../build/test-cnf-core-sqrt6889.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt6889' ../build/cadical \ ../test/cnf/sqrt6889.cnf --check -r ../test/cnf/sqrt6889.sol --lrat ../build/test-cnf-core-sqrt6889.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt7921' ../build/cadical \ ../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol ../build/test-cnf-core-sqrt7921.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt7921' ../build/cadical \ ../test/cnf/sqrt7921.cnf --check -r ../test/cnf/sqrt7921.sol --lrat ../build/test-cnf-core-sqrt7921.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt9409' ../build/cadical \ ../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol ../build/test-cnf-core-sqrt9409.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt9409' ../build/cadical \ ../test/cnf/sqrt9409.cnf --check -r ../test/cnf/sqrt9409.sol --lrat ../build/test-cnf-core-sqrt9409.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt10201' ../build/cadical \ ../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol ../build/test-cnf-core-sqrt10201.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt10201' ../build/cadical \ ../test/cnf/sqrt10201.cnf --check -r ../test/cnf/sqrt10201.sol --lrat ../build/test-cnf-core-sqrt10201.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt10609' ../build/cadical \ ../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol ../build/test-cnf-core-sqrt10609.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt10609' ../build/cadical \ ../test/cnf/sqrt10609.cnf --check -r ../test/cnf/sqrt10609.sol --lrat ../build/test-cnf-core-sqrt10609.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt11449' ../build/cadical \ ../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol ../build/test-cnf-core-sqrt11449.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt11449' ../build/cadical \ ../test/cnf/sqrt11449.cnf --check -r ../test/cnf/sqrt11449.sol --lrat ../build/test-cnf-core-sqrt11449.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt11881' ../build/cadical \ ../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol ../build/test-cnf-core-sqrt11881.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt11881' ../build/cadical \ ../test/cnf/sqrt11881.cnf --check -r ../test/cnf/sqrt11881.sol --lrat ../build/test-cnf-core-sqrt11881.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt12769' ../build/cadical \ ../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol ../build/test-cnf-core-sqrt12769.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt12769' ../build/cadical \ ../test/cnf/sqrt12769.cnf --check -r ../test/cnf/sqrt12769.sol --lrat ../build/test-cnf-core-sqrt12769.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt16129' ../build/cadical \ ../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol ../build/test-cnf-core-sqrt16129.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt16129' ../build/cadical \ ../test/cnf/sqrt16129.cnf --check -r ../test/cnf/sqrt16129.sol --lrat ../build/test-cnf-core-sqrt16129.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt63001' ../build/cadical \ ../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol ../build/test-cnf-core-sqrt63001.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt63001' ../build/cadical \ ../test/cnf/sqrt63001.cnf --check -r ../test/cnf/sqrt63001.sol --lrat ../build/test-cnf-core-sqrt63001.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt259081' ../build/cadical \ ../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol ../build/test-cnf-core-sqrt259081.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt259081' ../build/cadical \ ../test/cnf/sqrt259081.cnf --check -r ../test/cnf/sqrt259081.sol --lrat ../build/test-cnf-core-sqrt259081.prf # 10 ...ok (solution file checked after parsing) 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 core 'sqrt1042441' ../build/cadical \ ../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol ../build/test-cnf-core-sqrt1042441.prf # 10 ...ok (solution file checked after parsing) test/cnf/run.sh: running CNF test core 'sqrt1042441' ../build/cadical \ ../test/cnf/sqrt1042441.cnf --check -r ../test/cnf/sqrt1042441.sol --lrat ../build/test-cnf-core-sqrt1042441.prf # 10 ...ok (solution file checked after parsing) 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 # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'ph2' ../build/cadical \ ../test/cnf/ph2.cnf --check ../build/test-cnf-core-ph2.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph2.cnf ../build/test-cnf-core-ph2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'ph2' ../build/cadical \ ../test/cnf/ph2.cnf --check --lrat ../build/test-cnf-core-ph2.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/ph2.cnf ../build/test-cnf-core-ph2.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph2' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph2.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph3' ../build/cadical \ ../test/cnf/ph3.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'ph3' ../build/cadical \ ../test/cnf/ph3.cnf --check ../build/test-cnf-core-ph3.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph3.cnf ../build/test-cnf-core-ph3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'ph3' ../build/cadical \ ../test/cnf/ph3.cnf --check --lrat ../build/test-cnf-core-ph3.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/ph3.cnf ../build/test-cnf-core-ph3.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph3' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph3.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph4' ../build/cadical \ ../test/cnf/ph4.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'ph4' ../build/cadical \ ../test/cnf/ph4.cnf --check ../build/test-cnf-core-ph4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph4.cnf ../build/test-cnf-core-ph4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'ph4' ../build/cadical \ ../test/cnf/ph4.cnf --check --lrat ../build/test-cnf-core-ph4.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/ph4.cnf ../build/test-cnf-core-ph4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph5' ../build/cadical \ ../test/cnf/ph5.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'ph5' ../build/cadical \ ../test/cnf/ph5.cnf --check ../build/test-cnf-core-ph5.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph5.cnf ../build/test-cnf-core-ph5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'ph5' ../build/cadical \ ../test/cnf/ph5.cnf --check --lrat ../build/test-cnf-core-ph5.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/ph5.cnf ../build/test-cnf-core-ph5.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph5' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph5.cnf # 20 ...test/cnf/run.sh: running CNF test core 'ph6' ../build/cadical \ ../test/cnf/ph6.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'ph6' ../build/cadical \ ../test/cnf/ph6.cnf --check ../build/test-cnf-core-ph6.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/ph6.cnf ../build/test-cnf-core-ph6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'ph6' ../build/cadical \ ../test/cnf/ph6.cnf --check --lrat ../build/test-cnf-core-ph6.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/ph6.cnf ../build/test-cnf-core-ph6.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'ph6' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/ph6.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add4' ../build/cadical \ ../test/cnf/add4.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add4' ../build/cadical \ ../test/cnf/add4.cnf --check ../build/test-cnf-core-add4.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add4.cnf ../build/test-cnf-core-add4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add4' ../build/cadical \ ../test/cnf/add4.cnf --check --lrat ../build/test-cnf-core-add4.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add4.cnf ../build/test-cnf-core-add4.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add4' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add4.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add8' ../build/cadical \ ../test/cnf/add8.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add8' ../build/cadical \ ../test/cnf/add8.cnf --check ../build/test-cnf-core-add8.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add8.cnf ../build/test-cnf-core-add8.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add8' ../build/cadical \ ../test/cnf/add8.cnf --check --lrat ../build/test-cnf-core-add8.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add8.cnf ../build/test-cnf-core-add8.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add8' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add8.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add16' ../build/cadical \ ../test/cnf/add16.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add16' ../build/cadical \ ../test/cnf/add16.cnf --check ../build/test-cnf-core-add16.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add16.cnf ../build/test-cnf-core-add16.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add16' ../build/cadical \ ../test/cnf/add16.cnf --check --lrat ../build/test-cnf-core-add16.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add16.cnf ../build/test-cnf-core-add16.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add16' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add16.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add32' ../build/cadical \ ../test/cnf/add32.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add32' ../build/cadical \ ../test/cnf/add32.cnf --check ../build/test-cnf-core-add32.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add32.cnf ../build/test-cnf-core-add32.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add32' ../build/cadical \ ../test/cnf/add32.cnf --check --lrat ../build/test-cnf-core-add32.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add32.cnf ../build/test-cnf-core-add32.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add32' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add32.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add64' ../build/cadical \ ../test/cnf/add64.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add64' ../build/cadical \ ../test/cnf/add64.cnf --check ../build/test-cnf-core-add64.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add64.cnf ../build/test-cnf-core-add64.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add64' ../build/cadical \ ../test/cnf/add64.cnf --check --lrat ../build/test-cnf-core-add64.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add64.cnf ../build/test-cnf-core-add64.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add64' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add64.cnf # 20 ...test/cnf/run.sh: running CNF test core 'add128' ../build/cadical \ ../test/cnf/add128.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'add128' ../build/cadical \ ../test/cnf/add128.cnf --check ../build/test-cnf-core-add128.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/add128.cnf ../build/test-cnf-core-add128.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'add128' ../build/cadical \ ../test/cnf/add128.cnf --check --lrat ../build/test-cnf-core-add128.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/add128.cnf ../build/test-cnf-core-add128.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'add128' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/add128.cnf # 20 ...test/cnf/run.sh: running CNF test core 'prime65537' ../build/cadical \ ../test/cnf/prime65537.cnf --check # 20 ...ok (exit code as expected) test/cnf/run.sh: running CNF test core 'prime65537' ../build/cadical \ ../test/cnf/prime65537.cnf --check ../build/test-cnf-core-prime65537.prf # 20 ...ok (exit code as expected) ../build/drat-trim \ ../test/cnf/prime65537.cnf ../build/test-cnf-core-prime65537.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test core 'prime65537' ../build/cadical \ ../test/cnf/prime65537.cnf --check --lrat ../build/test-cnf-core-prime65537.prf # 20 ...ok (exit code as expected) ../build/lrat-trim \ ../test/cnf/prime65537.cnf ../build/test-cnf-core-prime65537.prf # 0 ...ok (proof checked) test/cnf/run.sh: running CNF test simp 'prime65537' ../build/../scripts/run-simplifier-and-extend-solution.sh \ ../test/cnf/prime65537.cnf # 20 ...test/cnf/run.sh: CNF testing results: 282 ok, 0 failed make: Leaving directory '/usr/src/RPM/BUILD/cadical-2.1.1/test' + exit 0 Processing files: cadical-2.1.1-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.68349 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd cadical-2.1.1 + DOCDIR=/usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + export DOCDIR + rm -rf /usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + /bin/mkdir -p /usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + cp -prL README.md NEWS.md VERSION CONTRIBUTING.md /usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + chmod -R go-w /usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + chmod -R a+rX /usr/src/tmp/cadical-buildroot/usr/share/doc/cadical-2.1.1 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9TXw8b find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.vkWRU7 find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.4)(64bit), libcadical.so.0()(64bit) >= set:qjpnfYYpS7VZ3jNZrwAizci1mBwQkTCyofgeNZ0Q1s6PU9wmoNCIbFNAIlASxZ3zYp9I32RXZzwyTJByegcERSzbLeg4T57YRvfrxLNDZ8FVmvOIAcNm6KhyijC4MZqG3XYw2SH9EgkVDobiUqUMpAS8LpZ0tmz8kR4Z4XUZtFx0Or50Wpv1O2stHg4epdiXJuLfVQqIPfLNPMCG4ejqNlJ98oEjRjhoma9PlceiZuitWc8ttIOMZuQqW6uX0e0MNu6LOC3Xwh6tygEt54j5hf1JJF1BOLgr6i6RH7QZaj, libgcc_s.so.1(GCC_3.0)(64bit), libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(CXXABI_1.3.8)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), libstdc++.so.6(GLIBCXX_3.4.21)(64bit), libstdc++.so.6(GLIBCXX_3.4.26)(64bit), libstdc++.so.6(GLIBCXX_3.4.29)(64bit), libstdc++.so.6(GLIBCXX_3.4.32)(64bit), rtld(GNU_HASH), rtld(GNU_UNIQUE) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.KSPLj6 Creating cadical-debuginfo package Processing files: libcadical0-2.1.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.2vSl9t find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) lib.prov: /usr/src/tmp/cadical-buildroot/usr/lib64/libcadical.so.0: 7853 symbols, 23 bpp warning: hash collision: _ZNSt12_Vector_baseIN9CaDiCraig7AigNodeESaIS1_EE12_Vector_implD1Ev _ZSt4copyIN9__gnu_cxx17__normal_iteratorIPKSt6vectorIiSaIiEES2_IS4_SaIS4_EEEENS1_IPS4_S8_EEET0_T_SD_SC_ warning: hash collision: _ZN9__gnu_cxx5__ops14_Iter_comp_valIN7CaDiCaL18reduce_less_usefulEEC2EONS0_15_Iter_comp_iterIS3_EE _ZTIN7CaDiCaL15WitnessIteratorE Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.vEoOzq find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Provides: libcadical.so.0()(64bit) = set:qdtC6FvxVivvrZqCFo7rJXQQKObPpWMm9Y96x4cT8HdegZBac9QwiCYMS2M3e1Z2I67x6JeiJG29nJllcNUeVvAwh20HbvAgNKg3xb8A12iQJC1P4lVj5bSyLaLfVhYQpZgY5u4lefajNHhOpkwo1FHzeihHL5uENI7IMCfnySvXXsB9qJYWAjSgqZCNlNfgmnjyzFZBYUtlcFFXu1ai1L5qeS8PPixMMrbZ8bsZ6tRZxOJMdwZgpiuZteOgDxxHzfJ8DJWalsJ5HZy4VyjzY9Q5ZpXQgMldtXdTZp95l2H2AH8f6zEKdj2cbPhYdUFQmJMorKdlqVDRosFbhKqKAdNaPBaG8yEXsEyAGEX38qgqjCVbRxGTJLryA5NlxwxmLZDxvnmkLGGo0CpS86gE0Q3PB9PpyT0px8s8cdik0cdNDoBmqVcZysG6p4EkefxRWgAZDT63Zoabgwn1ibl0PDYqoZsZpZnI16pgVnS12hxLmdIq3SVgSeiiFSTkYwpR5U3N4aUhy9bcQQvqmQOT427IRIidg7qFCfSIEfS3p1KlCz3bZ9R63jwwQUq9qZhTSZ0UBOZzUHpr07Me9NXxlzUq6X3ElVJmHmypW5l7cjqAyHgYqipbM81SQRA4z7RZLWgYatVANBxllVmeTZKnE7q6sqx39i8cgQ0PFIkAnGCvZy57mBmJw2v7XStmYaaaH7IrI1f6dShbyOKOZnhn1qMJPyZE5ZEU6zsi6rBCtULUoE2msm5rQaYpE2LdZrZJikh2uuOHCp6RAS5lRpUEi7rn0PohwfVWU895KpOsjDIFtsbrIA1gGjG3m658JS1NNowQUj1h1ryuAvZaMaiTMKAwRrIQKVZ2rUKj6jSeu5VAiZ8igs91W3Vcx8M9JMMNaokTfqr7P6ZEG7DBGZbEEENDHFKMqXYdBeaQ0r9ZJ5huu1QBQfGkYH6jL01jH0ZkoITwHwlSalmcIeZ8fpiYTUuZuxSS8y2Uleeu5Ux7ZAyIMAhlola2QnFQzSAhgO8sd4cgKdjExZsyyMeWwOgEZhVSKnsqp8ntzyMs5GBlb9H2OGioM5Ut17K2xZHC8aa1M0QNDyuOie4LRMQfMZiDwVhvmZo9DyZqJLau19mFnZ4O3vehKZifeqvGJ8Ah2mtWPmIe1PBYnXq3BqCfHCxr7qPeNW2JI6RJiKhiIF57N6bUufQelXmgkHt8oO1lk4D2EvzCA50OnK9nfZ0qrLtG6lbZGGaNCfhGtWtZ6TT4kNkJx8VhfAnUmNSHexuSTPOL1120FFyWha3a03zywRK9eF8TsZiuE79nQlBDgLNf4tEry3R8y05R0dLovqcW8uIH6nHBNy9PJowkbcEBqZBuZdaLb5HoQleSxZ6XrdGmAk5b7V1OgbsHO3aq1TZDj501kZLyoFwdviqpolJ4Qi4rnfQVHkofef3mDKvmgmxdDFd4lkIjs8oZuJ6Ya0O3VIZt6SJCfSKnV8HQHRKZKMQxHM3N3eKIgVwbk8eBJ8SZrxzbcu64AoQUn714t79m1H8WpXtxCw2Fkua2fZJ6oYvmbmZA4vPHYh5yu2ZbSAMjhPJ9ndsIk7bZ1kZhaUFmbUIF80k7Wp7mwJ1FFYmZ4ouWGVjJ84Fjj3w7MSJhAenpcUwjmhMPxhxAQcoDM1W2k3IgANKatJtNOijHaoqlHqkO25ZgiF8Zwq6qjlyVr7OjfK6rcpHbOO1d4HZqKuu9KYJsZKZBhQeFZaE46XO8ZuSYuyhmWcy6p7sLbRLgRVBgHsHZoC8JEuXQ6xeAMPKGrPnrZcMG1n1dOfFB2XXsgRonaCWdZ4hgpitwfyDiOehhutvoVzHPoUqMWf6bYI7xhNi6z4Ya4gG8VFVU7RN9IcdzObzJVTGpcbaq8IESHEgZoe544M3avEQoQC4Tbrf1AHKViGcvcFzEkEqdIUooA5r6vHV4zYHIMuOofQUH8VZA5LqZaym3bo590B8ohahxPBoVDtFYw6hv11dvgKR9LrVyypirWTFl7HQVW0ZKJS47WoVFJOkw6loobQ8CK51RFF6tPelhWnYRgdfqBRiGnYDAnP4BRABgOXW23hVBSYJNuTDv2mEeED3b5lXHvjmjpyc3m1faJlCkMFhH5MNGrf4sHGPApZ6dWuz2mfLehB1G1ZxXByw7mDrS0zGrEcXaEmSZqU8IBtcfsEO1ast7za9dZbrHrwBge9jhwi4EdUTJvmxS3XQhkxVQEoklwUDoQGEFlEy5czKqYae9NevZ5Zl0qMtDSUkV1P1OOu6kuvG1zoH8Jml1Z7Dtv4NRLDZlNQWosxw9hDp6YGv0W5vyMWh3DoA1FhdHcuI4Pz7DbncQfaakovdjz5yTrwckIhLF8xRPeFApT47zZwZKzBhD1JCEhlhN7m5EVvHn9HB9zwr2WjgA98bpcVijp5NMgoUaZnWJ6J4O3pAgtwAvnkjcQfrV4CZiJ96373jGRCoiRDaNW3xvtA8WyOYgDoiApgxPf32kFvRgZ1QeYh26a4ZHKJ7rV0ZCLqxebJwuuaQW7L2msOhiDZFBEFlCBIPIoIPeCiesNQYSzqi95DZv0leX0SlwV7ALOfZbrzcU60TQPB7lFlBm4hl17PwsYbVIlI0v3fHOquhMqkox82N6OTuXiq5DWBuVYKhV61Q1Pfe3fuuG6sO5o7R7oJ4s2GLwZntWOCQPEw64b5Wto58dHoWYkZd7KgEtBZLB2KJ8lD560jLqCFZIHB8NdPEYU2NUZkPFxRfy1v5k4B3yOW1NwYiMmKG3bP4jacFPVUtwDzKMwK5mDDajztUV2x974RMUL4TSawZe79EwqYsgduL5MXgWb8Yzo3UruZqPInqZ56PjZH71djO04GG4cbjecnbq2MxzniBrdv3G6vJpF0VZskhAocJfHe5yqRPGi7kGevCbkZ9zOZxG7tKluR8hoMerq6mHy7jN73HEROAjVqvFttMZl8KpzFJ98KIPTVUuwcUeVuvabvCIWvReLlTUPr4jSqdd3uNrw4BO2X1m9jxmZptmbIUfa29VRYSDBQBAZKvGcLOmCw18vhnXcI0WWKbsNX1c2Z2GZe3ZxkrOtodxvm9XjqGd6zehSZpak0Hf3HgvH9vRJKPt0w16TGnX6EvkdJ3HojdWG3XZ0H0jCapBhSdfKs8XgPhxHEcoM8hlVCoBkoj0Kd5MXptnsFOcdnVM2LaofZmLlSt3l5nDZsVS6LhqdPZFgnBaWpoMg0MElcmQTzqClz7uo1ACI8sSWpBpk3vQluzO9yvzpZIKyPi8YkhyONyvgAVkSuhllzkEQ7UtXDd9gdwZj7ZjAqyAHugiovVMRNKN4i2iSbJfF2Lr33aEM18wQraLRygAXNUFzspSe4E3v6cXWiPazzBeOqoUCC7u474zgFMNp84K9tf10qArDolSsUBbcReQy41Y61LHioZicnmOOWKqDhnwdjMSRsNOPHZc8VyGawePabhTznS60nlBv4rZo5Ziw6FXkZ1vOdQ4hrsW8NkDClmSNN881iVyXm5ihCl7vzqCVBFsrsH5ZGjRtuZiZ56ytS6tLXBMHKSJn79G7V2ZJ5ZDZny3rDBVZHVU8Vbf3IsWRdCLO1ralJedPtmma2RV2l7qPZs2Upo4ruZzwJMdvbS6xC5jBAhAaHpuAwiUswMbukrExdZoMnn9Sx6e951T41AjOxvLdHr3jcx0Tnr8BpdcRh7bWv5P5KYJXkzk7DYC2jtA6ilfgkhSV65BGRChxnGahZC9JRkrE9DbAfKaG6rzVaN5kiRw2LpO97zcoZlasOmhK5vGUk3B4mW2exjEZb9ZeWvFeZozRhoBmjlaatONDque4RJm6C4Niv7STdLLVdpplepuFf1tSlZmQ7A0ig8YabnfVKQrCja1cx28y9ekJzl9zRjyULdtaWqo9YTSauhQA8RYmuuSpIxkkZ7ID58lCbrlcAs6b8b8Nf0CDFA5SfERISt98xLs91BNsh224pqucchQEWU50vDrxqqOBepPtFBAYAZqdEvZddZ9KzSSW5HKgpzv99vPIWIdkLnqUsJidkrlrRY4WD8O3OjdOcBQxQYXsKhvP2bZLrbJMO9vK2N8JzVuK7YktNs35NflZzZxsA6IFCAt9L4XnB3dXwk6VDUb72XEZJN5Z5Sj25JQLjbYaYBOeHLcaHsLAc97CQOQPIFHixpLu3GBCesgDf4fmBVzi5ewPZiP8AUVncYTLdfrH5dGDhfvxZyPYaXMfVZAQu1QE2FDBHITPgh4VE1gUcUQSA68lf1BtyrtZ9qsYG7qaN7ZqRhjgswLNQ9LH5rN5eV6GKrWQJNJ0Iq9OTOdMz0ClkTfDC4dUJnKehKqTcqGfEJlP0yGPdEYZ5PNu1VjhZJljJiFir21IiAgOhI5QdKR3zkR87F6SfIM351jLSHM3zxJOJ1mZGtReokRCY1EYYNc8Hkq7DemoSe1ix7SBX7DNv0VwcYyGGNyczFNTjJ6sQXSBTUwewJBMPZ9N5Z1gZ8SA0i7qfoZI1h5fOKVa4LYZzGDBA2x2jJKHZwliWIK3PvDPnNwnRDqAZ2bFrTZGKCYzNilx3TfWxguUAB2T98JhOYHsYcUZoXDOYaXZequoF7VBxRjDKVkczIqrBNKy6WDvxuZvwgKBDwNzwwZGsRIvvLQqEhEzjFiRaNucWarBZGs3nyq9PxsQuPrEytO3IASKImP9ehLYM5M3EfJDc421d6vEyLhirzsQYTzpqrMZxGtyEI4S1alUc9JcE49ODhHi8vbwrsFZwipg4TOvzJXK2QGKyJ5hyMweSYZDPzU9chYss3CNxxfXRQZ3LHyIpp3pZtR8pCyypaIJgJdXSVj0xEBQhZy4tC7KiDZkHvMOuyEkJWO7vT2hpW8lfhkXWWaY2GrJubZn29KKA0QBsdS4MAs86nSz3Zq5d1i2zOTt2yTAEV7qVEXVlcoaKCPJfpW8SPsvUrV68m8ZBPTeUuXam3BtZptLm0ryjnBN2JD7aLlkGvgs9V2XHaUAQ3kZIAjPWtzCwR5CZtLGnXBsPuw6j1L3dZq3M9XCXxX5oeIvPuLxUhL9gkaEoRpinnxoxMTCvlNPUBEZogB8MKpsZzs4zNp40mhZzLVIaWCzkB8Nmy2dGTmr9mlXS5ZAyb3FPY28mZLcI7zF4lGlf819XA87kj61DK17Qdgl1pmZnYLgKU3kcxR2F6fc9FqqZ9tpSoHVcs8oeBJC9aw88S6YFKpCbb5zeqfhAGXsovQnyKZjUtabDpC0BCzRrbZ8j1C5zK0HeM9W6VyA6PvJCK4L2JeKgJFYUPiugAProrh0VKVEZfG5I9KtDxIj7rJmZyrHQoSBPRoaub29kGedLZwX5fADOeJxd9n6uBKX1Mpq9FxtkdvVn51d2E3Bi6kzKrokyjNDAkZexAn8pvgQpiwxlJeuZFFxZmGdeogj9VHmAZxp0XbvNOwpzAmH9aA0EEsyIVvkmG1IYRBgm0pGQO2S7cRoYQBONDErnZoDqpsGKbt2Us1nr1PGy1OxcZsniiugtTwPCUYgyps9WBn5WZ89oWVTN9EOJzF745e1zO72HZf2Rhf9us6boIgjkvVrAkKjq8ZpEwZ68YcBz0m5egunj3TZqpR3kM4MPIj7DxuRFqZcaMY2aENE3nbrR85aQCPCdLpPFxwpWJLD8FrTNyoV99mt8y87LjwLz0g6EaznZtHbjNaTE6vKDkXz9vmixtr5jzhwrVM9S526wX2Z9gQVyg6PA836E7APxHPTlvXZIcNxvKa4JZ0P0X8IJ8QlfwWmEYbumVZ91pnyf1l1v37L6MkvC72mvx7CmhZAtHi7Zor2WXfCWMPEbUwrYcEq4njf9a12JmrbaJWNotGG91wZkfixEA2f4ir2GGyxa39LKSHmM6ZxZ2sdFsNya3tyfJbdf1s1rKbxqSNvEwxNviBq95iAxkzWGNfquzh5Z11L4NuTzZp2KVZ4bf2hHjj4dwFnvjJtzjIFSQYiubf0PHm2Z8AVOlkZcuzpuXPRhEs1Dpy4jZzKu65XLNlHdmQmL3LW2m6XScdNZ22WGssmubAe8xbXRYWAW5r2YDjWZ3pBbGkIOCZfYestHykfYviALFkZ8Z47NlsmsIk76oFHYmUOF1jzCNPIaJyrMaUFCZHD5804xynPzoxTHv1sbZoAfGw3hgrqKwA26pqKcAJBddY8MnVrkBiBX7SjZyumbG4PXN5DyjYLLu9gDW4U4JgbZL9p0I42AmJA4Pf2HwyMDMNOLaDRYAB3g476BHhqk7Cy9AUCvf2mLpaxz8OtV0SxukFxarMqjY6BMm4uLYVCxbezRhOvbhyV0Y5sdcY6sgOx3JqlvFmlsAfvefqEV9hhMVndHeafBIlCBEGSSZrLzJCQOGh9pjUPu3Cr7s1mZ8VTsDDoLNG7i85Tp3HagQ0LCt5OJu25k3zEKYikzmgxZn82ZtzoPGhkIzg3HbNeoPmef98IIGgG0RwWAeJ9EjNHYC6xZjELCZ2JTnCMFsR4zoxRBd9GDPhPcyHB54avJozAOlmZ9OrNEQba0i5PJCsYH2nzygzHq4DukmsrI5yHZ0VFPpV9WG9EotqcIDjmqGLzLIrW6l0zyO8NDZei3jJSUYcsye9b7Djs1DbY6O5orACZjOu7E5fTKlyjDDrsQUwSAP5DzxEX9alDzwZoSxDZBLHhygJXBCzMykVdH5B9yQu59ltmswvmC933OZf0qPaHxwY4X1nw5RvWhAOA6PbHK3nblutkoYbiZ2Pi8ZkEZgMTMbAHEInnT5o3EpZ8Ewt8IJGyZvbfZyvs0tU3kTZ1B0WEjexmpXHy4uK6fKP5YFfh8LEmnvipGGIef5s4TMmDZ4VmtGI6waQR017D4Ip2wJhx1qMYoCzU9qskzKquANR2kT8GIWsA2rH9tlmt2zTswln62TZ6x4e6aSA5zFGSU5ZAqhxhieJQthZ2Vq0AZ3iknsQONYlpsQvqg66V5uFefxAWPEXKUNJ6fhbDtxxqHgrXaITzc9YdiylDFeHXydTp8rqrVw0xZd6vGS4tFRyWb6LXamJl8JS1i12tXvGcFNiZpOi2U2qxgaVmljJz7rW046WV3xZwRShsCRrQDx5xYql8ffIzgea3UPsScc52qEFHeX6YIydKomUTQd4ZCH9tWHqnwzoXZ1rZw9lhBfVMOSxZ16JX0DWwVIg3eG6EklXD3EimborcVoKVhnZs6nlU487IcGhlaZicGcbfi4fudeUm0DzE6BxOcSbjOPBnrMtiBemc9zHWnjs5NUHj3lHLHsYADClaC9NlgyojRjsnKoAoOVOf73UXJo3mFMmG36tWQVHXFX6Z2WTtesH7xnXdGENOoGbpQ5M1pEVGqLEC8p2nTyUbUQSwM7rg4mC4eiKx9PigA0zJYk4cfhtZJn9eBkkDfvySFCADiWGqAzCjfcsTSFZBUk5MRFPdzhPy7i7GHC6R24NS5rwvDDM3uf84RPcHcD2KJO5t1vkkH7uDovPrgO7sMy0k4jptXwXXLdZbRe82TsrtFD7pJpfaJkOqozDcU7NXoogeGnda2IAfqdUrgxDgC0HIEcGenvZdwRHh91y5YxZt23cJE1C7PeiydXfyFHTJAaaCbRZLWUjJWPRV1RNooIaqxT921HAb4W5IiSf2I5wUMli5B8zOjUOq95ZitZvtJelfID7M9wfMLEoYBi4hYX7abfh9CMUaYTadFrZqUstWpkiL89v7CebMIOTQxxiUINF9OgalLPzbWAVYYIblWyjbAMDUH9xrZ9LCuVU5Aj2jVwuNJlM2TkfXWCZ6LylldfcTasIRMjj0vzigcoDYtjsekxjdLZ4vLO864HWK7aieaBC1U0lwoBZeF0z8Z4z4wyXo7w9B2mD8V5VwqzcS7LJIcSjjMhOBoch4HiaCSWlV75f8HGygMf9hFFxLmL37GPPrtGQBKy6MbAoEJMIk49jcUGm3qxB2jcq8IlqVN1RPIxnLWj1h5TCxuyL8JChPsgZxkIPBRq0KJyjpyAgEH2M3wEhQhyMcdPGlYZfFRgzoZkzKMGm0ZujpNTziiBUijZE5aZ0Rzuq9qaTfx1lZFdC65iFdbJ5PXSZBsSwDmucD1N4zmTCJDUav9i6KqnlZ43389D0nokdW74xsjMBNWaCZbOPRFl1ZHKfW986hfYQEeMGWtZFUkxZxpC93XDDWJcebQ8ZsE654bD7cVqOnW7dUnEepgXDO9k32oOs6qMY22dQv7gxW3Z7mjNCcR0cUWOioTMEOEstZlZvBX2itY9o3O6LHAI6qYTNzvaXGXCoT6lBAioSodwNZdHWSSpgyPs90czOC54aegqp8UDdtwvZCSa6Kg6shgfBXoB4fxQOmpUoLaBklvSKoBGmtZztSJVusv9rBo6Zp5dZfHlnLfLzGV99zRzEpmEWljlJdpoBBxutV48KOgYfP5VV4WQeKg3w5yrJGz7tiuhuKdCJF3dn4ep5amra4THTR6H9GJMNeP54qufMi5jjZ5MjsZ3lSHHispO6OjgEj0lM8EsHF7Ef51sDzoFMbRnhd82ZHfGd4U9G4WfZ8seNcE99Svrinj3WYUUrLIsfejBG7aHJCbUJsGDfspswQjy3LS0UXZpp6vILAGe3wt19VDg6IWhsXZe9cwz3Rej1tsakByaDRMoy2whCGUpVTYn3nPHpvHE5rKDfmwvxKCtxZLZBHbtRegrrxdFkoelvVZxSvpOZvlPN3KjB75QJhhedT5X2Oxiso5K86fdZ5pGdmjd6LJ8pthBYAe1c4MB9eW5ZuOeePNUpOTzAkT09PRpXYZedIuZdi3jpzGFpQBOh0dwupJLqv7CnlkC4jRZtjOoyotMSiIedhozoFMUU6FMHmsZGms2iaVwAB3zfyw52Z7ZcFMatdEjc4KKfLT2sh7ZaPZgI24AuU5M7O5KNe6AXoBjsUFwNZtNu9DJxC9AZ4SMEuXa8SYh2sJ0jBfMewm2FjHwZwFMtsdFI8QWbZgxwQcoh2cfgW2IcXynZe1ZqUyZ31fSwGqwCjolZEGQ1WxIIPrXPaUsMgF9tZC2a561VEpyzNQwQ1H2phT2jsDiGoMiS7uNAokOAwX8x1nCsVODSEMZgAsH8zg2nPhvCPQ9lIZ4qfuCaW7Of2PceInIZmMtxgJTARLftU4UU98Tzuy1ePgSEVeTP7MSHjZkEkIBWlZhFzcsjOLzeJZ8XTG010n2WsLgh21x6MY4e1AiOar1ZGtTiW7IPTLiekXVk4p61calBqkWyK5AggTrODHIblku1rETh3RDNOE6xH4VdevZE94pTUy58r7HZH7zbAfdFWRtNpxZ2u5XJmYyTdEGtIEtTjizhV9OCHRgqWSYI2bCqemnxUAulK8qveO4TyPhZ8R5NZ3I3HfzIWcVxu3ckvXdLhTnH0peCRGjjTeP4oqZ6ApZnY3Lq2RWBwZ9lROTpobE50U8dFlMVM52QBZlt9RdkiG9y2A3eczSfyTOfgJI7kUG6RKguJj1lwkJI6EpIc3MBg6sCR6v7Skq9nQGJ0FcDw71IvdyOKnILi1qnQDMCFiRE2FZy6gLRx5gmMG0iTkp7I5QXlsGd5oYap9dGDK1mTtGls6VMdvhRAsgTk7s94o33RAsiuIZ9BjCuTzUOCsZ5I3jgSu2cDPZjddNUZnJ0vHqnQaGskANMRH7rIVweHMfnKwEzVGPAmCXONFZIOhTZyQ2xJBREmNZDurrbO9Z4GfT0ZtZhtlcfxvEJukw9kgrywlODH8VGmboq1goMetvPHaEGFUbkZchrAYr83Cx9Tk3ksHklctCkVRTxoeRbY2QjscKwx4WZJs9w3FsDT6EeRVeG9PQwshPgSlJ09MW6xTDsWRbKaUDSspBtou9YSdaIgqI7WvPHXZrweZxYFYK3PZzAZ8o1lZFVMsZm7VdVW9ob8Zvx2JEthLjYWmXbcLskL15QHPZFTtPI8pVN2fOQxWOGcL0hnosQzdhZG4qKfz7C8XC6ZiGs4JH0U39NZbsrSzaZ3GGn8y5dMuq4ByQCcTkdSIWfJNOjOsZkmMkxvOEt3smiAKi2aWxCkR3amRe3G7icSGZzHPUZHcC5IIGJB2RZvYizNGWQUEam41QrvtW5c5YHPxViXPWaTBAxT2jGy2pmfLYkiCLm5XgK0bu8eoSEHIlyqaWQ5ANF1lNOKXxdyZ9E3q9tL6Z2uYrzfwa8SeXBAl5PJXU4q7pYyAI4VsWGxuZI9QfteSxNPypgVEwSE6RnBgvCkIsMQ4huq9V8YWpSgvgZ2zjj8Px9jiwxg8xdiY9QgcGtvWihG8aU2OawWDXeIJqf32L27xCcOwDSjoZhZElmBhnul6AMWTRxrYJE3K9ldUWIOWfH2q4BRHElNHwOIvTRpZHQvjd42P8qrnUBZxFfxpCmMpY1AuEKYzqcpKIrtFpUFlEbChzzdDFjpkadd3e4HzwxJxYNNEHo8wIpQlNUoObbgJli4BiyOl9eJcZfKZ3WQokZpqmAtUsOXjBFCoM4sOlpgxXvkgdddH2meHBHOu7VlCqA2upT2dPsN6YvRUC1Oamm3HGRebZfeckYx3gZgxsmqGn98kcr9b6Z1gdttZksoPTesVYTWsuNhs8geGvHTrKjpzTqzsQ6IbDI0y1ztfX6tdAy5sosK1Zxm1Z2ZnIlFw8MhUWZs0actwt6TitBlgt3tU2sBTgVcS5ryYDAh7LF2hTavDEnZt8nsuZlOVLOypjNQaLfI9fFi4S2s82U77etFyrAEwwTEGt6pX0x1Dxh4Z4Zd8B8hdY2yqZ6MAQZidb6iD5yJd2pERZtBxSuW75FzutKlyDCn4fAZ4ZEmaa9pz6ZEvTfQksuvH2ufoNNKQ2oWiZ7ZFlCi0P0nDLUgoUqeJgwzjZFFPbfsZ7HRkwzl8Zn5lwhdnfQZ5ASF4n7Z8mWsz82xNoFVVJxBsGvTdPQZhS3R5unPIUjOT75NXPl2N7UJBHZLJD2fCkVRtKuPDE9kwCA9f6j7rhB5CCmTG4g6Kmneu1ZovJZjzqHyWnQnFCUBtXqdb6SCZi4ZLCGkYvUqQaI1OgCcacHOpa2tnImrjIu5WEJGOQtt0S4rFWIIhIIisqm7HMwgEG7B09eZ4TBHk59Itg7IQT1kouDLNfi9UiFLAjelJaNfLHdF9nePg3506DKzSfr4fy4sXkdslZ6onEmJ0dAP0VEGimUaJ5lzu8wXL6SML3UR9HwUGaNLxZtWM8afym5hIzZpyKZ5dXZBEbnkQLCQYZaviP3rJB6ewQcQk55Zr7DQ9C1Twbn9pQNlVGJTmuZgHWrO3akzH3dZsFxDVKxdJOtMGGfqZgIEayupv4u1KspCMtwz3SYNAkm1uHdBbCRaEZxJRPqNOnXM7Wnr977rN1qsJyupGIRXPsf687ytukIPHWOJIpeqeRIDcKZhYWAMhuG0WxmGSbqCD5JmG0UiZ8NsSdUje1pPZEJ9E1ghERiHtBARILViPD8Zmtoskesz6gydPduSMpu57nZ7vNC3djLsb4a7nAYFZccnMkEVKJxbSboT5UWiWUdwiTGQLpKeX5Mhc13J8WpzvbHF4FRQxoeZJZupP2uZmiZoaxWOaOO5g2oisxaAyU1eoq4XIby3udXd9zbr3okDqasfbvdBZm5SsUSGShmk7SiPMW7KUSMGKLlawIRPgtBAwy1ZIf041zk3SZ6JLOZlZrNUNv27tFWKNExDSHE0shIYjUcqyWvNNPFZknUYVou4A5fKoUWqbsluZJlQWyQPa6vTojZLgcgaXytn9flZroJQ59wxdJ9yBUoOTF3NdWzGDQ633aDf2ugzEm3i6iaNcZbZlcFdiDYZte4u2K8ZhwiYHbAoOeHvuKx3KWYjsc5kQWbosKsbzPZD4uN2hwhJrIwhSacRC4ZbBPpBWofiPxrC3mv9xRZe9Z5hIegXIZboy7NvFsuw3N2V4XZeypA9Q43QXqqWATPLQ6M0f2BMEbIp8wKCZyuQeMr9DetoFINjoiM9o9lXxhZImQeBEtvZ1m6ZxPqgIyPzrsH1j4cgt1CJBAoiNcvemt3zBBBBPbZrRbVWy0thUTYwKIktSIBJUuwU4KB6JLwPXXIqo10mStDTW9SAbaws1WGVYDulxoIwxQWMg0Er7WZoQbD8THw0JxPI4nndkWjZ1o6olVeSJRuOpapRxcvazjpBQDUQZzLf4oZ4xhZ97kOIQNwXczHAxzHR0ZxE5ghsnRHz6242veLKdbDy89T2QVPNDgU5MpIZ9csLwZ24aD8n6LzCg9aAG4Sb7ksQOoGoidC69NGDZFcjKlWZvfjtFysoRhGOG9SZkKyska6xNOCoYhHODCChUIjWrPs1J7H9q35wgOZdb5Nu635Qyv6VCZeDnwdpHQWryd8l28lVbpgGmcGuwenoDUQeq6o7PAgyT39UKk3h7rjN43r6UTZbrAISQanPODBQ0fT7GAOkE88ek0JdI7rOJvAzzYz5PfZtUnKpY7Ii6OhO87cjvADE9OuQYHvByIERbuu3WvZvy9hHHXSMy1Ly6FJZrr7KYMkxw5oHJFY2SVZjwZFG0YqewZ2CtkcAvX6adZ0RrkjoGCjAKJfgAEClzsi6hfKfiYySRFDhupG87AF0Wj8TZiXtH6qvVpdHfyNSQwhx6FaQg6SFtgZaGXn05zM7piLwNmQq88dyWJhzoNif8jlM65PpzjdzqHvw0oS8qnxs9cIb3vdLxZ8ZC69aAbh1DiIKq4I36kuYB1Zdqw9q1zB17emtLZh0tpQl9rcxqsFrryyPymQFjYnXmPoXMCMKEdYxJNsYjqAyIYZmtwoRBOO4vXLk29YacrfEBh2U9JHctAp2DOOPkjKxN0VgKSRj3mlxhZsu83cYaHNiUcaL0ytdErn88OZaUIRK5KLGvLIV3UbMv8zdZzNl5F15Z8HmzXwjeq1NZ0kb66lAqmstUuyZcv3NsveIA7ifdBc8671vonzGwEluNaHi8hYIq5qYyorLOeEpYzZvVGuWKlfRRtbC4A2pZoBe58NENWxwACawcC2tep09esC2Nk782wJoBiPXhli4RzqXeG2l03WCnYf1eVXe8tibjEximTa3HBJ1IgHgNwW9NAKnvc7dzQtbxKody9pBXD8GrN5pSqy4ahuchbrE4ei13SZE86oP5lPqKIhGHNCZkyjEJiRUFsXqtRLpp0czTmK1aLcRhQ2x3Zem0EndReTfTziaLr49VG48AZEvtDutUo5Av6d6NEZ2L5FXAepd2URwmtrqxBbyHjvu2rw9MRpHQEwvAjHt1TGHypMjbFsR6UnRvRmJJKdAwqlvvz8725tZ9pR7a8whiWU57htoJ4mI242BlNJVVqLozZ99hEPOOJ44xb5oigHJCdb4eQI6bNHBjA0Nb38xxxAktvraxyTPyJhlY9Z3yE0T8gMrnUGWYYsWCdgXCkNGpjCIy9rFeT2apZyqfeQOmJA0n9hZpK6Pb3WWdCcx5ONiccv2LhY91ZeTliaRaK154SFhD1tMSZyhz2wokcFItbfGJF066SrV7MZHqwCIxPu7yYonHWAwW0a5EfzRj58K2j0d1hvjO8Wf9lY3akHQhzIgLXfEpVICeZHktEeUp9Nlhir8tNgp7g3QCoJYxAka0XiJKnRhUwJ8G4Zue5Qtnj3nHXSTA9ewDTIYqKcjxrePCnRzMKo6Fg53OmBxnB2mqp3alT1AoZCsFPFSnm6BCAPdZfZd7XP6dWuVt7kvXLc711C4wfZtXHZbaOpOB7BMDkSZAX1Z3atELAZaUcQjY5iftTvZ7Sv3xPM0ebkoablAPO1YMcfeebYtgudgEjMRjtEqWknARZcHNN9hx0TvUoMZojlVML8zAVhMWWZ8ozWTAtHBczaHh3wslbedN1Z2k4oxN0YgwjAsGo1jqZ4xCpor2RrvYkyqa1zsNbvxYy17X2sarRRKGQr1MpZ2wkugjd2KpnBCC7m1Oku9EfZxrkeVu3umqre6AQfY3Z69iq2qSSnHxXYiSqzZwEZdyPwwMGkUrGidPadGLxzCrQuKFarWvrEZ7PurJG277mtEZEQ7mu054gDNCMF8AYBAjIWyb2WVJ9UYGRopbtF0AhVaDPutLATHAqEakRiRGtAPWXQQhsa2BLZpz1h2ExUJK5mw90I0KK3rMP6MZxC2INAnc728KdLZh0I4lw37ZrECW8JzWOJd2ajOhO5UOZeizamlsWaAj5jm5hx8H4Pn9KwAgvZ9IHPZbJwnhZqaE1MHOZkekDF9i1tnT0XqYx9K4QC7X0I02agZmPzlZCHDBbW8wpshYsTGQnXOtJSvWNGeKGAtXZlCZDZkLHdViWbtvLG9RY7O5DGZhnM62ZyeiC8RwsOjL28kvzBrAEAiqqdWRY4GtNAhRhZEFxBpAiO39MRZtZc8PKEhdrXmjiyI1QljhiEG1G40XeCdKGVTbVPRsUCh6ZEJG3nOvw7yzVtYcOQAihGMncDKGytnwjDb2V3NAgNX96ZicVYpSuiDvARSBtzYGMUpFJv619tFMylIUJZlOTorNHVsf8KBuouqwnEMl4HqZlbcBtJCrObQqFEzUzhMTs9tlzh50q4FEvKqOYmRcgLZ5PfdUnZ2oRnArwNgSlCP5HsB0BmJ45QTgZ7LEaIQqz0PTeNUKrzHOl3Irg8065KXnm3FhheHZ86C7ZsVHXXHvkxqremW5hHi3VxyMzF5lZ7atGfWTojgFFk6uNFpCpdNqMyCOy2kFvoAgZFLrVVR7wMHZrvZrdWJLqHxBD6XNHEfqDjV0La3ybTePqQhRUW8ohR72tsZuDb3Y2ZxdmK0hhthzPdMkxTqFyAC1Qv83KVuvBIeyDAYbngFWbAjAiiBSsgsdgQkjLVwSRGvfXo98yV0TLwr6hepZJmCikjFMIMOZB1i2uq1ANRoBkwXv6VZmFh5Vh6IWdju5GYawBxdpHWFz7ZqqLBPyWPe14asEZBwSQjT8AvaWlxBVIRyCXXJ2APvu5jro7TO6VfhXTRpo3vmcaquzBFyQUIePCAUhKLGY9dtiZC86QgymxzaheLQ4Nyu51oah0lMVz85RPN9G9OFmXPtcCuZccpwJ7Uwf4AGSr1yRvk1nG47TQuSlhdF6YZdndsLQkl22N7zsAFWN27m4RWnRarBD9k8SvfC6x2Z3HAglU4u9rFZ27i2q5hLIZaFNMFEgRGBYNfiJZepxFLU7cIs9CWzBCodcGJIXechjODdXZFmdqpf2t8r5FE3MHxSkg9Fdna2lcQ8G6mZefAqZECfdk4Q6fXaJVrWMcZxjwOY3ZhjcuZIvu2D5yd3Fkhl4ZtmZqcQVyfXxi4QCSxdHrKSzggoNH6zssPPDhXKNEZijkzdiDSWpLyYKYhkMehahYsJd9UKhK2Rs66usma4we0JF7yPijsMJApxeGZ2DNh7FV63SFdOYRaXcllaenzal9bnJXmoCmtIFuQJtbna2lMVPJJwjpVyi5 Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3)(64bit), libc.so.6(GLIBC_2.33)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.38)(64bit), libc.so.6(GLIBC_2.4)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libm.so.6(GLIBC_2.29)(64bit), libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(CXXABI_1.3.8)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), libstdc++.so.6(GLIBCXX_3.4.18)(64bit), libstdc++.so.6(GLIBCXX_3.4.20)(64bit), libstdc++.so.6(GLIBCXX_3.4.21)(64bit), libstdc++.so.6(GLIBCXX_3.4.29)(64bit), libstdc++.so.6(GLIBCXX_3.4.32)(64bit), rtld(GNU_HASH), rtld(GNU_UNIQUE) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.up4e6m Creating libcadical0-debuginfo package Processing files: libcadical-devel-2.1.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.zjF4Pa find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.6OYKXs find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) /usr/src/tmp/cadical-buildroot/usr/include/cadical.hpp:4:10: fatal error: cstdint: No such file or directory 4 | #include | ^~~~~~~~~ compilation terminated. cpp.req: /usr/src/tmp/cadical-buildroot/usr/include/cadical.hpp: cpp failed, trying c++ mode Requires: libcadical0 = 2.1.1-alt1, /usr/lib64/libcadical.so.0.0.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.sRY1hy Processing files: libcadical-devel-static-2.1.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.k1ESkt find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DObFNi find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: libcadical-devel = 2.1.1-alt1, glibc-devel-static Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mODIaD Processing files: cadical-debuginfo-2.1.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.faogdw find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.xaCj61 find-requires: running scripts (debuginfo) Requires: cadical = 2.1.1-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libcadical.so.0), debug64(libgcc_s.so.1), debug64(libstdc++.so.6) Processing files: libcadical0-debuginfo-2.1.1-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.lCiWh8 find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.tcVbot find-requires: running scripts (debuginfo) Provides: debug64(libcadical.so.0) Requires: libcadical0 = 2.1.1-alt1, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libm.so.6), debug64(libstdc++.so.6) Adding to cadical-debuginfo a strict dependency on cadical Adding to libcadical-devel a strict dependency on libcadical0 Adding to libcadical0-debuginfo a strict dependency on libcadical0 Adding to libcadical-devel-static a strict dependency on libcadical-devel Adding to cadical a strict dependency on libcadical0 Adding to cadical-debuginfo a strict dependency on libcadical0-debuginfo Removing from cadical-debuginfo 43 sources provided by libcadical0-debuginfo Removing 2 extra deps from cadical due to dependency on libcadical0 Removing 1 extra deps from libcadical-devel due to dependency on libcadical0 Removing 1 extra deps from cadical-debuginfo due to dependency on libcadical0-debuginfo Removing 14 extra deps from cadical due to repentancy on libcadical0 Removing 3 extra deps from cadical-debuginfo due to repentancy on libcadical0-debuginfo Wrote: /usr/src/RPM/RPMS/x86_64/cadical-2.1.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcadical0-2.1.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcadical-devel-2.1.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcadical-devel-static-2.1.1-alt1.x86_64.rpm (w2T8.xzdio) Wrote: /usr/src/RPM/RPMS/x86_64/cadical-debuginfo-2.1.1-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/libcadical0-debuginfo-2.1.1-alt1.x86_64.rpm (w2T8.xzdio) 179.05user 15.41system 1:54.22elapsed 170%CPU (0avgtext+0avgdata 255888maxresident)k 0inputs+0outputs (0major+2530647minor)pagefaults 0swaps 5.67user 2.37system 2:11.06elapsed 6%CPU (0avgtext+0avgdata 139920maxresident)k 0inputs+0outputs (0major+195178minor)pagefaults 0swaps --- libcadical-devel-static-2.1.1-alt1.x86_64.rpm.repo 2024-12-19 15:16:34.000000000 +0000 +++ libcadical-devel-static-2.1.1-alt1.x86_64.rpm.hasher 2024-12-25 05:26:07.536579042 +0000 @@ -5,3 +5,3 @@ Provides: libcadical-devel-static = 2.1.1-alt1:sisyphus+365443.100.1.1 -File: /usr/lib64/libcadical.a 100644 root:root 3479002f85d6290b668c0b67320a50d4 -RPMIdentity: 1d60394ca3ee9fe6397e2b352f92779e0b2151008248be12e0eeaf4a83288ddd7c6c9f41a7719ce5b73bc589abe481b129036daddf7851e9e57e21e07572f68a +File: /usr/lib64/libcadical.a 100644 root:root d628e923201f3e0c27036f8ec385940d +RPMIdentity: 7b14a59e4fab0d3c501c9007b76a0b226ace8d9e7d68471702c315c031786a2574cc729ac7e78442a1d17a41bd3ecde782bcedb7670a49fdbaf5fbe71e239e94 --- libcadical0-2.1.1-alt1.x86_64.rpm.repo 2024-12-19 15:16:33.000000000 +0000 +++ libcadical0-2.1.1-alt1.x86_64.rpm.hasher 2024-12-25 05:26:07.612579161 +0000 @@ -26,3 +26,3 @@ File: /usr/lib64/libcadical.so.0 120777 root:root libcadical.so.0.0.0 -File: /usr/lib64/libcadical.so.0.0.0 100644 root:root 8bd0be6f1f532197943cb96b2ec3b5e4 -RPMIdentity: c6b43cb313e91c4314eef65055d43cd7907b650bee94cfc3afa98918cde17ebd2d5e107971ea2f117be0869bf357716e175e4325df02d4243e3c50d8a014a552 +File: /usr/lib64/libcadical.so.0.0.0 100644 root:root 42cb9fd606eda395518b91ca8a2498f1 +RPMIdentity: 6bb60131bbc6ede90c9cc02e2395e8ce27df773040a8a0a8d95b8c0a5f9403c5f662bfae087257466525d35571a784da91076ce13a238513d5b434cc92026852 --- libcadical0-debuginfo-2.1.1-alt1.x86_64.rpm.repo 2024-12-19 15:16:33.000000000 +0000 +++ libcadical0-debuginfo-2.1.1-alt1.x86_64.rpm.hasher 2024-12-25 05:26:07.701579300 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/22 40755 root:root -/usr/lib/debug/.build-id/22/b80909aa27a062a6a6d796b16b2faeed2cc1c7 120777 root:root ../../../../lib64/libcadical.so.0.0.0 -/usr/lib/debug/.build-id/22/b80909aa27a062a6a6d796b16b2faeed2cc1c7.debug 120777 root:root ../../usr/lib64/libcadical.so.0.0.0.debug +/usr/lib/debug/.build-id/40 40755 root:root +/usr/lib/debug/.build-id/40/9bb0e708a71c8e6a6ac5be172777bc81797476 120777 root:root ../../../../lib64/libcadical.so.0.0.0 +/usr/lib/debug/.build-id/40/9bb0e708a71c8e6a6ac5be172777bc81797476.debug 120777 root:root ../../usr/lib64/libcadical.so.0.0.0.debug /usr/lib/debug/usr/lib64/libcadical.so.0.0.0.debug 100644 root:root @@ -154,6 +154,6 @@ Provides: libcadical0-debuginfo = 2.1.1-alt1:sisyphus+365443.100.1.1 -File: /usr/lib/debug/.build-id/22 40755 root:root -File: /usr/lib/debug/.build-id/22/b80909aa27a062a6a6d796b16b2faeed2cc1c7 120777 root:root ../../../../lib64/libcadical.so.0.0.0 -File: /usr/lib/debug/.build-id/22/b80909aa27a062a6a6d796b16b2faeed2cc1c7.debug 120777 root:root ../../usr/lib64/libcadical.so.0.0.0.debug -File: /usr/lib/debug/usr/lib64/libcadical.so.0.0.0.debug 100644 root:root 64c4e2f7e9318df62dd12ab18087f958 +File: /usr/lib/debug/.build-id/40 40755 root:root +File: /usr/lib/debug/.build-id/40/9bb0e708a71c8e6a6ac5be172777bc81797476 120777 root:root ../../../../lib64/libcadical.so.0.0.0 +File: /usr/lib/debug/.build-id/40/9bb0e708a71c8e6a6ac5be172777bc81797476.debug 120777 root:root ../../usr/lib64/libcadical.so.0.0.0.debug +File: /usr/lib/debug/usr/lib64/libcadical.so.0.0.0.debug 100644 root:root 95f824fdf6eae6a1ed473f36e248abed File: /usr/lib/debug/usr/lib64/libcadical.so.0.debug 120777 root:root libcadical.so.0.0.0.debug @@ -300,2 +300,2 @@ File: /usr/src/debug/cadical-2.1.1/src/watch.hpp 100644 root:root 4d782ef86d4b314756cc5f19c8615177 -RPMIdentity: 940da19928111c4dd2d6fd215241cfd70d1c2f8b9aa39ec3f69b58604b104d0bbd572a5e773a8f0c4446a40a8502ba21c0a108c458149dd6af744d51fc238fc6 +RPMIdentity: 3a75725be86e77c5d72ea3233aab599610e6ab8dd4663c8d247caebbae3fdbc67e285435c68c13e95a902a44ab820be7199d498a2f7b7607d47ec288509b26ba