Diff of the two buildlogs: -- --- b1/build.log 2025-09-18 00:23:11.371763797 +0000 +++ b2/build.log 2025-09-18 00:40:13.669021912 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue Oct 20 18:39:28 -12 2026 -I: pbuilder-time-stamp: 1792564768 +I: Current time: Thu Sep 18 14:23:17 +14 2025 +I: pbuilder-time-stamp: 1758154997 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/experimental-reproducible-base.tgz] I: copying local configuration @@ -22,53 +22,85 @@ dpkg-source: info: unpacking elpi_3.3.1-1.debian.tar.xz I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/1383495/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/D01_modify_environment starting +debug: Running on ionos1-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Sep 18 00:24 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' - DISTRIBUTION='experimental' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="3" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.3.3(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=40 ' + DIRSTACK=() + DISTRIBUTION=experimental + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='7598f12d5e894c0fbf2c93e77200c230' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='1383495' - PS1='# ' - PS2='> ' + INVOCATION_ID=dbe2ba934bb146c6a14b71aac69ee267 + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=3577335 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.CYh2O9h8/pbuilderrc_XdVm --distribution experimental --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/experimental-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.CYh2O9h8/b1 --logfile b1/build.log elpi_3.3.1-1.dsc' - SUDO_GID='111' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.CYh2O9h8/pbuilderrc_uJZQ --distribution experimental --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/experimental-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.CYh2O9h8/b2 --logfile b2/build.log elpi_3.3.1-1.dsc' + SUDO_GID=110 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos15-amd64 6.12.43+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.43-1 (2025-08-27) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.43+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.43-1 (2025-08-27) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/1383495/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -526,7 +558,7 @@ Get: 230 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64 3.20.2-3 [4938 kB] Get: 231 http://deb.debian.org/debian unstable/main amd64 time amd64 1.9-0.3 [48.2 kB] Get: 232 http://deb.debian.org/debian unstable/main amd64 yojson-tools amd64 2.2.2-1+b2 [416 kB] -Fetched 258 MB in 27s (9418 kB/s) +Fetched 258 MB in 17s (15.2 MB/s) Preconfiguring packages ... (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 ... 19917 files and directories currently installed.) Removing disorderfs (0.6.0-1) ... @@ -1486,7 +1518,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/elpi-3.3.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../elpi_3.3.1-1_source.changes +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for experimental +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/elpi-3.3.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../elpi_3.3.1-1_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 3.3.1-1 dpkg-buildpackage: info: source distribution experimental @@ -1531,12 +1567,12 @@ git tag -a v3.3.1 -m foo; \ fi Initialized empty Git repository in /build/reproducible-path/elpi-3.3.1/.git/ -[main (root-commit) 073104f] foo +[main (root-commit) 31cbcc7] foo 1 file changed, 11 insertions(+) create mode 100644 dune make[1]: Leaving directory '/build/reproducible-path/elpi-3.3.1' dh_auto_build -O--buildsystem=ocaml_dune - dune build -j 42 -p elpi + dune build -j 40 -p elpi (cd _build/default/src/parser && /usr/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml Warning: one state has shift/reduce conflicts. Warning: 16 shift/reduce conflicts were arbitrarily resolved. @@ -1569,7 +1605,7 @@ dune build @all Warning: Cache directories could not be created: Permission denied; disabling cache -Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp +Hint: Make sure the directory /nonexistent/second-build/.cache/dune/db/temp can be created File "_none_", line 1: Alert ocaml_deprecated_auto_include: @@ -1589,7 +1625,7 @@ dune runtest Warning: Cache directories could not be created: Permission denied; disabling cache -Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp +Hint: Make sure the directory /nonexistent/second-build/.cache/dune/db/temp can be created -> Running test 1 <- @@ -1608,7 +1644,7 @@ Test remove 3 Test remove 4 The type of the variable X is (pred) -> (pred o:(pred)) -build: bl=1.074902 l=0.907665 +build: bl=1.160673 l=0.944245 ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ tests/test.exe \ --seed $RANDOM \ @@ -1624,337 +1660,337 @@ --runner /build/reproducible-path/elpi-3.3.1/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-3.3.1/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------ Runners: /build/reproducible-path/elpi-3.3.1/_build/install/default/bin/elpi /build/reproducible-path/elpi-3.3.1/_build/install/default/bin/elpi-trace-elaborator -Random seed: 27728 +Random seed: 259 Timeout: 90.00 seconds Fiber stack: 11141120 status test time typchk wall mem runner ------------------------------------------------------------------ RUNNING CHR_no_clique (CHR rule on a non constraint) elpi OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi -RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.01 0.04 14.3M elpi +RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.01 0.04 14.2M elpi RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.00 0.00 0.0M elpi RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.01 0.00 0.0M elpi -RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.01 0.04 14.3M elpi -RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.01 0.03 14.4M elpi -RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.01 0.03 14.3M elpi +RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.01 0.04 14.2M elpi +RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.01 0.03 14.1M elpi +RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.01 0.04 14.1M elpi RUNNING bad_index (bad indexing directive) elpi OK bad_index 0.00 0.00 0.00 0.0M elpi -RUNNING beta (beta reduction) elpi OK beta 0.00 0.01 0.04 14.6M elpi +RUNNING beta (beta reduction) elpi OK beta 0.00 0.01 0.38 14.2M elpi RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi RUNNING bug-256 (move/unif) elpi OK bug-256 0.00 0.01 0.04 14.2M elpi -RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.01 0.03 14.4M elpi -RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.01 0.03 14.4M elpi -RUNNING cbn (reduction) elpi OK cbn 0.35 0.01 0.39 19.3M elpi -RUNNING cbv (reduction) elpi OK cbv 2.16 0.01 2.20 18.5M elpi -RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.01 0.04 14.3M elpi -RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.01 0.03 14.4M elpi -RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.01 0.03 14.4M elpi +RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.01 0.33 14.2M elpi +RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.01 0.04 14.1M elpi +RUNNING cbn (reduction) elpi OK cbn 0.34 0.01 0.39 19.0M elpi +RUNNING cbv (reduction) elpi OK cbv 2.26 0.01 2.55 18.2M elpi +RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.01 0.04 14.1M elpi +RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.01 0.04 14.1M elpi +RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.01 0.04 13.9M elpi RUNNING chr-scope-change-err (chr-relocation) elpi OK chr-scope-change-err 0.00 0.01 0.00 0.0M elpi RUNNING chr_cut (cut not allowed) elpi OK chr_cut 0.00 0.00 0.00 0.0M elpi -RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.01 0.20 14.4M elpi -RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.01 0.13 14.1M elpi -RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.01 0.04 14.3M elpi -RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.01 0.15 14.4M elpi -RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.01 0.04 14.3M elpi -RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.01 0.03 14.4M elpi -RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.01 0.04 14.3M elpi -RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.01 0.03 14.3M elpi -RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.01 0.03 14.0M elpi -RUNNING crypt (standard Prolog benchmark) elpi OK crypt 5.02 0.01 5.06 49.7M elpi -RUNNING cut1 (what else) elpi OK cut1 0.00 0.02 0.06 14.3M elpi -RUNNING cut2 (what else) elpi OK cut2 0.00 0.01 0.03 14.1M elpi -RUNNING cut3 (what else) elpi OK cut3 0.00 0.01 0.04 14.4M elpi -RUNNING cut4 (what else) elpi OK cut4 0.00 0.01 0.03 14.3M elpi -RUNNING cut5 (what else) elpi OK cut5 0.00 0.01 0.03 14.3M elpi -RUNNING cut6 (what else) elpi OK cut6 0.00 0.01 0.03 14.4M elpi -RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.01 0.03 14.6M elpi -RUNNING discard (_) elpi OK discard 0.00 0.01 0.03 14.4M elpi -RUNNING dt (discrimination_tree indexing) elpi OK dt 2.07 0.01 2.10 14.4M elpi -RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 2.67 0.01 2.71 17.2M elpi -RUNNING dt_bug272 (dt list truncation heuristic) elpi OK dt_bug272 0.02 0.01 0.05 14.4M elpi -RUNNING dt_bug323 (dt on_all_children) elpi OK dt_bug323 0.00 0.01 0.04 14.4M elpi -RUNNING dt_empty_list (discrimination_tree empty_list) elpi OK dt_empty_list 0.00 0.01 0.04 14.4M elpi -RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.01 0.03 14.6M elpi -RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.74 0.01 0.77 19.5M elpi -RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.74 0.01 0.78 18.7M elpi +RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.01 0.04 14.1M elpi +RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.01 0.04 14.1M elpi +RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.01 0.04 14.1M elpi +RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.01 0.04 14.1M elpi +RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.01 0.18 14.1M elpi +RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.01 0.04 14.1M elpi +RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.01 0.04 14.5M elpi +RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.01 0.04 13.9M elpi +RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.01 0.04 14.2M elpi +RUNNING crypt (standard Prolog benchmark) elpi OK crypt 4.94 0.01 5.02 48.2M elpi +RUNNING cut1 (what else) elpi OK cut1 0.00 0.01 0.04 14.1M elpi +RUNNING cut2 (what else) elpi OK cut2 0.00 0.01 0.04 14.1M elpi +RUNNING cut3 (what else) elpi OK cut3 0.00 0.01 0.40 14.2M elpi +RUNNING cut4 (what else) elpi OK cut4 0.00 0.01 0.04 14.2M elpi +RUNNING cut5 (what else) elpi OK cut5 0.00 0.01 0.26 14.2M elpi +RUNNING cut6 (what else) elpi OK cut6 0.00 0.01 0.04 14.1M elpi +RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.01 0.30 14.2M elpi +RUNNING discard (_) elpi OK discard 0.00 0.01 0.04 14.1M elpi +RUNNING dt (discrimination_tree indexing) elpi OK dt 2.10 0.01 2.13 13.9M elpi +RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 3.10 0.01 3.14 17.3M elpi +RUNNING dt_bug272 (dt list truncation heuristic) elpi OK dt_bug272 0.02 0.01 0.05 14.1M elpi +RUNNING dt_bug323 (dt on_all_children) elpi OK dt_bug323 0.00 0.01 0.04 14.2M elpi +RUNNING dt_empty_list (discrimination_tree empty_list) elpi OK dt_empty_list 0.73 0.01 0.91 14.2M elpi +RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.01 0.52 14.4M elpi +RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.84 0.01 0.88 19.4M elpi +RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.84 0.01 1.10 19.0M elpi RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multiparam3 0.00 0.01 0.00 0.0M elpi -RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multivar 0.00 0.01 0.04 14.3M elpi -RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 13.78 0.01 13.81 14.4M elpi -RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.01 0.03 14.4M elpi -RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.01 0.03 14.4M elpi -RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.01 0.03 14.4M elpi -RUNNING dt_var3 (discrimination_tree indexing flex) elpi OK dt_var3 0.00 0.01 0.03 14.3M elpi +RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multivar 0.00 0.01 0.31 14.2M elpi +RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 14.54 0.01 14.79 14.2M elpi +RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.01 0.35 14.2M elpi +RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.01 0.25 14.1M elpi +RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.01 0.04 14.2M elpi +RUNNING dt_var3 (discrimination_tree indexing flex) elpi OK dt_var3 0.00 0.01 0.04 14.2M elpi RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.00 0.00 0.0M elpi -RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.01 0.03 14.3M elpi -RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.01 0.04 14.3M elpi -RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.01 0.04 14.3M elpi -RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 1.96 0.01 2.00 17.2M elpi -RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.01 0.03 14.3M elpi -RUNNING findall_csts (stash across backtrack) elpi OK findall_csts 0.00 0.01 0.03 13.7M elpi +RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.01 0.04 14.2M elpi +RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.01 0.04 14.5M elpi +RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.25 0.01 0.29 14.1M elpi +RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 1.96 0.01 2.27 17.3M elpi +RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.01 0.04 14.4M elpi +RUNNING findall_csts (stash across backtrack) elpi OK findall_csts 0.00 0.01 0.23 14.1M elpi RUNNING functionality1 (functionality1) elpi OK functionality1 0.00 0.00 0.00 0.0M elpi RUNNING functionality10 (functionality10) elpi OK functionality10 0.00 0.00 0.00 0.0M elpi -RUNNING functionality100 (functionality100) elpi OK functionality100 0.00 0.01 0.03 14.1M elpi -RUNNING functionality101 (functionality101) elpi OK functionality101 0.00 0.01 0.15 14.3M elpi +RUNNING functionality100 (functionality100) elpi OK functionality100 0.00 0.01 0.14 14.0M elpi +RUNNING functionality101 (functionality101) elpi OK functionality101 0.00 0.01 0.04 14.2M elpi RUNNING functionality102 (functionality102) elpi OK functionality102 0.00 0.00 0.00 0.0M elpi RUNNING functionality103 (functionality103) elpi OK functionality103 0.00 0.00 0.00 0.0M elpi -RUNNING functionality104 (functionality104) elpi OK functionality104 0.00 0.01 0.03 14.3M elpi -RUNNING functionality105 (functionality105) elpi OK functionality105 0.00 0.01 0.03 14.4M elpi -RUNNING functionality106 (functionality106) elpi OK functionality106 0.00 0.01 0.05 14.4M elpi +RUNNING functionality104 (functionality104) elpi OK functionality104 0.00 0.01 0.03 14.1M elpi +RUNNING functionality105 (functionality105) elpi OK functionality105 0.00 0.01 0.17 14.2M elpi +RUNNING functionality106 (functionality106) elpi OK functionality106 0.00 0.01 0.08 14.4M elpi RUNNING functionality107 (functionality107) elpi OK functionality107 0.00 0.00 0.00 0.0M elpi RUNNING functionality108 (functionality108) elpi OK functionality108 0.00 0.00 0.00 0.0M elpi RUNNING functionality109 (functionality109) elpi OK functionality109 0.00 0.00 0.00 0.0M elpi RUNNING functionality11 (functionality11) elpi OK functionality11 0.00 0.00 0.00 0.0M elpi -RUNNING functionality110 (functionality110) elpi OK functionality110 0.00 0.01 0.03 14.3M elpi +RUNNING functionality110 (functionality110) elpi OK functionality110 0.00 0.01 0.15 14.2M elpi RUNNING functionality111 (functionality111) elpi OK functionality111 0.00 0.00 0.00 0.0M elpi -RUNNING functionality112 (functionality112) elpi OK functionality112 0.00 0.01 0.03 14.3M elpi +RUNNING functionality112 (functionality112) elpi OK functionality112 0.00 0.01 0.16 14.2M elpi RUNNING functionality113 (functionality113) elpi OK functionality113 0.00 0.00 0.00 0.0M elpi -RUNNING functionality114 (functionality114) elpi OK functionality114 0.00 0.01 0.04 14.4M elpi +RUNNING functionality114 (functionality114) elpi OK functionality114 0.00 0.01 0.04 14.2M elpi RUNNING functionality115 (functionality115) elpi OK functionality115 0.00 0.00 0.00 0.0M elpi -RUNNING functionality116 (functionality116) elpi OK functionality116 0.00 0.01 0.03 14.4M elpi +RUNNING functionality116 (functionality116) elpi OK functionality116 0.00 0.01 0.04 14.4M elpi RUNNING functionality117 (functionality117) elpi OK functionality117 0.00 0.00 0.00 0.0M elpi RUNNING functionality118 (functionality118) elpi OK functionality118 0.00 0.00 0.00 0.0M elpi -RUNNING functionality119 (functionality119) elpi OK functionality119 0.00 0.01 0.03 14.4M elpi -RUNNING functionality12 (functionality12) elpi OK functionality12 0.00 0.01 0.03 14.4M elpi +RUNNING functionality119 (functionality119) elpi OK functionality119 0.00 0.01 0.03 14.2M elpi +RUNNING functionality12 (functionality12) elpi OK functionality12 0.00 0.01 0.09 14.2M elpi RUNNING functionality13 (functionality13) elpi OK functionality13 0.00 0.00 0.00 0.0M elpi RUNNING functionality14 (functionality14) elpi OK functionality14 0.00 0.00 0.00 0.0M elpi -RUNNING functionality15 (functionality15) elpi OK functionality15 0.00 0.01 0.03 14.4M elpi +RUNNING functionality15 (functionality15) elpi OK functionality15 0.00 0.01 0.04 14.2M elpi RUNNING functionality16 (functionality16) elpi OK functionality16 0.00 0.00 0.00 0.0M elpi -RUNNING functionality17 (functionality17) elpi OK functionality17 0.00 0.01 0.03 14.3M elpi +RUNNING functionality17 (functionality17) elpi OK functionality17 0.00 0.01 0.11 13.9M elpi RUNNING functionality18 (functionality18) elpi OK functionality18 0.00 0.00 0.00 0.0M elpi RUNNING functionality19 (functionality19) elpi OK functionality19 0.00 0.00 0.00 0.0M elpi -RUNNING functionality2 (functionality2) elpi OK functionality2 0.00 0.01 0.03 14.3M elpi -RUNNING functionality20 (functionality20) elpi OK functionality20 0.00 0.01 0.03 14.1M elpi +RUNNING functionality2 (functionality2) elpi OK functionality2 0.00 0.01 0.04 14.4M elpi +RUNNING functionality20 (functionality20) elpi OK functionality20 0.00 0.01 0.04 14.2M elpi RUNNING functionality21 (functionality21) elpi OK functionality21 0.00 0.00 0.00 0.0M elpi -RUNNING functionality22 (functionality22) elpi OK functionality22 0.00 0.01 0.03 14.4M elpi +RUNNING functionality22 (functionality22) elpi OK functionality22 0.00 0.01 0.04 13.9M elpi RUNNING functionality23 (functionality23) elpi OK functionality23 0.00 0.00 0.00 0.0M elpi -RUNNING functionality24 (functionality24) elpi OK functionality24 0.00 0.01 0.03 14.3M elpi +RUNNING functionality24 (functionality24) elpi OK functionality24 0.00 0.01 0.04 14.2M elpi RUNNING functionality25 (functionality25) elpi OK functionality25 0.00 0.00 0.00 0.0M elpi RUNNING functionality26 (functionality26) elpi OK functionality26 0.00 0.00 0.00 0.0M elpi RUNNING functionality27 (functionality27) elpi OK functionality27 0.00 0.00 0.00 0.0M elpi -RUNNING functionality28 (functionality28) elpi OK functionality28 0.00 0.01 0.03 14.3M elpi -RUNNING functionality29 (functionality29) elpi OK functionality29 0.00 0.01 0.03 14.3M elpi +RUNNING functionality28 (functionality28) elpi OK functionality28 0.00 0.01 0.09 14.1M elpi +RUNNING functionality29 (functionality29) elpi OK functionality29 0.00 0.01 0.04 14.0M elpi RUNNING functionality3 (functionality3) elpi OK functionality3 0.00 0.00 0.00 0.0M elpi RUNNING functionality30 (functionality30) elpi OK functionality30 0.00 0.00 0.00 0.0M elpi RUNNING functionality31 (functionality31) elpi OK functionality31 0.00 0.00 0.00 0.0M elpi -RUNNING functionality32 (functionality32) elpi OK functionality32 0.00 0.01 0.03 14.4M elpi +RUNNING functionality32 (functionality32) elpi OK functionality32 0.00 0.01 0.04 14.2M elpi RUNNING functionality33 (functionality33) elpi OK functionality33 0.00 0.00 0.00 0.0M elpi RUNNING functionality34 (functionality34) elpi OK functionality34 0.00 0.00 0.00 0.0M elpi RUNNING functionality35 (functionality35) elpi OK functionality35 0.00 0.00 0.00 0.0M elpi -RUNNING functionality36 (functionality36) elpi OK functionality36 0.00 0.01 0.03 14.6M elpi +RUNNING functionality36 (functionality36) elpi OK functionality36 0.00 0.01 0.15 14.2M elpi RUNNING functionality37 (functionality37) elpi OK functionality37 0.00 0.00 0.00 0.0M elpi RUNNING functionality38 (functionality38) elpi OK functionality38 0.00 0.00 0.00 0.0M elpi -RUNNING functionality39 (functionality39) elpi OK functionality39 0.00 0.01 0.03 14.3M elpi +RUNNING functionality39 (functionality39) elpi OK functionality39 0.00 0.01 0.04 14.4M elpi RUNNING functionality4 (functionality4) elpi OK functionality4 0.00 0.00 0.00 0.0M elpi -RUNNING functionality40 (functionality40) elpi OK functionality40 0.00 0.01 0.03 14.4M elpi +RUNNING functionality40 (functionality40) elpi OK functionality40 0.00 0.01 0.04 14.1M elpi RUNNING functionality41 (functionality41) elpi OK functionality41 0.00 0.00 0.00 0.0M elpi -RUNNING functionality42 (functionality42) elpi OK functionality42 0.00 0.01 0.03 14.3M elpi +RUNNING functionality42 (functionality42) elpi OK functionality42 0.00 0.01 0.09 14.4M elpi RUNNING functionality43 (functionality43) elpi OK functionality43 0.00 0.00 0.00 0.0M elpi -RUNNING functionality44 (functionality44) elpi OK functionality44 0.00 0.01 0.03 14.4M elpi +RUNNING functionality44 (functionality44) elpi OK functionality44 0.00 0.01 0.04 14.1M elpi RUNNING functionality45 (functionality45) elpi OK functionality45 0.00 0.00 0.00 0.0M elpi -RUNNING functionality46 (functionality46) elpi OK functionality46 0.00 0.01 0.03 14.3M elpi -RUNNING functionality47 (functionality47) elpi OK functionality47 0.00 0.01 0.03 14.4M elpi -RUNNING functionality48 (functionality48) elpi OK functionality48 0.00 0.01 0.03 14.2M elpi -RUNNING functionality49 (functionality49) elpi OK functionality49 0.00 0.01 0.03 14.4M elpi +RUNNING functionality46 (functionality46) elpi OK functionality46 0.00 0.01 0.14 14.2M elpi +RUNNING functionality47 (functionality47) elpi OK functionality47 0.00 0.01 0.04 14.1M elpi +RUNNING functionality48 (functionality48) elpi OK functionality48 0.00 0.01 0.04 14.2M elpi +RUNNING functionality49 (functionality49) elpi OK functionality49 0.00 0.01 0.04 14.2M elpi RUNNING functionality5 (functionality5) elpi OK functionality5 0.00 0.00 0.00 0.0M elpi RUNNING functionality50 (functionality50) elpi OK functionality50 0.00 0.00 0.00 0.0M elpi -RUNNING functionality51 (functionality51) elpi OK functionality51 0.00 0.01 0.03 14.4M elpi +RUNNING functionality51 (functionality51) elpi OK functionality51 0.00 0.01 0.25 14.2M elpi RUNNING functionality52 (functionality52) elpi OK functionality52 0.00 0.00 0.00 0.0M elpi -RUNNING functionality53 (functionality53) elpi OK functionality53 0.00 0.01 0.03 14.3M elpi +RUNNING functionality53 (functionality53) elpi OK functionality53 0.00 0.01 0.10 14.1M elpi RUNNING functionality54 (functionality54) elpi OK functionality54 0.00 0.00 0.00 0.0M elpi -RUNNING functionality55 (functionality55) elpi OK functionality55 0.00 0.01 0.03 14.0M elpi +RUNNING functionality55 (functionality55) elpi OK functionality55 0.00 0.01 0.09 14.1M elpi RUNNING functionality56 (functionality56) elpi OK functionality56 0.00 0.00 0.00 0.0M elpi RUNNING functionality57 (functionality57) elpi OK functionality57 0.00 0.00 0.00 0.0M elpi RUNNING functionality58 (functionality58) elpi OK functionality58 0.00 0.00 0.00 0.0M elpi -RUNNING functionality59 (functionality59) elpi OK functionality59 0.00 0.01 0.03 14.3M elpi +RUNNING functionality59 (functionality59) elpi OK functionality59 0.00 0.01 0.04 14.1M elpi RUNNING functionality6 (functionality6) elpi OK functionality6 0.00 0.00 0.00 0.0M elpi -RUNNING functionality60 (functionality60) elpi OK functionality60 0.00 0.01 0.03 14.3M elpi +RUNNING functionality60 (functionality60) elpi OK functionality60 0.00 0.01 0.04 14.2M elpi RUNNING functionality61 (functionality61) elpi OK functionality61 0.00 0.00 0.00 0.0M elpi -RUNNING functionality62 (functionality62) elpi OK functionality62 0.00 0.01 0.03 14.6M elpi -RUNNING functionality63 (functionality63) elpi OK functionality63 0.00 0.01 0.03 14.3M elpi -RUNNING functionality64 (functionality64) elpi OK functionality64 0.00 0.01 0.03 14.6M elpi +RUNNING functionality62 (functionality62) elpi OK functionality62 0.00 0.01 0.20 14.2M elpi +RUNNING functionality63 (functionality63) elpi OK functionality63 0.00 0.01 0.04 14.2M elpi +RUNNING functionality64 (functionality64) elpi OK functionality64 0.00 0.01 0.03 14.1M elpi RUNNING functionality65 (functionality65) elpi OK functionality65 0.00 0.00 0.00 0.0M elpi -RUNNING functionality66 (functionality66) elpi OK functionality66 0.00 0.01 0.03 14.4M elpi +RUNNING functionality66 (functionality66) elpi OK functionality66 0.00 0.01 0.04 14.2M elpi RUNNING functionality67 (functionality67) elpi OK functionality67 0.00 0.00 0.00 0.0M elpi RUNNING functionality68 (functionality68) elpi OK functionality68 0.00 0.00 0.00 0.0M elpi RUNNING functionality69 (functionality69) elpi OK functionality69 0.00 0.00 0.00 0.0M elpi RUNNING functionality7 (functionality7) elpi OK functionality7 0.00 0.00 0.00 0.0M elpi RUNNING functionality70 (functionality70) elpi OK functionality70 0.00 0.00 0.00 0.0M elpi -RUNNING functionality71 (functionality71) elpi OK functionality71 0.00 0.01 0.03 14.4M elpi -RUNNING functionality72 (functionality72) elpi OK functionality72 0.00 0.01 0.03 14.2M elpi +RUNNING functionality71 (functionality71) elpi OK functionality71 0.00 0.01 0.55 14.2M elpi +RUNNING functionality72 (functionality72) elpi OK functionality72 0.00 0.01 0.04 14.4M elpi RUNNING functionality73 (functionality73) elpi OK functionality73 0.00 0.00 0.00 0.0M elpi RUNNING functionality74 (functionality74) elpi OK functionality74 0.00 0.00 0.00 0.0M elpi RUNNING functionality75 (functionality75) elpi OK functionality75 0.00 0.00 0.00 0.0M elpi -RUNNING functionality76 (functionality76) elpi OK functionality76 0.00 0.01 0.03 14.4M elpi -RUNNING functionality77 (functionality77) elpi OK functionality77 0.00 0.01 0.03 14.4M elpi +RUNNING functionality76 (functionality76) elpi OK functionality76 0.00 0.01 0.03 14.1M elpi +RUNNING functionality77 (functionality77) elpi OK functionality77 0.00 0.01 0.04 14.2M elpi RUNNING functionality78 (functionality78) elpi OK functionality78 0.00 0.00 0.00 0.0M elpi -RUNNING functionality79 (functionality79) elpi OK functionality79 0.00 0.01 0.03 14.1M elpi +RUNNING functionality79 (functionality79) elpi OK functionality79 0.00 0.01 0.22 14.1M elpi RUNNING functionality8 (functionality8) elpi OK functionality8 0.00 0.00 0.00 0.0M elpi -RUNNING functionality80 (functionality80) elpi OK functionality80 0.00 0.01 0.03 14.6M elpi +RUNNING functionality80 (functionality80) elpi OK functionality80 0.00 0.01 0.03 14.2M elpi RUNNING functionality81 (functionality81) elpi OK functionality81 0.00 0.00 0.00 0.0M elpi -RUNNING functionality82 (functionality82) elpi OK functionality82 0.00 0.01 0.03 14.4M elpi +RUNNING functionality82 (functionality82) elpi OK functionality82 0.00 0.01 0.26 14.2M elpi RUNNING functionality83 (functionality83) elpi OK functionality83 0.00 0.00 0.00 0.0M elpi -RUNNING functionality84 (functionality84) elpi OK functionality84 0.00 0.01 0.03 14.4M elpi +RUNNING functionality84 (functionality84) elpi OK functionality84 0.00 0.01 0.04 14.1M elpi RUNNING functionality85 (functionality85) elpi OK functionality85 0.00 0.00 0.00 0.0M elpi -RUNNING functionality86 (functionality86) elpi OK functionality86 0.00 0.01 0.03 14.6M elpi -RUNNING functionality87 (functionality87) elpi OK functionality87 0.00 0.01 0.03 14.4M elpi -RUNNING functionality88 (functionality88) elpi OK functionality88 0.00 0.01 0.03 14.4M elpi -RUNNING functionality89 (functionality89) elpi OK functionality89 0.00 0.01 0.03 14.4M elpi +RUNNING functionality86 (functionality86) elpi OK functionality86 0.00 0.01 0.04 14.2M elpi +RUNNING functionality87 (functionality87) elpi OK functionality87 0.00 0.01 0.33 14.1M elpi +RUNNING functionality88 (functionality88) elpi OK functionality88 0.00 0.01 0.13 14.5M elpi +RUNNING functionality89 (functionality89) elpi OK functionality89 0.00 0.01 0.04 14.2M elpi RUNNING functionality9 (functionality9) elpi OK functionality9 0.00 0.00 0.00 0.0M elpi -RUNNING functionality90 (functionality90) elpi OK functionality90 0.00 0.01 0.03 14.1M elpi +RUNNING functionality90 (functionality90) elpi OK functionality90 0.00 0.01 0.26 14.2M elpi RUNNING functionality91 (functionality91) elpi OK functionality91 0.00 0.00 0.00 0.0M elpi -RUNNING functionality92 (functionality92) elpi OK functionality92 0.00 0.01 0.03 14.3M elpi -RUNNING functionality93 (functionality93) elpi OK functionality93 0.00 0.01 0.03 14.4M elpi +RUNNING functionality92 (functionality92) elpi OK functionality92 0.00 0.01 0.03 14.1M elpi +RUNNING functionality93 (functionality93) elpi OK functionality93 0.00 0.01 0.03 14.2M elpi RUNNING functionality94 (functionality94) elpi OK functionality94 0.00 0.00 0.00 0.0M elpi RUNNING functionality95 (functionality95) elpi OK functionality95 0.00 0.00 0.00 0.0M elpi RUNNING functionality96 (functionality96) elpi OK functionality96 0.00 0.00 0.00 0.0M elpi RUNNING functionality97 (functionality97) elpi OK functionality97 0.00 0.00 0.00 0.0M elpi RUNNING functionality98 (functionality98) elpi OK functionality98 0.00 0.00 0.00 0.0M elpi -RUNNING functionality99 (functionality99) elpi OK functionality99 0.00 0.01 0.05 14.3M elpi -RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.01 0.04 14.4M elpi -RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi OK graft_before_same 0.00 0.01 0.04 14.4M elpi -RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.01 0.08 14.4M elpi +RUNNING functionality99 (functionality99) elpi OK functionality99 0.00 0.01 0.04 14.2M elpi +RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.01 0.17 14.1M elpi +RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi OK graft_before_same 0.00 0.02 0.07 14.3M elpi +RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.02 0.07 14.4M elpi RUNNING graft_replace_err (replacing a clase) elpi OK graft_replace_err 0.00 0.00 0.00 0.0M elpi -RUNNING graft_replace_ok (replacing a clase) elpi OK graft_replace_ok 0.00 0.01 0.04 14.4M elpi -RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 31.21 1.25 36.23 2476.7M elpi -RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.05 0.16 14.4M elpi -RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.02 0.11 14.3M elpi -RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.06 0.18 14.1M elpi -RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.02 0.12 14.4M elpi -RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.02 0.09 14.2M elpi -RUNNING ho (HO predicates) elpi OK ho 0.00 0.03 0.09 14.1M elpi +RUNNING graft_replace_ok (replacing a clase) elpi OK graft_replace_ok 0.00 0.02 0.07 14.4M elpi +RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 28.74 1.30 34.49 2475.1M elpi +RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.01 0.04 14.1M elpi +RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.01 0.04 14.1M elpi +RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.01 0.04 14.2M elpi +RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.01 0.04 14.1M elpi +RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.01 0.04 14.2M elpi +RUNNING ho (HO predicates) elpi OK ho 0.00 0.01 0.04 14.2M elpi RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi -RUNNING holp (HOL programming) elpi OK holp 0.00 0.05 0.15 14.7M elpi -RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.03 0.14 13.4M elpi -RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.02 0.07 14.1M elpi -RUNNING impl (implication) elpi OK impl 0.00 0.02 0.07 14.0M elpi -RUNNING impl2 (implication) elpi OK impl2 0.00 0.04 0.13 14.0M elpi -RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.05 0.15 13.4M elpi -RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.02 0.06 14.3M elpi -RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.03 0.09 14.0M elpi -RUNNING index2 (indexing the second argument) elpi OK index2 4.43 0.02 4.52 14.5M elpi -RUNNING is (calc) elpi OK is 0.00 0.01 0.04 14.2M elpi -RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.49 0.01 0.54 17.4M elpi -RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.01 0.04 14.6M elpi +RUNNING holp (HOL programming) elpi OK holp 0.00 0.01 0.04 15.1M elpi +RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.01 0.04 13.9M elpi +RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.01 0.12 14.4M elpi +RUNNING impl (implication) elpi OK impl 0.00 0.01 0.04 14.2M elpi +RUNNING impl2 (implication) elpi OK impl2 0.00 0.01 0.04 14.2M elpi +RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.01 0.04 14.1M elpi +RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.01 0.11 14.1M elpi +RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.01 0.04 14.1M elpi +RUNNING index2 (indexing the second argument) elpi OK index2 2.31 0.01 2.40 14.5M elpi +RUNNING is (calc) elpi OK is 0.00 0.01 0.20 14.2M elpi +RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.45 0.01 0.52 17.7M elpi +RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.01 0.04 14.2M elpi RUNNING lambda5 (simple type checker) elpi OK lambda5 0.00 0.00 0.00 0.0M elpi RUNNING lambda6 (simple type checker) elpi OK lambda6 0.00 0.00 0.00 0.0M elpi -RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.01 0.04 14.3M elpi -RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.01 0.04 14.3M elpi -RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.01 0.05 15.0M elpi -RUNNING linear (linear variable check) elpi OK linear 0.00 0.01 0.03 14.6M elpi -RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.01 0.04 14.3M elpi -RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.01 0.04 14.4M elpi -RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.01 0.04 14.7M elpi -RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.01 0.03 14.3M elpi -RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.01 0.04 14.4M elpi -RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.01 0.04 14.4M elpi -RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.01 0.03 14.4M elpi -RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.01 0.04 14.4M elpi -RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.01 0.03 14.4M elpi -RUNNING lyp (type checker for λΥP) elpi OK lyp 6.53 2.21 14.39 829.5M elpi -RUNNING macro_type (polymorphic macro) elpi OK macro_type 0.00 0.01 0.04 14.5M elpi +RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.01 0.10 14.4M elpi +RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.01 0.04 14.2M elpi +RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.01 0.05 14.8M elpi +RUNNING linear (linear variable check) elpi OK linear 0.00 0.01 0.04 14.2M elpi +RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.01 0.04 13.8M elpi +RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.01 0.04 14.2M elpi +RUNNING llam (Miller pattern unification) elpi OK llam 0.05 0.01 0.09 14.4M elpi +RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.01 0.07 14.2M elpi +RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.01 0.04 14.1M elpi +RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.01 0.09 14.1M elpi +RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.01 0.04 14.2M elpi +RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.01 0.04 14.2M elpi +RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.01 0.04 14.1M elpi +RUNNING lyp (type checker for λΥP) elpi OK lyp 6.53 2.29 14.71 829.5M elpi +RUNNING macro_type (polymorphic macro) elpi OK macro_type 0.00 0.01 0.10 14.2M elpi RUNNING macro_type_err_pos (polymorphic macro) elpi OK macro_type_err_pos 0.00 0.00 0.00 0.0M elpi -RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 11.99 0.01 12.02 18.1M elpi -RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 13.22 0.01 13.26 19.2M elpi -RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.01 0.04 14.3M elpi -RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 3.50 0.01 3.54 18.9M elpi -RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.01 0.04 14.4M elpi -RUNNING mu (standard Prolog benchmark) elpi OK mu 2.73 0.01 2.77 17.9M elpi -RUNNING name (name builtin) elpi OK name 0.00 0.01 0.04 14.3M elpi +RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 11.71 0.01 11.75 18.2M elpi +RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 23.57 0.01 23.69 18.8M elpi +RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.06 0.19 13.9M elpi +RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 11.73 0.04 11.88 18.9M elpi +RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.06 0.18 14.2M elpi +RUNNING mu (standard Prolog benchmark) elpi OK mu 25.29 0.04 25.48 18.1M elpi +RUNNING name (name builtin) elpi OK name 0.00 0.06 0.20 14.0M elpi RUNNING named_clauses00 (clause grafting using names) elpi OK named_clauses00 0.00 0.00 0.00 0.0M elpi RUNNING named_clauses01 (clause grafting using names) elpi OK named_clauses01 0.00 0.00 0.00 0.0M elpi -RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.01 0.03 14.5M elpi -RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.01 0.03 14.4M elpi -RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.01 0.03 14.3M elpi -RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.01 0.04 14.3M elpi -RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.01 0.03 14.4M elpi -RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.01 0.04 14.4M elpi -RUNNING notation (extensible syntax) elpi OK notation 0.00 0.01 0.04 14.4M elpi +RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.06 0.21 14.0M elpi +RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.06 0.19 14.3M elpi +RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.07 0.23 13.9M elpi +RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.07 0.26 14.3M elpi +RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 1.77 1.95 14.3M elpi +RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.03 0.15 13.7M elpi +RUNNING notation (extensible syntax) elpi OK notation 0.00 0.05 0.17 14.0M elpi RUNNING notation_error (infix declaration error) elpi OK notation_error 0.00 0.00 0.00 0.0M elpi -RUNNING oc_eta (eta expansion and occur check) elpi OK oc_eta 0.00 0.01 0.00 0.0M elpi -RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.01 0.04 14.3M elpi -RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.02 0.33 14.4M elpi -RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.02 0.05 15.3M elpi -RUNNING pi (pi quantification) elpi OK pi 0.00 0.01 0.04 14.3M elpi -RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.01 0.03 14.3M elpi -RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.01 0.03 14.5M elpi -RUNNING pm (pattern matching builtin) elpi OK pm 0.00 0.01 0.03 14.3M elpi -RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.01 0.04 14.9M elpi -RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.01 0.04 14.6M elpi -RUNNING printer (printing infix) elpi OK printer 0.00 0.01 0.04 14.5M elpi -RUNNING progs (progs) elpi OK progs 0.00 0.01 0.04 15.0M elpi -RUNNING queens (standard Prolog benchmark) elpi OK queens 1.90 0.01 1.94 131.4M elpi -RUNNING random (random numbers) elpi OK random 0.00 0.01 0.03 14.3M elpi -RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.01 0.00 0.0M elpi -RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.01 0.04 14.4M elpi -RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.01 0.03 14.4M elpi -RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.01 0.03 14.3M elpi -RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.01 0.04 14.4M elpi -RUNNING rev (list reversal) elpi OK rev 0.20 0.01 0.24 50.4M elpi -RUNNING rev14 (list reversal) elpi OK rev14 0.20 0.01 0.24 48.5M elpi -RUNNING same_term (the == operator) elpi OK same_term 0.00 0.01 0.04 14.4M elpi -RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.01 0.04 14.0M elpi -RUNNING set (stdlib set) elpi OK set 2.98 0.01 3.02 18.5M elpi -RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.64 0.01 0.68 62.7M elpi -RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.01 0.03 14.4M elpi -RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.01 0.04 14.6M elpi -RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.01 0.04 14.6M elpi -RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.01 0.03 14.4M elpi -RUNNING spill-var (spilling a var) elpi OK spill-var 0.00 0.01 0.03 14.3M elpi -RUNNING spill2 (spilling 2 arguments) elpi OK spill2 0.00 0.01 0.03 14.4M elpi -RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.01 0.04 14.4M elpi -RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.01 0.03 14.4M elpi -RUNNING spill_sigma (spilling under sigma) elpi OK spill_sigma 0.00 0.01 0.04 14.3M elpi -RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.01 0.04 14.1M elpi -RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.01 0.03 14.4M elpi -RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.01 0.03 14.4M elpi -RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.01 0.04 14.3M elpi -RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.01 0.04 14.0M elpi +RUNNING oc_eta (eta expansion and occur check) elpi OK oc_eta 0.00 0.02 0.00 0.0M elpi +RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.06 0.19 14.3M elpi +RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.05 0.21 14.1M elpi +RUNNING pcf (type inference for PCF) elpi OK pcf 0.02 0.13 0.37 15.3M elpi +RUNNING pi (pi quantification) elpi OK pi 0.00 0.06 0.22 14.1M elpi +RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.04 0.14 14.0M elpi +RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.02 0.09 14.2M elpi +RUNNING pm (pattern matching builtin) elpi OK pm 0.00 0.05 0.18 14.4M elpi +RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.07 0.27 13.7M elpi +RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.07 0.20 14.3M elpi +RUNNING printer (printing infix) elpi OK printer 0.00 0.09 0.31 13.7M elpi +RUNNING progs (progs) elpi OK progs 0.01 0.10 0.29 14.6M elpi +RUNNING queens (standard Prolog benchmark) elpi OK queens 10.57 0.07 10.82 131.1M elpi +RUNNING random (random numbers) elpi OK random 0.00 0.07 0.24 14.4M elpi +RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.07 0.00 0.0M elpi +RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.07 0.24 14.4M elpi +RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.04 0.18 14.3M elpi +RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.10 2.76 14.1M elpi +RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.06 0.20 14.0M elpi +RUNNING rev (list reversal) elpi OK rev 1.70 0.11 2.03 48.2M elpi +RUNNING rev14 (list reversal) elpi OK rev14 0.46 0.06 0.64 48.5M elpi +RUNNING same_term (the == operator) elpi OK same_term 0.00 0.06 0.19 14.3M elpi +RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.05 0.17 14.4M elpi +RUNNING set (stdlib set) elpi OK set 23.96 0.06 24.18 17.5M elpi +RUNNING set_ho (stdlib set HO) elpi OK set_ho 5.16 0.03 5.27 62.1M elpi +RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.03 0.12 14.1M elpi +RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.02 0.22 14.1M elpi +RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.08 0.36 14.4M elpi +RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.09 0.43 14.0M elpi +RUNNING spill-var (spilling a var) elpi OK spill-var 0.00 0.05 0.22 13.7M elpi +RUNNING spill2 (spilling 2 arguments) elpi OK spill2 0.00 0.09 0.27 14.0M elpi +RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.09 0.38 14.0M elpi +RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.09 0.32 14.3M elpi +RUNNING spill_sigma (spilling under sigma) elpi OK spill_sigma 0.00 0.08 0.35 14.4M elpi +RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.07 0.32 14.3M elpi +RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.06 0.06 0.28 14.0M elpi +RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.07 0.22 14.4M elpi +RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.02 0.35 14.4M elpi +RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.07 0.24 14.0M elpi RUNNING tc_ambiguous (tc_ambiguous) elpi OK tc_ambiguous 0.00 0.00 0.00 0.0M elpi -RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.01 0.04 14.5M elpi -RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.01 0.04 14.4M elpi -RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.01 0.04 14.3M elpi -RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 6.9M elpi-trace-elaborator -RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.14 33.5M elpi-trace-elaborator +RUNNING trace-browser (trace generation) elpi OK trace-browser 0.01 0.02 0.18 14.0M elpi +RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.01 0.06 0.23 13.8M elpi +RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.01 0.06 0.27 14.1M elpi +RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.03 6.5M elpi-trace-elaborator +RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.46 31.6M elpi-trace-elaborator RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator -RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.00 7.2M elpi-trace-elaborator -RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 6.6M elpi-trace-elaborator -RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 6.3M elpi-trace-elaborator -RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.01 0.04 14.3M elpi -RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.01 0.01 0.05 14.6M elpi -RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.01 7.6M elpi-trace-elaborator -RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.01 0.04 14.7M elpi -RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 6.4M elpi-trace-elaborator -RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.01 0.04 14.0M elpi -RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator -RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.01 0.04 14.3M elpi -RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 6.6M elpi-trace-elaborator -RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.01 0.04 14.7M elpi -RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.01 0.04 14.3M elpi -RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.01 0.03 14.1M elpi +RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.02 6.8M elpi-trace-elaborator +RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.01 6.9M elpi-trace-elaborator +RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.03 6.0M elpi-trace-elaborator +RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.01 0.03 0.14 14.0M elpi +RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.03 0.04 0.14 14.6M elpi +RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 1.67 7.4M elpi-trace-elaborator +RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.01 0.02 0.12 14.0M elpi +RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.01 4.9M elpi-trace-elaborator +RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.01 0.02 0.15 14.3M elpi +RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 5.9M elpi-trace-elaborator +RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.03 0.10 14.4M elpi +RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.02 6.5M elpi-trace-elaborator +RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.02 0.09 14.3M elpi +RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.02 0.07 14.4M elpi +RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.04 0.18 14.3M elpi RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv13 (type abbreviations) elpi OK typeabbrv13 0.00 0.01 0.04 14.4M elpi -RUNNING typeabbrv15 (type abbreviations) elpi OK typeabbrv15 0.00 0.01 0.03 14.4M elpi +RUNNING typeabbrv13 (type abbreviations) elpi OK typeabbrv13 0.00 0.02 0.13 14.1M elpi +RUNNING typeabbrv15 (type abbreviations) elpi OK typeabbrv15 0.00 0.03 0.11 14.1M elpi RUNNING typeabbrv2 (type abbreviations) elpi OK typeabbrv2 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.01 0.03 14.3M elpi -RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.01 0.03 14.6M elpi +RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.04 0.21 14.3M elpi +RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.02 0.12 14.0M elpi RUNNING typeabbrv5 (type abbreviations) elpi OK typeabbrv5 0.00 0.00 0.00 0.0M elpi RUNNING typeabbrv6 (type abbreviations) elpi OK typeabbrv6 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.01 0.03 14.3M elpi -RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.01 0.04 14.3M elpi -RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.01 0.03 14.3M elpi -RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.01 0.04 14.4M elpi -RUNNING unix (unix APIs) elpi OK unix 0.01 0.01 0.04 14.3M elpi -RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.01 0.04 14.3M elpi -RUNNING var (var API) elpi OK var 0.00 0.01 0.04 14.6M elpi -RUNNING variadic (variadic) elpi OK variadic 0.00 0.01 0.04 14.3M elpi -RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.01 0.04 14.4M elpi -RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.01 0.04 14.6M elpi +RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.04 0.16 14.3M elpi +RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.03 0.17 14.0M elpi +RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.03 0.09 14.3M elpi +RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.02 0.11 14.3M elpi +RUNNING unix (unix APIs) elpi OK unix 0.07 0.02 0.19 14.4M elpi +RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.04 0.21 14.1M elpi +RUNNING var (var API) elpi OK var 0.00 0.02 0.09 14.0M elpi +RUNNING variadic (variadic) elpi OK variadic 0.00 0.02 0.29 13.7M elpi +RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.05 0.27 13.8M elpi +RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.10 0.24 14.4M elpi RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 /usr/bin/gnuplot No entry for terminal type "unknown"; using dumb terminal settings. -OK zebra 1.25 0.01 1.29 17.8M elpi +OK zebra 5.85 0.08 6.07 17.4M elpi ------------------------------------------------------------------ Tests: 321 Passed: 321 @@ -2021,12 +2057,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3577335/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/1383495 and its subdirectories -I: Current time: Tue Oct 20 18:46:10 -12 2026 -I: pbuilder-time-stamp: 1792565170 +I: removing directory /srv/workspace/pbuilder/3577335 and its subdirectories +I: Current time: Thu Sep 18 14:40:12 +14 2025 +I: pbuilder-time-stamp: 1758156012