0s autopkgtest [08:08:46]: starting date and time: 2024-03-23 08:08:46+0000 0s autopkgtest [08:08:46]: git checkout: 4a1cd702 l/adt_testbed: don't blame the testbed for unsolvable build deps 0s autopkgtest [08:08:46]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.c_u1b3vg/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --setup-commands /home/ubuntu/autopkgtest/setup-commands/setup-testbed --apt-pocket=proposed=src:topcom,src:qsopt-ex --apt-upgrade latte-int --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 '--env=ADT_TEST_TRIGGERS=topcom/1.1.2+ds-1.1build1 qsopt-ex/2.5.10.3-2.1' -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos02-ppc64el-17.secgroup --name adt-noble-ppc64el-latte-int-20240323-080846-juju-7f2275-prod-proposed-migration-environment-2 --image adt/ubuntu-noble-ppc64el-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/ 111s autopkgtest [08:10:37]: testbed dpkg architecture: ppc64el 111s autopkgtest [08:10:37]: testbed apt version: 2.7.12 111s autopkgtest [08:10:37]: @@@@@@@@@@@@@@@@@@@@ test bed setup 112s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 112s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 112s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 112s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 112s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [4030 kB] 113s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 113s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 113s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 113s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 113s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4251 kB] 113s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 113s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 113s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 116s Fetched 9688 kB in 2s (3929 kB/s) 117s Reading package lists... 119s Reading package lists... 119s Building dependency tree... 119s Reading state information... 120s Calculating upgrade... 120s The following packages will be upgraded: 120s libbsd0 libc-bin libc6 locales 120s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 120s Need to get 8313 kB of archives. 120s After this operation, 2048 B of additional disk space will be used. 120s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 120s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 121s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 121s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 121s Preconfiguring packages ... 121s Fetched 8313 kB in 1s (7165 kB/s) 121s (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 ... 70156 files and directories currently installed.) 121s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 121s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 122s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 122s (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 ... 70156 files and directories currently installed.) 122s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 122s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 122s Setting up libc-bin (2.39-0ubuntu6) ... 122s (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 ... 70156 files and directories currently installed.) 122s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 122s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 122s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 122s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 123s Setting up locales (2.39-0ubuntu6) ... 123s Generating locales (this might take a while)... 125s en_US.UTF-8... done 125s Generation complete. 125s Setting up libbsd0:ppc64el (0.12.1-1) ... 125s Processing triggers for man-db (2.12.0-3) ... 125s Processing triggers for libc-bin (2.39-0ubuntu6) ... 126s Reading package lists... 126s Building dependency tree... 126s Reading state information... 126s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 127s sh: Attempting to set up Debian/Ubuntu apt sources automatically 127s sh: Distribution appears to be Ubuntu 127s Reading package lists... 128s Building dependency tree... 128s Reading state information... 128s eatmydata is already the newest version (131-1). 128s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 128s dbus is already the newest version (1.14.10-4ubuntu1). 128s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 128s Reading package lists... 128s Building dependency tree... 128s Reading state information... 129s rng-tools-debian is already the newest version (2.4). 129s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 129s Reading package lists... 129s Building dependency tree... 129s Reading state information... 129s The following packages will be REMOVED: 129s cloud-init* python3-configobj* python3-debconf* 129s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 129s After this operation, 3256 kB disk space will be freed. 129s (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 ... 70156 files and directories currently installed.) 129s Removing cloud-init (24.1.2-0ubuntu1) ... 130s Removing python3-configobj (5.0.8-3) ... 130s Removing python3-debconf (1.5.86) ... 130s Processing triggers for man-db (2.12.0-3) ... 130s (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 ... 69767 files and directories currently installed.) 130s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 131s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 131s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 131s invoke-rc.d: policy-rc.d denied execution of try-restart. 131s Reading package lists... 131s Building dependency tree... 131s Reading state information... 131s linux-generic is already the newest version (6.8.0-11.11+1). 131s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 132s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 132s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 132s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 134s Reading package lists... 134s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s Calculating upgrade... 135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s Reading package lists... 135s Building dependency tree... 135s Reading state information... 135s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 135s autopkgtest [08:11:01]: rebooting testbed after setup commands that affected boot 303s autopkgtest [08:13:49]: testbed running kernel: Linux 6.8.0-11-generic #11-Ubuntu SMP Wed Feb 14 00:33:03 UTC 2024 306s autopkgtest [08:13:52]: @@@@@@@@@@@@@@@@@@@@ apt-source latte-int 308s Get:1 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3build1 (dsc) [2340 B] 308s Get:2 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3build1 (tar) [7858 kB] 308s Get:3 http://ftpmaster.internal/ubuntu noble/universe latte-int 1.7.6+ds-3build1 (diff) [12.0 kB] 309s gpgv: Signature made Sat Mar 16 02:54:40 2024 UTC 309s gpgv: using RSA key AC483F68DE728F43F2202FCA568D30F321B2133D 309s gpgv: issuer "steve.langasek@ubuntu.com" 309s gpgv: Can't check signature: No public key 309s dpkg-source: warning: cannot verify inline signature for ./latte-int_1.7.6+ds-3build1.dsc: no acceptable signature found 310s autopkgtest [08:13:56]: testing package latte-int version 1.7.6+ds-3build1 310s autopkgtest [08:13:56]: build not needed 312s autopkgtest [08:13:58]: test allprimal-exp-maxdet1000: preparing testbed 314s Reading package lists... 315s Building dependency tree... 315s Reading state information... 315s Starting pkgProblemResolver with broken count: 0 315s Starting 2 pkgProblemResolver with broken count: 0 315s Done 315s The following additional packages will be installed: 315s latte-int latte-int-doc libcdd-tools libcdd0t64 libgf2x3 libgmp-dev 315s libgmpxx4ldbl libntl44 315s Suggested packages: 315s gmp-doc libgmp10-doc libmpfr-dev 315s Recommended packages: 315s lrslib topcom libcdd-doc 315s The following NEW packages will be installed: 315s autopkgtest-satdep latte-int latte-int-doc libcdd-tools libcdd0t64 libgf2x3 315s libgmp-dev libgmpxx4ldbl libntl44 315s 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. 315s Need to get 9582 kB/9583 kB of archives. 315s After this operation, 42.7 MB of additional disk space will be used. 315s Get:1 /tmp/autopkgtest.YOK2dx/1-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [712 B] 315s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu4 [10.2 kB] 315s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu4 [365 kB] 315s Get:4 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd0t64 ppc64el 094m-1.1 [135 kB] 315s Get:5 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgf2x3 ppc64el 1.3.0-2 [52.4 kB] 315s Get:6 http://ftpmaster.internal/ubuntu noble/universe ppc64el libntl44 ppc64el 11.5.1-1 [1038 kB] 315s Get:7 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd-tools ppc64el 094m-1.1 [29.8 kB] 315s Get:8 http://ftpmaster.internal/ubuntu noble/universe ppc64el latte-int ppc64el 1.7.6+ds-3build1 [498 kB] 315s Get:9 http://ftpmaster.internal/ubuntu noble/universe ppc64el latte-int-doc all 1.7.6+ds-3build1 [7454 kB] 316s Fetched 9582 kB in 1s (9837 kB/s) 316s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 316s (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 ... 69712 files and directories currently installed.) 316s Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 316s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 316s Selecting previously unselected package libgmp-dev:ppc64el. 316s Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 316s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 316s Selecting previously unselected package libcdd0t64:ppc64el. 316s Preparing to unpack .../2-libcdd0t64_094m-1.1_ppc64el.deb ... 316s Unpacking libcdd0t64:ppc64el (094m-1.1) ... 316s Selecting previously unselected package libgf2x3:ppc64el. 316s Preparing to unpack .../3-libgf2x3_1.3.0-2_ppc64el.deb ... 316s Unpacking libgf2x3:ppc64el (1.3.0-2) ... 316s Selecting previously unselected package libntl44:ppc64el. 316s Preparing to unpack .../4-libntl44_11.5.1-1_ppc64el.deb ... 316s Unpacking libntl44:ppc64el (11.5.1-1) ... 316s Selecting previously unselected package libcdd-tools. 316s Preparing to unpack .../5-libcdd-tools_094m-1.1_ppc64el.deb ... 316s Unpacking libcdd-tools (094m-1.1) ... 316s Selecting previously unselected package latte-int. 316s Preparing to unpack .../6-latte-int_1.7.6+ds-3build1_ppc64el.deb ... 316s Unpacking latte-int (1.7.6+ds-3build1) ... 316s Selecting previously unselected package latte-int-doc. 316s Preparing to unpack .../7-latte-int-doc_1.7.6+ds-3build1_all.deb ... 316s Unpacking latte-int-doc (1.7.6+ds-3build1) ... 316s Selecting previously unselected package autopkgtest-satdep. 316s Preparing to unpack .../8-1-autopkgtest-satdep.deb ... 316s Unpacking autopkgtest-satdep (0) ... 316s Setting up libgf2x3:ppc64el (1.3.0-2) ... 316s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 316s Setting up latte-int-doc (1.7.6+ds-3build1) ... 316s Setting up libntl44:ppc64el (11.5.1-1) ... 316s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 316s Setting up libcdd0t64:ppc64el (094m-1.1) ... 316s Setting up libcdd-tools (094m-1.1) ... 316s Setting up latte-int (1.7.6+ds-3build1) ... 316s Setting up autopkgtest-satdep (0) ... 316s Processing triggers for libc-bin (2.39-0ubuntu6) ... 319s (Reading database ... 70270 files and directories currently installed.) 319s Removing autopkgtest-satdep (0) ... 319s autopkgtest [08:14:05]: test allprimal-exp-maxdet1000: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-allprimal-exp-maxdet1000.sh 319s autopkgtest [08:14:05]: test allprimal-exp-maxdet1000: [----------------------- 319s ################################# 319s Checking count --all-primal --exp --maxdet=1000 319s ################################# 319s Logging to '/tmp/autopkgtest.YOK2dx/allprimal-exp-maxdet1000-artifacts/log-2024-03-23-count_--all-primal_--exp_--maxdet=1000-pid1369@autopkgtest/log' 319s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 319s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 319s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s 24_cell: Result: 33 GOOD Time: 0.17 (0.01r, 0v, 0.05i, 0d, 0.08t, 0.02b) sec 320s cuww1: Result: 1 GOOD Time: 0.03 (0r, 0v, 0.01i, 0d, 0t, 0.01b) sec 320s magic4x4: Result: 8 GOOD Time: 0.44 (0.11r, 0v, 0.04i, 0d, 0.19t, 0.1b) sec 320s magic5x5: Skipped. 320s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 320s hickerson/hickerson-7: Result: 8 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 320s hickerson/hickerson-8: Result: 22 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 320s hickerson/hickerson-9: Result: 9 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 320s hickerson/hickerson-10: Result: 24 GOOD Time: 0.03 (0r, 0v, 0.01i, 0d, 0t, 0.02b) sec 320s hickerson/hickerson-11: Skipped. 320s hickerson/hickerson-12: Skipped. 320s hickerson/hickerson-13: Skipped. 320s hickerson/hickerson-14: Skipped. 320s hickerson/hickerson-15: Skipped. 320s hickerson/hickerson-16: Skipped. 320s hickerson/hickerson-17: Skipped. 320s hickerson/hickerson-18: Skipped. 320s hickerson/hickerson-19: Skipped. 320s hickerson/hickerson-20: Skipped. 320s hickerson/hickerson-24: Skipped. 320s hickerson/hickerson-28: Skipped. 320s hickerson/hickerson-32: Skipped. 320s hickerson/hickerson-36: Skipped. 320s mcallister/HivePolytopeImpossible: Skipped. 320s mcallister/HivePolytopeMinutes1: Skipped. 320s mcallister/HivePolytopeMinutes2: Skipped. 320s mcallister/HivePolytopeMinutes3: Skipped. 320s mcallister/HivePolytopeMinutes4: Skipped. 320s mcallister/HivePolytopeMinutes5: Skipped. 320s mcallister/HivePolytopeSeconds: Skipped. 321s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.18 (0r, 0v, 0.06i, 0d, 0.1t, 0.02b) sec 321s yoshida/3x3x3_semi_10.equ: Skipped. 321s yoshida/3x3x3_semi_11.equ: Skipped. 321s yoshida/3x3x3_semi_12.equ: Skipped. 321s yoshida/3x3x3_semi_13.equ: Skipped. 321s yoshida/3x3x3_semi_14.equ: Skipped. 321s yoshida/3x3x3_semi_15.equ: Skipped. 321s yoshida/3x3x3_semi_16.equ: Skipped. 321s yoshida/3x3x3_semi_17.equ: Skipped. 321s yoshida/3x3x3_semi_18.equ: Skipped. 321s yoshida/3x3x3_semi_1.equ: Skipped. 321s yoshida/3x3x3_semi_2.equ: Skipped. 321s yoshida/3x3x3_semi_3.equ: Skipped. 321s yoshida/3x3x3_semi_4.equ: Skipped. 321s yoshida/3x3x3_semi_5.equ: Skipped. 321s yoshida/3x3x3_semi_6.equ: Skipped. 321s yoshida/3x3x3_semi_7.equ: Skipped. 321s yoshida/3x3x3_semi_8.equ: Skipped. 321s yoshida/3x3x3_semi_9.equ: Skipped. 321s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 321s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 321s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.86 (0.02r, 0.04v, 0.67i, 0d, 0.01t, 0.12b) sec 322s yoshida/4x4Table10: Skipped. 322s yoshida/4x4Table11: Skipped. 322s yoshida/4x4Table2: Skipped. 322s yoshida/4x4Table3: Skipped. 322s yoshida/4x4Table4: Skipped. 322s yoshida/4x4Table5: Skipped. 322s yoshida/4x4Table6: Skipped. 322s yoshida/4x4Table7: Skipped. 322s yoshida/4x4Table8: Skipped. 322s yoshida/4x4Table9: Skipped. 322s yoshida/4x5_1: Skipped. 322s yoshida/4x5_2: Skipped. 322s yoshida/4x5_3: Skipped. 322s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.11 (0.01r, 0v, 0.09i, 0d, 0t, 0.01b) sec 322s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.1 (0r, 0v, 0.09i, 0d, 0t, 0.01b) sec 322s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.1 (0.01r, 0v, 0.08i, 0d, 0t, 0.01b) sec 322s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 322s yoshida/cube: Result: 16 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/cube2: Result: 8 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 322s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.09 (0.01r, 0v, 0.07i, 0d, 0t, 0.01b) sec 322s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.09 (0.01r, 0v, 0.07i, 0d, 0t, 0.01b) sec 323s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.1 (0.01r, 0v, 0.08i, 0d, 0t, 0.01b) sec 323s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.08 (0.01r, 0v, 0.07i, 0d, 0t, 0b) sec 323s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.05 (0.01r, 0v, 0.04i, 0d, 0t, 0b) sec 323s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.11 (0r, 0v, 0.1i, 0d, 0t, 0.01b) sec 323s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.08 (0r, 0v, 0.08i, 0d, 0t, 0b) sec 323s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.06 (0.01r, 0v, 0.05i, 0d, 0t, 0b) sec 323s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.09 (0.01r, 0v, 0.07i, 0d, 0t, 0.01b) sec 323s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.06 (0.01r, 0v, 0.05i, 0d, 0t, 0b) sec 323s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 323s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.02 (0r, 0v, 0.01i, 0d, 0.01t, 0b) sec 323s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 323s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 323s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.04 (0r, 0v, 0.02i, 0d, 0.02t, 0b) sec 324s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.04 (0r, 0v, 0.02i, 0d, 0.02t, 0b) sec 324s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 324s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 324s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.09 (0r, 0v, 0.03i, 0d, 0.06t, 0b) sec 324s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.14 (0r, 0v, 0.05i, 0d, 0.07t, 0.02b) sec 324s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.08 (0r, 0v, 0.03i, 0d, 0.05t, 0b) sec 324s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 324s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.02 (0r, 0v, 0.02i, 0d, 0t, 0b) sec 324s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.17 (0r, 0v, 0.04i, 0.01d, 0.1t, 0.02b) sec 325s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.36 (0.01r, 0v, 0.08i, 0d, 0.18t, 0.08b) sec 325s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.34 (0.01r, 0v, 0.08i, 0d, 0.17t, 0.08b) sec 325s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.16 (0.01r, 0v, 0.04i, 0d, 0.1t, 0.01b) sec 325s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 326s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.44 (0r, 0v, 0.02i, 0d, 0t, 0.42b) sec 326s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.03 (0r, 0v, 0.03i, 0d, 0t, 0b) sec 326s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 326s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 327s yoshida/mountExample1: Result: 35353 GOOD Time: 0.73 (0.02r, 0.03v, 0.55i, 0d, 0.05t, 0.08b) sec 327s yoshida/mountExample2: Skipped. 327s yoshida/mountExample3: Skipped. 327s yoshida/mountExample4: Skipped. 327s yoshida/mountExample5: Skipped. 328s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 1.33 (0.02r, 0.07v, 1.03i, 0d, 0t, 0.18b) sec 329s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 1.37 (0.01r, 0.08v, 1.07i, 0d, 0.02t, 0.17b) sec 331s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 1.35 (0.01r, 0.07v, 1.06i, 0.01d, 0t, 0.17b) sec 331s yoshida/tru_cube_latte: Result: 0 Time: 0.04 (0r, 0v, 0.04i, 0d, 0t, 0b) sec 331s yoshida/tru_simplex_latte: Result: 0 Time: 0.02 (0r, 0v, 0.02i, 0d, 0t, 0b) sec 331s yoshida/3x3x4_1.equ: Skipped. 331s yoshida/cuww1_1.equ: Result: 1 Time: 0.02 (0r, 0v, 0.01i, 0d, 0.01t, 0b) sec 331s yoshida/cuww2_1.equ: Result: 1 Time: 0.17 (0r, 0v, 0.01i, 0d, 0t, 0.15b) sec 331s yoshida/cuww3_1.equ: Result: 2 Time: 0.11 (0r, 0v, 0.01i, 0d, 0t, 0.1b) sec 331s yoshida/cuww4_1.equ: Result: 1 Time: 0.19 (0r, 0v, 0.01i, 0d, 0t, 0.18b) sec 331s yoshida/cuww5_1.equ: Skipped. 331s yoshida/dean1: Result: 12 Time: 0.01 (0r, 0v, 0.01i, 0d, 0t, 0b) sec 331s yoshida/dean2: Skipped. 331s yoshida/dean3: Skipped. 331s yoshida/prob10_1.equ: Skipped. 331s yoshida/prob1_1.equ: Skipped. 331s yoshida/prob2_1.equ: Skipped. 331s yoshida/prob3_1.equ: Skipped. 331s yoshida/prob4_1.equ: Skipped. 331s yoshida/prob5_1.equ: Skipped. 331s yoshida/prob6_1.equ: Skipped. 331s yoshida/prob7_1.equ: Skipped. 331s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 331s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.03 (0r, 0v, 0.01i, 0d, 0.02t, 0b) sec 332s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.05 (0r, 0v, 0.01i, 0.01d, 0.02t, 0.01b) sec 332s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.1 (0r, 0v, 0.03i, 0.01d, 0.04t, 0.01b) sec 332s crosspolytope/cross-polytope-6.vrep: Skipped. 332s crosspolytope/cross-polytope-7.vrep: Skipped. 332s crosspolytope/cross-polytope-8.vrep: Skipped. 332s crosspolytope/cross-polytope-9.vrep: Skipped. 332s crosspolytope/cross-polytope-10.vrep: Skipped. 332s crosspolytope/cross-polytope-11.vrep: Skipped. 332s crosspolytope/cross-polytope-12.vrep: Skipped. 332s crosspolytope/cross-polytope-13.vrep: Skipped. 332s crosspolytope/cross-polytope-14.vrep: Skipped. 332s crosspolytope/cross-polytope-15.vrep: Skipped. 332s crosspolytope/cross-polytope-16.vrep: Skipped. 332s crosspolytope/cross-polytope-17.vrep: Skipped. 332s crosspolytope/cross-polytope-18.vrep: Skipped. 332s crosspolytope/cross-polytope-19.vrep: Skipped. 332s crosspolytope/cross-polytope-20.vrep: Skipped. 332s crosspolytope/cross-polytope-21.vrep: Skipped. 332s crosspolytope/cross-polytope-22.vrep: Skipped. 332s crosspolytope/cross-polytope-23.vrep: Skipped. 332s crosspolytope/cross-polytope-24.vrep: Skipped. 332s crosspolytope/cross-polytope-25.vrep: Skipped. 332s crosspolytope/cross-polytope-26.vrep: Skipped. 332s crosspolytope/cross-polytope-27.vrep: Skipped. 332s crosspolytope/cross-polytope-28.vrep: Skipped. 332s crosspolytope/cross-polytope-29.vrep: Skipped. 332s crosspolytope/cross-polytope-30.vrep: Skipped. 332s autopkgtest [08:14:18]: test allprimal-exp-maxdet1000: -----------------------] 332s autopkgtest [08:14:18]: test allprimal-exp-maxdet1000: - - - - - - - - - - results - - - - - - - - - - 332s allprimal-exp-maxdet1000 PASS 333s autopkgtest [08:14:19]: test cdd-cddlib: preparing testbed 334s Reading package lists... 334s Building dependency tree... 334s Reading state information... 335s Starting pkgProblemResolver with broken count: 0 335s Starting 2 pkgProblemResolver with broken count: 0 335s Done 335s The following NEW packages will be installed: 335s autopkgtest-satdep 335s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 335s Need to get 0 B/720 B of archives. 335s After this operation, 0 B of additional disk space will be used. 335s Get:1 /tmp/autopkgtest.YOK2dx/2-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B] 335s Selecting previously unselected package autopkgtest-satdep. 335s (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 ... 70270 files and directories currently installed.) 335s Preparing to unpack .../2-autopkgtest-satdep.deb ... 335s Unpacking autopkgtest-satdep (0) ... 335s Setting up autopkgtest-satdep (0) ... 337s (Reading database ... 70270 files and directories currently installed.) 337s Removing autopkgtest-satdep (0) ... 338s autopkgtest [08:14:24]: test cdd-cddlib: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-cdd-cddlib.sh 338s autopkgtest [08:14:24]: test cdd-cddlib: [----------------------- 338s ################################# 338s Checking count --triangulation=cddlib --dualization=cdd --compute-vertex-cones=cdd 338s ################################# 338s Logging to '/tmp/autopkgtest.YOK2dx/cdd-cddlib-artifacts/log-2024-03-23-count_--triangulation=cddlib_--dualization=cdd_--compute-vertex-cones=cdd-pid14075@autopkgtest/log' 338s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s 24_cell: Result: 33 GOOD Time: 0.06 (0.01r, 0v, 0i, 0d, 0t, 0.04b) sec 338s cuww1: Result: 1 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s magic4x4: Result: 8 GOOD Time: 0.22 (0.11r, 0v, 0i, 0d, 0.04t, 0.07b) sec 338s magic5x5: Skipped. 338s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 338s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 338s hickerson/hickerson-9: Result: 9 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 339s hickerson/hickerson-10: Result: 24 GOOD Time: 0.42 (0r, 0v, 0i, 0d, 0t, 0.42b) sec 339s hickerson/hickerson-11: Skipped. 339s hickerson/hickerson-12: Skipped. 339s hickerson/hickerson-13: Skipped. 339s hickerson/hickerson-14: Skipped. 339s hickerson/hickerson-15: Skipped. 339s hickerson/hickerson-16: Skipped. 339s hickerson/hickerson-17: Skipped. 339s hickerson/hickerson-18: Skipped. 339s hickerson/hickerson-19: Skipped. 339s hickerson/hickerson-20: Skipped. 339s hickerson/hickerson-24: Skipped. 339s hickerson/hickerson-28: Skipped. 339s hickerson/hickerson-32: Skipped. 339s hickerson/hickerson-36: Skipped. 339s mcallister/HivePolytopeImpossible: Skipped. 339s mcallister/HivePolytopeMinutes1: Skipped. 339s mcallister/HivePolytopeMinutes2: Skipped. 339s mcallister/HivePolytopeMinutes3: Skipped. 339s mcallister/HivePolytopeMinutes4: Skipped. 339s mcallister/HivePolytopeMinutes5: Skipped. 339s mcallister/HivePolytopeSeconds: Skipped. 339s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.06 (0.01r, 0v, 0i, 0d, 0t, 0.05b) sec 339s yoshida/3x3x3_semi_10.equ: Skipped. 339s yoshida/3x3x3_semi_11.equ: Skipped. 339s yoshida/3x3x3_semi_12.equ: Skipped. 339s yoshida/3x3x3_semi_13.equ: Skipped. 339s yoshida/3x3x3_semi_14.equ: Skipped. 339s yoshida/3x3x3_semi_15.equ: Skipped. 339s yoshida/3x3x3_semi_16.equ: Skipped. 339s yoshida/3x3x3_semi_17.equ: Skipped. 339s yoshida/3x3x3_semi_18.equ: Skipped. 339s yoshida/3x3x3_semi_1.equ: Skipped. 339s yoshida/3x3x3_semi_2.equ: Skipped. 339s yoshida/3x3x3_semi_3.equ: Skipped. 339s yoshida/3x3x3_semi_4.equ: Skipped. 339s yoshida/3x3x3_semi_5.equ: Skipped. 339s yoshida/3x3x3_semi_6.equ: Skipped. 339s yoshida/3x3x3_semi_7.equ: Skipped. 339s yoshida/3x3x3_semi_8.equ: Skipped. 339s yoshida/3x3x3_semi_9.equ: Skipped. 339s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.13 (0.02r, 0.04v, 0i, 0d, 0t, 0.07b) sec 339s yoshida/4x4Table10: Skipped. 339s yoshida/4x4Table11: Skipped. 339s yoshida/4x4Table2: Skipped. 339s yoshida/4x4Table3: Skipped. 339s yoshida/4x4Table4: Skipped. 339s yoshida/4x4Table5: Skipped. 339s yoshida/4x4Table6: Skipped. 339s yoshida/4x4Table7: Skipped. 339s yoshida/4x4Table8: Skipped. 339s yoshida/4x4Table9: Skipped. 339s yoshida/4x5_1: Skipped. 339s yoshida/4x5_2: Skipped. 339s yoshida/4x5_3: Skipped. 339s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 339s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 339s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 340s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.01t, 0.01b) sec 340s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 340s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 340s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 340s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.01t, 0.01b) sec 340s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.04 (0.01r, 0v, 0i, 0d, 0.02t, 0.01b) sec 340s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.05 (0.01r, 0v, 0i, 0d, 0.04t, 0b) sec 340s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.03 (0r, 0.01v, 0i, 0d, 0.01t, 0.01b) sec 340s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.09 (0r, 0v, 0i, 0d, 0t, 0.09b) sec 340s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 340s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 340s yoshida/mountExample1: Result: 35353 GOOD Time: 0.1 (0.02r, 0.03v, 0i, 0d, 0t, 0.05b) sec 340s yoshida/mountExample2: Skipped. 340s yoshida/mountExample3: Skipped. 340s yoshida/mountExample4: Skipped. 340s yoshida/mountExample5: Skipped. 340s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.19 (0.02r, 0.07v, 0i, 0d, 0t, 0.1b) sec 341s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.19 (0.01r, 0.07v, 0i, 0.01d, 0t, 0.1b) sec 341s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.18 (0.01r, 0.07v, 0i, 0.01d, 0t, 0.09b) sec 341s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 341s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 341s yoshida/3x3x4_1.equ: Skipped. 341s yoshida/cuww1_1.equ: Result: 1 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 341s yoshida/cuww2_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 341s yoshida/cuww3_1.equ: Result: 2 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 341s yoshida/cuww4_1.equ: Result: 1 Time: 0.05 (0r, 0v, 0i, 0d, 0t, 0.05b) sec 341s yoshida/cuww5_1.equ: Skipped. 341s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 341s yoshida/dean2: Skipped. 341s yoshida/dean3: Skipped. 341s yoshida/prob10_1.equ: Skipped. 341s yoshida/prob1_1.equ: Skipped. 341s yoshida/prob2_1.equ: Skipped. 341s yoshida/prob3_1.equ: Skipped. 341s yoshida/prob4_1.equ: Skipped. 341s yoshida/prob5_1.equ: Skipped. 341s yoshida/prob6_1.equ: Skipped. 341s yoshida/prob7_1.equ: Skipped. 341s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 341s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 341s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.06 (0r, 0v, 0i, 0.01d, 0.01t, 0.04b) sec 342s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.67 (0r, 0v, 0i, 0.01d, 0.02t, 0.63b) sec 342s crosspolytope/cross-polytope-6.vrep: Skipped. 342s crosspolytope/cross-polytope-7.vrep: Skipped. 342s crosspolytope/cross-polytope-8.vrep: Skipped. 342s crosspolytope/cross-polytope-9.vrep: Skipped. 342s crosspolytope/cross-polytope-10.vrep: Skipped. 342s crosspolytope/cross-polytope-11.vrep: Skipped. 342s crosspolytope/cross-polytope-12.vrep: Skipped. 342s crosspolytope/cross-polytope-13.vrep: Skipped. 342s crosspolytope/cross-polytope-14.vrep: Skipped. 342s crosspolytope/cross-polytope-15.vrep: Skipped. 342s crosspolytope/cross-polytope-16.vrep: Skipped. 342s crosspolytope/cross-polytope-17.vrep: Skipped. 342s crosspolytope/cross-polytope-18.vrep: Skipped. 342s crosspolytope/cross-polytope-19.vrep: Skipped. 342s crosspolytope/cross-polytope-20.vrep: Skipped. 342s crosspolytope/cross-polytope-21.vrep: Skipped. 342s crosspolytope/cross-polytope-22.vrep: Skipped. 342s crosspolytope/cross-polytope-23.vrep: Skipped. 342s crosspolytope/cross-polytope-24.vrep: Skipped. 342s crosspolytope/cross-polytope-25.vrep: Skipped. 342s crosspolytope/cross-polytope-26.vrep: Skipped. 342s crosspolytope/cross-polytope-27.vrep: Skipped. 342s crosspolytope/cross-polytope-28.vrep: Skipped. 342s crosspolytope/cross-polytope-29.vrep: Skipped. 342s crosspolytope/cross-polytope-30.vrep: Skipped. 342s autopkgtest [08:14:28]: test cdd-cddlib: -----------------------] 343s cdd-cddlib PASS 343s autopkgtest [08:14:29]: test cdd-cddlib: - - - - - - - - - - results - - - - - - - - - - 343s autopkgtest [08:14:29]: test cdd: preparing testbed 344s Reading package lists... 344s Building dependency tree... 344s Reading state information... 345s Starting pkgProblemResolver with broken count: 0 345s Starting 2 pkgProblemResolver with broken count: 0 345s Done 345s The following NEW packages will be installed: 345s autopkgtest-satdep 345s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 345s Need to get 0 B/716 B of archives. 345s After this operation, 0 B of additional disk space will be used. 345s Get:1 /tmp/autopkgtest.YOK2dx/3-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [716 B] 345s Selecting previously unselected package autopkgtest-satdep. 345s (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 ... 70270 files and directories currently installed.) 345s Preparing to unpack .../3-autopkgtest-satdep.deb ... 345s Unpacking autopkgtest-satdep (0) ... 345s Setting up autopkgtest-satdep (0) ... 347s (Reading database ... 70270 files and directories currently installed.) 347s Removing autopkgtest-satdep (0) ... 347s autopkgtest [08:14:33]: test cdd: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-cdd.sh 347s autopkgtest [08:14:33]: test cdd: [----------------------- 347s ################################# 347s Checking count --triangulation=cdd --dualization=cdd --compute-vertex-cones=cdd 347s ################################# 348s Logging to '/tmp/autopkgtest.YOK2dx/cdd-artifacts/log-2024-03-23-count_--triangulation=cdd_--dualization=cdd_--compute-vertex-cones=cdd-pid15178@autopkgtest/log' 348s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s 24_cell: Result: 33 GOOD Time: 0.1 (0.01r, 0v, 0i, 0d, 0.06t, 0.03b) sec 348s cuww1: Result: 1 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 348s magic4x4: Result: 8 GOOD Time: 0.28 (0.11r, 0v, 0i, 0d, 0.1t, 0.07b) sec 348s magic5x5: Skipped. 348s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 348s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 348s hickerson/hickerson-9: Result: 9 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 349s hickerson/hickerson-10: Result: 24 GOOD Time: 0.44 (0r, 0v, 0i, 0d, 0t, 0.44b) sec 349s hickerson/hickerson-11: Skipped. 349s hickerson/hickerson-12: Skipped. 349s hickerson/hickerson-13: Skipped. 349s hickerson/hickerson-14: Skipped. 349s hickerson/hickerson-15: Skipped. 349s hickerson/hickerson-16: Skipped. 349s hickerson/hickerson-17: Skipped. 349s hickerson/hickerson-18: Skipped. 349s hickerson/hickerson-19: Skipped. 349s hickerson/hickerson-20: Skipped. 349s hickerson/hickerson-24: Skipped. 349s hickerson/hickerson-28: Skipped. 349s hickerson/hickerson-32: Skipped. 349s hickerson/hickerson-36: Skipped. 349s mcallister/HivePolytopeImpossible: Skipped. 349s mcallister/HivePolytopeMinutes1: Skipped. 349s mcallister/HivePolytopeMinutes2: Skipped. 349s mcallister/HivePolytopeMinutes3: Skipped. 349s mcallister/HivePolytopeMinutes4: Skipped. 349s mcallister/HivePolytopeMinutes5: Skipped. 349s mcallister/HivePolytopeSeconds: Skipped. 349s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.13 (0.01r, 0v, 0i, 0d, 0.09t, 0.03b) sec 349s yoshida/3x3x3_semi_10.equ: Skipped. 349s yoshida/3x3x3_semi_11.equ: Skipped. 349s yoshida/3x3x3_semi_12.equ: Skipped. 349s yoshida/3x3x3_semi_13.equ: Skipped. 349s yoshida/3x3x3_semi_14.equ: Skipped. 349s yoshida/3x3x3_semi_15.equ: Skipped. 349s yoshida/3x3x3_semi_16.equ: Skipped. 349s yoshida/3x3x3_semi_17.equ: Skipped. 349s yoshida/3x3x3_semi_18.equ: Skipped. 349s yoshida/3x3x3_semi_1.equ: Skipped. 349s yoshida/3x3x3_semi_2.equ: Skipped. 349s yoshida/3x3x3_semi_3.equ: Skipped. 349s yoshida/3x3x3_semi_4.equ: Skipped. 349s yoshida/3x3x3_semi_5.equ: Skipped. 349s yoshida/3x3x3_semi_6.equ: Skipped. 349s yoshida/3x3x3_semi_7.equ: Skipped. 349s yoshida/3x3x3_semi_8.equ: Skipped. 349s yoshida/3x3x3_semi_9.equ: Skipped. 349s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.14 (0.02r, 0.04v, 0i, 0.01d, 0t, 0.07b) sec 349s yoshida/4x4Table10: Skipped. 349s yoshida/4x4Table11: Skipped. 349s yoshida/4x4Table2: Skipped. 349s yoshida/4x4Table3: Skipped. 349s yoshida/4x4Table4: Skipped. 349s yoshida/4x4Table5: Skipped. 349s yoshida/4x4Table6: Skipped. 349s yoshida/4x4Table7: Skipped. 349s yoshida/4x4Table8: Skipped. 349s yoshida/4x4Table9: Skipped. 349s yoshida/4x5_1: Skipped. 349s yoshida/4x5_2: Skipped. 349s yoshida/4x5_3: Skipped. 349s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 349s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 349s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.02 (0.02r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 350s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 350s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 350s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.02t, 0.01b) sec 350s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 350s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.05 (0.01r, 0v, 0i, 0d, 0.04t, 0b) sec 350s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.07 (0r, 0v, 0i, 0d, 0.06t, 0.01b) sec 350s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.05t, 0b) sec 350s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 350s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.08 (0.01r, 0v, 0i, 0d, 0.06t, 0.01b) sec 350s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.14 (0.01r, 0v, 0i, 0d, 0.12t, 0.01b) sec 350s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.13 (0r, 0v, 0i, 0d, 0.11t, 0.02b) sec 351s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.07 (0.01r, 0v, 0i, 0d, 0.06t, 0b) sec 351s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 351s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.1 (0r, 0v, 0i, 0d, 0t, 0.1b) sec 351s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 351s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 351s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 351s yoshida/mountExample1: Result: 35353 GOOD Time: 0.11 (0.02r, 0.03v, 0i, 0d, 0.02t, 0.03b) sec 351s yoshida/mountExample2: Skipped. 351s yoshida/mountExample3: Skipped. 351s yoshida/mountExample4: Skipped. 351s yoshida/mountExample5: Skipped. 351s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.18 (0.02r, 0.07v, 0i, 0d, 0.01t, 0.08b) sec 351s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.19 (0.01r, 0.07v, 0i, 0.01d, 0t, 0.09b) sec 351s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0t, 0.1b) sec 351s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 351s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 351s yoshida/3x3x4_1.equ: Skipped. 351s yoshida/cuww1_1.equ: Result: 1 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 352s yoshida/cuww2_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 352s yoshida/cuww3_1.equ: Result: 2 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 352s yoshida/cuww4_1.equ: Result: 1 Time: 0.06 (0r, 0v, 0i, 0d, 0t, 0.06b) sec 352s yoshida/cuww5_1.equ: Skipped. 352s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 352s yoshida/dean2: Skipped. 352s yoshida/dean3: Skipped. 352s yoshida/prob10_1.equ: Skipped. 352s yoshida/prob1_1.equ: Skipped. 352s yoshida/prob2_1.equ: Skipped. 352s yoshida/prob3_1.equ: Skipped. 352s yoshida/prob4_1.equ: Skipped. 352s yoshida/prob5_1.equ: Skipped. 352s yoshida/prob6_1.equ: Skipped. 352s yoshida/prob7_1.equ: Skipped. 352s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 352s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 352s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.08 (0r, 0v, 0i, 0.01d, 0.04t, 0.03b) sec 353s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.77 (0r, 0v, 0i, 0.01d, 0.13t, 0.62b) sec 353s crosspolytope/cross-polytope-6.vrep: Skipped. 353s crosspolytope/cross-polytope-7.vrep: Skipped. 353s crosspolytope/cross-polytope-8.vrep: Skipped. 353s crosspolytope/cross-polytope-9.vrep: Skipped. 353s crosspolytope/cross-polytope-10.vrep: Skipped. 353s crosspolytope/cross-polytope-11.vrep: Skipped. 353s crosspolytope/cross-polytope-12.vrep: Skipped. 353s crosspolytope/cross-polytope-13.vrep: Skipped. 353s crosspolytope/cross-polytope-14.vrep: Skipped. 353s crosspolytope/cross-polytope-15.vrep: Skipped. 353s crosspolytope/cross-polytope-16.vrep: Skipped. 353s crosspolytope/cross-polytope-17.vrep: Skipped. 353s crosspolytope/cross-polytope-18.vrep: Skipped. 353s crosspolytope/cross-polytope-19.vrep: Skipped. 353s crosspolytope/cross-polytope-20.vrep: Skipped. 353s crosspolytope/cross-polytope-21.vrep: Skipped. 353s crosspolytope/cross-polytope-22.vrep: Skipped. 353s crosspolytope/cross-polytope-23.vrep: Skipped. 353s crosspolytope/cross-polytope-24.vrep: Skipped. 353s crosspolytope/cross-polytope-25.vrep: Skipped. 353s crosspolytope/cross-polytope-26.vrep: Skipped. 353s crosspolytope/cross-polytope-27.vrep: Skipped. 353s crosspolytope/cross-polytope-28.vrep: Skipped. 353s crosspolytope/cross-polytope-29.vrep: Skipped. 353s crosspolytope/cross-polytope-30.vrep: Skipped. 353s autopkgtest [08:14:39]: test cdd: -----------------------] 354s cdd PASS 354s autopkgtest [08:14:40]: test cdd: - - - - - - - - - - results - - - - - - - - - - 354s autopkgtest [08:14:40]: test default: preparing testbed 356s Reading package lists... 356s Building dependency tree... 356s Reading state information... 356s Starting pkgProblemResolver with broken count: 0 356s Starting 2 pkgProblemResolver with broken count: 0 356s Done 356s The following NEW packages will be installed: 356s autopkgtest-satdep 356s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 356s Need to get 0 B/712 B of archives. 356s After this operation, 0 B of additional disk space will be used. 356s Get:1 /tmp/autopkgtest.YOK2dx/4-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [712 B] 356s Selecting previously unselected package autopkgtest-satdep. 356s (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 ... 70270 files and directories currently installed.) 356s Preparing to unpack .../4-autopkgtest-satdep.deb ... 356s Unpacking autopkgtest-satdep (0) ... 356s Setting up autopkgtest-satdep (0) ... 358s (Reading database ... 70270 files and directories currently installed.) 358s Removing autopkgtest-satdep (0) ... 359s autopkgtest [08:14:45]: test default: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-default.sh 359s autopkgtest [08:14:45]: test default: [----------------------- 359s ################################# 359s Checking count (with defaults)... 359s ################################# 359s Logging to '/tmp/autopkgtest.YOK2dx/default-artifacts/log-2024-03-23-count_-pid17425@autopkgtest/log' 359s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s 24_cell: Result: 33 GOOD Time: 0.11 (0.01r, 0v, 0i, 0d, 0.07t, 0.03b) sec 359s cuww1: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s magic4x4: Result: 8 GOOD Time: 0.28 (0.11r, 0v, 0i, 0d, 0.1t, 0.07b) sec 359s magic5x5: Skipped. 359s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 359s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 359s hickerson/hickerson-9: Result: 9 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 360s hickerson/hickerson-10: Result: 24 GOOD Time: 0.41 (0r, 0v, 0i, 0d, 0t, 0.41b) sec 360s hickerson/hickerson-11: Skipped. 360s hickerson/hickerson-12: Skipped. 360s hickerson/hickerson-13: Skipped. 360s hickerson/hickerson-14: Skipped. 360s hickerson/hickerson-15: Skipped. 360s hickerson/hickerson-16: Skipped. 360s hickerson/hickerson-17: Skipped. 360s hickerson/hickerson-18: Skipped. 360s hickerson/hickerson-19: Skipped. 360s hickerson/hickerson-20: Skipped. 360s hickerson/hickerson-24: Skipped. 360s hickerson/hickerson-28: Skipped. 360s hickerson/hickerson-32: Skipped. 360s hickerson/hickerson-36: Skipped. 360s mcallister/HivePolytopeImpossible: Skipped. 360s mcallister/HivePolytopeMinutes1: Skipped. 360s mcallister/HivePolytopeMinutes2: Skipped. 360s mcallister/HivePolytopeMinutes3: Skipped. 360s mcallister/HivePolytopeMinutes4: Skipped. 360s mcallister/HivePolytopeMinutes5: Skipped. 360s mcallister/HivePolytopeSeconds: Skipped. 360s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.12 (0.01r, 0v, 0i, 0d, 0.07t, 0.04b) sec 360s yoshida/3x3x3_semi_10.equ: Skipped. 360s yoshida/3x3x3_semi_11.equ: Skipped. 360s yoshida/3x3x3_semi_12.equ: Skipped. 360s yoshida/3x3x3_semi_13.equ: Skipped. 360s yoshida/3x3x3_semi_14.equ: Skipped. 360s yoshida/3x3x3_semi_15.equ: Skipped. 360s yoshida/3x3x3_semi_16.equ: Skipped. 360s yoshida/3x3x3_semi_17.equ: Skipped. 360s yoshida/3x3x3_semi_18.equ: Skipped. 360s yoshida/3x3x3_semi_1.equ: Skipped. 360s yoshida/3x3x3_semi_2.equ: Skipped. 360s yoshida/3x3x3_semi_3.equ: Skipped. 360s yoshida/3x3x3_semi_4.equ: Skipped. 360s yoshida/3x3x3_semi_5.equ: Skipped. 360s yoshida/3x3x3_semi_6.equ: Skipped. 360s yoshida/3x3x3_semi_7.equ: Skipped. 360s yoshida/3x3x3_semi_8.equ: Skipped. 360s yoshida/3x3x3_semi_9.equ: Skipped. 360s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.13 (0.02r, 0.04v, 0i, 0d, 0.01t, 0.05b) sec 360s yoshida/4x4Table10: Skipped. 360s yoshida/4x4Table11: Skipped. 360s yoshida/4x4Table2: Skipped. 360s yoshida/4x4Table3: Skipped. 360s yoshida/4x4Table4: Skipped. 360s yoshida/4x4Table5: Skipped. 360s yoshida/4x4Table6: Skipped. 360s yoshida/4x4Table7: Skipped. 360s yoshida/4x4Table8: Skipped. 360s yoshida/4x4Table9: Skipped. 360s yoshida/4x5_1: Skipped. 360s yoshida/4x5_2: Skipped. 360s yoshida/4x5_3: Skipped. 360s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 360s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 360s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 360s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.01 (0r, 0.01v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 360s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 361s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 361s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 361s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 361s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 361s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 361s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.04t, 0.01b) sec 361s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.05t, 0b) sec 361s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.03t, 0.01b) sec 361s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 361s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.07 (0r, 0v, 0i, 0d, 0.06t, 0.01b) sec 361s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.13 (0.01r, 0v, 0i, 0d, 0.11t, 0.01b) sec 361s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.13 (0.01r, 0v, 0i, 0d, 0.11t, 0.01b) sec 362s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.07 (0.01r, 0v, 0i, 0d, 0.06t, 0b) sec 362s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.09 (0r, 0v, 0i, 0d, 0t, 0.09b) sec 362s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/mountExample1: Result: 35353 GOOD Time: 0.11 (0.02r, 0.03v, 0i, 0d, 0.03t, 0.03b) sec 362s yoshida/mountExample2: Skipped. 362s yoshida/mountExample3: Skipped. 362s yoshida/mountExample4: Skipped. 362s yoshida/mountExample5: Skipped. 362s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0.01t, 0.09b) sec 362s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.19 (0.02r, 0.07v, 0i, 0d, 0t, 0.1b) sec 362s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.18 (0.01r, 0.08v, 0i, 0d, 0t, 0.07b) sec 362s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 362s yoshida/3x3x4_1.equ: Skipped. 362s yoshida/cuww1_1.equ: Result: 1 Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 363s yoshida/cuww2_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 363s yoshida/cuww3_1.equ: Result: 2 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 363s yoshida/cuww4_1.equ: Result: 1 Time: 0.05 (0r, 0v, 0i, 0d, 0t, 0.05b) sec 363s yoshida/cuww5_1.equ: Skipped. 363s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 363s yoshida/dean2: Skipped. 363s yoshida/dean3: Skipped. 363s yoshida/prob10_1.equ: Skipped. 363s yoshida/prob1_1.equ: Skipped. 363s yoshida/prob2_1.equ: Skipped. 363s yoshida/prob3_1.equ: Skipped. 363s yoshida/prob4_1.equ: Skipped. 363s yoshida/prob5_1.equ: Skipped. 363s yoshida/prob6_1.equ: Skipped. 363s yoshida/prob7_1.equ: Skipped. 363s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 363s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 363s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.07 (0r, 0v, 0i, 0.01d, 0.03t, 0.03b) sec 364s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.76 (0r, 0v, 0i, 0.01d, 0.13t, 0.61b) sec 364s crosspolytope/cross-polytope-6.vrep: Skipped. 364s crosspolytope/cross-polytope-7.vrep: Skipped. 364s crosspolytope/cross-polytope-8.vrep: Skipped. 364s crosspolytope/cross-polytope-9.vrep: Skipped. 364s crosspolytope/cross-polytope-10.vrep: Skipped. 364s crosspolytope/cross-polytope-11.vrep: Skipped. 364s crosspolytope/cross-polytope-12.vrep: Skipped. 364s crosspolytope/cross-polytope-13.vrep: Skipped. 364s crosspolytope/cross-polytope-14.vrep: Skipped. 364s crosspolytope/cross-polytope-15.vrep: Skipped. 364s crosspolytope/cross-polytope-16.vrep: Skipped. 364s crosspolytope/cross-polytope-17.vrep: Skipped. 364s crosspolytope/cross-polytope-18.vrep: Skipped. 364s crosspolytope/cross-polytope-19.vrep: Skipped. 364s crosspolytope/cross-polytope-20.vrep: Skipped. 364s crosspolytope/cross-polytope-21.vrep: Skipped. 364s crosspolytope/cross-polytope-22.vrep: Skipped. 364s crosspolytope/cross-polytope-23.vrep: Skipped. 364s crosspolytope/cross-polytope-24.vrep: Skipped. 364s crosspolytope/cross-polytope-25.vrep: Skipped. 364s crosspolytope/cross-polytope-26.vrep: Skipped. 364s crosspolytope/cross-polytope-27.vrep: Skipped. 364s crosspolytope/cross-polytope-28.vrep: Skipped. 364s crosspolytope/cross-polytope-29.vrep: Skipped. 364s crosspolytope/cross-polytope-30.vrep: Skipped. 364s autopkgtest [08:14:50]: test default: -----------------------] 364s default PASS 364s autopkgtest [08:14:50]: test default: - - - - - - - - - - results - - - - - - - - - - 365s autopkgtest [08:14:51]: test homog: preparing testbed 366s Reading package lists... 366s Building dependency tree... 366s Reading state information... 366s Starting pkgProblemResolver with broken count: 0 366s Starting 2 pkgProblemResolver with broken count: 0 366s Done 367s The following NEW packages will be installed: 367s autopkgtest-satdep 367s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 367s Need to get 0 B/712 B of archives. 367s After this operation, 0 B of additional disk space will be used. 367s Get:1 /tmp/autopkgtest.YOK2dx/5-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [712 B] 367s Selecting previously unselected package autopkgtest-satdep. 367s (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 ... 70270 files and directories currently installed.) 367s Preparing to unpack .../5-autopkgtest-satdep.deb ... 367s Unpacking autopkgtest-satdep (0) ... 367s Setting up autopkgtest-satdep (0) ... 369s (Reading database ... 70270 files and directories currently installed.) 369s Removing autopkgtest-satdep (0) ... 369s autopkgtest [08:14:55]: test homog: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-homog.sh 369s autopkgtest [08:14:55]: test homog: [----------------------- 369s ################################# 369s Checking count homog 369s ################################# 369s Logging to '/tmp/autopkgtest.YOK2dx/homog-artifacts/log-2024-03-23-count_homog-pid19672@autopkgtest/log' 369s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 369s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 369s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 369s 24_cell: Result: 33 GOOD Time: 0.11 (0.01r, 0v, 0i, 0d, 0.04t, 0.06b) sec 369s cuww1: Result: 1 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 370s magic4x4: Result: 8 GOOD Time: 0.14 (0.11r, 0v, 0i, 0d, 0.02t, 0.01b) sec 370s magic5x5: Skipped. 370s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 370s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 370s hickerson/hickerson-9: Result: 9 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0t, 0.03b) sec 371s hickerson/hickerson-10: Result: 24 GOOD Time: 0.82 (0r, 0v, 0i, 0d, 0t, 0.82b) sec 371s hickerson/hickerson-11: Skipped. 371s hickerson/hickerson-12: Skipped. 371s hickerson/hickerson-13: Skipped. 371s hickerson/hickerson-14: Skipped. 371s hickerson/hickerson-15: Skipped. 371s hickerson/hickerson-16: Skipped. 371s hickerson/hickerson-17: Skipped. 371s hickerson/hickerson-18: Skipped. 371s hickerson/hickerson-19: Skipped. 371s hickerson/hickerson-20: Skipped. 371s hickerson/hickerson-24: Skipped. 371s hickerson/hickerson-28: Skipped. 371s hickerson/hickerson-32: Skipped. 371s hickerson/hickerson-36: Skipped. 371s mcallister/HivePolytopeImpossible: Skipped. 371s mcallister/HivePolytopeMinutes1: Skipped. 371s mcallister/HivePolytopeMinutes2: Skipped. 371s mcallister/HivePolytopeMinutes3: Skipped. 371s mcallister/HivePolytopeMinutes4: Skipped. 371s mcallister/HivePolytopeMinutes5: Skipped. 371s mcallister/HivePolytopeSeconds: Skipped. 371s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.11 (0.01r, 0v, 0i, 0d, 0.04t, 0.06b) sec 371s yoshida/3x3x3_semi_10.equ: Skipped. 371s yoshida/3x3x3_semi_11.equ: Skipped. 371s yoshida/3x3x3_semi_12.equ: Skipped. 371s yoshida/3x3x3_semi_13.equ: Skipped. 371s yoshida/3x3x3_semi_14.equ: Skipped. 371s yoshida/3x3x3_semi_15.equ: Skipped. 371s yoshida/3x3x3_semi_16.equ: Skipped. 371s yoshida/3x3x3_semi_17.equ: Skipped. 371s yoshida/3x3x3_semi_18.equ: Skipped. 371s yoshida/3x3x3_semi_1.equ: Skipped. 371s yoshida/3x3x3_semi_2.equ: Skipped. 371s yoshida/3x3x3_semi_3.equ: Skipped. 371s yoshida/3x3x3_semi_4.equ: Skipped. 371s yoshida/3x3x3_semi_5.equ: Skipped. 371s yoshida/3x3x3_semi_6.equ: Skipped. 371s yoshida/3x3x3_semi_7.equ: Skipped. 371s yoshida/3x3x3_semi_8.equ: Skipped. 371s yoshida/3x3x3_semi_9.equ: Skipped. 371s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.48 (0.01r, 0v, 0i, 0d, 0.1t, 0.37b) sec 371s yoshida/4x4Table10: Skipped. 371s yoshida/4x4Table11: Skipped. 371s yoshida/4x4Table2: Skipped. 371s yoshida/4x4Table3: Skipped. 371s yoshida/4x4Table4: Skipped. 371s yoshida/4x4Table5: Skipped. 371s yoshida/4x4Table6: Skipped. 371s yoshida/4x4Table7: Skipped. 371s yoshida/4x4Table8: Skipped. 371s yoshida/4x4Table9: Skipped. 371s yoshida/4x5_1: Skipped. 371s yoshida/4x5_2: Skipped. 371s yoshida/4x5_3: Skipped. 371s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0t, 0.03b) sec 371s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0t, 0.02b) sec 371s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0t, 0.02b) sec 371s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 371s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0t, 0.02b) sec 372s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0t, 0.02b) sec 372s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0t, 0.03b) sec 372s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.01t, 0.01b) sec 372s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.01t, 0.01b) sec 372s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.03 (0.01r, 0v, 0i, 0d, 0.02t, 0b) sec 372s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.02t, 0.01b) sec 372s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.04 (0.01r, 0v, 0i, 0d, 0.02t, 0.01b) sec 372s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 372s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 372s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 372s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 372s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 373s yoshida/mountExample1: Result: 35353 GOOD Time: 0.2 (0.02r, 0v, 0i, 0d, 0.11t, 0.07b) sec 373s yoshida/mountExample2: Skipped. 373s yoshida/mountExample3: Skipped. 373s yoshida/mountExample4: Skipped. 373s yoshida/mountExample5: Skipped. 374s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.96 (0.01r, 0v, 0i, 0d, 0.13t, 0.82b) sec 376s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.79 (0.01r, 0v, 0i, 0d, 0.13t, 0.65b) sec 376s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.63 (0.01r, 0v, 0i, 0d, 0.14t, 0.48b) sec 376s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 376s yoshida/tru_simplex_latte: Result: 0 Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 376s yoshida/3x3x4_1.equ: Skipped. 376s yoshida/cuww1_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 376s yoshida/cuww2_1.equ: Result: 1 Time: 0.26 (0r, 0v, 0i, 0d, 0t, 0.26b) sec 376s yoshida/cuww3_1.equ: Result: 2 Time: 0.18 (0r, 0v, 0i, 0d, 0t, 0.18b) sec 376s yoshida/cuww4_1.equ: Result: 1 Time: 0.14 (0r, 0v, 0i, 0d, 0t, 0.14b) sec 376s yoshida/cuww5_1.equ: Skipped. 376s yoshida/dean1: Result: 12 Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 376s yoshida/dean2: Skipped. 376s yoshida/dean3: Skipped. 376s yoshida/prob10_1.equ: Skipped. 376s yoshida/prob1_1.equ: Skipped. 376s yoshida/prob2_1.equ: Skipped. 376s yoshida/prob3_1.equ: Skipped. 376s yoshida/prob4_1.equ: Skipped. 376s yoshida/prob5_1.equ: Skipped. 376s yoshida/prob6_1.equ: Skipped. 376s yoshida/prob7_1.equ: Skipped. 376s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 376s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 376s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0t, 0.05b) sec 377s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.83 (0r, 0v, 0i, 0d, 0.1t, 0.73b) sec 377s crosspolytope/cross-polytope-6.vrep: Skipped. 377s crosspolytope/cross-polytope-7.vrep: Skipped. 377s crosspolytope/cross-polytope-8.vrep: Skipped. 377s crosspolytope/cross-polytope-9.vrep: Skipped. 377s crosspolytope/cross-polytope-10.vrep: Skipped. 377s crosspolytope/cross-polytope-11.vrep: Skipped. 377s crosspolytope/cross-polytope-12.vrep: Skipped. 377s crosspolytope/cross-polytope-13.vrep: Skipped. 377s crosspolytope/cross-polytope-14.vrep: Skipped. 377s crosspolytope/cross-polytope-15.vrep: Skipped. 377s crosspolytope/cross-polytope-16.vrep: Skipped. 377s crosspolytope/cross-polytope-17.vrep: Skipped. 377s crosspolytope/cross-polytope-18.vrep: Skipped. 377s crosspolytope/cross-polytope-19.vrep: Skipped. 377s crosspolytope/cross-polytope-20.vrep: Skipped. 377s crosspolytope/cross-polytope-21.vrep: Skipped. 377s crosspolytope/cross-polytope-22.vrep: Skipped. 377s crosspolytope/cross-polytope-23.vrep: Skipped. 377s crosspolytope/cross-polytope-24.vrep: Skipped. 377s crosspolytope/cross-polytope-25.vrep: Skipped. 377s crosspolytope/cross-polytope-26.vrep: Skipped. 377s crosspolytope/cross-polytope-27.vrep: Skipped. 377s crosspolytope/cross-polytope-28.vrep: Skipped. 377s crosspolytope/cross-polytope-29.vrep: Skipped. 377s crosspolytope/cross-polytope-30.vrep: Skipped. 377s autopkgtest [08:15:03]: test homog: -----------------------] 377s homog PASS 377s autopkgtest [08:15:03]: test homog: - - - - - - - - - - results - - - - - - - - - - 378s autopkgtest [08:15:04]: test irr-exp-maxdet1000: preparing testbed 381s Reading package lists... 381s Building dependency tree... 381s Reading state information... 381s Starting pkgProblemResolver with broken count: 0 381s Starting 2 pkgProblemResolver with broken count: 0 381s Done 381s The following NEW packages will be installed: 381s autopkgtest-satdep 382s 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. 382s Need to get 0 B/716 B of archives. 382s After this operation, 0 B of additional disk space will be used. 382s Get:1 /tmp/autopkgtest.YOK2dx/6-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [716 B] 382s Selecting previously unselected package autopkgtest-satdep. 382s (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 ... 70270 files and directories currently installed.) 382s Preparing to unpack .../6-autopkgtest-satdep.deb ... 382s Unpacking autopkgtest-satdep (0) ... 382s Setting up autopkgtest-satdep (0) ... 383s (Reading database ... 70270 files and directories currently installed.) 383s Removing autopkgtest-satdep (0) ... 384s autopkgtest [08:15:10]: test irr-exp-maxdet1000: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test-irr-exp-maxdet1000.sh 384s autopkgtest [08:15:10]: test irr-exp-maxdet1000: [----------------------- 384s ################################# 384s Checking count --irr --exp --maxdet=1000 384s ################################# 384s Logging to '/tmp/autopkgtest.YOK2dx/irr-exp-maxdet1000-artifacts/log-2024-03-23-count_--irr_--exp_--maxdet=1000-pid20630@autopkgtest/log' 384s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 384s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 384s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 384s 24_cell: Result: 33 GOOD Time: 0.11 (0.01r, 0v, 0i, 0d, 0.07t, 0.03b) sec 384s cuww1: Result: 1 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 385s magic4x4: Result: 8 GOOD Time: 0.32 (0.1r, 0v, 0i, 0d, 0.12t, 0.09b) sec 385s magic5x5: Skipped. 385s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s hickerson/hickerson-8: Result: 22 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s hickerson/hickerson-9: Result: 9 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s hickerson/hickerson-10: Result: 24 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 385s hickerson/hickerson-11: Skipped. 385s hickerson/hickerson-12: Skipped. 385s hickerson/hickerson-13: Skipped. 385s hickerson/hickerson-14: Skipped. 385s hickerson/hickerson-15: Skipped. 385s hickerson/hickerson-16: Skipped. 385s hickerson/hickerson-17: Skipped. 385s hickerson/hickerson-18: Skipped. 385s hickerson/hickerson-19: Skipped. 385s hickerson/hickerson-20: Skipped. 385s hickerson/hickerson-24: Skipped. 385s hickerson/hickerson-28: Skipped. 385s hickerson/hickerson-32: Skipped. 385s hickerson/hickerson-36: Skipped. 385s mcallister/HivePolytopeImpossible: Skipped. 385s mcallister/HivePolytopeMinutes1: Skipped. 385s mcallister/HivePolytopeMinutes2: Skipped. 385s mcallister/HivePolytopeMinutes3: Skipped. 385s mcallister/HivePolytopeMinutes4: Skipped. 385s mcallister/HivePolytopeMinutes5: Skipped. 385s mcallister/HivePolytopeSeconds: Skipped. 385s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.1 (0.01r, 0v, 0i, 0d, 0.07t, 0.02b) sec 385s yoshida/3x3x3_semi_10.equ: Skipped. 385s yoshida/3x3x3_semi_11.equ: Skipped. 385s yoshida/3x3x3_semi_12.equ: Skipped. 385s yoshida/3x3x3_semi_13.equ: Skipped. 385s yoshida/3x3x3_semi_14.equ: Skipped. 385s yoshida/3x3x3_semi_15.equ: Skipped. 385s yoshida/3x3x3_semi_16.equ: Skipped. 385s yoshida/3x3x3_semi_17.equ: Skipped. 385s yoshida/3x3x3_semi_18.equ: Skipped. 385s yoshida/3x3x3_semi_1.equ: Skipped. 385s yoshida/3x3x3_semi_2.equ: Skipped. 385s yoshida/3x3x3_semi_3.equ: Skipped. 385s yoshida/3x3x3_semi_4.equ: Skipped. 385s yoshida/3x3x3_semi_5.equ: Skipped. 385s yoshida/3x3x3_semi_6.equ: Skipped. 385s yoshida/3x3x3_semi_7.equ: Skipped. 385s yoshida/3x3x3_semi_8.equ: Skipped. 385s yoshida/3x3x3_semi_9.equ: Skipped. 385s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.23 (0.02r, 0.05v, 0i, 0d, 0.01t, 0.15b) sec 385s yoshida/4x4Table10: Skipped. 385s yoshida/4x4Table11: Skipped. 385s yoshida/4x4Table2: Skipped. 385s yoshida/4x4Table3: Skipped. 385s yoshida/4x4Table4: Skipped. 385s yoshida/4x4Table5: Skipped. 385s yoshida/4x4Table6: Skipped. 385s yoshida/4x4Table7: Skipped. 385s yoshida/4x4Table8: Skipped. 385s yoshida/4x4Table9: Skipped. 385s yoshida/4x5_1: Skipped. 385s yoshida/4x5_2: Skipped. 385s yoshida/4x5_3: Skipped. 385s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 385s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 385s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 385s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 385s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 386s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 386s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 386s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.04t, 0b) sec 386s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.06 (0r, 0v, 0i, 0d, 0.05t, 0.01b) sec 386s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.03t, 0.02b) sec 386s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 386s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 386s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.08 (0.01r, 0v, 0i, 0d, 0.05t, 0.02b) sec 387s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.15 (0.01r, 0v, 0i, 0d, 0.1t, 0.03b) sec 387s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.14 (0.01r, 0v, 0i, 0d, 0.09t, 0.04b) sec 387s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.07 (0r, 0v, 0i, 0d, 0.06t, 0.01b) sec 387s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 387s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.42 (0r, 0v, 0i, 0d, 0t, 0.42b) sec 387s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 387s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 387s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 388s yoshida/mountExample1: Result: 35353 GOOD Time: 0.17 (0.02r, 0.03v, 0i, 0d, 0.02t, 0.09b) sec 388s yoshida/mountExample2: Skipped. 388s yoshida/mountExample3: Skipped. 388s yoshida/mountExample4: Skipped. 388s yoshida/mountExample5: Skipped. 388s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.33 (0.02r, 0.07v, 0i, 0d, 0.01t, 0.22b) sec 388s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.32 (0.01r, 0.06v, 0i, 0.01d, 0.01t, 0.22b) sec 389s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.31 (0.01r, 0.07v, 0i, 0d, 0.01t, 0.22b) sec 389s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 389s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 389s yoshida/3x3x4_1.equ: Skipped. 389s yoshida/cuww1_1.equ: Result: 1 Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 389s yoshida/cuww2_1.equ: Result: 1 Time: 0.16 (0r, 0v, 0i, 0d, 0t, 0.16b) sec 389s yoshida/cuww3_1.equ: Result: 2 Time: 0.1 (0r, 0v, 0i, 0d, 0t, 0.1b) sec 389s yoshida/cuww4_1.equ: Result: 1 Time: 0.17 (0r, 0v, 0i, 0d, 0t, 0.17b) sec 389s yoshida/cuww5_1.equ: Skipped. 389s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 389s yoshida/dean2: Skipped. 389s yoshida/dean3: Skipped. 389s yoshida/prob10_1.equ: Skipped. 389s yoshida/prob1_1.equ: Skipped. 389s yoshida/prob2_1.equ: Skipped. 389s yoshida/prob3_1.equ: Skipped. 389s yoshida/prob4_1.equ: Skipped. 389s yoshida/prob5_1.equ: Skipped. 389s yoshida/prob6_1.equ: Skipped. 389s yoshida/prob7_1.equ: Skipped. 389s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 389s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 389s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.05 (0r, 0v, 0i, 0.01d, 0.03t, 0.01b) sec 389s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.22 (0r, 0v, 0i, 0.01d, 0.12t, 0.08b) sec 389s crosspolytope/cross-polytope-6.vrep: Skipped. 389s crosspolytope/cross-polytope-7.vrep: Skipped. 389s crosspolytope/cross-polytope-8.vrep: Skipped. 389s crosspolytope/cross-polytope-9.vrep: Skipped. 389s crosspolytope/cross-polytope-10.vrep: Skipped. 389s crosspolytope/cross-polytope-11.vrep: Skipped. 389s crosspolytope/cross-polytope-12.vrep: Skipped. 389s crosspolytope/cross-polytope-13.vrep: Skipped. 389s crosspolytope/cross-polytope-14.vrep: Skipped. 389s crosspolytope/cross-polytope-15.vrep: Skipped. 389s crosspolytope/cross-polytope-16.vrep: Skipped. 389s crosspolytope/cross-polytope-17.vrep: Skipped. 389s crosspolytope/cross-polytope-18.vrep: Skipped. 389s crosspolytope/cross-polytope-19.vrep: Skipped. 389s crosspolytope/cross-polytope-20.vrep: Skipped. 389s crosspolytope/cross-polytope-21.vrep: Skipped. 389s crosspolytope/cross-polytope-22.vrep: Skipped. 389s crosspolytope/cross-polytope-23.vrep: Skipped. 389s crosspolytope/cross-polytope-24.vrep: Skipped. 389s crosspolytope/cross-polytope-25.vrep: Skipped. 389s crosspolytope/cross-polytope-26.vrep: Skipped. 389s crosspolytope/cross-polytope-27.vrep: Skipped. 389s crosspolytope/cross-polytope-28.vrep: Skipped. 389s crosspolytope/cross-polytope-29.vrep: Skipped. 389s crosspolytope/cross-polytope-30.vrep: Skipped. 390s autopkgtest [08:15:16]: test irr-exp-maxdet1000: -----------------------] 390s irr-exp-maxdet1000 PASS 390s autopkgtest [08:15:16]: test irr-exp-maxdet1000: - - - - - - - - - - results - - - - - - - - - - 391s autopkgtest [08:15:17]: test topcom: preparing testbed 393s Reading package lists... 393s Building dependency tree... 393s Reading state information... 394s Starting pkgProblemResolver with broken count: 0 394s Starting 2 pkgProblemResolver with broken count: 0 394s Done 394s The following additional packages will be installed: 394s libqsopt-ex2 libtopcom0t64 topcom 394s Recommended packages: 394s topcom-examples 394s The following NEW packages will be installed: 394s autopkgtest-satdep libqsopt-ex2 libtopcom0t64 topcom 394s 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. 394s Need to get 1170 kB/1171 kB of archives. 394s After this operation, 7988 kB of additional disk space will be used. 394s Get:1 /tmp/autopkgtest.YOK2dx/7-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [720 B] 394s Get:2 http://ftpmaster.internal/ubuntu noble/universe ppc64el libqsopt-ex2 ppc64el 2.5.10.3-2 [503 kB] 394s Get:3 http://ftpmaster.internal/ubuntu noble/universe ppc64el libtopcom0t64 ppc64el 1.1.2+ds-1.1 [464 kB] 394s Get:4 http://ftpmaster.internal/ubuntu noble/universe ppc64el topcom ppc64el 1.1.2+ds-1.1 [203 kB] 395s Fetched 1170 kB in 1s (1842 kB/s) 395s Selecting previously unselected package libqsopt-ex2. 395s (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 ... 70270 files and directories currently installed.) 395s Preparing to unpack .../libqsopt-ex2_2.5.10.3-2_ppc64el.deb ... 395s Unpacking libqsopt-ex2 (2.5.10.3-2) ... 395s Selecting previously unselected package libtopcom0t64:ppc64el. 395s Preparing to unpack .../libtopcom0t64_1.1.2+ds-1.1_ppc64el.deb ... 395s Unpacking libtopcom0t64:ppc64el (1.1.2+ds-1.1) ... 395s Selecting previously unselected package topcom. 395s Preparing to unpack .../topcom_1.1.2+ds-1.1_ppc64el.deb ... 395s Unpacking topcom (1.1.2+ds-1.1) ... 395s Selecting previously unselected package autopkgtest-satdep. 395s Preparing to unpack .../7-autopkgtest-satdep.deb ... 395s Unpacking autopkgtest-satdep (0) ... 395s Setting up libqsopt-ex2 (2.5.10.3-2) ... 395s Setting up libtopcom0t64:ppc64el (1.1.2+ds-1.1) ... 395s Setting up topcom (1.1.2+ds-1.1) ... 395s Setting up autopkgtest-satdep (0) ... 395s Processing triggers for man-db (2.12.0-3) ... 395s Processing triggers for libc-bin (2.39-0ubuntu6) ... 397s (Reading database ... 70411 files and directories currently installed.) 397s Removing autopkgtest-satdep (0) ... 398s autopkgtest [08:15:24]: test topcom: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test.pl --triangulation=topcom 398s autopkgtest [08:15:24]: test topcom: [----------------------- 398s Logging to '/tmp/autopkgtest.YOK2dx/topcom-artifacts/log-2024-03-23-count_--triangulation=topcom-pid22911@autopkgtest/log' 398s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s 24_cell: Result: 33 GOOD Time: 0.1 (0.01r, 0v, 0i, 0d, 0.05t, 0.04b) sec 398s cuww1: Result: 1 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 398s magic4x4: Result: 8 GOOD Time: 0.25 (0.11r, 0v, 0i, 0d, 0.09t, 0.04b) sec 398s magic5x5: Skipped. 398s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 398s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 398s hickerson/hickerson-9: Result: 9 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 399s hickerson/hickerson-10: Result: 24 GOOD Time: 0.42 (0r, 0v, 0i, 0d, 0t, 0.42b) sec 399s hickerson/hickerson-11: Skipped. 399s hickerson/hickerson-12: Skipped. 399s hickerson/hickerson-13: Skipped. 399s hickerson/hickerson-14: Skipped. 399s hickerson/hickerson-15: Skipped. 399s hickerson/hickerson-16: Skipped. 399s hickerson/hickerson-17: Skipped. 399s hickerson/hickerson-18: Skipped. 399s hickerson/hickerson-19: Skipped. 399s hickerson/hickerson-20: Skipped. 399s hickerson/hickerson-24: Skipped. 399s hickerson/hickerson-28: Skipped. 399s hickerson/hickerson-32: Skipped. 399s hickerson/hickerson-36: Skipped. 399s mcallister/HivePolytopeImpossible: Skipped. 399s mcallister/HivePolytopeMinutes1: Skipped. 399s mcallister/HivePolytopeMinutes2: Skipped. 399s mcallister/HivePolytopeMinutes3: Skipped. 399s mcallister/HivePolytopeMinutes4: Skipped. 399s mcallister/HivePolytopeMinutes5: Skipped. 399s mcallister/HivePolytopeSeconds: Skipped. 399s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.11 (0.01r, 0v, 0i, 0d, 0.06t, 0.04b) sec 399s yoshida/3x3x3_semi_10.equ: Skipped. 399s yoshida/3x3x3_semi_11.equ: Skipped. 399s yoshida/3x3x3_semi_12.equ: Skipped. 399s yoshida/3x3x3_semi_13.equ: Skipped. 399s yoshida/3x3x3_semi_14.equ: Skipped. 399s yoshida/3x3x3_semi_15.equ: Skipped. 399s yoshida/3x3x3_semi_16.equ: Skipped. 399s yoshida/3x3x3_semi_17.equ: Skipped. 399s yoshida/3x3x3_semi_18.equ: Skipped. 399s yoshida/3x3x3_semi_1.equ: Skipped. 399s yoshida/3x3x3_semi_2.equ: Skipped. 399s yoshida/3x3x3_semi_3.equ: Skipped. 399s yoshida/3x3x3_semi_4.equ: Skipped. 399s yoshida/3x3x3_semi_5.equ: Skipped. 399s yoshida/3x3x3_semi_6.equ: Skipped. 399s yoshida/3x3x3_semi_7.equ: Skipped. 399s yoshida/3x3x3_semi_8.equ: Skipped. 399s yoshida/3x3x3_semi_9.equ: Skipped. 399s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.13 (0.02r, 0.04v, 0i, 0.01d, 0t, 0.06b) sec 399s yoshida/4x4Table10: Skipped. 399s yoshida/4x4Table11: Skipped. 399s yoshida/4x4Table2: Skipped. 399s yoshida/4x4Table3: Skipped. 399s yoshida/4x4Table4: Skipped. 399s yoshida/4x4Table5: Skipped. 399s yoshida/4x4Table6: Skipped. 399s yoshida/4x4Table7: Skipped. 399s yoshida/4x4Table8: Skipped. 399s yoshida/4x4Table9: Skipped. 399s yoshida/4x5_1: Skipped. 399s yoshida/4x5_2: Skipped. 399s yoshida/4x5_3: Skipped. 399s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 399s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 399s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 399s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 399s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 399s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 400s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 400s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 400s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 400s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 400s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.04 (0r, 0.01v, 0i, 0d, 0.03t, 0b) sec 400s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.04t, 0b) sec 400s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.03t, 0.01b) sec 400s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 400s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.06 (0r, 0v, 0i, 0d, 0.06t, 0b) sec 400s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.09 (0.01r, 0v, 0i, 0d, 0.08t, 0b) sec 400s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.1 (0.01r, 0v, 0i, 0d, 0.08t, 0.01b) sec 400s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.04t, 0.01b) sec 400s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.09 (0r, 0v, 0i, 0d, 0t, 0.09b) sec 401s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/mountExample1: Result: 35353 GOOD Time: 0.12 (0.02r, 0.04v, 0i, 0d, 0.02t, 0.04b) sec 401s yoshida/mountExample2: Skipped. 401s yoshida/mountExample3: Skipped. 401s yoshida/mountExample4: Skipped. 401s yoshida/mountExample5: Skipped. 401s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.19 (0.02r, 0.07v, 0i, 0d, 0t, 0.1b) sec 401s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0t, 0.1b) sec 401s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0t, 0.1b) sec 401s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 401s yoshida/3x3x4_1.equ: Skipped. 401s yoshida/cuww1_1.equ: Result: 1 Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 401s yoshida/cuww2_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 401s yoshida/cuww3_1.equ: Result: 2 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 402s yoshida/cuww4_1.equ: Result: 1 Time: 0.05 (0r, 0v, 0i, 0d, 0t, 0.05b) sec 402s yoshida/cuww5_1.equ: Skipped. 402s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 402s yoshida/dean2: Skipped. 402s yoshida/dean3: Skipped. 402s yoshida/prob10_1.equ: Skipped. 402s yoshida/prob1_1.equ: Skipped. 402s yoshida/prob2_1.equ: Skipped. 402s yoshida/prob3_1.equ: Skipped. 402s yoshida/prob4_1.equ: Skipped. 402s yoshida/prob5_1.equ: Skipped. 402s yoshida/prob6_1.equ: Skipped. 402s yoshida/prob7_1.equ: Skipped. 402s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 402s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 402s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.07 (0r, 0v, 0i, 0.01d, 0.02t, 0.04b) sec 402s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.73 (0r, 0v, 0i, 0.01d, 0.09t, 0.62b) sec 402s crosspolytope/cross-polytope-6.vrep: Skipped. 402s crosspolytope/cross-polytope-7.vrep: Skipped. 402s crosspolytope/cross-polytope-8.vrep: Skipped. 402s crosspolytope/cross-polytope-9.vrep: Skipped. 402s crosspolytope/cross-polytope-10.vrep: Skipped. 402s crosspolytope/cross-polytope-11.vrep: Skipped. 402s crosspolytope/cross-polytope-12.vrep: Skipped. 402s crosspolytope/cross-polytope-13.vrep: Skipped. 402s crosspolytope/cross-polytope-14.vrep: Skipped. 402s crosspolytope/cross-polytope-15.vrep: Skipped. 402s crosspolytope/cross-polytope-16.vrep: Skipped. 402s crosspolytope/cross-polytope-17.vrep: Skipped. 402s crosspolytope/cross-polytope-18.vrep: Skipped. 402s crosspolytope/cross-polytope-19.vrep: Skipped. 402s crosspolytope/cross-polytope-20.vrep: Skipped. 402s crosspolytope/cross-polytope-21.vrep: Skipped. 402s crosspolytope/cross-polytope-22.vrep: Skipped. 402s crosspolytope/cross-polytope-23.vrep: Skipped. 402s crosspolytope/cross-polytope-24.vrep: Skipped. 402s crosspolytope/cross-polytope-25.vrep: Skipped. 402s crosspolytope/cross-polytope-26.vrep: Skipped. 402s crosspolytope/cross-polytope-27.vrep: Skipped. 402s crosspolytope/cross-polytope-28.vrep: Skipped. 402s crosspolytope/cross-polytope-29.vrep: Skipped. 402s crosspolytope/cross-polytope-30.vrep: Skipped. 403s autopkgtest [08:15:29]: test topcom: -----------------------] 403s autopkgtest [08:15:29]: test topcom: - - - - - - - - - - results - - - - - - - - - - 403s topcom PASS 404s autopkgtest [08:15:30]: test lrs: preparing testbed 527s autopkgtest [08:17:33]: testbed dpkg architecture: ppc64el 527s autopkgtest [08:17:33]: testbed apt version: 2.7.12 527s autopkgtest [08:17:33]: @@@@@@@@@@@@@@@@@@@@ test bed setup 528s Get:1 http://ftpmaster.internal/ubuntu noble-proposed InRelease [117 kB] 528s Get:2 http://ftpmaster.internal/ubuntu noble-proposed/restricted Sources [6540 B] 528s Get:3 http://ftpmaster.internal/ubuntu noble-proposed/multiverse Sources [56.9 kB] 528s Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main Sources [494 kB] 528s Get:5 http://ftpmaster.internal/ubuntu noble-proposed/universe Sources [4030 kB] 529s Get:6 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el Packages [659 kB] 529s Get:7 http://ftpmaster.internal/ubuntu noble-proposed/main ppc64el c-n-f Metadata [3116 B] 529s Get:8 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el Packages [1372 B] 529s Get:9 http://ftpmaster.internal/ubuntu noble-proposed/restricted ppc64el c-n-f Metadata [116 B] 529s Get:10 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el Packages [4251 kB] 529s Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe ppc64el c-n-f Metadata [8652 B] 529s Get:12 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el Packages [60.8 kB] 529s Get:13 http://ftpmaster.internal/ubuntu noble-proposed/multiverse ppc64el c-n-f Metadata [116 B] 532s Fetched 9688 kB in 3s (3403 kB/s) 533s Reading package lists... 535s Reading package lists... 535s Building dependency tree... 535s Reading state information... 535s Calculating upgrade... 535s The following packages will be upgraded: 535s libbsd0 libc-bin libc6 locales 536s 4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 536s Need to get 8313 kB of archives. 536s After this operation, 2048 B of additional disk space will be used. 536s Get:1 http://ftpmaster.internal/ubuntu noble/main ppc64el libc6 ppc64el 2.39-0ubuntu6 [3274 kB] 537s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libc-bin ppc64el 2.39-0ubuntu6 [751 kB] 537s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libbsd0 ppc64el 0.12.1-1 [56.9 kB] 537s Get:4 http://ftpmaster.internal/ubuntu noble/main ppc64el locales all 2.39-0ubuntu6 [4232 kB] 537s Preconfiguring packages ... 537s Fetched 8313 kB in 2s (5291 kB/s) 537s (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 ... 70156 files and directories currently installed.) 537s Preparing to unpack .../libc6_2.39-0ubuntu6_ppc64el.deb ... 538s Unpacking libc6:ppc64el (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 538s Setting up libc6:ppc64el (2.39-0ubuntu6) ... 538s (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 ... 70156 files and directories currently installed.) 538s Preparing to unpack .../libc-bin_2.39-0ubuntu6_ppc64el.deb ... 538s Unpacking libc-bin (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 538s Setting up libc-bin (2.39-0ubuntu6) ... 538s (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 ... 70156 files and directories currently installed.) 538s Preparing to unpack .../libbsd0_0.12.1-1_ppc64el.deb ... 538s Unpacking libbsd0:ppc64el (0.12.1-1) over (0.11.8-1) ... 539s Preparing to unpack .../locales_2.39-0ubuntu6_all.deb ... 539s Unpacking locales (2.39-0ubuntu6) over (2.39-0ubuntu2) ... 539s Setting up locales (2.39-0ubuntu6) ... 539s Generating locales (this might take a while)... 541s en_US.UTF-8... done 541s Generation complete. 541s Setting up libbsd0:ppc64el (0.12.1-1) ... 541s Processing triggers for man-db (2.12.0-3) ... 541s Processing triggers for libc-bin (2.39-0ubuntu6) ... 542s Reading package lists... 542s Building dependency tree... 542s Reading state information... 542s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 543s sh: Attempting to set up Debian/Ubuntu apt sources automatically 543s sh: Distribution appears to be Ubuntu 543s Reading package lists... 544s Building dependency tree... 544s Reading state information... 544s eatmydata is already the newest version (131-1). 544s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 544s Reading package lists... 544s Building dependency tree... 544s Reading state information... 544s dbus is already the newest version (1.14.10-4ubuntu1). 544s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 544s Reading package lists... 544s Building dependency tree... 544s Reading state information... 544s rng-tools-debian is already the newest version (2.4). 544s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 544s Reading package lists... 545s Building dependency tree... 545s Reading state information... 545s The following packages will be REMOVED: 545s cloud-init* python3-configobj* python3-debconf* 545s 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. 545s After this operation, 3256 kB disk space will be freed. 545s (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 ... 70156 files and directories currently installed.) 545s Removing cloud-init (24.1.2-0ubuntu1) ... 546s Removing python3-configobj (5.0.8-3) ... 546s Removing python3-debconf (1.5.86) ... 546s Processing triggers for man-db (2.12.0-3) ... 546s (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 ... 69767 files and directories currently installed.) 546s Purging configuration files for cloud-init (24.1.2-0ubuntu1) ... 547s dpkg: warning: while removing cloud-init, directory '/etc/cloud/cloud.cfg.d' not empty so not removed 547s Processing triggers for rsyslog (8.2312.0-3ubuntu3) ... 547s invoke-rc.d: policy-rc.d denied execution of try-restart. 547s Reading package lists... 547s Building dependency tree... 547s Reading state information... 547s linux-generic is already the newest version (6.8.0-11.11+1). 547s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 547s Hit:1 http://ftpmaster.internal/ubuntu noble InRelease 547s Hit:2 http://ftpmaster.internal/ubuntu noble-updates InRelease 547s Hit:3 http://ftpmaster.internal/ubuntu noble-security InRelease 550s Reading package lists... 550s Reading package lists... 550s Building dependency tree... 550s Reading state information... 550s Calculating upgrade... 550s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 550s Reading package lists... 551s Building dependency tree... 551s Reading state information... 551s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 551s autopkgtest [08:17:57]: rebooting testbed after setup commands that affected boot 729s Reading package lists... 729s Building dependency tree... 729s Reading state information... 729s Starting pkgProblemResolver with broken count: 0 729s Starting 2 pkgProblemResolver with broken count: 0 729s Done 729s The following additional packages will be installed: 729s latte-int latte-int-doc libcdd-tools libcdd0t64 libgf2x3 libgmp-dev 729s libgmpxx4ldbl liblrs1 libntl44 lrslib 729s Suggested packages: 729s gmp-doc libgmp10-doc libmpfr-dev 729s Recommended packages: 729s topcom libcdd-doc 729s The following NEW packages will be installed: 729s autopkgtest-satdep latte-int latte-int-doc libcdd-tools libcdd0t64 libgf2x3 729s libgmp-dev libgmpxx4ldbl liblrs1 libntl44 lrslib 729s 0 upgraded, 11 newly installed, 0 to remove and 0 not upgraded. 729s Need to get 9736 kB/9737 kB of archives. 729s After this operation, 43.3 MB of additional disk space will be used. 729s Get:1 /tmp/autopkgtest.YOK2dx/8-autopkgtest-satdep.deb autopkgtest-satdep ppc64el 0 [724 B] 729s Get:2 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmpxx4ldbl ppc64el 2:6.3.0+dfsg-2ubuntu4 [10.2 kB] 729s Get:3 http://ftpmaster.internal/ubuntu noble/main ppc64el libgmp-dev ppc64el 2:6.3.0+dfsg-2ubuntu4 [365 kB] 730s Get:4 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd0t64 ppc64el 094m-1.1 [135 kB] 730s Get:5 http://ftpmaster.internal/ubuntu noble/universe ppc64el libgf2x3 ppc64el 1.3.0-2 [52.4 kB] 730s Get:6 http://ftpmaster.internal/ubuntu noble/universe ppc64el libntl44 ppc64el 11.5.1-1 [1038 kB] 730s Get:7 http://ftpmaster.internal/ubuntu noble/universe ppc64el libcdd-tools ppc64el 094m-1.1 [29.8 kB] 730s Get:8 http://ftpmaster.internal/ubuntu noble/universe ppc64el latte-int ppc64el 1.7.6+ds-3build1 [498 kB] 730s Get:9 http://ftpmaster.internal/ubuntu noble/universe ppc64el latte-int-doc all 1.7.6+ds-3build1 [7454 kB] 731s Get:10 http://ftpmaster.internal/ubuntu noble/universe ppc64el liblrs1 ppc64el 0.71b-2 [119 kB] 731s Get:11 http://ftpmaster.internal/ubuntu noble/universe ppc64el lrslib ppc64el 0.71b-2 [35.6 kB] 731s Fetched 9736 kB in 1s (6696 kB/s) 731s Selecting previously unselected package libgmpxx4ldbl:ppc64el. 731s (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 ... 69712 files and directories currently installed.) 731s Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 731s Unpacking libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 731s Selecting previously unselected package libgmp-dev:ppc64el. 731s Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_ppc64el.deb ... 731s Unpacking libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 731s Selecting previously unselected package libcdd0t64:ppc64el. 731s Preparing to unpack .../02-libcdd0t64_094m-1.1_ppc64el.deb ... 731s Unpacking libcdd0t64:ppc64el (094m-1.1) ... 731s Selecting previously unselected package libgf2x3:ppc64el. 731s Preparing to unpack .../03-libgf2x3_1.3.0-2_ppc64el.deb ... 731s Unpacking libgf2x3:ppc64el (1.3.0-2) ... 731s Selecting previously unselected package libntl44:ppc64el. 731s Preparing to unpack .../04-libntl44_11.5.1-1_ppc64el.deb ... 731s Unpacking libntl44:ppc64el (11.5.1-1) ... 731s Selecting previously unselected package libcdd-tools. 731s Preparing to unpack .../05-libcdd-tools_094m-1.1_ppc64el.deb ... 731s Unpacking libcdd-tools (094m-1.1) ... 731s Selecting previously unselected package latte-int. 731s Preparing to unpack .../06-latte-int_1.7.6+ds-3build1_ppc64el.deb ... 731s Unpacking latte-int (1.7.6+ds-3build1) ... 731s Selecting previously unselected package latte-int-doc. 731s Preparing to unpack .../07-latte-int-doc_1.7.6+ds-3build1_all.deb ... 731s Unpacking latte-int-doc (1.7.6+ds-3build1) ... 731s Selecting previously unselected package liblrs1. 731s Preparing to unpack .../08-liblrs1_0.71b-2_ppc64el.deb ... 731s Unpacking liblrs1 (0.71b-2) ... 731s Selecting previously unselected package lrslib. 731s Preparing to unpack .../09-lrslib_0.71b-2_ppc64el.deb ... 731s Unpacking lrslib (0.71b-2) ... 731s Selecting previously unselected package autopkgtest-satdep. 731s Preparing to unpack .../10-8-autopkgtest-satdep.deb ... 731s Unpacking autopkgtest-satdep (0) ... 731s Setting up libgf2x3:ppc64el (1.3.0-2) ... 731s Setting up libgmpxx4ldbl:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 731s Setting up latte-int-doc (1.7.6+ds-3build1) ... 731s Setting up libntl44:ppc64el (11.5.1-1) ... 731s Setting up liblrs1 (0.71b-2) ... 731s Setting up libgmp-dev:ppc64el (2:6.3.0+dfsg-2ubuntu4) ... 731s Setting up libcdd0t64:ppc64el (094m-1.1) ... 731s Setting up lrslib (0.71b-2) ... 731s Setting up libcdd-tools (094m-1.1) ... 731s Setting up latte-int (1.7.6+ds-3build1) ... 731s Setting up autopkgtest-satdep (0) ... 731s Processing triggers for man-db (2.12.0-3) ... 732s Processing triggers for libc-bin (2.39-0ubuntu6) ... 734s (Reading database ... 70286 files and directories currently installed.) 734s Removing autopkgtest-satdep (0) ... 740s autopkgtest [08:21:06]: test lrs: cd /usr/share/latte-int/test-suite && MAXRUNTIME=10 USE_INSTALLED_BINARY=t ./test.pl --compute-vertex-cones=lrs 740s autopkgtest [08:21:06]: test lrs: [----------------------- 740s Logging to '/tmp/autopkgtest.YOK2dx/lrs-artifacts/log-2024-03-23-count_--compute-vertex-cones=lrs-pid1280@autopkgtest/log' 740s example1: Result: 3 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 740s example2: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 740s example3: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 740s 24_cell: Result: 33 GOOD Time: 0.12 (0.01r, 0v, 0i, 0d, 0.08t, 0.03b) sec 740s cuww1: Result: 1 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 741s magic4x4: Result: 8 GOOD Time: 0.27 (0.11r, 0v, 0i, 0d, 0.11t, 0.05b) sec 741s magic5x5: Skipped. 741s tests/missing-newline.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s tests/missing-newline-2.latte: Result: 3 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s tests/missing-newline-3.latte: Result: 2 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s tests/implied-equation.latte: Result: 1 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s tests/preproc-integrally-empty.latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s hickerson/hickerson-7: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s hickerson/hickerson-8: Result: 22 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 741s hickerson/hickerson-9: Result: 9 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0t, 0.02b) sec 741s hickerson/hickerson-10: Result: 24 GOOD Time: 0.42 (0r, 0v, 0i, 0d, 0t, 0.42b) sec 741s hickerson/hickerson-11: Skipped. 741s hickerson/hickerson-12: Skipped. 741s hickerson/hickerson-13: Skipped. 741s hickerson/hickerson-14: Skipped. 741s hickerson/hickerson-15: Skipped. 741s hickerson/hickerson-16: Skipped. 741s hickerson/hickerson-17: Skipped. 741s hickerson/hickerson-18: Skipped. 741s hickerson/hickerson-19: Skipped. 741s hickerson/hickerson-20: Skipped. 741s hickerson/hickerson-24: Skipped. 741s hickerson/hickerson-28: Skipped. 741s hickerson/hickerson-32: Skipped. 741s hickerson/hickerson-36: Skipped. 741s mcallister/HivePolytopeImpossible: Skipped. 741s mcallister/HivePolytopeMinutes1: Skipped. 741s mcallister/HivePolytopeMinutes2: Skipped. 741s mcallister/HivePolytopeMinutes3: Skipped. 741s mcallister/HivePolytopeMinutes4: Skipped. 741s mcallister/HivePolytopeMinutes5: Skipped. 741s mcallister/HivePolytopeSeconds: Skipped. 741s yoshida/24_cell_latte: Result: 33 GOOD Time: 0.1 (0.01r, 0v, 0i, 0d, 0.06t, 0.03b) sec 741s yoshida/3x3x3_semi_10.equ: Skipped. 741s yoshida/3x3x3_semi_11.equ: Skipped. 741s yoshida/3x3x3_semi_12.equ: Skipped. 741s yoshida/3x3x3_semi_13.equ: Skipped. 741s yoshida/3x3x3_semi_14.equ: Skipped. 741s yoshida/3x3x3_semi_15.equ: Skipped. 741s yoshida/3x3x3_semi_16.equ: Skipped. 741s yoshida/3x3x3_semi_17.equ: Skipped. 741s yoshida/3x3x3_semi_18.equ: Skipped. 741s yoshida/3x3x3_semi_1.equ: Skipped. 741s yoshida/3x3x3_semi_2.equ: Skipped. 741s yoshida/3x3x3_semi_3.equ: Skipped. 741s yoshida/3x3x3_semi_4.equ: Skipped. 741s yoshida/3x3x3_semi_5.equ: Skipped. 741s yoshida/3x3x3_semi_6.equ: Skipped. 741s yoshida/3x3x3_semi_7.equ: Skipped. 741s yoshida/3x3x3_semi_8.equ: Skipped. 741s yoshida/3x3x3_semi_9.equ: Skipped. 741s yoshida/4flow_1.equ: Result: 34441480172695101274 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s yoshida/4flow_2.equ: Result: 28493245103068590026 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s yoshida/4flow_3.equ: Result: 91608082255943644656 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 741s yoshida/4x4Table1: Result: 1225914276768514 GOOD Time: 0.12 (0.02r, 0.04v, 0i, 0.01d, 0t, 0.05b) sec 741s yoshida/4x4Table10: Skipped. 741s yoshida/4x4Table11: Skipped. 741s yoshida/4x4Table2: Skipped. 741s yoshida/4x4Table3: Skipped. 741s yoshida/4x4Table4: Skipped. 741s yoshida/4x4Table5: Skipped. 741s yoshida/4x4Table6: Skipped. 741s yoshida/4x4Table7: Skipped. 741s yoshida/4x4Table8: Skipped. 741s yoshida/4x4Table9: Skipped. 741s yoshida/4x5_1: Skipped. 741s yoshida/4x5_2: Skipped. 741s yoshida/4x5_3: Skipped. 741s yoshida/5flow_1.equ: Result: 6817997013081449330251623043931489475270 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 741s yoshida/5flow_2.equ: Result: 277145720781272784955528774814729345461 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 742s yoshida/5flow_3.equ: Result: 710305971948234346520365668331191134724 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 742s yoshida/aardallenstra.equ: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/cube: Result: 16 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/cube2: Result: 8 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_10.equ: Result: 179777378508547 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_1.equ: Result: 223 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_2.equ: Result: 330 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_3.equ: Result: 3002 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_4.equ: Result: 785528058 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_5.equ: Result: 20673947895 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_6.equ: Result: 14100406254 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_7.equ: Result: 1906669380 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_8.equ: Result: 19470466783680 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph4_9.equ: Result: 106036300535520 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_10.equ: Result: 65348330279808617817420057 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0.01t, 0b) sec 742s yoshida/digraph5_1.equ: Result: 14805 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 742s yoshida/digraph5_2.equ: Result: 6950747024 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 742s yoshida/digraph5_3.equ: Result: 222850218035543 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_4.equ: Result: 563408416219655157542748 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0.01b) sec 742s yoshida/digraph5_5.equ: Result: 1108629405144880240444547243 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_6.equ: Result: 3997121684242603301444265332 GOOD Time: 0.02 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_7.equ: Result: 160949617742851302259767600 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_8.equ: Result: 15711217216898158096466094 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/digraph5_9.equ: Result: 102815492358112722152328 GOOD Time: 0.01 (0.01r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_4_1.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_4_2.equ: Result: 6 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0.01t, 0b) sec 742s yoshida/hyp_simp_4_3.equ: Result: 4 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_5_1.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_5_2.equ: Result: 10 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.02t, 0.01b) sec 742s yoshida/hyp_simp_5_3.equ: Result: 10 GOOD Time: 0.02 (0r, 0v, 0i, 0d, 0.02t, 0b) sec 742s yoshida/hyp_simp_5_4.equ: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_6_1.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_6_2.equ: Result: 15 GOOD Time: 0.04 (0r, 0v, 0i, 0d, 0.03t, 0.01b) sec 742s yoshida/hyp_simp_6_3.equ: Result: 20 GOOD Time: 0.06 (0r, 0v, 0i, 0d, 0.05t, 0b) sec 742s yoshida/hyp_simp_6_4.equ: Result: 15 GOOD Time: 0.05 (0r, 0v, 0i, 0d, 0.04t, 0.01b) sec 742s yoshida/hyp_simp_6_5.equ: Result: 6 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 742s yoshida/hyp_simp_7_1.equ: Result: 7 GOOD Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 743s yoshida/hyp_simp_7_2.equ: Result: 21 GOOD Time: 0.08 (0r, 0.01v, 0i, 0d, 0.06t, 0.01b) sec 743s yoshida/hyp_simp_7_3.equ: Result: 35 GOOD Time: 0.13 (0.01r, 0v, 0i, 0d, 0.12t, 0b) sec 743s yoshida/hyp_simp_7_4.equ: Result: 35 GOOD Time: 0.12 (0.01r, 0v, 0i, 0d, 0.09t, 0.02b) sec 743s yoshida/hyp_simp_7_5.equ: Result: 21 GOOD Time: 0.06 (0r, 0v, 0i, 0d, 0.05t, 0.01b) sec 743s yoshida/hyp_simp_7_6.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 743s yoshida/knapsack1.equ: Result: 42 GOOD Time: 0.09 (0r, 0v, 0i, 0d, 0t, 0.09b) sec 743s yoshida/knapsack2.equ: Result: 92378 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 743s yoshida/knapsackbaby1.equ: Result: 7 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 743s yoshida/knapsackbaby2.equ: Result: 2 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 743s yoshida/mountExample1: Result: 35353 GOOD Time: 0.11 (0.02r, 0.02v, 0i, 0.01d, 0.02t, 0.04b) sec 743s yoshida/mountExample2: Skipped. 743s yoshida/mountExample3: Skipped. 743s yoshida/mountExample4: Skipped. 743s yoshida/mountExample5: Skipped. 743s yoshida/test4x4_1: Result: 665711555567792389878908993624629379187969880179721169068827951 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0.01t, 0.09b) sec 744s yoshida/test4x4_2: Result: 63292704423941655080293971395348848807454253204720526472462015 GOOD Time: 0.19 (0.01r, 0.07v, 0i, 0.01d, 0.01t, 0.08b) sec 744s yoshida/test4x4_3: Result: 43075357146173570492117291685601604830544643769252831337342557 GOOD Time: 0.19 (0.01r, 0.08v, 0i, 0d, 0.01t, 0.08b) sec 744s yoshida/tru_cube_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 744s yoshida/tru_simplex_latte: Result: 0 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 744s yoshida/3x3x4_1.equ: Skipped. 744s yoshida/cuww1_1.equ: Result: 1 Time: 0.01 (0r, 0v, 0i, 0d, 0t, 0.01b) sec 744s yoshida/cuww2_1.equ: Result: 1 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 744s yoshida/cuww3_1.equ: Result: 2 Time: 0.04 (0r, 0v, 0i, 0d, 0t, 0.04b) sec 744s yoshida/cuww4_1.equ: Result: 1 Time: 0.06 (0r, 0v, 0i, 0d, 0t, 0.06b) sec 744s yoshida/cuww5_1.equ: Skipped. 744s yoshida/dean1: Result: 12 Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 744s yoshida/dean2: Skipped. 744s yoshida/dean3: Skipped. 744s yoshida/prob10_1.equ: Skipped. 744s yoshida/prob1_1.equ: Skipped. 744s yoshida/prob2_1.equ: Skipped. 744s yoshida/prob3_1.equ: Skipped. 744s yoshida/prob4_1.equ: Skipped. 744s yoshida/prob5_1.equ: Skipped. 744s yoshida/prob6_1.equ: Skipped. 744s yoshida/prob7_1.equ: Skipped. 744s crosspolytope/cross-polytope-2.vrep: Result: 5 GOOD Time: 0 (0r, 0v, 0i, 0d, 0t, 0b) sec 744s crosspolytope/cross-polytope-3.vrep: Result: 7 GOOD Time: 0.03 (0r, 0v, 0i, 0d, 0.03t, 0b) sec 744s crosspolytope/cross-polytope-4.vrep: Result: 9 GOOD Time: 0.09 (0r, 0v, 0i, 0.01d, 0.04t, 0.04b) sec 745s crosspolytope/cross-polytope-5.vrep: Result: 11 GOOD Time: 0.75 (0r, 0v, 0i, 0.01d, 0.11t, 0.62b) sec 745s crosspolytope/cross-polytope-6.vrep: Skipped. 745s crosspolytope/cross-polytope-7.vrep: Skipped. 745s crosspolytope/cross-polytope-8.vrep: Skipped. 745s crosspolytope/cross-polytope-9.vrep: Skipped. 745s crosspolytope/cross-polytope-10.vrep: Skipped. 745s crosspolytope/cross-polytope-11.vrep: Skipped. 745s crosspolytope/cross-polytope-12.vrep: Skipped. 745s crosspolytope/cross-polytope-13.vrep: Skipped. 745s crosspolytope/cross-polytope-14.vrep: Skipped. 745s crosspolytope/cross-polytope-15.vrep: Skipped. 745s crosspolytope/cross-polytope-16.vrep: Skipped. 745s crosspolytope/cross-polytope-17.vrep: Skipped. 745s crosspolytope/cross-polytope-18.vrep: Skipped. 745s crosspolytope/cross-polytope-19.vrep: Skipped. 745s crosspolytope/cross-polytope-20.vrep: Skipped. 745s crosspolytope/cross-polytope-21.vrep: Skipped. 745s crosspolytope/cross-polytope-22.vrep: Skipped. 745s crosspolytope/cross-polytope-23.vrep: Skipped. 745s crosspolytope/cross-polytope-24.vrep: Skipped. 745s crosspolytope/cross-polytope-25.vrep: Skipped. 745s crosspolytope/cross-polytope-26.vrep: Skipped. 745s crosspolytope/cross-polytope-27.vrep: Skipped. 745s crosspolytope/cross-polytope-28.vrep: Skipped. 745s crosspolytope/cross-polytope-29.vrep: Skipped. 745s crosspolytope/cross-polytope-30.vrep: Skipped. 745s autopkgtest [08:21:11]: test lrs: -----------------------] 746s autopkgtest [08:21:12]: test lrs: - - - - - - - - - - results - - - - - - - - - - 746s lrs PASS 747s autopkgtest [08:21:13]: @@@@@@@@@@@@@@@@@@@@ summary 747s allprimal-exp-maxdet1000 PASS 747s cdd-cddlib PASS 747s cdd PASS 747s default PASS 747s homog PASS 747s irr-exp-maxdet1000 PASS 747s topcom PASS 747s lrs PASS 758s Creating nova instance adt-noble-ppc64el-latte-int-20240323-080846-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)... 758s Creating nova instance adt-noble-ppc64el-latte-int-20240323-080846-juju-7f2275-prod-proposed-migration-environment-2 from image adt/ubuntu-noble-ppc64el-server-20240322.img (UUID 8499323f-6fcd-4f77-8a53-77410adea6d3)...