0s autopkgtest [17:02:11]: starting date and time: 2025-11-25 17:02:11+0000 0s autopkgtest [17:02:11]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [17:02:11]: host juju-7f2275-prod-proposed-migration-environment-15; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.qy3f11lu/out --timeout-copy=6000 --setup-commands /home/ubuntu/autopkgtest-cloud/worker-config-production/setup-canonical.sh --apt-pocket=proposed=src:ncurses --apt-upgrade swi-prolog --timeout-short=300 --timeout-copy=20000 --timeout-build=20000 --env=ADT_TEST_TRIGGERS=ncurses/6.5+20251123-1 -- ssh -s /home/ubuntu/autopkgtest/ssh-setup/nova -- --flavor autopkgtest-cpu2-ram4-disk20-amd64 --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-15@sto01-9.secgroup --name adt-resolute-amd64-swi-prolog-20251125-170211-juju-7f2275-prod-proposed-migration-environment-15-31258df7-e412-4432-9a8e-3d56aac2d98e --image adt/ubuntu-resolute-amd64-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-15 --net-id=net_prod-autopkgtest-workers-amd64 -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-amd64-swi-prolog-20251125-170211-juju-7f2275-prod-proposed-migration-environment-15-31258df7-e412-4432-9a8e-3d56aac2d98e from image adt/ubuntu-resolute-amd64-server-20251125.img (UUID 4eca376b-f6f4-425a-8514-bf9ccbeb9d6a)... 39s autopkgtest [17:02:50]: testbed dpkg architecture: amd64 39s autopkgtest [17:02:50]: testbed apt version: 3.1.12 39s autopkgtest [17:02:50]: @@@@@@@@@@@@@@@@@@@@ test bed setup 39s autopkgtest [17:02:50]: testbed release detected to be: None 40s autopkgtest [17:02:51]: updating testbed package index (apt update) 40s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 40s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 40s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 40s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 40s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [22.4 kB] 40s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [74.9 kB] 40s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [747 kB] 40s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [9868 B] 41s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 Packages [115 kB] 41s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/main i386 Packages [66.1 kB] 41s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 c-n-f Metadata [3112 B] 41s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/restricted i386 Packages [4040 B] 41s Get:13 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 Packages [64.9 kB] 41s Get:14 http://ftpmaster.internal/ubuntu resolute-proposed/restricted amd64 c-n-f Metadata [336 B] 41s Get:15 http://ftpmaster.internal/ubuntu resolute-proposed/universe i386 Packages [253 kB] 41s Get:16 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 Packages [525 kB] 41s Get:17 http://ftpmaster.internal/ubuntu resolute-proposed/universe amd64 c-n-f Metadata [16.8 kB] 41s Get:18 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse i386 Packages [3552 B] 41s Get:19 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 Packages [8720 B] 41s Get:20 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse amd64 c-n-f Metadata [652 B] 42s Fetched 2003 kB in 1s (1954 kB/s) 43s Reading package lists... 43s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 43s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 43s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 43s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 44s Reading package lists... 44s Reading package lists... 44s Building dependency tree... 44s Reading state information... 44s Calculating upgrade... 44s The following packages will be upgraded: 44s libncurses6 libncursesw6 libtinfo6 ncurses-base ncurses-bin ncurses-term 44s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 44s Need to get 873 kB of archives. 44s After this operation, 1024 B disk space will be freed. 44s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 ncurses-bin amd64 6.5+20251123-1 [192 kB] 44s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 ncurses-base all 6.5+20251123-1 [26.2 kB] 44s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 ncurses-term all 6.5+20251123-1 [280 kB] 44s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libncursesw6 amd64 6.5+20251123-1 [150 kB] 44s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libncurses6 amd64 6.5+20251123-1 [114 kB] 44s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main amd64 libtinfo6 amd64 6.5+20251123-1 [110 kB] 44s dpkg-preconfigure: unable to re-open stdin: No such file or directory 44s Fetched 873 kB in 0s (41.4 MB/s) 44s (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 ... 82967 files and directories currently installed.) 44s Preparing to unpack .../ncurses-bin_6.5+20251123-1_amd64.deb ... 44s Unpacking ncurses-bin (6.5+20251123-1) over (6.5+20250216-2build1) ... 44s Setting up ncurses-bin (6.5+20251123-1) ... 44s (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 ... 82967 files and directories currently installed.) 44s Preparing to unpack .../ncurses-base_6.5+20251123-1_all.deb ... 44s Unpacking ncurses-base (6.5+20251123-1) over (6.5+20250216-2build1) ... 45s Setting up ncurses-base (6.5+20251123-1) ... 45s (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 ... 82967 files and directories currently installed.) 45s Preparing to unpack .../ncurses-term_6.5+20251123-1_all.deb ... 45s Unpacking ncurses-term (6.5+20251123-1) over (6.5+20250216-2build1) ... 45s Preparing to unpack .../libncursesw6_6.5+20251123-1_amd64.deb ... 45s Unpacking libncursesw6:amd64 (6.5+20251123-1) over (6.5+20250216-2build1) ... 45s Preparing to unpack .../libncurses6_6.5+20251123-1_amd64.deb ... 45s Unpacking libncurses6:amd64 (6.5+20251123-1) over (6.5+20250216-2build1) ... 45s Preparing to unpack .../libtinfo6_6.5+20251123-1_amd64.deb ... 45s Unpacking libtinfo6:amd64 (6.5+20251123-1) over (6.5+20250216-2build1) ... 45s Setting up libtinfo6:amd64 (6.5+20251123-1) ... 45s Setting up libncurses6:amd64 (6.5+20251123-1) ... 45s Setting up libncursesw6:amd64 (6.5+20251123-1) ... 45s Setting up ncurses-term (6.5+20251123-1) ... 45s Processing triggers for man-db (2.13.1-1) ... 45s Processing triggers for libc-bin (2.42-2ubuntu2) ... 46s autopkgtest [17:02:57]: upgrading testbed (apt dist-upgrade and autopurge) 46s Reading package lists... 46s Building dependency tree... 46s Reading state information... 46s Calculating upgrade... 46s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 46s Reading package lists... 46s Building dependency tree... 46s Reading state information... 46s Solving dependencies... 46s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 48s autopkgtest [17:02:59]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP PREEMPT_DYNAMIC Mon Sep 22 10:00:33 UTC 2025 49s autopkgtest [17:03:00]: @@@@@@@@@@@@@@@@@@@@ apt-source swi-prolog 54s Get:1 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (dsc) [3526 B] 54s Get:2 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (tar) [12.4 MB] 54s Get:3 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (diff) [34.8 kB] 54s gpgv: Signature made Sat Jan 18 19:47:01 2025 UTC 54s gpgv: using RSA key DE6BA671D57D9B009CF686505EE76EE20216D2A5 54s gpgv: Can't check signature: No public key 54s dpkg-source: warning: cannot verify inline signature for ./swi-prolog_9.2.9+dfsg-1.dsc: no acceptable signature found 54s autopkgtest [17:03:05]: testing package swi-prolog version 9.2.9+dfsg-1 55s autopkgtest [17:03:06]: build not needed 58s autopkgtest [17:03:09]: test runtests: preparing testbed 58s Reading package lists... 58s Building dependency tree... 58s Reading state information... 58s Solving dependencies... 58s The following NEW packages will be installed: 58s ca-certificates-java default-jre-headless fontconfig-config 58s fonts-dejavu-core fonts-dejavu-mono java-common libfontconfig1 libice6 58s libjpeg-turbo8 libjpeg8 liblcms2-2 libltdl7 libodbc2 libossp-uuid16 58s libpcsclite1 libsm6 libxft2 libxinerama1 libxpm4 libxrender1 libxt6t64 58s openjdk-21-jre-headless swi-prolog swi-prolog-bdb swi-prolog-core 58s swi-prolog-core-packages swi-prolog-doc swi-prolog-full swi-prolog-java 58s swi-prolog-nox swi-prolog-odbc swi-prolog-test swi-prolog-x x11-common 58s 0 upgraded, 34 newly installed, 0 to remove and 0 not upgraded. 58s Need to get 57.3 MB of archives. 58s After this operation, 257 MB of additional disk space will be used. 58s Get:1 http://ftpmaster.internal/ubuntu resolute/main amd64 ca-certificates-java all 20240118 [11.6 kB] 58s Get:2 http://ftpmaster.internal/ubuntu resolute/main amd64 java-common all 0.76 [6852 B] 58s Get:3 http://ftpmaster.internal/ubuntu resolute/main amd64 liblcms2-2 amd64 2.17-1 [170 kB] 59s Get:4 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg-turbo8 amd64 2.1.5-4ubuntu2 [152 kB] 59s Get:5 http://ftpmaster.internal/ubuntu resolute/main amd64 libjpeg8 amd64 8c-2ubuntu11 [2148 B] 59s Get:6 http://ftpmaster.internal/ubuntu resolute/main amd64 libpcsclite1 amd64 2.4.0-2 [24.3 kB] 59s Get:7 http://ftpmaster.internal/ubuntu resolute/main amd64 openjdk-21-jre-headless amd64 21.0.9+10-1 [46.5 MB] 59s Get:8 http://ftpmaster.internal/ubuntu resolute/main amd64 default-jre-headless amd64 2:1.21-76 [3178 B] 59s Get:9 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-mono all 2.37-8 [502 kB] 59s Get:10 http://ftpmaster.internal/ubuntu resolute/main amd64 fonts-dejavu-core all 2.37-8 [835 kB] 59s Get:11 http://ftpmaster.internal/ubuntu resolute/main amd64 fontconfig-config amd64 2.15.0-2.3ubuntu1 [38.0 kB] 59s Get:12 http://ftpmaster.internal/ubuntu resolute/main amd64 libfontconfig1 amd64 2.15.0-2.3ubuntu1 [141 kB] 59s Get:13 http://ftpmaster.internal/ubuntu resolute/main amd64 x11-common all 1:7.7+24ubuntu1 [22.4 kB] 59s Get:14 http://ftpmaster.internal/ubuntu resolute/main amd64 libice6 amd64 2:1.1.1-1 [44.1 kB] 59s Get:15 http://ftpmaster.internal/ubuntu resolute/main amd64 libltdl7 amd64 2.5.4-7 [43.3 kB] 60s Get:16 http://ftpmaster.internal/ubuntu resolute/main amd64 libodbc2 amd64 2.3.14-1 [160 kB] 60s Get:17 http://ftpmaster.internal/ubuntu resolute/universe amd64 libossp-uuid16 amd64 1.6.5-1 [24.7 kB] 60s Get:18 http://ftpmaster.internal/ubuntu resolute/main amd64 libsm6 amd64 2:1.2.6-1 [16.4 kB] 60s Get:19 http://ftpmaster.internal/ubuntu resolute/main amd64 libxrender1 amd64 1:0.9.12-1 [19.8 kB] 60s Get:20 http://ftpmaster.internal/ubuntu resolute/main amd64 libxft2 amd64 2.3.6-1build1 [45.3 kB] 60s Get:21 http://ftpmaster.internal/ubuntu resolute/main amd64 libxinerama1 amd64 2:1.1.4-3build1 [6396 B] 60s Get:22 http://ftpmaster.internal/ubuntu resolute/main amd64 libxpm4 amd64 1:3.5.17-1build2 [36.5 kB] 60s Get:23 http://ftpmaster.internal/ubuntu resolute/main amd64 libxt6t64 amd64 1:1.2.1-1.3 [173 kB] 60s Get:24 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-core amd64 9.2.9+dfsg-1 [1548 kB] 60s Get:25 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-doc all 9.2.9+dfsg-1 [1666 kB] 60s Get:26 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-core-packages amd64 9.2.9+dfsg-1 [1519 kB] 60s Get:27 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-nox amd64 9.2.9+dfsg-1 [216 kB] 60s Get:28 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-x amd64 9.2.9+dfsg-1 [2303 kB] 60s Get:29 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog amd64 9.2.9+dfsg-1 [9130 B] 60s Get:30 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-bdb amd64 9.2.9+dfsg-1 [26.1 kB] 60s Get:31 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-java amd64 9.2.9+dfsg-1 [108 kB] 60s Get:32 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-odbc amd64 9.2.9+dfsg-1 [123 kB] 60s Get:33 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-full amd64 9.2.9+dfsg-1 [7876 B] 60s Get:34 http://ftpmaster.internal/ubuntu resolute/universe amd64 swi-prolog-test all 9.2.9+dfsg-1 [767 kB] 60s Fetched 57.3 MB in 2s (30.9 MB/s) 60s Selecting previously unselected package ca-certificates-java. 60s (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 ... 82986 files and directories currently installed.) 60s Preparing to unpack .../00-ca-certificates-java_20240118_all.deb ... 60s Unpacking ca-certificates-java (20240118) ... 60s Selecting previously unselected package java-common. 60s Preparing to unpack .../01-java-common_0.76_all.deb ... 60s Unpacking java-common (0.76) ... 60s Selecting previously unselected package liblcms2-2:amd64. 60s Preparing to unpack .../02-liblcms2-2_2.17-1_amd64.deb ... 60s Unpacking liblcms2-2:amd64 (2.17-1) ... 60s Selecting previously unselected package libjpeg-turbo8:amd64. 60s Preparing to unpack .../03-libjpeg-turbo8_2.1.5-4ubuntu2_amd64.deb ... 60s Unpacking libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 60s Selecting previously unselected package libjpeg8:amd64. 60s Preparing to unpack .../04-libjpeg8_8c-2ubuntu11_amd64.deb ... 60s Unpacking libjpeg8:amd64 (8c-2ubuntu11) ... 60s Selecting previously unselected package libpcsclite1:amd64. 60s Preparing to unpack .../05-libpcsclite1_2.4.0-2_amd64.deb ... 60s Unpacking libpcsclite1:amd64 (2.4.0-2) ... 60s Selecting previously unselected package openjdk-21-jre-headless:amd64. 60s Preparing to unpack .../06-openjdk-21-jre-headless_21.0.9+10-1_amd64.deb ... 60s Unpacking openjdk-21-jre-headless:amd64 (21.0.9+10-1) ... 61s Selecting previously unselected package default-jre-headless. 61s Preparing to unpack .../07-default-jre-headless_2%3a1.21-76_amd64.deb ... 61s Unpacking default-jre-headless (2:1.21-76) ... 61s Selecting previously unselected package fonts-dejavu-mono. 61s Preparing to unpack .../08-fonts-dejavu-mono_2.37-8_all.deb ... 61s Unpacking fonts-dejavu-mono (2.37-8) ... 61s Selecting previously unselected package fonts-dejavu-core. 61s Preparing to unpack .../09-fonts-dejavu-core_2.37-8_all.deb ... 61s Unpacking fonts-dejavu-core (2.37-8) ... 61s Selecting previously unselected package fontconfig-config. 61s Preparing to unpack .../10-fontconfig-config_2.15.0-2.3ubuntu1_amd64.deb ... 61s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 61s Selecting previously unselected package libfontconfig1:amd64. 61s Preparing to unpack .../11-libfontconfig1_2.15.0-2.3ubuntu1_amd64.deb ... 61s Unpacking libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 61s Selecting previously unselected package x11-common. 61s Preparing to unpack .../12-x11-common_1%3a7.7+24ubuntu1_all.deb ... 61s Unpacking x11-common (1:7.7+24ubuntu1) ... 61s Selecting previously unselected package libice6:amd64. 61s Preparing to unpack .../13-libice6_2%3a1.1.1-1_amd64.deb ... 61s Unpacking libice6:amd64 (2:1.1.1-1) ... 61s Selecting previously unselected package libltdl7:amd64. 61s Preparing to unpack .../14-libltdl7_2.5.4-7_amd64.deb ... 61s Unpacking libltdl7:amd64 (2.5.4-7) ... 61s Selecting previously unselected package libodbc2:amd64. 61s Preparing to unpack .../15-libodbc2_2.3.14-1_amd64.deb ... 61s Unpacking libodbc2:amd64 (2.3.14-1) ... 61s Selecting previously unselected package libossp-uuid16:amd64. 61s Preparing to unpack .../16-libossp-uuid16_1.6.5-1_amd64.deb ... 61s Unpacking libossp-uuid16:amd64 (1.6.5-1) ... 61s Selecting previously unselected package libsm6:amd64. 61s Preparing to unpack .../17-libsm6_2%3a1.2.6-1_amd64.deb ... 61s Unpacking libsm6:amd64 (2:1.2.6-1) ... 61s Selecting previously unselected package libxrender1:amd64. 61s Preparing to unpack .../18-libxrender1_1%3a0.9.12-1_amd64.deb ... 61s Unpacking libxrender1:amd64 (1:0.9.12-1) ... 61s Selecting previously unselected package libxft2:amd64. 61s Preparing to unpack .../19-libxft2_2.3.6-1build1_amd64.deb ... 61s Unpacking libxft2:amd64 (2.3.6-1build1) ... 61s Selecting previously unselected package libxinerama1:amd64. 61s Preparing to unpack .../20-libxinerama1_2%3a1.1.4-3build1_amd64.deb ... 61s Unpacking libxinerama1:amd64 (2:1.1.4-3build1) ... 61s Selecting previously unselected package libxpm4:amd64. 61s Preparing to unpack .../21-libxpm4_1%3a3.5.17-1build2_amd64.deb ... 61s Unpacking libxpm4:amd64 (1:3.5.17-1build2) ... 61s Selecting previously unselected package libxt6t64:amd64. 61s Preparing to unpack .../22-libxt6t64_1%3a1.2.1-1.3_amd64.deb ... 61s Unpacking libxt6t64:amd64 (1:1.2.1-1.3) ... 61s Selecting previously unselected package swi-prolog-core. 61s Preparing to unpack .../23-swi-prolog-core_9.2.9+dfsg-1_amd64.deb ... 61s Unpacking swi-prolog-core (9.2.9+dfsg-1) ... 61s Selecting previously unselected package swi-prolog-doc. 61s Preparing to unpack .../24-swi-prolog-doc_9.2.9+dfsg-1_all.deb ... 61s Unpacking swi-prolog-doc (9.2.9+dfsg-1) ... 61s Selecting previously unselected package swi-prolog-core-packages. 61s Preparing to unpack .../25-swi-prolog-core-packages_9.2.9+dfsg-1_amd64.deb ... 61s Unpacking swi-prolog-core-packages (9.2.9+dfsg-1) ... 61s Selecting previously unselected package swi-prolog-nox. 61s Preparing to unpack .../26-swi-prolog-nox_9.2.9+dfsg-1_amd64.deb ... 61s Unpacking swi-prolog-nox (9.2.9+dfsg-1) ... 61s Selecting previously unselected package swi-prolog-x. 61s Preparing to unpack .../27-swi-prolog-x_9.2.9+dfsg-1_amd64.deb ... 61s Unpacking swi-prolog-x (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog. 62s Preparing to unpack .../28-swi-prolog_9.2.9+dfsg-1_amd64.deb ... 62s Unpacking swi-prolog (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog-bdb. 62s Preparing to unpack .../29-swi-prolog-bdb_9.2.9+dfsg-1_amd64.deb ... 62s Unpacking swi-prolog-bdb (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog-java. 62s Preparing to unpack .../30-swi-prolog-java_9.2.9+dfsg-1_amd64.deb ... 62s Unpacking swi-prolog-java (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog-odbc. 62s Preparing to unpack .../31-swi-prolog-odbc_9.2.9+dfsg-1_amd64.deb ... 62s Unpacking swi-prolog-odbc (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog-full. 62s Preparing to unpack .../32-swi-prolog-full_9.2.9+dfsg-1_amd64.deb ... 62s Unpacking swi-prolog-full (9.2.9+dfsg-1) ... 62s Selecting previously unselected package swi-prolog-test. 62s Preparing to unpack .../33-swi-prolog-test_9.2.9+dfsg-1_all.deb ... 62s Unpacking swi-prolog-test (9.2.9+dfsg-1) ... 62s Setting up liblcms2-2:amd64 (2.17-1) ... 62s Setting up libxpm4:amd64 (1:3.5.17-1build2) ... 62s Setting up java-common (0.76) ... 62s Setting up libxrender1:amd64 (1:0.9.12-1) ... 62s Setting up x11-common (1:7.7+24ubuntu1) ... 62s Setting up libossp-uuid16:amd64 (1.6.5-1) ... 62s Setting up libxinerama1:amd64 (2:1.1.4-3build1) ... 62s Setting up fonts-dejavu-mono (2.37-8) ... 62s Setting up swi-prolog-core (9.2.9+dfsg-1) ... 62s update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode 62s Setting up fonts-dejavu-core (2.37-8) ... 62s Setting up libpcsclite1:amd64 (2.4.0-2) ... 62s Setting up libjpeg-turbo8:amd64 (2.1.5-4ubuntu2) ... 62s Setting up libltdl7:amd64 (2.5.4-7) ... 62s Setting up libodbc2:amd64 (2.3.14-1) ... 62s Setting up swi-prolog-core-packages (9.2.9+dfsg-1) ... 62s Setting up swi-prolog-nox (9.2.9+dfsg-1) ... 62s Setting up ca-certificates-java (20240118) ... 62s No JRE found. Skipping Java certificates setup. 62s Setting up libjpeg8:amd64 (8c-2ubuntu11) ... 62s Setting up libice6:amd64 (2:1.1.1-1) ... 62s Setting up swi-prolog-bdb (9.2.9+dfsg-1) ... 62s Setting up openjdk-21-jre-headless:amd64 (21.0.9+10-1) ... 62s update-alternatives: using /usr/lib/jvm/java-21-openjdk-amd64/bin/java to provide /usr/bin/java (java) in auto mode 62s update-alternatives: using /usr/lib/jvm/java-21-openjdk-amd64/bin/jpackage to provide /usr/bin/jpackage (jpackage) in auto mode 62s update-alternatives: using /usr/lib/jvm/java-21-openjdk-amd64/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode 62s update-alternatives: using /usr/lib/jvm/java-21-openjdk-amd64/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode 62s update-alternatives: using /usr/lib/jvm/java-21-openjdk-amd64/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode 62s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 62s Setting up swi-prolog-doc (9.2.9+dfsg-1) ... 63s Setting up swi-prolog-test (9.2.9+dfsg-1) ... 63s Setting up swi-prolog-odbc (9.2.9+dfsg-1) ... 63s Setting up libfontconfig1:amd64 (2.15.0-2.3ubuntu1) ... 63s Setting up libsm6:amd64 (2:1.2.6-1) ... 63s Setting up libxft2:amd64 (2.3.6-1build1) ... 63s Setting up libxt6t64:amd64 (1:1.2.1-1.3) ... 63s Setting up swi-prolog-x (9.2.9+dfsg-1) ... 63s Setting up swi-prolog (9.2.9+dfsg-1) ... 63s Processing triggers for libc-bin (2.42-2ubuntu2) ... 63s Processing triggers for man-db (2.13.1-1) ... 63s Processing triggers for ca-certificates-java (20240118) ... 64s Adding debian:ACCVRAIZ1.pem 64s Adding debian:AC_RAIZ_FNMT-RCM.pem 64s Adding debian:AC_RAIZ_FNMT-RCM_SERVIDORES_SEGUROS.pem 64s Adding debian:ANF_Secure_Server_Root_CA.pem 64s Adding debian:Actalis_Authentication_Root_CA.pem 64s Adding debian:AffirmTrust_Commercial.pem 64s Adding debian:AffirmTrust_Networking.pem 64s Adding debian:AffirmTrust_Premium.pem 64s Adding debian:AffirmTrust_Premium_ECC.pem 64s Adding debian:Amazon_Root_CA_1.pem 64s Adding debian:Amazon_Root_CA_2.pem 64s Adding debian:Amazon_Root_CA_3.pem 64s Adding debian:Amazon_Root_CA_4.pem 64s Adding debian:Atos_TrustedRoot_2011.pem 64s Adding debian:Atos_TrustedRoot_Root_CA_ECC_TLS_2021.pem 64s Adding debian:Atos_TrustedRoot_Root_CA_RSA_TLS_2021.pem 64s Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem 64s Adding debian:BJCA_Global_Root_CA1.pem 64s Adding debian:BJCA_Global_Root_CA2.pem 64s Adding debian:Baltimore_CyberTrust_Root.pem 64s Adding debian:Buypass_Class_2_Root_CA.pem 64s Adding debian:Buypass_Class_3_Root_CA.pem 64s Adding debian:CA_Disig_Root_R2.pem 64s Adding debian:CFCA_EV_ROOT.pem 64s Adding debian:COMODO_Certification_Authority.pem 64s Adding debian:COMODO_ECC_Certification_Authority.pem 64s Adding debian:COMODO_RSA_Certification_Authority.pem 64s Adding debian:Certainly_Root_E1.pem 64s Adding debian:Certainly_Root_R1.pem 64s Adding debian:Certigna.pem 64s Adding debian:Certigna_Root_CA.pem 64s Adding debian:Certum_EC-384_CA.pem 64s Adding debian:Certum_Trusted_Network_CA.pem 64s Adding debian:Certum_Trusted_Network_CA_2.pem 64s Adding debian:Certum_Trusted_Root_CA.pem 64s Adding debian:CommScope_Public_Trust_ECC_Root-01.pem 64s Adding debian:CommScope_Public_Trust_ECC_Root-02.pem 64s Adding debian:CommScope_Public_Trust_RSA_Root-01.pem 64s Adding debian:CommScope_Public_Trust_RSA_Root-02.pem 64s Adding debian:Comodo_AAA_Services_root.pem 64s Adding debian:D-TRUST_BR_Root_CA_1_2020.pem 64s Adding debian:D-TRUST_BR_Root_CA_2_2023.pem 64s Adding debian:D-TRUST_EV_Root_CA_1_2020.pem 64s Adding debian:D-TRUST_EV_Root_CA_2_2023.pem 64s Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem 64s Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem 64s Adding debian:DigiCert_Assured_ID_Root_CA.pem 64s Adding debian:DigiCert_Assured_ID_Root_G2.pem 64s Adding debian:DigiCert_Assured_ID_Root_G3.pem 64s Adding debian:DigiCert_Global_Root_CA.pem 64s Adding debian:DigiCert_Global_Root_G2.pem 64s Adding debian:DigiCert_Global_Root_G3.pem 64s Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem 64s Adding debian:DigiCert_TLS_ECC_P384_Root_G5.pem 64s Adding debian:DigiCert_TLS_RSA4096_Root_G5.pem 64s Adding debian:DigiCert_Trusted_Root_G4.pem 64s Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem 64s Adding debian:Entrust_Root_Certification_Authority.pem 64s Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem 64s Adding debian:Entrust_Root_Certification_Authority_-_G2.pem 64s Adding debian:FIRMAPROFESIONAL_CA_ROOT-A_WEB.pem 64s Adding debian:GDCA_TrustAUTH_R5_ROOT.pem 64s Adding debian:GLOBALTRUST_2020.pem 64s Adding debian:GTS_Root_R1.pem 64s Adding debian:GTS_Root_R2.pem 64s Adding debian:GTS_Root_R3.pem 64s Adding debian:GTS_Root_R4.pem 64s Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem 64s Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem 64s Adding debian:GlobalSign_Root_CA.pem 64s Adding debian:GlobalSign_Root_CA_-_R3.pem 64s Adding debian:GlobalSign_Root_CA_-_R6.pem 64s Adding debian:GlobalSign_Root_E46.pem 64s Adding debian:GlobalSign_Root_R46.pem 64s Adding debian:Go_Daddy_Class_2_CA.pem 64s Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem 64s Adding debian:HARICA_TLS_ECC_Root_CA_2021.pem 64s Adding debian:HARICA_TLS_RSA_Root_CA_2021.pem 64s Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem 64s Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem 64s Adding debian:HiPKI_Root_CA_-_G1.pem 64s Adding debian:Hongkong_Post_Root_CA_3.pem 64s Adding debian:ISRG_Root_X1.pem 64s Adding debian:ISRG_Root_X2.pem 64s Adding debian:IdenTrust_Commercial_Root_CA_1.pem 64s Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem 64s Adding debian:Izenpe.com.pem 64s Adding debian:Microsec_e-Szigno_Root_CA_2009.pem 64s Adding debian:Microsoft_ECC_Root_Certificate_Authority_2017.pem 64s Adding debian:Microsoft_RSA_Root_Certificate_Authority_2017.pem 64s Adding debian:NAVER_Global_Root_Certification_Authority.pem 64s Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem 64s Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem 64s Adding debian:OISTE_WISeKey_Global_Root_GC_CA.pem 64s Adding debian:QuoVadis_Root_CA_1_G3.pem 64s Adding debian:QuoVadis_Root_CA_2.pem 64s Adding debian:QuoVadis_Root_CA_2_G3.pem 64s Adding debian:QuoVadis_Root_CA_3.pem 64s Adding debian:QuoVadis_Root_CA_3_G3.pem 64s Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem 64s Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem 64s Adding debian:SSL.com_Root_Certification_Authority_ECC.pem 64s Adding debian:SSL.com_Root_Certification_Authority_RSA.pem 64s Adding debian:SSL.com_TLS_ECC_Root_CA_2022.pem 64s Adding debian:SSL.com_TLS_RSA_Root_CA_2022.pem 64s Adding debian:SZAFIR_ROOT_CA2.pem 64s Adding debian:Sectigo_Public_Server_Authentication_Root_E46.pem 64s Adding debian:Sectigo_Public_Server_Authentication_Root_R46.pem 64s Adding debian:SecureSign_Root_CA12.pem 64s Adding debian:SecureSign_Root_CA14.pem 64s Adding debian:SecureSign_Root_CA15.pem 64s Adding debian:SecureTrust_CA.pem 64s Adding debian:Secure_Global_CA.pem 64s Adding debian:Security_Communication_ECC_RootCA1.pem 64s Adding debian:Security_Communication_RootCA2.pem 64s Adding debian:Starfield_Class_2_CA.pem 64s Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem 64s Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem 64s Adding debian:SwissSign_Gold_CA_-_G2.pem 64s Adding debian:T-TeleSec_GlobalRoot_Class_2.pem 64s Adding debian:T-TeleSec_GlobalRoot_Class_3.pem 64s Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem 64s Adding debian:TWCA_CYBER_Root_CA.pem 64s Adding debian:TWCA_Global_Root_CA.pem 64s Adding debian:TWCA_Root_Certification_Authority.pem 64s Adding debian:Telekom_Security_TLS_ECC_Root_2020.pem 64s Adding debian:Telekom_Security_TLS_RSA_Root_2023.pem 64s Adding debian:TeliaSonera_Root_CA_v1.pem 64s Adding debian:Telia_Root_CA_v2.pem 64s Adding debian:TrustAsia_Global_Root_CA_G3.pem 64s Adding debian:TrustAsia_Global_Root_CA_G4.pem 64s Adding debian:Trustwave_Global_Certification_Authority.pem 64s Adding debian:Trustwave_Global_ECC_P256_Certification_Authority.pem 64s Adding debian:Trustwave_Global_ECC_P384_Certification_Authority.pem 64s Adding debian:TunTrust_Root_CA.pem 64s Adding debian:UCA_Extended_Validation_Root.pem 64s Adding debian:UCA_Global_G2_Root.pem 64s Adding debian:USERTrust_ECC_Certification_Authority.pem 64s Adding debian:USERTrust_RSA_Certification_Authority.pem 64s Adding debian:XRamp_Global_CA_Root.pem 64s Adding debian:certSIGN_ROOT_CA.pem 64s Adding debian:certSIGN_Root_CA_G2.pem 64s Adding debian:e-Szigno_Root_CA_2017.pem 64s Adding debian:ePKI_Root_Certification_Authority.pem 64s Adding debian:emSign_ECC_Root_CA_-_C3.pem 64s Adding debian:emSign_ECC_Root_CA_-_G3.pem 64s Adding debian:emSign_Root_CA_-_C1.pem 64s Adding debian:emSign_Root_CA_-_G1.pem 64s Adding debian:vTrus_ECC_Root_CA.pem 64s Adding debian:vTrus_Root_CA.pem 64s done. 64s Setting up default-jre-headless (2:1.21-76) ... 64s Setting up swi-prolog-java (9.2.9+dfsg-1) ... 64s Setting up swi-prolog-full (9.2.9+dfsg-1) ... 66s autopkgtest [17:03:17]: test runtests: [----------------------- 67s % Checking your SWI-Prolog kit for common issues ... 67s % 67s % Version: ............. 9.2.9 67s % Address bits: ........ 64 67s % Architecture: ........ x86_64-linux 67s % Installed at: ........ /usr/lib/swi-prolog 67s % Cores: ............... 2 67s % 67s % Checking tcmalloc ............................ not present 67s Warning: See http://www.swi-prolog.org/build/issues/tcmalloc.html 67s % Checking gmp ................................. ok 67s % Loading library(archive) ..................... ok 67s % Supported filters: bzip2, compress, gzip, grzip, lrzip, lzip, lzma, lzop, none, rpm, uu, xz 67s % Supported formats: 7zip, ar, cab, cpio, empty, gnutar, iso9660, lha, mtree, rar, raw, tar, xar, zip 67s % Loading library(cgi) ......................... ok 67s % Loading library(crypt) ....................... ok 67s % Loading library(bdb) ......................... ok 67s % Loading library(double_metaphone) ............ ok 67s % Loading library(editline) .................... ok 67s % Loading library(filesex) ..................... ok 67s % Loading library(http/http_stream) ............ ok 67s % Loading library(http/json) ................... ok 67s % Loading library(http/jquery) ................. ok 67s Warning: Cannot find jQuery (jquery.min.js) 67s % Loading library(isub) ........................ ok 67s % Loading library(janus) ....................... ok 67s % Python version 3.13.9 (main, Oct 15 2025, 14:56:22) [GCC 15.2.0] 67s % Loading library(jpl) ......................... ok 67s % Loading library(memfile) ..................... ok 67s % Loading library(odbc) ........................ ok 67s % Loading library(pce) ......................... ok 67s % Loading library(pcre) ........................ ok 67s % Loading library(pdt_console) ................. ok 67s % Loading library(porter_stem) ................. ok 67s % Loading library(process) ..................... ok 67s % Loading library(protobufs) ................... ok 67s % Loading library(readline) .................... ok 67s % Loading library(readutil) .................... ok 67s % Loading library(rlimit) ...................... ok 67s % Loading library(semweb/rdf_db) ............... ok 67s % Loading library(semweb/rdf_ntriples) ......... ok 67s % Loading library(semweb/turtle) ............... ok 67s % Loading library(sgml) ........................ ok 67s % Loading library(sha) ......................... ok 67s % Loading library(snowball) .................... ok 67s % Loading library(socket) ...................... ok 67s % Loading library(ssl) ......................... ok 67s % Loading library(sweep_link) .................. ok 67s % GNU-Emacs plugin loads 67s % L /usr/lib/x86_64-linux-gnu/libswipl.so.9 67s % M /usr/lib/swi-prolog/lib/x86_64-linux/sweep-module.so 67s % Loading library(crypto) ...................... ok 67s % Loading library(syslog) ...................... ok 67s % Loading library(table) ....................... ok 67s % Loading library(time) ........................ ok 67s % Loading library(tipc/tipc) ................... ok 67s % Loading library(unicode) ..................... ok 67s % Loading library(uri) ......................... ok 67s % Loading library(uuid) ........................ ok 67s % Loading library(yaml) ........................ ok 67s % Loading library(zlib) ........................ ok 67s Warning: Found 1 issues. 67s % SWI-Prolog test suite. 67s % To run all tests run ?- test. 67s % 67s Running test set "arithmetic_functions" done. 67s Running test set "chars" .. done. 67s Running test set "wchars" .. done. 67s Running test set "depth_limit" ..... done. 67s Running test set "type_test" .... done. 67s Running test set "meta" ............... done. 67s Running test set "avar" .......................... done. 67s Running test set "gvar" ..... done. 67s Running test set "copy_term" .............. done. 67s Running test set "term_hash" ........ done. 67s Running test set "cyclic" done. 67s Running test set "cleanup" ............. done. 67s Running test set "term" ........... done. 67s Running test set "list" ........... done. 67s Running test set "sets" ......... done. 67s Running test set "atom_handling" ........................ done. 67s Running test set "string_handling" ..... done. 67s Running test set "proc" ........ done. 67s Running test set "cl" ........... done. 67s Running test set "record" ....... done. 67s Running test set "compiler" ....... done. 67s Running test set "flag" . done. 67s Running test set "update" ... done. 67s Running test set "gc" ........ done. 67s Running test set "control" ......... done. 67s Running test set "exception" ...... done. 67s Running test set "term_atom" .. done. 67s Running test set "os" .. done. 67s Running test set "io" .. done. 67s Running test set "timeout" done. 67s Running test set "file" ............. done. 67s Running test set "unicode_file" .... done. 67s Running test set "seek" . done. 67s Running test set "load_program" . done. 67s Running test set "ctype" ...... done. 67s Running test set "wctype" . done. 67s Running test set "thread" ....... done. 67s Running test set "mutex" ... done. 67s Running scripts from unprotected 67s % [1/21] reconsult:simple ........................... passed (0.002 sec) 67s % [2/21] reconsult:add_clause ....................... passed (0.000 sec) 67s % [3/21] reconsult:del_clause ....................... passed (0.000 sec) 67s % [4/21] reconsult:del_clause_a ..................... passed (0.000 sec) 67s % [5/21] reconsult:del_clause_z ..................... passed (0.000 sec) 67s % [6/21] reconsult:replace_clause ................... passed (0.000 sec) 67s % [7/21] reconsult:add_pred ......................... passed (0.000 sec) 67s % [8/21] reconsult:del_pred ......................... passed (0.000 sec) 67s % [9/21] reconsult:add_attr_end ..................... passed (0.000 sec) 67s % [10/21] reconsult:del_attr_end .................... passed (0.000 sec) 67s % [11/21] reconsult:del_dynamic ..................... passed (0.000 sec) 67s % [12/21] reconsult:del_det ......................... passed (0.000 sec) 67s % [13/21] reconsult:add_thread_local ................ passed (0.000 sec) 67s % [14/21] reconsult:del_discontiguous ............... passed (0.000 sec) 67s % [15/21] reconsult:add_meta_predicate .............. passed (0.000 sec) 67s % [16/21] reconsult:del_meta_predicate .............. passed (0.000 sec) 67s % [17/21] reconsult:del_export ...................... passed (0.000 sec) 67s % [18/21] reconsult:reload_maplist .................. passed (0.005 sec) 67s % [19/21] reconsult:mod_dynamic ..................... passed (0.001 sec) 67s % [20/21] reconsult:goal_expansion .................. passed (0.002 sec) 67s % [21/21] reconsult:keep_tabling .................... passed (0.001 sec) 67s . 67s % [1/15] sandbox:cleanup ............................ passed (0.000 sec) 67s % [2/15] sandbox:time ............................... passed (0.000 sec) 67s % [3/15] sandbox:setof .............................. passed (0.000 sec) 67s % [4/15] sandbox:phrase ............................. passed (0.000 sec) 67s % [5/15] sandbox:apply .............................. passed (0.000 sec) 67s % [6/15] sandbox:aggregate .......................... passed (0.000 sec) 67s % [7/15] sandbox:aggregate .......................... passed (0.000 sec) 67s % [8/15] sandbox:dcg ................................ passed (0.000 sec) 67s % [9/15] sandbox:contexr ............................ passed (0.000 sec) 67s % [10/15] sandbox:assert ............................ passed (0.000 sec) 67s % [11/15] sandbox:assert ............................ passed (0.000 sec) 67s % [12/15] sandbox:predicate_property ................ passed (0.000 sec) 67s % [13/15] sandbox:predicate_property ................ passed (0.000 sec) 67s % [14/15] sandbox:flag .............................. passed (0.000 sec) 67s % [15/15] sandbox:flag .............................. passed (0.000 sec) 67s . done 67s Running scripts from core 67s % [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec) 67s % [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec) 67s % [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec) 67s % [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) 67s % [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec) 67s % [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec) 67s % [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec) 67s % [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec) 67s % [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec) 67s % [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec) 67s % [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec) 67s % [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec) 67s % [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec) 67s % [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec) 67s % [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec) 67s % [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec) 67s % [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec) 67s % [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec) 67s % [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec) 67s % [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec) 67s % [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.001 sec) 67s % [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.013 sec) 67s % [23/52] acyclic_terms:list_is_acyclic ............. passed (0.000 sec) 67s % [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec) 67s % [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.009 sec) 67s % [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.009 sec) 67s % [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.009 sec) 67s % [28/52] cyclic_terms:term_is_cyclic ............... passed (0.000 sec) 67s % [29/52] cyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) 67s % [30/52] cyclic_terms:sub_.._and_leaf_is_cyclic .... passed (0.000 sec) 67s % [31/52] cyclic_terms:leaf..d_subterm_is_cyclic .... passed (0.000 sec) 67s % [32/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) 67s % [33/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) 67s % [34/52] cyclic_terms:deep..sted_term_is_cyclic .... passed (0.000 sec) 67s % [35/52] cyclic_terms:deep..left_term_is_cyclic .... passed (0.000 sec) 67s % [36/52] cyclic_terms:deep..ight_term_is_cyclic .... passed (0.000 sec) 67s % [37/52] cyclic_terms:deep..ed_term_is_cyclic_1 .... passed (0.001 sec) 67s % [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.001 sec) 67s % [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.012 sec) 67s % [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.013 sec) 67s % [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec) 67s % [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.004 sec) 67s % [43/52] cyclic_misc:term_hash_1 ................... passed (0.000 sec) 67s % [44/52] cyclic_misc:streq_1 ....................... passed (0.000 sec) 67s % [45/52] cyclic_misc:test_1 ........................ passed (0.000 sec) 67s % [46/52] cyclic_misc:test_2 ........................ passed (0.000 sec) 67s % [47/52] cyclic_misc:test_3 ........................ passed (0.000 sec) 67s % [48/52] cyclic_misc:test_4 ........................ passed (0.000 sec) 67s % [49/52] cyclic_misc:test_5 ........................ passed (0.000 sec) 67s % [50/52] cyclic_misc:test_6 ........................ passed (0.000 sec) 67s % [51/52] cyclic_misc:list_1 ........................ passed (0.000 sec) 67s % [52/52] cyclic_misc:sort_1 ........................ passed (0.000 sec) 67s . 67s % [1/14] answer:simple .............................. passed (0.001 sec) 67s % [2/14] answer:simple .............................. passed (0.000 sec) 67s % [3/14] answer:separated ........................... passed (0.000 sec) 67s % [4/14] answer:same ................................ passed (0.000 sec) 67s % [5/14] answer:same ................................ passed (0.000 sec) 67s % [6/14] answer:cycle ............................... passed (0.000 sec) 67s % [7/14] answer:cycle ............................... passed (0.000 sec) 67s % [8/14] answer:double_cycle ........................ passed (0.000 sec) 67s % [9/14] answer:freeze .............................. passed (0.000 sec) 67s % [10/14] answer:hidden1 ............................ passed (0.000 sec) 67s % [11/14] answer:hidden2 ............................ passed (0.000 sec) 67s % [12/14] answer:hidden3 ............................ passed (0.000 sec) 67s % [13/14] answer:name_var ........................... passed (0.000 sec) 67s % [14/14] answer:name_var ........................... passed (0.000 sec) 67s . 67s % [1/221] arith_basics:arith_1 ...................... passed (0.000 sec) 67s % [2/221] arith_basics:arith_2 ...................... passed (0.000 sec) 67s % [3/221] arith_basics:arith_3 ...................... passed (0.000 sec) 67s % [4/221] arith_basics:arith_4 ...................... passed (0.000 sec) 67s % [5/221] arith_basics:arith_5 ...................... passed (0.000 sec) 67s % [6/221] arith_basics:arith_6 ...................... passed (0.000 sec) 67s % [7/221] arith_basics:arith_7 ...................... passed (0.000 sec) 67s % [8/221] arith_basics:arith_8 ...................... passed (0.000 sec) 67s % [9/221] arith_basics:arith_9 ...................... passed (0.000 sec) 67s % [10/221] arith_basics:arith_10 .................... passed (0.000 sec) 67s % [11/221] arith_basics:float_fractional_part_1 ..... passed (0.000 sec) 67s % [12/221] arith_basics:arith_11 .................... passed (0.000 sec) 67s % [13/221] arith_basics:arith_12 .................... passed (0.000 sec) 67s % [14/221] arith_basics:arith_13 .................... passed (0.000 sec) 67s % [15/221] arith_basics:sign_1 ...................... passed (0.000 sec) 67s % [16/221] arith_basics:sign_2 ...................... passed (0.000 sec) 67s % [17/221] arith_basics:sign_3 ...................... passed (0.000 sec) 67s % [18/221] arith_basics:copysign_1 .................. passed (0.000 sec) 67s % [19/221] arith_basics:copysign_2 .................. passed (0.000 sec) 67s % [20/221] arith_basics:copysign_3 .................. passed (0.000 sec) 67s % [21/221] arith_basics:abs_1 ....................... passed (0.000 sec) 67s % [22/221] arith_basics:floor_1 ..................... passed (0.000 sec) 67s % [23/221] arith_basics:ceil_1 ...................... passed (0.000 sec) 67s % [24/221] arith_basics:truncate_1 .................. passed (0.000 sec) 67s % [25/221] arith_basics:floor_2 ..................... passed (0.000 sec) 67s % [26/221] arith_basics:ceil_2 ...................... passed (0.000 sec) 67s % [27/221] arith_basics:round_2 ..................... passed (0.000 sec) 67s % [28/221] arith_basics:integer_2 ................... passed (0.000 sec) 67s % [29/221] arith_basics:int_1 ....................... passed (0.000 sec) 67s % [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec) 67s % [31/221] div:mod .................................. passed (0.000 sec) 67s % [32/221] div:minint ............................... passed (0.000 sec) 67s % [33/221] div:minint ............................... passed (0.000 sec) 67s % [34/221] gdiv:minint .............................. passed (0.000 sec) 67s % [35/221] rem:small ................................ passed (0.000 sec) 67s % [36/221] rem:small_divneg ......................... passed (0.000 sec) 67s % [37/221] rem:small_neg ............................ passed (0.000 sec) 67s % [38/221] rem:big .................................. passed (0.000 sec) 67s % [39/221] rem:big_neg .............................. passed (0.000 sec) 67s % [40/221] rem:exhaust .............................. passed (0.000 sec) 67s % [41/221] rem:big .................................. passed (0.000 sec) 67s % [42/221] rem:allq ................................. passed (0.003 sec) 67s % [43/221] mod:small ................................ passed (0.000 sec) 67s % [44/221] mod:small_divneg ......................... passed (0.000 sec) 67s % [45/221] mod:small_neg ............................ passed (0.000 sec) 67s % [46/221] mod:big .................................. passed (0.000 sec) 67s % [47/221] mod:big_neg .............................. passed (0.000 sec) 67s % [48/221] mod:exhaust .............................. passed (0.000 sec) 67s % [49/221] mod:big .................................. passed (0.000 sec) 67s % [50/221] pow:rat .................................. passed (0.000 sec) 67s % [51/221] pow:rat .................................. passed (0.000 sec) 67s % [52/221] pow:rat .................................. passed (0.000 sec) 67s % [53/221] pow:2^65 ................................. passed (0.000 sec) 67s % [54/221] gcd:gcd .................................. passed (0.000 sec) 67s % [55/221] gcd:gcd .................................. passed (0.000 sec) 67s % [56/221] gcd:gcd .................................. passed (0.000 sec) 67s % [57/221] shift:shift_right_large .................. passed (0.000 sec) 67s % [58/221] shift:shift_right_large .................. passed (0.000 sec) 67s % [59/221] shift:shift_right_large .................. passed (0.000 sec) 67s % [60/221] shift:shift_right_large .................. passed (0.000 sec) 67s % [61/221] shift:shift_left_large ................... passed (0.000 sec) 67s % [62/221] errors:cyclic ............................ passed (0.000 sec) 67s % [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec) 67s % [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec) 67s % [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec) 67s % [66/221] eval:ref ................................. passed (0.000 sec) 67s % [67/221] hyperbolic:sinh .......................... passed (0.000 sec) 67s % [68/221] hyperbolic:cosh .......................... passed (0.000 sec) 67s % [69/221] hyperbolic:tanh .......................... passed (0.000 sec) 67s % [70/221] hyperbolic:asinh ......................... passed (0.000 sec) 67s % [71/221] hyperbolic:acosh ......................... passed (0.000 sec) 67s % [72/221] hyperbolic:atanh ......................... passed (0.000 sec) 67s % [73/221] bigint:add_promote1 ...................... passed (0.000 sec) 67s % [74/221] bigint:add_promote2 ...................... passed (0.000 sec) 67s % [75/221] bigint:neg_1 ............................. passed (0.000 sec) 67s % [76/221] bigint:neg_2 ............................. passed (0.000 sec) 67s % [77/221] bigint:neg_promote ....................... passed (0.000 sec) 67s % [78/221] bigint:abs_1 ............................. passed (0.000 sec) 67s % [79/221] bigint:sign_1 ............................ passed (0.000 sec) 67s % [80/221] bigint:floor_1 ........................... passed (0.000 sec) 67s % [81/221] bigint:floor_2 ........................... passed (0.000 sec) 67s % [82/221] bigint:ceil_1 ............................ passed (0.000 sec) 67s % [83/221] bigint:ceil_2 ............................ passed (0.000 sec) 67s % [84/221] bigint:msb_0 ............................. passed (0.000 sec) 67s % [85/221] bigint:msb_1 ............................. passed (0.000 sec) 67s % [86/221] bigint:msb_2 ............................. passed (0.000 sec) 67s % [87/221] bigint:lsb_0 ............................. passed (0.000 sec) 67s % [88/221] bigint:lsb_1 ............................. passed (0.000 sec) 67s % [89/221] bigint:lsb_2 ............................. passed (0.000 sec) 67s % [90/221] bigint:popcount_1 ........................ passed (0.000 sec) 67s % [91/221] bigint:popcount_2 ........................ passed (0.000 sec) 67s % [92/221] bigint:shift_1 ........................... passed (0.000 sec) 67s % [93/221] bigint:shift_2 ........................... passed (0.000 sec) 67s % [94/221] bigint:shift_3 ........................... passed (0.075 sec) 67s % [95/221] bigint:fac_1 ............................. passed (0.000 sec) 67s % [96/221] bigint:arith_1 ........................... passed (0.000 sec) 67s % [97/221] bigint:pow_1 ............................. passed (0.000 sec) 67s % [98/221] bigint:pow_2 ............................. passed (0.000 sec) 67s % [99/221] bigint:pow_3 ............................. passed (0.000 sec) 67s % [100/221] bigint:pow_4 ............................ passed (0.000 sec) 67s % [101/221] bigint:pow_5 ............................ passed (0.000 sec) 67s % [102/221] bigint:pow_6 ............................ passed (0.000 sec) 67s % [103/221] bigint:pow_7 ............................ passed (0.000 sec) 67s % [104/221] bigint:powm_1 ........................... passed (0.000 sec) 67s % [105/221] bigint:powm_2 ........................... passed (0.000 sec) 67s % [106/221] bigint:integer_1 ........................ passed (0.000 sec) 67s % [107/221] bigint:integer_2 ........................ passed (0.000 sec) 67s % [108/221] bigint:rational_1 ....................... passed (0.000 sec) 67s % [109/221] bigint:rational_2 ....................... passed (0.000 sec) 67s % [110/221] bigint:rational_3 ....................... passed (0.000 sec) 67s % [111/221] bigint:rational_4 ....................... passed (0.000 sec) 67s % [112/221] bigint:rationalize_1 .................... passed (0.000 sec) 67s % [113/221] bigint:rationalize_2 .................... passed (0.000 sec) 67s % [114/221] bigint:number_1 ......................... passed (0.000 sec) 67s % [115/221] bigint:float_1 .......................... passed (0.000 sec) 67s % [116/221] bigint:cmp_1 ............................ passed (0.000 sec) 67s % [117/221] bigint:clause_1 ......................... passed (0.000 sec) 67s % [118/221] bigint:comp_1 ........................... passed (0.001 sec) 67s % [119/221] bigint:comp_2 ........................... passed (0.000 sec) 67s % [120/221] bigint:rec_1 ............................ passed (0.001 sec) 67s % [121/221] bigint:number_codes_1 ................... passed (0.000 sec) 67s % [122/221] bigint:atom_number_1 .................... passed (0.000 sec) 67s % [123/221] bigint:hex_1 ............................ passed (0.000 sec) 67s % [124/221] bigint:fmtd_1 ........................... passed (0.000 sec) 67s % [125/221] bigint:fmtd_2 ........................... passed (0.000 sec) 67s % [126/221] bigint:fmtD_1 ........................... passed (0.000 sec) 67s % [127/221] bigint:fmtD_2 ........................... passed (0.000 sec) 67s % [128/221] bigint:fmtf_1 ........................... passed (0.001 sec) 67s % [129/221] bigint:random ........................... passed (0.000 sec) 67s % [130/221] bigint:length ........................... passed (0.000 sec) 67s % [131/221] bigint:ar_add_ui ........................ passed (0.000 sec) 67s % [132/221] bigint:bf_trig_alloc .................... passed (0.000 sec) 67s % [133/221] minint:decimal .......................... passed (0.000 sec) 67s % [134/221] minint:spaced_decimal ................... passed (0.000 sec) 67s % [135/221] minint:binary ........................... passed (0.000 sec) 67s % [136/221] minint:spaced_binary .................... passed (0.000 sec) 67s % [137/221] minint:octal ............................ passed (0.000 sec) 67s % [138/221] minint:spaced_octal ..................... passed (0.000 sec) 67s % [139/221] minint:hexadecimal ...................... passed (0.000 sec) 67s % [140/221] minint:spaced_hexadecimal ............... passed (0.000 sec) 67s % [141/221] minint_promotion:decimal ................ passed (0.000 sec) 67s % [142/221] minint_promotion:spaced_decimal ......... passed (0.000 sec) 67s % [143/221] minint_promotion:binary ................. passed (0.000 sec) 67s % [144/221] minint_promotion:spaced_binary .......... passed (0.000 sec) 67s % [145/221] minint_promotion:octal .................. passed (0.000 sec) 67s % [146/221] minint_promotion:spaced_octal ........... passed (0.000 sec) 67s % [147/221] minint_promotion:hexadecimal ............ passed (0.000 sec) 67s % [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec) 67s % [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec) 67s % [150/221] minint_promotion:addition ............... passed (0.000 sec) 67s % [151/221] minint_promotion:addition ............... passed (0.000 sec) 67s % [152/221] minint_promotion:subtraction ............ passed (0.000 sec) 67s % [153/221] minint_promotion:multiplication ......... passed (0.000 sec) 67s % [154/221] minint_promotion:multiplication ......... passed (0.000 sec) 67s % [155/221] minint_promotion:multiplication ......... passed (0.000 sec) 67s % [156/221] maxint:decimal .......................... passed (0.000 sec) 67s % [157/221] maxint:spaced_decimal ................... passed (0.000 sec) 67s % [158/221] maxint:binary ........................... passed (0.000 sec) 67s % [159/221] maxint:spaced_binary .................... passed (0.000 sec) 67s % [160/221] maxint:octal ............................ passed (0.000 sec) 67s % [161/221] maxint:spaced_octal ..................... passed (0.000 sec) 67s % [162/221] maxint:hexadecimal ...................... passed (0.000 sec) 67s % [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec) 67s % [164/221] maxint_promotion:decimal ................ passed (0.000 sec) 67s % [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec) 67s % [166/221] maxint_promotion:binary ................. passed (0.000 sec) 67s % [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec) 67s % [168/221] maxint_promotion:octal .................. passed (0.000 sec) 67s % [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec) 67s % [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec) 67s % [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec) 67s % [172/221] maxint_promotion:addition ............... passed (0.000 sec) 67s % [173/221] maxint_promotion:addition ............... passed (0.000 sec) 67s % [174/221] maxint_promotion:subtraction ............ passed (0.000 sec) 67s % [175/221] maxint_promotion:multiplication ......... passed (0.000 sec) 67s % [176/221] maxint_promotion:multiplication ......... passed (0.000 sec) 67s % [177/221] maxint_promotion:multiplication ......... passed (0.000 sec) 67s % [178/221] round:half_down ......................... passed (0.000 sec) 67s % [179/221] round:nhalf_up .......................... passed (0.000 sec) 67s % [180/221] round:maxint ............................ passed (0.000 sec) 67s % [181/221] round:minint ............................ passed (0.000 sec) 67s % [182/221] float_misc:float_1 ...................... passed (0.000 sec) 67s % [183/221] float_misc:float_2 ...................... passed (0.000 sec) 67s % [184/221] float_misc:float_3 ...................... passed (0.000 sec) 67s % [185/221] float_misc:float_4 ...................... passed (0.000 sec) 67s % [186/221] float_misc:float_5 ...................... passed (0.000 sec) 67s % [187/221] float_misc:float_6 ...................... passed (0.000 sec) 67s % [188/221] float_misc:float_7 ...................... passed (0.000 sec) 67s % [189/221] float_misc:float_8 ...................... passed (0.000 sec) 67s % [190/221] float_overflow:max ...................... passed (0.000 sec) 67s % [191/221] float_overflow:add ...................... passed (0.000 sec) 67s % [192/221] float_overflow:minus .................... passed (0.000 sec) 67s % [193/221] float_overflow:mul ...................... passed (0.000 sec) 67s % [194/221] float_overflow:div ...................... passed (0.000 sec) 67s % [195/221] float_overflow:div ...................... passed (0.000 sec) 67s % [196/221] float_zero:eq ........................... passed (0.000 sec) 67s % [197/221] float_zero:lt ........................... passed (0.000 sec) 67s % [198/221] float_zero:gt ........................... passed (0.000 sec) 67s % [199/221] float_zero:eq ........................... passed (0.000 sec) 67s % [200/221] float_zero:lt ........................... passed (0.000 sec) 67s % [201/221] float_zero:gt ........................... passed (0.000 sec) 67s % [202/221] float_zero:cmp .......................... passed (0.000 sec) 67s % [203/221] float_zero:cmp .......................... passed (0.000 sec) 67s % [204/221] float_special:cmp ....................... passed (0.000 sec) 67s % [205/221] float_compare:max_nan ................... passed (0.000 sec) 67s % [206/221] float_compare:max_nan ................... passed (0.000 sec) 67s % [207/221] float_compare:min_nan ................... passed (0.000 sec) 67s % [208/221] float_compare:min_nan ................... passed (0.000 sec) 67s % [209/221] arith_misc:string ....................... passed (0.000 sec) 67s % [210/221] arith_misc:float_rval ................... passed (0.000 sec) 67s % [211/221] arith_misc:float_rval ................... passed (0.000 sec) 67s % [212/221] max_integer_size:set .................... passed (0.000 sec) 67s % [213/221] max_integer_size:overflow ............... passed (0.000 sec) 67s % [214/221] moded_int:between_1 ..................... passed (0.000 sec) 67s % [215/221] moded_int:between_2 ..................... passed (0.000 sec) 67s % [216/221] moded_int:between_3 ..................... passed (0.000 sec) 67s % [217/221] moded_int:between_4 ..................... passed (0.000 sec) 67s % [218/221] moded_int:succ_1 ........................ passed (0.000 sec) 67s % [219/221] moded_int:succ_2 ........................ passed (0.000 sec) 67s % [220/221] moded_int:succ_3 ........................ passed (0.000 sec) 67s % [221/221] moded_int:plus_1 ........................ passed (0.000 sec) 67s . 67s % [1/4] bags:nsols .................................. passed (0.000 sec) 67s % [2/4] bags:nsols_nested ........................... passed (0.000 sec) 67s % [3/4] bags:nsols_commit ........................... passed (0.000 sec) 67s % [4/4] bags:agc .................................... passed (0.034 sec) 67s . 67s % [1/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec) 67s % [2/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec) 67s % [3/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 67s % [4/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 67s % [5/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 67s % [6/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 67s % [7/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 67s % [8/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 67s % [9/46] bips:iso_8_4_2_3_a ......................... passed (0.000 sec) 67s % [10/46] bips:iso_8_4_2_3_b ........................ passed (0.000 sec) 67s % [11/46] bips:zero_codes ........................... passed (0.000 sec) 67s % [12/46] arg:shared ................................ passed (0.000 sec) 67s % [13/46] arg:unify ................................. passed (0.000 sec) 67s % [14/46] arg:zero .................................. passed (0.000 sec) 67s % [15/46] arg:one ................................... passed (0.000 sec) 67s % [16/46] arg:two ................................... passed (0.000 sec) 67s % [17/46] arg:atom .................................. passed (0.000 sec) 67s % [18/46] arg:big ................................... passed (0.000 sec) 67s % [19/46] arg:bigneg ................................ passed (0.000 sec) 67s % [20/46] arg:arg_vf ................................ passed (0.000 sec) 67s % [21/46] eq:eq_ff .................................. passed (0.000 sec) 67s % [22/46] length:comp_len ........................... passed (0.000 sec) 67s % [23/46] length:gen_list ........................... passed (0.000 sec) 67s % [24/46] length:neg_len ............................ passed (0.000 sec) 67s % [25/46] length:gen_unbound ........................ passed (0.000 sec) 67s % [26/46] length:no_integer ......................... passed (0.000 sec) 67s % [27/46] length:no_integer ......................... passed (0.000 sec) 67s % [28/46] length:no_integer ......................... passed (0.000 sec) 67s % [29/46] length:cycle .............................. passed (0.000 sec) 67s % [30/46] length:expression ......................... passed (0.000 sec) 67s % [31/46] length:no_list ............................ passed (0.000 sec) 67s % [32/46] length:no_list ............................ passed (0.000 sec) 67s % [33/46] length:no_list ............................ passed (0.000 sec) 67s % [34/46] length:swi ................................ passed (0.000 sec) 67s % [35/46] is_most_general_term:not_callable ......... passed (0.000 sec) 67s % [36/46] is_most_general_term:atom ................. passed (0.000 sec) 67s % [37/46] is_most_general_term:instantiated ......... passed (0.000 sec) 67s % [38/46] is_most_general_term:compound ............. passed (0.000 sec) 67s % [39/46] is_most_general_term:compound ............. passed (0.000 sec) 67s % [40/46] is_most_general_term:shared ............... passed (0.000 sec) 67s % [41/46] is_most_general_term:compound ............. passed (0.000 sec) 67s % [42/46] is_most_general_term:nil .................. passed (0.000 sec) 67s % [43/46] is_most_general_term:list ................. passed (0.000 sec) 67s % [44/46] is_most_general_term:partial_list ......... passed (0.000 sec) 67s % [45/46] is_most_general_term:list ................. passed (0.000 sec) 67s % [46/46] is_most_general_term:shared ............... passed (0.000 sec) 67s . 67s % [1/9] body_index:p1 ............................... passed (0.000 sec) 67s % [2/9] body_index:p2 ............................... passed (0.000 sec) 67s % [3/9] body_index:p3 ............................... passed (0.000 sec) 67s % [4/9] body_index:p4 ............................... passed (0.000 sec) 67s % [5/9] body_index:p5 ............................... passed (0.000 sec) 67s % [6/9] body_index:p6 ............................... passed (0.000 sec) 67s % [7/9] body_index:p6 ............................... passed (0.000 sec) 67s % [8/9] body_index:p7 ............................... passed (0.000 sec) 67s % [9/9] body_index:p8 ............................... passed (0.000 sec) 67s . 67s % [1/52] call1:call ................................. passed (0.000 sec) 67s % [2/52] call1:clause ............................... passed (0.000 sec) 67s % [3/52] call1:clause ............................... passed (0.000 sec) 67s % [4/52] call1:big_clause ........................... passed (0.067 sec) 67s % [5/52] apply:error ................................ passed (0.000 sec) 67s % [6/52] callN:error ................................ passed (0.000 sec) 67s % [7/52] callN:if_then_else ......................... passed (0.000 sec) 67s % [8/52] callN:disj ................................. passed (0.000 sec) 67s % [9/52] callN:conj ................................. passed (0.000 sec) 67s % [10/52] callN:qn8 ................................. passed (0.000 sec) 67s % [11/52] callN:an8 ................................. passed (0.000 sec) 67s % [12/52] callN:qe8 ................................. passed (0.000 sec) 67s % [13/52] callN:ae8 ................................. passed (0.000 sec) 67s % [14/52] callN:max_procedure_arity ................. passed (0.000 sec) 67s % [15/52] callN:max_procedure_arity ................. passed (0.000 sec) 67s % [16/52] cross_module_call:cmc1 .................... passed (0.000 sec) 67s % [17/52] cross_module_call:cmc1 .................... passed (0.000 sec) 67s % [18/52] cross_module_call:cmc2 .................... passed (0.000 sec) 67s % [19/52] cross_module_call:cmc2 .................... passed (0.000 sec) 67s % [20/52] cross_module_call:cmc3 .................... passed (0.000 sec) 67s % [21/52] cross_module_call:cmc4 .................... passed (0.000 sec) 67s % [22/52] cross_module_call:c_cm1 ................... passed (0.000 sec) 67s % [23/52] cross_module_call:c_cm2 ................... passed (0.000 sec) 67s % [24/52] at2:context ............................... passed (0.000 sec) 67s % [25/52] at2:var ................................... passed (0.000 sec) 67s % [26/52] at2:var ................................... passed (0.000 sec) 67s % [27/52] at2:var ................................... passed (0.000 sec) 67s % [28/52] at2:var ................................... passed (0.000 sec) 67s % [29/52] at2:var ................................... passed (0.000 sec) 67s % [30/52] snip:indent ............................... passed (0.000 sec) 67s % [31/52] snip:cut .................................. passed (0.000 sec) 67s % [32/52] snip:cut2 ................................. passed (0.000 sec) 67s % [33/52] snip:cut3 ................................. passed (0.000 sec) 67s % [34/52] snip:lscut ................................ passed (0.000 sec) 67s % [35/52] no_autoload:unknown ....................... passed (0.000 sec) 67s % [36/52] setup_call_cleanup:true ................... passed (0.000 sec) 67s % [37/52] setup_call_cleanup:true_debug ............. passed (0.000 sec) 67s % [38/52] setup_call_cleanup:cut .................... passed (0.000 sec) 67s % [39/52] setup_call_cleanup:cut_debug .............. passed (0.000 sec) 67s % [40/52] setup_call_cleanup:fail ................... passed (0.000 sec) 67s % [41/52] setup_call_cleanup:fail2 .................. passed (0.000 sec) 67s % [42/52] setup_call_cleanup:fail_debug ............. passed (0.000 sec) 67s % [43/52] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec) 67s % [44/52] setup_call_cleanup:error .................. passed (0.000 sec) 67s % [45/52] setup_call_cleanup:error_debug ............ passed (0.000 sec) 67s % [46/52] setup_call_cleanup:nondet ................. passed (0.000 sec) 67s % [47/52] setup_call_cleanup:cleanup ................ passed (0.000 sec) 67s % [48/52] setup_call_cleanup:cleanup ................ passed (0.000 sec) 67s % [49/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 67s % [50/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 67s % [51/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 67s % [52/52] catch:exit_nondet ......................... passed (0.000 sec) 67s . 68s % [1/1] code_type:code_type ......................... passed (0.073 sec) 68s . 68s % [1/10] continuation:basic ......................... passed (0.000 sec) 68s % [2/10] continuation:sum ........................... passed (0.000 sec) 68s % [3/10] continuation:sum ........................... passed (0.000 sec) 68s % [4/10] continuation:sum ........................... passed (0.000 sec) 68s % [5/10] continuation:play .......................... passed (0.000 sec) 68s % [6/10] continuation:transducer .................... passed (0.000 sec) 68s % [7/10] continuation:ifthen ........................ passed (0.000 sec) 68s % [8/10] continuation:mcall2 ........................ passed (0.000 sec) 68s % [9/10] continuation:test_cref ..................... passed (0.001 sec) 68s % [10/10] continuation:context ...................... passed (0.000 sec) 68s . 68s % [1/11] copy_term:share ............................ passed (0.000 sec) 68s % [2/11] copy_term:cycle ............................ passed (0.000 sec) 68s % [3/11] copy_term_4:share .......................... passed (0.000 sec) 68s % [4/11] copy_term_4:share .......................... passed (0.000 sec) 68s % [5/11] copy_term_4:attvar ......................... passed (0.000 sec) 68s % [6/11] copy_term_4:attvar ......................... passed (0.000 sec) 68s % [7/11] copy_term_4:attvar ......................... passed (0.000 sec) 68s % [8/11] copy_term_4:attvar ......................... passed (0.000 sec) 68s % [9/11] copy_term_4:cycle .......................... passed (0.000 sec) 68s % [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec) 68s % [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec) 68s . 68s % [1/12] coroutining:frozen ......................... passed (0.000 sec) 68s % [2/12] coroutining:frozen_diff .................... passed (0.000 sec) 68s % [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec) 68s % [4/12] coroutining:when1 .......................... passed (0.001 sec) 68s % [5/12] coroutining:when2 .......................... passed (0.000 sec) 68s % [6/12] coroutining:when3 .......................... passed (0.000 sec) 68s % [7/12] coroutining:when4_inf ...................... passed (0.000 sec) 68s % [8/12] coroutining:when5_r ........................ passed (0.000 sec) 68s % [9/12] coroutining:when6 .......................... passed (0.000 sec) 68s % [10/12] coroutining:when7 ......................... passed (0.000 sec) 68s % [11/12] coroutining:when8 ......................... passed (0.000 sec) 68s % [12/12] coroutining:when8 ......................... passed (0.000 sec) 68s . 68s % [1/42] expand_goal:1 .............................. passed (0.000 sec) 68s % [2/42] expand_goal:3 .............................. passed (0.000 sec) 68s % [3/42] expand_goal:nonlin ......................... passed (0.000 sec) 68s % [4/42] expand_goal:nonlin ......................... passed (0.000 sec) 68s % [5/42] expand_goal:5 .............................. passed (0.000 sec) 68s % [6/42] expand_goal:6 .............................. passed (0.000 sec) 68s % [7/42] expand_goal:t .............................. passed (0.000 sec) 68s % [8/42] expand_goal:t .............................. passed (0.000 sec) 68s % [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec) 68s % [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 68s % [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 68s % [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) 68s % [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) 68s % [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 68s % [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec) 68s % [16/42] phrase:iso1 ............................... passed (0.000 sec) 68s % [17/42] phrase:uwn2 ............................... passed (0.000 sec) 68s % [18/42] phrase:uwn3 ............................... passed (0.000 sec) 68s % [19/42] phrase:uwn4 ............................... passed (0.000 sec) 68s % [20/42] phrase:partial_terminal ................... passed (0.000 sec) 68s % [21/42] rule_expansions:1 ......................... passed (0.000 sec) 68s % [22/42] rule_expansions:2 ......................... passed (0.000 sec) 68s % [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec) 68s % [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec) 68s % [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 68s % [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 68s % [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 68s % [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec) 68s % [29/42] steadfastness:cut1_a ...................... passed (0.000 sec) 68s % [30/42] steadfastness:cut1_b ...................... passed (0.000 sec) 68s % [31/42] steadfastness:curlycut_a .................. passed (0.000 sec) 68s % [32/42] steadfastness:curlycut_b .................. passed (0.000 sec) 68s % [33/42] steadfastness:not1_a ...................... passed (0.000 sec) 68s % [34/42] steadfastness:not1_b ...................... passed (0.000 sec) 68s % [35/42] steadfastness:not2_a ...................... passed (0.000 sec) 68s % [36/42] steadfastness:not2_b ...................... passed (0.000 sec) 68s % [37/42] context:steadfastness ..................... passed (0.000 sec) 68s % [38/42] context:generalcontext .................... passed (0.000 sec) 68s % [39/42] context:epsilonness ....................... passed (0.000 sec) 68s % [40/42] context:epsilonness ....................... passed (0.000 sec) 68s % [41/42] context:vd ................................ passed (0.000 sec) 68s % [42/42] context:forprogrammers .................... passed (0.000 sec) 68s . 68s % [1/2] prolog_frame_attribute:none ................. passed (0.000 sec) 68s % [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec) 68s . 68s % [1/22] det_decl:det ............................... passed (0.000 sec) 68s % [2/22] det_decl:cdet .............................. passed (0.000 sec) 68s % [3/22] det_decl:cdet2 ............................. passed (0.000 sec) 68s % [4/22] det_decl:nondet_1 .......................... passed (0.000 sec) 68s % [5/22] det_decl:nondet_2 .......................... passed (0.000 sec) 68s % [6/22] det_decl:nondet_3 .......................... passed (0.000 sec) 68s % [7/22] det_decl:fail_1 ............................ passed (0.000 sec) 68s % [8/22] det_decl:fail_2 ............................ passed (0.000 sec) 68s % [9/22] det_decl:fail_3 ............................ passed (0.000 sec) 68s % [10/22] det_guard:det ............................. passed (0.000 sec) 68s % [11/22] det_guard:ndet ............................ passed (0.000 sec) 68s % [12/22] det_guard:ndet ............................ passed (0.000 sec) 68s % [13/22] det_guard:fail ............................ passed (0.000 sec) 68s % [14/22] det_guard:fail ............................ passed (0.000 sec) 68s % [15/22] det_goal:det .............................. passed (0.000 sec) 68s % [16/22] det_goal:ndet ............................. passed (0.000 sec) 68s % [17/22] det_goal:ndet ............................. passed (0.000 sec) 68s % [18/22] det_goal:fail ............................. passed (0.000 sec) 68s % [19/22] det_goal:fail ............................. passed (0.000 sec) 68s % [20/22] det_goal:ndetv ............................ passed (0.000 sec) 68s % [21/22] det_goal:ndetv ............................ passed (0.000 sec) 68s % [22/22] det_goal:ndetv ............................ passed (0.000 sec) 68s . 68s % [1/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [2/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [3/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [4/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [5/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [6/80] dict_create:dict_create/3 .................. passed (0.000 sec) 68s % [7/80] dict_create:create ......................... passed (0.005 sec) 68s % [8/80] dict_create:convert ........................ passed (0.000 sec) 68s % [9/80] dict_bips:is_dict/1 ........................ passed (0.000 sec) 68s % [10/80] dict_bips:is_dict/1 ....................... passed (0.000 sec) 68s % [11/80] dict_bips:is_dict/2 ....................... passed (0.000 sec) 68s % [12/80] dict_bips:is_dict/2 ....................... passed (0.000 sec) 68s % [13/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 68s % [14/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 68s % [15/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 68s % [16/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 68s % [17/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 68s % [18/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 68s % [19/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 68s % [20/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 68s % [21/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 68s % [22/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 68s % [23/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 68s % [24/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 68s % [25/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 68s % [26/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 68s % [27/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 68s % [28/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 68s % [29/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 68s % [30/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 68s % [31/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 68s % [32/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 68s % [33/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 68s % [34/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 68s % [35/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 68s % [36/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 68s % [37/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 68s % [38/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 68s % [39/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [40/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [41/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [42/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [43/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [44/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [45/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 68s % [46/80] dict_bips::::::::