Diff of the two buildlogs:

--
--- b1/build.log	2024-12-03 00:26:24.489268981 +0000
+++ b2/build.log	2024-12-03 00:40:35.918535441 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Mon Dec  2 12:14:50 -12 2024
-I: pbuilder-time-stamp: 1733184890
+I: Current time: Tue Dec  3 14:26:49 +14 2024
+I: pbuilder-time-stamp: 1733185609
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz]
 I: copying local configuration
@@ -29,52 +29,84 @@
 dpkg-source: info: applying use-system-catch-for-glibc-2.34-compat.patch
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/15920/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/D01_modify_environment starting
+debug: Running on virt32c.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Dec  3 00:27 /bin/sh -> /bin/bash
+I: Setting pbuilder2's login shell to /bin/bash
+I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/D02_print_environment starting
 I: set
-  BUILDDIR='/build/reproducible-path'
-  BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
-  BUILDUSERNAME='pbuilder1'
-  BUILD_ARCH='armhf'
-  DEBIAN_FRONTEND='noninteractive'
-  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 '
-  DISTRIBUTION='trixie'
-  HOME='/root'
-  HOST_ARCH='armhf'
+  BASH=/bin/sh
+  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
+  BASH_ALIASES=()
+  BASH_ARGC=()
+  BASH_ARGV=()
+  BASH_CMDS=()
+  BASH_LINENO=([0]="12" [1]="0")
+  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
+  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+  BASH_VERSINFO=([0]="5" [1]="2" [2]="32" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf")
+  BASH_VERSION='5.2.32(1)-release'
+  BUILDDIR=/build/reproducible-path
+  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+  BUILDUSERNAME=pbuilder2
+  BUILD_ARCH=armhf
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 '
+  DIRSTACK=()
+  DISTRIBUTION=trixie
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=arm
+  HOST_ARCH=armhf
   IFS=' 	
   '
-  INVOCATION_ID='60c2e2e906794b168deb1e15fda2aaea'
-  LANG='C'
-  LANGUAGE='en_US:en'
-  LC_ALL='C'
-  MAIL='/var/mail/root'
-  OPTIND='1'
-  PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
-  PBCURRENTCOMMANDLINEOPERATION='build'
-  PBUILDER_OPERATION='build'
-  PBUILDER_PKGDATADIR='/usr/share/pbuilder'
-  PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
-  PBUILDER_SYSCONFDIR='/etc'
-  PPID='15920'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=5f49025da5b94223a5b8700b10f92ff7
+  LANG=C
+  LANGUAGE=it_CH:it
+  LC_ALL=C
+  MACHTYPE=arm-unknown-linux-gnueabihf
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnueabihf
+  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
+  PBCURRENTCOMMANDLINEOPERATION=build
+  PBUILDER_OPERATION=build
+  PBUILDER_PKGDATADIR=/usr/share/pbuilder
+  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
+  PBUILDER_SYSCONFDIR=/etc
+  PIPESTATUS=([0]="0")
+  POSIXLY_CORRECT=y
+  PPID=23181
   PS4='+ '
-  PWD='/'
-  SHELL='/bin/bash'
-  SHLVL='2'
-  SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Z137XNFB/pbuilderrc_iS8B --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Z137XNFB/b1 --logfile b1/build.log clasp_3.3.5-4.2.dsc'
-  SUDO_GID='114'
-  SUDO_UID='108'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://10.0.0.15:3142/'
+  PWD=/
+  SHELL=/bin/bash
+  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
+  SHLVL=3
+  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Z137XNFB/pbuilderrc_qFsf --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Z137XNFB/b2 --logfile b2/build.log clasp_3.3.5-4.2.dsc'
+  SUDO_GID=113
+  SUDO_UID=107
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://10.0.0.15:3142/
 I: uname -a
-  Linux virt64a 6.1.0-28-arm64 #1 SMP Debian 6.1.119-1 (2024-11-22) aarch64 GNU/Linux
+  Linux i-capture-the-hostname 6.1.0-28-armmp-lpae #1 SMP Debian 6.1.119-1 (2024-11-22) armv7l GNU/Linux
 I: ls -l /bin
   lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/15920/tmp/hooks/D02_print_environment finished
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -168,7 +200,7 @@
 Get: 52 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB]
 Get: 53 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
 Get: 54 http://deb.debian.org/debian trixie/main armhf debhelper all 13.20 [915 kB]
-Fetched 30.2 MB in 1s (47.1 MB/s)
+Fetched 30.2 MB in 1s (32.4 MB/s)
 debconf: delaying package configuration, since apt-utils is not installed
 Selecting previously unselected package libproc2-0:armhf.
 (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19683 files and directories currently installed.)
@@ -399,7 +431,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/clasp-3.3.5/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S  > ../clasp_3.3.5-4.2_source.changes
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for trixie
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/clasp-3.3.5/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../clasp_3.3.5-4.2_source.changes
 dpkg-buildpackage: info: source package clasp
 dpkg-buildpackage: info: source version 3.3.5-4.2
 dpkg-buildpackage: info: source distribution unstable
@@ -457,7 +493,7 @@
 
 -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) 
 -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) 
--- Configuring done (2.1s)
+-- Configuring done (2.9s)
 -- Generating done (0.1s)
 CMake Warning:
   Manually-specified variables were not used by the project:
@@ -472,7 +508,7 @@
    debian/rules override_dh_auto_build
 make[1]: Entering directory '/build/reproducible-path/clasp-3.3.5'
 dh_auto_build --builddirectory=build.dir/hardening_mt
-	cd build.dir/hardening_mt && make -j3 "INSTALL=install --strip-program=true" VERBOSE=1
+	cd build.dir/hardening_mt && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1
 make[2]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 /usr/bin/cmake -S/build/reproducible-path/clasp-3.3.5 -B/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0
 /usr/bin/cmake -E cmake_progress_start /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/CMakeFiles /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt//CMakeFiles/progress.marks
