0s autopkgtest [21:49:20]: starting date and time: 2024-03-13 21:49:20+0000 0s autopkgtest [21:49:20]: git checkout: b506e79c ssh-setup/nova: fix ARCH having two lines of data 0s autopkgtest [21:49:20]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.cmvcic05/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:lrslib,src:openmpi,src:pmix --apt-upgrade latte-int --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=lrslib/0.71b-2.1build1 openmpi/4.1.6-5.1ubuntu3 pmix/5.0.1-4.1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-arm64-10.secgroup --name adt-noble-arm64-latte-int-20240313-214920-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-arm64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration -e TERM=linux -e ''"'"'http_proxy=http://squid.internal:3128'"'"'' -e ''"'"'https_proxy=http://squid.internal:3128'"'"'' -e ''"'"'no_proxy=127.0.0.1,127.0.1.1,login.ubuntu.com,localhost,localdomain,novalocal,internal,archive.ubuntu.com,ports.ubuntu.com,security.ubuntu.com,ddebs.ubuntu.com,changelogs.ubuntu.com,launchpadlibrarian.net,launchpadcontent.net,launchpad.net,10.24.0.0/24,keystone.ps5.canonical.com,objectstorage.prodstack5.canonical.com'"'"'' --mirror=http://ftpmaster.internal/ubuntu/ 298s autopkgtest [21:54:18]: testbed dpkg architecture: arm64 298s autopkgtest [21:54:18]: testbed apt version: 2.7.12 298s autopkgtest [21:54:18]: @@@@@@@@@@@@@@@@@@@@ test bed setup 298s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 300s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [450 kB] 300s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2818 kB] 302s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [42.3 kB] 302s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [4812 B] 302s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [603 kB] 302s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 302s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 302s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 302s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [3218 kB] 303s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 303s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [42.3 kB] 303s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 313s Fetched 7327 kB in 6s (1144 kB/s) 314s Reading package lists... 315s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 318s Reading package lists... 338s Reading package lists... 338s Building dependency tree... 338s Reading state information... 341s Calculating upgrade... 342s The following packages will be upgraded: 342s console-setup console-setup-linux keyboard-configuration 342s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 342s Need to get 2202 kB of archives. 342s After this operation, 2048 B of additional disk space will be used. 342s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 console-setup-linux all 1.226ubuntu1 [1880 kB] 344s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 console-setup all 1.226ubuntu1 [110 kB] 344s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 keyboard-configuration all 1.226ubuntu1 [212 kB] 345s Preconfiguring packages ... 346s Fetched 2202 kB in 2s (1269 kB/s) 347s (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 ... 75867 files and directories currently installed.) 347s Preparing to unpack .../console-setup-linux_1.226ubuntu1_all.deb ... 347s Unpacking console-setup-linux (1.226ubuntu1) over (1.223ubuntu2) ... 348s Preparing to unpack .../console-setup_1.226ubuntu1_all.deb ... 348s Unpacking console-setup (1.226ubuntu1) over (1.223ubuntu2) ... 348s Preparing to unpack .../keyboard-configuration_1.226ubuntu1_all.deb ... 348s Unpacking keyboard-configuration (1.226ubuntu1) over (1.223ubuntu2) ... 348s Setting up keyboard-configuration (1.226ubuntu1) ... 351s Your console font configuration will be updated the next time your system 351s boots. If you want to update it now, run 'setupcon' from a virtual console. 351s update-initramfs: deferring update (trigger activated) 352s Setting up console-setup-linux (1.226ubuntu1) ... 358s Setting up console-setup (1.226ubuntu1) ... 361s update-initramfs: deferring update (trigger activated) 361s Processing triggers for man-db (2.12.0-3) ... 363s Processing triggers for initramfs-tools (0.142ubuntu20) ... 363s update-initramfs: Generating /boot/initrd.img-6.8.0-11-generic 363s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 439s System running in EFI mode, skipping. 440s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 440s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 440s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 440s Reading package lists... 441s Building dependency tree... 441s Reading state information... 443s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 444s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 444s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 444s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 444s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 445s Hit:5 http://ftpmaster.internal/ubuntu noble-backports InRelease 460s Reading package lists... 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 461s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 461s Reading package lists... 462s Building dependency tree... 462s Reading state information... 464s Calculating upgrade... 465s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 465s Reading package lists... 466s Building dependency tree... 466s Reading state information... 468s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 469s autopkgtest [21:57:09]: rebooting testbed after setup commands that affected boot 634s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 643s autopkgtest [22:00:03]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP PREEMPT_DYNAMIC Wed Feb 14 02:53:31 UTC 2024 647s autopkgtest [22:00:07]: @@@@@@@@@@@@@@@@@@@@ apt-source latte-int 656s Get:1 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3 (dsc) [2229 B] 656s Get:2 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3 (tar) [7858 kB] 656s Get:3 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3 (diff) [11.9 kB] 656s gpgv: Signature made Wed Sep 27 22:49:03 2023 UTC 656s gpgv: using RSA key BA9821C12E07894FB2E4AD0091DC4A779EC5C910 656s gpgv: issuer "dtorrance@debian.org" 656s gpgv: Can't check signature: No public key 656s dpkg-source: warning: cannot verify inline signature for ./latte-int_1.7.6+ds-3.dsc: no acceptable signature found 659s autopkgtest [22:00:19]: testing package latte-int version 1.7.6+ds-3 659s autopkgtest [22:00:19]: build not needed 714s autopkgtest [22:01:14]: test allprimal-exp-maxdet1000: preparing testbed 720s Reading package lists... 721s Building dependency tree... 721s Reading state information... 722s Starting pkgProblemResolver with broken count: 0 723s Starting 2 pkgProblemResolver with broken count: 0 723s Done 724s The following additional packages will be installed: 724s latte-int latte-int-doc libcdd-tools libcdd0d libgf2x3 libgmp-dev 724s libgmpxx4ldbl libntl44 724s Suggested packages: 724s gmp-doc libgmp10-doc libmpfr-dev 724s Recommended packages: 724s lrslib topcom libcdd-doc 724s The following NEW packages will be installed: 724s autopkgtest-satdep latte-int latte-int-doc libcdd-tools libcdd0d libgf2x3 724s libgmp-dev libgmpxx4ldbl libntl44 725s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 725s Need to get 9177 kB/9178 kB of archives. 725s After this operation, 39.3 MB of additional disk space will be used. 725s Get:1 /tmp/autopkgtest.cpU1Jj/1-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 725s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-2ubuntu4 [9950 B] 725s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-2ubuntu4 [330 kB] 725s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 libcdd0d arm64 094m-1 [116 kB] 725s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 libgf2x3 arm64 1.3.0-2 [28.2 kB] 725s Get:6 http://ftpmaster.internal/ubuntu noble/universe arm64 libntl44 arm64 11.5.1-1 [776 kB] 725s Get:7 http://ftpmaster.internal/ubuntu noble/universe arm64 libcdd-tools arm64 094m-1 [25.6 kB] 725s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 latte-int arm64 1.7.6+ds-3 [431 kB] 726s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 latte-int-doc all 1.7.6+ds-3 [7462 kB] 729s Fetched 9177 kB in 3s (3370 kB/s) 729s Selecting previously unselected package libgmpxx4ldbl:arm64. 729s (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 ... 75867 files and directories currently installed.) 729s Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 729s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 729s Selecting previously unselected package libgmp-dev:arm64. 729s Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 729s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 729s Selecting previously unselected package libcdd0d:arm64. 729s Preparing to unpack .../2-libcdd0d_094m-1_arm64.deb ... 729s Unpacking libcdd0d:arm64 (094m-1) ... 729s Selecting previously unselected package libgf2x3:arm64. 729s Preparing to unpack .../3-libgf2x3_1.3.0-2_arm64.deb ... 729s Unpacking libgf2x3:arm64 (1.3.0-2) ... 729s Selecting previously unselected package libntl44:arm64. 729s Preparing to unpack .../4-libntl44_11.5.1-1_arm64.deb ... 729s Unpacking libntl44:arm64 (11.5.1-1) ... 730s Selecting previously unselected package libcdd-tools. 730s Preparing to unpack .../5-libcdd-tools_094m-1_arm64.deb ... 730s Unpacking libcdd-tools (094m-1) ... 730s Selecting previously unselected package latte-int. 730s Preparing to unpack .../6-latte-int_1.7.6+ds-3_arm64.deb ... 730s Unpacking latte-int (1.7.6+ds-3) ... 730s Selecting previously unselected package latte-int-doc. 730s Preparing to unpack .../7-latte-int-doc_1.7.6+ds-3_all.deb ... 730s Unpacking latte-int-doc (1.7.6+ds-3) ... 731s Selecting previously unselected package autopkgtest-satdep. 731s Preparing to unpack .../8-1-autopkgtest-satdep.deb ... 731s Unpacking autopkgtest-satdep (0) ... 731s Setting up libgf2x3:arm64 (1.3.0-2) ... 731s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 731s Setting up latte-int-doc (1.7.6+ds-3) ... 731s Setting up libntl44:arm64 (11.5.1-1) ... 731s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 731s Setting up libcdd0d:arm64 (094m-1) ... 731s Setting up libcdd-tools (094m-1) ... 731s Setting up latte-int (1.7.6+ds-3) ... 731s Setting up autopkgtest-satdep (0) ... 731s Processing triggers for libc-bin (2.39-0ubuntu2) ... 741s (Reading database ... 76425 files and directories currently installed.) 741s Removing autopkgtest-satdep (0) ... 742s autopkgtest [22:01:42]: test allprimal-exp-maxdet1000: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-allprimal-exp-maxdet1000.sh 742s autopkgtest [22:01:42]: test allprimal-exp-maxdet1000: [----------------------- 742s ################################# 742s Checking count --all-primal --exp --maxdet=1000 742s ################################# 742s Logging to '/tmp/autopkgtest.cpU1Jj/allprimal-exp-maxdet1000-artifacts/log-2024-03-13-count_--all-primal_--exp_--maxdet=1000-pid1365@autopkgtest/log' 742s example1: Result: 3 GOOD Time: 0.07 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 742s example2: Result: 2 GOOD Time: 0.06 (0.01r, 0.01v, 0.03i, 0d, 0t, 0b) sec 742s example3: Result: 2 GOOD Time: 0.06 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 744s 24_cell: Result: 33 GOOD Time: 1.01 (0.02r, 0.02v, 0.38i, 0d, 0.48t, 0.09b) sec 744s cuww1: Result: 1 GOOD Time: 0.17 (0r, 0.01v, 0.08i, 0d, 0t, 0.05b) sec 745s magic4x4: Result: 8 GOOD Time: 1.5 (0.23r, 0.02v, 0.32i, 0.01d, 0.63t, 0.25b) sec 745s magic5x5: Skipped. 745s tests/missing-newline.latte: Result: 3 Time: 0.07 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 746s tests/missing-newline-2.latte: Result: 3 Time: 0.07 (0r, 0.01v, 0.05i, 0d, 0t, 0b) sec 746s tests/missing-newline-3.latte: Result: 2 Time: 0.06 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 746s tests/implied-equation.latte: Result: 1 GOOD Time: 0.06 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 746s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.06 (0r, 0.01v, 0.04i, 0d, 0t, 0b) sec 746s hickerson/hickerson-7: Result: 8 GOOD Time: 0.11 (0r, 0.02v, 0.08i, 0d, 0t, 0b) sec 746s hickerson/hickerson-8: Result: 22 GOOD Time: 0.12 (0r, 0.02v, 0.08i, 0d, 0t, 0.01b) sec 746s hickerson/hickerson-9: Result: 9 GOOD Time: 0.11 (0r, 0.02v, 0.07i, 0d, 0.01t, 0b) sec 746s hickerson/hickerson-10: Result: 24 GOOD Time: 0.18 (0r, 0.03v, 0.08i, 0d, 0t, 0.06b) sec 746s hickerson/hickerson-11: Skipped. 746s hickerson/hickerson-12: Skipped. 746s hickerson/hickerson-13: Skipped. 746s hickerson/hickerson-14: Skipped. 746s hickerson/hickerson-15: Skipped. 746s hickerson/hickerson-16: Skipped. 746s hickerson/hickerson-17: Skipped. 746s hickerson/hickerson-18: Skipped. 746s hickerson/hickerson-19: Skipped. 746s hickerson/hickerson-20: Skipped. 746s hickerson/hickerson-24: Skipped. 746s hickerson/hickerson-28: Skipped. 746s hickerson/hickerson-32: Skipped. 746s hickerson/hickerson-36: Skipped. 746s mcallister/HivePolytopeImpossible: Skipped. 746s mcallister/HivePolytopeMinutes1: Skipped. 746s mcallister/HivePolytopeMinutes2: Skipped. 746s mcallister/HivePolytopeMinutes3: Skipped. 746s mcallister/HivePolytopeMinutes4: Skipped. 746s mcallister/HivePolytopeMinutes5: Skipped. 746s mcallister/HivePolytopeSeconds: Skipped. 747s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.97 (0.02r, 0.03v, 0.38i, 0d, 0.48t, 0.05b) sec 747s yoshida/3x3x3_semi_10.equ: Skipped. 747s yoshida/3x3x3_semi_11.equ: Skipped. 747s yoshida/3x3x3_semi_12.equ: Skipped. 747s yoshida/3x3x3_semi_13.equ: Skipped. 747s yoshida/3x3x3_semi_14.equ: Skipped. 747s yoshida/3x3x3_semi_15.equ: Skipped. 747s yoshida/3x3x3_semi_16.equ: Skipped. 747s yoshida/3x3x3_semi_17.equ: Skipped. 747s yoshida/3x3x3_semi_18.equ: Skipped. 747s yoshida/3x3x3_semi_1.equ: Skipped. 747s yoshida/3x3x3_semi_2.equ: Skipped. 747s yoshida/3x3x3_semi_3.equ: Skipped. 747s yoshida/3x3x3_semi_4.equ: Skipped. 747s yoshida/3x3x3_semi_5.equ: Skipped. 747s yoshida/3x3x3_semi_6.equ: Skipped. 747s yoshida/3x3x3_semi_7.equ: Skipped. 747s yoshida/3x3x3_semi_8.equ: Skipped. 747s yoshida/3x3x3_semi_9.equ: Skipped. 748s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.13 (0.01r, 0v, 0.11i, 0d, 0t, 0b) sec 748s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.16 (0r, 0.02v, 0.12i, 0d, 0t, 0b) sec 748s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.16 (0r, 0.02v, 0.12i, 0d, 0t, 0.01b) sec 752s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 4.4 (0.04r, 0.11v, 3.89i, 0.01d, 0.01t, 0.31b) sec 752s yoshida/4x4Table10: Skipped. 752s yoshida/4x4Table11: Skipped. 752s yoshida/4x4Table2: Skipped. 752s yoshida/4x4Table3: Skipped. 752s yoshida/4x4Table4: Skipped. 752s yoshida/4x4Table5: Skipped. 752s yoshida/4x4Table6: Skipped. 752s yoshida/4x4Table7: Skipped. 752s yoshida/4x4Table8: Skipped. 752s yoshida/4x4Table9: Skipped. 752s yoshida/4x5_1: Skipped. 752s yoshida/4x5_2: Skipped. 752s yoshida/4x5_3: Skipped. 753s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.63 (0.03r, 0.02v, 0.55i, 0d, 0t, 0.02b) sec 754s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.69 (0.02r, 0.02v, 0.6i, 0d, 0t, 0.02b) sec 755s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.64 (0.03r, 0.01v, 0.57i, 0d, 0t, 0.02b) sec 755s yoshida/aardallenstra.equ: Result: 0 Time: 0.06 (0r, 0v, 0.05i, 0d, 0t, 0b) sec 755s yoshida/cube: Result: 16 GOOD Time: 0.14 (0r, 0.01v, 0.11i, 0d, 0t, 0.01b) sec 755s yoshida/cube2: Result: 8 GOOD Time: 0.12 (0r, 0.02v, 0.09i, 0d, 0t, 0b) sec 755s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.14 (0r, 0.03v, 0.11i, 0d, 0t, 0b) sec 755s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.14 (0r, 0.02v, 0.11i, 0d, 0t, 0b) sec 756s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.1 (0r, 0.01v, 0.07i, 0.01d, 0t, 0b) sec 756s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.12 (0r, 0.01v, 0.09i, 0d, 0t, 0b) sec 756s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.12 (0r, 0.02v, 0.1i, 0d, 0t, 0b) sec 756s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.15 (0r, 0.02v, 0.11i, 0d, 0t, 0.01b) sec 756s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.14 (0r, 0.02v, 0.11i, 0d, 0t, 0b) sec 756s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.11 (0.01r, 0.01v, 0.09i, 0d, 0t, 0b) sec 757s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.12 (0.01r, 0.02v, 0.09i, 0d, 0t, 0b) sec 757s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.1 (0r, 0v, 0.08i, 0d, 0t, 0.01b) sec 757s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.49 (0.03r, 0.02v, 0.41i, 0d, 0t, 0.03b) sec 758s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.51 (0.03r, 0.02v, 0.44i, 0d, 0t, 0.02b) sec 758s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.57 (0.03r, 0.03v, 0.48i, 0d, 0t, 0.02b) sec 759s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.59 (0.03r, 0.02v, 0.51i, 0d, 0t, 0.02b) sec 760s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.38 (0.04r, 0.01v, 0.31i, 0d, 0t, 0b) sec 760s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.69 (0.03r, 0.04v, 0.6i, 0d, 0t, 0.02b) sec 761s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.5 (0.02r, 0.02v, 0.44i, 0d, 0t, 0b) sec 761s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.4 (0.03r, 0.01v, 0.34i, 0d, 0t, 0.01b) sec 762s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.55 (0.03r, 0.04v, 0.45i, 0d, 0t, 0.02b) sec 762s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.39 (0.03r, 0.02v, 0.32i, 0d, 0t, 0.02b) sec 762s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.08 (0r, 0.02v, 0.04i, 0d, 0t, 0.02b) sec 763s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.18 (0.01r, 0.01v, 0.08i, 0d, 0.08t, 0b) sec 763s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.08 (0.01r, 0.02v, 0.05i, 0d, 0t, 0b) sec 763s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.09 (0.01r, 0.02v, 0.06i, 0d, 0t, 0b) sec 763s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.33 (0r, 0.02v, 0.13i, 0d, 0.16t, 0.01b) sec 764s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.31 (0.01r, 0.01v, 0.13i, 0d, 0.15t, 0.01b) sec 764s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.09 (0.01r, 0.01v, 0.07i, 0d, 0t, 0b) sec 764s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.11 (0.01r, 0.02v, 0.08i, 0d, 0t, 0b) sec 764s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.53 (0.01r, 0.01v, 0.21i, 0d, 0.25t, 0.04b) sec 766s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.77 (0.02r, 0.01v, 0.3i, 0d, 0.37t, 0.05b) sec 766s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.52 (0.01r, 0.01v, 0.2i, 0d, 0.28t, 0.01b) sec 766s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.11 (0.01r, 0.02v, 0.08i, 0d, 0t, 0b) sec 766s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.13 (0.01r, 0.01v, 0.11i, 0d, 0t, 0b) sec 767s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.77 (0.03r, 0.02v, 0.28i, 0d, 0.39t, 0.03b) sec 769s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 1.6 (0.03r, 0.02v, 0.55i, 0d, 0.78t, 0.22b) sec 771s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 1.59 (0.02r, 0.02v, 0.52i, 0d, 0.83t, 0.19b) sec 771s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.93 (0.02r, 0.04v, 0.38i, 0d, 0.47t, 0.02b) sec 772s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.15 (0.01r, 0.02v, 0.12i, 0d, 0t, 0b) sec 773s yoshida/knapsack1.equ: Result: 42 GOOD Time: 1.28 (0.02r, 0.01v, 0.17i, 0d, 0t, 1.07b) sec 773s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.22 (0.02r, 0.01v, 0.17i, 0d, 0t, 0.01b) sec 773s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.07 (0r, 0.02v, 0.05i, 0d, 0t, 0b) sec 773s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.05 (0r, 0.01v, 0.02i, 0d, 0t, 0b) sec 778s yoshida/mountExample1: Result: 35353 GOOD Time: 4.16 (0.06r, 0.09v, 3.57i, 0.01d, 0.18t, 0.21b) sec 778s yoshida/mountExample2: Skipped. 778s yoshida/mountExample3: Skipped. 778s yoshida/mountExample4: Skipped. 778s yoshida/mountExample5: Skipped. 785s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 7.47 (0.05r, 0.2v, 6.68i, 0.01d, 0.05t, 0.42b) sec 792s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 6.92 (0.04r, 0.17v, 6.2i, 0.01d, 0.03t, 0.42b) sec 800s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 7 (0.04r, 0.16v, 6.28i, 0.01d, 0.01t, 0.45b) sec 800s yoshida/tru_cube_latte: Result: 0 Time: 0.35 (0.01r, 0.02v, 0.31i, 0d, 0t, 0b) sec 800s yoshida/tru_simplex_latte: Result: 0 Time: 0.19 (0r, 0.02v, 0.16i, 0d, 0t, 0b) sec 800s yoshida/3x3x4_1.equ: Skipped. 800s yoshida/cuww1_1.equ: Result: 1 Time: 0.14 (0.01r, 0.01v, 0.07i, 0d, 0t, 0.04b) sec 801s yoshida/cuww2_1.equ: Result: 1 Time: 0.52 (0r, 0v, 0.11i, 0d, 0t, 0.4b) sec 801s yoshida/cuww3_1.equ: Result: 2 Time: 0.35 (0r, 0.02v, 0.08i, 0d, 0t, 0.24b) sec 802s yoshida/cuww4_1.equ: Result: 1 Time: 0.59 (0.01r, 0.01v, 0.1i, 0d, 0t, 0.46b) sec 802s yoshida/cuww5_1.equ: Skipped. 802s yoshida/dean1: Result: 12 Time: 0.1 (0r, 0.02v, 0.07i, 0d, 0t, 0b) sec 802s yoshida/dean2: Skipped. 802s yoshida/dean3: Skipped. 802s yoshida/prob10_1.equ: Skipped. 802s yoshida/prob1_1.equ: Skipped. 802s yoshida/prob2_1.equ: Skipped. 802s yoshida/prob3_1.equ: Skipped. 802s yoshida/prob4_1.equ: Skipped. 802s yoshida/prob5_1.equ: Skipped. 802s yoshida/prob6_1.equ: Skipped. 802s yoshida/prob7_1.equ: Skipped. 802s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 802s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.24 (0r, 0v, 0.07i, 0.06d, 0.09t, 0.01b) sec 803s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.37 (0r, 0v, 0.14i, 0.08d, 0.11t, 0.02b) sec 804s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.58 (0r, 0v, 0.15i, 0.12d, 0.21t, 0.06b) sec 804s crosspolytope/cross-polytope-6.vrep: Skipped. 804s crosspolytope/cross-polytope-7.vrep: Skipped. 804s crosspolytope/cross-polytope-8.vrep: Skipped. 804s crosspolytope/cross-polytope-9.vrep: Skipped. 804s crosspolytope/cross-polytope-10.vrep: Skipped. 804s crosspolytope/cross-polytope-11.vrep: Skipped. 804s crosspolytope/cross-polytope-12.vrep: Skipped. 804s crosspolytope/cross-polytope-13.vrep: Skipped. 804s crosspolytope/cross-polytope-14.vrep: Skipped. 804s crosspolytope/cross-polytope-15.vrep: Skipped. 804s crosspolytope/cross-polytope-16.vrep: Skipped. 804s crosspolytope/cross-polytope-17.vrep: Skipped. 804s crosspolytope/cross-polytope-18.vrep: Skipped. 804s crosspolytope/cross-polytope-19.vrep: Skipped. 804s crosspolytope/cross-polytope-20.vrep: Skipped. 804s crosspolytope/cross-polytope-21.vrep: Skipped. 804s crosspolytope/cross-polytope-22.vrep: Skipped. 804s crosspolytope/cross-polytope-23.vrep: Skipped. 804s crosspolytope/cross-polytope-24.vrep: Skipped. 804s crosspolytope/cross-polytope-25.vrep: Skipped. 804s crosspolytope/cross-polytope-26.vrep: Skipped. 804s crosspolytope/cross-polytope-27.vrep: Skipped. 804s crosspolytope/cross-polytope-28.vrep: Skipped. 804s crosspolytope/cross-polytope-29.vrep: Skipped. 804s crosspolytope/cross-polytope-30.vrep: Skipped. 804s autopkgtest [22:02:44]: test allprimal-exp-maxdet1000: -----------------------] 805s autopkgtest [22:02:45]: test allprimal-exp-maxdet1000: - - - - - - - - - - results - - - - - - - - - - 805s allprimal-exp-maxdet1000 PASS 806s autopkgtest [22:02:46]: test cdd-cddlib: preparing testbed 809s Reading package lists... 810s Building dependency tree... 810s Reading state information... 811s Starting pkgProblemResolver with broken count: 0 812s Starting 2 pkgProblemResolver with broken count: 0 812s Done 813s The following NEW packages will be installed: 813s autopkgtest-satdep 814s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 814s Need to get 0 B/712 B of archives. 814s After this operation, 0 B of additional disk space will be used. 814s Get:1 /tmp/autopkgtest.cpU1Jj/2-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 815s Selecting previously unselected package autopkgtest-satdep. 815s (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 ... 76425 files and directories currently installed.) 815s Preparing to unpack .../2-autopkgtest-satdep.deb ... 815s Unpacking autopkgtest-satdep (0) ... 816s Setting up autopkgtest-satdep (0) ... 822s (Reading database ... 76425 files and directories currently installed.) 822s Removing autopkgtest-satdep (0) ... 824s autopkgtest [22:03:04]: test cdd-cddlib: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-cdd-cddlib.sh 824s autopkgtest [22:03:04]: test cdd-cddlib: [----------------------- 824s ################################# 824s Checking count --triangulation=cddlib --dualization=cdd --compute-vertex-cones=cdd 824s ################################# 824s Logging to '/tmp/autopkgtest.cpU1Jj/cdd-cddlib-artifacts/log-2024-03-13-count_--triangulation=cddlib_--dualization=cdd_--compute-vertex-cones=cdd-pid14070@autopkgtest/log' 824s example1: Result: 3 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 824s example2: Result: 2 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 824s example3: Result: 2 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 825s 24_cell: Result: 33 GOOD Time: 0.18 (0.02r, 0.03v, 0i, 0d, 0.01t, 0.1b) sec 825s cuww1: Result: 1 GOOD Time: 0.08 (0.01r, 0.02v, 0i, 0d, 0t, 0.03b) sec 825s magic4x4: Result: 8 GOOD Time: 0.52 (0.23r, 0.03v, 0i, 0d, 0.07t, 0.18b) sec 825s magic5x5: Skipped. 825s tests/missing-newline.latte: Result: 3 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 825s tests/missing-newline-2.latte: Result: 3 Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 825s tests/missing-newline-3.latte: Result: 2 Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 826s tests/implied-equation.latte: Result: 1 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 826s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 826s hickerson/hickerson-7: Result: 8 GOOD Time: 0.05 (0.01r, 0.02v, 0i, 0d, 0t, 0.02b) sec 826s hickerson/hickerson-8: Result: 22 GOOD Time: 0.1 (0r, 0.03v, 0i, 0d, 0t, 0.07b) sec 826s hickerson/hickerson-9: Result: 9 GOOD Time: 0.09 (0r, 0.01v, 0i, 0d, 0.01t, 0.05b) sec 827s hickerson/hickerson-10: Result: 24 GOOD Time: 1.17 (0r, 0.01v, 0i, 0d, 0t, 1.14b) sec 827s hickerson/hickerson-11: Skipped. 827s hickerson/hickerson-12: Skipped. 827s hickerson/hickerson-13: Skipped. 827s hickerson/hickerson-14: Skipped. 827s hickerson/hickerson-15: Skipped. 827s hickerson/hickerson-16: Skipped. 827s hickerson/hickerson-17: Skipped. 827s hickerson/hickerson-18: Skipped. 827s hickerson/hickerson-19: Skipped. 827s hickerson/hickerson-20: Skipped. 827s hickerson/hickerson-24: Skipped. 827s hickerson/hickerson-28: Skipped. 827s hickerson/hickerson-32: Skipped. 827s hickerson/hickerson-36: Skipped. 827s mcallister/HivePolytopeImpossible: Skipped. 827s mcallister/HivePolytopeMinutes1: Skipped. 827s mcallister/HivePolytopeMinutes2: Skipped. 827s mcallister/HivePolytopeMinutes3: Skipped. 827s mcallister/HivePolytopeMinutes4: Skipped. 827s mcallister/HivePolytopeMinutes5: Skipped. 827s mcallister/HivePolytopeSeconds: Skipped. 827s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.21 (0.02r, 0.03v, 0i, 0d, 0.03t, 0.12b) sec 827s yoshida/3x3x3_semi_10.equ: Skipped. 827s yoshida/3x3x3_semi_11.equ: Skipped. 827s yoshida/3x3x3_semi_12.equ: Skipped. 827s yoshida/3x3x3_semi_13.equ: Skipped. 827s yoshida/3x3x3_semi_14.equ: Skipped. 827s yoshida/3x3x3_semi_15.equ: Skipped. 827s yoshida/3x3x3_semi_16.equ: Skipped. 827s yoshida/3x3x3_semi_17.equ: Skipped. 827s yoshida/3x3x3_semi_18.equ: Skipped. 827s yoshida/3x3x3_semi_1.equ: Skipped. 827s yoshida/3x3x3_semi_2.equ: Skipped. 827s yoshida/3x3x3_semi_3.equ: Skipped. 827s yoshida/3x3x3_semi_4.equ: Skipped. 827s yoshida/3x3x3_semi_5.equ: Skipped. 827s yoshida/3x3x3_semi_6.equ: Skipped. 827s yoshida/3x3x3_semi_7.equ: Skipped. 827s yoshida/3x3x3_semi_8.equ: Skipped. 827s yoshida/3x3x3_semi_9.equ: Skipped. 827s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 827s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 828s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 828s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.39 (0.04r, 0.12v, 0i, 0.01d, 0.02t, 0.17b) sec 828s yoshida/4x4Table10: Skipped. 828s yoshida/4x4Table11: Skipped. 828s yoshida/4x4Table2: Skipped. 828s yoshida/4x4Table3: Skipped. 828s yoshida/4x4Table4: Skipped. 828s yoshida/4x4Table5: Skipped. 828s yoshida/4x4Table6: Skipped. 828s yoshida/4x4Table7: Skipped. 828s yoshida/4x4Table8: Skipped. 828s yoshida/4x4Table9: Skipped. 828s yoshida/4x5_1: Skipped. 828s yoshida/4x5_2: Skipped. 828s yoshida/4x5_3: Skipped. 828s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.07 (0.02r, 0.03v, 0i, 0d, 0t, 0.01b) sec 828s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 828s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 828s yoshida/aardallenstra.equ: Result: 0 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 828s yoshida/cube: Result: 16 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 828s yoshida/cube2: Result: 8 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 828s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 829s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0t, 0.02b) sec 829s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 829s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.09 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 829s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.07 (0.02r, 0.01v, 0i, 0d, 0t, 0.02b) sec 829s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.09 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 829s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.09 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 830s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.07 (0.02r, 0.02v, 0i, 0d, 0t, 0b) sec 830s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 830s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 830s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.07 (0.04r, 0.02v, 0i, 0d, 0.01t, 0b) sec 830s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.07 (0.04r, 0.02v, 0i, 0d, 0t, 0.01b) sec 830s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0b) sec 830s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 830s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 830s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 830s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 830s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.05 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 831s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 831s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 831s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 831s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.08 (0.02r, 0.02v, 0i, 0d, 0.01t, 0.02b) sec 831s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.07 (0.02r, 0.02v, 0i, 0d, 0t, 0.02b) sec 831s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.06 (0.01r, 0.01v, 0i, 0d, 0.01t, 0.02b) sec 831s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 831s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.04 (0.02r, 0.02v, 0i, 0d, 0t, 0b) sec 831s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.11 (0.02r, 0.03v, 0i, 0d, 0.04t, 0.02b) sec 831s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.14 (0.03r, 0.01v, 0i, 0d, 0.02t, 0.07b) sec 832s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.13 (0.02r, 0.03v, 0i, 0d, 0.05t, 0.03b) sec 832s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.1 (0.02r, 0.01v, 0i, 0d, 0.03t, 0.03b) sec 832s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.04 (0.02r, 0.01v, 0i, 0d, 0t, 0b) sec 832s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.28 (0.01r, 0.02v, 0i, 0d, 0t, 0.25b) sec 832s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 832s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 832s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 833s yoshida/mountExample1: Result: 35353 GOOD Time: 0.31 (0.05r, 0.09v, 0i, 0d, 0.01t, 0.14b) sec 833s yoshida/mountExample2: Skipped. 833s yoshida/mountExample3: Skipped. 833s yoshida/mountExample4: Skipped. 833s yoshida/mountExample5: Skipped. 833s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.55 (0.05r, 0.17v, 0i, 0.01d, 0.03t, 0.22b) sec 834s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.59 (0.04r, 0.2v, 0i, 0.02d, 0.03t, 0.26b) sec 834s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.57 (0.04r, 0.2v, 0i, 0d, 0.01t, 0.29b) sec 835s yoshida/tru_cube_latte: Result: 0 Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 835s yoshida/tru_simplex_latte: Result: 0 Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 835s yoshida/3x3x4_1.equ: Skipped. 835s yoshida/cuww1_1.equ: Result: 1 Time: 0.06 (0r, 0.02v, 0i, 0d, 0t, 0.04b) sec 835s yoshida/cuww2_1.equ: Result: 1 Time: 0.15 (0r, 0.02v, 0i, 0d, 0t, 0.13b) sec 835s yoshida/cuww3_1.equ: Result: 2 Time: 0.14 (0.01r, 0.02v, 0i, 0d, 0t, 0.11b) sec 835s yoshida/cuww4_1.equ: Result: 1 Time: 0.21 (0.01r, 0.01v, 0i, 0d, 0t, 0.17b) sec 835s yoshida/cuww5_1.equ: Skipped. 835s yoshida/dean1: Result: 12 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 835s yoshida/dean2: Skipped. 835s yoshida/dean3: Skipped. 835s yoshida/prob10_1.equ: Skipped. 835s yoshida/prob1_1.equ: Skipped. 835s yoshida/prob2_1.equ: Skipped. 835s yoshida/prob3_1.equ: Skipped. 835s yoshida/prob4_1.equ: Skipped. 835s yoshida/prob5_1.equ: Skipped. 835s yoshida/prob6_1.equ: Skipped. 835s yoshida/prob7_1.equ: Skipped. 835s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 835s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.07 (0r, 0v, 0i, 0.05d, 0t, 0.01b) sec 836s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.22 (0r, 0v, 0i, 0.08d, 0.01t, 0.11b) sec 838s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 1.86 (0r, 0v, 0i, 0.1d, 0.07t, 1.66b) sec 838s crosspolytope/cross-polytope-6.vrep: Skipped. 838s crosspolytope/cross-polytope-7.vrep: Skipped. 838s crosspolytope/cross-polytope-8.vrep: Skipped. 838s crosspolytope/cross-polytope-9.vrep: Skipped. 838s crosspolytope/cross-polytope-10.vrep: Skipped. 838s crosspolytope/cross-polytope-11.vrep: Skipped. 838s crosspolytope/cross-polytope-12.vrep: Skipped. 838s crosspolytope/cross-polytope-13.vrep: Skipped. 838s crosspolytope/cross-polytope-14.vrep: Skipped. 838s crosspolytope/cross-polytope-15.vrep: Skipped. 838s crosspolytope/cross-polytope-16.vrep: Skipped. 838s crosspolytope/cross-polytope-17.vrep: Skipped. 838s crosspolytope/cross-polytope-18.vrep: Skipped. 838s crosspolytope/cross-polytope-19.vrep: Skipped. 838s crosspolytope/cross-polytope-20.vrep: Skipped. 838s crosspolytope/cross-polytope-21.vrep: Skipped. 838s crosspolytope/cross-polytope-22.vrep: Skipped. 838s crosspolytope/cross-polytope-23.vrep: Skipped. 838s crosspolytope/cross-polytope-24.vrep: Skipped. 838s crosspolytope/cross-polytope-25.vrep: Skipped. 838s crosspolytope/cross-polytope-26.vrep: Skipped. 838s crosspolytope/cross-polytope-27.vrep: Skipped. 838s crosspolytope/cross-polytope-28.vrep: Skipped. 838s crosspolytope/cross-polytope-29.vrep: Skipped. 838s crosspolytope/cross-polytope-30.vrep: Skipped. 838s autopkgtest [22:03:18]: test cdd-cddlib: -----------------------] 839s autopkgtest [22:03:19]: test cdd-cddlib: - - - - - - - - - - results - - - - - - - - - - 839s cdd-cddlib PASS 841s autopkgtest [22:03:21]: test cdd: preparing testbed 848s Reading package lists... 849s Building dependency tree... 849s Reading state information... 850s Starting pkgProblemResolver with broken count: 0 850s Starting 2 pkgProblemResolver with broken count: 0 850s Done 852s The following NEW packages will be installed: 852s autopkgtest-satdep 852s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 852s Need to get 0 B/712 B of archives. 852s After this operation, 0 B of additional disk space will be used. 852s Get:1 /tmp/autopkgtest.cpU1Jj/3-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 854s Selecting previously unselected package autopkgtest-satdep. 854s (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 ... 76425 files and directories currently installed.) 854s Preparing to unpack .../3-autopkgtest-satdep.deb ... 854s Unpacking autopkgtest-satdep (0) ... 854s Setting up autopkgtest-satdep (0) ... 861s (Reading database ... 76425 files and directories currently installed.) 861s Removing autopkgtest-satdep (0) ... 862s autopkgtest [22:03:42]: test cdd: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-cdd.sh 862s autopkgtest [22:03:42]: test cdd: [----------------------- 863s ################################# 863s Checking count --triangulation=cdd --dualization=cdd --compute-vertex-cones=cdd 863s ################################# 863s Logging to '/tmp/autopkgtest.cpU1Jj/cdd-artifacts/log-2024-03-13-count_--triangulation=cdd_--dualization=cdd_--compute-vertex-cones=cdd-pid15175@autopkgtest/log' 863s example1: Result: 3 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 863s example2: Result: 2 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 863s example3: Result: 2 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 863s 24_cell: Result: 33 GOOD Time: 0.62 (0.02r, 0.02v, 0i, 0d, 0.46t, 0.08b) sec 864s cuww1: Result: 1 GOOD Time: 0.07 (0r, 0.02v, 0i, 0d, 0t, 0.04b) sec 865s magic4x4: Result: 8 GOOD Time: 0.96 (0.24r, 0.02v, 0i, 0d, 0.47t, 0.21b) sec 865s magic5x5: Skipped. 865s tests/missing-newline.latte: Result: 3 Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 865s tests/missing-newline-2.latte: Result: 3 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 865s tests/missing-newline-3.latte: Result: 2 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 865s tests/implied-equation.latte: Result: 1 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 865s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 865s hickerson/hickerson-7: Result: 8 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0t, 0.02b) sec 865s hickerson/hickerson-8: Result: 22 GOOD Time: 0.09 (0.01r, 0.01v, 0i, 0d, 0t, 0.06b) sec 865s hickerson/hickerson-9: Result: 9 GOOD Time: 0.08 (0r, 0.01v, 0i, 0d, 0t, 0.06b) sec 866s hickerson/hickerson-10: Result: 24 GOOD Time: 1.19 (0r, 0.02v, 0i, 0d, 0t, 1.16b) sec 866s hickerson/hickerson-11: Skipped. 866s hickerson/hickerson-12: Skipped. 866s hickerson/hickerson-13: Skipped. 866s hickerson/hickerson-14: Skipped. 866s hickerson/hickerson-15: Skipped. 866s hickerson/hickerson-16: Skipped. 866s hickerson/hickerson-17: Skipped. 866s hickerson/hickerson-18: Skipped. 866s hickerson/hickerson-19: Skipped. 866s hickerson/hickerson-20: Skipped. 866s hickerson/hickerson-24: Skipped. 866s hickerson/hickerson-28: Skipped. 866s hickerson/hickerson-32: Skipped. 866s hickerson/hickerson-36: Skipped. 866s mcallister/HivePolytopeImpossible: Skipped. 866s mcallister/HivePolytopeMinutes1: Skipped. 866s mcallister/HivePolytopeMinutes2: Skipped. 866s mcallister/HivePolytopeMinutes3: Skipped. 866s mcallister/HivePolytopeMinutes4: Skipped. 866s mcallister/HivePolytopeMinutes5: Skipped. 866s mcallister/HivePolytopeSeconds: Skipped. 867s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.57 (0.02r, 0.03v, 0i, 0d, 0.39t, 0.12b) sec 867s yoshida/3x3x3_semi_10.equ: Skipped. 867s yoshida/3x3x3_semi_11.equ: Skipped. 867s yoshida/3x3x3_semi_12.equ: Skipped. 867s yoshida/3x3x3_semi_13.equ: Skipped. 867s yoshida/3x3x3_semi_14.equ: Skipped. 867s yoshida/3x3x3_semi_15.equ: Skipped. 867s yoshida/3x3x3_semi_16.equ: Skipped. 867s yoshida/3x3x3_semi_17.equ: Skipped. 867s yoshida/3x3x3_semi_18.equ: Skipped. 867s yoshida/3x3x3_semi_1.equ: Skipped. 867s yoshida/3x3x3_semi_2.equ: Skipped. 867s yoshida/3x3x3_semi_3.equ: Skipped. 867s yoshida/3x3x3_semi_4.equ: Skipped. 867s yoshida/3x3x3_semi_5.equ: Skipped. 867s yoshida/3x3x3_semi_6.equ: Skipped. 867s yoshida/3x3x3_semi_7.equ: Skipped. 867s yoshida/3x3x3_semi_8.equ: Skipped. 867s yoshida/3x3x3_semi_9.equ: Skipped. 867s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 867s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 867s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.34 (0.04r, 0.1v, 0i, 0.01d, 0.03t, 0.15b) sec 868s yoshida/4x4Table10: Skipped. 868s yoshida/4x4Table11: Skipped. 868s yoshida/4x4Table2: Skipped. 868s yoshida/4x4Table3: Skipped. 868s yoshida/4x4Table4: Skipped. 868s yoshida/4x4Table5: Skipped. 868s yoshida/4x4Table6: Skipped. 868s yoshida/4x4Table7: Skipped. 868s yoshida/4x4Table8: Skipped. 868s yoshida/4x4Table9: Skipped. 868s yoshida/4x5_1: Skipped. 868s yoshida/4x5_2: Skipped. 868s yoshida/4x5_3: Skipped. 868s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0.01d, 0t, 0.01b) sec 868s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.07 (0.02r, 0.03v, 0i, 0d, 0t, 0b) sec 868s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 868s yoshida/aardallenstra.equ: Result: 0 Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 868s yoshida/cube: Result: 16 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/cube2: Result: 8 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 868s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 868s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 868s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 869s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 869s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 869s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.09 (0.04r, 0.03v, 0i, 0d, 0t, 0.02b) sec 869s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.08 (0.04r, 0.02v, 0i, 0d, 0t, 0.01b) sec 869s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.08 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 869s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0.01t, 0b) sec 869s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 869s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 869s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.07 (0.03r, 0.01v, 0i, 0d, 0t, 0.02b) sec 869s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0b) sec 870s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 870s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0.01t, 0b) sec 870s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 870s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.16 (0.01r, 0.02v, 0i, 0d, 0.11t, 0.01b) sec 870s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 870s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 870s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.21 (0.01r, 0.02v, 0i, 0d, 0.17t, 0b) sec 871s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.22 (0r, 0.01v, 0i, 0d, 0.19t, 0b) sec 871s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 871s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 871s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.33 (0.02r, 0.01v, 0i, 0d, 0.28t, 0.01b) sec 872s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.44 (0.02r, 0.02v, 0i, 0d, 0.38t, 0.02b) sec 872s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.29 (0.01r, 0.02v, 0i, 0d, 0.25t, 0.01b) sec 872s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0.01b) sec 872s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.04 (0.02r, 0.02v, 0i, 0d, 0t, 0b) sec 873s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.49 (0.03r, 0.02v, 0i, 0d, 0.39t, 0.04b) sec 873s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.72 (0.03r, 0.03v, 0i, 0d, 0.61t, 0.04b) sec 874s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.69 (0.02r, 0.03v, 0i, 0d, 0.57t, 0.05b) sec 875s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.43 (0.02r, 0.01v, 0i, 0d, 0.38t, 0.01b) sec 875s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 875s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.27 (0.01r, 0.02v, 0i, 0d, 0t, 0.24b) sec 875s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 875s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 875s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 876s yoshida/mountExample1: Result: 35353 GOOD Time: 0.38 (0.05r, 0.1v, 0i, 0.01d, 0.12t, 0.09b) sec 876s yoshida/mountExample2: Skipped. 876s yoshida/mountExample3: Skipped. 876s yoshida/mountExample4: Skipped. 876s yoshida/mountExample5: Skipped. 876s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.52 (0.04r, 0.17v, 0i, 0.01d, 0.01t, 0.25b) sec 877s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.51 (0.04r, 0.16v, 0i, 0.01d, 0.01t, 0.28b) sec 877s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.5 (0.03r, 0.17v, 0i, 0.01d, 0.01t, 0.23b) sec 877s yoshida/tru_cube_latte: Result: 0 Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 877s yoshida/tru_simplex_latte: Result: 0 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 877s yoshida/3x3x4_1.equ: Skipped. 877s yoshida/cuww1_1.equ: Result: 1 Time: 0.05 (0r, 0.02v, 0i, 0d, 0t, 0.02b) sec 878s yoshida/cuww2_1.equ: Result: 1 Time: 0.14 (0r, 0.02v, 0i, 0d, 0t, 0.12b) sec 878s yoshida/cuww3_1.equ: Result: 2 Time: 0.13 (0r, 0v, 0i, 0d, 0t, 0.12b) sec 878s yoshida/cuww4_1.equ: Result: 1 Time: 0.19 (0.01r, 0.01v, 0i, 0d, 0t, 0.16b) sec 878s yoshida/cuww5_1.equ: Skipped. 878s yoshida/dean1: Result: 12 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 878s yoshida/dean2: Skipped. 878s yoshida/dean3: Skipped. 878s yoshida/prob10_1.equ: Skipped. 878s yoshida/prob1_1.equ: Skipped. 878s yoshida/prob2_1.equ: Skipped. 878s yoshida/prob3_1.equ: Skipped. 878s yoshida/prob4_1.equ: Skipped. 878s yoshida/prob5_1.equ: Skipped. 878s yoshida/prob6_1.equ: Skipped. 878s yoshida/prob7_1.equ: Skipped. 878s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 878s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.19 (0r, 0v, 0i, 0.06d, 0.11t, 0.02b) sec 879s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.42 (0r, 0v, 0i, 0.08d, 0.17t, 0.16b) sec 881s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 2.16 (0r, 0v, 0i, 0.12d, 0.34t, 1.66b) sec 881s crosspolytope/cross-polytope-6.vrep: Skipped. 881s crosspolytope/cross-polytope-7.vrep: Skipped. 881s crosspolytope/cross-polytope-8.vrep: Skipped. 881s crosspolytope/cross-polytope-9.vrep: Skipped. 881s crosspolytope/cross-polytope-10.vrep: Skipped. 881s crosspolytope/cross-polytope-11.vrep: Skipped. 881s crosspolytope/cross-polytope-12.vrep: Skipped. 881s crosspolytope/cross-polytope-13.vrep: Skipped. 881s crosspolytope/cross-polytope-14.vrep: Skipped. 881s crosspolytope/cross-polytope-15.vrep: Skipped. 881s crosspolytope/cross-polytope-16.vrep: Skipped. 881s crosspolytope/cross-polytope-17.vrep: Skipped. 881s crosspolytope/cross-polytope-18.vrep: Skipped. 881s crosspolytope/cross-polytope-19.vrep: Skipped. 881s crosspolytope/cross-polytope-20.vrep: Skipped. 881s crosspolytope/cross-polytope-21.vrep: Skipped. 881s crosspolytope/cross-polytope-22.vrep: Skipped. 881s crosspolytope/cross-polytope-23.vrep: Skipped. 881s crosspolytope/cross-polytope-24.vrep: Skipped. 881s crosspolytope/cross-polytope-25.vrep: Skipped. 881s crosspolytope/cross-polytope-26.vrep: Skipped. 881s crosspolytope/cross-polytope-27.vrep: Skipped. 881s crosspolytope/cross-polytope-28.vrep: Skipped. 881s crosspolytope/cross-polytope-29.vrep: Skipped. 881s crosspolytope/cross-polytope-30.vrep: Skipped. 881s autopkgtest [22:04:01]: test cdd: -----------------------] 882s autopkgtest [22:04:02]: test cdd: - - - - - - - - - - results - - - - - - - - - - 882s cdd PASS 883s autopkgtest [22:04:03]: test default: preparing testbed 886s Reading package lists... 887s Building dependency tree... 887s Reading state information... 888s Starting pkgProblemResolver with broken count: 0 888s Starting 2 pkgProblemResolver with broken count: 0 888s Done 890s The following NEW packages will be installed: 890s autopkgtest-satdep 890s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 890s Need to get 0 B/712 B of archives. 890s After this operation, 0 B of additional disk space will be used. 890s Get:1 /tmp/autopkgtest.cpU1Jj/4-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 892s Selecting previously unselected package autopkgtest-satdep. 892s (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 ... 76425 files and directories currently installed.) 892s Preparing to unpack .../4-autopkgtest-satdep.deb ... 892s Unpacking autopkgtest-satdep (0) ... 892s Setting up autopkgtest-satdep (0) ... 899s (Reading database ... 76425 files and directories currently installed.) 899s Removing autopkgtest-satdep (0) ... 901s autopkgtest [22:04:21]: test default: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-default.sh 901s autopkgtest [22:04:21]: test default: [----------------------- 901s ################################# 901s Checking count (with defaults)... 901s ################################# 901s Logging to '/tmp/autopkgtest.cpU1Jj/default-artifacts/log-2024-03-13-count_-pid17424@autopkgtest/log' 901s example1: Result: 3 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 901s example2: Result: 2 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 901s example3: Result: 2 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 902s 24_cell: Result: 33 GOOD Time: 0.57 (0.03r, 0.02v, 0i, 0d, 0.44t, 0.08b) sec 902s cuww1: Result: 1 GOOD Time: 0.07 (0r, 0.03v, 0i, 0d, 0t, 0.03b) sec 903s magic4x4: Result: 8 GOOD Time: 0.9 (0.23r, 0.02v, 0i, 0d, 0.45t, 0.18b) sec 903s magic5x5: Skipped. 903s tests/missing-newline.latte: Result: 3 Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 903s tests/missing-newline-2.latte: Result: 3 Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 903s tests/missing-newline-3.latte: Result: 2 Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 903s tests/implied-equation.latte: Result: 1 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 903s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 903s hickerson/hickerson-7: Result: 8 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.02b) sec 903s hickerson/hickerson-8: Result: 22 GOOD Time: 0.07 (0r, 0.01v, 0i, 0d, 0t, 0.06b) sec 903s hickerson/hickerson-9: Result: 9 GOOD Time: 0.09 (0r, 0.02v, 0i, 0d, 0t, 0.06b) sec 904s hickerson/hickerson-10: Result: 24 GOOD Time: 1.12 (0r, 0v, 0i, 0d, 0t, 1.11b) sec 904s hickerson/hickerson-11: Skipped. 904s hickerson/hickerson-12: Skipped. 904s hickerson/hickerson-13: Skipped. 904s hickerson/hickerson-14: Skipped. 904s hickerson/hickerson-15: Skipped. 904s hickerson/hickerson-16: Skipped. 904s hickerson/hickerson-17: Skipped. 904s hickerson/hickerson-18: Skipped. 904s hickerson/hickerson-19: Skipped. 904s hickerson/hickerson-20: Skipped. 904s hickerson/hickerson-24: Skipped. 904s hickerson/hickerson-28: Skipped. 904s hickerson/hickerson-32: Skipped. 904s hickerson/hickerson-36: Skipped. 904s mcallister/HivePolytopeImpossible: Skipped. 904s mcallister/HivePolytopeMinutes1: Skipped. 904s mcallister/HivePolytopeMinutes2: Skipped. 904s mcallister/HivePolytopeMinutes3: Skipped. 904s mcallister/HivePolytopeMinutes4: Skipped. 904s mcallister/HivePolytopeMinutes5: Skipped. 904s mcallister/HivePolytopeSeconds: Skipped. 905s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.52 (0.03r, 0.02v, 0i, 0d, 0.35t, 0.12b) sec 905s yoshida/3x3x3_semi_10.equ: Skipped. 905s yoshida/3x3x3_semi_11.equ: Skipped. 905s yoshida/3x3x3_semi_12.equ: Skipped. 905s yoshida/3x3x3_semi_13.equ: Skipped. 905s yoshida/3x3x3_semi_14.equ: Skipped. 905s yoshida/3x3x3_semi_15.equ: Skipped. 905s yoshida/3x3x3_semi_16.equ: Skipped. 905s yoshida/3x3x3_semi_17.equ: Skipped. 905s yoshida/3x3x3_semi_18.equ: Skipped. 905s yoshida/3x3x3_semi_1.equ: Skipped. 905s yoshida/3x3x3_semi_2.equ: Skipped. 905s yoshida/3x3x3_semi_3.equ: Skipped. 905s yoshida/3x3x3_semi_4.equ: Skipped. 905s yoshida/3x3x3_semi_5.equ: Skipped. 905s yoshida/3x3x3_semi_6.equ: Skipped. 905s yoshida/3x3x3_semi_7.equ: Skipped. 905s yoshida/3x3x3_semi_8.equ: Skipped. 905s yoshida/3x3x3_semi_9.equ: Skipped. 905s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 905s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 905s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 906s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.36 (0.04r, 0.13v, 0i, 0.01d, 0.01t, 0.14b) sec 906s yoshida/4x4Table10: Skipped. 906s yoshida/4x4Table11: Skipped. 906s yoshida/4x4Table2: Skipped. 906s yoshida/4x4Table3: Skipped. 906s yoshida/4x4Table4: Skipped. 906s yoshida/4x4Table5: Skipped. 906s yoshida/4x4Table6: Skipped. 906s yoshida/4x4Table7: Skipped. 906s yoshida/4x4Table8: Skipped. 906s yoshida/4x4Table9: Skipped. 906s yoshida/4x5_1: Skipped. 906s yoshida/4x5_2: Skipped. 906s yoshida/4x5_3: Skipped. 906s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.07 (0.03r, 0.01v, 0i, 0d, 0t, 0.02b) sec 906s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.07 (0.02r, 0.02v, 0i, 0d, 0t, 0.01b) sec 906s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0.01t, 0.01b) sec 906s yoshida/aardallenstra.equ: Result: 0 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 906s yoshida/cube: Result: 16 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 906s yoshida/cube2: Result: 8 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 906s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 906s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 907s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 907s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 907s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 907s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0.01d, 0t, 0.01b) sec 907s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.06 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 907s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.07 (0.03r, 0.01v, 0i, 0d, 0t, 0b) sec 907s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 907s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.06 (0.03r, 0.01v, 0i, 0d, 0t, 0.01b) sec 907s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 907s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 907s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.06 (0.03r, 0.02v, 0i, 0.01d, 0t, 0b) sec 907s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 908s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.06 (0.02r, 0.03v, 0i, 0d, 0t, 0.01b) sec 908s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 908s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.11 (0r, 0.02v, 0i, 0d, 0.09t, 0b) sec 908s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 908s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 908s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.18 (0.01r, 0.02v, 0i, 0d, 0.15t, 0b) sec 908s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.2 (0.01r, 0.01v, 0i, 0d, 0.18t, 0b) sec 908s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 908s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 909s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.32 (0.01r, 0.03v, 0i, 0d, 0.27t, 0.01b) sec 909s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.38 (0.01r, 0.02v, 0i, 0d, 0.35t, 0b) sec 910s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.3 (0.01r, 0.03v, 0i, 0d, 0.24t, 0.01b) sec 910s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 910s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 910s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.42 (0.03r, 0.01v, 0i, 0d, 0.33t, 0.04b) sec 911s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.72 (0.03r, 0.01v, 0i, 0d, 0.66t, 0.01b) sec 912s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.72 (0.03r, 0.01v, 0i, 0d, 0.64t, 0.03b) sec 912s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.46 (0.02r, 0.03v, 0i, 0d, 0.38t, 0.02b) sec 912s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.05 (0.01r, 0.03v, 0i, 0d, 0t, 0.01b) sec 913s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.3 (0.01r, 0.02v, 0i, 0d, 0t, 0.26b) sec 913s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.05 (0.01r, 0.04v, 0i, 0d, 0t, 0b) sec 913s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 913s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 913s yoshida/mountExample1: Result: 35353 GOOD Time: 0.47 (0.06r, 0.1v, 0i, 0.01d, 0.15t, 0.12b) sec 913s yoshida/mountExample2: Skipped. 913s yoshida/mountExample3: Skipped. 913s yoshida/mountExample4: Skipped. 913s yoshida/mountExample5: Skipped. 914s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.66 (0.04r, 0.23v, 0i, 0.01d, 0.03t, 0.27b) sec 915s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.64 (0.05r, 0.22v, 0i, 0.01d, 0.01t, 0.33b) sec 915s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.59 (0.04r, 0.2v, 0i, 0.02d, 0.03t, 0.27b) sec 915s yoshida/tru_cube_latte: Result: 0 Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0.01b) sec 916s yoshida/tru_simplex_latte: Result: 0 Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 916s yoshida/3x3x4_1.equ: Skipped. 916s yoshida/cuww1_1.equ: Result: 1 Time: 0.06 (0.01r, 0.01v, 0i, 0d, 0t, 0.03b) sec 916s yoshida/cuww2_1.equ: Result: 1 Time: 0.17 (0.01r, 0.01v, 0i, 0d, 0t, 0.14b) sec 916s yoshida/cuww3_1.equ: Result: 2 Time: 0.18 (0r, 0.02v, 0i, 0d, 0t, 0.14b) sec 916s yoshida/cuww4_1.equ: Result: 1 Time: 0.22 (0.01r, 0.01v, 0i, 0d, 0t, 0.19b) sec 916s yoshida/cuww5_1.equ: Skipped. 916s yoshida/dean1: Result: 12 Time: 0.04 (0r, 0.01v, 0i, 0d, 0.01t, 0.01b) sec 916s yoshida/dean2: Skipped. 916s yoshida/dean3: Skipped. 916s yoshida/prob10_1.equ: Skipped. 916s yoshida/prob1_1.equ: Skipped. 916s yoshida/prob2_1.equ: Skipped. 916s yoshida/prob3_1.equ: Skipped. 916s yoshida/prob4_1.equ: Skipped. 916s yoshida/prob5_1.equ: Skipped. 916s yoshida/prob6_1.equ: Skipped. 916s yoshida/prob7_1.equ: Skipped. 916s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 917s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.19 (0r, 0v, 0i, 0.05d, 0.1t, 0.02b) sec 917s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.4 (0r, 0v, 0i, 0.08d, 0.17t, 0.12b) sec 919s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 2.19 (0r, 0v, 0i, 0.11d, 0.38t, 1.66b) sec 919s crosspolytope/cross-polytope-6.vrep: Skipped. 919s crosspolytope/cross-polytope-7.vrep: Skipped. 919s crosspolytope/cross-polytope-8.vrep: Skipped. 919s crosspolytope/cross-polytope-9.vrep: Skipped. 919s crosspolytope/cross-polytope-10.vrep: Skipped. 919s crosspolytope/cross-polytope-11.vrep: Skipped. 919s crosspolytope/cross-polytope-12.vrep: Skipped. 919s crosspolytope/cross-polytope-13.vrep: Skipped. 919s crosspolytope/cross-polytope-14.vrep: Skipped. 919s crosspolytope/cross-polytope-15.vrep: Skipped. 919s crosspolytope/cross-polytope-16.vrep: Skipped. 919s crosspolytope/cross-polytope-17.vrep: Skipped. 919s crosspolytope/cross-polytope-18.vrep: Skipped. 919s crosspolytope/cross-polytope-19.vrep: Skipped. 919s crosspolytope/cross-polytope-20.vrep: Skipped. 919s crosspolytope/cross-polytope-21.vrep: Skipped. 919s crosspolytope/cross-polytope-22.vrep: Skipped. 919s crosspolytope/cross-polytope-23.vrep: Skipped. 919s crosspolytope/cross-polytope-24.vrep: Skipped. 919s crosspolytope/cross-polytope-25.vrep: Skipped. 919s crosspolytope/cross-polytope-26.vrep: Skipped. 919s crosspolytope/cross-polytope-27.vrep: Skipped. 919s crosspolytope/cross-polytope-28.vrep: Skipped. 919s crosspolytope/cross-polytope-29.vrep: Skipped. 919s crosspolytope/cross-polytope-30.vrep: Skipped. 920s autopkgtest [22:04:40]: test default: -----------------------] 921s autopkgtest [22:04:41]: test default: - - - - - - - - - - results - - - - - - - - - - 921s default PASS 922s autopkgtest [22:04:42]: test homog: preparing testbed 925s Reading package lists... 926s Building dependency tree... 926s Reading state information... 927s Starting pkgProblemResolver with broken count: 0 927s Starting 2 pkgProblemResolver with broken count: 0 927s Done 929s The following NEW packages will be installed: 929s autopkgtest-satdep 929s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 929s Need to get 0 B/712 B of archives. 929s After this operation, 0 B of additional disk space will be used. 929s Get:1 /tmp/autopkgtest.cpU1Jj/5-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [712 B] 931s Selecting previously unselected package autopkgtest-satdep. 931s (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 ... 76425 files and directories currently installed.) 931s Preparing to unpack .../5-autopkgtest-satdep.deb ... 931s Unpacking autopkgtest-satdep (0) ... 931s Setting up autopkgtest-satdep (0) ... 939s (Reading database ... 76425 files and directories currently installed.) 939s Removing autopkgtest-satdep (0) ... 940s autopkgtest [22:05:00]: test homog: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-homog.sh 940s autopkgtest [22:05:00]: test homog: [----------------------- 940s ################################# 940s Checking count homog 940s ################################# 940s Logging to '/tmp/autopkgtest.cpU1Jj/homog-artifacts/log-2024-03-13-count_homog-pid19675@autopkgtest/log' 940s example1: Result: 3 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 940s example2: Result: 2 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 940s example3: Result: 2 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 941s 24_cell: Result: 33 GOOD Time: 0.33 (0.03r, 0v, 0i, 0d, 0.11t, 0.18b) sec 941s cuww1: Result: 1 GOOD Time: 0.16 (0.01r, 0v, 0i, 0d, 0t, 0.14b) sec 941s magic4x4: Result: 8 GOOD Time: 0.37 (0.23r, 0v, 0i, 0d, 0.09t, 0.03b) sec 941s magic5x5: Skipped. 941s tests/missing-newline.latte: Result: 3 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 941s tests/missing-newline-2.latte: Result: 3 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 942s tests/missing-newline-3.latte: Result: 2 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 942s tests/implied-equation.latte: Result: 1 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 942s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 942s hickerson/hickerson-7: Result: 8 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 942s hickerson/hickerson-8: Result: 22 GOOD Time: 0.09 (0r, 0v, 0i, 0d, 0t, 0.08b) sec 942s hickerson/hickerson-9: Result: 9 GOOD Time: 0.1 (0r, 0v, 0i, 0d, 0t, 0.09b) sec 944s hickerson/hickerson-10: Result: 24 GOOD Time: 2.32 (0r, 0v, 0i, 0d, 0t, 2.31b) sec 944s hickerson/hickerson-11: Skipped. 944s hickerson/hickerson-12: Skipped. 944s hickerson/hickerson-13: Skipped. 944s hickerson/hickerson-14: Skipped. 944s hickerson/hickerson-15: Skipped. 944s hickerson/hickerson-16: Skipped. 944s hickerson/hickerson-17: Skipped. 944s hickerson/hickerson-18: Skipped. 944s hickerson/hickerson-19: Skipped. 944s hickerson/hickerson-20: Skipped. 944s hickerson/hickerson-24: Skipped. 944s hickerson/hickerson-28: Skipped. 944s hickerson/hickerson-32: Skipped. 944s hickerson/hickerson-36: Skipped. 944s mcallister/HivePolytopeImpossible: Skipped. 944s mcallister/HivePolytopeMinutes1: Skipped. 944s mcallister/HivePolytopeMinutes2: Skipped. 944s mcallister/HivePolytopeMinutes3: Skipped. 944s mcallister/HivePolytopeMinutes4: Skipped. 944s mcallister/HivePolytopeMinutes5: Skipped. 944s mcallister/HivePolytopeSeconds: Skipped. 945s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.29 (0.03r, 0v, 0i, 0d, 0.1t, 0.15b) sec 945s yoshida/3x3x3_semi_10.equ: Skipped. 945s yoshida/3x3x3_semi_11.equ: Skipped. 945s yoshida/3x3x3_semi_12.equ: Skipped. 945s yoshida/3x3x3_semi_13.equ: Skipped. 945s yoshida/3x3x3_semi_14.equ: Skipped. 945s yoshida/3x3x3_semi_15.equ: Skipped. 945s yoshida/3x3x3_semi_16.equ: Skipped. 945s yoshida/3x3x3_semi_17.equ: Skipped. 945s yoshida/3x3x3_semi_18.equ: Skipped. 945s yoshida/3x3x3_semi_1.equ: Skipped. 945s yoshida/3x3x3_semi_2.equ: Skipped. 945s yoshida/3x3x3_semi_3.equ: Skipped. 945s yoshida/3x3x3_semi_4.equ: Skipped. 945s yoshida/3x3x3_semi_5.equ: Skipped. 945s yoshida/3x3x3_semi_6.equ: Skipped. 945s yoshida/3x3x3_semi_7.equ: Skipped. 945s yoshida/3x3x3_semi_8.equ: Skipped. 945s yoshida/3x3x3_semi_9.equ: Skipped. 945s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.02t, 0.01b) sec 945s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 945s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.02t, 0.01b) sec 946s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 1.37 (0.04r, 0v, 0i, 0d, 0.21t, 1.1b) sec 946s yoshida/4x4Table10: Skipped. 946s yoshida/4x4Table11: Skipped. 946s yoshida/4x4Table2: Skipped. 946s yoshida/4x4Table3: Skipped. 946s yoshida/4x4Table4: Skipped. 946s yoshida/4x4Table5: Skipped. 946s yoshida/4x4Table6: Skipped. 946s yoshida/4x4Table7: Skipped. 946s yoshida/4x4Table8: Skipped. 946s yoshida/4x4Table9: Skipped. 946s yoshida/4x5_1: Skipped. 946s yoshida/4x5_2: Skipped. 946s yoshida/4x5_3: Skipped. 946s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.13 (0.03r, 0v, 0i, 0d, 0.02t, 0.07b) sec 947s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.13 (0.03r, 0v, 0i, 0d, 0.03t, 0.05b) sec 947s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.13 (0.02r, 0v, 0i, 0d, 0.03t, 0.07b) sec 947s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 947s yoshida/cube: Result: 16 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/cube2: Result: 8 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.02t, 0b) sec 947s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.02t, 0.02b) sec 947s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.02t, 0.02b) sec 947s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.04 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.04 (0.01r, 0v, 0i, 0d, 0.02t, 0.01b) sec 947s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 947s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.05 (0.01r, 0v, 0i, 0d, 0.03t, 0b) sec 948s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 948s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.09 (0.03r, 0v, 0i, 0d, 0.02t, 0.01b) sec 948s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.1 (0.03r, 0v, 0i, 0d, 0.03t, 0.03b) sec 948s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.11 (0.03r, 0v, 0i, 0d, 0.02t, 0.04b) sec 948s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.12 (0.02r, 0v, 0i, 0d, 0.03t, 0.05b) sec 948s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.07 (0.03r, 0v, 0i, 0d, 0.01t, 0.02b) sec 948s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.12 (0.03r, 0v, 0i, 0d, 0.03t, 0.06b) sec 948s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.14 (0.03r, 0v, 0i, 0d, 0.02t, 0.07b) sec 949s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.09 (0.03r, 0v, 0i, 0d, 0.03t, 0.01b) sec 949s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.08 (0.03r, 0v, 0i, 0d, 0.02t, 0.02b) sec 949s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.07 (0.02r, 0v, 0i, 0d, 0.01t, 0.01b) sec 949s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 949s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 949s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 949s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 949s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 949s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.05 (0.01r, 0v, 0i, 0d, 0.03t, 0b) sec 949s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 949s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.03 (0.02r, 0v, 0i, 0d, 0t, 0b) sec 949s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.06 (0.02r, 0v, 0i, 0d, 0.02t, 0.01b) sec 949s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.06 (0.01r, 0v, 0i, 0d, 0.03t, 0.01b) sec 950s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.05 (0.02r, 0v, 0i, 0d, 0.03t, 0b) sec 950s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 950s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.03 (0.02r, 0v, 0i, 0d, 0t, 0b) sec 950s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.1 (0.03r, 0v, 0i, 0d, 0.05t, 0b) sec 950s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.12 (0.03r, 0v, 0i, 0d, 0.06t, 0.03b) sec 950s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.13 (0.02r, 0v, 0i, 0d, 0.06t, 0.04b) sec 950s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.1 (0.02r, 0v, 0i, 0d, 0.04t, 0.02b) sec 950s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 950s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.08 (0.02r, 0v, 0i, 0d, 0t, 0.04b) sec 950s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.03 (0.02r, 0v, 0i, 0d, 0t, 0.01b) sec 951s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0b) sec 951s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 951s yoshida/mountExample1: Result: 35353 GOOD Time: 0.52 (0.05r, 0v, 0i, 0d, 0.27t, 0.18b) sec 951s yoshida/mountExample2: Skipped. 951s yoshida/mountExample3: Skipped. 951s yoshida/mountExample4: Skipped. 951s yoshida/mountExample5: Skipped. 954s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 2.76 (0.04r, 0v, 0i, 0d, 0.28t, 2.42b) sec 956s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 2.21 (0.04r, 0v, 0i, 0d, 0.28t, 1.87b) sec 958s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 1.84 (0.04r, 0v, 0i, 0d, 0.3t, 1.48b) sec 958s yoshida/tru_cube_latte: Result: 0 Time: 0.07 (0.01r, 0v, 0i, 0d, 0.04t, 0.01b) sec 958s yoshida/tru_simplex_latte: Result: 0 Time: 0.06 (0r, 0v, 0i, 0d, 0.02t, 0.02b) sec 958s yoshida/3x3x4_1.equ: Skipped. 958s yoshida/cuww1_1.equ: Result: 1 Time: 0.12 (0r, 0v, 0i, 0d, 0t, 0.11b) sec 959s yoshida/cuww2_1.equ: Result: 1 Time: 0.71 (0r, 0v, 0i, 0d, 0t, 0.69b) sec 960s yoshida/cuww3_1.equ: Result: 2 Time: 0.51 (0r, 0v, 0i, 0d, 0t, 0.5b) sec 960s yoshida/cuww4_1.equ: Result: 1 Time: 0.41 (0r, 0v, 0i, 0d, 0t, 0.4b) sec 960s yoshida/cuww5_1.equ: Skipped. 960s yoshida/dean1: Result: 12 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.03b) sec 960s yoshida/dean2: Skipped. 960s yoshida/dean3: Skipped. 960s yoshida/prob10_1.equ: Skipped. 960s yoshida/prob1_1.equ: Skipped. 960s yoshida/prob2_1.equ: Skipped. 960s yoshida/prob3_1.equ: Skipped. 960s yoshida/prob4_1.equ: Skipped. 960s yoshida/prob5_1.equ: Skipped. 960s yoshida/prob6_1.equ: Skipped. 960s yoshida/prob7_1.equ: Skipped. 960s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 960s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.02t, 0.02b) sec 961s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.19 (0r, 0v, 0i, 0.01d, 0.04t, 0.14b) sec 963s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 2.33 (0r, 0v, 0i, 0d, 0.23t, 2.09b) sec 963s crosspolytope/cross-polytope-6.vrep: Skipped. 963s crosspolytope/cross-polytope-7.vrep: Skipped. 963s crosspolytope/cross-polytope-8.vrep: Skipped. 963s crosspolytope/cross-polytope-9.vrep: Skipped. 963s crosspolytope/cross-polytope-10.vrep: Skipped. 963s crosspolytope/cross-polytope-11.vrep: Skipped. 963s crosspolytope/cross-polytope-12.vrep: Skipped. 963s crosspolytope/cross-polytope-13.vrep: Skipped. 963s crosspolytope/cross-polytope-14.vrep: Skipped. 963s crosspolytope/cross-polytope-15.vrep: Skipped. 963s crosspolytope/cross-polytope-16.vrep: Skipped. 963s crosspolytope/cross-polytope-17.vrep: Skipped. 963s crosspolytope/cross-polytope-18.vrep: Skipped. 963s crosspolytope/cross-polytope-19.vrep: Skipped. 963s crosspolytope/cross-polytope-20.vrep: Skipped. 963s crosspolytope/cross-polytope-21.vrep: Skipped. 963s crosspolytope/cross-polytope-22.vrep: Skipped. 963s crosspolytope/cross-polytope-23.vrep: Skipped. 963s crosspolytope/cross-polytope-24.vrep: Skipped. 963s crosspolytope/cross-polytope-25.vrep: Skipped. 963s crosspolytope/cross-polytope-26.vrep: Skipped. 963s crosspolytope/cross-polytope-27.vrep: Skipped. 963s crosspolytope/cross-polytope-28.vrep: Skipped. 963s crosspolytope/cross-polytope-29.vrep: Skipped. 963s crosspolytope/cross-polytope-30.vrep: Skipped. 963s autopkgtest [22:05:23]: test homog: -----------------------] 964s homog PASS 964s autopkgtest [22:05:24]: test homog: - - - - - - - - - - results - - - - - - - - - - 965s autopkgtest [22:05:25]: test irr-exp-maxdet1000: preparing testbed 971s Reading package lists... 972s Building dependency tree... 972s Reading state information... 973s Starting pkgProblemResolver with broken count: 0 973s Starting 2 pkgProblemResolver with broken count: 0 974s Done 975s The following NEW packages will be installed: 975s autopkgtest-satdep 976s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 976s Need to get 0 B/708 B of archives. 976s After this operation, 0 B of additional disk space will be used. 976s Get:1 /tmp/autopkgtest.cpU1Jj/6-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [708 B] 977s Selecting previously unselected package autopkgtest-satdep. 977s (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 ... 76425 files and directories currently installed.) 977s Preparing to unpack .../6-autopkgtest-satdep.deb ... 977s Unpacking autopkgtest-satdep (0) ... 977s Setting up autopkgtest-satdep (0) ... 985s (Reading database ... 76425 files and directories currently installed.) 985s Removing autopkgtest-satdep (0) ... 986s autopkgtest [22:05:46]: test irr-exp-maxdet1000: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-irr-exp-maxdet1000.sh 986s autopkgtest [22:05:46]: test irr-exp-maxdet1000: [----------------------- 987s ################################# 987s Checking count --irr --exp --maxdet=1000 987s ################################# 987s Logging to '/tmp/autopkgtest.cpU1Jj/irr-exp-maxdet1000-artifacts/log-2024-03-13-count_--irr_--exp_--maxdet=1000-pid20635@autopkgtest/log' 987s example1: Result: 3 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 987s example2: Result: 2 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 987s example3: Result: 2 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 987s 24_cell: Result: 33 GOOD Time: 0.57 (0.03r, 0.01v, 0i, 0d, 0.46t, 0.06b) sec 988s cuww1: Result: 1 GOOD Time: 0.08 (0.01r, 0.01v, 0i, 0d, 0t, 0.05b) sec 989s magic4x4: Result: 8 GOOD Time: 0.99 (0.24r, 0.02v, 0i, 0d, 0.45t, 0.26b) sec 989s magic5x5: Skipped. 989s tests/missing-newline.latte: Result: 3 Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 989s tests/missing-newline-2.latte: Result: 3 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 989s tests/missing-newline-3.latte: Result: 2 Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 989s tests/implied-equation.latte: Result: 1 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 989s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 989s hickerson/hickerson-7: Result: 8 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.02b) sec 989s hickerson/hickerson-8: Result: 22 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 989s hickerson/hickerson-9: Result: 9 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 989s hickerson/hickerson-10: Result: 24 GOOD Time: 0.1 (0r, 0.03v, 0i, 0d, 0t, 0.06b) sec 989s hickerson/hickerson-11: Skipped. 989s hickerson/hickerson-12: Skipped. 989s hickerson/hickerson-13: Skipped. 989s hickerson/hickerson-14: Skipped. 989s hickerson/hickerson-15: Skipped. 989s hickerson/hickerson-16: Skipped. 989s hickerson/hickerson-17: Skipped. 989s hickerson/hickerson-18: Skipped. 989s hickerson/hickerson-19: Skipped. 989s hickerson/hickerson-20: Skipped. 989s hickerson/hickerson-24: Skipped. 989s hickerson/hickerson-28: Skipped. 989s hickerson/hickerson-32: Skipped. 989s hickerson/hickerson-36: Skipped. 989s mcallister/HivePolytopeImpossible: Skipped. 989s mcallister/HivePolytopeMinutes1: Skipped. 989s mcallister/HivePolytopeMinutes2: Skipped. 989s mcallister/HivePolytopeMinutes3: Skipped. 989s mcallister/HivePolytopeMinutes4: Skipped. 989s mcallister/HivePolytopeMinutes5: Skipped. 989s mcallister/HivePolytopeSeconds: Skipped. 990s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.57 (0.03r, 0.03v, 0i, 0d, 0.45t, 0.06b) sec 990s yoshida/3x3x3_semi_10.equ: Skipped. 990s yoshida/3x3x3_semi_11.equ: Skipped. 990s yoshida/3x3x3_semi_12.equ: Skipped. 990s yoshida/3x3x3_semi_13.equ: Skipped. 990s yoshida/3x3x3_semi_14.equ: Skipped. 990s yoshida/3x3x3_semi_15.equ: Skipped. 990s yoshida/3x3x3_semi_16.equ: Skipped. 990s yoshida/3x3x3_semi_17.equ: Skipped. 990s yoshida/3x3x3_semi_18.equ: Skipped. 990s yoshida/3x3x3_semi_1.equ: Skipped. 990s yoshida/3x3x3_semi_2.equ: Skipped. 990s yoshida/3x3x3_semi_3.equ: Skipped. 990s yoshida/3x3x3_semi_4.equ: Skipped. 990s yoshida/3x3x3_semi_5.equ: Skipped. 990s yoshida/3x3x3_semi_6.equ: Skipped. 990s yoshida/3x3x3_semi_7.equ: Skipped. 990s yoshida/3x3x3_semi_8.equ: Skipped. 990s yoshida/3x3x3_semi_9.equ: Skipped. 990s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0t, 0.02b) sec 990s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 990s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 991s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.57 (0.04r, 0.13v, 0i, 0.01d, 0t, 0.37b) sec 991s yoshida/4x4Table10: Skipped. 991s yoshida/4x4Table11: Skipped. 991s yoshida/4x4Table2: Skipped. 991s yoshida/4x4Table3: Skipped. 991s yoshida/4x4Table4: Skipped. 991s yoshida/4x4Table5: Skipped. 991s yoshida/4x4Table6: Skipped. 991s yoshida/4x4Table7: Skipped. 991s yoshida/4x4Table8: Skipped. 991s yoshida/4x4Table9: Skipped. 991s yoshida/4x5_1: Skipped. 991s yoshida/4x5_2: Skipped. 991s yoshida/4x5_3: Skipped. 991s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 991s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.09 (0.03r, 0.02v, 0i, 0d, 0.01t, 0.03b) sec 991s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.1 (0.02r, 0.03v, 0i, 0d, 0.01t, 0.02b) sec 991s yoshida/aardallenstra.equ: Result: 0 Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 991s yoshida/cube: Result: 16 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0.01t, 0b) sec 991s yoshida/cube2: Result: 8 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 991s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 991s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 991s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 991s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 991s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.04 (0r, 0.04v, 0i, 0d, 0t, 0b) sec 991s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 992s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 992s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 992s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 992s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 992s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.08 (0.03r, 0.01v, 0i, 0d, 0t, 0.03b) sec 992s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 992s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.09 (0.03r, 0.03v, 0i, 0d, 0.01t, 0.01b) sec 992s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.08 (0.04r, 0.02v, 0i, 0d, 0t, 0.01b) sec 992s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 992s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.09 (0.02r, 0.02v, 0i, 0d, 0.01t, 0.02b) sec 993s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.08 (0.02r, 0.03v, 0i, 0d, 0t, 0.02b) sec 993s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.08 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 993s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.09 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 993s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.09 (0.03r, 0.02v, 0i, 0.01d, 0t, 0.01b) sec 993s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 993s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.14 (0.01r, 0.02v, 0i, 0d, 0.11t, 0b) sec 993s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 993s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 993s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.19 (0.01r, 0.01v, 0i, 0d, 0.17t, 0b) sec 994s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.2 (0r, 0.02v, 0i, 0d, 0.16t, 0.01b) sec 994s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 994s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 994s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.32 (0.02r, 0.01v, 0i, 0d, 0.25t, 0.03b) sec 995s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.39 (0.01r, 0.03v, 0i, 0d, 0.32t, 0.02b) sec 995s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.31 (0.01r, 0.02v, 0i, 0d, 0.26t, 0.01b) sec 995s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 995s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.03 (0.02r, 0v, 0i, 0d, 0t, 0b) sec 996s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.48 (0.03r, 0.03v, 0i, 0d, 0.35t, 0.07b) sec 996s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.75 (0.03r, 0.01v, 0i, 0d, 0.62t, 0.07b) sec 997s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.74 (0.02r, 0.01v, 0i, 0d, 0.64t, 0.06b) sec 998s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.43 (0.02r, 0.02v, 0i, 0d, 0.36t, 0.03b) sec 998s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 999s yoshida/knapsack1.equ: Result: 42 GOOD Time: 1.12 (0.01r, 0.02v, 0i, 0d, 0t, 1.08b) sec 999s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.05 (0.01r, 0.02v, 0i, 0d, 0t, 0.02b) sec 999s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 999s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1000s yoshida/mountExample1: Result: 35353 GOOD Time: 0.51 (0.05r, 0.1v, 0i, 0.01d, 0.13t, 0.2b) sec 1000s yoshida/mountExample2: Skipped. 1000s yoshida/mountExample3: Skipped. 1000s yoshida/mountExample4: Skipped. 1000s yoshida/mountExample5: Skipped. 1000s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.8 (0.04r, 0.17v, 0i, 0.01d, 0.04t, 0.49b) sec 1001s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.8 (0.04r, 0.17v, 0i, 0.02d, 0.01t, 0.52b) sec 1002s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.79 (0.04r, 0.17v, 0i, 0.01d, 0.02t, 0.52b) sec 1002s yoshida/tru_cube_latte: Result: 0 Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0.01b) sec 1002s yoshida/tru_simplex_latte: Result: 0 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1002s yoshida/3x3x4_1.equ: Skipped. 1002s yoshida/cuww1_1.equ: Result: 1 Time: 0.07 (0r, 0.02v, 0i, 0d, 0t, 0.04b) sec 1003s yoshida/cuww2_1.equ: Result: 1 Time: 0.45 (0r, 0.03v, 0i, 0d, 0t, 0.42b) sec 1003s yoshida/cuww3_1.equ: Result: 2 Time: 0.27 (0.01r, 0.01v, 0i, 0d, 0t, 0.25b) sec 1004s yoshida/cuww4_1.equ: Result: 1 Time: 0.46 (0r, 0.01v, 0i, 0d, 0t, 0.43b) sec 1004s yoshida/cuww5_1.equ: Skipped. 1004s yoshida/dean1: Result: 12 Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1004s yoshida/dean2: Skipped. 1004s yoshida/dean3: Skipped. 1004s yoshida/prob10_1.equ: Skipped. 1004s yoshida/prob1_1.equ: Skipped. 1004s yoshida/prob2_1.equ: Skipped. 1004s yoshida/prob3_1.equ: Skipped. 1004s yoshida/prob4_1.equ: Skipped. 1004s yoshida/prob5_1.equ: Skipped. 1004s yoshida/prob6_1.equ: Skipped. 1004s yoshida/prob7_1.equ: Skipped. 1004s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 1004s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.16 (0r, 0v, 0i, 0.05d, 0.1t, 0.01b) sec 1004s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.26 (0r, 0v, 0i, 0.07d, 0.14t, 0.04b) sec 1005s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.77 (0r, 0v, 0i, 0.11d, 0.39t, 0.23b) sec 1005s crosspolytope/cross-polytope-6.vrep: Skipped. 1005s crosspolytope/cross-polytope-7.vrep: Skipped. 1005s crosspolytope/cross-polytope-8.vrep: Skipped. 1005s crosspolytope/cross-polytope-9.vrep: Skipped. 1005s crosspolytope/cross-polytope-10.vrep: Skipped. 1005s crosspolytope/cross-polytope-11.vrep: Skipped. 1005s crosspolytope/cross-polytope-12.vrep: Skipped. 1005s crosspolytope/cross-polytope-13.vrep: Skipped. 1005s crosspolytope/cross-polytope-14.vrep: Skipped. 1005s crosspolytope/cross-polytope-15.vrep: Skipped. 1005s crosspolytope/cross-polytope-16.vrep: Skipped. 1005s crosspolytope/cross-polytope-17.vrep: Skipped. 1005s crosspolytope/cross-polytope-18.vrep: Skipped. 1005s crosspolytope/cross-polytope-19.vrep: Skipped. 1005s crosspolytope/cross-polytope-20.vrep: Skipped. 1005s crosspolytope/cross-polytope-21.vrep: Skipped. 1005s crosspolytope/cross-polytope-22.vrep: Skipped. 1005s crosspolytope/cross-polytope-23.vrep: Skipped. 1005s crosspolytope/cross-polytope-24.vrep: Skipped. 1005s crosspolytope/cross-polytope-25.vrep: Skipped. 1005s crosspolytope/cross-polytope-26.vrep: Skipped. 1005s crosspolytope/cross-polytope-27.vrep: Skipped. 1005s crosspolytope/cross-polytope-28.vrep: Skipped. 1005s crosspolytope/cross-polytope-29.vrep: Skipped. 1005s crosspolytope/cross-polytope-30.vrep: Skipped. 1006s autopkgtest [22:06:06]: test irr-exp-maxdet1000: -----------------------] 1006s irr-exp-maxdet1000 PASS 1006s autopkgtest [22:06:06]: test irr-exp-maxdet1000: - - - - - - - - - - results - - - - - - - - - - 1007s autopkgtest [22:06:07]: test topcom: preparing testbed 1012s Reading package lists... 1013s Building dependency tree... 1013s Reading state information... 1014s Starting pkgProblemResolver with broken count: 0 1014s Starting 2 pkgProblemResolver with broken count: 0 1014s Done 1016s The following additional packages will be installed: 1016s libqsopt-ex2 libtopcom0 topcom 1016s Recommended packages: 1016s topcom-examples 1016s The following NEW packages will be installed: 1016s autopkgtest-satdep libqsopt-ex2 libtopcom0 topcom 1016s 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. 1016s Need to get 950 kB/951 kB of archives. 1016s After this operation, 6687 kB of additional disk space will be used. 1016s Get:1 /tmp/autopkgtest.cpU1Jj/7-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [716 B] 1017s Get:2 http://ftpmaster.internal/ubuntu noble/universe arm64 libqsopt-ex2 arm64 2.5.10.3-2 [435 kB] 1019s Get:3 http://ftpmaster.internal/ubuntu noble/universe arm64 libtopcom0 arm64 1.1.2+ds-1 [358 kB] 1020s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 topcom arm64 1.1.2+ds-1 [158 kB] 1022s Fetched 950 kB in 4s (219 kB/s) 1022s Selecting previously unselected package libqsopt-ex2. 1022s (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 ... 76425 files and directories currently installed.) 1022s Preparing to unpack .../libqsopt-ex2_2.5.10.3-2_arm64.deb ... 1022s Unpacking libqsopt-ex2 (2.5.10.3-2) ... 1022s Selecting previously unselected package libtopcom0:arm64. 1022s Preparing to unpack .../libtopcom0_1.1.2+ds-1_arm64.deb ... 1022s Unpacking libtopcom0:arm64 (1.1.2+ds-1) ... 1022s Selecting previously unselected package topcom. 1023s Preparing to unpack .../topcom_1.1.2+ds-1_arm64.deb ... 1023s Unpacking topcom (1.1.2+ds-1) ... 1023s Selecting previously unselected package autopkgtest-satdep. 1023s Preparing to unpack .../7-autopkgtest-satdep.deb ... 1023s Unpacking autopkgtest-satdep (0) ... 1023s Setting up libqsopt-ex2 (2.5.10.3-2) ... 1023s Setting up libtopcom0:arm64 (1.1.2+ds-1) ... 1023s Setting up topcom (1.1.2+ds-1) ... 1023s Setting up autopkgtest-satdep (0) ... 1023s Processing triggers for man-db (2.12.0-3) ... 1024s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1032s (Reading database ... 76565 files and directories currently installed.) 1032s Removing autopkgtest-satdep (0) ... 1033s autopkgtest [22:06:33]: test topcom: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test.pl --triangulation=topcom 1033s autopkgtest [22:06:33]: test topcom: [----------------------- 1033s Logging to '/tmp/autopkgtest.cpU1Jj/topcom-artifacts/log-2024-03-13-count_--triangulation=topcom-pid22918@autopkgtest/log' 1033s example1: Result: 3 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1033s example2: Result: 2 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 1033s example3: Result: 2 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1034s 24_cell: Result: 33 GOOD Time: 0.49 (0.03r, 0.02v, 0i, 0d, 0.35t, 0.09b) sec 1034s cuww1: Result: 1 GOOD Time: 0.06 (0r, 0.01v, 0i, 0d, 0t, 0.03b) sec 1035s magic4x4: Result: 8 GOOD Time: 0.85 (0.23r, 0.02v, 0i, 0d, 0.39t, 0.18b) sec 1035s magic5x5: Skipped. 1035s tests/missing-newline.latte: Result: 3 Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1035s tests/missing-newline-2.latte: Result: 3 Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1035s tests/missing-newline-3.latte: Result: 2 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1035s tests/implied-equation.latte: Result: 1 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1035s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1035s hickerson/hickerson-7: Result: 8 GOOD Time: 0.05 (0r, 0.01v, 0i, 0d, 0t, 0.03b) sec 1035s hickerson/hickerson-8: Result: 22 GOOD Time: 0.1 (0r, 0.02v, 0i, 0d, 0t, 0.07b) sec 1035s hickerson/hickerson-9: Result: 9 GOOD Time: 0.08 (0r, 0.01v, 0i, 0d, 0t, 0.06b) sec 1036s hickerson/hickerson-10: Result: 24 GOOD Time: 1.16 (0r, 0.01v, 0i, 0d, 0t, 1.13b) sec 1036s hickerson/hickerson-11: Skipped. 1036s hickerson/hickerson-12: Skipped. 1036s hickerson/hickerson-13: Skipped. 1036s hickerson/hickerson-14: Skipped. 1036s hickerson/hickerson-15: Skipped. 1036s hickerson/hickerson-16: Skipped. 1036s hickerson/hickerson-17: Skipped. 1036s hickerson/hickerson-18: Skipped. 1036s hickerson/hickerson-19: Skipped. 1036s hickerson/hickerson-20: Skipped. 1036s hickerson/hickerson-24: Skipped. 1036s hickerson/hickerson-28: Skipped. 1036s hickerson/hickerson-32: Skipped. 1036s hickerson/hickerson-36: Skipped. 1036s mcallister/HivePolytopeImpossible: Skipped. 1036s mcallister/HivePolytopeMinutes1: Skipped. 1036s mcallister/HivePolytopeMinutes2: Skipped. 1036s mcallister/HivePolytopeMinutes3: Skipped. 1036s mcallister/HivePolytopeMinutes4: Skipped. 1036s mcallister/HivePolytopeMinutes5: Skipped. 1036s mcallister/HivePolytopeSeconds: Skipped. 1037s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.49 (0.03r, 0.02v, 0i, 0d, 0.33t, 0.11b) sec 1037s yoshida/3x3x3_semi_10.equ: Skipped. 1037s yoshida/3x3x3_semi_11.equ: Skipped. 1037s yoshida/3x3x3_semi_12.equ: Skipped. 1037s yoshida/3x3x3_semi_13.equ: Skipped. 1037s yoshida/3x3x3_semi_14.equ: Skipped. 1037s yoshida/3x3x3_semi_15.equ: Skipped. 1037s yoshida/3x3x3_semi_16.equ: Skipped. 1037s yoshida/3x3x3_semi_17.equ: Skipped. 1037s yoshida/3x3x3_semi_18.equ: Skipped. 1037s yoshida/3x3x3_semi_1.equ: Skipped. 1037s yoshida/3x3x3_semi_2.equ: Skipped. 1037s yoshida/3x3x3_semi_3.equ: Skipped. 1037s yoshida/3x3x3_semi_4.equ: Skipped. 1037s yoshida/3x3x3_semi_5.equ: Skipped. 1037s yoshida/3x3x3_semi_6.equ: Skipped. 1037s yoshida/3x3x3_semi_7.equ: Skipped. 1037s yoshida/3x3x3_semi_8.equ: Skipped. 1037s yoshida/3x3x3_semi_9.equ: Skipped. 1037s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 1037s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1037s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.36 (0.04r, 0.12v, 0i, 0d, 0.02t, 0.15b) sec 1038s yoshida/4x4Table10: Skipped. 1038s yoshida/4x4Table11: Skipped. 1038s yoshida/4x4Table2: Skipped. 1038s yoshida/4x4Table3: Skipped. 1038s yoshida/4x4Table4: Skipped. 1038s yoshida/4x4Table5: Skipped. 1038s yoshida/4x4Table6: Skipped. 1038s yoshida/4x4Table7: Skipped. 1038s yoshida/4x4Table8: Skipped. 1038s yoshida/4x4Table9: Skipped. 1038s yoshida/4x5_1: Skipped. 1038s yoshida/4x5_2: Skipped. 1038s yoshida/4x5_3: Skipped. 1038s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.08 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 1038s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.07 (0.02r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1038s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 1038s yoshida/aardallenstra.equ: Result: 0 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1038s yoshida/cube: Result: 16 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1038s yoshida/cube2: Result: 8 GOOD Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1038s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1039s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 1039s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0.02t, 0b) sec 1039s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.09 (0.04r, 0.03v, 0i, 0d, 0t, 0.02b) sec 1039s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1039s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1039s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.07 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 1039s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.02b) sec 1039s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.07 (0.03r, 0.01v, 0i, 0d, 0t, 0.02b) sec 1039s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.06 (0.02r, 0.02v, 0i, 0d, 0t, 0b) sec 1039s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1039s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.07 (0.03r, 0.01v, 0i, 0d, 0t, 0.01b) sec 1040s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.07 (0.03r, 0.04v, 0i, 0d, 0t, 0b) sec 1040s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 1040s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.11 (0r, 0.03v, 0i, 0d, 0.07t, 0.01b) sec 1040s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1040s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1040s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.17 (0.01r, 0.01v, 0i, 0d, 0.13t, 0.01b) sec 1040s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.18 (0.01r, 0.01v, 0i, 0d, 0.14t, 0.01b) sec 1040s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1040s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.05 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1041s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.29 (0.02r, 0.02v, 0i, 0d, 0.23t, 0b) sec 1041s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.33 (0.02r, 0.01v, 0i, 0d, 0.29t, 0b) sec 1041s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.25 (0r, 0.02v, 0i, 0d, 0.2t, 0.01b) sec 1042s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.02 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1042s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.04 (0.02r, 0.01v, 0i, 0d, 0t, 0b) sec 1042s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.33 (0.02r, 0.02v, 0i, 0d, 0.27t, 0.01b) sec 1043s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.56 (0.03r, 0.01v, 0i, 0d, 0.48t, 0.03b) sec 1043s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.55 (0.02r, 0.01v, 0i, 0d, 0.42t, 0.07b) sec 1044s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.39 (0.02r, 0.02v, 0i, 0d, 0.32t, 0.01b) sec 1044s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.04 (0.02r, 0.02v, 0i, 0d, 0t, 0b) sec 1044s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.29 (0.02r, 0.02v, 0i, 0d, 0t, 0.25b) sec 1044s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.05 (0.01r, 0.02v, 0i, 0d, 0t, 0.02b) sec 1044s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1044s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1045s yoshida/mountExample1: Result: 35353 GOOD Time: 0.38 (0.05r, 0.1v, 0i, 0d, 0.09t, 0.14b) sec 1045s yoshida/mountExample2: Skipped. 1045s yoshida/mountExample3: Skipped. 1045s yoshida/mountExample4: Skipped. 1045s yoshida/mountExample5: Skipped. 1045s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.53 (0.04r, 0.18v, 0i, 0.01d, 0.01t, 0.25b) sec 1046s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.53 (0.04r, 0.19v, 0i, 0.01d, 0.02t, 0.26b) sec 1046s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.53 (0.04r, 0.19v, 0i, 0.01d, 0.01t, 0.25b) sec 1046s yoshida/tru_cube_latte: Result: 0 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1046s yoshida/tru_simplex_latte: Result: 0 Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1046s yoshida/3x3x4_1.equ: Skipped. 1047s yoshida/cuww1_1.equ: Result: 1 Time: 0.06 (0r, 0.02v, 0i, 0d, 0t, 0.03b) sec 1047s yoshida/cuww2_1.equ: Result: 1 Time: 0.15 (0r, 0.03v, 0i, 0d, 0t, 0.12b) sec 1047s yoshida/cuww3_1.equ: Result: 2 Time: 0.14 (0.01r, 0.02v, 0i, 0d, 0t, 0.1b) sec 1047s yoshida/cuww4_1.equ: Result: 1 Time: 0.19 (0.01r, 0.02v, 0i, 0d, 0t, 0.16b) sec 1047s yoshida/cuww5_1.equ: Skipped. 1047s yoshida/dean1: Result: 12 Time: 0.03 (0r, 0.01v, 0i, 0d, 0t, 0.01b) sec 1047s yoshida/dean2: Skipped. 1047s yoshida/dean3: Skipped. 1047s yoshida/prob10_1.equ: Skipped. 1047s yoshida/prob1_1.equ: Skipped. 1047s yoshida/prob2_1.equ: Skipped. 1047s yoshida/prob3_1.equ: Skipped. 1047s yoshida/prob4_1.equ: Skipped. 1047s yoshida/prob5_1.equ: Skipped. 1047s yoshida/prob6_1.equ: Skipped. 1047s yoshida/prob7_1.equ: Skipped. 1047s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 1047s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.15 (0r, 0v, 0i, 0.06d, 0.08t, 0.01b) sec 1048s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.32 (0r, 0v, 0i, 0.07d, 0.12t, 0.11b) sec 1050s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 2.09 (0r, 0v, 0i, 0.1d, 0.28t, 1.68b) sec 1050s crosspolytope/cross-polytope-6.vrep: Skipped. 1050s crosspolytope/cross-polytope-7.vrep: Skipped. 1050s crosspolytope/cross-polytope-8.vrep: Skipped. 1050s crosspolytope/cross-polytope-9.vrep: Skipped. 1050s crosspolytope/cross-polytope-10.vrep: Skipped. 1050s crosspolytope/cross-polytope-11.vrep: Skipped. 1050s crosspolytope/cross-polytope-12.vrep: Skipped. 1050s crosspolytope/cross-polytope-13.vrep: Skipped. 1050s crosspolytope/cross-polytope-14.vrep: Skipped. 1050s crosspolytope/cross-polytope-15.vrep: Skipped. 1050s crosspolytope/cross-polytope-16.vrep: Skipped. 1050s crosspolytope/cross-polytope-17.vrep: Skipped. 1050s crosspolytope/cross-polytope-18.vrep: Skipped. 1050s crosspolytope/cross-polytope-19.vrep: Skipped. 1050s crosspolytope/cross-polytope-20.vrep: Skipped. 1050s crosspolytope/cross-polytope-21.vrep: Skipped. 1050s crosspolytope/cross-polytope-22.vrep: Skipped. 1050s crosspolytope/cross-polytope-23.vrep: Skipped. 1050s crosspolytope/cross-polytope-24.vrep: Skipped. 1050s crosspolytope/cross-polytope-25.vrep: Skipped. 1050s crosspolytope/cross-polytope-26.vrep: Skipped. 1050s crosspolytope/cross-polytope-27.vrep: Skipped. 1050s crosspolytope/cross-polytope-28.vrep: Skipped. 1050s crosspolytope/cross-polytope-29.vrep: Skipped. 1050s crosspolytope/cross-polytope-30.vrep: Skipped. 1050s autopkgtest [22:06:50]: test topcom: -----------------------] 1051s autopkgtest [22:06:51]: test topcom: - - - - - - - - - - results - - - - - - - - - - 1051s topcom PASS 1052s autopkgtest [22:06:52]: test lrs: preparing testbed 1208s autopkgtest [22:09:28]: testbed dpkg architecture: arm64 1209s autopkgtest [22:09:29]: testbed apt version: 2.7.12 1209s autopkgtest [22:09:29]: @@@@@@@@@@@@@@@@@@@@ test bed setup 1209s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 1211s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [2818 kB] 1211s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [450 kB] 1212s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [42.3 kB] 1212s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [4812 B] 1212s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 Packages [603 kB] 1212s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main arm64 c-n-f Metadata [3144 B] 1212s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 Packages [20.3 kB] 1212s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted arm64 c-n-f Metadata [116 B] 1212s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 Packages [3218 kB] 1212s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 c-n-f Metadata [8528 B] 1212s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 Packages [42.3 kB] 1212s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse arm64 c-n-f Metadata [116 B] 1221s Fetched 7327 kB in 5s (1503 kB/s) 1222s Reading package lists... 1223s Hit:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease 1226s Reading package lists... 1241s Reading package lists... 1241s Building dependency tree... 1241s Reading state information... 1243s Calculating upgrade... 1244s The following packages will be upgraded: 1244s console-setup console-setup-linux keyboard-configuration 1245s 3 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1245s Need to get 2202 kB of archives. 1245s After this operation, 2048 B of additional disk space will be used. 1245s Get:1 http://ftpmaster.internal/ubuntu noble/main arm64 console-setup-linux all 1.226ubuntu1 [1880 kB] 1245s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 console-setup all 1.226ubuntu1 [110 kB] 1245s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 keyboard-configuration all 1.226ubuntu1 [212 kB] 1247s Preconfiguring packages ... 1248s Fetched 2202 kB in 1s (1953 kB/s) 1248s (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 ... 75867 files and directories currently installed.) 1248s Preparing to unpack .../console-setup-linux_1.226ubuntu1_all.deb ... 1248s Unpacking console-setup-linux (1.226ubuntu1) over (1.223ubuntu2) ... 1249s Preparing to unpack .../console-setup_1.226ubuntu1_all.deb ... 1249s Unpacking console-setup (1.226ubuntu1) over (1.223ubuntu2) ... 1249s Preparing to unpack .../keyboard-configuration_1.226ubuntu1_all.deb ... 1249s Unpacking keyboard-configuration (1.226ubuntu1) over (1.223ubuntu2) ... 1251s Setting up keyboard-configuration (1.226ubuntu1) ... 1252s Your console font configuration will be updated the next time your system 1252s boots. If you want to update it now, run 'setupcon' from a virtual console. 1252s update-initramfs: deferring update (trigger activated) 1252s Setting up console-setup-linux (1.226ubuntu1) ... 1258s Setting up console-setup (1.226ubuntu1) ... 1260s update-initramfs: deferring update (trigger activated) 1261s Processing triggers for man-db (2.12.0-3) ... 1262s Processing triggers for initramfs-tools (0.142ubuntu20) ... 1262s update-initramfs: Generating /boot/initrd.img-6.8.0-11-generic 1262s W: No lz4 in /usr/bin:/sbin:/bin, using gzip 1331s System running in EFI mode, skipping. 1332s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1332s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1332s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1332s Reading package lists... 1333s Building dependency tree... 1333s Reading state information... 1335s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1336s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 1336s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 1336s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 1336s Hit:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease 1336s Hit:5 http://ftpmaster.internal/ubuntu noble-backports InRelease 1350s Reading package lists... 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:1 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:2 and /etc/apt/sources.list.d/ubuntu.sources:1 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list:3 and /etc/apt/sources.list.d/ubuntu.sources:2 1351s W: Target Packages (main/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (main/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (main/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (main/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (universe/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (universe/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (universe/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (universe/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (restricted/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (restricted/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (restricted/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (restricted/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (multiverse/binary-arm64/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target Packages (multiverse/binary-all/Packages) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-arm64) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s W: Target CNF (multiverse/cnf/Commands-all) is configured multiple times in /etc/apt/sources.list.d/proposed.list:1 and /etc/apt/sources.list.d/proposed.sources:1 1351s Reading package lists... 1352s Building dependency tree... 1352s Reading state information... 1353s Calculating upgrade... 1354s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1355s Reading package lists... 1355s Building dependency tree... 1355s Reading state information... 1357s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 1358s autopkgtest [22:11:58]: rebooting testbed after setup commands that affected boot 1521s autopkgtest-virt-ssh: WARNING: ssh connection failed. Retrying in 3 seconds... 1539s Reading package lists... 1541s Building dependency tree... 1541s Reading state information... 1541s Starting pkgProblemResolver with broken count: 0 1542s Starting 2 pkgProblemResolver with broken count: 0 1542s Done 1543s The following additional packages will be installed: 1543s latte-int latte-int-doc libcdd-tools libcdd0d libgf2x3 libgmp-dev 1543s libgmpxx4ldbl liblrs1t64 libntl44 lrslib 1543s Suggested packages: 1543s gmp-doc libgmp10-doc libmpfr-dev 1543s Recommended packages: 1543s topcom libcdd-doc 1544s The following NEW packages will be installed: 1544s autopkgtest-satdep latte-int latte-int-doc libcdd-tools libcdd0d libgf2x3 1544s libgmp-dev libgmpxx4ldbl liblrs1t64 libntl44 lrslib 1544s 0 upgraded, 11 newly installed, 0 to remove and 0 not upgraded. 1544s Need to get 9318 kB/9319 kB of archives. 1544s After this operation, 39.8 MB of additional disk space will be used. 1544s Get:1 /tmp/autopkgtest.cpU1Jj/8-autopkgtest-satdep.deb autopkgtest-satdep arm64 0 [716 B] 1544s Get:2 http://ftpmaster.internal/ubuntu noble/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-2ubuntu4 [9950 B] 1544s Get:3 http://ftpmaster.internal/ubuntu noble/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-2ubuntu4 [330 kB] 1544s Get:4 http://ftpmaster.internal/ubuntu noble/universe arm64 libcdd0d arm64 094m-1 [116 kB] 1544s Get:5 http://ftpmaster.internal/ubuntu noble/universe arm64 libgf2x3 arm64 1.3.0-2 [28.2 kB] 1544s Get:6 http://ftpmaster.internal/ubuntu noble/universe arm64 libntl44 arm64 11.5.1-1 [776 kB] 1545s Get:7 http://ftpmaster.internal/ubuntu noble/universe arm64 libcdd-tools arm64 094m-1 [25.6 kB] 1545s Get:8 http://ftpmaster.internal/ubuntu noble/universe arm64 latte-int arm64 1.7.6+ds-3 [431 kB] 1545s Get:9 http://ftpmaster.internal/ubuntu noble/universe arm64 latte-int-doc all 1.7.6+ds-3 [7462 kB] 1546s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 liblrs1t64 arm64 0.71b-2.1build1 [107 kB] 1546s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe arm64 lrslib arm64 0.71b-2.1build1 [33.7 kB] 1547s Fetched 9318 kB in 2s (5313 kB/s) 1547s Selecting previously unselected package libgmpxx4ldbl:arm64. 1548s (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 ... 75867 files and directories currently installed.) 1548s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 1548s Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 1548s Selecting previously unselected package libgmp-dev:arm64. 1548s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_arm64.deb ... 1548s Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 1548s Selecting previously unselected package libcdd0d:arm64. 1548s Preparing to unpack .../02-libcdd0d_094m-1_arm64.deb ... 1548s Unpacking libcdd0d:arm64 (094m-1) ... 1548s Selecting previously unselected package libgf2x3:arm64. 1548s Preparing to unpack .../03-libgf2x3_1.3.0-2_arm64.deb ... 1548s Unpacking libgf2x3:arm64 (1.3.0-2) ... 1548s Selecting previously unselected package libntl44:arm64. 1548s Preparing to unpack .../04-libntl44_11.5.1-1_arm64.deb ... 1548s Unpacking libntl44:arm64 (11.5.1-1) ... 1548s Selecting previously unselected package libcdd-tools. 1548s Preparing to unpack .../05-libcdd-tools_094m-1_arm64.deb ... 1548s Unpacking libcdd-tools (094m-1) ... 1548s Selecting previously unselected package latte-int. 1548s Preparing to unpack .../06-latte-int_1.7.6+ds-3_arm64.deb ... 1548s Unpacking latte-int (1.7.6+ds-3) ... 1548s Selecting previously unselected package latte-int-doc. 1548s Preparing to unpack .../07-latte-int-doc_1.7.6+ds-3_all.deb ... 1548s Unpacking latte-int-doc (1.7.6+ds-3) ... 1549s Selecting previously unselected package liblrs1t64. 1550s Preparing to unpack .../08-liblrs1t64_0.71b-2.1build1_arm64.deb ... 1550s Unpacking liblrs1t64 (0.71b-2.1build1) ... 1550s Selecting previously unselected package lrslib. 1550s Preparing to unpack .../09-lrslib_0.71b-2.1build1_arm64.deb ... 1550s Unpacking lrslib (0.71b-2.1build1) ... 1550s Selecting previously unselected package autopkgtest-satdep. 1550s Preparing to unpack .../10-8-autopkgtest-satdep.deb ... 1550s Unpacking autopkgtest-satdep (0) ... 1550s Setting up libgf2x3:arm64 (1.3.0-2) ... 1550s Setting up liblrs1t64 (0.71b-2.1build1) ... 1550s Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 1550s Setting up latte-int-doc (1.7.6+ds-3) ... 1550s Setting up libntl44:arm64 (11.5.1-1) ... 1550s Setting up lrslib (0.71b-2.1build1) ... 1550s Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-2ubuntu4) ... 1550s Setting up libcdd0d:arm64 (094m-1) ... 1550s Setting up libcdd-tools (094m-1) ... 1550s Setting up latte-int (1.7.6+ds-3) ... 1550s Setting up autopkgtest-satdep (0) ... 1550s Processing triggers for man-db (2.12.0-3) ... 1551s Processing triggers for libc-bin (2.39-0ubuntu2) ... 1560s (Reading database ... 76442 files and directories currently installed.) 1560s Removing autopkgtest-satdep (0) ... 1571s autopkgtest [22:15:31]: test lrs: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test.pl --compute-vertex-cones=lrs 1571s autopkgtest [22:15:31]: test lrs: [----------------------- 1572s Logging to '/tmp/autopkgtest.cpU1Jj/lrs-artifacts/log-2024-03-13-count_--compute-vertex-cones=lrs-pid1275@autopkgtest/log' 1572s example1: Result: 3 GOOD Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1572s example2: Result: 2 GOOD Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1572s example3: Result: 2 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1572s 24_cell: Result: 33 GOOD Time: 0.61 (0.02r, 0.03v, 0i, 0d, 0.43t, 0.11b) sec 1573s cuww1: Result: 1 GOOD Time: 0.08 (0r, 0.03v, 0i, 0d, 0t, 0.04b) sec 1574s magic4x4: Result: 8 GOOD Time: 0.97 (0.25r, 0.03v, 0i, 0d, 0.48t, 0.2b) sec 1574s magic5x5: Skipped. 1574s tests/missing-newline.latte: Result: 3 Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1574s tests/missing-newline-2.latte: Result: 3 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1574s tests/missing-newline-3.latte: Result: 2 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1574s tests/implied-equation.latte: Result: 1 GOOD Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1574s tests/preproc-integrally-empty.latte: Result: 0 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1574s hickerson/hickerson-7: Result: 8 GOOD Time: 0.06 (0r, 0.03v, 0i, 0d, 0t, 0.03b) sec 1574s hickerson/hickerson-8: Result: 22 GOOD Time: 0.11 (0r, 0.03v, 0i, 0d, 0t, 0.08b) sec 1574s hickerson/hickerson-9: Result: 9 GOOD Time: 0.11 (0r, 0.02v, 0i, 0d, 0t, 0.07b) sec 1575s hickerson/hickerson-10: Result: 24 GOOD Time: 1.22 (0r, 0.03v, 0i, 0d, 0t, 1.19b) sec 1575s hickerson/hickerson-11: Skipped. 1575s hickerson/hickerson-12: Skipped. 1575s hickerson/hickerson-13: Skipped. 1575s hickerson/hickerson-14: Skipped. 1575s hickerson/hickerson-15: Skipped. 1575s hickerson/hickerson-16: Skipped. 1575s hickerson/hickerson-17: Skipped. 1575s hickerson/hickerson-18: Skipped. 1575s hickerson/hickerson-19: Skipped. 1575s hickerson/hickerson-20: Skipped. 1575s hickerson/hickerson-24: Skipped. 1575s hickerson/hickerson-28: Skipped. 1575s hickerson/hickerson-32: Skipped. 1575s hickerson/hickerson-36: Skipped. 1575s mcallister/HivePolytopeImpossible: Skipped. 1575s mcallister/HivePolytopeMinutes1: Skipped. 1575s mcallister/HivePolytopeMinutes2: Skipped. 1575s mcallister/HivePolytopeMinutes3: Skipped. 1575s mcallister/HivePolytopeMinutes4: Skipped. 1575s mcallister/HivePolytopeMinutes5: Skipped. 1575s mcallister/HivePolytopeSeconds: Skipped. 1576s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.54 (0.02r, 0.04v, 0i, 0d, 0.4t, 0.08b) sec 1576s yoshida/3x3x3_semi_10.equ: Skipped. 1576s yoshida/3x3x3_semi_11.equ: Skipped. 1576s yoshida/3x3x3_semi_12.equ: Skipped. 1576s yoshida/3x3x3_semi_13.equ: Skipped. 1576s yoshida/3x3x3_semi_14.equ: Skipped. 1576s yoshida/3x3x3_semi_15.equ: Skipped. 1576s yoshida/3x3x3_semi_16.equ: Skipped. 1576s yoshida/3x3x3_semi_17.equ: Skipped. 1576s yoshida/3x3x3_semi_18.equ: Skipped. 1576s yoshida/3x3x3_semi_1.equ: Skipped. 1576s yoshida/3x3x3_semi_2.equ: Skipped. 1576s yoshida/3x3x3_semi_3.equ: Skipped. 1576s yoshida/3x3x3_semi_4.equ: Skipped. 1576s yoshida/3x3x3_semi_5.equ: Skipped. 1576s yoshida/3x3x3_semi_6.equ: Skipped. 1576s yoshida/3x3x3_semi_7.equ: Skipped. 1576s yoshida/3x3x3_semi_8.equ: Skipped. 1576s yoshida/3x3x3_semi_9.equ: Skipped. 1576s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1576s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1576s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1577s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.37 (0.04r, 0.13v, 0i, 0.01d, 0t, 0.17b) sec 1577s yoshida/4x4Table10: Skipped. 1577s yoshida/4x4Table11: Skipped. 1577s yoshida/4x4Table2: Skipped. 1577s yoshida/4x4Table3: Skipped. 1577s yoshida/4x4Table4: Skipped. 1577s yoshida/4x4Table5: Skipped. 1577s yoshida/4x4Table6: Skipped. 1577s yoshida/4x4Table7: Skipped. 1577s yoshida/4x4Table8: Skipped. 1577s yoshida/4x4Table9: Skipped. 1577s yoshida/4x5_1: Skipped. 1577s yoshida/4x5_2: Skipped. 1577s yoshida/4x5_3: Skipped. 1577s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.08 (0.02r, 0.04v, 0i, 0d, 0t, 0.01b) sec 1577s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.08 (0.04r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1577s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.07 (0.02r, 0.02v, 0i, 0d, 0t, 0.02b) sec 1577s yoshida/aardallenstra.equ: Result: 0 Time: 0.02 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 1577s yoshida/cube: Result: 16 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1577s yoshida/cube2: Result: 8 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1577s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1577s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.05 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1577s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1577s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1577s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.03 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.04 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.04 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.03 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.04 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1578s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.08 (0.04r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1578s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1578s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.09 (0.03r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1578s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.02b) sec 1578s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.07 (0.03r, 0.03v, 0i, 0d, 0.01t, 0b) sec 1578s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.08 (0.03r, 0.03v, 0i, 0d, 0t, 0.02b) sec 1579s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.09 (0.03r, 0.05v, 0i, 0d, 0t, 0.01b) sec 1579s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0.01d, 0t, 0.01b) sec 1579s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.08 (0.03r, 0.04v, 0i, 0d, 0t, 0.01b) sec 1579s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.08 (0.03r, 0.02v, 0i, 0d, 0t, 0.02b) sec 1579s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.04 (0r, 0.04v, 0i, 0d, 0t, 0b) sec 1579s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.13 (0.01r, 0.02v, 0i, 0d, 0.1t, 0b) sec 1579s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1579s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.04 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1580s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.2 (0.01r, 0.02v, 0i, 0d, 0.16t, 0b) sec 1580s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.22 (0.01r, 0.01v, 0i, 0d, 0.19t, 0b) sec 1580s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0b) sec 1580s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.04 (0.01r, 0.01v, 0i, 0d, 0t, 0b) sec 1580s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.28 (0.02r, 0.02v, 0i, 0d, 0.23t, 0.01b) sec 1581s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.41 (0.01r, 0.03v, 0i, 0d, 0.37t, 0b) sec 1581s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.33 (0.01r, 0.02v, 0i, 0d, 0.28t, 0.01b) sec 1581s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.05 (0.01r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1581s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.05 (0.01r, 0.03v, 0i, 0d, 0t, 0b) sec 1582s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.43 (0.03r, 0.02v, 0i, 0d, 0.36t, 0.01b) sec 1582s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.66 (0.02r, 0.05v, 0i, 0d, 0.56t, 0.03b) sec 1583s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.67 (0.02r, 0.04v, 0i, 0d, 0.57t, 0.04b) sec 1584s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.41 (0.02r, 0.03v, 0i, 0d, 0.35t, 0.01b) sec 1584s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.06 (0.02r, 0.03v, 0i, 0d, 0t, 0b) sec 1584s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.31 (0.01r, 0.04v, 0i, 0d, 0t, 0.23b) sec 1584s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.05 (0.02r, 0.01v, 0i, 0d, 0t, 0b) sec 1584s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0.03 (0.01r, 0.02v, 0i, 0d, 0t, 0b) sec 1584s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0.02 (0r, 0.02v, 0i, 0d, 0t, 0b) sec 1585s yoshida/mountExample1: Result: 35353 GOOD Time: 0.39 (0.05r, 0.1v, 0i, 0.01d, 0.12t, 0.1b) sec 1585s yoshida/mountExample2: Skipped. 1585s yoshida/mountExample3: Skipped. 1585s yoshida/mountExample4: Skipped. 1585s yoshida/mountExample5: Skipped. 1585s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.53 (0.04r, 0.2v, 0i, 0.01d, 0.03t, 0.2b) sec 1586s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.54 (0.04r, 0.19v, 0i, 0.01d, 0.02t, 0.23b) sec 1586s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.52 (0.04r, 0.18v, 0i, 0.01d, 0.01t, 0.25b) sec 1586s yoshida/tru_cube_latte: Result: 0 Time: 0.04 (0r, 0.03v, 0i, 0d, 0t, 0.01b) sec 1586s yoshida/tru_simplex_latte: Result: 0 Time: 0.04 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1586s yoshida/3x3x4_1.equ: Skipped. 1587s yoshida/cuww1_1.equ: Result: 1 Time: 0.07 (0r, 0.03v, 0i, 0d, 0t, 0.02b) sec 1587s yoshida/cuww2_1.equ: Result: 1 Time: 0.14 (0.01r, 0.01v, 0i, 0d, 0t, 0.1b) sec 1587s yoshida/cuww3_1.equ: Result: 2 Time: 0.15 (0.01r, 0.03v, 0i, 0d, 0t, 0.11b) sec 1587s yoshida/cuww4_1.equ: Result: 1 Time: 0.2 (0.01r, 0.03v, 0i, 0d, 0t, 0.16b) sec 1587s yoshida/cuww5_1.equ: Skipped. 1587s yoshida/dean1: Result: 12 Time: 0.03 (0r, 0.02v, 0i, 0d, 0t, 0.01b) sec 1587s yoshida/dean2: Skipped. 1587s yoshida/dean3: Skipped. 1587s yoshida/prob10_1.equ: Skipped. 1587s yoshida/prob1_1.equ: Skipped. 1587s yoshida/prob2_1.equ: Skipped. 1587s yoshida/prob3_1.equ: Skipped. 1587s yoshida/prob4_1.equ: Skipped. 1587s yoshida/prob5_1.equ: Skipped. 1587s yoshida/prob6_1.equ: Skipped. 1587s yoshida/prob7_1.equ: Skipped. 1587s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 1587s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.18 (0r, 0v, 0i, 0.06d, 0.1t, 0.02b) sec 1588s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.39 (0r, 0v, 0i, 0.08d, 0.16t, 0.13b) sec 1590s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 2.34 (0r, 0v, 0i, 0.1d, 0.37t, 1.81b) sec 1590s crosspolytope/cross-polytope-6.vrep: Skipped. 1590s crosspolytope/cross-polytope-7.vrep: Skipped. 1590s crosspolytope/cross-polytope-8.vrep: Skipped. 1590s crosspolytope/cross-polytope-9.vrep: Skipped. 1590s crosspolytope/cross-polytope-10.vrep: Skipped. 1590s crosspolytope/cross-polytope-11.vrep: Skipped. 1590s crosspolytope/cross-polytope-12.vrep: Skipped. 1590s crosspolytope/cross-polytope-13.vrep: Skipped. 1590s crosspolytope/cross-polytope-14.vrep: Skipped. 1590s crosspolytope/cross-polytope-15.vrep: Skipped. 1590s crosspolytope/cross-polytope-16.vrep: Skipped. 1590s crosspolytope/cross-polytope-17.vrep: Skipped. 1590s crosspolytope/cross-polytope-18.vrep: Skipped. 1590s crosspolytope/cross-polytope-19.vrep: Skipped. 1590s crosspolytope/cross-polytope-20.vrep: Skipped. 1590s crosspolytope/cross-polytope-21.vrep: Skipped. 1590s crosspolytope/cross-polytope-22.vrep: Skipped. 1590s crosspolytope/cross-polytope-23.vrep: Skipped. 1590s crosspolytope/cross-polytope-24.vrep: Skipped. 1590s crosspolytope/cross-polytope-25.vrep: Skipped. 1590s crosspolytope/cross-polytope-26.vrep: Skipped. 1590s crosspolytope/cross-polytope-27.vrep: Skipped. 1590s crosspolytope/cross-polytope-28.vrep: Skipped. 1590s crosspolytope/cross-polytope-29.vrep: Skipped. 1590s crosspolytope/cross-polytope-30.vrep: Skipped. 1591s autopkgtest [22:15:51]: test lrs: -----------------------] 1591s autopkgtest [22:15:51]: test lrs: - - - - - - - - - - results - - - - - - - - - - 1591s lrs PASS 1592s autopkgtest [22:15:52]: @@@@@@@@@@@@@@@@@@@@ summary 1592s allprimal-exp-maxdet1000 PASS 1592s cdd-cddlib PASS 1592s cdd PASS 1592s default PASS 1592s homog PASS 1592s irr-exp-maxdet1000 PASS 1592s topcom PASS 1592s lrs PASS 1606s Creating nova instance adt-noble-arm64-latte-int-20240313-214920-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240313.img (UUID 20618c62-409e-4a2f-a5b9-d20441a97bde)... 1606s Creating nova instance adt-noble-arm64-latte-int-20240313-214920-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-arm64-server-20240313.img (UUID 20618c62-409e-4a2f-a5b9-d20441a97bde)...