Build:
- 0
2026-03-25 13:14.42: New job: test pacomb.1.4.3 with ocaml-compiler.5.4.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29582/head (fa5fb3a6a806e832e4c7791145889a6bbe8b64ef)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29582/head" && git reset --hard fa5fb3a6
git fetch origin master
git merge --no-edit 2f93e9d4614d6376ed929fc2cee7c59cb9d5833b
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ocaml-compiler.5.4.0 5.4.0
RUN opam reinstall --update-invariant ocaml-compiler.5.4.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocaml-compiler.5.4.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall pacomb.1.4.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'pacomb.1.4.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test pacomb.1.4.3) || true
RUN opam reinstall --with-test --verbose pacomb.1.4.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'pacomb.1.4.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-03-25 13:14.42: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6-ocaml-compiler.5.4.0-pacomb.1.4.3-fa5fb3a6a806e832e4c7791145889a6bbe8b64ef"
2026-03-25 13:14.42: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ocaml-compiler.5.4.0 5.4.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall --update-invariant ocaml-compiler.5.4.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-compiler.5.4.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall pacomb.1.4.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'pacomb.1.4.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test pacomb.1.4.3) || true"))
(run (shell "opam reinstall --with-test --verbose pacomb.1.4.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'pacomb.1.4.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-25 13:14.42: Waiting for resource in pool OCluster
2026-03-25 18:35.43: Waiting for worker…
2026-03-25 18:37.47: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 2f93e9d461 Merge pull request #29592 from dinosaure/release-miou-v0.5.5
Merge made by the 'ort' strategy.
packages/ocaml-compiler/ocaml-compiler.5.3.0/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.3/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.0/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~alpha1/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~beta1/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.4.0~beta2/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4.1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.4/opam | 5 ++++-
.../ocaml-compiler/ocaml-compiler.5.5.0~alpha1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.5/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.6/opam | 5 ++++-
packages/ocaml-option-llvm/ocaml-option-llvm.1/opam | 18 ++++++++++++++++++
.../ocaml-options-vanilla/ocaml-options-vanilla.1/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.2.0+msvc/opam | 2 ++
15 files changed, 69 insertions(+), 12 deletions(-)
create mode 100644 packages/ocaml-option-llvm/ocaml-option-llvm.1/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:bd342cbd7766c453282fdafbc2e565ae3361320ec344722cf4372b782e4a97f6)
2026-03-25 18:37.58 ---> using "41eea30e3f639c18d8cf57c309ec76919ec7b2398036f7e41744cbce59a133d3" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-03-25 18:37.58 ---> using "4ad7f430d684c40cedc651267e0edf890c044fe4e624255de377c471b4526bac" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-03-25 18:37.58 ---> using "71fa58e52457bf6a7eac317c6a6ef1e2bdf53e533a1e4fd04b90c9349347e038" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-03-25 18:37.58 ---> using "ed86081cb38ca125a920162bfe6a4bb7b1c27c6973c917551687c83cf44dbfdf" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-03-25 18:37.58 ---> using "04a48515eea40c32b96da0c71328b4bba0edb66eed83d4f78554b39097cf1f25" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-25 18:37.59 ---> using "034191995d824300f355cbba1072d6e5fe6d815701f24eb84d82c75009d73829" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-25 18:37.59 ---> using "8232259ea36ea8848dc29ae49703acf145fd27b40f3ebd8fb785db7f8da1b9d4" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [114 kB]
- Fetched 10.0 MB in 1s (10.9 MB/s)
- Reading package lists...
-
2026-03-25 18:37.59 ---> using "a75782a571df4fc8f8933e94c681af881015ee87cdd4c652f8ae9af1d8cfad37" from cache
/home/opam: (run (shell "opam pin add -k version -yn ocaml-compiler.5.4.0 5.4.0"))
ocaml-compiler is now pinned to version 5.4.0
2026-03-25 18:37.59 ---> using "60e129f7398974b5fa5afc8f56ec09bd24a9182f5e9834464bfc959db1aa6b14" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall --update-invariant ocaml-compiler.5.4.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocaml-compiler.5.4.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 8 packages
- recompile base-domains base [uses ocaml]
- recompile base-effects base [uses ocaml]
- recompile base-nnp base [uses base-domains]
- recompile ocaml 5.4.0 [uses ocaml-base-compiler]
- recompile ocaml-base-compiler 5.4.0 (pinned) [uses ocaml-compiler]
- recompile ocaml-compiler 5.4.0 (pinned)
- recompile ocaml-config 3 [uses ocaml-base-compiler]
- recompile opam-depext 1.2.3 [uses ocaml]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-compiler.5.4.0 (cached)
-> retrieved ocaml-config.3 (cached)
-> retrieved opam-depext.1.2.3 (cached)
-> removed base-effects.base
-> removed base-nnp.base
-> removed base-domains.base
-> removed opam-depext.1.2.3
-> removed ocaml.5.4.0
-> removed ocaml-config.3
-> removed ocaml-base-compiler.5.4.0
-> removed ocaml-compiler.5.4.0
-> installed ocaml-compiler.5.4.0
-> installed ocaml-base-compiler.5.4.0
-> installed ocaml-config.3
-> installed ocaml.5.4.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
-> installed opam-depext.1.2.3
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# To update the current shell environment, run: eval $(opam env)
2026-03-25 18:37.59 ---> using "efbc92fc0c607605c8bb33f9e4c8fe340a48c67e14d2f61592db8a4edc5c0b15" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall pacomb.1.4.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'pacomb.1.4.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
pacomb.1.4.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 7 packages
- install dune 3.22.0 [required by pacomb]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install pacomb 1.4.3
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.37.0 [required by pacomb]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by pacomb]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.22.0 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved pacomb.1.4.3 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed dune.3.22.0
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ppxlib.0.37.0
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 18:38.48 ---> saved as "8522fef288949b0a3d3f7556152ca9b580bec4d59dcb3b6bb6cb52edcdc8008f"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test pacomb.1.4.3) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile pacomb 1.4.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved pacomb.1.4.3 (https://opam.ocaml.org/cache)
-> removed pacomb.1.4.3
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 18:39.07 ---> saved as "44819d34624e51ac9d28b210e12a641b5788cceca7c46c530dd1aad7ce0ded0d"
/home/opam: (run (shell "opam reinstall --with-test --verbose pacomb.1.4.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'pacomb.1.4.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile pacomb 1.4.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [pacomb.1.4.3: extract]
-> retrieved pacomb.1.4.3 (cached)
Processing 2/4: [pacomb: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "pacomb" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/pacomb.1.4.3)
Processing 2/4: [pacomb: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "pacomb" "-j" "255" (CWD=/home/opam/.opam/5.4/.opam-switch/build/pacomb.1.4.3)
- (cd _build/default/benchmarks && /home/opam/.opam/5.4/bin/ocamllex lexer.mll)
- 3 states, 257 transitions, table size 1046 bytes
- (cd _build/default/benchmarks/calc && /home/opam/.opam/5.4/bin/ocamllex lexer.mll)
- 17 states, 343 transitions, table size 1474 bytes
- (cd _build/default/benchmarks/sexp && /home/opam/.opam/5.4/bin/ocamllex lexer.mll)
- 6 states, 332 transitions, table size 1364 bytes
- (cd _build/default/examples && /usr/bin/sh -c './paragraphs.exe < test.txt')
- 7 paragraphs
- paragraph 0 at 0-21: 4 word(s)
- paragraph 1 at 22-29: 2 word(s)
- paragraph 2 at 31-46: 4 word(s)
- paragraph 3 at 47-65: 4 word(s)
- paragraph 4 at 69-71: 1 word(s)
- paragraph 5 at 72-74: 1 word(s)
- paragraph 6 at 75-83: 2 word(s)
- (cd _build/default/tests && ./hard.exe 1000)
- parsing 2959 chars in 0.004499 seconds
- parsing 5993 chars in 0.005928 seconds
- parsing 9093 chars in 0.009153 seconds
- parsing 12075 chars in 0.012172 seconds
- (cd _build/default/examples && /usr/bin/sh -c '(cat test_ext2.txt && ../tests/big_expr.exe 3 4 4) | ./calc_ext2.exe')
- => 2
- => 3
- => 4
- => 5
- => new rule accepted
- => new rule accepted
- => 6
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => new rule accepted
- => 9
- => 4
- => 11
- => 8.5
- => 10
- => 23
- => 1 rule(s) removed
- => 1 rule(s) removed
- => 16
- => 512
- => 64
- => 512
- => -inf
- =>
- (cd _build/default/examples && /usr/bin/sh -c './catalan.exe 30 2')
- bin_seq ::= () | bin_seq 'a' ( () | bin_seq) | 'a' ( () | bin_seq)
-
- ter_seq ::= () | ter_seq 'a' ( () | ter_seq_aux) | 'a' ( () | ter_seq_aux)
- ter_seq_aux ::= () | ter_seq ( () | ter_seq) | ter_seq
-
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan(2): 0 => 1.000000e+00=1.000000e+00 in 0.02ms 4.03 Mb
- catalan(2): 1 => 1.000000e+00=1.000000e+00 in 0.02ms 4.03 Mb
- catalan(2): 2 => 2.000000e+00=2.000000e+00 in 0.02ms 4.03 Mb
- catalan(2): 3 => 5.000000e+00=5.000000e+00 in 0.02ms 4.03 Mb
- catalan(2): 4 => 1.400000e+01=1.400000e+01 in 0.03ms 4.03 Mb
- catalan(2): 5 => 4.200000e+01=4.200000e+01 in 0.03ms 4.03 Mb
- catalan(2): 6 => 1.320000e+02=1.320000e+02 in 0.04ms 4.03 Mb
- catalan(2): 7 => 4.290000e+02=4.290000e+02 in 0.06ms 4.03 Mb
- catalan(2): 8 => 1.430000e+03=1.430000e+03 in 0.08ms 4.03 Mb
- catalan(2): 9 => 4.862000e+03=4.862000e+03 in 0.11ms 4.28 Mb
- catalan(2): 10 => 1.679600e+04=1.679600e+04 in 0.19ms 4.28 Mb
- catalan(2): 11 => 5.878600e+04=5.878600e+04 in 0.24ms 4.28 Mb
- catalan(2): 12 => 2.080120e+05=2.080120e+05 in 0.29ms 5.03 Mb
- catalan(2): 13 => 7.429000e+05=7.429000e+05 in 0.36ms 5.28 Mb
- catalan(2): 14 => 2.674440e+06=2.674440e+06 in 0.45ms 5.53 Mb
- catalan(2): 15 => 9.694845e+06=9.694845e+06 in 0.54ms 6.03 Mb
- catalan(2): 16 => 3.535767e+07=3.535767e+07 in 0.65ms 6.53 Mb
- catalan(2): 17 => 1.296448e+08=1.296448e+08 in 0.75ms 7.53 Mb
- catalan(2): 18 => 4.776387e+08=4.776387e+08 in 0.89ms 8.53 Mb
- catalan(2): 19 => 1.767263e+09=1.767263e+09 in 1.01ms 9.53 Mb
- catalan(2): 20 => 6.564120e+09=6.564120e+09 in 1.18ms 10.53 Mb
- catalan(2): 21 => 2.446627e+10=2.446627e+10 in 1.57ms 12.03 Mb
- catalan(2): 22 => 9.148256e+10=9.148256e+10 in 1.71ms 13.28 Mb
- catalan(2): 23 => 3.430596e+11=3.430596e+11 in 1.87ms 15.03 Mb
- catalan(2): 24 => 1.289904e+12=1.289904e+12 in 2.15ms 16.53 Mb
- catalan(2): 25 => 4.861946e+12=4.861946e+12 in 2.32ms 18.03 Mb
- catalan(2): 26 => 1.836735e+13=1.836735e+13 in 2.74ms 20.03 Mb
- catalan(2): 27 => 6.953355e+13=6.953355e+13 in 3.04ms 21.78 Mb
- catalan(2): 28 => 2.637480e+14=2.637480e+14 in 3.55ms 25.03 Mb
- catalan(2): 29 => 1.002242e+15=1.002242e+15 in 3.94ms 27.28 Mb
- catalan(2): 30 => 3.814987e+15=3.814987e+15 in 4.42ms 30.53 Mb
- catalan Time ~ 1.81954e-06 N^2.09216 (corr: 0.94)
- catalan Space ~ 26084.6 N^0.633047 (corr: 0.77)
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 3 4 4 | ./calc_ext.exe')
- => -inf
- =>
- (cd _build/default/tests && /usr/bin/sh -c './big_expr.exe 4 4 4 | ./calc_utf8.exe')
- => -nan
- => exprs ::= () | exprs_lr from
- exprs_lr ::= expr '
- ' | exprs_lr expr '
- '
-
- expr ::= expr_lr from
- expr_lr ::= prod | expr_lr ( '-' prod | '+' prod)
-
- prod ::= prod_lr from
- prod_lr ::= atom | prod_lr ( '/' atom | '*' atom)
-
- atom ::= '(' expr ')' | FLOAT
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 4 4 4 | ./calc_prio.exe')
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c '../tests/big_expr.exe 4 4 4 | ./calc.exe')
- => -nan
- =>
- (cd _build/default/examples && /usr/bin/sh -c './catalan.exe 30 3')
- bin_seq ::= () | bin_seq 'a' ( () | bin_seq) | 'a' ( () | bin_seq)
-
- ter_seq ::= () | ter_seq 'a' ( () | ter_seq_aux) | 'a' ( () | ter_seq_aux)
- ter_seq_aux ::= () | ter_seq ( () | ter_seq) | ter_seq
-
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan(3): 0 => 1.000000e+00=1.000000e+00 in 0.02ms 4.03 Mb
- catalan(3): 1 => 1.000000e+00=1.000000e+00 in 0.02ms 4.03 Mb
- catalan(3): 2 => 3.000000e+00=3.000000e+00 in 0.02ms 4.03 Mb
- catalan(3): 3 => 1.200000e+01=1.200000e+01 in 0.02ms 4.03 Mb
- catalan(3): 4 => 5.500000e+01=5.500000e+01 in 0.03ms 4.03 Mb
- catalan(3): 5 => 2.730000e+02=2.730000e+02 in 0.05ms 4.03 Mb
- catalan(3): 6 => 1.428000e+03=1.428000e+03 in 0.07ms 4.03 Mb
- catalan(3): 7 => 7.752000e+03=7.752000e+03 in 0.10ms 4.03 Mb
- catalan(3): 8 => 4.326300e+04=4.326300e+04 in 0.20ms 4.28 Mb
- catalan(3): 9 => 2.466750e+05=2.466750e+05 in 0.28ms 4.28 Mb
- catalan(3): 10 => 1.430715e+06=1.430715e+06 in 0.38ms 5.03 Mb
- catalan(3): 11 => 8.414640e+06=8.414640e+06 in 0.47ms 5.28 Mb
- catalan(3): 12 => 5.006711e+07=5.006711e+07 in 0.59ms 5.53 Mb
- catalan(3): 13 => 3.008306e+08=3.008306e+08 in 0.73ms 6.53 Mb
- catalan(3): 14 => 1.822767e+09=1.822767e+09 in 0.90ms 7.28 Mb
- catalan(3): 15 => 1.112476e+10=1.112476e+10 in 1.14ms 8.78 Mb
- catalan(3): 16 => 6.832875e+10=6.832875e+10 in 1.27ms 10.03 Mb
- catalan(3): 17 => 4.220305e+11=4.220305e+11 in 1.47ms 11.28 Mb
- catalan(3): 18 => 2.619631e+12=2.619631e+12 in 1.84ms 13.28 Mb
- catalan(3): 19 => 1.633292e+13=1.633292e+13 in 2.12ms 14.78 Mb
- catalan(3): 20 => 1.022401e+14=1.022401e+14 in 2.46ms 16.28 Mb
- catalan(3): 21 => 6.423125e+14=6.423125e+14 in 3.15ms 19.53 Mb
- catalan(3): 22 => 4.048515e+15=4.048515e+15 in 3.54ms 22.28 Mb
- catalan(3): 23 => 2.559440e+16=2.559440e+16 in 4.04ms 24.53 Mb
- catalan(3): 24 => 1.622502e+17=1.622502e+17 in 4.65ms 28.03 Mb
- catalan(3): 25 => 1.031148e+18=1.031148e+18 in 5.34ms 31.78 Mb
- catalan(3): 26 => 6.568517e+18=6.568517e+18 in 6.09ms 35.78 Mb
- catalan(3): 27 => 4.193235e+19=4.193235e+19 in 7.01ms 40.28 Mb
- catalan(3): 28 => 2.682252e+20=2.682252e+20 in 7.90ms 45.03 Mb
- catalan(3): 29 => 1.718930e+21=1.718930e+21 in 8.78ms 49.53 Mb
- catalan(3): 30 => 1.103497e+22=1.103497e+22 in 9.95ms 55.28 Mb
- catalan Time ~ 1.7623e-06 N^2.35565 (corr: 0.96)
- catalan Space ~ 19054.5 N^0.874215 (corr: 0.81)
- (cd _build/default/tests && /usr/bin/sh -c './big_expr.exe 4 4 4 | ./calc_factor.exe')
- => -nan
- =>
- (cd _build/default/tests && ./ppx_test.exe)
- RE <= s
- RE => \([^<{]\|\({[!`]\)\|\(<[!/]\)\|\(</[!s]\)\|\(</s[! \n\t\r\f>]\)\)
- Parsing ambiguity, use cache with merge
- (cd _build/default/benchmarks/calc && ./calc.exe --test)
- simple 1 2 2 0.00 Mb in 0.07ms 4.59 Mb
- prio 1 2 2 0.00 Mb in 0.06ms 4.59 Mb
- ext 1 2 2 0.00 Mb in 0.13ms 4.59 Mb
- ext2 1 2 2 0.00 Mb in 1.79ms 5.09 Mb
- yacc 1 2 2 0.00 Mb in 0.17ms 6.84 Mb
- simple/yacc : 0.392562 prio/yacc : 0.370523 ext/yacc : 0.761708 ext2/yacc : 10.323691 prio/simple: 0.943860 ext/simple: 1.940351 ext2/simple: 26.298246
- simple 1 2 3 0.00 Mb in 0.07ms 6.84 Mb
- prio 1 2 3 0.00 Mb in 0.05ms 6.84 Mb
- ext 1 2 3 0.00 Mb in 0.08ms 6.84 Mb
- ext2 1 2 3 0.00 Mb in 1.17ms 6.84 Mb
- yacc 1 2 3 0.00 Mb in 0.15ms 9.09 Mb
- simple/yacc : 0.456556 prio/yacc : 0.304897 ext/yacc : 0.503949 ext2/yacc : 7.778831 prio/simple: 0.667820 ext/simple: 1.103806 ext2/simple: 17.038062
- simple 1 2 4 0.00 Mb in 0.07ms 9.09 Mb
- prio 1 2 4 0.00 Mb in 0.05ms 9.09 Mb
- ext 1 2 4 0.00 Mb in 0.07ms 9.09 Mb
- ext2 1 2 4 0.00 Mb in 1.17ms 9.09 Mb
- yacc 1 2 4 0.00 Mb in 0.16ms 10.59 Mb
- simple/yacc : 0.454815 prio/yacc : 0.309630 ext/yacc : 0.453333 ext2/yacc : 7.271111 prio/simple: 0.680782 ext/simple: 0.996743 ext2/simple: 15.986971
- simple 1 3 2 0.00 Mb in 0.07ms 10.59 Mb
- prio 1 3 2 0.00 Mb in 0.05ms 10.59 Mb
- ext 1 3 2 0.00 Mb in 0.08ms 10.59 Mb
- ext2 1 3 2 0.00 Mb in 1.26ms 10.59 Mb
- yacc 1 3 2 0.00 Mb in 0.21ms 13.34 Mb
- simple/yacc : 0.347333 prio/yacc : 0.247446 ext/yacc : 0.371169 ext2/yacc : 5.989784 prio/simple: 0.712418 ext/simple: 1.068627 ext2/simple: 17.245098
- simple 1 3 3 0.00 Mb in 0.08ms 13.34 Mb
- prio 1 3 3 0.00 Mb in 0.06ms 13.34 Mb
- ext 1 3 3 0.00 Mb in 0.08ms 13.34 Mb
- ext2 1 3 3 0.00 Mb in 1.19ms 13.34 Mb
- yacc 1 3 3 0.00 Mb in 0.13ms 15.84 Mb
- simple/yacc : 0.606498 prio/yacc : 0.469314 ext/yacc : 0.606498 ext2/yacc : 9.018051 prio/simple: 0.773810 ext/simple: 1.000000 ext2/simple: 14.869048
- simple 1 3 4 0.00 Mb in 0.08ms 15.84 Mb
- prio 1 3 4 0.00 Mb in 0.06ms 15.84 Mb
- ext 1 3 4 0.00 Mb in 0.11ms 15.84 Mb
- ext2 1 3 4 0.00 Mb in 1.46ms 15.84 Mb
- yacc 1 3 4 0.00 Mb in 0.08ms 16.85 Mb
- simple/yacc : 0.915014 prio/yacc : 0.747875 ext/yacc : 1.305949 ext2/yacc : 17.322946 prio/simple: 0.817337 ext/simple: 1.427245 ext2/simple: 18.931889
- simple 1 4 2 0.00 Mb in 0.08ms 16.85 Mb
- prio 1 4 2 0.00 Mb in 0.06ms 16.85 Mb
- ext 1 4 2 0.00 Mb in 0.09ms 16.85 Mb
- ext2 1 4 2 0.00 Mb in 1.27ms 16.85 Mb
- yacc 1 4 2 0.00 Mb in 0.18ms 19.10 Mb
- simple/yacc : 0.446072 prio/yacc : 0.334221 ext/yacc : 0.486019 ext2/yacc : 7.093209 prio/simple: 0.749254 ext/simple: 1.089552 ext2/simple: 15.901493
- simple 1 4 3 0.00 Mb in 0.11ms 19.10 Mb
- prio 1 4 3 0.00 Mb in 0.06ms 19.10 Mb
- ext 1 4 3 0.00 Mb in 0.11ms 19.10 Mb
- ext2 1 4 3 0.00 Mb in 1.28ms 19.10 Mb
- yacc 1 4 3 0.00 Mb in 0.18ms 20.60 Mb
- simple/yacc : 0.601864 prio/yacc : 0.356858 ext/yacc : 0.592543 ext2/yacc : 7.131824 prio/simple: 0.592920 ext/simple: 0.984513 ext2/simple: 11.849558
- simple 1 4 4 0.00 Mb in 0.09ms 20.60 Mb
- prio 1 4 4 0.00 Mb in 0.07ms 20.60 Mb
- ext 1 4 4 0.00 Mb in 0.13ms 20.60 Mb
- ext2 1 4 4 0.00 Mb in 2.34ms 23.62 Mb
- yacc 1 4 4 0.00 Mb in 0.16ms 22.86 Mb
- simple/yacc : 0.543964 prio/yacc : 0.424739 ext/yacc : 0.819672 ext2/yacc : 14.608048 prio/simple: 0.780822 ext/simple: 1.506849 ext2/simple: 26.854795
- simple 2 2 2 0.00 Mb in 0.24ms 22.86 Mb
- prio 2 2 2 0.00 Mb in 0.30ms 22.86 Mb
- ext 2 2 2 0.00 Mb in 0.33ms 22.86 Mb
- ext2 2 2 2 0.00 Mb in 2.04ms 25.12 Mb
- yacc 2 2 2 0.00 Mb in 0.21ms 24.61 Mb
- simple/yacc : 1.170139 prio/yacc : 1.446759 ext/yacc : 1.607639 ext2/yacc : 9.917824 prio/simple: 1.236400 ext/simple: 1.373887 ext2/simple: 8.475767
- simple 2 2 3 0.00 Mb in 0.41ms 24.61 Mb
- prio 2 2 3 0.00 Mb in 0.30ms 24.61 Mb
- ext 2 2 3 0.00 Mb in 0.49ms 24.61 Mb
- ext2 2 2 3 0.00 Mb in 1.96ms 26.62 Mb
- yacc 2 2 3 0.00 Mb in 0.30ms 26.11 Mb
- simple/yacc : 1.362400 prio/yacc : 1.004000 ext/yacc : 1.630400 ext2/yacc : 6.576800 prio/simple: 0.736935 ext/simple: 1.196712 ext2/simple: 4.827363
- simple 2 2 4 0.00 Mb in 0.52ms 26.11 Mb
- prio 2 2 4 0.00 Mb in 0.49ms 26.11 Mb
- ext 2 2 4 0.00 Mb in 0.86ms 26.11 Mb
- ext2 2 2 4 0.00 Mb in 2.49ms 29.63 Mb
- yacc 2 2 4 0.00 Mb in 0.33ms 29.11 Mb
- simple/yacc : 1.595465 prio/yacc : 1.509876 ext/yacc : 2.641551 ext2/yacc : 7.645940 prio/simple: 0.946355 ext/simple: 1.655663 ext2/simple: 4.792297
- simple 2 3 2 0.00 Mb in 0.39ms 29.11 Mb
- prio 2 3 2 0.00 Mb in 0.43ms 29.11 Mb
- ext 2 3 2 0.00 Mb in 0.68ms 29.11 Mb
- ext2 2 3 2 0.00 Mb in 3.02ms 31.62 Mb
- yacc 2 3 2 0.00 Mb in 0.27ms 31.11 Mb
- simple/yacc : 1.422436 prio/yacc : 1.580193 ext/yacc : 2.507450 ext2/yacc : 11.116564 prio/simple: 1.110906 ext/simple: 1.762785 ext2/simple: 7.815157
- simple 2 3 3 0.00 Mb in 0.53ms 31.11 Mb
- prio 2 3 3 0.00 Mb in 0.55ms 31.11 Mb
- ext 2 3 3 0.00 Mb in 0.93ms 31.11 Mb
- ext2 2 3 3 0.00 Mb in 2.27ms 33.38 Mb
- yacc 2 3 3 0.00 Mb in 0.25ms 33.11 Mb
- simple/yacc : 2.119116 prio/yacc : 2.207493 ext/yacc : 3.747358 ext2/yacc : 9.153698 prio/simple: 1.041704 ext/simple: 1.768359 ext2/simple: 4.319583
- simple 2 3 4 0.00 Mb in 0.69ms 33.11 Mb
- prio 2 3 4 0.00 Mb in 0.76ms 33.11 Mb
- ext 2 3 4 0.00 Mb in 1.37ms 33.64 Mb
- ext2 2 3 4 0.00 Mb in 2.28ms 35.14 Mb
- yacc 2 3 4 0.00 Mb in 0.34ms 35.36 Mb
- simple/yacc : 2.066004 prio/yacc : 2.274663 ext/yacc : 4.092974 ext2/yacc : 6.799148 prio/simple: 1.100996 ext/simple: 1.981106 ext2/simple: 3.290965
- simple 2 4 2 0.00 Mb in 0.44ms 35.36 Mb
- prio 2 4 2 0.00 Mb in 0.47ms 35.61 Mb
- ext 2 4 2 0.00 Mb in 0.90ms 35.61 Mb
- ext2 2 4 2 0.00 Mb in 2.28ms 37.40 Mb
- yacc 2 4 2 0.00 Mb in 0.27ms 37.13 Mb
- simple/yacc : 1.612137 prio/yacc : 1.715919 ext/yacc : 3.323659 ext2/yacc : 8.410730 prio/simple: 1.064375 ext/simple: 2.061648 ext2/simple: 5.217130
- simple 2 4 3 0.00 Mb in 0.63ms 37.13 Mb
- prio 2 4 3 0.00 Mb in 0.72ms 37.13 Mb
- ext 2 4 3 0.00 Mb in 1.28ms 37.67 Mb
- ext2 2 4 3 0.00 Mb in 2.34ms 39.72 Mb
- yacc 2 4 3 0.00 Mb in 0.34ms 39.16 Mb
- simple/yacc : 1.855346 prio/yacc : 2.113208 ext/yacc : 3.748428 ext2/yacc : 6.844165 prio/simple: 1.138983 ext/simple: 2.020339 ext2/simple: 3.688889
- simple 2 4 4 0.01 Mb in 1.23ms 39.16 Mb
- prio 2 4 4 0.01 Mb in 0.99ms 39.16 Mb
- ext 2 4 4 0.01 Mb in 1.57ms 39.71 Mb
- ext2 2 4 4 0.01 Mb in 3.12ms 42.08 Mb
- yacc 2 4 4 0.01 Mb in 0.51ms 41.47 Mb
- simple/yacc : 2.427427 prio/yacc : 1.950518 ext/yacc : 3.105090 ext2/yacc : 6.170594 prio/simple: 0.803533 ext/simple: 1.279169 ext2/simple: 2.542031
- simple Time ~ 2.61671e-06 N^0.676118 (corr: 0.99)
- simple Space ~ 30186.5 N^0.362788 (corr: 0.88)
- prio Time ~ 1.2532e-06 N^0.768002 (corr: 0.99)
- prio Space ~ 30150.8 N^0.363033 (corr: 0.88)
- ext Time ~ 1.85716e-06 N^0.782797 (corr: 0.98)
- ext Space ~ 29768.1 N^0.365404 (corr: 0.88)
- ext2 Time ~ 0.000540131 N^0.190068 (corr: 0.84)
- ext2 Space ~ 28683.4 N^0.378944 (corr: 0.89)
- yacc Time ~ 4.60839e-05 N^0.240812 (corr: 0.84)
- yacc Space ~ 45177.1 N^0.319021 (corr: 0.90)
- (cd _build/default/benchmarks/sexp && ./sexp.exe --test)
- lr 50000 0.37 Mb in 48.36ms 49.41 Mb
- rr 50000 0.37 Mb in 45.13ms 52.39 Mb
- err 50000 0.37 Mb in 57.73ms 48.47 Mb
- yacc 50000 0.37 Mb in 35.36ms 71.73 Mb
- lr/yacc : 1.367801 rr/yacc : 1.276367 err/yacc : 1.632637 rr/lr: 0.933152 err/lr: 1.193622
- lr 100000 0.78 Mb in 90.59ms 93.40 Mb
- rr 100000 0.78 Mb in 95.07ms 100.65 Mb
- err 100000 0.78 Mb in 114.55ms 92.90 Mb
- yacc 100000 0.78 Mb in 70.09ms 142.98 Mb
- lr/yacc : 1.292439 rr/yacc : 1.356355 err/yacc : 1.634355 rr/lr: 1.049454 err/lr: 1.264551
- lr Time ~ 8.07248e-07 N^0.85409 (corr: 1.00)
- lr Space ~ 11.4839 N^0.866712 (corr: 1.00)
- rr Time ~ 9.61184e-08 N^1.01394 (corr: 1.00)
- rr Space ~ 9.19369 N^0.88854 (corr: 1.00)
- err Time ~ 3.50299e-07 N^0.93265 (corr: 1.00)
- err Space ~ 8.86155 N^0.885358 (corr: 1.00)
- yacc Time ~ 2.18552e-07 N^0.931219 (corr: 1.00)
- yacc Space ~ 6.59079 N^0.938771 (corr: 1.00)
- (cd _build/default/benchmarks && ./seq.exe --test)
- lr 200000 0.19 Mb in 35.24ms 6.30 Mb
- rr 200000 0.19 Mb in 34.71ms 6.31 Mb
- rrl 200000 0.19 Mb in 50.75ms 66.57 Mb
- ld 200000 0.19 Mb in 52.24ms 6.33 Mb
- rd 200000 0.19 Mb in 49.77ms 6.34 Mb
- rdl 200000 0.19 Mb in 68.38ms 66.60 Mb
- lp 200000 0.19 Mb in 49.98ms 6.36 Mb
- rp 200000 0.19 Mb in 136.37ms 285.87 Mb
- ly 200000 0.19 Mb in 18.19ms 4.35 Mb
- ry 200000 0.19 Mb in 53.24ms 140.10 Mb
- lr/ly: 1.937148 ry/ly: 2.926493 rr/ly: 1.907687 ld/ly: 2.871635 rd/ly: 2.735709 lp/ly: 2.747517 rp/ly: 7.496108
- rr/lr: 0.984792 ld/lr: 1.482404 rd/lr: 1.412235 lp/lr: 1.418331 rp/lr: 3.869662 rd/rr: 1.434045 rp/rr: 3.929421
- lr 400000 0.38 Mb in 71.77ms 8.15 Mb
- rr 400000 0.38 Mb in 65.35ms 7.90 Mb
- rrl 400000 0.38 Mb in 102.10ms 128.90 Mb
- ld 400000 0.38 Mb in 102.37ms 8.15 Mb
- rd 400000 0.38 Mb in 98.49ms 8.15 Mb
- rdl 400000 0.38 Mb in 131.62ms 128.90 Mb
- lp 400000 0.38 Mb in 101.09ms 7.65 Mb
- rp 400000 0.38 Mb in 223.77ms 568.90 Mb
- ly 400000 0.38 Mb in 44.42ms 4.35 Mb
- ry 400000 0.38 Mb in 112.94ms 276.35 Mb
- lr/ly: 1.615908 ry/ly: 2.542757 rr/ly: 1.471280 ld/ly: 2.304672 rd/ly: 2.217296 lp/ly: 2.275965 rp/ly: 5.037875
- rr/lr: 0.910498 ld/lr: 1.426240 rd/lr: 1.372167 lp/lr: 1.408475 rp/lr: 3.117675 rd/rr: 1.507052 rp/rr: 3.424144
- lr Time ~ 1.28033e-07 N^1.02617 (corr: 1.00)
- lr Space ~ 1120.92 N^0.370565 (corr: 1.00)
- ld Time ~ 3.74693e-07 N^0.970444 (corr: 1.00)
- ld Space ~ 1223.27 N^0.363791 (corr: 1.00)
- rr Time ~ 5.01827e-07 N^0.913002 (corr: 1.00)
- rr Space ~ 1997.8 N^0.323349 (corr: 1.00)
- rd Time ~ 3.00159e-07 N^0.984642 (corr: 1.00)
- rd Space ~ 1259.31 N^0.361541 (corr: 1.00)
- lp Time ~ 2.0532e-07 N^1.01611 (corr: 1.00)
- lp Space ~ 4072.12 N^0.265647 (corr: 1.00)
- rp Time ~ 2.22603e-05 N^0.714428 (corr: 1.00)
- rp Space ~ 25.5682 N^0.992805 (corr: 1.00)
- (cd _build/default/tests && ./test.exe)
- test7
- dependant sequence of 'a' right recursive
- parsing 100000 chars in 0.036721 seconds
- parsing 111000 chars in 0.038057 seconds
- parsing 125000 chars in 0.043085 seconds
- parsing 142000 chars in 0.045609 seconds
- parsing 166000 chars in 0.051667 seconds
- parsing 200000 chars in 0.062723 seconds
- parsing 250000 chars in 0.086670 seconds
- parsing 333000 chars in 0.109449 seconds
- parsing 500000 chars in 0.173012 seconds
- parsing 1000000 chars in 0.347758 seconds
- dependant sequence of 'a' right recursive with left pos
- parsing 100000 chars in 0.048437 seconds
- parsing 111000 chars in 0.049313 seconds
- parsing 125000 chars in 0.048220 seconds
- parsing 142000 chars in 0.056841 seconds
- parsing 166000 chars in 0.066856 seconds
- parsing 200000 chars in 0.081425 seconds
- parsing 250000 chars in 0.100875 seconds
- parsing 333000 chars in 0.136848 seconds
- parsing 500000 chars in 0.203047 seconds
- parsing 1000000 chars in 0.444835 seconds
- dependant sequence of 'a' right recursive with right pos
- parsing 100000 chars in 0.060510 seconds
- parsing 111000 chars in 0.050226 seconds
- parsing 125000 chars in 0.052541 seconds
- parsing 142000 chars in 0.059858 seconds
- parsing 166000 chars in 0.062940 seconds
- parsing 200000 chars in 0.071272 seconds
- parsing 250000 chars in 0.086892 seconds
- parsing 333000 chars in 0.118341 seconds
- parsing 500000 chars in 0.195483 seconds
- parsing 1000000 chars in 0.376697 seconds
- sequence of 'a' right recursive
- parsing 100000 chars in 0.029022 seconds
- parsing 111000 chars in 0.035325 seconds
- parsing 125000 chars in 0.039940 seconds
- parsing 142000 chars in 0.040801 seconds
- parsing 166000 chars in 0.046203 seconds
- parsing 200000 chars in 0.054957 seconds
- parsing 250000 chars in 0.069400 seconds
- parsing 333000 chars in 0.092364 seconds
- parsing 500000 chars in 0.137758 seconds
- parsing 1000000 chars in 0.290202 seconds
- sequence of 'a' right recursive, with left pos
- parsing 100000 chars in 0.035919 seconds
- parsing 111000 chars in 0.048012 seconds
- parsing 125000 chars in 0.043753 seconds
- parsing 142000 chars in 0.051633 seconds
- parsing 166000 chars in 0.058934 seconds
- parsing 200000 chars in 0.072717 seconds
- parsing 250000 chars in 0.090883 seconds
- parsing 333000 chars in 0.128226 seconds
- parsing 500000 chars in 0.194209 seconds
- parsing 1000000 chars in 0.378477 seconds
- sequence of 'a' right recursive, with right pos
- parsing 100000 chars in 0.039682 seconds
- parsing 111000 chars in 0.042205 seconds
- parsing 125000 chars in 0.040853 seconds
- parsing 142000 chars in 0.046335 seconds
- parsing 166000 chars in 0.059335 seconds
- parsing 200000 chars in 0.065949 seconds
- parsing 250000 chars in 0.083477 seconds
- parsing 333000 chars in 0.111805 seconds
- parsing 500000 chars in 0.170462 seconds
- parsing 1000000 chars in 0.348895 seconds
- sequence of 'a' left recursive
- parsing 100000 chars in 0.019524 seconds
- parsing 111000 chars in 0.021730 seconds
- parsing 125000 chars in 0.024395 seconds
- parsing 142000 chars in 0.027831 seconds
- parsing 166000 chars in 0.032673 seconds
- parsing 200000 chars in 0.038781 seconds
- parsing 250000 chars in 0.048800 seconds
- parsing 333000 chars in 0.065571 seconds
- parsing 500000 chars in 0.098514 seconds
- parsing 1000000 chars in 0.198671 seconds
- sequence of 'a' left recursive with left pos
- parsing 100000 chars in 0.021582 seconds
- parsing 111000 chars in 0.023768 seconds
- parsing 125000 chars in 0.026746 seconds
- parsing 142000 chars in 0.030936 seconds
- parsing 166000 chars in 0.035941 seconds
- parsing 200000 chars in 0.042724 seconds
- parsing 250000 chars in 0.054340 seconds
- parsing 333000 chars in 0.081393 seconds
- parsing 500000 chars in 0.107912 seconds
- parsing 1000000 chars in 0.216473 seconds
- sequence of 'a' left recursive with right pos
- parsing 100000 chars in 0.021908 seconds
- parsing 111000 chars in 0.024118 seconds
- parsing 125000 chars in 0.027372 seconds
- parsing 142000 chars in 0.030585 seconds
- parsing 166000 chars in 0.035498 seconds
- parsing 200000 chars in 0.043010 seconds
- parsing 250000 chars in 0.053439 seconds
- parsing 333000 chars in 0.071225 seconds
- parsing 500000 chars in 0.108465 seconds
- parsing 1000000 chars in 0.222683 seconds
- sequence of comma separated sequences of 'a'
- parsing 349 chars in 0.000148 seconds
- parsing 404 chars in 0.000142 seconds
- parsing 526 chars in 0.000205 seconds
- parsing 664 chars in 0.000241 seconds
- parsing 901 chars in 0.000317 seconds
- parsing 1324 chars in 0.000458 seconds
- parsing 2014 chars in 0.000693 seconds
- parsing 3568 chars in 0.001266 seconds
- parsing 7999 chars in 0.002838 seconds
- parsing 31624 chars in 0.010929 seconds
- checking the number of parsetrees on an ambiguous example
- catalan: 0 => 1=1
- catalan: 1 => 1=1
- catalan: 2 => 2=2
- catalan: 3 => 5=5
- catalan: 4 => 14=14
- catalan: 5 => 42=42
- catalan: 6 => 132=132
- catalan: 7 => 429=429
- catalan: 8 => 1430=1430
- catalan: 9 => 4862=4862
- checking the number of parsetrees on an ambiguous example,using merge and cache
- catalan: 0 => 1=1 (size 0 0.000000)
- catalan: 1 => 1=1 (size 1 1.000000)
- catalan: 2 => 2=2 (size 5 2.500000)
- catalan: 3 => 5=5 (size 14 2.800000)
- catalan: 4 => 14=14 (size 30 2.142857)
- catalan: 5 => 42=42 (size 55 1.309524)
- catalan: 6 => 132=132 (size 91 0.689394)
- catalan: 7 => 429=429 (size 140 0.326340)
- catalan: 8 => 1430=1430 (size 204 0.142657)
- catalan: 9 => 4862=4862 (size 285 0.058618)
- catalan: 10 => 16796=16796 (size 385 0.022922)
- catalan: 11 => 58786=58786 (size 506 0.008607)
- AB ::= AC 'a' 'c' | BC 'b' 'c' | ()
- AC ::= BC 'b' 'c' | AB 'a' 'b' | ()
- BC ::= AC 'a' 'c' | AB 'a' 'b' | ()
- AB ::= ()
- | AB_lr from
- BC_lr ::= 'a' 'b' | 'a' 'c' | AC_lr 'a' 'c' | AB_lr 'a' 'b'
- AC_lr ::= 'a' 'b' | 'b' 'c' | BC_lr 'b' 'c' | AB_lr 'a' 'b'
- AB_lr ::= 'b' 'c' | 'a' 'c' | BC_lr 'b' 'c' | AC_lr 'a' 'c'
-
-> compiled pacomb.1.4.3
-> removed pacomb.1.4.3
-> installed pacomb.1.4.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-25 18:39.24 ---> saved as "23733c44f9ed62dce5fb54eb18b9adfa6984bf70cc26327ebab9adcf58ee79dd"
Job succeeded
2026-03-25 18:39.32: Job succeeded