@@ -484,12 +520,12 @@
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make  -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[  2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o
-[  2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o
-[  3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o
+[  1%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o -MF CMakeFiles/libpotassco.dir/aspif.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/src/aspif.cpp
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -MF CMakeFiles/libpotassco.dir/application.cpp.o.d -o CMakeFiles/libpotassco.dir/application.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/src/application.cpp
+[  2%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o
+[  3%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o -MF CMakeFiles/libpotassco.dir/aspif_text.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/src/aspif_text.cpp
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -MF CMakeFiles/libpotassco.dir/application.cpp.o.d -o CMakeFiles/libpotassco.dir/application.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/src/application.cpp
 [  4%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o -MF CMakeFiles/libpotassco.dir/clingo.cpp.o.d -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/src/clingo.cpp
 [  6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o
@@ -525,19 +561,21 @@
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/clasp-3.3.5 /build/reproducible-path/clasp-3.3.5/src /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src/CMakeFiles/libclasp.dir/DependInfo.cmake "--color="
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-make  -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build
-make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-make  -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build
-make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+make  -f libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_opts.dir/build
+make  -f libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build.make libpotassco/tests/CMakeFiles/test_potassco_lp.dir/build
 make  -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 17%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_application.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_application.cpp
+make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 [ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o
+[ 18%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o
+[ 19%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_aspif.cpp
-[ 19%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_application.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_application.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_application.cpp
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_options.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp
+[ 20%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -MF CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o.d -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/asp_preprocessor.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/logic_program.h:32,
@@ -589,6 +627,41 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+In file included from /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:21:
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____6()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:113:84: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=]
+  113 |                 REQUIRE_THROWS_AS(Po::parseCommandString("--no-value=2", ctx), Po::UnknownOption);
+      |                                                                                    ^~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:115:71: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=]
+  115 |                 REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError);
+      |                                                                       ^~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____19()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:186:53: warning: catching polymorphic type 'class Potassco::ProgramOptions::ContextError' by value [-Wcatch-value=]
+  186 |         REQUIRE_THROWS_AS(ctx.findGroup("Foo"), Po::ContextError);
+      |                                                     ^~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____27()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:249:62: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
+  249 |                 REQUIRE_THROWS_AS(x(0, Po::flag(b), ""), Po::Error);
+      |                                                              ^~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:250:63: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
+  250 |                 REQUIRE_THROWS_AS(x("", Po::flag(b), ""), Po::Error);
+      |                                                               ^~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:253:69: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
+  253 |                 REQUIRE_THROWS_AS(x("foo,fo", Po::flag(b), ""), Po::Error);
+      |                                                                     ^~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:264:71: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=]
+  264 |                 REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError);
+      |                                                                       ^~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:267:78: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=]
+  267 |                 REQUIRE_THROWS_AS(Po::parseCommandString("--help", ctx), Po::UnknownOption);
+      |                                                                              ^~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:277:87: warning: catching polymorphic type 'class Potassco::ProgramOptions::AmbiguousOption' by value [-Wcatch-value=]
+  277 |                 REQUIRE_THROWS_AS(ctx.find("he", Po::OptionContext::find_prefix), Po::AmbiguousOption);
+      |                                                                                       ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____36()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:334:86: warning: catching polymorphic type 'class Potassco::ProgramOptions::SyntaxError' by value [-Wcatch-value=]
+  334 |                 REQUIRE_THROWS_AS(Po::parseCommandString(cmd, ctx, false, 0, 0), Po::SyntaxError);
+      |                                                                                      ^~~~~~~~~~~
 In file included from /usr/include/string.h:548,
                  from /usr/include/c++/14/cstring:43,
                  from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:29:
@@ -627,10 +700,10 @@
    30 |                                  __glibc_objsize0 (__dest));
       |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/include/arm-linux-gnueabihf/bits/string_fortified.h:29:33: note: in a call to built-in function 'void* __builtin_memcpy(void*, const void*, unsigned int)'
-[ 20%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o
+[ 21%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -MF CMakeFiles/libclasp.dir/cb_enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/cb_enumerator.cpp
-[ 21%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_options.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp
+[ 23%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_value.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_value.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/enumerator.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/cb_enumerator.h:31,
@@ -681,42 +754,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-In file included from /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:21:
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____6()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:113:84: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=]
-  113 |                 REQUIRE_THROWS_AS(Po::parseCommandString("--no-value=2", ctx), Po::UnknownOption);
-      |                                                                                    ^~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:115:71: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=]
-  115 |                 REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError);
-      |                                                                       ^~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____19()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:186:53: warning: catching polymorphic type 'class Potassco::ProgramOptions::ContextError' by value [-Wcatch-value=]
-  186 |         REQUIRE_THROWS_AS(ctx.findGroup("Foo"), Po::ContextError);
-      |                                                     ^~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____27()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:249:62: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
-  249 |                 REQUIRE_THROWS_AS(x(0, Po::flag(b), ""), Po::Error);
-      |                                                              ^~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:250:63: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
-  250 |                 REQUIRE_THROWS_AS(x("", Po::flag(b), ""), Po::Error);
-      |                                                               ^~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:253:69: warning: catching polymorphic type 'class Potassco::ProgramOptions::Error' by value [-Wcatch-value=]
-  253 |                 REQUIRE_THROWS_AS(x("foo,fo", Po::flag(b), ""), Po::Error);
-      |                                                                     ^~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:264:71: warning: catching polymorphic type 'class Potassco::ProgramOptions::ValueError' by value [-Wcatch-value=]
-  264 |                 REQUIRE_THROWS_AS(Po::ParsedOptions().assign(pv), Po::ValueError);
-      |                                                                       ^~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:267:78: warning: catching polymorphic type 'class Potassco::ProgramOptions::UnknownOption' by value [-Wcatch-value=]
-  267 |                 REQUIRE_THROWS_AS(Po::parseCommandString("--help", ctx), Po::UnknownOption);
-      |                                                                              ^~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:277:87: warning: catching polymorphic type 'class Potassco::ProgramOptions::AmbiguousOption' by value [-Wcatch-value=]
-  277 |                 REQUIRE_THROWS_AS(ctx.find("he", Po::OptionContext::find_prefix), Po::AmbiguousOption);
-      |                                                                                       ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp: In function 'void Potassco::ProgramOptions::Test::____C_A_T_C_H____T_E_S_T____36()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_options.cpp:334:86: warning: catching polymorphic type 'class Potassco::ProgramOptions::SyntaxError' by value [-Wcatch-value=]
-  334 |                 REQUIRE_THROWS_AS(Po::parseCommandString(cmd, ctx, false, 0, 0), Po::SyntaxError);
-      |                                                                                      ^~~~~~~~~~~
-[ 23%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o
+[ 24%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o -MF CMakeFiles/libclasp.dir/clasp_facade.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/clasp_facade.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -774,9 +812,9 @@
 /usr/include/c++/14/bits/stl_function.h:1392:5: note: declared here
  1392 |     mem_fun(_Ret (_Tp::*__f)(_Arg))
       |     ^~~~~~~
-[ 24%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -MF CMakeFiles/test_potassco_opts.dir/test_value.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_value.cpp
-[ 25%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o
+[ 25%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o -MF CMakeFiles/test_potassco_opts.dir/main.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/main.cpp
+[ 26%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/clasp_options.cpp.o -MF CMakeFiles/libclasp.dir/clasp_options.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/clasp_options.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -828,11 +866,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 26%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_smodels.cpp
-[ 28%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_opts.dir/main.cpp.o -MF CMakeFiles/test_potassco_opts.dir/main.cpp.o.d -o CMakeFiles/test_potassco_opts.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/main.cpp
-[ 29%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o
+[ 28%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/clasp_output.cpp.o -MF CMakeFiles/libclasp.dir/clasp_output.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/clasp_output.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -884,10 +918,10 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+[ 29%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_smodels.cpp
 [ 30%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/clause.cpp.o -MF CMakeFiles/libclasp.dir/clause.cpp.o.d -o CMakeFiles/libclasp.dir/clause.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/clause.cpp
-[ 31%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_text.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_text.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clause.h:31,
@@ -957,7 +991,7 @@
 /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:454:18: note: while referencing 'Clasp::ClauseHead::head_'
   454 |         Literal  head_[HEAD_LITS]; // two watched literals and one cache literal
       |                  ^~~~~
-[ 32%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o
+[ 31%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/clingo.cpp.o -MF CMakeFiles/libclasp.dir/clingo.cpp.o.d -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/clingo.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -1009,7 +1043,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 34%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o
+[ 32%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/constraint.cpp.o -MF CMakeFiles/libclasp.dir/constraint.cpp.o.d -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/constraint.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/src/constraint.cpp:25:
@@ -1059,9 +1093,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 35%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp
-[ 36%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o
+[ 34%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o -MF CMakeFiles/libclasp.dir/dependency_graph.cpp.o.d -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/dependency_graph.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/logic_program.h:32,
@@ -1114,63 +1146,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-In file included from /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:21:
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____0()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:66:94: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
-   66 |                 REQUIRE_THROWS_AS(Potassco::string_cast<unsigned long long>("-2"), Potassco::bad_string_cast);
-      |                                                                                              ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:69:81: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
-   69 |                 REQUIRE_THROWS_AS(Potassco::string_cast<int>("umax"), Potassco::bad_string_cast);
-      |                                                                                 ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:70:82: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
-   70 |                 REQUIRE_THROWS_AS(Potassco::string_cast<long>("umax"), Potassco::bad_string_cast);
-      |                                                                                  ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:71:87: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
-   71 |                 REQUIRE_THROWS_AS(Potassco::string_cast<long long>("umax"), Potassco::bad_string_cast);
-      |                                                                                       ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:72:85: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
-   72 |                 REQUIRE_THROWS_AS(Potassco::string_cast<int64_t>("umax"), Potassco::bad_string_cast);
-      |                                                                                     ^~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____36()':
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:371:138: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  371 |                 REQUIRE_THROWS_AS(fail(Potassco::error_logic, 0, 0, 0, "Message with %d parameters {'%s', '%s'}", 2, "Foo", "Bar"), std::logic_error);
-      |                                                                                                                                          ^~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:375:88: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  375 |                 REQUIRE_THROWS_AS(fail(Potassco::error_assert, 0, 0, "false", 0), std::logic_error);
-      |                                                                                        ^~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:376:89: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=]
-  376 |                 REQUIRE_THROWS_AS(fail(Potassco::error_runtime, 0, 0, "false", 0), std::runtime_error);
-      |                                                                                         ^~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:379:61: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=]
-  379 |                 REQUIRE_THROWS_AS(fail(0, 0, 0, 0, 0), std::invalid_argument);
-      |                                                             ^~~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:383:71: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=]
-  383 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, EINVAL), std::invalid_argument);
-      |                                                                       ^~~~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:384:87: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  384 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_assert), std::logic_error);
-      |                                                                                       ^~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:385:86: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  385 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_logic), std::logic_error);
-      |                                                                                      ^~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:386:88: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=]
-  386 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_runtime), std::runtime_error);
-      |                                                                                        ^~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:387:71: warning: catching polymorphic type 'class std::bad_alloc' by value [-Wcatch-value=]
-  387 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, ENOMEM), std::bad_alloc);
-      |                                                                       ^~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:395:65: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  395 |                 REQUIRE_THROWS_AS(POTASSCO_REQUIRE(false), std::logic_error);
-      |                                                                 ^~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:404:64: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
-  404 |                 REQUIRE_THROWS_AS(POTASSCO_ASSERT(false), std::logic_error);
-      |                                                                ^~~~~~~~~~~
-[ 37%] Linking CXX executable ../../bin/test_potassco_opts
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_opts.dir/link.txt --verbose=1
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_opts.dir/test_application.cpp.o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o CMakeFiles/test_potassco_opts.dir/main.cpp.o -o ../../bin/test_potassco_opts  ../../lib/libpotassco.a
-make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 37%] Built target test_potassco_opts
-[ 39%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o
+[ 35%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/enumerator.cpp.o -MF CMakeFiles/libclasp.dir/enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/enumerator.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/enumerator.h:31,
@@ -1221,6 +1197,8 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+[ 36%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/heuristics.cpp
 In file included from /usr/include/string.h:548,
                  from /usr/include/c++/14/cstring:43,
                  from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:29:
@@ -1262,8 +1240,6 @@
    30 |                                  __glibc_objsize0 (__dest));
       |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/include/arm-linux-gnueabihf/bits/string_fortified.h:29:33: note: in a call to built-in function 'void* __builtin_memcpy(void*, const void*, unsigned int)'
-[ 40%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/heuristics.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -1315,8 +1291,10 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 41%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o
+[ 37%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/logic_program.cpp.o -MF CMakeFiles/libclasp.dir/logic_program.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/logic_program.cpp
+[ 39%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_text.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_text.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/logic_program.h:32,
                  from /build/reproducible-path/clasp-3.3.5/src/logic_program.cpp:24:
@@ -1431,10 +1409,66 @@
    30 |                                  __glibc_objsize0 (__dest));
       |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/include/arm-linux-gnueabihf/bits/string_fortified.h:29:33: note: in a call to built-in function 'void* __builtin_memcpy(void*, const void*, unsigned int)'
-[ 42%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o -MF CMakeFiles/test_potassco_lp.dir/main.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/main.cpp
-[ 43%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o
+[ 40%] Linking CXX executable ../../bin/test_potassco_opts
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_opts.dir/link.txt --verbose=1
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_opts.dir/test_application.cpp.o CMakeFiles/test_potassco_opts.dir/test_options.cpp.o CMakeFiles/test_potassco_opts.dir/test_value.cpp.o CMakeFiles/test_potassco_opts.dir/main.cpp.o -o ../../bin/test_potassco_opts  ../../lib/libpotassco.a
+make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+[ 40%] Built target test_potassco_opts
+[ 41%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -MF CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp
+[ 42%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -MF CMakeFiles/libclasp.dir/logic_program_types.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/logic_program_types.cpp
+In file included from /build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:21:
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____0()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:66:94: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
+   66 |                 REQUIRE_THROWS_AS(Potassco::string_cast<unsigned long long>("-2"), Potassco::bad_string_cast);
+      |                                                                                              ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:69:81: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
+   69 |                 REQUIRE_THROWS_AS(Potassco::string_cast<int>("umax"), Potassco::bad_string_cast);
+      |                                                                                 ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:70:82: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
+   70 |                 REQUIRE_THROWS_AS(Potassco::string_cast<long>("umax"), Potassco::bad_string_cast);
+      |                                                                                  ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:71:87: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
+   71 |                 REQUIRE_THROWS_AS(Potassco::string_cast<long long>("umax"), Potassco::bad_string_cast);
+      |                                                                                       ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:72:85: warning: catching polymorphic type 'class Potassco::bad_string_cast' by value [-Wcatch-value=]
+   72 |                 REQUIRE_THROWS_AS(Potassco::string_cast<int64_t>("umax"), Potassco::bad_string_cast);
+      |                                                                                     ^~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp: In function 'void Potassco::Test::____C_A_T_C_H____T_E_S_T____36()':
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:371:138: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  371 |                 REQUIRE_THROWS_AS(fail(Potassco::error_logic, 0, 0, 0, "Message with %d parameters {'%s', '%s'}", 2, "Foo", "Bar"), std::logic_error);
+      |                                                                                                                                          ^~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:375:88: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  375 |                 REQUIRE_THROWS_AS(fail(Potassco::error_assert, 0, 0, "false", 0), std::logic_error);
+      |                                                                                        ^~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:376:89: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=]
+  376 |                 REQUIRE_THROWS_AS(fail(Potassco::error_runtime, 0, 0, "false", 0), std::runtime_error);
+      |                                                                                         ^~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:379:61: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=]
+  379 |                 REQUIRE_THROWS_AS(fail(0, 0, 0, 0, 0), std::invalid_argument);
+      |                                                             ^~~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:383:71: warning: catching polymorphic type 'class std::invalid_argument' by value [-Wcatch-value=]
+  383 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, EINVAL), std::invalid_argument);
+      |                                                                       ^~~~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:384:87: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  384 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_assert), std::logic_error);
+      |                                                                                       ^~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:385:86: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  385 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_logic), std::logic_error);
+      |                                                                                      ^~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:386:88: warning: catching polymorphic type 'class std::runtime_error' by value [-Wcatch-value=]
+  386 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, Potassco::error_runtime), std::runtime_error);
+      |                                                                                        ^~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:387:71: warning: catching polymorphic type 'class std::bad_alloc' by value [-Wcatch-value=]
+  387 |                 REQUIRE_THROWS_AS(POTASSCO_CHECK(false, ENOMEM), std::bad_alloc);
+      |                                                                       ^~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:395:65: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  395 |                 REQUIRE_THROWS_AS(POTASSCO_REQUIRE(false), std::logic_error);
+      |                                                                 ^~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/libpotassco/tests/test_string_convert.cpp:404:64: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
+  404 |                 REQUIRE_THROWS_AS(POTASSCO_ASSERT(false), std::logic_error);
+      |                                                                ^~~~~~~~~~~
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/logic_program.h:32,
                  from /build/reproducible-path/clasp-3.3.5/src/logic_program_types.cpp:25:
@@ -1549,8 +1583,10 @@
    30 |                                  __glibc_objsize0 (__dest));
       |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/include/arm-linux-gnueabihf/bits/string_fortified.h:29:33: note: in a call to built-in function 'void* __builtin_memcpy(void*, const void*, unsigned int)'
-[ 45%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o
+[ 43%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/lookahead.cpp.o -MF CMakeFiles/libclasp.dir/lookahead.cpp.o.d -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/lookahead.cpp
+[ 45%] Building CXX object libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5/libpotassco/tests -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=c++11 -MD -MT libpotassco/tests/CMakeFiles/test_potassco_lp.dir/main.cpp.o -MF CMakeFiles/test_potassco_lp.dir/main.cpp.o.d -o CMakeFiles/test_potassco_lp.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/libpotassco/tests/main.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -1721,6 +1757,8 @@
       |     ^~~~~~~
 [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/parser.cpp.o -MF CMakeFiles/libclasp.dir/parser.cpp.o.d -o CMakeFiles/libclasp.dir/parser.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/parser.cpp
+[ 50%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/program_builder.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/parser.h:35,
                  from /build/reproducible-path/clasp-3.3.5/src/parser.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
@@ -1765,8 +1803,6 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 50%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/program_builder.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/src/program_builder.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
@@ -1817,6 +1853,8 @@
       |            ^~~~~~~~~~~~~~~
 [ 51%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/satelite.cpp.o -MF CMakeFiles/libclasp.dir/satelite.cpp.o.d -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/satelite.cpp
+[ 52%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/shared_context.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -1868,8 +1906,8 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 52%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/shared_context.cpp
+[ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solve_algorithms.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/shared_context.h:31,
                  from /build/reproducible-path/clasp-3.3.5/src/shared_context.cpp:24:
@@ -1919,8 +1957,6 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 53%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solve_algorithms.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_strategies.h:30,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solve_algorithms.h:31,
@@ -1973,6 +2009,8 @@
       |            ^~~~~~~~~~~~~~~
 [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solver.cpp.o -MF CMakeFiles/libclasp.dir/solver.cpp.o.d -o CMakeFiles/libclasp.dir/solver.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solver.cpp
+[ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solver_strategies.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -2031,8 +2069,6 @@
 /usr/include/c++/14/backward/binders.h:172:5: note: declared here
   172 |     bind2nd(const _Operation& __fn, const _Tp& __x)
       |     ^~~~~~~
-[ 56%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solver_strategies.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_strategies.h:30,
                  from /build/reproducible-path/clasp-3.3.5/src/solver_strategies.cpp:24:
@@ -2082,14 +2118,9 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 57%] Linking CXX executable ../../bin/test_potassco_lp
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_lp.dir/link.txt --verbose=1
-/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o CMakeFiles/test_potassco_lp.dir/main.cpp.o -o ../../bin/test_potassco_lp  ../../lib/libpotassco.a
-make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 57%] Built target test_potassco_lp
-[ 58%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o
+[ 57%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/solver_types.cpp.o -MF CMakeFiles/libclasp.dir/solver_types.cpp.o.d -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/solver_types.cpp
-[ 59%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o
+[ 58%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/statistics.cpp.o -MF CMakeFiles/libclasp.dir/statistics.cpp.o.d -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/statistics.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
@@ -2187,9 +2218,9 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 60%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o
+[ 59%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/timer.cpp.o -MF CMakeFiles/libclasp.dir/timer.cpp.o.d -o CMakeFiles/libclasp.dir/timer.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/timer.cpp
-[ 62%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o
+[ 60%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -MF CMakeFiles/libclasp.dir/unfounded_check.cpp.o.d -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/unfounded_check.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
@@ -2242,7 +2273,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 63%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o
+[ 62%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -MF CMakeFiles/libclasp.dir/weight_constraint.cpp.o.d -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/weight_constraint.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/weight_constraint.h:31,
@@ -2293,7 +2324,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 64%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o
+[ 63%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -MF CMakeFiles/libclasp.dir/parallel_solve.cpp.o.d -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /build/reproducible-path/clasp-3.3.5/src/parallel_solve.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_strategies.h:30,
@@ -2373,37 +2404,40 @@
       |         ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
 In constructor 'Clasp::mt::LocalDistribution::LocalDistribution(const Clasp::Distributor::Policy&, Clasp::uint32, Clasp::uint32)':
 cc1plus: note: destination object is likely at address zero
-[ 65%] Linking CXX static library ../lib/libclasp.a
+[ 64%] Linking CXX static library ../lib/libclasp.a
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1
 /usr/bin/ar qc ../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o
 /usr/bin/ranlib ../lib/libclasp.a
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 65%] Built target libclasp
+[ 64%] Built target libclasp
 make  -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/depend
 make  -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend
 make  -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/depend
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/clasp-3.3.5 /build/reproducible-path/clasp-3.3.5/app /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake "--color="
-make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/clasp-3.3.5 /build/reproducible-path/clasp-3.3.5/tests /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests/CMakeFiles/test_clasp.dir/DependInfo.cmake "--color="
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/clasp-3.3.5 /build/reproducible-path/clasp-3.3.5/examples /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples/CMakeFiles/clasp_examples.dir/DependInfo.cmake "--color="
+make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/reproducible-path/clasp-3.3.5 /build/reproducible-path/clasp-3.3.5/app /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app/CMakeFiles/clasp.dir/DependInfo.cmake "--color="
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+make  -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+make  -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build
 make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make  -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build
-make  -f tests/CMakeFiles/test_clasp.dir/build.make tests/CMakeFiles/test_clasp.dir/build
-make  -f examples/CMakeFiles/clasp_examples.dir/build.make examples/CMakeFiles/clasp_examples.dir/build
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 make[4]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 68%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o
-[ 68%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o
-[ 69%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o
+[ 65%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example1.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT examples/CMakeFiles/clasp_examples.dir/example1.cpp.o -MF CMakeFiles/clasp_examples.dir/example1.cpp.o.d -o CMakeFiles/clasp_examples.dir/example1.cpp.o -c /build/reproducible-path/clasp-3.3.5/examples/example1.cpp
+[ 67%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT app/CMakeFiles/clasp.dir/clasp_app.cpp.o -MF CMakeFiles/clasp.dir/clasp_app.cpp.o.d -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /build/reproducible-path/clasp-3.3.5/app/clasp_app.cpp
+[ 68%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -MF CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o.d -o CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/clause_creator_test.cpp
+[ 69%] Linking CXX executable ../../bin/test_potassco_lp
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/test_potassco_lp.dir/link.txt --verbose=1
+/usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/test_potassco_lp.dir/test_aspif.cpp.o CMakeFiles/test_potassco_lp.dir/test_smodels.cpp.o CMakeFiles/test_potassco_lp.dir/test_text.cpp.o CMakeFiles/test_potassco_lp.dir/test_string_convert.cpp.o CMakeFiles/test_potassco_lp.dir/main.cpp.o -o ../../bin/test_potassco_lp  ../../lib/libpotassco.a
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clause.h:31,
@@ -2501,6 +2535,10 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+[ 69%] Built target test_potassco_lp
+[ 70%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o -MF CMakeFiles/test_clasp.dir/clause_test.cpp.o.d -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/clause_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/cli/clasp_options.h:31,
@@ -2546,6 +2584,56 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/clause.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/tests/clause_test.cpp:24:
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  195 | struct identity : std::unary_function<T, T>{
+      |                        ^~~~~~~~~~~~~~
+In file included from /usr/include/c++/14/string:49,
+                 from /usr/include/c++/14/bits/locale_classes.h:40,
+                 from /usr/include/c++/14/bits/ios_base.h:41,
+                 from /usr/include/c++/14/streambuf:43,
+                 from /usr/include/c++/14/bits/streambuf_iterator.h:35,
+                 from /usr/include/c++/14/iterator:66,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:203:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  203 | struct select1st : std::unary_function<P, typename P::first_type> {
+      |                         ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:214:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  214 | struct select2nd : std::unary_function<P, typename P::second_type> {
+      |                         ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:225:32: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  225 | struct compose_1 : public std::unary_function<
+      |                                ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:251:34: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  251 | struct compose_2_1 : public std::unary_function<
+      |                                  ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:280:34: warning: 'template<class _Arg1, class _Arg2, class _Result> struct std::binary_function' is deprecated [-Wdeprecated-declarations]
+  280 | struct compose_2_2 : public std::binary_function<
+      |                                  ^~~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
+  131 |     struct binary_function
+      |            ^~~~~~~~~~~~~~~
 /build/reproducible-path/clasp-3.3.5/app/clasp_app.cpp: In member function 'void Clasp::Cli::LemmaLogger::add(const Clasp::Solver&, const Clasp::LitVec&, const Clasp::ConstraintInfo&)':
 /build/reproducible-path/clasp-3.3.5/app/clasp_app.cpp:579:116: warning: 'std::const_mem_fun1_t<_Ret, _Tp, _Arg> std::mem_fun(_Ret (_Tp::*)(_Arg) const) [with _Ret = bool; _Tp = Clasp::Solver; _Arg = Clasp::Literal]' is deprecated: use 'std::mem_fn' instead [-Wdeprecated-declarations]
   579 |         if (info.aux() || options_.domOut || std::find_if(cc.begin(), cc.end(), std::not1(std::bind1st(std::mem_fun(&Solver::inputVar), &s))) != cc.end()) {
@@ -2560,7 +2648,7 @@
 /usr/include/c++/14/backward/binders.h:136:5: note: declared here
   136 |     bind1st(const _Operation& __fn, const _Tp& __x)
       |     ^~~~~~~
-[ 70%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o
+[ 71%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example2.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT examples/CMakeFiles/clasp_examples.dir/example2.cpp.o -MF CMakeFiles/clasp_examples.dir/example2.cpp.o.d -o CMakeFiles/clasp_examples.dir/example2.cpp.o -c /build/reproducible-path/clasp-3.3.5/examples/example2.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -2611,7 +2699,7 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 71%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o
+[ 73%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example3.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT examples/CMakeFiles/clasp_examples.dir/example3.cpp.o -MF CMakeFiles/clasp_examples.dir/example3.cpp.o.d -o CMakeFiles/clasp_examples.dir/example3.cpp.o -c /build/reproducible-path/clasp-3.3.5/examples/example3.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -2662,9 +2750,9 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 73%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o
+[ 74%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT app/CMakeFiles/clasp.dir/main.cpp.o -MF CMakeFiles/clasp.dir/main.cpp.o.d -o CMakeFiles/clasp.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/app/main.cpp
-[ 74%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o
+[ 75%] Building CXX object examples/CMakeFiles/clasp_examples.dir/example4.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT examples/CMakeFiles/clasp_examples.dir/example4.cpp.o -MF CMakeFiles/clasp_examples.dir/example4.cpp.o.d -o CMakeFiles/clasp_examples.dir/example4.cpp.o -c /build/reproducible-path/clasp-3.3.5/examples/example4.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
@@ -2760,15 +2848,11 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 75%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o
+[ 76%] Building CXX object examples/CMakeFiles/clasp_examples.dir/main.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT examples/CMakeFiles/clasp_examples.dir/main.cpp.o -MF CMakeFiles/clasp_examples.dir/main.cpp.o.d -o CMakeFiles/clasp_examples.dir/main.cpp.o -c /build/reproducible-path/clasp-3.3.5/examples/main.cpp
-[ 76%] Linking CXX executable ../bin/clasp
+[ 78%] Linking CXX executable ../bin/clasp
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/app && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1
 /usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../bin/clasp  ../lib/libclasp.a ../lib/libpotassco.a
-make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 76%] Built target clasp
-[ 78%] Building CXX object tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o -MF CMakeFiles/test_clasp.dir/clause_test.cpp.o.d -o CMakeFiles/test_clasp.dir/clause_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/clause_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/enumerator.h:31,
                  from /build/reproducible-path/clasp-3.3.5/examples/main.cpp:25:
@@ -2816,13 +2900,21 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 [ 79%] Linking CXX executable ../bin/clasp_examples
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/examples && /usr/bin/cmake -E cmake_link_script CMakeFiles/clasp_examples.dir/link.txt --verbose=1
 /usr/bin/c++ -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wl,-z,relro -Wl,-z,now -rdynamic CMakeFiles/clasp_examples.dir/example1.cpp.o CMakeFiles/clasp_examples.dir/example2.cpp.o CMakeFiles/clasp_examples.dir/example3.cpp.o CMakeFiles/clasp_examples.dir/example4.cpp.o CMakeFiles/clasp_examples.dir/main.cpp.o -o ../bin/clasp_examples  ../lib/libclasp.a ../lib/libpotassco.a
-In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/clause.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/tests/clause_test.cpp:24:
+[ 79%] Built target clasp
+[ 80%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o -MF CMakeFiles/test_clasp.dir/cli_test.cpp.o.d -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/cli_test.cpp
+make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
+[ 80%] Built target clasp_examples
+[ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -MF CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o.d -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/decision_heuristic_test.cpp
+In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/cli/clasp_options.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/tests/cli_test.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
   195 | struct identity : std::unary_function<T, T>{
       |                        ^~~~~~~~~~~~~~
@@ -2835,7 +2927,7 @@
                  from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
                  from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
                  from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
+                 from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:33:
 /usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
   117 |     struct unary_function
       |            ^~~~~~~~~~~~~~
@@ -2869,14 +2961,11 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-make[4]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
-[ 79%] Built target clasp_examples
-[ 80%] Building CXX object tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o -MF CMakeFiles/test_clasp.dir/cli_test.cpp.o.d -o CMakeFiles/test_clasp.dir/cli_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/cli_test.cpp
-In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/clasp_facade.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/cli/clasp_options.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/tests/cli_test.cpp:24:
+In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/heuristics.h:36,
+                 from /build/reproducible-path/clasp-3.3.5/tests/decision_heuristic_test.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
   195 | struct identity : std::unary_function<T, T>{
       |                        ^~~~~~~~~~~~~~
@@ -2889,7 +2978,7 @@
                  from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
                  from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
                  from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:33:
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
 /usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
   117 |     struct unary_function
       |            ^~~~~~~~~~~~~~
@@ -2958,63 +3047,8 @@
 /build/reproducible-path/clasp-3.3.5/tests/cli_test.cpp:511:82: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
   511 |                 REQUIRE_THROWS_AS(config.getValue("tester.solve.opt_mode"), std::logic_error);
       |                                                                                  ^~~~~~~~~~~
-[ 81%] Building CXX object tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -MF CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o.d -o CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/decision_heuristic_test.cpp
-In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/heuristics.h:36,
-                 from /build/reproducible-path/clasp-3.3.5/tests/decision_heuristic_test.cpp:24:
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  195 | struct identity : std::unary_function<T, T>{
-      |                        ^~~~~~~~~~~~~~
-In file included from /usr/include/c++/14/string:49,
-                 from /usr/include/c++/14/bits/locale_classes.h:40,
-                 from /usr/include/c++/14/bits/ios_base.h:41,
-                 from /usr/include/c++/14/streambuf:43,
-                 from /usr/include/c++/14/bits/streambuf_iterator.h:35,
-                 from /usr/include/c++/14/iterator:66,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:203:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  203 | struct select1st : std::unary_function<P, typename P::first_type> {
-      |                         ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:214:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  214 | struct select2nd : std::unary_function<P, typename P::second_type> {
-      |                         ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:225:32: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  225 | struct compose_1 : public std::unary_function<
-      |                                ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:251:34: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  251 | struct compose_2_1 : public std::unary_function<
-      |                                  ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:280:34: warning: 'template<class _Arg1, class _Arg2, class _Result> struct std::binary_function' is deprecated [-Wdeprecated-declarations]
-  280 | struct compose_2_2 : public std::binary_function<
-      |                                  ^~~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
-  131 |     struct binary_function
-      |            ^~~~~~~~~~~~~~~
 [ 82%] Building CXX object tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -MF CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o.d -o CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/dependency_graph_test.cpp
-[ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -MF CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o.d -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/dlp_builder_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/program_builder.h:34,
                  from /build/reproducible-path/clasp-3.3.5/clasp/logic_program.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/dependency_graph.h:32,
@@ -3066,6 +3100,10 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+[ 84%] Building CXX object tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -MF CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o.d -o CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/dlp_builder_test.cpp
+[ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -MF CMakeFiles/test_clasp.dir/enumerator_test.cpp.o.d -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/enumerator_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -3116,8 +3154,6 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 85%] Building CXX object tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -MF CMakeFiles/test_clasp.dir/enumerator_test.cpp.o.d -o CMakeFiles/test_clasp.dir/enumerator_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/enumerator_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -3168,13 +3204,13 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
+[ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o -MF CMakeFiles/test_clasp.dir/facade_test.cpp.o.d -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/facade_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/tests/enumerator_test.cpp:31:
 /build/reproducible-path/clasp-3.3.5/tests/enumerator_test.cpp: In function 'void Clasp::Test::____C_A_T_C_H____T_E_S_T____0()':
 /build/reproducible-path/clasp-3.3.5/tests/enumerator_test.cpp:538:52: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
   538 |                 REQUIRE_THROWS_AS(e.start(s), std::logic_error);
       |                                                    ^~~~~~~~~~~
-[ 86%] Building CXX object tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o -MF CMakeFiles/test_clasp.dir/facade_test.cpp.o.d -o CMakeFiles/test_clasp.dir/facade_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/facade_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
@@ -3262,57 +3298,6 @@
 /build/reproducible-path/clasp-3.3.5/tests/facade_test.cpp:1188:62: warning: catching polymorphic type 'class std::logic_error' by value [-Wcatch-value=]
  1188 |                 REQUIRE_THROWS_AS(stats->value(minVal), std::logic_error);
       |                                                              ^~~~~~~~~~~
-[ 87%] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o -MF CMakeFiles/test_clasp.dir/literal_test.cpp.o.d -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/literal_test.cpp
-In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/tests/literal_test.cpp:24:
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  195 | struct identity : std::unary_function<T, T>{
-      |                        ^~~~~~~~~~~~~~
-In file included from /usr/include/c++/14/string:49,
-                 from /usr/include/c++/14/bits/locale_classes.h:40,
-                 from /usr/include/c++/14/bits/ios_base.h:41,
-                 from /usr/include/c++/14/streambuf:43,
-                 from /usr/include/c++/14/bits/streambuf_iterator.h:35,
-                 from /usr/include/c++/14/iterator:66,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:203:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  203 | struct select1st : std::unary_function<P, typename P::first_type> {
-      |                         ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:214:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  214 | struct select2nd : std::unary_function<P, typename P::second_type> {
-      |                         ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:225:32: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  225 | struct compose_1 : public std::unary_function<
-      |                                ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:251:34: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
-  251 | struct compose_2_1 : public std::unary_function<
-      |                                  ^~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
-  117 |     struct unary_function
-      |            ^~~~~~~~~~~~~~
-/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:280:34: warning: 'template<class _Arg1, class _Arg2, class _Result> struct std::binary_function' is deprecated [-Wdeprecated-declarations]
-  280 | struct compose_2_2 : public std::binary_function<
-      |                                  ^~~~~~~~~~~~~~~
-/usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
-  131 |     struct binary_function
-      |            ^~~~~~~~~~~~~~~
 In file included from /usr/include/string.h:548,
                  from /usr/include/c++/14/cstring:43,
                  from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:29:
@@ -3374,9 +3359,60 @@
    30 |                                  __glibc_objsize0 (__dest));
       |                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~
 /usr/include/arm-linux-gnueabihf/bits/string_fortified.h:29:33: note: in a call to built-in function 'void* __builtin_memcpy(void*, const void*, unsigned int)'
+[ 87%] Building CXX object tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o -MF CMakeFiles/test_clasp.dir/literal_test.cpp.o.d -o CMakeFiles/test_clasp.dir/literal_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/literal_test.cpp
 [ 89%] Building CXX object tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o -MF CMakeFiles/test_clasp.dir/minimize_test.cpp.o.d -o CMakeFiles/test_clasp.dir/minimize_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/minimize_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/tests/literal_test.cpp:24:
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  195 | struct identity : std::unary_function<T, T>{
+      |                        ^~~~~~~~~~~~~~
+In file included from /usr/include/c++/14/string:49,
+                 from /usr/include/c++/14/bits/locale_classes.h:40,
+                 from /usr/include/c++/14/bits/ios_base.h:41,
+                 from /usr/include/c++/14/streambuf:43,
+                 from /usr/include/c++/14/bits/streambuf_iterator.h:35,
+                 from /usr/include/c++/14/iterator:66,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/util/pod_vector.h:27,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/pod_vector.h:28,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/literal.h:31,
+                 from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:30:
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:203:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  203 | struct select1st : std::unary_function<P, typename P::first_type> {
+      |                         ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:214:25: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  214 | struct select2nd : std::unary_function<P, typename P::second_type> {
+      |                         ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:225:32: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  225 | struct compose_1 : public std::unary_function<
+      |                                ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:251:34: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
+  251 | struct compose_2_1 : public std::unary_function<
+      |                                  ^~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:117:12: note: declared here
+  117 |     struct unary_function
+      |            ^~~~~~~~~~~~~~
+/build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:280:34: warning: 'template<class _Arg1, class _Arg2, class _Result> struct std::binary_function' is deprecated [-Wdeprecated-declarations]
+  280 | struct compose_2_2 : public std::binary_function<
+      |                                  ^~~~~~~~~~~~~~~
+/usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
+  131 |     struct binary_function
+      |            ^~~~~~~~~~~~~~~
+In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/minimize_constraint.h:33,
                  from /build/reproducible-path/clasp-3.3.5/tests/minimize_test.cpp:27:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
@@ -3624,11 +3660,12 @@
       |            ^~~~~~~~~~~~~~~
 [ 93%] Building CXX object tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o
 cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/satelite_test.cpp.o -MF CMakeFiles/test_clasp.dir/satelite_test.cpp.o.d -o CMakeFiles/test_clasp.dir/satelite_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/satelite_test.cpp
+[ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o
+cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o -MF CMakeFiles/test_clasp.dir/solver_test.cpp.o.d -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/solver_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
-                 from /build/reproducible-path/clasp-3.3.5/clasp/satelite.h:33,
-                 from /build/reproducible-path/clasp-3.3.5/tests/satelite_test.cpp:24:
+                 from /build/reproducible-path/clasp-3.3.5/tests/solver_test.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
   195 | struct identity : std::unary_function<T, T>{
       |                        ^~~~~~~~~~~~~~
@@ -3675,12 +3712,11 @@
 /usr/include/c++/14/bits/stl_function.h:131:12: note: declared here
   131 |     struct binary_function
       |            ^~~~~~~~~~~~~~~
-[ 95%] Building CXX object tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o
-cd /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests && /usr/bin/c++  -I/build/reproducible-path/clasp-3.3.5 -I/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt -I/build/reproducible-path/clasp-3.3.5/libpotassco -g -O2 -ffile-prefix-map=/build/reproducible-path/clasp-3.3.5=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -O3 -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -std=gnu++11 -MD -MT tests/CMakeFiles/test_clasp.dir/solver_test.cpp.o -MF CMakeFiles/test_clasp.dir/solver_test.cpp.o.d -o CMakeFiles/test_clasp.dir/solver_test.cpp.o -c /build/reproducible-path/clasp-3.3.5/tests/solver_test.cpp
 In file included from /build/reproducible-path/clasp-3.3.5/clasp/constraint.h:32,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver_types.h:31,
                  from /build/reproducible-path/clasp-3.3.5/clasp/solver.h:30,
-                 from /build/reproducible-path/clasp-3.3.5/tests/solver_test.cpp:24:
+                 from /build/reproducible-path/clasp-3.3.5/clasp/satelite.h:33,
+                 from /build/reproducible-path/clasp-3.3.5/tests/satelite_test.cpp:24:
 /build/reproducible-path/clasp-3.3.5/clasp/util/misc_types.h:195:24: warning: 'template<class _Arg, class _Result> struct std::unary_function' is deprecated [-Wdeprecated-declarations]
   195 | struct identity : std::unary_function<T, T>{
       |                        ^~~~~~~~~~~~~~
@@ -3873,10 +3909,10 @@
 dh_auto_test --builddirectory=build.dir/hardening_mt &&\
 	{ EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; } ||\
 	{ EXIT_CODE=$? ; echo "Exit $EXIT_CODE" ; test -d build.dir/hardening_mt/Testing/Temporary && tail -n +1 -v -- build.dir/hardening_mt/Testing/Temporary/* ; exit $EXIT_CODE ; }
-	cd build.dir/hardening_mt && make -j3 test ARGS\+=--verbose ARGS\+=-j3
+	cd build.dir/hardening_mt && make -j4 test ARGS\+=--verbose ARGS\+=-j4
 make[2]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 Running tests...
-/usr/bin/ctest --force-new-ctest-process --verbose -j3
+/usr/bin/ctest --force-new-ctest-process --verbose -j4
 UpdateCTestConfiguration  from :/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/DartConfiguration.tcl
 UpdateCTestConfiguration  from :/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/DartConfiguration.tcl
 Test project /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt
@@ -3911,7 +3947,7 @@
 3: ===============================================================================
 3: All tests passed (6713 assertions in 44 test cases)
 3: 
-2/3 Test #3: test_clasp .......................   Passed    0.13 sec
+2/3 Test #3: test_clasp .......................   Passed    0.12 sec
 2: ===============================================================================
 2: All tests passed (129 assertions in 16 test cases)
 2: 
@@ -3919,23 +3955,23 @@
 
 100% tests passed, 0 tests failed out of 3
 
-Total Test time (real) =   1.01 sec
+Total Test time (real) =   1.02 sec
 make[2]: Leaving directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 Exit 0
 ==> build.dir/hardening_mt/Testing/Temporary/CTestCostData.txt <==
-test_lp 1 0.0165895
-test_opts 1 1.00772
-test_clasp 1 0.130691
+test_lp 1 0.0183298
+test_opts 1 1.00841
+test_clasp 1 0.12343
 ---
 
 ==> build.dir/hardening_mt/Testing/Temporary/LastTest.log <==
-Start testing: Dec 03 00:25
+Start testing: Dec 03 00:40
 ----------------------------------------------------------
 1/3 Testing: test_lp
 1/3 Test: test_lp
 Command: "/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_lp"
 Directory: /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests
-"test_lp" start time: Dec 03 00:25
+"test_lp" start time: Dec 03 00:40
 Output:
 ----------------------------------------------------------
 ===============================================================================
@@ -3945,7 +3981,7 @@
 Test time =   0.02 sec
 ----------------------------------------------------------
 Test Passed.
-"test_lp" end time: Dec 03 00:25
+"test_lp" end time: Dec 03 00:40
 "test_lp" time elapsed: 00:00:00
 ----------------------------------------------------------
 
@@ -3953,17 +3989,17 @@
 3/3 Test: test_clasp
 Command: "/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/bin/test_clasp"
 Directory: /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/tests
-"test_clasp" start time: Dec 03 00:25
+"test_clasp" start time: Dec 03 00:40
 Output:
 ----------------------------------------------------------
 ===============================================================================
 All tests passed (6713 assertions in 44 test cases)
 
 <end of output>
-Test time =   0.13 sec
+Test time =   0.12 sec
 ----------------------------------------------------------
 Test Passed.
-"test_clasp" end time: Dec 03 00:25
+"test_clasp" end time: Dec 03 00:40
 "test_clasp" time elapsed: 00:00:00
 ----------------------------------------------------------
 
@@ -3971,7 +4007,7 @@
 2/3 Test: test_opts
 Command: "/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/bin/test_potassco_opts"
 Directory: /build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt/libpotassco/tests
-"test_opts" start time: Dec 03 00:25
+"test_opts" start time: Dec 03 00:40
 Output:
 ----------------------------------------------------------
 ===============================================================================
@@ -3981,11 +4017,11 @@
 Test time =   1.01 sec
 ----------------------------------------------------------
 Test Passed.
-"test_opts" end time: Dec 03 00:25
+"test_opts" end time: Dec 03 00:40
 "test_opts" time elapsed: 00:00:01
 ----------------------------------------------------------
 
-End testing: Dec 03 00:25
+End testing: Dec 03 00:40
 make[1]: Leaving directory '/build/reproducible-path/clasp-3.3.5'
    create-stamp debian/debhelper-build-stamp
    dh_prep
@@ -3993,7 +4029,7 @@
    debian/rules override_dh_auto_install
 make[1]: Entering directory '/build/reproducible-path/clasp-3.3.5'
 dh_auto_install --builddirectory=build.dir/hardening_mt
-	cd build.dir/hardening_mt && make -j3 install DESTDIR=/build/reproducible-path/clasp-3.3.5/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
+	cd build.dir/hardening_mt && make -j4 install DESTDIR=/build/reproducible-path/clasp-3.3.5/debian/clasp AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true"
 make[2]: Entering directory '/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt'
 /usr/bin/cmake -S/build/reproducible-path/clasp-3.3.5 -B/build/reproducible-path/clasp-3.3.5/build.dir/hardening_mt --check-build-system CMakeFiles/Makefile.cmake 0
 make  -f CMakeFiles/Makefile2 preinstall
@@ -4031,8 +4067,8 @@
    dh_gencontrol
    dh_md5sums
    dh_builddeb
-dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4.2_armhf.deb'.
 dpkg-deb: building package 'clasp-dbgsym' in '../clasp-dbgsym_3.3.5-4.2_armhf.deb'.
+dpkg-deb: building package 'clasp' in '../clasp_3.3.5-4.2_armhf.deb'.
  dpkg-genbuildinfo --build=binary -O../clasp_3.3.5-4.2_armhf.buildinfo
  dpkg-genchanges --build=binary -O../clasp_3.3.5-4.2_armhf.changes
 dpkg-genchanges: info: binary-only upload (no source code included)
@@ -4040,12 +4076,14 @@
 dpkg-buildpackage: info: binary-only upload (no source included)
 dpkg-genchanges: info: not including original source code in upload
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/23181/tmp/hooks/B01_cleanup finished
 I: unmounting dev/ptmx filesystem
 I: unmounting dev/pts filesystem
 I: unmounting dev/shm filesystem
 I: unmounting proc filesystem
 I: unmounting sys filesystem
 I: cleaning the build env 
-I: removing directory /srv/workspace/pbuilder/15920 and its subdirectories
-I: Current time: Mon Dec  2 12:26:18 -12 2024
-I: pbuilder-time-stamp: 1733185578
+I: removing directory /srv/workspace/pbuilder/23181 and its subdirectories
+I: Current time: Tue Dec  3 14:40:29 +14 2024
+I: pbuilder-time-stamp: 1733186429