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