0s autopkgtest [14:25:31]: starting date and time: 2025-11-25 14:25:31+0000 0s autopkgtest [14:25:31]: git checkout: 4b346b80 nova: make wait_reboot return success even when a no-op 0s autopkgtest [14:25:31]: host juju-7f2275-prod-proposed-migration-environment-2; command line: /home/ubuntu/autopkgtest/runner/autopkgtest --output-dir /tmp/autopkgtest-work.p2epa8nn/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-s390x --security-groups autopkgtest-juju-7f2275-prod-proposed-migration-environment-2@bos03-s390x-9.secgroup --name adt-resolute-s390x-swi-prolog-20251125-142531-juju-7f2275-prod-proposed-migration-environment-2-fd8ffe36-23a7-458b-891a-56f092be8574 --image adt/ubuntu-resolute-s390x-server --keyname testbed-juju-7f2275-prod-proposed-migration-environment-2 --net-id=net_prod-proposed-migration-s390x -e TERM=linux --mirror=http://ftpmaster.internal/ubuntu/ 3s Creating nova instance adt-resolute-s390x-swi-prolog-20251125-142531-juju-7f2275-prod-proposed-migration-environment-2-fd8ffe36-23a7-458b-891a-56f092be8574 from image adt/ubuntu-resolute-s390x-server-20251125.img (UUID 71778fc2-8550-4588-a39d-8ef712f5a6c0)... 56s autopkgtest [14:26:27]: testbed dpkg architecture: s390x 56s autopkgtest [14:26:27]: testbed apt version: 3.1.12 56s autopkgtest [14:26:27]: @@@@@@@@@@@@@@@@@@@@ test bed setup 57s autopkgtest [14:26:28]: testbed release detected to be: None 57s autopkgtest [14:26:28]: updating testbed package index (apt update) 58s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease [87.8 kB] 58s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 58s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 58s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 58s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main Sources [75.7 kB] 58s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse Sources [22.4 kB] 58s Get:7 http://ftpmaster.internal/ubuntu resolute-proposed/restricted Sources [9868 B] 58s Get:8 http://ftpmaster.internal/ubuntu resolute-proposed/universe Sources [753 kB] 58s Get:9 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x Packages [79.4 kB] 58s Get:10 http://ftpmaster.internal/ubuntu resolute-proposed/restricted s390x Packages [1276 B] 58s Get:11 http://ftpmaster.internal/ubuntu resolute-proposed/universe s390x Packages [489 kB] 59s Get:12 http://ftpmaster.internal/ubuntu resolute-proposed/multiverse s390x Packages [5944 B] 59s Fetched 1524 kB in 1s (1222 kB/s) 59s Reading package lists... 60s Hit:1 http://ftpmaster.internal/ubuntu resolute-proposed InRelease 60s Hit:2 http://ftpmaster.internal/ubuntu resolute InRelease 60s Hit:3 http://ftpmaster.internal/ubuntu resolute-updates InRelease 60s Hit:4 http://ftpmaster.internal/ubuntu resolute-security InRelease 61s Reading package lists... 61s Reading package lists... 61s Building dependency tree... 61s Reading state information... 61s Calculating upgrade... 61s The following packages will be upgraded: 61s libncurses6 libncursesw6 libtinfo6 ncurses-base ncurses-bin ncurses-term 61s 6 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 61s Need to get 902 kB of archives. 61s After this operation, 64.5 kB of additional disk space will be used. 61s Get:1 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x ncurses-bin s390x 6.5+20251123-1 [200 kB] 62s Get:2 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x ncurses-base all 6.5+20251123-1 [26.2 kB] 62s Get:3 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x ncurses-term all 6.5+20251123-1 [280 kB] 62s Get:4 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libncursesw6 s390x 6.5+20251123-1 [157 kB] 62s Get:5 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libncurses6 s390x 6.5+20251123-1 [121 kB] 62s Get:6 http://ftpmaster.internal/ubuntu resolute-proposed/main s390x libtinfo6 s390x 6.5+20251123-1 [117 kB] 62s dpkg-preconfigure: unable to re-open stdin: No such file or directory 62s Fetched 902 kB in 1s (1116 kB/s) 62s (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 ... 61313 files and directories currently installed.) 62s Preparing to unpack .../ncurses-bin_6.5+20251123-1_s390x.deb ... 62s Unpacking ncurses-bin (6.5+20251123-1) over (6.5+20250216-2build1) ... 62s Setting up ncurses-bin (6.5+20251123-1) ... 62s (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 ... 61313 files and directories currently installed.) 62s Preparing to unpack .../ncurses-base_6.5+20251123-1_all.deb ... 62s Unpacking ncurses-base (6.5+20251123-1) over (6.5+20250216-2build1) ... 62s Setting up ncurses-base (6.5+20251123-1) ... 62s (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 ... 61313 files and directories currently installed.) 62s Preparing to unpack .../ncurses-term_6.5+20251123-1_all.deb ... 62s Unpacking ncurses-term (6.5+20251123-1) over (6.5+20250216-2build1) ... 63s Preparing to unpack .../libncursesw6_6.5+20251123-1_s390x.deb ... 63s Unpacking libncursesw6:s390x (6.5+20251123-1) over (6.5+20250216-2build1) ... 63s Preparing to unpack .../libncurses6_6.5+20251123-1_s390x.deb ... 63s Unpacking libncurses6:s390x (6.5+20251123-1) over (6.5+20250216-2build1) ... 63s Preparing to unpack .../libtinfo6_6.5+20251123-1_s390x.deb ... 63s Unpacking libtinfo6:s390x (6.5+20251123-1) over (6.5+20250216-2build1) ... 63s Setting up libtinfo6:s390x (6.5+20251123-1) ... 63s Setting up libncurses6:s390x (6.5+20251123-1) ... 63s Setting up libncursesw6:s390x (6.5+20251123-1) ... 63s Setting up ncurses-term (6.5+20251123-1) ... 63s Processing triggers for man-db (2.13.1-1) ... 63s Processing triggers for libc-bin (2.42-2ubuntu2) ... 64s autopkgtest [14:26:35]: upgrading testbed (apt dist-upgrade and autopurge) 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Calculating upgrade... 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 64s Reading package lists... 64s Building dependency tree... 64s Reading state information... 64s Solving dependencies... 64s 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. 67s autopkgtest [14:26:38]: testbed running kernel: Linux 6.17.0-5-generic #5-Ubuntu SMP Mon Sep 22 08:56:47 UTC 2025 67s autopkgtest [14:26:38]: @@@@@@@@@@@@@@@@@@@@ apt-source swi-prolog 77s Get:1 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (dsc) [3526 B] 77s Get:2 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (tar) [12.4 MB] 77s Get:3 http://ftpmaster.internal/ubuntu resolute/universe swi-prolog 9.2.9+dfsg-1 (diff) [34.8 kB] 78s gpgv: Signature made Sat Jan 18 19:47:01 2025 UTC 78s gpgv: using RSA key DE6BA671D57D9B009CF686505EE76EE20216D2A5 78s gpgv: Can't check signature: No public key 78s dpkg-source: warning: cannot verify inline signature for ./swi-prolog_9.2.9+dfsg-1.dsc: no acceptable signature found 78s autopkgtest [14:26:49]: testing package swi-prolog version 9.2.9+dfsg-1 79s autopkgtest [14:26:50]: build not needed 82s autopkgtest [14:26:53]: test runtests: preparing testbed 83s Reading package lists... 83s Building dependency tree... 83s Reading state information... 83s Solving dependencies... 83s The following NEW packages will be installed: 83s ca-certificates-java default-jre-headless fontconfig-config 83s fonts-dejavu-core fonts-dejavu-mono java-common libfontconfig1 libfreetype6 83s libice6 libjpeg-turbo8 libjpeg8 liblcms2-2 libltdl7 libodbc2 libossp-uuid16 83s libpcsclite1 libsm6 libxft2 libxinerama1 libxpm4 libxrender1 libxt6t64 83s openjdk-21-jre-headless swi-prolog swi-prolog-bdb swi-prolog-core 83s swi-prolog-core-packages swi-prolog-doc swi-prolog-full swi-prolog-java 83s swi-prolog-nox swi-prolog-odbc swi-prolog-test swi-prolog-x x11-common 83s 0 upgraded, 35 newly installed, 0 to remove and 0 not upgraded. 83s Need to get 55.1 MB of archives. 83s After this operation, 244 MB of additional disk space will be used. 83s Get:1 http://ftpmaster.internal/ubuntu resolute/main s390x ca-certificates-java all 20240118 [11.6 kB] 83s Get:2 http://ftpmaster.internal/ubuntu resolute/main s390x java-common all 0.76 [6852 B] 83s Get:3 http://ftpmaster.internal/ubuntu resolute/main s390x liblcms2-2 s390x 2.17-1 [176 kB] 83s Get:4 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg-turbo8 s390x 2.1.5-4ubuntu2 [147 kB] 83s Get:5 http://ftpmaster.internal/ubuntu resolute/main s390x libjpeg8 s390x 8c-2ubuntu11 [2146 B] 83s Get:6 http://ftpmaster.internal/ubuntu resolute/main s390x libpcsclite1 s390x 2.4.0-2 [24.3 kB] 83s Get:7 http://ftpmaster.internal/ubuntu resolute/main s390x openjdk-21-jre-headless s390x 21.0.9+10-1 [43.8 MB] 90s Get:8 http://ftpmaster.internal/ubuntu resolute/main s390x default-jre-headless s390x 2:1.21-76 [3182 B] 90s Get:9 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-mono all 2.37-8 [502 kB] 90s Get:10 http://ftpmaster.internal/ubuntu resolute/main s390x fonts-dejavu-core all 2.37-8 [835 kB] 91s Get:11 http://ftpmaster.internal/ubuntu resolute/main s390x fontconfig-config s390x 2.15.0-2.3ubuntu1 [38.1 kB] 91s Get:12 http://ftpmaster.internal/ubuntu resolute/main s390x libfreetype6 s390x 2.13.3+dfsg-1build1 [430 kB] 91s Get:13 http://ftpmaster.internal/ubuntu resolute/main s390x libfontconfig1 s390x 2.15.0-2.3ubuntu1 [149 kB] 91s Get:14 http://ftpmaster.internal/ubuntu resolute/main s390x x11-common all 1:7.7+24ubuntu1 [22.4 kB] 91s Get:15 http://ftpmaster.internal/ubuntu resolute/main s390x libice6 s390x 2:1.1.1-1 [45.4 kB] 91s Get:16 http://ftpmaster.internal/ubuntu resolute/main s390x libltdl7 s390x 2.5.4-7 [44.1 kB] 91s Get:17 http://ftpmaster.internal/ubuntu resolute/main s390x libodbc2 s390x 2.3.14-1 [164 kB] 91s Get:18 http://ftpmaster.internal/ubuntu resolute/universe s390x libossp-uuid16 s390x 1.6.5-1 [24.6 kB] 91s Get:19 http://ftpmaster.internal/ubuntu resolute/main s390x libsm6 s390x 2:1.2.6-1 [18.3 kB] 91s Get:20 http://ftpmaster.internal/ubuntu resolute/main s390x libxrender1 s390x 1:0.9.12-1 [20.9 kB] 91s Get:21 http://ftpmaster.internal/ubuntu resolute/main s390x libxft2 s390x 2.3.6-1build1 [49.6 kB] 91s Get:22 http://ftpmaster.internal/ubuntu resolute/main s390x libxinerama1 s390x 2:1.1.4-3build1 [6476 B] 91s Get:23 http://ftpmaster.internal/ubuntu resolute/main s390x libxpm4 s390x 1:3.5.17-1build2 [41.2 kB] 91s Get:24 http://ftpmaster.internal/ubuntu resolute/main s390x libxt6t64 s390x 1:1.2.1-1.3 [180 kB] 91s Get:25 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-core s390x 9.2.9+dfsg-1 [1567 kB] 91s Get:26 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-doc all 9.2.9+dfsg-1 [1666 kB] 92s Get:27 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-core-packages s390x 9.2.9+dfsg-1 [1509 kB] 92s Get:28 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-nox s390x 9.2.9+dfsg-1 [215 kB] 92s Get:29 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-x s390x 9.2.9+dfsg-1 [2325 kB] 93s Get:30 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog s390x 9.2.9+dfsg-1 [9128 B] 93s Get:31 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-bdb s390x 9.2.9+dfsg-1 [25.7 kB] 93s Get:32 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-java s390x 9.2.9+dfsg-1 [110 kB] 93s Get:33 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-odbc s390x 9.2.9+dfsg-1 [123 kB] 93s Get:34 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-full s390x 9.2.9+dfsg-1 [7872 B] 93s Get:35 http://ftpmaster.internal/ubuntu resolute/universe s390x swi-prolog-test all 9.2.9+dfsg-1 [767 kB] 94s Fetched 55.1 MB in 11s (5079 kB/s) 94s Selecting previously unselected package ca-certificates-java. 94s (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 ... 61332 files and directories currently installed.) 94s Preparing to unpack .../00-ca-certificates-java_20240118_all.deb ... 94s Unpacking ca-certificates-java (20240118) ... 94s Selecting previously unselected package java-common. 94s Preparing to unpack .../01-java-common_0.76_all.deb ... 94s Unpacking java-common (0.76) ... 94s Selecting previously unselected package liblcms2-2:s390x. 94s Preparing to unpack .../02-liblcms2-2_2.17-1_s390x.deb ... 94s Unpacking liblcms2-2:s390x (2.17-1) ... 94s Selecting previously unselected package libjpeg-turbo8:s390x. 94s Preparing to unpack .../03-libjpeg-turbo8_2.1.5-4ubuntu2_s390x.deb ... 94s Unpacking libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 94s Selecting previously unselected package libjpeg8:s390x. 94s Preparing to unpack .../04-libjpeg8_8c-2ubuntu11_s390x.deb ... 94s Unpacking libjpeg8:s390x (8c-2ubuntu11) ... 94s Selecting previously unselected package libpcsclite1:s390x. 94s Preparing to unpack .../05-libpcsclite1_2.4.0-2_s390x.deb ... 94s Unpacking libpcsclite1:s390x (2.4.0-2) ... 94s Selecting previously unselected package openjdk-21-jre-headless:s390x. 94s Preparing to unpack .../06-openjdk-21-jre-headless_21.0.9+10-1_s390x.deb ... 94s Unpacking openjdk-21-jre-headless:s390x (21.0.9+10-1) ... 95s Selecting previously unselected package default-jre-headless. 95s Preparing to unpack .../07-default-jre-headless_2%3a1.21-76_s390x.deb ... 95s Unpacking default-jre-headless (2:1.21-76) ... 95s Selecting previously unselected package fonts-dejavu-mono. 95s Preparing to unpack .../08-fonts-dejavu-mono_2.37-8_all.deb ... 95s Unpacking fonts-dejavu-mono (2.37-8) ... 95s Selecting previously unselected package fonts-dejavu-core. 95s Preparing to unpack .../09-fonts-dejavu-core_2.37-8_all.deb ... 95s Unpacking fonts-dejavu-core (2.37-8) ... 95s Selecting previously unselected package fontconfig-config. 95s Preparing to unpack .../10-fontconfig-config_2.15.0-2.3ubuntu1_s390x.deb ... 95s Unpacking fontconfig-config (2.15.0-2.3ubuntu1) ... 95s Selecting previously unselected package libfreetype6:s390x. 95s Preparing to unpack .../11-libfreetype6_2.13.3+dfsg-1build1_s390x.deb ... 95s Unpacking libfreetype6:s390x (2.13.3+dfsg-1build1) ... 95s Selecting previously unselected package libfontconfig1:s390x. 95s Preparing to unpack .../12-libfontconfig1_2.15.0-2.3ubuntu1_s390x.deb ... 95s Unpacking libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 95s Selecting previously unselected package x11-common. 95s Preparing to unpack .../13-x11-common_1%3a7.7+24ubuntu1_all.deb ... 95s Unpacking x11-common (1:7.7+24ubuntu1) ... 95s Selecting previously unselected package libice6:s390x. 95s Preparing to unpack .../14-libice6_2%3a1.1.1-1_s390x.deb ... 95s Unpacking libice6:s390x (2:1.1.1-1) ... 95s Selecting previously unselected package libltdl7:s390x. 95s Preparing to unpack .../15-libltdl7_2.5.4-7_s390x.deb ... 95s Unpacking libltdl7:s390x (2.5.4-7) ... 95s Selecting previously unselected package libodbc2:s390x. 95s Preparing to unpack .../16-libodbc2_2.3.14-1_s390x.deb ... 95s Unpacking libodbc2:s390x (2.3.14-1) ... 95s Selecting previously unselected package libossp-uuid16:s390x. 95s Preparing to unpack .../17-libossp-uuid16_1.6.5-1_s390x.deb ... 95s Unpacking libossp-uuid16:s390x (1.6.5-1) ... 95s Selecting previously unselected package libsm6:s390x. 95s Preparing to unpack .../18-libsm6_2%3a1.2.6-1_s390x.deb ... 95s Unpacking libsm6:s390x (2:1.2.6-1) ... 95s Selecting previously unselected package libxrender1:s390x. 95s Preparing to unpack .../19-libxrender1_1%3a0.9.12-1_s390x.deb ... 95s Unpacking libxrender1:s390x (1:0.9.12-1) ... 95s Selecting previously unselected package libxft2:s390x. 95s Preparing to unpack .../20-libxft2_2.3.6-1build1_s390x.deb ... 95s Unpacking libxft2:s390x (2.3.6-1build1) ... 95s Selecting previously unselected package libxinerama1:s390x. 95s Preparing to unpack .../21-libxinerama1_2%3a1.1.4-3build1_s390x.deb ... 95s Unpacking libxinerama1:s390x (2:1.1.4-3build1) ... 95s Selecting previously unselected package libxpm4:s390x. 95s Preparing to unpack .../22-libxpm4_1%3a3.5.17-1build2_s390x.deb ... 95s Unpacking libxpm4:s390x (1:3.5.17-1build2) ... 95s Selecting previously unselected package libxt6t64:s390x. 95s Preparing to unpack .../23-libxt6t64_1%3a1.2.1-1.3_s390x.deb ... 95s Unpacking libxt6t64:s390x (1:1.2.1-1.3) ... 95s Selecting previously unselected package swi-prolog-core. 95s Preparing to unpack .../24-swi-prolog-core_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-core (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-doc. 95s Preparing to unpack .../25-swi-prolog-doc_9.2.9+dfsg-1_all.deb ... 95s Unpacking swi-prolog-doc (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-core-packages. 95s Preparing to unpack .../26-swi-prolog-core-packages_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-core-packages (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-nox. 95s Preparing to unpack .../27-swi-prolog-nox_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-nox (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-x. 95s Preparing to unpack .../28-swi-prolog-x_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-x (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog. 95s Preparing to unpack .../29-swi-prolog_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-bdb. 95s Preparing to unpack .../30-swi-prolog-bdb_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-bdb (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-java. 95s Preparing to unpack .../31-swi-prolog-java_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-java (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-odbc. 95s Preparing to unpack .../32-swi-prolog-odbc_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-odbc (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-full. 95s Preparing to unpack .../33-swi-prolog-full_9.2.9+dfsg-1_s390x.deb ... 95s Unpacking swi-prolog-full (9.2.9+dfsg-1) ... 95s Selecting previously unselected package swi-prolog-test. 95s Preparing to unpack .../34-swi-prolog-test_9.2.9+dfsg-1_all.deb ... 95s Unpacking swi-prolog-test (9.2.9+dfsg-1) ... 95s Setting up liblcms2-2:s390x (2.17-1) ... 95s Setting up libxpm4:s390x (1:3.5.17-1build2) ... 95s Setting up java-common (0.76) ... 95s Setting up libxrender1:s390x (1:0.9.12-1) ... 95s Setting up x11-common (1:7.7+24ubuntu1) ... 96s Setting up libossp-uuid16:s390x (1.6.5-1) ... 96s Setting up libfreetype6:s390x (2.13.3+dfsg-1build1) ... 96s Setting up libxinerama1:s390x (2:1.1.4-3build1) ... 96s Setting up fonts-dejavu-mono (2.37-8) ... 96s Setting up swi-prolog-core (9.2.9+dfsg-1) ... 96s update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode 96s Setting up fonts-dejavu-core (2.37-8) ... 96s Setting up libpcsclite1:s390x (2.4.0-2) ... 96s Setting up libjpeg-turbo8:s390x (2.1.5-4ubuntu2) ... 96s Setting up libltdl7:s390x (2.5.4-7) ... 96s Setting up libodbc2:s390x (2.3.14-1) ... 96s Setting up swi-prolog-core-packages (9.2.9+dfsg-1) ... 96s Setting up swi-prolog-nox (9.2.9+dfsg-1) ... 96s Setting up ca-certificates-java (20240118) ... 96s No JRE found. Skipping Java certificates setup. 96s Setting up libjpeg8:s390x (8c-2ubuntu11) ... 96s Setting up libice6:s390x (2:1.1.1-1) ... 96s Setting up swi-prolog-bdb (9.2.9+dfsg-1) ... 96s Setting up openjdk-21-jre-headless:s390x (21.0.9+10-1) ... 96s update-alternatives: using /usr/lib/jvm/java-21-openjdk-s390x/bin/java to provide /usr/bin/java (java) in auto mode 96s update-alternatives: using /usr/lib/jvm/java-21-openjdk-s390x/bin/jpackage to provide /usr/bin/jpackage (jpackage) in auto mode 96s update-alternatives: using /usr/lib/jvm/java-21-openjdk-s390x/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode 96s update-alternatives: using /usr/lib/jvm/java-21-openjdk-s390x/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode 96s update-alternatives: using /usr/lib/jvm/java-21-openjdk-s390x/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode 96s Setting up fontconfig-config (2.15.0-2.3ubuntu1) ... 96s Setting up swi-prolog-doc (9.2.9+dfsg-1) ... 96s Setting up swi-prolog-test (9.2.9+dfsg-1) ... 96s Setting up swi-prolog-odbc (9.2.9+dfsg-1) ... 97s Setting up libfontconfig1:s390x (2.15.0-2.3ubuntu1) ... 97s Setting up libsm6:s390x (2:1.2.6-1) ... 97s Setting up libxft2:s390x (2.3.6-1build1) ... 97s Setting up libxt6t64:s390x (1:1.2.1-1.3) ... 97s Setting up swi-prolog-x (9.2.9+dfsg-1) ... 97s Setting up swi-prolog (9.2.9+dfsg-1) ... 97s Processing triggers for libc-bin (2.42-2ubuntu2) ... 97s Processing triggers for man-db (2.13.1-1) ... 97s Processing triggers for ca-certificates-java (20240118) ... 98s Adding debian:ACCVRAIZ1.pem 98s Adding debian:AC_RAIZ_FNMT-RCM.pem 98s Adding debian:AC_RAIZ_FNMT-RCM_SERVIDORES_SEGUROS.pem 98s Adding debian:ANF_Secure_Server_Root_CA.pem 98s Adding debian:Actalis_Authentication_Root_CA.pem 98s Adding debian:AffirmTrust_Commercial.pem 98s Adding debian:AffirmTrust_Networking.pem 98s Adding debian:AffirmTrust_Premium.pem 98s Adding debian:AffirmTrust_Premium_ECC.pem 98s Adding debian:Amazon_Root_CA_1.pem 98s Adding debian:Amazon_Root_CA_2.pem 98s Adding debian:Amazon_Root_CA_3.pem 98s Adding debian:Amazon_Root_CA_4.pem 98s Adding debian:Atos_TrustedRoot_2011.pem 98s Adding debian:Atos_TrustedRoot_Root_CA_ECC_TLS_2021.pem 98s Adding debian:Atos_TrustedRoot_Root_CA_RSA_TLS_2021.pem 98s Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem 98s Adding debian:BJCA_Global_Root_CA1.pem 98s Adding debian:BJCA_Global_Root_CA2.pem 98s Adding debian:Baltimore_CyberTrust_Root.pem 98s Adding debian:Buypass_Class_2_Root_CA.pem 98s Adding debian:Buypass_Class_3_Root_CA.pem 98s Adding debian:CA_Disig_Root_R2.pem 98s Adding debian:CFCA_EV_ROOT.pem 98s Adding debian:COMODO_Certification_Authority.pem 98s Adding debian:COMODO_ECC_Certification_Authority.pem 98s Adding debian:COMODO_RSA_Certification_Authority.pem 98s Adding debian:Certainly_Root_E1.pem 98s Adding debian:Certainly_Root_R1.pem 98s Adding debian:Certigna.pem 98s Adding debian:Certigna_Root_CA.pem 98s Adding debian:Certum_EC-384_CA.pem 98s Adding debian:Certum_Trusted_Network_CA.pem 98s Adding debian:Certum_Trusted_Network_CA_2.pem 98s Adding debian:Certum_Trusted_Root_CA.pem 98s Adding debian:CommScope_Public_Trust_ECC_Root-01.pem 98s Adding debian:CommScope_Public_Trust_ECC_Root-02.pem 98s Adding debian:CommScope_Public_Trust_RSA_Root-01.pem 98s Adding debian:CommScope_Public_Trust_RSA_Root-02.pem 98s Adding debian:Comodo_AAA_Services_root.pem 98s Adding debian:D-TRUST_BR_Root_CA_1_2020.pem 98s Adding debian:D-TRUST_BR_Root_CA_2_2023.pem 98s Adding debian:D-TRUST_EV_Root_CA_1_2020.pem 98s Adding debian:D-TRUST_EV_Root_CA_2_2023.pem 98s Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem 98s Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem 98s Adding debian:DigiCert_Assured_ID_Root_CA.pem 98s Adding debian:DigiCert_Assured_ID_Root_G2.pem 98s Adding debian:DigiCert_Assured_ID_Root_G3.pem 98s Adding debian:DigiCert_Global_Root_CA.pem 98s Adding debian:DigiCert_Global_Root_G2.pem 98s Adding debian:DigiCert_Global_Root_G3.pem 98s Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem 98s Adding debian:DigiCert_TLS_ECC_P384_Root_G5.pem 98s Adding debian:DigiCert_TLS_RSA4096_Root_G5.pem 98s Adding debian:DigiCert_Trusted_Root_G4.pem 98s Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem 98s Adding debian:Entrust_Root_Certification_Authority.pem 98s Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem 98s Adding debian:Entrust_Root_Certification_Authority_-_G2.pem 98s Adding debian:FIRMAPROFESIONAL_CA_ROOT-A_WEB.pem 98s Adding debian:GDCA_TrustAUTH_R5_ROOT.pem 98s Adding debian:GLOBALTRUST_2020.pem 98s Adding debian:GTS_Root_R1.pem 98s Adding debian:GTS_Root_R2.pem 98s Adding debian:GTS_Root_R3.pem 98s Adding debian:GTS_Root_R4.pem 98s Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem 98s Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem 98s Adding debian:GlobalSign_Root_CA.pem 98s Adding debian:GlobalSign_Root_CA_-_R3.pem 98s Adding debian:GlobalSign_Root_CA_-_R6.pem 98s Adding debian:GlobalSign_Root_E46.pem 98s Adding debian:GlobalSign_Root_R46.pem 98s Adding debian:Go_Daddy_Class_2_CA.pem 98s Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem 98s Adding debian:HARICA_TLS_ECC_Root_CA_2021.pem 98s Adding debian:HARICA_TLS_RSA_Root_CA_2021.pem 98s Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem 98s Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem 98s Adding debian:HiPKI_Root_CA_-_G1.pem 98s Adding debian:Hongkong_Post_Root_CA_3.pem 98s Adding debian:ISRG_Root_X1.pem 98s Adding debian:ISRG_Root_X2.pem 98s Adding debian:IdenTrust_Commercial_Root_CA_1.pem 98s Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem 98s Adding debian:Izenpe.com.pem 98s Adding debian:Microsec_e-Szigno_Root_CA_2009.pem 98s Adding debian:Microsoft_ECC_Root_Certificate_Authority_2017.pem 98s Adding debian:Microsoft_RSA_Root_Certificate_Authority_2017.pem 98s Adding debian:NAVER_Global_Root_Certification_Authority.pem 98s Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem 98s Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem 98s Adding debian:OISTE_WISeKey_Global_Root_GC_CA.pem 98s Adding debian:QuoVadis_Root_CA_1_G3.pem 98s Adding debian:QuoVadis_Root_CA_2.pem 98s Adding debian:QuoVadis_Root_CA_2_G3.pem 98s Adding debian:QuoVadis_Root_CA_3.pem 98s Adding debian:QuoVadis_Root_CA_3_G3.pem 98s Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem 98s Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem 98s Adding debian:SSL.com_Root_Certification_Authority_ECC.pem 98s Adding debian:SSL.com_Root_Certification_Authority_RSA.pem 98s Adding debian:SSL.com_TLS_ECC_Root_CA_2022.pem 98s Adding debian:SSL.com_TLS_RSA_Root_CA_2022.pem 98s Adding debian:SZAFIR_ROOT_CA2.pem 98s Adding debian:Sectigo_Public_Server_Authentication_Root_E46.pem 98s Adding debian:Sectigo_Public_Server_Authentication_Root_R46.pem 98s Adding debian:SecureSign_Root_CA12.pem 98s Adding debian:SecureSign_Root_CA14.pem 98s Adding debian:SecureSign_Root_CA15.pem 98s Adding debian:SecureTrust_CA.pem 98s Adding debian:Secure_Global_CA.pem 98s Adding debian:Security_Communication_ECC_RootCA1.pem 98s Adding debian:Security_Communication_RootCA2.pem 98s Adding debian:Starfield_Class_2_CA.pem 98s Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem 98s Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem 98s Adding debian:SwissSign_Gold_CA_-_G2.pem 98s Adding debian:T-TeleSec_GlobalRoot_Class_2.pem 98s Adding debian:T-TeleSec_GlobalRoot_Class_3.pem 98s Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem 98s Adding debian:TWCA_CYBER_Root_CA.pem 98s Adding debian:TWCA_Global_Root_CA.pem 98s Adding debian:TWCA_Root_Certification_Authority.pem 98s Adding debian:Telekom_Security_TLS_ECC_Root_2020.pem 98s Adding debian:Telekom_Security_TLS_RSA_Root_2023.pem 98s Adding debian:TeliaSonera_Root_CA_v1.pem 98s Adding debian:Telia_Root_CA_v2.pem 98s Adding debian:TrustAsia_Global_Root_CA_G3.pem 98s Adding debian:TrustAsia_Global_Root_CA_G4.pem 98s Adding debian:Trustwave_Global_Certification_Authority.pem 98s Adding debian:Trustwave_Global_ECC_P256_Certification_Authority.pem 98s Adding debian:Trustwave_Global_ECC_P384_Certification_Authority.pem 98s Adding debian:TunTrust_Root_CA.pem 98s Adding debian:UCA_Extended_Validation_Root.pem 98s Adding debian:UCA_Global_G2_Root.pem 98s Adding debian:USERTrust_ECC_Certification_Authority.pem 98s Adding debian:USERTrust_RSA_Certification_Authority.pem 98s Adding debian:XRamp_Global_CA_Root.pem 98s Adding debian:certSIGN_ROOT_CA.pem 98s Adding debian:certSIGN_Root_CA_G2.pem 98s Adding debian:e-Szigno_Root_CA_2017.pem 98s Adding debian:ePKI_Root_Certification_Authority.pem 98s Adding debian:emSign_ECC_Root_CA_-_C3.pem 98s Adding debian:emSign_ECC_Root_CA_-_G3.pem 98s Adding debian:emSign_Root_CA_-_C1.pem 98s Adding debian:emSign_Root_CA_-_G1.pem 98s Adding debian:vTrus_ECC_Root_CA.pem 98s Adding debian:vTrus_Root_CA.pem 98s done. 98s Setting up default-jre-headless (2:1.21-76) ... 98s Setting up swi-prolog-java (9.2.9+dfsg-1) ... 98s Setting up swi-prolog-full (9.2.9+dfsg-1) ... 101s autopkgtest [14:27:11]: test runtests: [----------------------- 101s % Checking your SWI-Prolog kit for common issues ... 101s % 101s % Version: ............. 9.2.9 101s % Address bits: ........ 64 101s % Architecture: ........ s390x-linux 101s % Installed at: ........ /usr/lib/swi-prolog 101s % Cores: ............... 2 101s % 101s % Checking tcmalloc ............................ not present 101s Warning: See http://www.swi-prolog.org/build/issues/tcmalloc.html 101s % Checking gmp ................................. ok 101s % Loading library(archive) ..................... ok 101s % Supported filters: bzip2, compress, gzip, grzip, lrzip, lzip, lzma, lzop, none, rpm, uu, xz 101s % Supported formats: 7zip, ar, cab, cpio, empty, gnutar, iso9660, lha, mtree, rar, raw, tar, xar, zip 101s % Loading library(cgi) ......................... ok 101s % Loading library(crypt) ....................... ok 101s % Loading library(bdb) ......................... ok 101s % Loading library(double_metaphone) ............ ok 101s % Loading library(editline) .................... ok 101s % Loading library(filesex) ..................... ok 101s % Loading library(http/http_stream) ............ ok 101s % Loading library(http/json) ................... ok 101s % Loading library(http/jquery) ................. ok 101s Warning: Cannot find jQuery (jquery.min.js) 101s % Loading library(isub) ........................ ok 101s % Loading library(janus) ....................... ok 101s % Python version 3.13.9 (main, Oct 15 2025, 14:56:22) [GCC 15.2.0] 101s % Loading library(jpl) ......................... ok 101s % Loading library(memfile) ..................... ok 101s % Loading library(odbc) ........................ ok 101s % Loading library(pce) ......................... ok 101s % Loading library(pcre) ........................ ok 101s % Loading library(pdt_console) ................. ok 101s % Loading library(porter_stem) ................. ok 101s % Loading library(process) ..................... ok 101s % Loading library(protobufs) ................... ok 101s % Loading library(readline) .................... ok 101s % Loading library(readutil) .................... ok 101s % Loading library(rlimit) ...................... ok 101s % Loading library(semweb/rdf_db) ............... ok 101s % Loading library(semweb/rdf_ntriples) ......... ok 101s % Loading library(semweb/turtle) ............... ok 101s % Loading library(sgml) ........................ ok 101s % Loading library(sha) ......................... ok 101s % Loading library(snowball) .................... ok 101s % Loading library(socket) ...................... ok 101s % Loading library(ssl) ......................... ok 101s % Loading library(sweep_link) .................. ok 101s % GNU-Emacs plugin loads 101s % L /usr/lib/s390x-linux-gnu/libswipl.so.9 101s % M /usr/lib/swi-prolog/lib/s390x-linux/sweep-module.so 101s % Loading library(crypto) ...................... ok 101s % Loading library(syslog) ...................... ok 101s % Loading library(table) ....................... ok 101s % Loading library(time) ........................ ok 101s % Loading library(tipc/tipc) ................... ok 101s % Loading library(unicode) ..................... ok 101s % Loading library(uri) ......................... ok 101s % Loading library(uuid) ........................ ok 101s % Loading library(yaml) ........................ ok 101s % Loading library(zlib) ........................ ok 101s Warning: Found 1 issues. 101s % SWI-Prolog test suite. 101s % To run all tests run ?- test. 101s % 101s Running test set "arithmetic_functions" done. 101s Running test set "chars" .. done. 101s Running test set "wchars" .. done. 101s Running test set "depth_limit" ..... done. 101s Running test set "type_test" .... done. 101s Running test set "meta" ............... done. 101s Running test set "avar" .......................... done. 101s Running test set "gvar" ..... done. 101s Running test set "copy_term" .............. done. 101s Running test set "term_hash" ........ done. 101s Running test set "cyclic" done. 101s Running test set "cleanup" ............. done. 101s Running test set "term" ........... done. 101s Running test set "list" ........... done. 101s Running test set "sets" ......... done. 101s Running test set "atom_handling" ........................ done. 101s Running test set "string_handling" ..... done. 101s Running test set "proc" ........ done. 101s Running test set "cl" ........... done. 101s Running test set "record" ....... done. 101s Running test set "compiler" ....... done. 102s Running test set "flag" . done. 102s Running test set "update" ... done. 102s Running test set "gc" ........ done. 102s Running test set "control" ......... done. 102s Running test set "exception" ...... done. 102s Running test set "term_atom" .. done. 102s Running test set "os" .. done. 102s Running test set "io" .. done. 102s Running test set "timeout" done. 102s Running test set "file" ............. done. 102s Running test set "unicode_file" .... done. 102s Running test set "seek" . done. 102s Running test set "load_program" . done. 102s Running test set "ctype" ...... done. 102s Running test set "wctype" . done. 102s Running test set "thread" ....... done. 102s Running test set "mutex" ... done. 102s Running scripts from unprotected 102s % [1/21] reconsult:simple ........................... passed (0.002 sec) 102s % [2/21] reconsult:add_clause ....................... passed (0.000 sec) 102s % [3/21] reconsult:del_clause ....................... passed (0.000 sec) 102s % [4/21] reconsult:del_clause_a ..................... passed (0.000 sec) 102s % [5/21] reconsult:del_clause_z ..................... passed (0.000 sec) 102s % [6/21] reconsult:replace_clause ................... passed (0.000 sec) 102s % [7/21] reconsult:add_pred ......................... passed (0.000 sec) 102s % [8/21] reconsult:del_pred ......................... passed (0.000 sec) 102s % [9/21] reconsult:add_attr_end ..................... passed (0.000 sec) 102s % [10/21] reconsult:del_attr_end .................... passed (0.000 sec) 102s % [11/21] reconsult:del_dynamic ..................... passed (0.000 sec) 102s % [12/21] reconsult:del_det ......................... passed (0.000 sec) 102s % [13/21] reconsult:add_thread_local ................ passed (0.000 sec) 102s % [14/21] reconsult:del_discontiguous ............... passed (0.000 sec) 102s % [15/21] reconsult:add_meta_predicate .............. passed (0.000 sec) 102s % [16/21] reconsult:del_meta_predicate .............. passed (0.000 sec) 102s % [17/21] reconsult:del_export ...................... passed (0.000 sec) 102s % [18/21] reconsult:reload_maplist .................. passed (0.006 sec) 102s % [19/21] reconsult:mod_dynamic ..................... passed (0.001 sec) 102s % [20/21] reconsult:goal_expansion .................. passed (0.002 sec) 102s % [21/21] reconsult:keep_tabling .................... passed (0.002 sec) 102s . 102s % [1/15] sandbox:cleanup ............................ passed (0.000 sec) 102s % [2/15] sandbox:time ............................... passed (0.000 sec) 102s % [3/15] sandbox:setof .............................. passed (0.000 sec) 102s % [4/15] sandbox:phrase ............................. passed (0.000 sec) 102s % [5/15] sandbox:apply .............................. passed (0.000 sec) 102s % [6/15] sandbox:aggregate .......................... passed (0.000 sec) 102s % [7/15] sandbox:aggregate .......................... passed (0.000 sec) 102s % [8/15] sandbox:dcg ................................ passed (0.000 sec) 102s % [9/15] sandbox:contexr ............................ passed (0.000 sec) 102s % [10/15] sandbox:assert ............................ passed (0.000 sec) 102s % [11/15] sandbox:assert ............................ passed (0.000 sec) 102s % [12/15] sandbox:predicate_property ................ passed (0.000 sec) 102s % [13/15] sandbox:predicate_property ................ passed (0.000 sec) 102s % [14/15] sandbox:flag .............................. passed (0.000 sec) 102s % [15/15] sandbox:flag .............................. passed (0.000 sec) 102s . done 102s Running scripts from core 102s % [1/52] acyclic_terms:var_is_acyclic ............... passed (0.000 sec) 102s % [2/52] acyclic_terms:atom_is_acyclic .............. passed (0.000 sec) 102s % [3/52] acyclic_terms:term_is_acyclic .............. passed (0.000 sec) 102s % [4/52] acyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) 102s % [5/52] acyclic_terms:sib..g_leaves_is_acyclic ..... passed (0.000 sec) 102s % [6/52] acyclic_terms:sub..and_leaf_is_acyclic ..... passed (0.000 sec) 102s % [7/52] acyclic_terms:lea.._subterm_is_acyclic ..... passed (0.000 sec) 102s % [8/52] acyclic_terms:sib..ub_terms_is_acyclic ..... passed (0.000 sec) 102s % [9/52] acyclic_terms:mul..ub_terms_is_acyclic ..... passed (0.000 sec) 102s % [10/52] acyclic_terms:mul..ub_terms_is_acyclic .... passed (0.000 sec) 102s % [11/52] acyclic_terms:shared_term_is_acyclic_1 .... passed (0.000 sec) 102s % [12/52] acyclic_terms:shared_term_is_acyclic_2 .... passed (0.000 sec) 102s % [13/52] acyclic_terms:shared_term_is_acyclic_3 .... passed (0.000 sec) 102s % [14/52] acyclic_terms:shared_term_is_acyclic_4 .... passed (0.000 sec) 102s % [15/52] acyclic_terms:zer..ity_term_is_acyclic .... passed (0.000 sec) 102s % [16/52] acyclic_terms:zer..sub_term_is_acyclic .... passed (0.000 sec) 102s % [17/52] acyclic_terms:zer..red_term_is_acyclic .... passed (0.000 sec) 102s % [18/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.000 sec) 102s % [19/52] acyclic_terms:dee..eft_term_is_acyclic .... passed (0.000 sec) 102s % [20/52] acyclic_terms:dee..ght_term_is_acyclic .... passed (0.000 sec) 102s % [21/52] acyclic_terms:dee..ted_term_is_acyclic .... passed (0.002 sec) 102s % [22/52] acyclic_terms:wid..ted_term_is_acyclic .... passed (0.018 sec) 102s % [23/52] acyclic_terms:list_is_acyclic ............. passed (0.000 sec) 102s % [24/52] acyclic_terms:empty_list_is_acyclic ....... passed (0.000 sec) 102s % [25/52] acyclic_terms:long_list_is_acyclic_1 ...... passed (0.014 sec) 102s % [26/52] acyclic_terms:long_list_is_acyclic_2 ...... passed (0.012 sec) 102s % [27/52] acyclic_terms:long_list_is_acyclic_3 ...... passed (0.012 sec) 102s % [28/52] cyclic_terms:term_is_cyclic ............... passed (0.000 sec) 102s % [29/52] cyclic_terms:sub_term_is_acyclic .......... passed (0.000 sec) 102s % [30/52] cyclic_terms:sub_.._and_leaf_is_cyclic .... passed (0.000 sec) 102s % [31/52] cyclic_terms:leaf..d_subterm_is_cyclic .... passed (0.000 sec) 102s % [32/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) 102s % [33/52] cyclic_terms:mult..sub_terms_is_cyclic .... passed (0.000 sec) 102s % [34/52] cyclic_terms:deep..sted_term_is_cyclic .... passed (0.000 sec) 102s % [35/52] cyclic_terms:deep..left_term_is_cyclic .... passed (0.000 sec) 102s % [36/52] cyclic_terms:deep..ight_term_is_cyclic .... passed (0.000 sec) 102s % [37/52] cyclic_terms:deep..ed_term_is_cyclic_1 .... passed (0.002 sec) 102s % [38/52] cyclic_terms:deep..ed_term_is_cyclic_2 .... passed (0.002 sec) 102s % [39/52] cyclic_terms:wide..ed_term_is_cyclic_1 .... passed (0.017 sec) 102s % [40/52] cyclic_terms:wide..ed_term_is_cyclic_2 .... passed (0.018 sec) 102s % [41/52] cyclic_terms:list_is_cyclic ............... passed (0.000 sec) 102s % [42/52] cyclic_terms:long_list_is_cyclic .......... passed (0.006 sec) 102s % [43/52] cyclic_misc:term_hash_1 ................... passed (0.000 sec) 102s % [44/52] cyclic_misc:streq_1 ....................... passed (0.000 sec) 102s % [45/52] cyclic_misc:test_1 ........................ passed (0.000 sec) 102s % [46/52] cyclic_misc:test_2 ........................ passed (0.000 sec) 102s % [47/52] cyclic_misc:test_3 ........................ passed (0.000 sec) 102s % [48/52] cyclic_misc:test_4 ........................ passed (0.000 sec) 102s % [49/52] cyclic_misc:test_5 ........................ passed (0.000 sec) 102s % [50/52] cyclic_misc:test_6 ........................ passed (0.000 sec) 102s % [51/52] cyclic_misc:list_1 ........................ passed (0.000 sec) 102s % [52/52] cyclic_misc:sort_1 ........................ passed (0.000 sec) 102s . 102s % [1/14] answer:simple .............................. passed (0.001 sec) 102s % [2/14] answer:simple .............................. passed (0.000 sec) 102s % [3/14] answer:separated ........................... passed (0.000 sec) 102s % [4/14] answer:same ................................ passed (0.000 sec) 102s % [5/14] answer:same ................................ passed (0.000 sec) 102s % [6/14] answer:cycle ............................... passed (0.000 sec) 102s % [7/14] answer:cycle ............................... passed (0.000 sec) 102s % [8/14] answer:double_cycle ........................ passed (0.000 sec) 102s % [9/14] answer:freeze .............................. passed (0.000 sec) 102s % [10/14] answer:hidden1 ............................ passed (0.000 sec) 102s % [11/14] answer:hidden2 ............................ passed (0.000 sec) 102s % [12/14] answer:hidden3 ............................ passed (0.000 sec) 102s % [13/14] answer:name_var ........................... passed (0.000 sec) 102s % [14/14] answer:name_var ........................... passed (0.000 sec) 102s . 102s % [1/221] arith_basics:arith_1 ...................... passed (0.000 sec) 102s % [2/221] arith_basics:arith_2 ...................... passed (0.000 sec) 102s % [3/221] arith_basics:arith_3 ...................... passed (0.000 sec) 102s % [4/221] arith_basics:arith_4 ...................... passed (0.000 sec) 102s % [5/221] arith_basics:arith_5 ...................... passed (0.000 sec) 102s % [6/221] arith_basics:arith_6 ...................... passed (0.000 sec) 102s % [7/221] arith_basics:arith_7 ...................... passed (0.000 sec) 102s % [8/221] arith_basics:arith_8 ...................... passed (0.000 sec) 102s % [9/221] arith_basics:arith_9 ...................... passed (0.000 sec) 102s % [10/221] arith_basics:arith_10 .................... passed (0.000 sec) 102s % [11/221] arith_basics:float_fractional_part_1 ..... passed (0.000 sec) 102s % [12/221] arith_basics:arith_11 .................... passed (0.000 sec) 102s % [13/221] arith_basics:arith_12 .................... passed (0.000 sec) 102s % [14/221] arith_basics:arith_13 .................... passed (0.000 sec) 102s % [15/221] arith_basics:sign_1 ...................... passed (0.000 sec) 102s % [16/221] arith_basics:sign_2 ...................... passed (0.000 sec) 102s % [17/221] arith_basics:sign_3 ...................... passed (0.000 sec) 102s % [18/221] arith_basics:copysign_1 .................. passed (0.000 sec) 102s % [19/221] arith_basics:copysign_2 .................. passed (0.000 sec) 102s % [20/221] arith_basics:copysign_3 .................. passed (0.000 sec) 102s % [21/221] arith_basics:abs_1 ....................... passed (0.000 sec) 102s % [22/221] arith_basics:floor_1 ..................... passed (0.000 sec) 102s % [23/221] arith_basics:ceil_1 ...................... passed (0.000 sec) 102s % [24/221] arith_basics:truncate_1 .................. passed (0.000 sec) 102s % [25/221] arith_basics:floor_2 ..................... passed (0.000 sec) 102s % [26/221] arith_basics:ceil_2 ...................... passed (0.000 sec) 102s % [27/221] arith_basics:round_2 ..................... passed (0.000 sec) 102s % [28/221] arith_basics:integer_2 ................... passed (0.000 sec) 102s % [29/221] arith_basics:int_1 ....................... passed (0.000 sec) 102s % [30/221] arith_basics:cmp_1 ....................... passed (0.000 sec) 102s % [31/221] div:mod .................................. passed (0.000 sec) 102s % [32/221] div:minint ............................... passed (0.000 sec) 102s % [33/221] div:minint ............................... passed (0.000 sec) 102s % [34/221] gdiv:minint .............................. passed (0.000 sec) 102s % [35/221] rem:small ................................ passed (0.000 sec) 102s % [36/221] rem:small_divneg ......................... passed (0.000 sec) 102s % [37/221] rem:small_neg ............................ passed (0.000 sec) 102s % [38/221] rem:big .................................. passed (0.000 sec) 102s % [39/221] rem:big_neg .............................. passed (0.000 sec) 102s % [40/221] rem:exhaust .............................. passed (0.000 sec) 102s % [41/221] rem:big .................................. passed (0.000 sec) 102s % [42/221] rem:allq ................................. passed (0.004 sec) 102s % [43/221] mod:small ................................ passed (0.000 sec) 102s % [44/221] mod:small_divneg ......................... passed (0.000 sec) 102s % [45/221] mod:small_neg ............................ passed (0.000 sec) 102s % [46/221] mod:big .................................. passed (0.000 sec) 102s % [47/221] mod:big_neg .............................. passed (0.000 sec) 102s % [48/221] mod:exhaust .............................. passed (0.000 sec) 102s % [49/221] mod:big .................................. passed (0.000 sec) 102s % [50/221] pow:rat .................................. passed (0.000 sec) 102s % [51/221] pow:rat .................................. passed (0.000 sec) 102s % [52/221] pow:rat .................................. passed (0.000 sec) 102s % [53/221] pow:2^65 ................................. passed (0.000 sec) 102s % [54/221] gcd:gcd .................................. passed (0.000 sec) 102s % [55/221] gcd:gcd .................................. passed (0.000 sec) 102s % [56/221] gcd:gcd .................................. passed (0.000 sec) 102s % [57/221] shift:shift_right_large .................. passed (0.000 sec) 102s % [58/221] shift:shift_right_large .................. passed (0.000 sec) 102s % [59/221] shift:shift_right_large .................. passed (0.000 sec) 102s % [60/221] shift:shift_right_large .................. passed (0.000 sec) 102s % [61/221] shift:shift_left_large ................... passed (0.000 sec) 102s % [62/221] errors:cyclic ............................ passed (0.000 sec) 102s % [63/221] ar_builtin:a_add_fc_int .................. passed (0.000 sec) 102s % [64/221] ar_builtin:a_add_fc_float ................ passed (0.000 sec) 102s % [65/221] ar_builtin:a_fc_minus .................... passed (0.000 sec) 102s % [66/221] eval:ref ................................. passed (0.000 sec) 102s % [67/221] hyperbolic:sinh .......................... passed (0.000 sec) 102s % [68/221] hyperbolic:cosh .......................... passed (0.000 sec) 102s % [69/221] hyperbolic:tanh .......................... passed (0.000 sec) 102s % [70/221] hyperbolic:asinh ......................... passed (0.000 sec) 102s % [71/221] hyperbolic:acosh ......................... passed (0.000 sec) 102s % [72/221] hyperbolic:atanh ......................... passed (0.000 sec) 102s % [73/221] bigint:add_promote1 ...................... passed (0.000 sec) 102s % [74/221] bigint:add_promote2 ...................... passed (0.000 sec) 102s % [75/221] bigint:neg_1 ............................. passed (0.000 sec) 102s % [76/221] bigint:neg_2 ............................. passed (0.000 sec) 102s % [77/221] bigint:neg_promote ....................... passed (0.000 sec) 102s % [78/221] bigint:abs_1 ............................. passed (0.000 sec) 102s % [79/221] bigint:sign_1 ............................ passed (0.000 sec) 102s % [80/221] bigint:floor_1 ........................... passed (0.000 sec) 102s % [81/221] bigint:floor_2 ........................... passed (0.000 sec) 102s % [82/221] bigint:ceil_1 ............................ passed (0.000 sec) 102s % [83/221] bigint:ceil_2 ............................ passed (0.000 sec) 102s % [84/221] bigint:msb_0 ............................. passed (0.000 sec) 102s % [85/221] bigint:msb_1 ............................. passed (0.000 sec) 102s % [86/221] bigint:msb_2 ............................. passed (0.000 sec) 102s % [87/221] bigint:lsb_0 ............................. passed (0.000 sec) 102s % [88/221] bigint:lsb_1 ............................. passed (0.000 sec) 102s % [89/221] bigint:lsb_2 ............................. passed (0.000 sec) 102s % [90/221] bigint:popcount_1 ........................ passed (0.000 sec) 102s % [91/221] bigint:popcount_2 ........................ passed (0.000 sec) 102s % [92/221] bigint:shift_1 ........................... passed (0.000 sec) 102s % [93/221] bigint:shift_2 ........................... passed (0.000 sec) 102s % [94/221] bigint:shift_3 ........................... passed (0.126 sec) 102s % [95/221] bigint:fac_1 ............................. passed (0.000 sec) 102s % [96/221] bigint:arith_1 ........................... passed (0.000 sec) 102s % [97/221] bigint:pow_1 ............................. passed (0.000 sec) 102s % [98/221] bigint:pow_2 ............................. passed (0.000 sec) 102s % [99/221] bigint:pow_3 ............................. passed (0.000 sec) 102s % [100/221] bigint:pow_4 ............................ passed (0.000 sec) 102s % [101/221] bigint:pow_5 ............................ passed (0.000 sec) 102s % [102/221] bigint:pow_6 ............................ passed (0.000 sec) 102s % [103/221] bigint:pow_7 ............................ passed (0.000 sec) 102s % [104/221] bigint:powm_1 ........................... passed (0.000 sec) 102s % [105/221] bigint:powm_2 ........................... passed (0.000 sec) 102s % [106/221] bigint:integer_1 ........................ passed (0.000 sec) 102s % [107/221] bigint:integer_2 ........................ passed (0.000 sec) 102s % [108/221] bigint:rational_1 ....................... passed (0.000 sec) 102s % [109/221] bigint:rational_2 ....................... passed (0.000 sec) 102s % [110/221] bigint:rational_3 ....................... passed (0.000 sec) 102s % [111/221] bigint:rational_4 ....................... passed (0.000 sec) 102s % [112/221] bigint:rationalize_1 .................... passed (0.000 sec) 102s % [113/221] bigint:rationalize_2 .................... passed (0.000 sec) 102s % [114/221] bigint:number_1 ......................... passed (0.000 sec) 102s % [115/221] bigint:float_1 .......................... passed (0.000 sec) 102s % [116/221] bigint:cmp_1 ............................ passed (0.000 sec) 102s % [117/221] bigint:clause_1 ......................... passed (0.000 sec) 102s % [118/221] bigint:comp_1 ........................... passed (0.001 sec) 102s % [119/221] bigint:comp_2 ........................... passed (0.000 sec) 102s % [120/221] bigint:rec_1 ............................ passed (0.001 sec) 102s % [121/221] bigint:number_codes_1 ................... passed (0.000 sec) 102s % [122/221] bigint:atom_number_1 .................... passed (0.000 sec) 102s % [123/221] bigint:hex_1 ............................ passed (0.000 sec) 102s % [124/221] bigint:fmtd_1 ........................... passed (0.000 sec) 102s % [125/221] bigint:fmtd_2 ........................... passed (0.000 sec) 102s % [126/221] bigint:fmtD_1 ........................... passed (0.000 sec) 102s % [127/221] bigint:fmtD_2 ........................... passed (0.000 sec) 102s % [128/221] bigint:fmtf_1 ........................... passed (0.001 sec) 102s % [129/221] bigint:random ........................... passed (0.001 sec) 102s % [130/221] bigint:length ........................... passed (0.000 sec) 102s % [131/221] bigint:ar_add_ui ........................ passed (0.000 sec) 102s % [132/221] bigint:bf_trig_alloc .................... passed (0.000 sec) 102s % [133/221] minint:decimal .......................... passed (0.000 sec) 102s % [134/221] minint:spaced_decimal ................... passed (0.000 sec) 102s % [135/221] minint:binary ........................... passed (0.000 sec) 102s % [136/221] minint:spaced_binary .................... passed (0.000 sec) 102s % [137/221] minint:octal ............................ passed (0.000 sec) 102s % [138/221] minint:spaced_octal ..................... passed (0.000 sec) 102s % [139/221] minint:hexadecimal ...................... passed (0.000 sec) 102s % [140/221] minint:spaced_hexadecimal ............... passed (0.000 sec) 102s % [141/221] minint_promotion:decimal ................ passed (0.000 sec) 102s % [142/221] minint_promotion:spaced_decimal ......... passed (0.000 sec) 102s % [143/221] minint_promotion:binary ................. passed (0.000 sec) 102s % [144/221] minint_promotion:spaced_binary .......... passed (0.000 sec) 102s % [145/221] minint_promotion:octal .................. passed (0.000 sec) 102s % [146/221] minint_promotion:spaced_octal ........... passed (0.000 sec) 102s % [147/221] minint_promotion:hexadecimal ............ passed (0.000 sec) 102s % [148/221] minint_promotion:spaced_hexadecimal ..... passed (0.000 sec) 102s % [149/221] minint_promotion:mpz_to_int64 ........... passed (0.000 sec) 102s % [150/221] minint_promotion:addition ............... passed (0.000 sec) 102s % [151/221] minint_promotion:addition ............... passed (0.000 sec) 102s % [152/221] minint_promotion:subtraction ............ passed (0.000 sec) 102s % [153/221] minint_promotion:multiplication ......... passed (0.000 sec) 102s % [154/221] minint_promotion:multiplication ......... passed (0.000 sec) 102s % [155/221] minint_promotion:multiplication ......... passed (0.000 sec) 102s % [156/221] maxint:decimal .......................... passed (0.000 sec) 102s % [157/221] maxint:spaced_decimal ................... passed (0.000 sec) 102s % [158/221] maxint:binary ........................... passed (0.000 sec) 102s % [159/221] maxint:spaced_binary .................... passed (0.000 sec) 102s % [160/221] maxint:octal ............................ passed (0.000 sec) 102s % [161/221] maxint:spaced_octal ..................... passed (0.000 sec) 102s % [162/221] maxint:hexadecimal ...................... passed (0.000 sec) 102s % [163/221] maxint:spaced_hexadecimal ............... passed (0.000 sec) 102s % [164/221] maxint_promotion:decimal ................ passed (0.000 sec) 102s % [165/221] maxint_promotion:spaced_decimal ......... passed (0.000 sec) 102s % [166/221] maxint_promotion:binary ................. passed (0.000 sec) 102s % [167/221] maxint_promotion:spaced_binary .......... passed (0.000 sec) 102s % [168/221] maxint_promotion:octal .................. passed (0.000 sec) 102s % [169/221] maxint_promotion:spaced_octal ........... passed (0.000 sec) 102s % [170/221] maxint_promotion:hexadecimal ............ passed (0.000 sec) 102s % [171/221] maxint_promotion:spaced_hexadecimal ..... passed (0.000 sec) 102s % [172/221] maxint_promotion:addition ............... passed (0.000 sec) 102s % [173/221] maxint_promotion:addition ............... passed (0.000 sec) 102s % [174/221] maxint_promotion:subtraction ............ passed (0.000 sec) 102s % [175/221] maxint_promotion:multiplication ......... passed (0.000 sec) 102s % [176/221] maxint_promotion:multiplication ......... passed (0.000 sec) 102s % [177/221] maxint_promotion:multiplication ......... passed (0.000 sec) 102s % [178/221] round:half_down ......................... passed (0.000 sec) 102s % [179/221] round:nhalf_up .......................... passed (0.000 sec) 102s % [180/221] round:maxint ............................ passed (0.000 sec) 102s % [181/221] round:minint ............................ passed (0.000 sec) 102s % [182/221] float_misc:float_1 ...................... passed (0.000 sec) 102s % [183/221] float_misc:float_2 ...................... passed (0.000 sec) 102s % [184/221] float_misc:float_3 ...................... passed (0.000 sec) 102s % [185/221] float_misc:float_4 ...................... passed (0.000 sec) 102s % [186/221] float_misc:float_5 ...................... passed (0.000 sec) 102s % [187/221] float_misc:float_6 ...................... passed (0.000 sec) 102s % [188/221] float_misc:float_7 ...................... passed (0.000 sec) 102s % [189/221] float_misc:float_8 ...................... passed (0.000 sec) 102s % [190/221] float_overflow:max ...................... passed (0.000 sec) 102s % [191/221] float_overflow:add ...................... passed (0.000 sec) 102s % [192/221] float_overflow:minus .................... passed (0.000 sec) 102s % [193/221] float_overflow:mul ...................... passed (0.000 sec) 102s % [194/221] float_overflow:div ...................... passed (0.000 sec) 102s % [195/221] float_overflow:div ...................... passed (0.000 sec) 102s % [196/221] float_zero:eq ........................... passed (0.000 sec) 102s % [197/221] float_zero:lt ........................... passed (0.000 sec) 102s % [198/221] float_zero:gt ........................... passed (0.000 sec) 102s % [199/221] float_zero:eq ........................... passed (0.000 sec) 102s % [200/221] float_zero:lt ........................... passed (0.000 sec) 102s % [201/221] float_zero:gt ........................... passed (0.000 sec) 102s % [202/221] float_zero:cmp .......................... passed (0.000 sec) 102s % [203/221] float_zero:cmp .......................... passed (0.000 sec) 102s % [204/221] float_special:cmp ....................... passed (0.000 sec) 102s % [205/221] float_compare:max_nan ................... passed (0.000 sec) 102s % [206/221] float_compare:max_nan ................... passed (0.000 sec) 102s % [207/221] float_compare:min_nan ................... passed (0.000 sec) 102s % [208/221] float_compare:min_nan ................... passed (0.000 sec) 102s % [209/221] arith_misc:string ....................... passed (0.000 sec) 102s % [210/221] arith_misc:float_rval ................... passed (0.000 sec) 102s % [211/221] arith_misc:float_rval ................... passed (0.000 sec) 102s % [212/221] max_integer_size:set .................... passed (0.000 sec) 102s % [213/221] max_integer_size:overflow ............... passed (0.000 sec) 102s % [214/221] moded_int:between_1 ..................... passed (0.000 sec) 102s % [215/221] moded_int:between_2 ..................... passed (0.000 sec) 102s % [216/221] moded_int:between_3 ..................... passed (0.000 sec) 102s % [217/221] moded_int:between_4 ..................... passed (0.000 sec) 102s % [218/221] moded_int:succ_1 ........................ passed (0.000 sec) 102s % [219/221] moded_int:succ_2 ........................ passed (0.000 sec) 102s % [220/221] moded_int:succ_3 ........................ passed (0.000 sec) 102s % [221/221] moded_int:plus_1 ........................ passed (0.000 sec) 102s . 102s % [1/4] bags:nsols .................................. passed (0.000 sec) 102s % [2/4] bags:nsols_nested ........................... passed (0.000 sec) 102s % [3/4] bags:nsols_commit ........................... passed (0.000 sec) 102s % [4/4] bags:agc .................................... passed (0.040 sec) 102s . 102s % [1/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec) 102s % [2/46] bips:iso_8_3_10_4 .......................... passed (0.000 sec) 102s % [3/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 102s % [4/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 102s % [5/46] bips:iso_8_3_10 ............................ passed (0.000 sec) 102s % [6/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 102s % [7/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 102s % [8/46] bips:iso_8_4_2_4 ........................... passed (0.000 sec) 102s % [9/46] bips:iso_8_4_2_3_a ......................... passed (0.000 sec) 102s % [10/46] bips:iso_8_4_2_3_b ........................ passed (0.000 sec) 102s % [11/46] bips:zero_codes ........................... passed (0.000 sec) 102s % [12/46] arg:shared ................................ passed (0.000 sec) 102s % [13/46] arg:unify ................................. passed (0.000 sec) 102s % [14/46] arg:zero .................................. passed (0.000 sec) 102s % [15/46] arg:one ................................... passed (0.000 sec) 102s % [16/46] arg:two ................................... passed (0.000 sec) 102s % [17/46] arg:atom .................................. passed (0.000 sec) 102s % [18/46] arg:big ................................... passed (0.000 sec) 102s % [19/46] arg:bigneg ................................ passed (0.000 sec) 102s % [20/46] arg:arg_vf ................................ passed (0.000 sec) 102s % [21/46] eq:eq_ff .................................. passed (0.000 sec) 102s % [22/46] length:comp_len ........................... passed (0.000 sec) 102s % [23/46] length:gen_list ........................... passed (0.000 sec) 102s % [24/46] length:neg_len ............................ passed (0.000 sec) 102s % [25/46] length:gen_unbound ........................ passed (0.000 sec) 102s % [26/46] length:no_integer ......................... passed (0.000 sec) 102s % [27/46] length:no_integer ......................... passed (0.000 sec) 102s % [28/46] length:no_integer ......................... passed (0.000 sec) 102s % [29/46] length:cycle .............................. passed (0.000 sec) 102s % [30/46] length:expression ......................... passed (0.000 sec) 102s % [31/46] length:no_list ............................ passed (0.000 sec) 102s % [32/46] length:no_list ............................ passed (0.000 sec) 102s % [33/46] length:no_list ............................ passed (0.000 sec) 102s % [34/46] length:swi ................................ passed (0.000 sec) 102s % [35/46] is_most_general_term:not_callable ......... passed (0.000 sec) 102s % [36/46] is_most_general_term:atom ................. passed (0.000 sec) 102s % [37/46] is_most_general_term:instantiated ......... passed (0.000 sec) 102s % [38/46] is_most_general_term:compound ............. passed (0.000 sec) 102s % [39/46] is_most_general_term:compound ............. passed (0.000 sec) 102s % [40/46] is_most_general_term:shared ............... passed (0.000 sec) 102s % [41/46] is_most_general_term:compound ............. passed (0.000 sec) 102s % [42/46] is_most_general_term:nil .................. passed (0.000 sec) 102s % [43/46] is_most_general_term:list ................. passed (0.000 sec) 102s % [44/46] is_most_general_term:partial_list ......... passed (0.000 sec) 102s % [45/46] is_most_general_term:list ................. passed (0.000 sec) 102s % [46/46] is_most_general_term:shared ............... passed (0.000 sec) 102s . 102s % [1/9] body_index:p1 ............................... passed (0.000 sec) 102s % [2/9] body_index:p2 ............................... passed (0.000 sec) 102s % [3/9] body_index:p3 ............................... passed (0.000 sec) 102s % [4/9] body_index:p4 ............................... passed (0.000 sec) 102s % [5/9] body_index:p5 ............................... passed (0.000 sec) 102s % [6/9] body_index:p6 ............................... passed (0.000 sec) 102s % [7/9] body_index:p6 ............................... passed (0.000 sec) 102s % [8/9] body_index:p7 ............................... passed (0.000 sec) 102s % [9/9] body_index:p8 ............................... passed (0.000 sec) 102s . 102s % [1/52] call1:call ................................. passed (0.000 sec) 102s % [2/52] call1:clause ............................... passed (0.000 sec) 102s % [3/52] call1:clause ............................... passed (0.000 sec) 102s % [4/52] call1:big_clause ........................... passed (0.113 sec) 102s % [5/52] apply:error ................................ passed (0.000 sec) 102s % [6/52] callN:error ................................ passed (0.000 sec) 102s % [7/52] callN:if_then_else ......................... passed (0.000 sec) 102s % [8/52] callN:disj ................................. passed (0.000 sec) 102s % [9/52] callN:conj ................................. passed (0.000 sec) 102s % [10/52] callN:qn8 ................................. passed (0.000 sec) 102s % [11/52] callN:an8 ................................. passed (0.000 sec) 102s % [12/52] callN:qe8 ................................. passed (0.000 sec) 102s % [13/52] callN:ae8 ................................. passed (0.000 sec) 102s % [14/52] callN:max_procedure_arity ................. passed (0.000 sec) 102s % [15/52] callN:max_procedure_arity ................. passed (0.000 sec) 102s % [16/52] cross_module_call:cmc1 .................... passed (0.000 sec) 102s % [17/52] cross_module_call:cmc1 .................... passed (0.000 sec) 102s % [18/52] cross_module_call:cmc2 .................... passed (0.000 sec) 102s % [19/52] cross_module_call:cmc2 .................... passed (0.000 sec) 102s % [20/52] cross_module_call:cmc3 .................... passed (0.000 sec) 102s % [21/52] cross_module_call:cmc4 .................... passed (0.000 sec) 102s % [22/52] cross_module_call:c_cm1 ................... passed (0.000 sec) 102s % [23/52] cross_module_call:c_cm2 ................... passed (0.000 sec) 102s % [24/52] at2:context ............................... passed (0.000 sec) 102s % [25/52] at2:var ................................... passed (0.000 sec) 102s % [26/52] at2:var ................................... passed (0.000 sec) 102s % [27/52] at2:var ................................... passed (0.000 sec) 102s % [28/52] at2:var ................................... passed (0.000 sec) 102s % [29/52] at2:var ................................... passed (0.000 sec) 102s % [30/52] snip:indent ............................... passed (0.000 sec) 102s % [31/52] snip:cut .................................. passed (0.000 sec) 102s % [32/52] snip:cut2 ................................. passed (0.000 sec) 102s % [33/52] snip:cut3 ................................. passed (0.000 sec) 102s % [34/52] snip:lscut ................................ passed (0.000 sec) 102s % [35/52] no_autoload:unknown ....................... passed (0.000 sec) 102s % [36/52] setup_call_cleanup:true ................... passed (0.000 sec) 102s % [37/52] setup_call_cleanup:true_debug ............. passed (0.000 sec) 102s % [38/52] setup_call_cleanup:cut .................... passed (0.000 sec) 102s % [39/52] setup_call_cleanup:cut_debug .............. passed (0.000 sec) 102s % [40/52] setup_call_cleanup:fail ................... passed (0.000 sec) 102s % [41/52] setup_call_cleanup:fail2 .................. passed (0.000 sec) 102s % [42/52] setup_call_cleanup:fail_debug ............. passed (0.000 sec) 102s % [43/52] setup_call_cleanup:fail_debug2 ............ passed (0.000 sec) 102s % [44/52] setup_call_cleanup:error .................. passed (0.000 sec) 102s % [45/52] setup_call_cleanup:error_debug ............ passed (0.000 sec) 102s % [46/52] setup_call_cleanup:nondet ................. passed (0.000 sec) 102s % [47/52] setup_call_cleanup:cleanup ................ passed (0.000 sec) 102s % [48/52] setup_call_cleanup:cleanup ................ passed (0.000 sec) 102s % [49/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 102s % [50/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 102s % [51/52] setup_call_cleanup:error_choice ........... passed (0.000 sec) 102s % [52/52] catch:exit_nondet ......................... passed (0.000 sec) 102s . 102s % [1/1] code_type:code_type ......................... passed (0.095 sec) 102s . 102s % [1/10] continuation:basic ......................... passed (0.000 sec) 102s % [2/10] continuation:sum ........................... passed (0.000 sec) 102s % [3/10] continuation:sum ........................... passed (0.000 sec) 102s % [4/10] continuation:sum ........................... passed (0.000 sec) 102s % [5/10] continuation:play .......................... passed (0.000 sec) 102s % [6/10] continuation:transducer .................... passed (0.000 sec) 102s % [7/10] continuation:ifthen ........................ passed (0.000 sec) 102s % [8/10] continuation:mcall2 ........................ passed (0.000 sec) 102s % [9/10] continuation:test_cref ..................... passed (0.000 sec) 102s % [10/10] continuation:context ...................... passed (0.000 sec) 102s . 102s % [1/11] copy_term:share ............................ passed (0.000 sec) 102s % [2/11] copy_term:cycle ............................ passed (0.000 sec) 102s % [3/11] copy_term_4:share .......................... passed (0.000 sec) 102s % [4/11] copy_term_4:share .......................... passed (0.000 sec) 102s % [5/11] copy_term_4:attvar ......................... passed (0.000 sec) 102s % [6/11] copy_term_4:attvar ......................... passed (0.000 sec) 102s % [7/11] copy_term_4:attvar ......................... passed (0.000 sec) 102s % [8/11] copy_term_4:attvar ......................... passed (0.000 sec) 102s % [9/11] copy_term_4:cycle .......................... passed (0.000 sec) 102s % [10/11] copy_term_nat_4:attvar .................... passed (0.000 sec) 102s % [11/11] copy_term_nat_4:attvar .................... passed (0.000 sec) 102s . 102s % [1/12] coroutining:frozen ......................... passed (0.000 sec) 102s % [2/12] coroutining:frozen_diff .................... passed (0.000 sec) 102s % [3/12] coroutining:frozen_clpfd ................... passed (0.000 sec) 102s % [4/12] coroutining:when1 .......................... passed (0.002 sec) 102s % [5/12] coroutining:when2 .......................... passed (0.000 sec) 102s % [6/12] coroutining:when3 .......................... passed (0.000 sec) 102s % [7/12] coroutining:when4_inf ...................... passed (0.000 sec) 102s % [8/12] coroutining:when5_r ........................ passed (0.000 sec) 102s % [9/12] coroutining:when6 .......................... passed (0.000 sec) 102s % [10/12] coroutining:when7 ......................... passed (0.000 sec) 102s % [11/12] coroutining:when8 ......................... passed (0.000 sec) 102s % [12/12] coroutining:when8 ......................... passed (0.000 sec) 102s . 102s % [1/42] expand_goal:1 .............................. passed (0.000 sec) 102s % [2/42] expand_goal:3 .............................. passed (0.000 sec) 102s % [3/42] expand_goal:nonlin ......................... passed (0.000 sec) 102s % [4/42] expand_goal:nonlin ......................... passed (0.000 sec) 102s % [5/42] expand_goal:5 .............................. passed (0.000 sec) 102s % [6/42] expand_goal:6 .............................. passed (0.000 sec) 102s % [7/42] expand_goal:t .............................. passed (0.000 sec) 102s % [8/42] expand_goal:t .............................. passed (0.000 sec) 102s % [9/42] phrase:iso_8_1_1_3 ......................... passed (0.000 sec) 102s % [10/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 102s % [11/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 102s % [12/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) 102s % [13/42] phrase:iso_8_1_1_3_OPEN ................... passed (0.000 sec) 102s % [14/42] phrase:iso_8_1_1_3 ........................ passed (0.000 sec) 102s % [15/42] phrase:uniso_8_1_1_3 ...................... passed (0.000 sec) 102s % [16/42] phrase:iso1 ............................... passed (0.000 sec) 102s % [17/42] phrase:uwn2 ............................... passed (0.000 sec) 102s % [18/42] phrase:uwn3 ............................... passed (0.000 sec) 102s % [19/42] phrase:uwn4 ............................... passed (0.000 sec) 102s % [20/42] phrase:partial_terminal ................... passed (0.000 sec) 102s % [21/42] rule_expansions:1 ......................... passed (0.000 sec) 102s % [22/42] rule_expansions:2 ......................... passed (0.000 sec) 102s % [23/42] dcg_rule_expansions:1 ..................... passed (0.000 sec) 102s % [24/42] dcg_rule_expansions:2 ..................... passed (0.000 sec) 102s % [25/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 102s % [26/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 102s % [27/42] dcg_rule_expansions:meta0 ................. passed (0.000 sec) 102s % [28/42] dcg_rule_expansions:meta1 ................. passed (0.000 sec) 102s % [29/42] steadfastness:cut1_a ...................... passed (0.000 sec) 102s % [30/42] steadfastness:cut1_b ...................... passed (0.000 sec) 102s % [31/42] steadfastness:curlycut_a .................. passed (0.000 sec) 102s % [32/42] steadfastness:curlycut_b .................. passed (0.000 sec) 102s % [33/42] steadfastness:not1_a ...................... passed (0.000 sec) 102s % [34/42] steadfastness:not1_b ...................... passed (0.000 sec) 102s % [35/42] steadfastness:not2_a ...................... passed (0.000 sec) 102s % [36/42] steadfastness:not2_b ...................... passed (0.000 sec) 102s % [37/42] context:steadfastness ..................... passed (0.000 sec) 102s % [38/42] context:generalcontext .................... passed (0.000 sec) 102s % [39/42] context:epsilonness ....................... passed (0.000 sec) 102s % [40/42] context:epsilonness ....................... passed (0.000 sec) 102s % [41/42] context:vd ................................ passed (0.000 sec) 102s % [42/42] context:forprogrammers .................... passed (0.000 sec) 102s . 102s % [1/2] prolog_frame_attribute:none ................. passed (0.000 sec) 102s % [2/2] prolog_frame_attribute:foreign_choice ....... passed (0.000 sec) 102s . 102s % [1/22] det_decl:det ............................... passed (0.000 sec) 102s % [2/22] det_decl:cdet .............................. passed (0.000 sec) 102s % [3/22] det_decl:cdet2 ............................. passed (0.000 sec) 102s % [4/22] det_decl:nondet_1 .......................... passed (0.000 sec) 102s % [5/22] det_decl:nondet_2 .......................... passed (0.000 sec) 102s % [6/22] det_decl:nondet_3 .......................... passed (0.000 sec) 102s % [7/22] det_decl:fail_1 ............................ passed (0.000 sec) 102s % [8/22] det_decl:fail_2 ............................ passed (0.000 sec) 102s % [9/22] det_decl:fail_3 ............................ passed (0.000 sec) 102s % [10/22] det_guard:det ............................. passed (0.000 sec) 102s % [11/22] det_guard:ndet ............................ passed (0.000 sec) 102s % [12/22] det_guard:ndet ............................ passed (0.000 sec) 102s % [13/22] det_guard:fail ............................ passed (0.000 sec) 102s % [14/22] det_guard:fail ............................ passed (0.000 sec) 102s % [15/22] det_goal:det .............................. passed (0.000 sec) 102s % [16/22] det_goal:ndet ............................. passed (0.000 sec) 102s % [17/22] det_goal:ndet ............................. passed (0.000 sec) 102s % [18/22] det_goal:fail ............................. passed (0.000 sec) 102s % [19/22] det_goal:fail ............................. passed (0.000 sec) 102s % [20/22] det_goal:ndetv ............................ passed (0.000 sec) 102s % [21/22] det_goal:ndetv ............................ passed (0.000 sec) 102s % [22/22] det_goal:ndetv ............................ passed (0.000 sec) 102s . 102s % [1/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [2/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [3/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [4/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [5/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [6/80] dict_create:dict_create/3 .................. passed (0.000 sec) 102s % [7/80] dict_create:create ......................... passed (0.007 sec) 102s % [8/80] dict_create:convert ........................ passed (0.000 sec) 102s % [9/80] dict_bips:is_dict/1 ........................ passed (0.000 sec) 102s % [10/80] dict_bips:is_dict/1 ....................... passed (0.000 sec) 102s % [11/80] dict_bips:is_dict/2 ....................... passed (0.000 sec) 102s % [12/80] dict_bips:is_dict/2 ....................... passed (0.000 sec) 102s % [13/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 102s % [14/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 102s % [15/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 102s % [16/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 102s % [17/80] dict_bips:dict_pairs/3 .................... passed (0.000 sec) 102s % [18/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 102s % [19/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 102s % [20/80] dict_bips:get_dict/3 ...................... passed (0.000 sec) 102s % [21/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 102s % [22/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 102s % [23/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 102s % [24/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 102s % [25/80] dict_bips:get_dict/5 ...................... passed (0.000 sec) 102s % [26/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 102s % [27/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 102s % [28/80] dict_bips:put_dict/4 ...................... passed (0.000 sec) 102s % [29/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 102s % [30/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 102s % [31/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 102s % [32/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 102s % [33/80] dict_bips:put_dict/3 ...................... passed (0.000 sec) 102s % [34/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 102s % [35/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 102s % [36/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 102s % [37/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 102s % [38/80] dict_bips:del_dict/4 ...................... passed (0.000 sec) 102s % [39/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [40/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [41/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [42/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [43/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [44/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [45/80] dict_bips:select_dict/3 ................... passed (0.000 sec) 102s % [46/80] dict_bips::::::::(25,0x3ff6c3301b0)' does not exist 115s Warning: [Thread 23] thread_send_message/2: thread `(22,0x3ff6c330c10)' does not exist 115s . 115s % [1/24] thread_create:alias ........................ passed (0.000 sec) 115s % [2/24] thread_create:anonymous .................... passed (0.000 sec) 115s % [3/24] thread_errors:null ......................... passed (0.000 sec) 115s % [4/24] thread_errors:null ......................... passed (0.000 sec) 115s % [5/24] thread_property:alias ...................... passed (0.000 sec) 115s % [6/24] thread_property:detached_false ............. passed (0.000 sec) 115s % [7/24] thread_property:detached_true .............. passed (0.000 sec) 115s % [8/24] thread_property:status_running ............. passed (0.000 sec) 115s % [9/24] thread_property:status_true ................ passed (0.010 sec) 115s % [10/24] thread_property:status_fail ............... passed (0.000 sec) 115s % [11/24] thread_property:status_exception .......... passed (0.000 sec) 115s % [12/24] thread_property:status_enum1 .............. passed (0.000 sec) 115s % [13/24] thread_property:status_enum2 .............. passed (0.000 sec) 115s % [14/24] thread_property:existence ................. passed (0.000 sec) 115s % [15/24] thread_property:existence ................. passed (0.000 sec) 115s % [16/24] mutex:lock ................................ passed (0.000 sec) 115s % [17/24] mutex:destroy ............................. passed (0.000 sec) 115s % [18/24] mutex:destroy_locked ...................... passed (0.000 sec) 115s % [19/24] mutex:destroy_locked_other_thread ......... passed (0.000 sec) 115s % [20/24] mutex_property:alias ...................... passed (0.000 sec) 115s % [21/24] mutex_property:generate ................... passed (0.000 sec) 115s % [22/24] mutex_property:locked ..................... passed (0.000 sec) 115s % [23/24] message_queue:max_size_prop ............... passed (0.000 sec) 115s % [24/24] message_queue:size_prop ................... passed (0.000 sec) 115s ...... done 115s Running scripts from thread_wait 115s % [1/1] functor_cache:race .......................... passed (0.002 sec) 115s . 115s % [1/17] signal_api:pending ......................... passed (0.000 sec) 115s % [2/17] signal_api:pending ......................... passed (0.000 sec) 115s % [3/17] signal_api:remove .......................... passed (0.000 sec) 115s % [4/17] signal_api:remove .......................... passed (0.000 sec) 115s % [5/17] signal_api:remove .......................... passed (0.000 sec) 115s % [6/17] signal_api:remove .......................... passed (0.000 sec) 115s % [7/17] signal_api:remove .......................... passed (0.000 sec) 115s % [8/17] signal_api:remove .......................... passed (0.000 sec) 115s % [9/17] signal_api:backtrack ....................... passed (0.000 sec) 115s % [10/17] signal_catch:recover ...................... passed (0.000 sec) 115s % [11/17] signal_catch:atomic ....................... passed (0.000 sec) 115s % [12/17] signal_catch:cleanup ...................... passed (0.000 sec) 115s % [13/17] signal_catch:signal ....................... passed (0.000 sec) 115s % [14/17] signal_nested:nested_likely ............... passed (0.001 sec) 115s % [15/17] signal_nested:nested_sure ................. passed (0.000 sec) 115s % [16/17] signal_nested:nested_atomic ............... passed (0.000 sec) 115s % [17/17] signal_exceptions:chained ................. passed (0.041 sec) 115s . 115s % [1/4] thread_wait:signal .......................... passed (0.051 sec) 115s % [2/4] thread_wait:wakeall ......................... passed (0.050 sec) 115s % [3/4] thread_wait:wakeup .......................... passed (0.050 sec) 115s % [4/4] thread_wait:wakeup .......................... passed (0.000 sec) 115s . done 115s Running scripts from transaction . 115s % [1/1] transaction_deadlock:deadlock ............... passed (0.006 sec) 115s . 115s % [1/3] tr_incremental_tabling:assert ............... passed (0.000 sec) 115s % [2/3] tr_incremental_tabling:tmp_assert ........... passed (0.000 sec) 115s % [3/3] tr_incremental_tabling:retract .............. passed (0.000 sec) 115s . 115s % [1/23] transaction:assert ......................... passed (0.000 sec) 115s % [2/23] transaction:retract ........................ passed (0.000 sec) 115s % [3/23] transaction:assert_retract ................. passed (0.000 sec) 115s % [4/23] transaction:nested1 ........................ passed (0.000 sec) 115s % [5/23] transaction:nested2 ........................ passed (0.000 sec) 115s % [6/23] transaction:nested3 ........................ passed (0.000 sec) 115s % [7/23] transaction:nested4 ........................ passed (0.000 sec) 115s % [8/23] transaction:nested5 ........................ passed (0.000 sec) 115s % [9/23] transaction:nested6 ........................ passed (0.000 sec) 115s % [10/23] transaction:nested7 ....................... passed (0.000 sec) 115s % [11/23] transaction:nested8 ....................... passed (0.000 sec) 115s % [12/23] transaction:nested9 ....................... passed (0.000 sec) 115s % [13/23] transaction:update1 ....................... passed (0.000 sec) 115s % [14/23] transaction:update2 ....................... passed (0.000 sec) 115s % [15/23] transaction:update3 ....................... passed (0.000 sec) 115s % [16/23] thread_transaction:commit ................. passed (0.000 sec) 115s % [17/23] thread_transaction:discard ................ passed (0.000 sec) 115s % [18/23] thread_transaction:discard2 ............... passed (0.000 sec) 115s % [19/23] thread_transaction:isolate_assert ......... passed (0.000 sec) 115s % [20/23] thread_transaction:isolate_retract ........ passed (0.000 sec) 115s % [21/23] thread_transaction:isolate_retract2 ....... passed (0.000 sec) 115s % [22/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec) 115s % [23/23] thread_transaction:isolate_retract2b ...... passed (0.000 sec) 115s . done 115s Running scripts from save 115s % [1/1] qlf:unicode ................................. passed (0.001 sec) 115s . 116s % [1/3] saved_state:true ............................ passed (0.280 sec) 116s % [2/3] saved_state:argv ............................ passed (0.261 sec) 116s % [3/3] saved_state:true ............................ passed (0.263 sec) 116s . done 116s Running scripts from tabling .. 116s % [1/2] answer_subsumption:as_with_no_as ............ passed (0.000 sec) 116s % [2/2] answer_subsumption:max ...................... passed (0.000 sec) 116s . 116s % [1/9] incr_answer_subsumption_1:update ............ passed (0.000 sec) 116s % [2/9] incr_answer_subsumption_1:keep .............. passed (0.000 sec) 116s % [3/9] incr_answer_subsumption_1:reeval ............ passed (0.000 sec) 116s % [4/9] mono_answer_subsumption_1:update ............ passed (0.000 sec) 116s % [5/9] mono_answer_subsumption_1:keep .............. passed (0.000 sec) 116s % [6/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) 116s % [7/9] mono_answer_subsumption_1:reeval ............ passed (0.000 sec) 116s % [8/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) 116s % [9/9] mono_answer_subsumption_lazy_1:update ....... passed (0.000 sec) 116s . 116s % [1/10] monotonic_tabling:pa1 ...................... passed (0.000 sec) 116s % [2/10] monotonic_tabling:pa2 ...................... passed (0.000 sec) 116s % [3/10] monotonic_tabling:pb ....................... passed (0.000 sec) 116s % [4/10] monotonic_tabling:closure .................. passed (0.001 sec) 116s % [5/10] monotonic_tabling:closure2 ................. passed (0.063 sec) 116s % [6/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) 116s % [7/10] monotonic_tabling:incr_mono ................ passed (0.000 sec) 116s % [8/10] monotonic_tabling:nested_reeval_mono ....... passed (0.000 sec) 116s % [9/10] monotonic_tabling_2:twice_invalid .......... passed (0.000 sec) 116s % [10/10] monotonic_tabling_3:incr_propagate ........ passed (0.000 sec) 116s . 116s % [1/18] tabling_monotonic_lazy_1:simple ............ passed (0.000 sec) 116s % [2/18] tabling_monotonic_lazy_1:retract ........... passed (0.000 sec) 116s % [3/18] tabling_monotonic_lazy_2:mon_and_lazy ...... passed (0.000 sec) 116s % [4/18] tabling_monotonic_lazy_3:intermediate ...... passed (0.000 sec) 116s % [5/18] tabling_monotonic_lazy_4:lazy_on_eager ..... passed (0.000 sec) 116s % [6/18] tabling_monotonic_lazy_5:lazy_on_eager ..... passed (0.000 sec) 116s % [7/18] tabling_monotonic..zy_on_eager_retract ..... passed (0.000 sec) 116s % [8/18] tabling_monotonic_lazy_6:lazy_reeval ....... passed (0.000 sec) 116s % [9/18] tabling_monotonic_lazy_7:lazy_reeval ....... passed (0.000 sec) 116s % [10/18] tabling_monotonic..direct_lazy_retract .... passed (0.000 sec) 116s % [11/18] tabling_monotonic..re_new_dependencies .... passed (0.000 sec) 116s % [12/18] tabling_monotonic_lazy_10:false_deps ...... passed (0.000 sec) 116s % [13/18] tabling_monotonic_lazy_11:rollback ........ passed (0.000 sec) 116s % [14/18] tabling_monotonic_lazy_12:indirect ........ passed (0.000 sec) 116s % [15/18] tabling_monotonic..incr_propagate_lazy .... passed (0.000 sec) 116s % [16/18] tabling_monotonic.._14:mono_completion .... passed (0.000 sec) 116s % [17/18] tabling_monotonic_lazy_15:closure ......... passed (0.020 sec) 116s % [18/18] tabling_monotonic_lazy_16:reeval .......... passed (0.000 sec) 116s . 116s % [1/8] tabling_reeval:mutal_dependent .............. passed (0.000 sec) 116s % [2/8] tabling_reeval:multiple_dependents .......... passed (0.000 sec) 116s % [3/8] tabling_reeval_merged:only .................. passed (0.000 sec) 116s % [4/8] dynamic_tabled:wfs .......................... passed (0.001 sec) 116s % [5/8] dynamic_tabled2:wfs ......................... passed (0.000 sec) 116s % [6/8] dynamic_tabled2:wfs2 ........................ passed (0.000 sec) 116s % [7/8] dynamic_tabled3:wfs ......................... passed (0.000 sec) 116s % [8/8] dynamic_tabled4:wfs ......................... passed (0.000 sec) 120s .... 120s % [1/1] shared_reeval:propagate_falsecount .......... passed (0.000 sec) 120s . 120s % [1/1] tabled_shortest_path:path ................... passed (0.001 sec) 120s . 120s % [1/35] tabling_ex1:ex1 ............................ passed (0.000 sec) 120s % [2/35] tabling_ex2:ex2 ............................ passed (0.000 sec) 120s % [3/35] tabling_ex3:ex3 ............................ passed (0.000 sec) 120s % [4/35] tabling_ex4:ex4 ............................ passed (0.000 sec) 120s % [5/35] tabling_ex5:ex5 ............................ passed (0.000 sec) 120s % [6/35] tabling_ex6:ex6 ............................ passed (0.000 sec) 120s % [7/35] tabling_ex7:ex7 ............................ passed (0.000 sec) 120s % [8/35] tabling_ex8:ex8 ............................ passed (0.000 sec) 120s % [9/35] tabling_ex9a:ex9a .......................... passed (0.000 sec) 120s % [10/35] tabling_ex9b:ex9b ......................... passed (0.000 sec) 120s % [11/35] tabling_ex9c:ex9c ......................... passed (0.000 sec) 120s % [12/35] tabling_ex9d:ex9d ......................... passed (0.000 sec) 120s % [13/35] tabling_ex9e:ex9d ......................... passed (0.000 sec) 120s % [14/35] tabling_ex10:ex10 ......................... passed (0.000 sec) 120s % [15/35] tabling_ex11:ex11 ......................... passed (0.000 sec) 120s % [16/35] tabling_ex12:ex12 ......................... passed (0.000 sec) 120s % [17/35] tabling_ex13:ex12 ......................... passed (0.000 sec) 120s % [18/35] tabling_ex14:ex14 ......................... passed (0.000 sec) 120s % [19/35] tabling_ex15:ex15 ......................... passed (0.000 sec) 120s % [20/35] tabling_ex16:ex16 ......................... passed (0.000 sec) 120s % [21/35] tabling_ex17:ex17 ......................... passed (0.000 sec) 120s % [22/35] tabling_clpfd:fib_error ................... passed (0.000 sec) 120s % [23/35] tabling_eruption:tabling_eruption ......... passed (0.000 sec) 120s % [24/35] tabling_eruption2:tabling_eruption ........ passed (0.000 sec) 120s % [25/35] tabling_sneezing:tabling_sneezing ......... passed (0.000 sec) 120s % [26/35] tabling_yappath:yappath ................... passed (0.000 sec) 120s % [27/35] tabling_minpath:tabling_minpath ........... passed (0.000 sec) 120s % [28/35] tabling_maxpath:tabling_maxpath ........... passed (0.000 sec) 120s % [29/35] tabling_train:tabling_train ............... passed (0.000 sec) 120s % [30/35] moded_tabling_path:path ................... passed (0.000 sec) 120s % [31/35] mode_components1:component ................ passed (0.000 sec) 120s % [32/35] mode_components2:component ................ passed (0.000 sec) 120s % [33/35] pathss:kurt ............................... passed (0.000 sec) 120s % [34/35] bas:bas ................................... passed (0.019 sec) 120s % [35/35] push_ret:push_ret ......................... passed (0.019 sec) 120s . 120s % [1/6] test_transact_incr_1:commit ................. passed (0.000 sec) 120s % [2/6] test_transact_incr_1:rollback ............... passed (0.000 sec) 120s % [3/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) 120s % [4/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) 120s % [5/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) 120s % [6/6] test_transact_incr_1:snapshot ............... passed (0.000 sec) 120s . 120s % [1/7] test_transact_mono_1:commit ................. passed (0.000 sec) 120s % [2/7] test_transact_mono_1:rollback ............... passed (0.000 sec) 120s % [3/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) 120s % [4/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) 120s % [5/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) 120s % [6/7] test_transact_mono_1:snapshot ............... passed (0.000 sec) 120s % [7/7] test_transact_mono_2:retract ................ passed (0.000 sec) 120s . 120s % [1/13] test_transact_mono_lazy_1:commit ........... passed (0.000 sec) 120s % [2/13] test_transact_mono_lazy_1:rollback ......... passed (0.000 sec) 120s % [3/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) 120s % [4/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) 120s % [5/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) 120s % [6/13] test_transact_mono_lazy_1:snapshot ......... passed (0.000 sec) 120s % [7/13] test_transact_mono_lazy_2:retract .......... passed (0.000 sec) 120s % [8/13] test_transact_mon..zy_2:outside_assert ..... passed (0.000 sec) 120s % [9/13] test_transact_mono_lazy_2:mixed_assert ..... passed (0.000 sec) 120s % [10/13] test_transact_mon..zy_3:outside_assert .... passed (0.000 sec) 120s % [11/13] test_transact_mon.._4:new_dependencies .... passed (0.000 sec) 120s % [12/13] test_transact_mon.._5:already_forced_1 .... passed (0.000 sec) 120s % [13/13] test_transact_mon.._5:already_forced_2 .... passed (0.000 sec) 120s . 120s % [1/23] trie:insert_atom ........................... passed (0.000 sec) 120s % [2/23] trie:insert_value_term ..................... passed (0.000 sec) 120s % [3/23] trie:insert_two ............................ passed (0.000 sec) 120s % [4/23] trie:insert_compound ....................... passed (0.000 sec) 120s % [5/23] trie:insert_nested ......................... passed (0.000 sec) 120s % [6/23] trie:insert_nested2 ........................ passed (0.000 sec) 120s % [7/23] trie:insert_nested_get ..................... passed (0.000 sec) 120s % [8/23] trie:insert_vars ........................... passed (0.000 sec) 120s % [9/23] trie:insert_variant ........................ passed (0.000 sec) 120s % [10/23] trie:insert_vars .......................... passed (0.000 sec) 120s % [11/23] trie:rescale_cars ......................... passed (0.005 sec) 120s % [12/23] trie:insert_gsize ......................... passed (0.000 sec) 120s % [13/23] trie:insert_cycle ......................... passed (0.000 sec) 120s % [14/23] trie:insert_attvar ........................ passed (0.000 sec) 120s % [15/23] trie:delete ............................... passed (0.000 sec) 120s % [16/23] trie:gen_indirect ......................... passed (0.000 sec) 120s % [17/23] trie:var1 ................................. passed (0.000 sec) 120s % [18/23] trie:var2 ................................. passed (0.000 sec) 120s % [19/23] trie:var3 ................................. passed (0.000 sec) 120s % [20/23] trie:issue_1277 ........................... passed (0.000 sec) 120s % [21/23] trie:gen_compiled2_free ................... passed (0.000 sec) 120s % [22/23] trie:gen_compiled2_instantiated ........... passed (0.000 sec) 120s % [23/23] trie:gen_compiled3_free ................... passed (0.000 sec) 120s . 120s % [1/8] wfs_delays:delays ........................... passed (0.000 sec) 120s % [2/8] wfs_delays:delays ........................... passed (0.000 sec) 120s % [3/8] wfs_delays:delays ........................... passed (0.000 sec) 120s % [4/8] wfs_delays:delays ........................... passed (0.000 sec) 120s % [5/8] wfs_delays:delays ........................... passed (0.000 sec) 120s % [6/8] wfs_delays:residual ......................... passed (0.000 sec) 120s % [7/8] wfs_delays:as ............................... passed (0.000 sec) 120s % [8/8] wfs_dwin:dwin ............................... passed (0.000 sec) 120s . done 120s Running scripts from basic_tests 120s % [1/26] xsb_basic_tests:tsstr13 .................... passed (0.003 sec) 120s % [2/26] xsb_basic_tests:tsstr23 .................... passed (0.003 sec) 120s % [3/26] xsb_basic_tests:tsstr33 .................... passed (0.003 sec) 120s % [4/26] xsb_basic_tests:tstr11 ..................... passed (0.002 sec) 120s % [5/26] xsb_basic_tests:tstr21 ..................... passed (0.002 sec) 120s % [6/26] xsb_basic_tests:tstr31 ..................... passed (0.002 sec) 120s % [7/26] xsb_basic_tests:tstr51 ..................... passed (0.002 sec) 120s % [8/26] xsb_basic_tests:tstr61 ..................... passed (0.002 sec) 120s % [9/26] xsb_basic_tests:tstr12 ..................... passed (0.002 sec) 120s % [10/26] xsb_basic_tests:tstr22 .................... passed (0.002 sec) 120s % [11/26] xsb_basic_tests:tstr32 .................... passed (0.002 sec) 120s % [12/26] xsb_basic_tests:tstr52 .................... passed (0.003 sec) 120s % [13/26] xsb_basic_tests:tstr62 .................... passed (0.003 sec) 120s % [14/26] xsb_basic_tests:tstr13 .................... passed (0.006 sec) 120s % [15/26] xsb_basic_tests:tstr23 .................... passed (0.006 sec) 120s % [16/26] xsb_basic_tests:tstr33 .................... passed (0.007 sec) 120s % [17/26] xsb_basic_tests:tstr53 .................... passed (0.029 sec) 120s % [18/26] xsb_basic_tests:tstr63 .................... passed (0.029 sec) 120s % [19/26] xsb_basic_tests:thstr13 ................... passed (0.002 sec) 120s % [20/26] xsb_basic_tests:thstr43 ................... passed (0.001 sec) 120s % [21/26] xsb_basic_tests:thstr23 ................... passed (0.002 sec) 120s % [22/26] xsb_basic_tests:tcyl11 .................... passed (0.032 sec) 120s % [23/26] xsb_basic_tests:tcyl12 .................... passed (0.019 sec) 120s % [24/26] xsb_basic_tests:testsg .................... passed (0.032 sec) 120s % [25/26] xsb_basic_tests:interp .................... passed (0.003 sec) 120s % [26/26] xsb_basic_tests:tsing1 .................... passed (0.001 sec) 120s . done 120s Running scripts from ai_tests 120s % [1/11] xsb_ai_tests:cs_o .......................... passed (0.038 sec) 120s % [2/11] xsb_ai_tests:cs_r .......................... passed (0.033 sec) 120s % [3/11] xsb_ai_tests:disj .......................... passed (0.019 sec) 120s % [4/11] xsb_ai_tests:gabriel ....................... passed (0.016 sec) 120s % [5/11] xsb_ai_tests:kalah ......................... passed (0.026 sec) 120s % [6/11] xsb_ai_tests:peep .......................... passed (0.033 sec) 120s % [7/11] xsb_ai_tests:pg ............................ passed (0.010 sec) 120s % [8/11] xsb_ai_tests:plan .......................... passed (0.010 sec) 120s % [9/11] xsb_ai_tests:qsort ......................... passed (0.004 sec) 120s % [10/11] xsb_ai_tests:queens ....................... passed (0.005 sec) 120s % [11/11] xsb_ai_tests:read ......................... passed (0.046 sec) 120s . done 120s Running scripts from ptq 120s % [1/25] xsb_ptq:jtaulred ........................... passed (0.002 sec) 121s % [2/25] xsb_ptq:mbjfauahei ......................... passed (0.039 sec) 121s % [3/25] xsb_ptq:mbjfauaheilred ..................... passed (0.010 sec) 121s % [4/25] xsb_ptq:jtau ............................... passed (0.002 sec) 121s % [5/25] xsb_ptq:jdm ................................ passed (0.002 sec) 121s % [6/25] xsb_ptq:apr ................................ passed (0.001 sec) 121s % [7/25] xsb_ptq:jdh ................................ passed (0.001 sec) 121s % [8/25] xsb_ptq:jsau ............................... passed (0.002 sec) 121s % [9/25] xsb_ptq:awtra .............................. passed (0.002 sec) 121s % [10/25] xsb_ptq:emlaw ............................. passed (0.002 sec) 121s % [11/25] xsb_ptq:awsswr ............................ passed (0.001 sec) 121s % [12/25] xsb_ptq:jsauamsi .......................... passed (0.009 sec) 121s % [13/25] xsb_ptq:jdmlred ........................... passed (0.001 sec) 121s % [14/25] xsb_ptq:jdhlred ........................... passed (0.001 sec) 121s % [15/25] xsb_ptq:jwiaplred ......................... passed (0.001 sec) 121s % [16/25] xsb_ptq:jfaulred .......................... passed (0.001 sec) 121s % [17/25] xsb_ptq:jsaulred .......................... passed (0.001 sec) 121s % [18/25] xsb_ptq:awtralred ......................... passed (0.001 sec) 121s % [19/25] xsb_ptq:emlawlred ......................... passed (0.001 sec) 121s % [20/25] xsb_ptq:awsswrlred ........................ passed (0.001 sec) 121s % [21/25] xsb_ptq:jbmwwaiplred ...................... passed (0.013 sec) 121s % [22/25] xsb_ptq:jwfauaeilred ...................... passed (0.004 sec) 121s % [23/25] xsb_ptq:jtfauaweilred ..................... passed (0.003 sec) 121s % [24/25] xsb_ptq:emlawsslhlred ..................... passed (0.002 sec) 121s % [25/25] xsb_ptq:emlawaslhlred ..................... passed (0.002 sec) 121s . done 121s Running scripts from neg_tests 121s % [1/24] tabled_basic_negation:neg1 ................. passed (0.001 sec) 121s % [2/24] tabled_basic_negation:neg2 ................. passed (0.003 sec) 121s % [3/24] tabled_basic_negation:neg3 ................. passed (0.001 sec) 121s % [4/24] tabled_basic_negation:ullman2 .............. passed (0.001 sec) 121s % [5/24] tabled_lr_stratified_negation:lmod1 ........ passed (0.001 sec) 121s % [6/24] tabled_lr_stratified_negation:lmod2 ........ passed (0.001 sec) 121s % [7/24] tabled_lr_stratified_negation:lmod3 ........ passed (0.002 sec) 121s % [8/24] tabled_lr_stratified_negation:lmod4 ........ passed (0.002 sec) 121s % [9/24] tabled_lr_stratified_negation:lmod5 ........ passed (0.002 sec) 121s % [10/24] tabled_lr_stratified_negation:lmod6 ....... passed (0.002 sec) 121s % [11/24] tabled_lr_stratified_negation:lmod7 ....... passed (0.002 sec) 121s % [12/24] tabled_lr_stratified_negation:lmod8 ....... passed (0.002 sec) 121s % [13/24] tabled_lr_stratified_negation:lmod9 ....... passed (0.002 sec) 121s % [14/24] tabled_lr_stratified_negation:lmod10 ...... passed (0.002 sec) 121s % [15/24] tabled_lr_stratified_negation:lmod11 ...... passed (0.002 sec) 121s % [16/24] tabled_lr_stratified_negation:ullman1 ..... passed (0.002 sec) 121s % [17/24] tabled_dynakicall..fied_negation:przy2 .... passed (0.001 sec) 121s % [18/24] tabled_dynakicall..negation:ldynstrat0 .... passed (0.001 sec) 121s % [19/24] tabled_dynakicall..negation:ldynstrat1 .... passed (0.001 sec) 121s % [20/24] tabled_dynakicall..negation:ldynstrat2 .... passed (0.002 sec) 121s % [21/24] tabled_dynakicall..negation:ldynstrat3 .... passed (0.002 sec) 121s % [22/24] tabled_dynakicall..negation:ldynstrat4 .... passed (0.002 sec) 121s % [23/24] tabled_stratified_negation:mod1 ........... passed (0.001 sec) 121s % [24/24] tabled_misc_negation:q7 ................... passed (0.127 sec) 121s . done 121s Running scripts from delay_tests 121s % [1/87] delay_dynstrat:dynstrat1 ................... passed (0.006 sec) 121s % [2/87] delay_dynstrat:dynstrat2 ................... passed (0.003 sec) 121s % [3/87] delay_dynstrat:dynstrat3 ................... passed (0.002 sec) 121s % [4/87] delay_dynstrat:dynstrat4 ................... passed (0.002 sec) 121s % [5/87] delay_dynstrat:dynstrat5 ................... passed (0.002 sec) 121s % [6/87] delay_dynstrat:dynstrat6 ................... passed (0.002 sec) 121s % [7/87] delay_dynstrat:dynstrat7 ................... passed (0.001 sec) 121s % [8/87] delay_dynstrat:ross1 ....................... passed (0.001 sec) 121s % [9/87] delay_dynstrat:sel_unsusp .................. passed (0.001 sec) 121s % [10/87] delay_dynstrat:dl_dupl .................... passed (0.002 sec) 121s % [11/87] delay_dynstrat:asl_dupl ................... passed (0.001 sec) 121s % [12/87] delay_dynstrat:gfp ........................ passed (0.002 sec) 121s % [13/87] delay_old_failures:fr1 .................... passed (0.001 sec) 121s % [14/87] delay_old_failures:fr2 .................... passed (0.001 sec) 121s % [15/87] delay_old_failures:fr3 .................... passed (0.001 sec) 121s % [16/87] delay_old_failures:fr4 .................... passed (0.001 sec) 121s % [17/87] delay_old_failures:fr5 .................... passed (0.001 sec) 121s % [18/87] delay_old_failures:fr6 .................... passed (0.001 sec) 121s % [19/87] delay_old_failures:fr7 .................... passed (0.001 sec) 121s % [20/87] delay_old_failures:fr8 .................... passed (0.001 sec) 121s % [21/87] delay_old_failures:fr9 .................... passed (0.001 sec) 121s % [22/87] delay_old_failures:fr19 ................... passed (0.002 sec) 121s % [23/87] delay_old_failures:fr20 ................... passed (0.002 sec) 121s % [24/87] delay_old_failures:fr21 ................... passed (0.002 sec) 121s % [25/87] delay_old_failures:fr22 ................... passed (0.002 sec) 121s % [26/87] delay_old_failures:fr23 ................... passed (0.002 sec) 121s % [27/87] delay_old_failures:fr24 ................... passed (0.002 sec) 121s % [28/87] delay_old_failures:fr25 ................... passed (0.002 sec) 121s % [29/87] delay_old_failures:fr26 ................... passed (0.002 sec) 121s % [30/87] delay_old_failures:fr27 ................... passed (0.001 sec) 121s % [31/87] delay_old_failures:fr28 ................... passed (0.001 sec) 121s % [32/87] delay_old_failures:fr29 ................... passed (0.001 sec) 121s % [33/87] delay_old_failures:fr30 ................... passed (0.001 sec) 121s % [34/87] delay_old_segv:seg1 ....................... passed (0.001 sec) 121s % [35/87] delay_old_segv:seg2 ....................... passed (0.001 sec) 121s % [36/87] delay_old_segv:seg3 ....................... passed (0.001 sec) 121s % [37/87] delay_old_segv:seg4 ....................... passed (0.001 sec) 121s % [38/87] delay_old_segv:seg5 ....................... passed (0.002 sec) 121s % [39/87] delay_old_segv:fr24 ....................... passed (0.000 sec) 121s % [40/87] delay_interp:interp0 ...................... passed (0.001 sec) 121s % [41/87] delay_interp:interp1 ...................... passed (0.002 sec) 121s % [42/87] delay_interp:interp2 ...................... passed (0.002 sec) 121s % [43/87] delay_interp:interp4 ...................... passed (0.002 sec) 121s % [44/87] delay_interp:interp5 ...................... passed (0.002 sec) 121s % [45/87] delay_interp:interp6 ...................... passed (0.002 sec) 121s % [46/87] delay_interp:interp7 ...................... passed (0.002 sec) 121s % [47/87] delay_interp:interp8 ...................... passed (0.002 sec) 121s % [48/87] delay_interp:interp9 ...................... passed (0.002 sec) 121s % [49/87] delay_interp:interp10 ..................... passed (0.002 sec) 121s % [50/87] delay_interp:interp11 ..................... passed (0.002 sec) 121s % [51/87] delay_non_strat_neg:two_ary ............... passed (0.001 sec) 121s % [52/87] delay_non_strat_neg:abol_susp1 ............ passed (0.001 sec) 121s % [53/87] delay_non_strat_neg:abol_susp2 ............ passed (0.002 sec) 121s % [54/87] delay_non_strat_neg:przy1 ................. passed (0.002 sec) 121s % [55/87] delay_non_strat_neg:przy1_simp ............ passed (0.002 sec) 121s % [56/87] delay_non_strat_neg:nonstrat1 ............. passed (0.002 sec) 121s % [57/87] delay_non_strat_neg:nonstrat2 ............. passed (0.002 sec) 121s % [58/87] delay_wfs_neg:p1 .......................... passed (0.001 sec) 121s % [59/87] delay_wfs_neg:p2 .......................... passed (0.001 sec) 121s % [60/87] delay_wfs_neg:p3 .......................... passed (0.001 sec) 121s % [61/87] delay_wfs_neg:p4 .......................... passed (0.001 sec) 121s % [62/87] delay_wfs_neg:p5 .......................... passed (0.001 sec) 121s % [63/87] delay_wfs_neg:simpl_win ................... passed (0.001 sec) 121s % [64/87] delay_wfs_neg:win ......................... passed (0.001 sec) 121s % [65/87] delay_wfs_neg:cond_uncond ................. passed (0.002 sec) 121s % [66/87] delay_wfs_neg:ullman3 ..................... passed (0.002 sec) 121s % [67/87] delay_wfs_neg:undef1 ...................... passed (0.003 sec) 121s % [68/87] delay_wfs_neg:undef2 ...................... passed (0.002 sec) 121s % [69/87] delay_pos_simpl:pos_simpl1 ................ passed (0.002 sec) 121s % [70/87] delay_ac:weidong2 ......................... passed (0.001 sec) 121s % [71/87] delay_ac:weidong3 ......................... passed (0.001 sec) 121s % [72/87] delay_ac:weidong4 ......................... passed (0.002 sec) 121s % [73/87] delay_ac:weidong5 ......................... passed (0.001 sec) 121s % [74/87] delay_ac:weidong6 ......................... passed (0.001 sec) 121s % [75/87] delay_ac:weidong7 ......................... passed (0.002 sec) 121s % [76/87] delay_ac:weidong8 ......................... passed (0.002 sec) 121s % [77/87] delay_ac:interp12 ......................... passed (0.002 sec) 121s % [78/87] delay_ac:interp13 ......................... passed (0.002 sec) 121s % [79/87] delay_ac:interp14 ......................... passed (0.002 sec) 121s % [80/87] delay_ac:interp15 ......................... passed (0.002 sec) 121s % [81/87] delay_misc:avoid_flounder ................. passed (0.004 sec) 121s % [82/87] delay_misc:residual1 ...................... passed (0.007 sec) 121s % [83/87] delay_misc:fa ............................. passed (0.035 sec) 121s % [84/87] delay_misc:delay_var ...................... passed (0.123 sec) 121s % [85/87] delay_misc:tabsimp_seq .................... passed (0.084 sec) 121s % [86/87] delay_misc:wmay_winbug .................... passed (0.004 sec) 121s % [87/87] delay_misc:ac_tests ....................... passed (0.023 sec) 121s . done 121s Running scripts from wfs_tests 121s % [1/72] xsb_wfs:p06 ................................ passed (0.001 sec) 121s % [2/72] xsb_wfs:p07 ................................ passed (0.001 sec) 121s % [3/72] xsb_wfs:p08 ................................ passed (0.001 sec) 121s % [4/72] xsb_wfs:p09 ................................ passed (0.001 sec) 121s % [5/72] xsb_wfs:p10 ................................ passed (0.001 sec) 121s % [6/72] xsb_wfs:p11 ................................ passed (0.001 sec) 121s % [7/72] xsb_wfs:p12 ................................ passed (0.001 sec) 121s % [8/72] xsb_wfs:p13 ................................ passed (0.001 sec) 121s % [9/72] xsb_wfs:p14 ................................ passed (0.001 sec) 121s % [10/72] xsb_wfs:p15 ............................... passed (0.002 sec) 121s % [11/72] xsb_wfs:p16 ............................... passed (0.002 sec) 121s % [12/72] xsb_wfs:p17 ............................... passed (0.005 sec) 121s % [13/72] xsb_wfs:p18 ............................... passed (0.001 sec) 121s % [14/72] xsb_wfs:p19 ............................... passed (0.002 sec) 121s % [15/72] xsb_wfs:p20 ............................... passed (0.001 sec) 121s % [16/72] xsb_wfs:p21 ............................... passed (0.001 sec) 121s % [17/72] xsb_wfs:p22 ............................... passed (0.002 sec) 121s % [18/72] xsb_wfs:p23 ............................... passed (0.003 sec) 121s % [19/72] xsb_wfs:p24 ............................... passed (0.002 sec) 121s % [20/72] xsb_wfs:p25 ............................... passed (0.002 sec) 121s % [21/72] xsb_wfs:p26 ............................... passed (0.002 sec) 121s % [22/72] xsb_wfs:p27 ............................... passed (0.002 sec) 121s % [23/72] xsb_wfs:p29 ............................... passed (0.001 sec) 121s % [24/72] xsb_wfs:p30 ............................... passed (0.001 sec) 121s % [25/72] xsb_wfs:p31 ............................... passed (0.001 sec) 121s % [26/72] xsb_wfs:p32 ............................... passed (0.002 sec) 121s % [27/72] xsb_wfs:p33 ............................... passed (0.001 sec) 121s % [28/72] xsb_wfs:p34 ............................... passed (0.001 sec) 121s % [29/72] xsb_wfs:p35 ............................... passed (0.001 sec) 121s % [30/72] xsb_wfs:p36 ............................... passed (0.002 sec) 121s % [31/72] xsb_wfs:p37 ............................... passed (0.002 sec) 121s % [32/72] xsb_wfs:p39 ............................... passed (0.001 sec) 121s % [33/72] xsb_wfs:p40 ............................... passed (0.001 sec) 121s % [34/72] xsb_wfs:p42 ............................... passed (0.003 sec) 121s % [35/72] xsb_wfs:p43 ............................... passed (0.001 sec) 121s % [36/72] xsb_wfs:p44 ............................... passed (0.001 sec) 121s % [37/72] xsb_wfs:p45 ............................... passed (0.001 sec) 121s % [38/72] xsb_wfs:p46 ............................... passed (0.001 sec) 121s % [39/72] xsb_wfs:p47 ............................... passed (0.001 sec) 121s % [40/72] xsb_wfs:p48 ............................... passed (0.002 sec) 121s % [41/72] xsb_wfs:p49 ............................... passed (0.001 sec) 121s % [42/72] xsb_wfs:p50 ............................... passed (0.002 sec) 121s % [43/72] xsb_wfs:p51 ............................... passed (0.001 sec) 121s % [44/72] xsb_wfs:p52a .............................. passed (0.005 sec) 121s % [45/72] xsb_wfs:p52 ............................... passed (0.004 sec) 121s % [46/72] xsb_wfs:p53 ............................... passed (0.005 sec) 121s % [47/72] xsb_wfs:p54 ............................... passed (0.006 sec) 121s % [48/72] xsb_wfs:p55 ............................... passed (0.007 sec) 121s % [49/72] xsb_wfs:p56 ............................... passed (0.008 sec) 121s % [50/72] xsb_wfs:p57 ............................... passed (0.010 sec) 121s % [51/72] xsb_wfs:p58 ............................... passed (0.011 sec) 121s % [52/72] xsb_wfs:p59 ............................... passed (0.013 sec) 121s % [53/72] xsb_wfs:p60 ............................... passed (0.002 sec) 121s % [54/72] xsb_wfs:p62 ............................... passed (0.002 sec) 121s % [55/72] xsb_wfs:p63 ............................... passed (0.002 sec) 121s % [56/72] xsb_wfs:p64 ............................... passed (0.002 sec) 121s % [57/72] xsb_wfs:p65 ............................... passed (0.001 sec) 121s % [58/72] xsb_wfs:p66 ............................... passed (0.003 sec) 121s % [59/72] xsb_wfs:p67 ............................... passed (0.001 sec) 121s % [60/72] xsb_wfs:p77 ............................... passed (0.002 sec) 121s % [61/72] xsb_wfs:p78 ............................... passed (0.001 sec) 121s % [62/72] xsb_wfs:p79 ............................... passed (0.002 sec) 121s % [63/72] xsb_wfs:p80 ............................... passed (0.002 sec) 121s % [64/72] xsb_wfs:p81 ............................... passed (0.002 sec) 121s % [65/72] xsb_wfs:p82 ............................... passed (0.002 sec) 121s % [66/72] xsb_wfs:p83 ............................... passed (0.002 sec) 121s % [67/72] xsb_wfs:p84 ............................... passed (0.002 sec) 121s % [68/72] xsb_wfs:p85 ............................... passed (0.002 sec) 121s % [69/72] xsb_wfs:p86 ............................... passed (0.002 sec) 121s % [70/72] xsb_wfs:p89 ............................... passed (0.002 sec) 121s % [71/72] xsb_wfs:p90 ............................... passed (0.001 sec) 121s % [72/72] xsb_wfs:p91 ............................... passed (0.001 sec) 121s . done 121s Running scripts from table_tests 121s % [1/32] xsb_test_tables:abol_test .................. passed (0.003 sec) 121s % [2/32] xsb_test_tables:abol_test2 ................. passed (0.003 sec) 121s % [3/32] xsb_test_tables:abol_test2a ................ passed (0.002 sec) 121s % [4/32] xsb_test_tables:abol_test3 ................. passed (0.003 sec) 121s % [5/32] xsb_test_tables:abol_test3a ................ passed (0.003 sec) 121s % [6/32] xsb_test_tables:abol_test3b ................ passed (0.003 sec) 121s % [7/32] xsb_test_tables:abol_test3c ................ passed (0.007 sec) 121s % [8/32] xsb_test_tables:abolish_cascade ............ passed (0.008 sec) 121s % [9/32] xsb_test_tables:abolish_cascade_pred ....... passed (0.005 sec) 121s % [10/32] xsb_test_tables:abolish_cycle ............. passed (0.004 sec) 121s % [11/32] xsb_test_tables:abolish_dag ............... passed (0.005 sec) 121s % [12/32] xsb_test_tables:abolish_neg_cycle ......... passed (0.004 sec) 121s % [13/32] xsb_test_tables:abolish_neg_dag ........... passed (0.005 sec) 121s % [14/32] xsb_test_tables:atc_test .................. passed (0.016 sec) 122s % [15/32] xsb_test_tables:concomp ................... passed (0.072 sec) 122s % [16/32] xsb_test_tables:expand .................... passed (0.173 sec) 122s % [17/32] xsb_test_tables:ins ....................... passed (0.028 sec) 122s % [18/32] xsb_test_tables:large_arity_tables ........ passed (0.010 sec) 122s % [19/32] xsb_test_tables:lrbug ..................... passed (0.004 sec) 122s % [20/32] xsb_test_tables:pps ....................... passed (0.002 sec) 122s % [21/32] xsb_test_tables:pred_abolish_cycle ........ passed (0.006 sec) 122s % [22/32] xsb_test_tables:pred_abolish_dag .......... passed (0.007 sec) 122s % [23/32] xsb_test_tables:recursive_aboltest ........ passed (0.004 sec) 122s % [24/32] xsb_test_tables:tabbug1 ................... passed (0.001 sec) 122s % [25/32] xsb_test_tables:test_3vwfs_1 .............. passed (0.003 sec) 122s % [26/32] xsb_test_tables:test_calldepth ............ passed (0.003 sec) 122s % [27/32] xsb_test_tables:test_cyclic_tabling ....... passed (0.002 sec) 122s % [28/32] xsb_test_tables:t.._large_tabled_terms .... passed (0.162 sec) 122s % [29/32] xsb_test_tables:test_maxans_decl .......... passed (0.025 sec) 122s % [30/32] xsb_test_tables:test_negcycle ............. passed (0.004 sec) 122s % [31/32] xsb_test_tables:test_tda .................. passed (0.006 sec) 122s % [32/32] xsb_test_tables:test_tda_i ................ passed (0.006 sec) 122s . done 122s Running scripts from incremental_tests 122s % [1/15] xsb_test_incremental:incremental ........... passed (0.003 sec) 122s % [2/15] xsb_test_incremental:incremental1 .......... passed (0.003 sec) 122s % [3/15] xsb_test_incremental:inc_trie_dyn .......... passed (0.003 sec) 122s % [4/15] xsb_test_incremental:incremental_rule ...... passed (0.001 sec) 122s % [5/15] xsb_test_incremen..ncremental_rule_alt ..... passed (0.002 sec) 122s % [6/15] xsb_test_incremental:test_incr_depends ..... passed (0.003 sec) 122s % [7/15] xsb_test_incremen..test_incr_depends_2 ..... passed (0.004 sec) 122s % [8/15] xsb_test_incremental:test_inc_switch ....... passed (0.002 sec) 122s % [9/15] xsb_test_incremen..:test_sound_updates ..... passed (0.003 sec) 122s % [10/15] xsb_test_incremental:test_wfs_update ...... passed (0.005 sec) 122s % [11/15] xsb_test_incremental:incr_test_romero ..... passed (0.002 sec) 122s % [12/15] xsb_test_incremen..lish_nonincremental .... passed (0.003 sec) 122s % [13/15] xsb_test_incremental:inc_atc .............. passed (0.002 sec) 122s % [14/15] xsb_test_incremental:inc_atc_gc ........... passed (0.001 sec) 122s % [15/15] xsb_test_incremental:inc_atc_gc_tricky .... passed (0.013 sec) 122s . done 122s Running scripts from nonmt_tests 122s % [1/9] xsb_test_nonmt:test_iso_basic ............... passed (0.009 sec) 122s % [2/9] xsb_test_nonmt:test_iso_mult_visit .......... passed (0.011 sec) 122s % [3/9] xsb_test_nonmt:test_iso_hash ................ passed (0.005 sec) 122s % [4/9] xsb_test_nonmt:test_iso_undef ............... passed (0.004 sec) 122s % [5/9] xsb_test_nonmt:test_lazy .................... passed (0.004 sec) 122s % [6/9] xsb_test_nonmt:test_introspection ........... passed (0.004 sec) 122s % [7/9] xsb_test_nonmt:test_invalidate .............. passed (0.003 sec) 122s % [8/9] xsb_test_nonmt:cmu_sei_0050 ................. passed (0.002 sec) 122s % [9/9] xsb_test_nonmt:test_recomputable ............ passed (0.002 sec) 122s . done 122s Running scripts from sub_tests 122s % [1/36] xsb_sub:lrtc1 .............................. passed (0.004 sec) 122s % [2/36] xsb_sub:lrtc2 .............................. passed (0.003 sec) 122s % [3/36] xsb_sub:lrtc3 .............................. passed (0.003 sec) 122s % [4/36] xsb_sub:lrtc4 .............................. passed (0.003 sec) 122s % [5/36] xsb_sub:lrtc5 .............................. passed (0.003 sec) 122s % [6/36] xsb_sub:lrtc6 .............................. passed (0.003 sec) 122s % [7/36] xsb_sub:lrtc7 .............................. passed (0.003 sec) 122s % [8/36] xsb_sub:lrtc8 .............................. passed (0.004 sec) 122s % [9/36] xsb_sub:rrtc1 .............................. passed (0.003 sec) 122s % [10/36] xsb_sub:rrtc2 ............................. passed (0.003 sec) 122s % [11/36] xsb_sub:rrtc3 ............................. passed (0.003 sec) 122s % [12/36] xsb_sub:rrtc4 ............................. passed (0.003 sec) 122s % [13/36] xsb_sub:rrtc5 ............................. passed (0.003 sec) 122s % [14/36] xsb_sub:rrtc6 ............................. passed (0.003 sec) 122s % [15/36] xsb_sub:rrtc7 ............................. passed (0.004 sec) 122s % [16/36] xsb_sub:rrtc8 ............................. passed (0.004 sec) 122s % [17/36] xsb_sub:drtc1 ............................. passed (0.003 sec) 122s % [18/36] xsb_sub:drtc2 ............................. passed (0.003 sec) 122s % [19/36] xsb_sub:drtc3 ............................. passed (0.003 sec) 122s % [20/36] xsb_sub:drtc4 ............................. passed (0.003 sec) 122s % [21/36] xsb_sub:drtc5 ............................. passed (0.003 sec) 122s % [22/36] xsb_sub:drtc6 ............................. passed (0.003 sec) 122s % [23/36] xsb_sub:drtc7 ............................. passed (0.004 sec) 122s % [24/36] xsb_sub:drtc8 ............................. passed (0.004 sec) 122s % [25/36] xsb_sub:sg1 ............................... passed (0.003 sec) 122s % [26/36] xsb_sub:sg2 ............................... passed (0.003 sec) 122s % [27/36] xsb_sub:sg3 ............................... passed (0.003 sec) 122s % [28/36] xsb_sub:sg4 ............................... passed (0.003 sec) 122s % [29/36] xsb_sub:sg5 ............................... passed (0.003 sec) 122s % [30/36] xsb_sub:sg6 ............................... passed (0.003 sec) 122s % [31/36] xsb_sub:sg7 ............................... passed (0.003 sec) 122s % [32/36] xsb_sub:sg8 ............................... passed (0.004 sec) 122s % [33/36] xsb_sub:genome1 ........................... passed (0.003 sec) 122s % [34/36] xsb_sub:genome2 ........................... passed (0.003 sec) 122s % [35/36] xsb_sub:genome3 ........................... passed (0.003 sec) 122s % [36/36] xsb_sub:test_answer_abstraction ........... passed (0.003 sec) 122s . done 122s Running scripts from rational 122s % [1/45] ieee754:ieee_flags ......................... passed (0.000 sec) 122s % [2/45] ieee754:ieee_excp .......................... passed (0.000 sec) 122s % [3/45] ieee754:ieee_cmp ........................... passed (0.000 sec) 122s % [4/45] ieee754:ieee_tcmp .......................... passed (0.000 sec) 122s % [5/45] ieee754:ieee_minus ......................... passed (0.000 sec) 122s % [6/45] ieee754:ieee_add ........................... passed (0.000 sec) 122s % [7/45] ieee754:ieee_sub ........................... passed (0.000 sec) 122s % [8/45] ieee754:ieee_mul ........................... passed (0.000 sec) 122s % [9/45] ieee754:ieee_div ........................... passed (0.000 sec) 122s % [10/45] ieee754:ieee_sign ......................... passed (0.000 sec) 122s % [11/45] ieee754:ieee_parts ........................ passed (0.000 sec) 122s % [12/45] ieee754:ieee_acos ......................... passed (0.000 sec) 122s % [13/45] ieee754:ieee_asin ......................... passed (0.000 sec) 122s % [14/45] ieee754:ieee_atan ......................... passed (0.000 sec) 122s % [15/45] ieee754:ieee_atan2 ........................ passed (0.000 sec) 122s % [16/45] ieee754:ieee_cos .......................... passed (0.000 sec) 122s % [17/45] ieee754:ieee_sin .......................... passed (0.000 sec) 122s % [18/45] ieee754:ieee_tan .......................... passed (0.000 sec) 122s % [19/45] ieee754:ieee_acosh ........................ passed (0.000 sec) 122s % [20/45] ieee754:ieee_asinh ........................ passed (0.000 sec) 122s % [21/45] ieee754:ieee_atanh ........................ passed (0.000 sec) 122s % [22/45] ieee754:ieee_cosh ......................... passed (0.000 sec) 122s % [23/45] ieee754:ieee_sinh ......................... passed (0.000 sec) 122s % [24/45] ieee754:ieee_tanh ......................... passed (0.000 sec) 122s % [25/45] ieee754:ieee_exp .......................... passed (0.000 sec) 122s % [26/45] ieee754:ieee_log .......................... passed (0.000 sec) 122s % [27/45] ieee754:ieee_log10 ........................ passed (0.000 sec) 122s % [28/45] ieee754:ieee_abs .......................... passed (0.000 sec) 122s % [29/45] ieee754:ieee_pow .......................... passed (0.000 sec) 122s % [30/45] ieee754:ieee_sqrt ......................... passed (0.000 sec) 122s % [31/45] ieee754:ieee_erf .......................... passed (0.000 sec) 122s % [32/45] ieee754:ieee_erfc ......................... passed (0.000 sec) 122s % [33/45] ieee754:ieee_lgamma ....................... passed (0.000 sec) 122s % [34/45] ieee754:ieee_ceil ......................... passed (0.000 sec) 122s % [35/45] ieee754:ieee_floor ........................ passed (0.000 sec) 122s % [36/45] ieee754:ieee_round ........................ passed (0.000 sec) 122s % [37/45] ieee754:ieee_trunc ........................ passed (0.000 sec) 122s % [38/45] ieee754:ieee_copysign ..................... passed (0.000 sec) 122s % [39/45] ieee754:ieee_nexttoward ................... passed (0.000 sec) 122s % [40/45] ieee754:ieee_max .......................... passed (0.000 sec) 122s % [41/45] ieee754:ieee_min .......................... passed (0.000 sec) 122s % [42/45] ieee754:ieee_rmode ........................ passed (0.000 sec) 122s % [43/45] ieee754:float_to_rat ...................... passed (0.000 sec) 122s % [44/45] ieee754:ieee_rndto ........................ passed (0.000 sec) 122s % [45/45] ieee754:bounded ........................... passed (0.000 sec) 122s . 122s % [1/15] rational:filters ........................... passed (0.000 sec) 122s % [2/15] rational:construct ......................... passed (0.000 sec) 122s % [3/15] rational:compare ........................... passed (0.000 sec) 122s % [4/15] rational:keep_precision .................... passed (0.000 sec) 122s % [5/15] rational:conversion ........................ passed (0.000 sec) 122s % [6/15] rational:int_to_rat ........................ passed (0.000 sec) 122s % [7/15] rational:rat_to_rat ........................ passed (0.000 sec) 122s % [8/15] rational:pow_special ....................... passed (0.000 sec) 122s % [9/15] rational:other_arith ....................... passed (0.000 sec) 122s % [10/15] rational:strings .......................... passed (0.000 sec) 122s % [11/15] rational:io ............................... passed (0.000 sec) 122s % [12/15] rational:syntax_fail ...................... passed (0.000 sec) 122s % [13/15] rationalize:trip .......................... passed (0.000 sec) 122s % [14/15] rationalize:roundtrip_rational ............ passed (0.002 sec) 122s % [15/15] rationalize:roundtrip_rationalize ......... passed (0.002 sec) 122s . 122s % [1/5] cmpr:compare_modes .......................... passed (0.000 sec) 122s % [2/5] cmpr:compare_corners ........................ passed (0.000 sec) 122s % [3/5] cmpr:realerrors ............................. passed (0.000 sec) 122s % [4/5] cmpr:neg .................................... passed (0.000 sec) 122s % [5/5] maxminr:realmaxmin .......................... passed (0.000 sec) 122s . done 122s Start testing package chr:chr 122s Start testing package clib:memfile 122s Start testing package clib:crypt 122s Start testing package clib:readutil 122s Start testing package clib:stream 122s Start testing package clib:uri 122s Start testing package clib:filesex 122s Start testing package clib:cgi 123s Package clib:uri........................ passed 0.30 sec. 123s Start testing package clib:time 123s Package clib:cgi........................ passed 0.32 sec. 123s Start testing package clib:process 123s Package clib:memfile.................... passed 0.37 sec. 123s Start testing package clib:socket 123s Package clib:filesex.................... passed 0.39 sec. 123s Start testing package clib:af_unix 123s Package clib:readutil................... passed 0.40 sec. 123s Start testing package clib:udp_sockets 123s Package clib:stream..................... passed 0.41 sec. 123s Start testing package clib:uuid 123s Package clib:crypt...................... passed 0.42 sec. 123s Start testing package http:json 123s Package clib:af_unix.................... passed 0.20 sec. 123s Start testing package http:term_html 123s Package clib:uuid....................... passed 0.40 sec. 123s Start testing package http:cgi_stream 123s Package clib:udp_sockets................ passed 0.51 sec. 123s Start testing package http:http 124s Package http:term_html.................. passed 0.69 sec. 124s Start testing package http:multipart 124s Package http:json....................... passed 0.91 sec. 124s Start testing package http:websocket 124s Package http:cgi_stream................. passed 0.59 sec. 124s Start testing package http:graphql 124s Package clib:time....................... passed 1.11 sec. 124s Start testing package mqi:mqi 124s Package clib:process.................... passed 1.12 sec. 124s Start testing package nlp:nlp 124s Package nlp:nlp......................... passed 0.19 sec. 124s Start testing package redis:redis 124s Package http:graphql.................... passed 0.37 sec. 124s Start testing package pengines:pengines 124s Package chr:chr......................... passed 1.80 sec. 124s Start testing package protobufs:protobufs 124s Package redis:redis..................... passed 0.24 sec. 124s Start testing package RDF:rdf 124s Package http:websocket.................. passed 0.68 sec. 124s Start testing package RDF:write 124s Package http:multipart.................. passed 0.77 sec. 124s Start testing package semweb:turtle 124s Package http:http....................... passed 1.21 sec. 124s Start testing package semweb:ntriples 124s Package RDF:rdf......................... passed 0.35 sec. 124s Start testing package semweb:turtle2 125s Package protobufs:protobufs............. passed 0.53 sec. 125s Start testing package semweb:con 125s Package semweb:con...................... passed 0.27 sec. 125s Start testing package semweb:litmap 125s Package RDF:write....................... passed 0.59 sec. 125s Start testing package semweb:load 125s Package semweb:turtle2.................. passed 0.41 sec. 125s Start testing package semweb:rdf11 125s Package semweb:ntriples................. passed 0.51 sec. 125s Start testing package semweb:rdf_db 125s Package semweb:litmap................... passed 0.46 sec. 125s Start testing package semweb:subprop 125s Package pengines:pengines............... passed 1.32 sec. 125s Start testing package sgml:sgml 125s Package semweb:rdf11.................... passed 0.45 sec. 125s Start testing package sgml:sgml_write 125s Package sgml:sgml....................... passed 0.15 sec. 125s Start testing package sgml:xsd 126s Package semweb:load..................... passed 0.65 sec. 126s Start testing package sgml:c14n 126s Package sgml:sgml_write................. passed 0.22 sec. 126s Start testing package zlib:zlib 126s Package semweb:rdf_db................... passed 0.85 sec. 126s Start testing package archive:archive 126s Package sgml:c14n....................... passed 0.28 sec. 126s Start testing package odbc:odbc 126s Package sgml:xsd........................ passed 0.39 sec. 126s Start testing package bdb:bdb 126s Package odbc:odbc....................... passed 0.16 sec. 126s Start testing package pcre:pcre 126s Package bdb:bdb......................... passed 0.29 sec. 126s Start testing package yaml:yaml 126s Package archive:archive................. passed 0.49 sec. 126s Start testing package jpl:java_in_prolog 126s Package zlib:zlib....................... passed 0.75 sec. 126s Start testing package swipy:janus 126s Package pcre:pcre....................... passed 0.42 sec. 126s Start testing package swipy:xsb_janus 127s Package yaml:yaml....................... passed 0.46 sec. 127s Start testing package ssl:ssl 127s Package swipy:xsb_janus................. passed 0.62 sec. 127s Package semweb:turtle................... passed 2.86 sec. 128s Package swipy:janus..................... passed 1.24 sec. 128s Package clib:socket..................... passed 4.97 sec. 128s Package semweb:subprop.................. passed 2.37 sec. 128s Package jpl:java_in_prolog.............. passed 1.50 sec. 128s Package mqi:mqi......................... passed 4.74 sec. 131s Package ssl:ssl......................... passed 4.38 sec. 131s All tests passed 131s autopkgtest [14:27:42]: test runtests: -----------------------] 132s runtests PASS 132s autopkgtest [14:27:43]: test runtests: - - - - - - - - - - results - - - - - - - - - - 132s autopkgtest [14:27:43]: @@@@@@@@@@@@@@@@@@@@ summary 132s runtests PASS