alpine-3.20-4.14_opam-2.3

2024-12-20 09:27.52: New job: test ocaml-multicore/kcas https://github.com/ocaml-multicore/kcas.git#refs/heads/simplified-core-algo-for-verification (ffe78fcde6828b7b642aa10c0e8ce5aae2f2c1cc) (linux-x86_64:alpine-3.20-4.14_opam-2.3)
Base: ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/kcas.git" -b "simplified-core-algo-for-verification" && cd "kcas" && git reset --hard ffe78fcd
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
# alpine-3.20-4.14_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 kcas_data.opam kcas.opam ./
RUN opam pin add -yn kcas_data.dev './' && \
opam pin add -yn kcas.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 psq.0.2.1 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y kcas_data.dev kcas.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-12-20 09:27.52: Using cache hint "ocaml-multicore/kcas-ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0-alpine-3.20-4.14_opam-2.3-83cce613af92f271786ba2935e382873"
2024-12-20 09:27.52: Using OBuilder spec:
((from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0)
(comment alpine-3.20-4.14_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src kcas_data.opam kcas.opam) (dst ./))
(run (network host)
(shell  "opam pin add -yn kcas_data.dev './' && \
\nopam pin add -yn kcas.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 psq.0.2.1 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y kcas_data.dev kcas.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-12-20 09:27.52: Waiting for resource in pool OCluster
2024-12-20 09:27.52: Waiting for worker…
2024-12-20 09:28.14: Got resource from pool OCluster
Building on x86-bm-c8.sw.ocaml.org
All commits already cached
HEAD is now at ffe78fc Dependencies


(from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0)
Unable to find image 'ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0' locally
docker.io/ocaml/opam@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0: Pulling from ocaml/opam
72ab71254e0a: Pulling fs layer
72ab71254e0a: Verifying Checksum
72ab71254e0a: Download complete
72ab71254e0a: Pull complete
Digest: sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
Status: Downloaded newer image for ocaml/opam@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
2024-12-20 09:30.30 ---> saved as "a3e9f67bc1ee9201c96140c65f9dc31519ebfb933f158b75d3a6cace968f8f0b"


/: (comment alpine-3.20-4.14_opam-2.3)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2024-12-20 09:30.30 ---> saved as "d77b2f66e512fbb59fac0cc398f4193ced3d770947441b72a6a30fe59bff8033"


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then 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 development 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 255 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=255 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-12-20 09:32.46 ---> saved as "15912097597bf1f8b6d35bcbcf9e5bf59e45fda4eef47d2c9d834ef605b5788f"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-126-generic
The OCaml toplevel, version 4.14.2
2.3.0
2024-12-20 09:32.47 ---> saved as "ffa1974f5b216d9ef89ceffde98493096d027fad46a39375cf47d82a9d0bc6bf"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-12-20 09:32.47 ---> saved as "1e5de33315a4ac7f9119b5dab289531149f2ae1f6464e1352a51e90531dab968"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
de786e28db..3531767c50  master     -> origin/master
40261e81b0 Merge pull request #27148 from mtelvers/opam-publish-ocaml-version.3.7.2


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2024-12-20 09:34.35 ---> saved as "58358e60af94b6b1c06e713d0de91cd69f9be1e79fd6c397a61ea41ee1b8a9e9"


/src: (copy (src kcas_data.opam kcas.opam) (dst ./))
2024-12-20 09:34.35 ---> saved as "854a59463be264a27d5c8c6e81b53abd11a0b3392e7f1ab8f1d6681f2a04f45d"


/src: (run (network host)
(shell  "opam pin add -yn kcas_data.dev './' && \
\nopam pin add -yn kcas.dev './'"))
[kcas_data.dev] synchronised (file:///src)
kcas_data is now pinned to file:///src (version dev)
[kcas.dev] synchronised (file:///src)
kcas is now pinned to file:///src (version dev)
2024-12-20 09:34.42 ---> saved as "d81100e9394614adc34429fa2c519e7d5a714c604124f6ba2c05b8646c8132a2"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2024-12-20 09:34.42 ---> saved as "03e89bce1e8c849931a5bae21a33a8ba851fbbfe8821cdb187d1650761c76b4b"


/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain-local-timeout.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 psq.0.2.1 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y kcas_data.dev kcas.dev $DEPS"))
+ /usr/bin/sudo "apk" "update"
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
- v3.20.3-426-g7be77342ca9 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
- v3.20.3-425-g80e3e4e504e [https://dl-cdn.alpinelinux.org/alpine/v3.20/community]
- v3.21.0-1123-g25df03729b1 [https://dl-cdn.alpinelinux.org/alpine/edge/main]
- v3.21.0-1126-gab2c643127b [https://dl-cdn.alpinelinux.org/alpine/edge/community]
- v3.21.0-1116-gf1cee4e60a9 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]
- OK: 56295 distinct packages available


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[kcas.dev] synchronised (file:///src)
[kcas_data.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-12-20 09:35.09 ---> saved as "6b099c9e8ae901513ad81f10af2164fc355f5ee44aff31f9efd05eae9deba7e8"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 39 packages
- install alcotest                   1.8.0
- install astring                    0.8.5
- install backoff                    0.1.1
- install camlp-streams              5.0.1
- install cmdliner                   1.3.0
- install containers                 3.15
- install cppo                       1.8.0
- install csexp                      1.5.2
- install domain-local-await         1.0.1
- install domain-local-timeout       1.0.1
- install domain_shims               0.1.0
- install dscheck                    0.5.0
- install dune                       3.17.1
- install dune-configurator          3.17.1
- install either                     1.0.0
- install fmt                        0.9.0
- install logs                       0.7.0
- install mdx                        2.5.0
- install mtime                      2.1.0
- install multicore-bench            0.1.7
- install multicore-magic            2.3.0
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              3.7.2
- install ocamlbuild                 0.15.0
- install ocamlfind                  1.9.6
- install oseq                       0.5.1
- install psq                        0.2.1
- install qcheck-core                0.23
- install qcheck-multicoretests-util 0.5
- install qcheck-stm                 0.5
- install re                         1.12.0
- install result                     1.5
- install seq                        base
- install stdlib-shims               0.3.0
- install thread-table               1.0.0
- install topkg                      1.0.7
- install tsort                      2.1.0
- install uutf                       1.0.3
- install yojson                     2.2.2


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved backoff.0.1.1  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved containers.3.15  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain-local-timeout.1.0.1  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dscheck.0.5.0  (cached)
-> retrieved either.1.0.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.7  (cached)
-> retrieved multicore-magic.2.3.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved mdx.2.5.0  (cached)
-> retrieved ocaml-version.3.7.2  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved oseq.0.5.1  (cached)
-> retrieved psq.0.2.1  (cached)
-> retrieved qcheck-core.0.23  (cached)
-> retrieved qcheck-multicoretests-util.0.5, qcheck-stm.0.5  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved result.1.5  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved tsort.2.1.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved dune.3.17.1, dune-configurator.3.17.1  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.15.0
-> installed ocamlfind.1.9.6
-> installed topkg.1.0.7
-> installed mtime.2.1.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed dune.3.17.1
-> installed csexp.1.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed domain_shims.0.1.0
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.3.7.2
-> installed oseq.0.5.1
-> installed psq.0.2.1
-> installed result.1.5
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed cppo.1.8.0
-> installed re.1.12.0
-> installed domain-local-await.1.0.1
-> installed domain-local-timeout.1.0.1
-> installed qcheck-core.0.23
-> installed yojson.2.2.2
-> installed qcheck-multicoretests-util.0.5
-> installed multicore-bench.0.1.7
-> installed qcheck-stm.0.5
-> installed alcotest.1.8.0
-> installed dune-configurator.3.17.1
-> installed mdx.2.5.0
-> installed containers.3.15
-> installed dscheck.0.5.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-12-20 09:36.47 ---> saved as "fa9abbe5b9e5d5c82005989dfa3057367378ab5a29afb8ec1b81868ec52ceb14"


/src: (copy (src .) (dst /src))
2024-12-20 09:36.48 ---> saved as "e62c180719d72641efe0766cabd66cab57922845f43b3f33c522f334b1577f27"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
File "doc/dune", line 13, characters 21-28:
13 |  (libraries alcotest dscheck))
^^^^^^^
Error: Library "dscheck" not found.
-> required by _build/default/doc/simplified.exe
-> required by alias doc/runtest in doc/dune:12
(cd _build/default/test/kcas && ./loc_modes.exe)
Loc modes OK!
(cd _build/default/test/kcas_data && ./lru_cache_example.exe)
LRU Cache OK!
(cd _build/default/test/kcas && ./threads.exe)
Testing `Threads'.
This run has ID `H19MI9WX'.


[OK]          await between threads          0


Full test results in `/src/_build/default/test/kcas/_build/_tests/Threads'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./stack_test.exe)
Testing `Stack'.
This run has ID `Z08FFDI1'.


[OK]          basics          0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Stack'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./dllist_test.exe)
Testing `Dllist'.
This run has ID `JPYDP83H'.


[OK]          basics          0
[OK]          add             0
[OK]          move            0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Dllist'.
Test Successful in 0.001s. 3 tests run.
(cd _build/default/test/kcas_data && ./xt_test.exe)
Testing `Transactions'.
This run has ID `JGVMZSEF'.


[OK]          basics          0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Transactions'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/test/kcas_data && ./hashtbl_test.exe)
Testing `Hashtbl'.
This run has ID `XOH5ODXB'.


[OK]          replace and remove          0
[OK]          large tx                    0
[OK]          large ops                   0
[OK]          basics                      0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Hashtbl'.
Test Successful in 0.009s. 4 tests run.
(cd _build/default/test/kcas_data && ./mvar_test.exe)
Testing `Mvar'.
This run has ID `X9219D4W'.


[OK]          basics          0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Mvar'.
Test Successful in 0.001s. 1 test run.
(cd _build/default/test/kcas_data && ./queue_test.exe)
Testing `Queue'.
This run has ID `2QETLMF6'.


[OK]          basics          0


Full test results in `/src/_build/default/test/kcas_data/_build/_tests/Queue'.
Test Successful in 0.000s. 1 test run.
(cd _build/default/bench && ./main.exe -brief 'Kcas Loc')
Kcas Loc:
ops over time/cas int:
35.37 M/s
ops over time/get:
123.52 M/s
ops over time/incr:
26.08 M/s
ops over time/push & pop:
17.96 M/s
ops over time/swap:
23.57 M/s
ops over time/xchg int:
35.44 M/s
time per op/cas int:
28.27 ns
time per op/get:
8.10 ns
time per op/incr:
38.34 ns
time per op/push & pop:
55.67 ns
time per op/swap:
42.43 ns
time per op/xchg int:
28.21 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas Xt')
Kcas Xt:
time per transaction/0 loc tx:
26.68 ns
time per transaction/1 loc tx:
60.59 ns
time per transaction/2 loc tx:
189.51 ns
time per transaction/4 loc tx:
367.32 ns
time per transaction/8 loc tx:
608.32 ns
transactions over time/0 loc tx:
37.49 M/s
transactions over time/1 loc tx:
16.51 M/s
transactions over time/2 loc tx:
5.28 M/s
transactions over time/4 loc tx:
2.72 M/s
transactions over time/8 loc tx:
1.64 M/s
Kcas Xt read-only:
time per transaction/0 loc tx:
19.30 ns
time per transaction/1 loc tx:
46.90 ns
time per transaction/2 loc tx:
74.42 ns
time per transaction/4 loc tx:
123.83 ns
time per transaction/8 loc tx:
206.32 ns
transactions over time/0 loc tx:
51.82 M/s
transactions over time/1 loc tx:
21.32 M/s
transactions over time/2 loc tx:
13.44 M/s
transactions over time/4 loc tx:
8.08 M/s
transactions over time/8 loc tx:
4.85 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas Xt read-only')
Kcas Xt read-only:
time per transaction/0 loc tx:
28.06 ns
time per transaction/1 loc tx:
62.83 ns
time per transaction/2 loc tx:
122.04 ns
time per transaction/4 loc tx:
200.46 ns
time per transaction/8 loc tx:
366.83 ns
transactions over time/0 loc tx:
35.64 M/s
transactions over time/1 loc tx:
15.92 M/s
transactions over time/2 loc tx:
8.19 M/s
transactions over time/4 loc tx:
4.99 M/s
transactions over time/8 loc tx:
2.73 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas parallel CMP')
Kcas parallel CMP:
time per transaction/1 worker:
128.78 ns
transactions over time/1 worker:
7.77 M/s
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Accumulator')
Kcas_data Accumulator:
operations over time/1 worker, 0% reads:
20.48 M/s
time per operation/1 worker, 0% reads:
48.83 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Dllist')
Kcas_data Dllist:
messages over time/one domain:
1.29 M/s
time per message/one domain:
773.91 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Hashtbl')
Kcas_data Hashtbl:
operations over time/1 worker, 10% reads:
3.21 M/s
operations over time/1 worker, 50% reads:
2.84 M/s
operations over time/1 worker, 90% reads:
6.38 M/s
time per operation/1 worker, 10% reads:
312.02 ns
time per operation/1 worker, 50% reads:
351.79 ns
time per operation/1 worker, 90% reads:
156.64 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Mvar')
Kcas_data Mvar:
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Queue')
Kcas_data Queue:
messages over time/one domain:
4.26 M/s
time per message/one domain:
234.48 ns
(cd _build/default/bench && ./main.exe -brief 'Kcas_data Stack')
Kcas_data Stack:
messages over time/one domain:
8.65 M/s
time per message/one domain:
115.58 ns
(cd _build/default/test/kcas && ./test.exe)
Testing `Kcas'.
This run has ID `6MC17ZYD'.


[OK]          non linearizable xt                  0
[OK]          set                                  0
[OK]          no skew xt                           0
[OK]          get seq xt                           0
[OK]          stress xt                            0
[OK]          is_in_log                            0
[OK]          updates                              0
[OK]          post commit                          0
[OK]          blocking                             0
[OK]          no unnecessary wakeups               0
[OK]          pediodic validation                  0
[OK]          explicit validation                  0
[OK]          rollback                             0
[OK]          call                                 0
[OK]          mode                                 0
[OK]          xt                                   0
[OK]          timeout (non-deterministic)          0


Full test results in `/src/_build/default/test/kcas/_build/_tests/Kcas'.
Test Successful in 1.080s. 17 tests run.
(cd _build/default/test/kcas && ./ms_queue_test.exe)
Testing `MS queue'.
This run has ID `DJHY1XOL'.


[OK]          write skew          0
[OK]          tail leak           0


Full test results in `/src/_build/default/test/kcas/_build/_tests/MS queue'.
Test Successful in 10.146s. 2 tests run.
(cd _build/default/test/kcas_data && ./accumulator_test_stm.exe)
random seed: 2406242411184619436
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Accumulator sequential
[ ]    0    0    0    0 /   32     0.0s Accumulator sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Accumulator sequential
[ ]    0    0    0    0 /   32     0.0s Accumulator concurrent
[ ]    1    0    0    1 /   32     0.3s Accumulator concurrent
[ ]    3    0    0    3 /   32     0.4s Accumulator concurrent
[ ]    5    0    0    5 /   32     0.5s Accumulator concurrent
[ ]    7    0    0    7 /   32     0.7s Accumulator concurrent
[ ]    9    0    0    9 /   32     0.8s Accumulator concurrent
[ ]   11    0    0   11 /   32     1.0s Accumulator concurrent
[ ]   13    0    0   13 /   32     1.1s Accumulator concurrent
[ ]   14    0    0   14 /   32     1.3s Accumulator concurrent
[ ]   16    0    0   16 /   32     1.6s Accumulator concurrent
[ ]   18    0    0   18 /   32     1.8s Accumulator concurrent
[ ]   19    0    0   19 /   32     2.1s Accumulator concurrent
[ ]   21    0    0   21 /   32     2.3s Accumulator concurrent
[ ]   23    0    0   23 /   32     2.6s Accumulator concurrent
[ ]   25    0    0   25 /   32     2.7s Accumulator concurrent
[ ]   27    0    0   27 /   32     2.9s Accumulator concurrent
[ ]   29    0    0   29 /   32     3.2s Accumulator concurrent
[ ]   31    0    0   31 /   32     3.3s Accumulator concurrent
[✓]   32    0    0   32 /   32     3.4s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 4441055304582761330
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Accumulator sequential
[✓]   64    0    0   64 /   64     0.0s Accumulator sequential
[ ]    0    0    0    0 /   64     0.0s Accumulator concurrent
[ ]    2    0    0    2 /   64     0.4s Accumulator concurrent
[ ]    4    0    0    4 /   64     0.5s Accumulator concurrent
[ ]    7    0    0    7 /   64     0.7s Accumulator concurrent
[ ]   10    0    0   10 /   64     0.8s Accumulator concurrent
[ ]   11    0    0   11 /   64     0.9s Accumulator concurrent
[ ]   13    0    0   13 /   64     1.0s Accumulator concurrent
[ ]   16    0    0   16 /   64     1.1s Accumulator concurrent
[ ]   19    0    0   19 /   64     1.2s Accumulator concurrent
[ ]   21    0    0   21 /   64     1.3s Accumulator concurrent
[ ]   23    0    0   23 /   64     1.5s Accumulator concurrent
[ ]   27    0    0   27 /   64     1.7s Accumulator concurrent
[ ]   29    0    0   29 /   64     1.8s Accumulator concurrent
[ ]   32    0    0   32 /   64     2.0s Accumulator concurrent
[ ]   34    0    0   34 /   64     2.1s Accumulator concurrent
[ ]   37    0    0   37 /   64     2.2s Accumulator concurrent
[ ]   40    0    0   40 /   64     2.3s Accumulator concurrent
[ ]   42    0    0   42 /   64     2.9s Accumulator concurrent
[ ]   45    0    0   45 /   64     3.1s Accumulator concurrent
[ ]   46    0    0   46 /   64     3.6s Accumulator concurrent
[ ]   48    0    0   48 /   64     3.9s Accumulator concurrent
[ ]   51    0    0   51 /   64     4.0s Accumulator concurrent
[ ]   53    0    0   53 /   64     4.3s Accumulator concurrent
[ ]   55    0    0   55 /   64     4.5s Accumulator concurrent
[ ]   56    0    0   56 /   64     4.9s Accumulator concurrent
[ ]   59    0    0   59 /   64     5.0s Accumulator concurrent
[ ]   61    0    0   61 /   64     5.1s Accumulator concurrent
[ ]   62    0    0   62 /   64     5.6s Accumulator concurrent
[✓]   64    0    0   64 /   64     5.7s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 2001292094787503304
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Accumulator sequential
[✓]  128    0    0  128 /  128     0.0s Accumulator sequential
[ ]    0    0    0    0 /  128     0.0s Accumulator concurrent
[ ]    1    0    0    1 /  128     0.0s Accumulator concurrent
[ ]    2    0    0    2 /  128     0.7s Accumulator concurrent
[ ]    4    0    0    4 /  128     0.9s Accumulator concurrent
[ ]    5    0    0    5 /  128     1.0s Accumulator concurrent
[ ]    7    0    0    7 /  128     1.1s Accumulator concurrent
[ ]    9    0    0    9 /  128     1.2s Accumulator concurrent
[ ]   11    0    0   11 /  128     1.3s Accumulator concurrent
[ ]   12    0    0   12 /  128     1.4s Accumulator concurrent
[ ]   14    0    0   14 /  128     1.6s Accumulator concurrent
[ ]   16    0    0   16 /  128     1.7s Accumulator concurrent
[ ]   18    0    0   18 /  128     1.9s Accumulator concurrent
[ ]   19    0    0   19 /  128     2.1s Accumulator concurrent
[ ]   22    0    0   22 /  128     2.2s Accumulator concurrent
[ ]   23    0    0   23 /  128     2.3s Accumulator concurrent
[ ]   25    0    0   25 /  128     2.7s Accumulator concurrent
[ ]   27    0    0   27 /  128     2.9s Accumulator concurrent
[ ]   28    0    0   28 /  128     3.1s Accumulator concurrent
[ ]   29    0    0   29 /  128     3.2s Accumulator concurrent
[ ]   30    0    0   30 /  128     3.5s Accumulator concurrent
[ ]   33    0    0   33 /  128     3.7s Accumulator concurrent
[ ]   37    0    0   37 /  128     3.8s Accumulator concurrent
[ ]   42    0    0   42 /  128     3.9s Accumulator concurrent
[ ]   45    0    0   45 /  128     4.0s Accumulator concurrent
[ ]   48    0    0   48 /  128     4.2s Accumulator concurrent
[ ]   53    0    0   53 /  128     4.3s Accumulator concurrent
[ ]   57    0    0   57 /  128     4.4s Accumulator concurrent
[ ]   58    0    0   58 /  128     4.8s Accumulator concurrent
[ ]   62    0    0   62 /  128     4.9s Accumulator concurrent
[ ]   66    0    0   66 /  128     5.0s Accumulator concurrent
[ ]   69    0    0   69 /  128     5.1s Accumulator concurrent
[ ]   72    0    0   72 /  128     5.2s Accumulator concurrent
[ ]   74    0    0   74 /  128     5.4s Accumulator concurrent
[ ]   75    0    0   75 /  128     5.5s Accumulator concurrent
[ ]   77    0    0   77 /  128     5.6s Accumulator concurrent
[ ]   78    0    0   78 /  128     5.7s Accumulator concurrent
[ ]   81    0    0   81 /  128     5.8s Accumulator concurrent
[ ]   83    0    0   83 /  128     6.0s Accumulator concurrent
[ ]   84    0    0   84 /  128     6.1s Accumulator concurrent
[ ]   85    0    0   85 /  128     6.8s Accumulator concurrent
[ ]   86    0    0   86 /  128     8.2s Accumulator concurrent
[ ]   87    0    0   87 /  128     8.4s Accumulator concurrent
[ ]   88    0    0   88 /  128     8.5s Accumulator concurrent
[ ]   89    0    0   89 /  128     8.7s Accumulator concurrent
[ ]   90    0    0   90 /  128     9.2s Accumulator concurrent
[ ]   91    0    0   91 /  128     9.4s Accumulator concurrent
[ ]   93    0    0   93 /  128     9.6s Accumulator concurrent
[ ]   94    0    0   94 /  128     9.9s Accumulator concurrent
[ ]   97    0    0   97 /  128    10.1s Accumulator concurrent
[ ]   99    0    0   99 /  128    10.3s Accumulator concurrent
[ ]  101    0    0  101 /  128    10.4s Accumulator concurrent
[ ]  104    0    0  104 /  128    10.5s Accumulator concurrent
[ ]  106    0    0  106 /  128    10.6s Accumulator concurrent
[ ]  109    0    0  109 /  128    10.8s Accumulator concurrent
[ ]  112    0    0  112 /  128    10.9s Accumulator concurrent
[ ]  113    0    0  113 /  128    11.1s Accumulator concurrent
[ ]  115    0    0  115 /  128    11.3s Accumulator concurrent
[ ]  116    0    0  116 /  128    11.6s Accumulator concurrent
[ ]  117    0    0  117 /  128    12.1s Accumulator concurrent
[ ]  118    0    0  118 /  128    12.5s Accumulator concurrent
[ ]  119    0    0  119 /  128    12.7s Accumulator concurrent
[ ]  121    0    0  121 /  128    12.9s Accumulator concurrent
[ ]  122    0    0  122 /  128    13.1s Accumulator concurrent
[ ]  123    0    0  123 /  128    13.2s Accumulator concurrent
[ ]  124    0    0  124 /  128    13.4s Accumulator concurrent
[ ]  125    0    0  125 /  128    13.8s Accumulator concurrent
[ ]  126    0    0  126 /  128    13.9s Accumulator concurrent
[ ]  128    0    0  128 /  128    14.0s Accumulator concurrent
[✓]  128    0    0  128 /  128    14.0s Accumulator concurrent
================================================================================
success (ran 2 tests)
random seed: 2968332627248940317
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  256     0.0s Accumulator sequential
[✓]  256    0    0  256 /  256     0.0s Accumulator sequential
[ ]    0    0    0    0 /  256     0.0s Accumulator concurrent
[ ]    2    0    0    2 /  256     0.2s Accumulator concurrent
[ ]    3    0    0    3 /  256     0.3s Accumulator concurrent
[ ]    5    0    0    5 /  256     0.5s Accumulator concurrent
[ ]    9    0    0    9 /  256     0.6s Accumulator concurrent
[ ]   11    0    0   11 /  256     0.7s Accumulator concurrent
[ ]   13    0    0   13 /  256     1.1s Accumulator concurrent
[ ]   16    0    0   16 /  256     1.2s Accumulator concurrent
[ ]   19    0    0   19 /  256     1.4s Accumulator concurrent
[ ]   21    0    0   21 /  256     1.9s Accumulator concurrent
[ ]   22    0    0   22 /  256     2.0s Accumulator concurrent
[ ]   23    0    0   23 /  256     2.2s Accumulator concurrent
[ ]   25    0    0   25 /  256     3.0s Accumulator concurrent
[ ]   27    0    0   27 /  256     4.0s Accumulator concurrent
[ ]   28    0    0   28 /  256     4.2s Accumulator concurrent
[ ]   30    0    0   30 /  256     4.3s Accumulator concurrent
[ ]   31    0    0   31 /  256     4.8s Accumulator concurrent
[ ]   32    0    0   32 /  256     5.4s Accumulator concurrent
[ ]   34    0    0   34 /  256     5.7s Accumulator concurrent
[ ]   36    0    0   36 /  256     5.9s Accumulator concurrent
[ ]   38    0    0   38 /  256     6.4s Accumulator concurrent
[ ]   39    0    0   39 /  256     6.5s Accumulator concurrent
[ ]   41    0    0   41 /  256     7.3s Accumulator concurrent
[ ]   42    0    0   42 /  256     7.4s Accumulator concurrent
[ ]   44    0    0   44 /  256     7.5s Accumulator concurrent
[ ]   45    0    0   45 /  256     7.7s Accumulator concurrent
[ ]   46    0    0   46 /  256     7.9s Accumulator concurrent
[ ]   47    0    0   47 /  256     8.0s Accumulator concurrent
[ ]   48    0    0   48 /  256     8.3s Accumulator concurrent
[ ]   50    0    0   50 /  256     8.6s Accumulator concurrent
[ ]   51    0    0   51 /  256     8.8s Accumulator concurrent
[ ]   52    0    0   52 /  256     9.7s Accumulator concurrent
[ ]   53    0    0   53 /  256     9.9s Accumulator concurrent
[ ]   54    0    0   54 /  256    10.1s Accumulator concurrent
[ ]   55    0    0   55 /  256    10.3s Accumulator concurrent
[ ]   56    0    0   56 /  256    10.8s Accumulator concurrent
[ ]   57    0    0   57 /  256    10.9s Accumulator concurrent
[ ]   58    0    0   58 /  256    11.1s Accumulator concurrent
[ ]   59    0    0   59 /  256    11.3s Accumulator concurrent
[ ]   61    0    0   61 /  256    11.5s Accumulator concurrent
[ ]   64    0    0   64 /  256    11.7s Accumulator concurrent
[ ]   66    0    0   66 /  256    12.1s Accumulator concurrent
[ ]   67    0    0   67 /  256    12.3s Accumulator concurrent
[ ]   69    0    0   69 /  256    12.4s Accumulator concurrent
[ ]   70    0    0   70 /  256    12.6s Accumulator concurrent
[ ]   71    0    0   71 /  256    13.2s Accumulator concurrent
[ ]   73    0    0   73 /  256    13.3s Accumulator concurrent
[ ]   74    0    0   74 /  256    13.5s Accumulator concurrent
[ ]   75    0    0   75 /  256    13.6s Accumulator concurrent
[ ]   77    0    0   77 /  256    13.7s Accumulator concurrent
[ ]   78    0    0   78 /  256    13.9s Accumulator concurrent
[ ]   80    0    0   80 /  256    14.2s Accumulator concurrent
[ ]   81    0    0   81 /  256    14.6s Accumulator concurrent
[ ]   83    0    0   83 /  256    14.8s Accumulator concurrent
[ ]   85    0    0   85 /  256    14.9s Accumulator concurrent
[ ]   88    0    0   88 /  256    15.1s Accumulator concurrent
[ ]   90    0    0   90 /  256    15.2s Accumulator concurrent
[ ]   92    0    0   92 /  256    15.7s Accumulator concurrent
[ ]   97    0    0   97 /  256    15.8s Accumulator concurrent
[ ]  100    0    0  100 /  256    15.9s Accumulator concurrent
[ ]  101    0    0  101 /  256    16.2s Accumulator concurrent
[ ]  102    0    0  102 /  256    16.5s Accumulator concurrent
[ ]  103    0    0  103 /  256    16.6s Accumulator concurrent
[ ]  105    0    0  105 /  256    16.9s Accumulator concurrent
[ ]  106    0    0  106 /  256    17.6s Accumulator concurrent
[ ]  107    0    0  107 /  256    18.5s Accumulator concurrent
[ ]  109    0    0  109 /  256    18.8s Accumulator concurrent
[ ]  110    0    0  110 /  256    18.9s Accumulator concurrent
[ ]  111    0    0  111 /  256    19.2s Accumulator concurrent
[ ]  112    0    0  112 /  256    19.3s Accumulator concurrent
[ ]  113    0    0  113 /  256    19.5s Accumulator concurrent
[ ]  114    0    0  114 /  256    19.6s Accumulator concurrent
[ ]  115    0    0  115 /  256    20.0s Accumulator concurrent
[ ]  116    0    0  116 /  256    20.3s Accumulator concurrent
[ ]  117    0    0  117 /  256    20.5s Accumulator concurrent
[ ]  118    0    0  118 /  256    20.8s Accumulator concurrent
[ ]  119    0    0  119 /  256    20.9s Accumulator concurrent
[ ]  120    0    0  120 /  256    21.5s Accumulator concurrent
[ ]  121    0    0  121 /  256    22.2s Accumulator concurrent
[ ]  122    0    0  122 /  256    22.3s Accumulator concurrent
[ ]  123    0    0  123 /  256    23.6s Accumulator concurrent
[ ]  124    0    0  124 /  256    24.2s Accumulator concurrent
[ ]  125    0    0  125 /  256    24.5s Accumulator concurrent
[ ]  126    0    0  126 /  256    24.8s Accumulator concurrent
[ ]  129    0    0  129 /  256    25.1s Accumulator concurrent
[ ]  133    0    0  133 /  256    25.3s Accumulator concurrent
[ ]  134    0    0  134 /  256    25.4s Accumulator concurrent
[ ]  135    0    0  135 /  256    25.8s Accumulator concurrent
[ ]  136    0    0  136 /  256    25.9s Accumulator concurrent
[ ]  137    0    0  137 /  256    26.2s Accumulator concurrent
[ ]  138    0    0  138 /  256    26.4s Accumulator concurrent
[ ]  140    0    0  140 /  256    27.3s Accumulator concurrent
[ ]  142    0    0  142 /  256    27.4s Accumulator concurrent
[ ]  144    0    0  144 /  256    27.5s Accumulator concurrent
[ ]  147    0    0  147 /  256    27.7s Accumulator concurrent
[ ]  150    0    0  150 /  256    27.8s Accumulator concurrent
[ ]  152    0    0  152 /  256    28.0s Accumulator concurrent
[ ]  154    0    0  154 /  256    28.1s Accumulator concurrent
[ ]  156    0    0  156 /  256    28.2s Accumulator concurrent
[ ]  157    0    0  157 /  256    28.3s Accumulator concurrent
[ ]  159    0    0  159 /  256    28.4s Accumulator concurrent
[ ]  162    0    0  162 /  256    28.6s Accumulator concurrent
[ ]  165    0    0  165 /  256    28.7s Accumulator concurrent
[ ]  167    0    0  167 /  256    28.8s Accumulator concurrent
[ ]  169    0    0  169 /  256    28.9s Accumulator concurrent
[ ]  174    0    0  174 /  256    29.0s Accumulator concurrent
[ ]  175    0    0  175 /  256    29.4s Accumulator concurrent
[ ]  176    0    0  176 /  256    29.9s Accumulator concurrent
[ ]  177    0    0  177 /  256    30.1s Accumulator concurrent
[ ]  178    0    0  178 /  256    30.5s Accumulator concurrent
[ ]  179    0    0  179 /  256    30.6s Accumulator concurrent
[ ]  180    0    0  180 /  256    30.9s Accumulator concurrent
[ ]  181    0    0  181 /  256    31.1s Accumulator concurrent
[ ]  182    0    0  182 /  256    31.5s Accumulator concurrent
[ ]  184    0    0  184 /  256    31.7s Accumulator concurrent
[ ]  185    0    0  185 /  256    31.8s Accumulator concurrent
[ ]  186    0    0  186 /  256    32.0s Accumulator concurrent
[ ]  188    0    0  188 /  256    32.2s Accumulator concurrent
[ ]  189    0    0  189 /  256    32.3s Accumulator concurrent
[ ]  190    0    0  190 /  256    32.5s Accumulator concurrent
[ ]  192    0    0  192 /  256    32.6s Accumulator concurrent
[ ]  194    0    0  194 /  256    32.8s Accumulator concurrent
[ ]  197    0    0  197 /  256    32.9s Accumulator concurrent
[ ]  198    0    0  198 /  256    33.4s Accumulator concurrent
[ ]  200    0    0  200 /  256    33.6s Accumulator concurrent
[ ]  201    0    0  201 /  256    33.8s Accumulator concurrent
[ ]  202    0    0  202 /  256    33.9s Accumulator concurrent
[ ]  203    0    0  203 /  256    35.4s Accumulator concurrent
[ ]  204    0    0  204 /  256    35.6s Accumulator concurrent
[ ]  205    0    0  205 /  256    35.9s Accumulator concurrent
[ ]  206    0    0  206 /  256    36.1s Accumulator concurrent
[ ]  207    0    0  207 /  256    36.4s Accumulator concurrent
[ ]  208    0    0  208 /  256    38.4s Accumulator concurrent
[ ]  209    0    0  209 /  256    38.7s Accumulator concurrent
[ ]  210    0    0  210 /  256    38.9s Accumulator concurrent
[ ]  211    0    0  211 /  256    39.2s Accumulator concurrent
[ ]  212    0    0  212 /  256    39.4s Accumulator concurrent
[ ]  213    0    0  213 /  256    40.5s Accumulator concurrent
[ ]  215    0    0  215 /  256    40.8s Accumulator concurrent
[ ]  216    0    0  216 /  256    40.9s Accumulator concurrent
[ ]  218    0    0  218 /  256    41.0s Accumulator concurrent
[ ]  220    0    0  220 /  256    41.2s Accumulator concurrent
[ ]  221    0    0  221 /  256    41.3s Accumulator concurrent
[ ]  222    0    0  222 /  256    41.4s Accumulator concurrent
[ ]  223    0    0  223 /  256    42.2s Accumulator concurrent
[ ]  224    0    0  224 /  256    43.6s Accumulator concurrent
[ ]  225    0    0  225 /  256    43.7s Accumulator concurrent
[ ]  226    0    0  226 /  256    44.4s Accumulator concurrent
[ ]  227    0    0  227 /  256    45.1s Accumulator concurrent
[ ]  229    0    0  229 /  256    45.2s Accumulator concurrent
[ ]  231    0    0  231 /  256    46.4s Accumulator concurrent
[ ]  232    0    0  232 /  256    46.9s Accumulator concurrent
[ ]  233    0    0  233 /  256    48.3s Accumulator concurrent
[ ]  234    0    0  234 /  256    49.1s Accumulator concurrent
[ ]  235    0    0  235 /  256    49.7s Accumulator concurrent
[ ]  236    0    0  236 /  256    50.3s Accumulator concurrent
[ ]  237    0    0  237 /  256    51.4s Accumulator concurrent
[ ]  238    0    0  238 /  256    52.3s Accumulator concurrent
[ ]  239    0    0  239 /  256    52.9s Accumulator concurrent
[ ]  240    0    0  240 /  256    53.3s Accumulator concurrent
[ ]  241    0    0  241 /  256    54.2s Accumulator concurrent
[ ]  242    0    0  242 /  256    56.0s Accumulator concurrent
[ ]  243    0    0  243 /  256    56.3s Accumulator concurrent
[ ]  244    0    0  244 /  256    56.8s Accumulator concurrent
[ ]  245    0    0  245 /  256    57.0s Accumulator concurrent
[ ]  246    0    0  246 /  256    57.5s Accumulator concurrent
[ ]  247    0    0  247 /  256    58.2s Accumulator concurrent
[ ]  248    0    0  248 /  256    58.8s Accumulator concurrent
[ ]  249    0    0  249 /  256    60.0s Accumulator concurrent
[ ]  250    0    0  250 /  256    60.5s Accumulator concurrent
[ ]  251    0    0  251 /  256    61.7s Accumulator concurrent
[ ]  252    0    0  252 /  256    62.5s Accumulator concurrent
[ ]  253    0    0  253 /  256    63.1s Accumulator concurrent
[ ]  254    0    0  254 /  256    64.7s Accumulator concurrent
[ ]  255    0    0  255 /  256    65.3s Accumulator concurrent
[ ]  256    0    0  256 /  256    65.9s Accumulator concurrent
[✓]  256    0    0  256 /  256    65.9s Accumulator concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./hashtbl_test_stm.exe)
random seed: 3305205791364849150
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Hashtbl sequential
[ ]    0    0    0    0 /   32     0.0s Hashtbl sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Hashtbl sequential
[ ]    0    0    0    0 /   32     0.0s Hashtbl concurrent
[ ]    2    0    0    2 /   32     0.2s Hashtbl concurrent
[ ]    4    0    0    4 /   32     0.3s Hashtbl concurrent
[ ]    5    0    0    5 /   32     0.5s Hashtbl concurrent
[ ]    6    0    0    6 /   32     0.6s Hashtbl concurrent
[ ]    8    0    0    8 /   32     0.7s Hashtbl concurrent
[ ]    9    0    0    9 /   32     1.0s Hashtbl concurrent
[ ]   10    0    0   10 /   32     1.2s Hashtbl concurrent
[ ]   12    0    0   12 /   32     1.4s Hashtbl concurrent
[ ]   13    0    0   13 /   32     1.6s Hashtbl concurrent
[ ]   14    0    0   14 /   32     1.7s Hashtbl concurrent
[ ]   15    0    0   15 /   32     1.8s Hashtbl concurrent
[ ]   17    0    0   17 /   32     2.0s Hashtbl concurrent
[ ]   18    0    0   18 /   32     2.1s Hashtbl concurrent
[ ]   19    0    0   19 /   32     2.2s Hashtbl concurrent
[ ]   21    0    0   21 /   32     2.3s Hashtbl concurrent
[ ]   23    0    0   23 /   32     2.5s Hashtbl concurrent
[ ]   25    0    0   25 /   32     2.6s Hashtbl concurrent
[ ]   27    0    0   27 /   32     2.7s Hashtbl concurrent
[ ]   29    0    0   29 /   32     2.9s Hashtbl concurrent
[ ]   31    0    0   31 /   32     3.0s Hashtbl concurrent
[✓]   32    0    0   32 /   32     3.0s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 5380521307094152
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Hashtbl sequential
[✓]   64    0    0   64 /   64     0.0s Hashtbl sequential
[ ]    0    0    0    0 /   64     0.0s Hashtbl concurrent
[ ]    1    0    0    1 /   64     0.1s Hashtbl concurrent
[ ]    3    0    0    3 /   64     0.2s Hashtbl concurrent
[ ]    6    0    0    6 /   64     0.4s Hashtbl concurrent
[ ]    8    0    0    8 /   64     0.5s Hashtbl concurrent
[ ]    9    0    0    9 /   64     1.0s Hashtbl concurrent
[ ]   10    0    0   10 /   64     1.1s Hashtbl concurrent
[ ]   13    0    0   13 /   64     1.3s Hashtbl concurrent
[ ]   16    0    0   16 /   64     1.4s Hashtbl concurrent
[ ]   18    0    0   18 /   64     1.5s Hashtbl concurrent
[ ]   21    0    0   21 /   64     1.7s Hashtbl concurrent
[ ]   23    0    0   23 /   64     1.9s Hashtbl concurrent
[ ]   25    0    0   25 /   64     2.1s Hashtbl concurrent
[ ]   27    0    0   27 /   64     2.2s Hashtbl concurrent
[ ]   28    0    0   28 /   64     2.9s Hashtbl concurrent
[ ]   30    0    0   30 /   64     3.0s Hashtbl concurrent
[ ]   32    0    0   32 /   64     3.1s Hashtbl concurrent
[ ]   35    0    0   35 /   64     3.3s Hashtbl concurrent
[ ]   38    0    0   38 /   64     3.4s Hashtbl concurrent
[ ]   41    0    0   41 /   64     3.5s Hashtbl concurrent
[ ]   44    0    0   44 /   64     3.6s Hashtbl concurrent
[ ]   46    0    0   46 /   64     3.7s Hashtbl concurrent
[ ]   47    0    0   47 /   64     3.9s Hashtbl concurrent
[ ]   50    0    0   50 /   64     4.1s Hashtbl concurrent
[ ]   52    0    0   52 /   64     4.2s Hashtbl concurrent
[ ]   53    0    0   53 /   64     4.6s Hashtbl concurrent
[ ]   55    0    0   55 /   64     4.7s Hashtbl concurrent
[ ]   56    0    0   56 /   64     5.1s Hashtbl concurrent
[ ]   58    0    0   58 /   64     5.2s Hashtbl concurrent
[ ]   61    0    0   61 /   64     5.5s Hashtbl concurrent
[ ]   63    0    0   63 /   64     5.8s Hashtbl concurrent
[✓]   64    0    0   64 /   64     5.8s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 4267198394687721602
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Hashtbl sequential
[✓]  128    0    0  128 /  128     0.0s Hashtbl sequential
[ ]    0    0    0    0 /  128     0.0s Hashtbl concurrent
[ ]    2    0    0    2 /  128     0.1s Hashtbl concurrent
[ ]    4    0    0    4 /  128     0.3s Hashtbl concurrent
[ ]    7    0    0    7 /  128     0.4s Hashtbl concurrent
[ ]   12    0    0   12 /  128     0.5s Hashtbl concurrent
[ ]   16    0    0   16 /  128     0.7s Hashtbl concurrent
[ ]   17    0    0   17 /  128     1.1s Hashtbl concurrent
[ ]   20    0    0   20 /  128     1.2s Hashtbl concurrent
[ ]   23    0    0   23 /  128     1.3s Hashtbl concurrent
[ ]   26    0    0   26 /  128     1.4s Hashtbl concurrent
[ ]   28    0    0   28 /  128     1.9s Hashtbl concurrent
[ ]   31    0    0   31 /  128     2.1s Hashtbl concurrent
[ ]   33    0    0   33 /  128     2.2s Hashtbl concurrent
[ ]   36    0    0   36 /  128     2.4s Hashtbl concurrent
[ ]   37    0    0   37 /  128     2.5s Hashtbl concurrent
[ ]   40    0    0   40 /  128     2.6s Hashtbl concurrent
[ ]   43    0    0   43 /  128     2.7s Hashtbl concurrent
[ ]   47    0    0   47 /  128     2.9s Hashtbl concurrent
[ ]   48    0    0   48 /  128     3.1s Hashtbl concurrent
[ ]   51    0    0   51 /  128     3.2s Hashtbl concurrent
[ ]   53    0    0   53 /  128     3.3s Hashtbl concurrent
[ ]   55    0    0   55 /  128     3.5s Hashtbl concurrent
[ ]   58    0    0   58 /  128     3.6s Hashtbl concurrent
[ ]   59    0    0   59 /  128     3.8s Hashtbl concurrent
[ ]   61    0    0   61 /  128     3.9s Hashtbl concurrent
[ ]   64    0    0   64 /  128     4.1s Hashtbl concurrent
[ ]   66    0    0   66 /  128     4.2s Hashtbl concurrent
[ ]   68    0    0   68 /  128     4.3s Hashtbl concurrent
[ ]   69    0    0   69 /  128     4.7s Hashtbl concurrent
[ ]   71    0    0   71 /  128     4.9s Hashtbl concurrent
[ ]   72    0    0   72 /  128     5.3s Hashtbl concurrent
[ ]   74    0    0   74 /  128     5.4s Hashtbl concurrent
[ ]   77    0    0   77 /  128     5.5s Hashtbl concurrent
[ ]   79    0    0   79 /  128     5.7s Hashtbl concurrent
[ ]   81    0    0   81 /  128     5.8s Hashtbl concurrent
[ ]   82    0    0   82 /  128     5.9s Hashtbl concurrent
[ ]   85    0    0   85 /  128     6.2s Hashtbl concurrent
[ ]   86    0    0   86 /  128     6.4s Hashtbl concurrent
[ ]   87    0    0   87 /  128     6.7s Hashtbl concurrent
[ ]   88    0    0   88 /  128     8.4s Hashtbl concurrent
[ ]   89    0    0   89 /  128     8.6s Hashtbl concurrent
[ ]   90    0    0   90 /  128     9.4s Hashtbl concurrent
[ ]   91    0    0   91 /  128     9.5s Hashtbl concurrent
[ ]   92    0    0   92 /  128     9.7s Hashtbl concurrent
[ ]   93    0    0   93 /  128    10.0s Hashtbl concurrent
[ ]   96    0    0   96 /  128    10.3s Hashtbl concurrent
[ ]   98    0    0   98 /  128    10.4s Hashtbl concurrent
[ ]   99    0    0   99 /  128    10.7s Hashtbl concurrent
[ ]  102    0    0  102 /  128    10.9s Hashtbl concurrent
[ ]  105    0    0  105 /  128    11.0s Hashtbl concurrent
[ ]  106    0    0  106 /  128    11.1s Hashtbl concurrent
[ ]  108    0    0  108 /  128    11.2s Hashtbl concurrent
[ ]  110    0    0  110 /  128    12.0s Hashtbl concurrent
[ ]  111    0    0  111 /  128    12.4s Hashtbl concurrent
[ ]  112    0    0  112 /  128    12.6s Hashtbl concurrent
[ ]  113    0    0  113 /  128    12.8s Hashtbl concurrent
[ ]  114    0    0  114 /  128    13.5s Hashtbl concurrent
[ ]  115    0    0  115 /  128    14.2s Hashtbl concurrent
[ ]  116    0    0  116 /  128    14.3s Hashtbl concurrent
[ ]  117    0    0  117 /  128    14.5s Hashtbl concurrent
[ ]  118    0    0  118 /  128    14.6s Hashtbl concurrent
[ ]  119    0    0  119 /  128    14.9s Hashtbl concurrent
[ ]  120    0    0  120 /  128    15.2s Hashtbl concurrent
[ ]  122    0    0  122 /  128    15.4s Hashtbl concurrent
[ ]  124    0    0  124 /  128    15.5s Hashtbl concurrent
[ ]  125    0    0  125 /  128    15.6s Hashtbl concurrent
[ ]  126    0    0  126 /  128    15.8s Hashtbl concurrent
[ ]  127    0    0  127 /  128    15.9s Hashtbl concurrent
[ ]  128    0    0  128 /  128    16.0s Hashtbl concurrent
[✓]  128    0    0  128 /  128    16.0s Hashtbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3877743969455624688
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  256     0.0s Hashtbl sequential
[✓]  256    0    0  256 /  256     0.0s Hashtbl sequential
[ ]    0    0    0    0 /  256     0.0s Hashtbl concurrent
[ ]    2    0    0    2 /  256     0.1s Hashtbl concurrent
[ ]    3    0    0    3 /  256     0.3s Hashtbl concurrent
[ ]    5    0    0    5 /  256     0.5s Hashtbl concurrent
[ ]    7    0    0    7 /  256     0.6s Hashtbl concurrent
[ ]    9    0    0    9 /  256     0.8s Hashtbl concurrent
[ ]   10    0    0   10 /  256     1.0s Hashtbl concurrent
[ ]   11    0    0   11 /  256     1.5s Hashtbl concurrent
[ ]   12    0    0   12 /  256     1.8s Hashtbl concurrent
[ ]   13    0    0   13 /  256     2.0s Hashtbl concurrent
[ ]   14    0    0   14 /  256     2.2s Hashtbl concurrent
[ ]   16    0    0   16 /  256     2.4s Hashtbl concurrent
[ ]   18    0    0   18 /  256     3.0s Hashtbl concurrent
[ ]   19    0    0   19 /  256     3.4s Hashtbl concurrent
[ ]   20    0    0   20 /  256     3.6s Hashtbl concurrent
[ ]   21    0    0   21 /  256     3.8s Hashtbl concurrent
[ ]   22    0    0   22 /  256     3.9s Hashtbl concurrent
[ ]   23    0    0   23 /  256     4.4s Hashtbl concurrent
[ ]   24    0    0   24 /  256     4.5s Hashtbl concurrent
[ ]   25    0    0   25 /  256     4.6s Hashtbl concurrent
[ ]   27    0    0   27 /  256     4.7s Hashtbl concurrent
[ ]   28    0    0   28 /  256     4.8s Hashtbl concurrent
[ ]   31    0    0   31 /  256     5.0s Hashtbl concurrent
[ ]   33    0    0   33 /  256     5.1s Hashtbl concurrent
[ ]   36    0    0   36 /  256     5.2s Hashtbl concurrent
[ ]   37    0    0   37 /  256     5.4s Hashtbl concurrent
[ ]   39    0    0   39 /  256     5.5s Hashtbl concurrent
[ ]   41    0    0   41 /  256     5.7s Hashtbl concurrent
[ ]   43    0    0   43 /  256     5.8s Hashtbl concurrent
[ ]   44    0    0   44 /  256     5.9s Hashtbl concurrent
[ ]   46    0    0   46 /  256     6.1s Hashtbl concurrent
[ ]   48    0    0   48 /  256     6.4s Hashtbl concurrent
[ ]   50    0    0   50 /  256     6.8s Hashtbl concurrent
[ ]   51    0    0   51 /  256     7.1s Hashtbl concurrent
[ ]   54    0    0   54 /  256     7.6s Hashtbl concurrent
[ ]   55    0    0   55 /  256     7.8s Hashtbl concurrent
[ ]   56    0    0   56 /  256     8.0s Hashtbl concurrent
[ ]   59    0    0   59 /  256     8.5s Hashtbl concurrent
[ ]   60    0    0   60 /  256     8.9s Hashtbl concurrent
[ ]   61    0    0   61 /  256     9.4s Hashtbl concurrent
[ ]   64    0    0   64 /  256     9.5s Hashtbl concurrent
[ ]   67    0    0   67 /  256     9.6s Hashtbl concurrent
[ ]   69    0    0   69 /  256     9.8s Hashtbl concurrent
[ ]   70    0    0   70 /  256    10.2s Hashtbl concurrent
[ ]   71    0    0   71 /  256    10.3s Hashtbl concurrent
[ ]   73    0    0   73 /  256    10.4s Hashtbl concurrent
[ ]   75    0    0   75 /  256    10.5s Hashtbl concurrent
[ ]   77    0    0   77 /  256    10.8s Hashtbl concurrent
[ ]   78    0    0   78 /  256    11.3s Hashtbl concurrent
[ ]   80    0    0   80 /  256    11.5s Hashtbl concurrent
[ ]   84    0    0   84 /  256    11.8s Hashtbl concurrent
[ ]   88    0    0   88 /  256    11.9s Hashtbl concurrent
[ ]   92    0    0   92 /  256    12.1s Hashtbl concurrent
[ ]   94    0    0   94 /  256    12.3s Hashtbl concurrent
[ ]   97    0    0   97 /  256    12.6s Hashtbl concurrent
[ ]  101    0    0  101 /  256    12.8s Hashtbl concurrent
[ ]  102    0    0  102 /  256    13.3s Hashtbl concurrent
[ ]  104    0    0  104 /  256    13.6s Hashtbl concurrent
[ ]  108    0    0  108 /  256    13.7s Hashtbl concurrent
[ ]  111    0    0  111 /  256    13.8s Hashtbl concurrent
[ ]  112    0    0  112 /  256    13.9s Hashtbl concurrent
[ ]  114    0    0  114 /  256    14.4s Hashtbl concurrent
[ ]  115    0    0  115 /  256    14.5s Hashtbl concurrent
[ ]  116    0    0  116 /  256    14.6s Hashtbl concurrent
[ ]  117    0    0  117 /  256    14.8s Hashtbl concurrent
[ ]  118    0    0  118 /  256    15.1s Hashtbl concurrent
[ ]  119    0    0  119 /  256    15.5s Hashtbl concurrent
[ ]  120    0    0  120 /  256    16.0s Hashtbl concurrent
[ ]  121    0    0  121 /  256    16.5s Hashtbl concurrent
[ ]  122    0    0  122 /  256    16.7s Hashtbl concurrent
[ ]  123    0    0  123 /  256    16.8s Hashtbl concurrent
[ ]  124    0    0  124 /  256    17.2s Hashtbl concurrent
[ ]  125    0    0  125 /  256    17.3s Hashtbl concurrent
[ ]  126    0    0  126 /  256    17.5s Hashtbl concurrent
[ ]  128    0    0  128 /  256    17.7s Hashtbl concurrent
[ ]  129    0    0  129 /  256    17.9s Hashtbl concurrent
[ ]  130    0    0  130 /  256    18.1s Hashtbl concurrent
[ ]  131    0    0  131 /  256    18.3s Hashtbl concurrent
[ ]  132    0    0  132 /  256    18.7s Hashtbl concurrent
[ ]  133    0    0  133 /  256    19.0s Hashtbl concurrent
[ ]  134    0    0  134 /  256    19.4s Hashtbl concurrent
[ ]  135    0    0  135 /  256    20.0s Hashtbl concurrent
[ ]  136    0    0  136 /  256    20.3s Hashtbl concurrent
[ ]  137    0    0  137 /  256    21.0s Hashtbl concurrent
[ ]  138    0    0  138 /  256    21.7s Hashtbl concurrent
[ ]  139    0    0  139 /  256    22.3s Hashtbl concurrent
[ ]  140    0    0  140 /  256    22.6s Hashtbl concurrent
[ ]  141    0    0  141 /  256    22.9s Hashtbl concurrent
[ ]  143    0    0  143 /  256    23.0s Hashtbl concurrent
[ ]  147    0    0  147 /  256    23.1s Hashtbl concurrent
[ ]  148    0    0  148 /  256    23.3s Hashtbl concurrent
[ ]  152    0    0  152 /  256    23.4s Hashtbl concurrent
[ ]  156    0    0  156 /  256    23.5s Hashtbl concurrent
[ ]  158    0    0  158 /  256    24.3s Hashtbl concurrent
[ ]  159    0    0  159 /  256    24.5s Hashtbl concurrent
[ ]  160    0    0  160 /  256    24.7s Hashtbl concurrent
[ ]  161    0    0  161 /  256    24.8s Hashtbl concurrent
[ ]  163    0    0  163 /  256    25.3s Hashtbl concurrent
[ ]  164    0    0  164 /  256    25.6s Hashtbl concurrent
[ ]  166    0    0  166 /  256    25.7s Hashtbl concurrent
[ ]  169    0    0  169 /  256    25.8s Hashtbl concurrent
[ ]  170    0    0  170 /  256    26.3s Hashtbl concurrent
[ ]  172    0    0  172 /  256    26.4s Hashtbl concurrent
[ ]  174    0    0  174 /  256    26.5s Hashtbl concurrent
[ ]  175    0    0  175 /  256    26.6s Hashtbl concurrent
[ ]  178    0    0  178 /  256    26.8s Hashtbl concurrent
[ ]  180    0    0  180 /  256    26.9s Hashtbl concurrent
[ ]  183    0    0  183 /  256    27.0s Hashtbl concurrent
[ ]  187    0    0  187 /  256    27.1s Hashtbl concurrent
[ ]  193    0    0  193 /  256    27.6s Hashtbl concurrent
[ ]  194    0    0  194 /  256    28.0s Hashtbl concurrent
[ ]  195    0    0  195 /  256    28.2s Hashtbl concurrent
[ ]  196    0    0  196 /  256    28.3s Hashtbl concurrent
[ ]  197    0    0  197 /  256    28.5s Hashtbl concurrent
[ ]  198    0    0  198 /  256    28.6s Hashtbl concurrent
[ ]  201    0    0  201 /  256    28.8s Hashtbl concurrent
[ ]  202    0    0  202 /  256    29.2s Hashtbl concurrent
[ ]  204    0    0  204 /  256    29.4s Hashtbl concurrent
[ ]  206    0    0  206 /  256    29.6s Hashtbl concurrent
[ ]  208    0    0  208 /  256    29.9s Hashtbl concurrent
[ ]  211    0    0  211 /  256    30.0s Hashtbl concurrent
[ ]  212    0    0  212 /  256    30.1s Hashtbl concurrent
[ ]  213    0    0  213 /  256    30.4s Hashtbl concurrent
[ ]  214    0    0  214 /  256    30.9s Hashtbl concurrent
[ ]  215    0    0  215 /  256    31.1s Hashtbl concurrent
[ ]  220    0    0  220 /  256    31.2s Hashtbl concurrent
[ ]  224    0    0  224 /  256    32.2s Hashtbl concurrent
[ ]  226    0    0  226 /  256    32.4s Hashtbl concurrent
[ ]  227    0    0  227 /  256    34.2s Hashtbl concurrent
[ ]  228    0    0  228 /  256    36.3s Hashtbl concurrent
[ ]  229    0    0  229 /  256    38.6s Hashtbl concurrent
[ ]  230    0    0  230 /  256    38.9s Hashtbl concurrent
[ ]  231    0    0  231 /  256    40.9s Hashtbl concurrent
[ ]  232    0    0  232 /  256    42.5s Hashtbl concurrent
[ ]  233    0    0  233 /  256    44.1s Hashtbl concurrent
[ ]  234    0    0  234 /  256    45.4s Hashtbl concurrent
[ ]  235    0    0  235 /  256    47.8s Hashtbl concurrent
[ ]  236    0    0  236 /  256    49.8s Hashtbl concurrent
[ ]  237    0    0  237 /  256    51.1s Hashtbl concurrent
[ ]  238    0    0  238 /  256    51.6s Hashtbl concurrent
[ ]  239    0    0  239 /  256    52.1s Hashtbl concurrent
[ ]  240    0    0  240 /  256    54.2s Hashtbl concurrent
[ ]  241    0    0  241 /  256    57.0s Hashtbl concurrent
[ ]  242    0    0  242 /  256    59.8s Hashtbl concurrent
[ ]  243    0    0  243 /  256    62.1s Hashtbl concurrent
[ ]  244    0    0  244 /  256    63.0s Hashtbl concurrent
[ ]  245    0    0  245 /  256    65.1s Hashtbl concurrent
[ ]  246    0    0  246 /  256    66.2s Hashtbl concurrent
[ ]  247    0    0  247 /  256    67.3s Hashtbl concurrent
[ ]  248    0    0  248 /  256    68.3s Hashtbl concurrent
[ ]  249    0    0  249 /  256    68.9s Hashtbl concurrent
[ ]  250    0    0  250 /  256    69.3s Hashtbl concurrent
[ ]  251    0    0  251 /  256    69.9s Hashtbl concurrent
[ ]  252    0    0  252 /  256    70.3s Hashtbl concurrent
[ ]  255    0    0  255 /  256    70.4s Hashtbl concurrent
[✓]  256    0    0  256 /  256    70.4s Hashtbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./queue_test_stm.exe)
random seed: 3188790730359889586
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Queue sequential
[ ]    0    0    0    0 /   32     0.0s Queue sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Queue sequential
[ ]    0    0    0    0 /   32     0.0s Queue concurrent
[ ]    1    0    0    1 /   32     0.1s Queue concurrent
[ ]    2    0    0    2 /   32     0.2s Queue concurrent
[ ]    4    0    0    4 /   32     0.3s Queue concurrent
[ ]    5    0    0    5 /   32     0.5s Queue concurrent
[ ]    7    0    0    7 /   32     0.6s Queue concurrent
[ ]    9    0    0    9 /   32     0.7s Queue concurrent
[ ]   11    0    0   11 /   32     0.9s Queue concurrent
[ ]   13    0    0   13 /   32     1.0s Queue concurrent
[ ]   15    0    0   15 /   32     1.1s Queue concurrent
[ ]   17    0    0   17 /   32     1.3s Queue concurrent
[ ]   19    0    0   19 /   32     1.5s Queue concurrent
[ ]   20    0    0   20 /   32     1.6s Queue concurrent
[ ]   22    0    0   22 /   32     1.8s Queue concurrent
[ ]   24    0    0   24 /   32     1.9s Queue concurrent
[ ]   25    0    0   25 /   32     2.2s Queue concurrent
[ ]   26    0    0   26 /   32     2.8s Queue concurrent
[ ]   28    0    0   28 /   32     3.1s Queue concurrent
[ ]   30    0    0   30 /   32     3.4s Queue concurrent
[ ]   32    0    0   32 /   32     3.6s Queue concurrent
[✓]   32    0    0   32 /   32     3.6s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1689772732337257452
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Queue sequential
[✓]   64    0    0   64 /   64     0.0s Queue sequential
[ ]    0    0    0    0 /   64     0.0s Queue concurrent
[ ]    1    0    0    1 /   64     0.2s Queue concurrent
[ ]    5    0    0    5 /   64     0.4s Queue concurrent
[ ]    7    0    0    7 /   64     0.6s Queue concurrent
[ ]    9    0    0    9 /   64     0.7s Queue concurrent
[ ]   11    0    0   11 /   64     0.9s Queue concurrent
[ ]   14    0    0   14 /   64     1.0s Queue concurrent
[ ]   17    0    0   17 /   64     1.1s Queue concurrent
[ ]   20    0    0   20 /   64     1.3s Queue concurrent
[ ]   22    0    0   22 /   64     1.4s Queue concurrent
[ ]   24    0    0   24 /   64     1.5s Queue concurrent
[ ]   25    0    0   25 /   64     1.9s Queue concurrent
[ ]   27    0    0   27 /   64     2.0s Queue concurrent
[ ]   29    0    0   29 /   64     2.1s Queue concurrent
[ ]   32    0    0   32 /   64     2.3s Queue concurrent
[ ]   34    0    0   34 /   64     2.4s Queue concurrent
[ ]   36    0    0   36 /   64     2.5s Queue concurrent
[ ]   38    0    0   38 /   64     2.8s Queue concurrent
[ ]   39    0    0   39 /   64     3.4s Queue concurrent
[ ]   43    0    0   43 /   64     3.9s Queue concurrent
[ ]   46    0    0   46 /   64     4.1s Queue concurrent
[ ]   48    0    0   48 /   64     4.3s Queue concurrent
[ ]   50    0    0   50 /   64     4.4s Queue concurrent
[ ]   52    0    0   52 /   64     4.5s Queue concurrent
[ ]   54    0    0   54 /   64     4.7s Queue concurrent
[ ]   57    0    0   57 /   64     4.9s Queue concurrent
[ ]   59    0    0   59 /   64     5.1s Queue concurrent
[ ]   61    0    0   61 /   64     5.3s Queue concurrent
[ ]   62    0    0   62 /   64     5.4s Queue concurrent
[ ]   64    0    0   64 /   64     5.5s Queue concurrent
[✓]   64    0    0   64 /   64     5.5s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 2105567974776859582
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Queue sequential
[✓]  128    0    0  128 /  128     0.0s Queue sequential
[ ]    0    0    0    0 /  128     0.0s Queue concurrent
[ ]    2    0    0    2 /  128     0.4s Queue concurrent
[ ]    5    0    0    5 /  128     0.6s Queue concurrent
[ ]    8    0    0    8 /  128     0.7s Queue concurrent
[ ]   12    0    0   12 /  128     0.8s Queue concurrent
[ ]   13    0    0   13 /  128     1.4s Queue concurrent
[ ]   14    0    0   14 /  128     1.5s Queue concurrent
[ ]   16    0    0   16 /  128     1.6s Queue concurrent
[ ]   17    0    0   17 /  128     1.8s Queue concurrent
[ ]   19    0    0   19 /  128     1.9s Queue concurrent
[ ]   21    0    0   21 /  128     2.0s Queue concurrent
[ ]   24    0    0   24 /  128     2.2s Queue concurrent
[ ]   25    0    0   25 /  128     2.3s Queue concurrent
[ ]   26    0    0   26 /  128     2.6s Queue concurrent
[ ]   28    0    0   28 /  128     2.8s Queue concurrent
[ ]   31    0    0   31 /  128     3.4s Queue concurrent
[ ]   34    0    0   34 /  128     3.5s Queue concurrent
[ ]   36    0    0   36 /  128     3.7s Queue concurrent
[ ]   38    0    0   38 /  128     3.8s Queue concurrent
[ ]   43    0    0   43 /  128     3.9s Queue concurrent
[ ]   45    0    0   45 /  128     4.0s Queue concurrent
[ ]   47    0    0   47 /  128     4.2s Queue concurrent
[ ]   50    0    0   50 /  128     4.3s Queue concurrent
[ ]   52    0    0   52 /  128     4.6s Queue concurrent
[ ]   56    0    0   56 /  128     4.7s Queue concurrent
[ ]   58    0    0   58 /  128     4.8s Queue concurrent
[ ]   59    0    0   59 /  128     4.9s Queue concurrent
[ ]   60    0    0   60 /  128     5.6s Queue concurrent
[ ]   62    0    0   62 /  128     5.8s Queue concurrent
[ ]   64    0    0   64 /  128     5.9s Queue concurrent
[ ]   65    0    0   65 /  128     6.1s Queue concurrent
[ ]   66    0    0   66 /  128     7.6s Queue concurrent
[ ]   67    0    0   67 /  128     8.3s Queue concurrent
[ ]   68    0    0   68 /  128     8.5s Queue concurrent
[ ]   69    0    0   69 /  128     8.8s Queue concurrent
[ ]   70    0    0   70 /  128     9.0s Queue concurrent
[ ]   71    0    0   71 /  128     9.1s Queue concurrent
[ ]   72    0    0   72 /  128     9.2s Queue concurrent
[ ]   73    0    0   73 /  128     9.3s Queue concurrent
[ ]   74    0    0   74 /  128     9.5s Queue concurrent
[ ]   76    0    0   76 /  128     9.6s Queue concurrent
[ ]   78    0    0   78 /  128     9.8s Queue concurrent
[ ]   80    0    0   80 /  128    10.0s Queue concurrent
[ ]   81    0    0   81 /  128    10.2s Queue concurrent
[ ]   83    0    0   83 /  128    10.3s Queue concurrent
[ ]   86    0    0   86 /  128    10.5s Queue concurrent
[ ]   89    0    0   89 /  128    10.6s Queue concurrent
[ ]   92    0    0   92 /  128    10.7s Queue concurrent
[ ]   94    0    0   94 /  128    10.9s Queue concurrent
[ ]   96    0    0   96 /  128    11.0s Queue concurrent
[ ]   97    0    0   97 /  128    11.3s Queue concurrent
[ ]   98    0    0   98 /  128    11.5s Queue concurrent
[ ]   99    0    0   99 /  128    11.9s Queue concurrent
[ ]  100    0    0  100 /  128    12.1s Queue concurrent
[ ]  101    0    0  101 /  128    13.1s Queue concurrent
[ ]  102    0    0  102 /  128    13.4s Queue concurrent
[ ]  104    0    0  104 /  128    13.6s Queue concurrent
[ ]  105    0    0  105 /  128    13.8s Queue concurrent
[ ]  106    0    0  106 /  128    13.9s Queue concurrent
[ ]  107    0    0  107 /  128    14.2s Queue concurrent
[ ]  108    0    0  108 /  128    15.0s Queue concurrent
[ ]  110    0    0  110 /  128    15.1s Queue concurrent
[ ]  112    0    0  112 /  128    15.3s Queue concurrent
[ ]  114    0    0  114 /  128    15.7s Queue concurrent
[ ]  116    0    0  116 /  128    15.8s Queue concurrent
[ ]  118    0    0  118 /  128    15.9s Queue concurrent
[ ]  119    0    0  119 /  128    16.1s Queue concurrent
[ ]  120    0    0  120 /  128    16.6s Queue concurrent
[ ]  121    0    0  121 /  128    16.8s Queue concurrent
[ ]  122    0    0  122 /  128    17.1s Queue concurrent
[ ]  123    0    0  123 /  128    17.3s Queue concurrent
[ ]  124    0    0  124 /  128    17.7s Queue concurrent
[ ]  125    0    0  125 /  128    17.9s Queue concurrent
[ ]  126    0    0  126 /  128    18.0s Queue concurrent
[ ]  128    0    0  128 /  128    18.2s Queue concurrent
[✓]  128    0    0  128 /  128    18.2s Queue concurrent
================================================================================
success (ran 2 tests)
random seed: 700174970731399295
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  256     0.0s Queue sequential
[✓]  256    0    0  256 /  256     0.0s Queue sequential
[ ]    0    0    0    0 /  256     0.0s Queue concurrent
[ ]    2    0    0    2 /  256     0.2s Queue concurrent
[ ]    4    0    0    4 /  256     0.4s Queue concurrent
[ ]    5    0    0    5 /  256     0.7s Queue concurrent
[ ]    6    0    0    6 /  256     0.8s Queue concurrent
[ ]    7    0    0    7 /  256     1.0s Queue concurrent
[ ]    8    0    0    8 /  256     1.5s Queue concurrent
[ ]   10    0    0   10 /  256     2.0s Queue concurrent
[ ]   12    0    0   12 /  256     2.2s Queue concurrent
[ ]   14    0    0   14 /  256     2.4s Queue concurrent
[ ]   17    0    0   17 /  256     2.5s Queue concurrent
[ ]   19    0    0   19 /  256     2.7s Queue concurrent
[ ]   22    0    0   22 /  256     2.8s Queue concurrent
[ ]   24    0    0   24 /  256     2.9s Queue concurrent
[ ]   25    0    0   25 /  256     3.1s Queue concurrent
[ ]   27    0    0   27 /  256     3.6s Queue concurrent
[ ]   29    0    0   29 /  256     4.0s Queue concurrent
[ ]   31    0    0   31 /  256     4.1s Queue concurrent
[ ]   32    0    0   32 /  256     4.3s Queue concurrent
[ ]   34    0    0   34 /  256     4.7s Queue concurrent
[ ]   38    0    0   38 /  256     5.3s Queue concurrent
[ ]   40    0    0   40 /  256     5.5s Queue concurrent
[ ]   42    0    0   42 /  256     5.6s Queue concurrent
[ ]   44    0    0   44 /  256     5.8s Queue concurrent
[ ]   45    0    0   45 /  256     6.1s Queue concurrent
[ ]   46    0    0   46 /  256     6.4s Queue concurrent
[ ]   47    0    0   47 /  256     6.8s Queue concurrent
[ ]   48    0    0   48 /  256     7.0s Queue concurrent
[ ]   53    0    0   53 /  256     7.2s Queue concurrent
[ ]   57    0    0   57 /  256     7.3s Queue concurrent
[ ]   59    0    0   59 /  256     7.4s Queue concurrent
[ ]   61    0    0   61 /  256     7.7s Queue concurrent
[ ]   62    0    0   62 /  256     7.9s Queue concurrent
[ ]   64    0    0   64 /  256     8.0s Queue concurrent
[ ]   66    0    0   66 /  256     8.4s Queue concurrent
[ ]   67    0    0   67 /  256     8.5s Queue concurrent
[ ]   68    0    0   68 /  256     8.9s Queue concurrent
[ ]   69    0    0   69 /  256     9.1s Queue concurrent
[ ]   70    0    0   70 /  256     9.2s Queue concurrent
[ ]   72    0    0   72 /  256     9.3s Queue concurrent
[ ]   74    0    0   74 /  256     9.5s Queue concurrent
[ ]   75    0    0   75 /  256     9.6s Queue concurrent
[ ]   77    0    0   77 /  256     9.8s Queue concurrent
[ ]   78    0    0   78 /  256     9.9s Queue concurrent
[ ]   79    0    0   79 /  256    10.4s Queue concurrent
[ ]   81    0    0   81 /  256    10.5s Queue concurrent
[ ]   83    0    0   83 /  256    11.1s Queue concurrent
[ ]   89    0    0   89 /  256    11.2s Queue concurrent
[ ]   94    0    0   94 /  256    11.3s Queue concurrent
[ ]   98    0    0   98 /  256    11.8s Queue concurrent
[ ]   99    0    0   99 /  256    12.0s Queue concurrent
[ ]  100    0    0  100 /  256    12.2s Queue concurrent
[ ]  101    0    0  101 /  256    12.3s Queue concurrent
[ ]  103    0    0  103 /  256    12.6s Queue concurrent
[ ]  104    0    0  104 /  256    13.6s Queue concurrent
[ ]  105    0    0  105 /  256    13.9s Queue concurrent
[ ]  106    0    0  106 /  256    14.2s Queue concurrent
[ ]  107    0    0  107 /  256    14.4s Queue concurrent
[ ]  108    0    0  108 /  256    14.6s Queue concurrent
[ ]  109    0    0  109 /  256    14.7s Queue concurrent
[ ]  110    0    0  110 /  256    14.9s Queue concurrent
[ ]  112    0    0  112 /  256    15.1s Queue concurrent
[ ]  113    0    0  113 /  256    15.5s Queue concurrent
[ ]  114    0    0  114 /  256    15.7s Queue concurrent
[ ]  115    0    0  115 /  256    15.8s Queue concurrent
[ ]  116    0    0  116 /  256    16.3s Queue concurrent
[ ]  117    0    0  117 /  256    16.6s Queue concurrent
[ ]  118    0    0  118 /  256    16.7s Queue concurrent
[ ]  119    0    0  119 /  256    17.1s Queue concurrent
[ ]  120    0    0  120 /  256    17.9s Queue concurrent
[ ]  121    0    0  121 /  256    18.7s Queue concurrent
[ ]  122    0    0  122 /  256    19.7s Queue concurrent
[ ]  123    0    0  123 /  256    20.1s Queue concurrent
[ ]  124    0    0  124 /  256    20.3s Queue concurrent
[ ]  125    0    0  125 /  256    20.5s Queue concurrent
[ ]  127    0    0  127 /  256    20.6s Queue concurrent
[ ]  131    0    0  131 /  256    20.7s Queue concurrent
[ ]  133    0    0  133 /  256    20.8s Queue concurrent
[ ]  135    0    0  135 /  256    21.2s Queue concurrent
[ ]  136    0    0  136 /  256    21.4s Queue concurrent
[ ]  137    0    0  137 /  256    21.5s Queue concurrent
[ ]  138    0    0  138 /  256    21.7s Queue concurrent
[ ]  139    0    0  139 /  256    21.8s Queue concurrent
[ ]  140    0    0  140 /  256    22.1s Queue concurrent
[ ]  141    0    0  141 /  256    22.2s Queue concurrent
[ ]  144    0    0  144 /  256    22.3s Queue concurrent
[ ]  145    0    0  145 /  256    22.4s Queue concurrent
[ ]  146    0    0  146 /  256    22.7s Queue concurrent
[ ]  147    0    0  147 /  256    22.9s Queue concurrent
[ ]  148    0    0  148 /  256    23.0s Queue concurrent
[ ]  151    0    0  151 /  256    23.2s Queue concurrent
[ ]  154    0    0  154 /  256    23.7s Queue concurrent
[ ]  155    0    0  155 /  256    23.9s Queue concurrent
[ ]  157    0    0  157 /  256    24.2s Queue concurrent
[ ]  160    0    0  160 /  256    24.4s Queue concurrent
[ ]  161    0    0  161 /  256    24.6s Queue concurrent
[ ]  164    0    0  164 /  256    24.9s Queue concurrent
[ ]  165    0    0  165 /  256    25.1s Queue concurrent
[ ]  166    0    0  166 /  256    25.3s Queue concurrent
[ ]  167    0    0  167 /  256    25.7s Queue concurrent
[ ]  168    0    0  168 /  256    25.9s Queue concurrent
[ ]  169    0    0  169 /  256    26.1s Queue concurrent
[ ]  170    0    0  170 /  256    26.2s Queue concurrent
[ ]  171    0    0  171 /  256    26.4s Queue concurrent
[ ]  172    0    0  172 /  256    26.8s Queue concurrent
[ ]  173    0    0  173 /  256    27.5s Queue concurrent
[ ]  174    0    0  174 /  256    27.6s Queue concurrent
[ ]  175    0    0  175 /  256    27.8s Queue concurrent
[ ]  177    0    0  177 /  256    27.9s Queue concurrent
[ ]  179    0    0  179 /  256    28.1s Queue concurrent
[ ]  181    0    0  181 /  256    28.3s Queue concurrent
[ ]  183    0    0  183 /  256    28.4s Queue concurrent
[ ]  185    0    0  185 /  256    28.8s Queue concurrent
[ ]  189    0    0  189 /  256    29.0s Queue concurrent
[ ]  191    0    0  191 /  256    29.3s Queue concurrent
[ ]  192    0    0  192 /  256    30.3s Queue concurrent
[ ]  193    0    0  193 /  256    30.7s Queue concurrent
[ ]  194    0    0  194 /  256    30.9s Queue concurrent
[ ]  195    0    0  195 /  256    31.3s Queue concurrent
[ ]  196    0    0  196 /  256    31.7s Queue concurrent
[ ]  197    0    0  197 /  256    31.8s Queue concurrent
[ ]  199    0    0  199 /  256    32.9s Queue concurrent
[ ]  200    0    0  200 /  256    34.1s Queue concurrent
[ ]  201    0    0  201 /  256    34.3s Queue concurrent
[ ]  202    0    0  202 /  256    34.4s Queue concurrent
[ ]  203    0    0  203 /  256    35.4s Queue concurrent
[ ]  204    0    0  204 /  256    36.3s Queue concurrent
[ ]  206    0    0  206 /  256    36.5s Queue concurrent
[ ]  208    0    0  208 /  256    36.7s Queue concurrent
[ ]  211    0    0  211 /  256    36.9s Queue concurrent
[ ]  212    0    0  212 /  256    37.0s Queue concurrent
[ ]  213    0    0  213 /  256    38.0s Queue concurrent
[ ]  214    0    0  214 /  256    40.2s Queue concurrent
[ ]  216    0    0  216 /  256    40.9s Queue concurrent
[ ]  219    0    0  219 /  256    42.0s Queue concurrent
[ ]  220    0    0  220 /  256    42.4s Queue concurrent
[ ]  221    0    0  221 /  256    43.3s Queue concurrent
[ ]  222    0    0  222 /  256    44.5s Queue concurrent
[ ]  223    0    0  223 /  256    45.6s Queue concurrent
[ ]  224    0    0  224 /  256    47.2s Queue concurrent
[ ]  225    0    0  225 /  256    47.6s Queue concurrent
[ ]  226    0    0  226 /  256    48.6s Queue concurrent
[ ]  227    0    0  227 /  256    49.2s Queue concurrent
[ ]  228    0    0  228 /  256    49.4s Queue concurrent
[ ]  229    0    0  229 /  256    51.3s Queue concurrent
[ ]  230    0    0  230 /  256    51.9s Queue concurrent
[ ]  231    0    0  231 /  256    52.4s Queue concurrent
[ ]  232    0    0  232 /  256    52.7s Queue concurrent
[ ]  233    0    0  233 /  256    52.8s Queue concurrent
[ ]  234    0    0  234 /  256    53.1s Queue concurrent
[ ]  235    0    0  235 /  256    53.3s Queue concurrent
[ ]  236    0    0  236 /  256    54.1s Queue concurrent
[ ]  237    0    0  237 /  256    55.2s Queue concurrent
[ ]  238    0    0  238 /  256    56.7s Queue concurrent
[ ]  239    0    0  239 /  256    57.0s Queue concurrent
[ ]  240    0    0  240 /  256    57.9s Queue concurrent
[ ]  241    0    0  241 /  256    59.0s Queue concurrent
[ ]  242    0    0  242 /  256    60.6s Queue concurrent
[ ]  243    0    0  243 /  256    61.3s Queue concurrent
[ ]  244    0    0  244 /  256    62.2s Queue concurrent
[ ]  245    0    0  245 /  256    64.8s Queue concurrent
[ ]  246    0    0  246 /  256    66.3s Queue concurrent
[ ]  247    0    0  247 /  256    66.9s Queue concurrent
[ ]  248    0    0  248 /  256    67.2s Queue concurrent
[ ]  249    0    0  249 /  256    67.8s Queue concurrent
[ ]  252    0    0  252 /  256    68.0s Queue concurrent
[ ]  255    0    0  255 /  256    68.2s Queue concurrent
[ ]  256    0    0  256 /  256    68.5s Queue concurrent
[✓]  256    0    0  256 /  256    68.5s Queue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./linearizable_chaining_example.exe)
random seed: 3224638027664933074
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Hashtbl_with_order sequential
[ ]    0    0    0    0 /   32     0.0s Hashtbl_with_order sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Hashtbl_with_order sequential
[ ]    0    0    0    0 /   32     0.0s Hashtbl_with_order concurrent
[ ]    2    0    0    2 /   32     0.1s Hashtbl_with_order concurrent
[ ]    3    0    0    3 /   32     0.5s Hashtbl_with_order concurrent
[ ]    5    0    0    5 /   32     0.7s Hashtbl_with_order concurrent
[ ]    6    0    0    6 /   32     0.8s Hashtbl_with_order concurrent
[ ]    7    0    0    7 /   32     1.0s Hashtbl_with_order concurrent
[ ]    9    0    0    9 /   32     1.1s Hashtbl_with_order concurrent
[ ]   11    0    0   11 /   32     1.3s Hashtbl_with_order concurrent
[ ]   12    0    0   12 /   32     1.4s Hashtbl_with_order concurrent
[ ]   13    0    0   13 /   32     1.5s Hashtbl_with_order concurrent
[ ]   14    0    0   14 /   32     1.7s Hashtbl_with_order concurrent
[ ]   15    0    0   15 /   32     1.8s Hashtbl_with_order concurrent (collecting)
[ ]   16    0    0   16 /   32     2.4s Hashtbl_with_order concurrent
[ ]   18    0    0   18 /   32     2.6s Hashtbl_with_order concurrent
[ ]   19    0    0   19 /   32     2.7s Hashtbl_with_order concurrent
[ ]   21    0    0   21 /   32     2.8s Hashtbl_with_order concurrent
[ ]   22    0    0   22 /   32     3.5s Hashtbl_with_order concurrent
[ ]   24    0    0   24 /   32     3.6s Hashtbl_with_order concurrent
[ ]   26    0    0   26 /   32     3.8s Hashtbl_with_order concurrent
[ ]   28    0    0   28 /   32     3.9s Hashtbl_with_order concurrent
[ ]   31    0    0   31 /   32     4.2s Hashtbl_with_order concurrent
[✓]   32    0    0   32 /   32     4.2s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 2531066256402175794
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Hashtbl_with_order sequential
[✓]   64    0    0   64 /   64     0.0s Hashtbl_with_order sequential
[ ]    0    0    0    0 /   64     0.0s Hashtbl_with_order concurrent
[ ]    1    0    0    1 /   64     0.0s Hashtbl_with_order concurrent
[ ]    3    0    0    3 /   64     0.2s Hashtbl_with_order concurrent
[ ]    6    0    0    6 /   64     0.3s Hashtbl_with_order concurrent
[ ]    9    0    0    9 /   64     0.4s Hashtbl_with_order concurrent
[ ]   11    0    0   11 /   64     0.6s Hashtbl_with_order concurrent
[ ]   14    0    0   14 /   64     0.7s Hashtbl_with_order concurrent
[ ]   16    0    0   16 /   64     0.8s Hashtbl_with_order concurrent
[ ]   18    0    0   18 /   64     1.0s Hashtbl_with_order concurrent
[ ]   19    0    0   19 /   64     1.2s Hashtbl_with_order concurrent
[ ]   21    0    0   21 /   64     1.9s Hashtbl_with_order concurrent
[ ]   23    0    0   23 /   64     2.1s Hashtbl_with_order concurrent
[ ]   25    0    0   25 /   64     2.3s Hashtbl_with_order concurrent
[ ]   27    0    0   27 /   64     2.4s Hashtbl_with_order concurrent
[ ]   29    0    0   29 /   64     2.6s Hashtbl_with_order concurrent
[ ]   32    0    0   32 /   64     2.8s Hashtbl_with_order concurrent
[ ]   33    0    0   33 /   64     2.9s Hashtbl_with_order concurrent
[ ]   34    0    0   34 /   64     3.1s Hashtbl_with_order concurrent
[ ]   37    0    0   37 /   64     3.3s Hashtbl_with_order concurrent
[ ]   40    0    0   40 /   64     3.4s Hashtbl_with_order concurrent
[ ]   44    0    0   44 /   64     3.5s Hashtbl_with_order concurrent
[ ]   46    0    0   46 /   64     3.6s Hashtbl_with_order concurrent
[ ]   48    0    0   48 /   64     4.0s Hashtbl_with_order concurrent
[ ]   50    0    0   50 /   64     4.2s Hashtbl_with_order concurrent
[ ]   52    0    0   52 /   64     4.5s Hashtbl_with_order concurrent
[ ]   53    0    0   53 /   64     4.8s Hashtbl_with_order concurrent
[ ]   54    0    0   54 /   64     5.0s Hashtbl_with_order concurrent
[ ]   56    0    0   56 /   64     5.2s Hashtbl_with_order concurrent
[ ]   58    0    0   58 /   64     5.3s Hashtbl_with_order concurrent
[ ]   59    0    0   59 /   64     5.4s Hashtbl_with_order concurrent
[ ]   61    0    0   61 /   64     5.6s Hashtbl_with_order concurrent
[ ]   63    0    0   63 /   64     5.7s Hashtbl_with_order concurrent
[✓]   64    0    0   64 /   64     5.7s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 685599977253709491
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Hashtbl_with_order sequential
[✓]  128    0    0  128 /  128     0.0s Hashtbl_with_order sequential
[ ]    0    0    0    0 /  128     0.0s Hashtbl_with_order concurrent
[ ]    1    0    0    1 /  128     0.1s Hashtbl_with_order concurrent
[ ]    3    0    0    3 /  128     0.2s Hashtbl_with_order concurrent
[ ]    4    0    0    4 /  128     0.4s Hashtbl_with_order concurrent
[ ]    6    0    0    6 /  128     0.6s Hashtbl_with_order concurrent
[ ]    8    0    0    8 /  128     0.8s Hashtbl_with_order concurrent
[ ]   10    0    0   10 /  128     2.0s Hashtbl_with_order concurrent
[ ]   12    0    0   12 /  128     2.2s Hashtbl_with_order concurrent
[ ]   14    0    0   14 /  128     2.3s Hashtbl_with_order concurrent
[ ]   17    0    0   17 /  128     2.5s Hashtbl_with_order concurrent
[ ]   18    0    0   18 /  128     2.8s Hashtbl_with_order concurrent
[ ]   21    0    0   21 /  128     3.1s Hashtbl_with_order concurrent
[ ]   23    0    0   23 /  128     3.2s Hashtbl_with_order concurrent
[ ]   25    0    0   25 /  128     4.0s Hashtbl_with_order concurrent
[ ]   27    0    0   27 /  128     4.4s Hashtbl_with_order concurrent
[ ]   29    0    0   29 /  128     4.6s Hashtbl_with_order concurrent
[ ]   32    0    0   32 /  128     4.7s Hashtbl_with_order concurrent
[ ]   34    0    0   34 /  128     4.9s Hashtbl_with_order concurrent
[ ]   36    0    0   36 /  128     5.0s Hashtbl_with_order concurrent
[ ]   37    0    0   37 /  128     5.2s Hashtbl_with_order concurrent
[ ]   38    0    0   38 /  128     5.4s Hashtbl_with_order concurrent
[ ]   39    0    0   39 /  128     6.0s Hashtbl_with_order concurrent
[ ]   40    0    0   40 /  128     6.9s Hashtbl_with_order concurrent
[ ]   41    0    0   41 /  128     7.4s Hashtbl_with_order concurrent
[ ]   42    0    0   42 /  128     7.9s Hashtbl_with_order concurrent
[ ]   43    0    0   43 /  128     8.1s Hashtbl_with_order concurrent
[ ]   44    0    0   44 /  128     8.3s Hashtbl_with_order concurrent
[ ]   45    0    0   45 /  128     8.6s Hashtbl_with_order concurrent
[ ]   47    0    0   47 /  128     9.1s Hashtbl_with_order concurrent
[ ]   48    0    0   48 /  128     9.2s Hashtbl_with_order concurrent
[ ]   51    0    0   51 /  128     9.3s Hashtbl_with_order concurrent
[ ]   53    0    0   53 /  128     9.6s Hashtbl_with_order concurrent
[ ]   56    0    0   56 /  128     9.9s Hashtbl_with_order concurrent
[ ]   57    0    0   57 /  128    10.0s Hashtbl_with_order concurrent
[ ]   59    0    0   59 /  128    10.6s Hashtbl_with_order concurrent
[ ]   60    0    0   60 /  128    11.3s Hashtbl_with_order concurrent
[ ]   61    0    0   61 /  128    11.7s Hashtbl_with_order concurrent
[ ]   62    0    0   62 /  128    11.8s Hashtbl_with_order concurrent
[ ]   63    0    0   63 /  128    11.9s Hashtbl_with_order concurrent
[ ]   64    0    0   64 /  128    12.4s Hashtbl_with_order concurrent
[ ]   65    0    0   65 /  128    12.5s Hashtbl_with_order concurrent
[ ]   66    0    0   66 /  128    12.6s Hashtbl_with_order concurrent
[ ]   68    0    0   68 /  128    12.8s Hashtbl_with_order concurrent
[ ]   70    0    0   70 /  128    13.0s Hashtbl_with_order concurrent
[ ]   72    0    0   72 /  128    13.2s Hashtbl_with_order concurrent
[ ]   74    0    0   74 /  128    13.5s Hashtbl_with_order concurrent
[ ]   77    0    0   77 /  128    13.6s Hashtbl_with_order concurrent
[ ]   79    0    0   79 /  128    13.9s Hashtbl_with_order concurrent
[ ]   81    0    0   81 /  128    14.1s Hashtbl_with_order concurrent
[ ]   83    0    0   83 /  128    14.2s Hashtbl_with_order concurrent
[ ]   84    0    0   84 /  128    14.4s Hashtbl_with_order concurrent
[ ]   86    0    0   86 /  128    14.5s Hashtbl_with_order concurrent
[ ]   87    0    0   87 /  128    14.7s Hashtbl_with_order concurrent
[ ]   88    0    0   88 /  128    14.8s Hashtbl_with_order concurrent
[ ]   89    0    0   89 /  128    15.0s Hashtbl_with_order concurrent
[ ]   90    0    0   90 /  128    15.3s Hashtbl_with_order concurrent
[ ]   92    0    0   92 /  128    15.5s Hashtbl_with_order concurrent
[ ]   94    0    0   94 /  128    15.6s Hashtbl_with_order concurrent
[ ]   96    0    0   96 /  128    15.7s Hashtbl_with_order concurrent
[ ]   97    0    0   97 /  128    16.1s Hashtbl_with_order concurrent
[ ]   98    0    0   98 /  128    16.4s Hashtbl_with_order concurrent
[ ]   99    0    0   99 /  128    16.7s Hashtbl_with_order concurrent
[ ]  100    0    0  100 /  128    17.0s Hashtbl_with_order concurrent
[ ]  102    0    0  102 /  128    17.2s Hashtbl_with_order concurrent
[ ]  104    0    0  104 /  128    17.3s Hashtbl_with_order concurrent
[ ]  106    0    0  106 /  128    17.4s Hashtbl_with_order concurrent
[ ]  108    0    0  108 /  128    17.7s Hashtbl_with_order concurrent
[ ]  109    0    0  109 /  128    17.8s Hashtbl_with_order concurrent
[ ]  110    0    0  110 /  128    18.0s Hashtbl_with_order concurrent
[ ]  111    0    0  111 /  128    18.3s Hashtbl_with_order concurrent
[ ]  113    0    0  113 /  128    18.4s Hashtbl_with_order concurrent
[ ]  114    0    0  114 /  128    18.6s Hashtbl_with_order concurrent
[ ]  115    0    0  115 /  128    18.7s Hashtbl_with_order concurrent
[ ]  116    0    0  116 /  128    18.8s Hashtbl_with_order concurrent
[ ]  117    0    0  117 /  128    18.9s Hashtbl_with_order concurrent
[ ]  118    0    0  118 /  128    19.4s Hashtbl_with_order concurrent
[ ]  119    0    0  119 /  128    19.6s Hashtbl_with_order concurrent
[ ]  121    0    0  121 /  128    19.7s Hashtbl_with_order concurrent
[ ]  123    0    0  123 /  128    20.6s Hashtbl_with_order concurrent
[ ]  124    0    0  124 /  128    20.8s Hashtbl_with_order concurrent
[ ]  125    0    0  125 /  128    21.1s Hashtbl_with_order concurrent
[ ]  126    0    0  126 /  128    21.3s Hashtbl_with_order concurrent
[ ]  127    0    0  127 /  128    21.4s Hashtbl_with_order concurrent
[✓]  128    0    0  128 /  128    21.5s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
random seed: 114715195570460653
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  203     0.0s Hashtbl_with_order sequential
[✓]  203    0    0  203 /  203     0.0s Hashtbl_with_order sequential
[ ]    0    0    0    0 /  203     0.0s Hashtbl_with_order concurrent
[ ]    1    0    0    1 /  203     0.2s Hashtbl_with_order concurrent
[ ]    3    0    0    3 /  203     0.4s Hashtbl_with_order concurrent
[ ]    6    0    0    6 /  203     0.9s Hashtbl_with_order concurrent
[ ]    7    0    0    7 /  203     1.1s Hashtbl_with_order concurrent
[ ]    8    0    0    8 /  203     1.4s Hashtbl_with_order concurrent
[ ]   10    0    0   10 /  203     1.6s Hashtbl_with_order concurrent
[ ]   11    0    0   11 /  203     1.9s Hashtbl_with_order concurrent
[ ]   12    0    0   12 /  203     2.0s Hashtbl_with_order concurrent
[ ]   13    0    0   13 /  203     2.3s Hashtbl_with_order concurrent
[ ]   15    0    0   15 /  203     2.7s Hashtbl_with_order concurrent
[ ]   16    0    0   16 /  203     2.9s Hashtbl_with_order concurrent
[ ]   18    0    0   18 /  203     3.0s Hashtbl_with_order concurrent
[ ]   21    0    0   21 /  203     3.3s Hashtbl_with_order concurrent
[ ]   23    0    0   23 /  203     3.5s Hashtbl_with_order concurrent
[ ]   25    0    0   25 /  203     4.9s Hashtbl_with_order concurrent
[ ]   26    0    0   26 /  203     5.0s Hashtbl_with_order concurrent
[ ]   28    0    0   28 /  203     5.2s Hashtbl_with_order concurrent
[ ]   30    0    0   30 /  203     5.3s Hashtbl_with_order concurrent
[ ]   31    0    0   31 /  203     5.5s Hashtbl_with_order concurrent
[ ]   32    0    0   32 /  203     5.7s Hashtbl_with_order concurrent
[ ]   33    0    0   33 /  203     5.9s Hashtbl_with_order concurrent
[ ]   34    0    0   34 /  203     6.1s Hashtbl_with_order concurrent
[ ]   35    0    0   35 /  203     6.2s Hashtbl_with_order concurrent
[ ]   36    0    0   36 /  203     6.8s Hashtbl_with_order concurrent
[ ]   38    0    0   38 /  203     6.9s Hashtbl_with_order concurrent
[ ]   40    0    0   40 /  203     8.4s Hashtbl_with_order concurrent
[ ]   41    0    0   41 /  203     8.6s Hashtbl_with_order concurrent
[ ]   42    0    0   42 /  203     9.3s Hashtbl_with_order concurrent
[ ]   43    0    0   43 /  203     9.7s Hashtbl_with_order concurrent
[ ]   44    0    0   44 /  203     9.9s Hashtbl_with_order concurrent
[ ]   45    0    0   45 /  203    10.2s Hashtbl_with_order concurrent
[ ]   46    0    0   46 /  203    10.3s Hashtbl_with_order concurrent
[ ]   47    0    0   47 /  203    10.5s Hashtbl_with_order concurrent
[ ]   48    0    0   48 /  203    10.7s Hashtbl_with_order concurrent
[ ]   50    0    0   50 /  203    11.0s Hashtbl_with_order concurrent
[ ]   51    0    0   51 /  203    11.6s Hashtbl_with_order concurrent
[ ]   52    0    0   52 /  203    11.9s Hashtbl_with_order concurrent
[ ]   53    0    0   53 /  203    12.2s Hashtbl_with_order concurrent
[ ]   54    0    0   54 /  203    12.4s Hashtbl_with_order concurrent
[ ]   55    0    0   55 /  203    12.6s Hashtbl_with_order concurrent
[ ]   56    0    0   56 /  203    13.4s Hashtbl_with_order concurrent
[ ]   57    0    0   57 /  203    13.7s Hashtbl_with_order concurrent
[ ]   58    0    0   58 /  203    14.1s Hashtbl_with_order concurrent
[ ]   59    0    0   59 /  203    15.2s Hashtbl_with_order concurrent
[ ]   60    0    0   60 /  203    16.1s Hashtbl_with_order concurrent
[ ]   61    0    0   61 /  203    16.3s Hashtbl_with_order concurrent
[ ]   63    0    0   63 /  203    16.5s Hashtbl_with_order concurrent
[ ]   65    0    0   65 /  203    16.7s Hashtbl_with_order concurrent
[ ]   67    0    0   67 /  203    16.8s Hashtbl_with_order concurrent
[ ]   69    0    0   69 /  203    17.2s Hashtbl_with_order concurrent
[ ]   70    0    0   70 /  203    17.3s Hashtbl_with_order concurrent
[ ]   71    0    0   71 /  203    17.6s Hashtbl_with_order concurrent
[ ]   72    0    0   72 /  203    17.8s Hashtbl_with_order concurrent
[ ]   73    0    0   73 /  203    18.0s Hashtbl_with_order concurrent
[ ]   75    0    0   75 /  203    18.1s Hashtbl_with_order concurrent
[ ]   76    0    0   76 /  203    18.3s Hashtbl_with_order concurrent
[ ]   77    0    0   77 /  203    18.6s Hashtbl_with_order concurrent
[ ]   78    0    0   78 /  203    18.8s Hashtbl_with_order concurrent
[ ]   80    0    0   80 /  203    19.3s Hashtbl_with_order concurrent
[ ]   83    0    0   83 /  203    19.6s Hashtbl_with_order concurrent
[ ]   84    0    0   84 /  203    19.7s Hashtbl_with_order concurrent
[ ]   86    0    0   86 /  203    19.8s Hashtbl_with_order concurrent
[ ]   88    0    0   88 /  203    19.9s Hashtbl_with_order concurrent
[ ]   90    0    0   90 /  203    21.0s Hashtbl_with_order concurrent
[ ]   91    0    0   91 /  203    21.6s Hashtbl_with_order concurrent
[ ]   92    0    0   92 /  203    22.0s Hashtbl_with_order concurrent
[ ]   94    0    0   94 /  203    22.1s Hashtbl_with_order concurrent
[ ]   95    0    0   95 /  203    22.4s Hashtbl_with_order concurrent
[ ]   96    0    0   96 /  203    227s Hashtbl_with_order concurrent
[ ]   97    0    0   97 /  203    22.8s Hashtbl_with_order concurrent
[ ]   98    0    0   98 /  203    22.9s Hashtbl_with_order concurrent
[ ]   99    0    0   99 /  203    23.1s Hashtbl_with_order concurrent
[ ]  100    0    0  100 /  203    23.2s Hashtbl_with_order concurrent
[ ]  101    0    0  101 /  203    23.3s Hashtbl_with_order concurrent
[ ]  103    0    0  103 /  203    23.7s Hashtbl_with_order concurrent
[ ]  105    0    0  105 /  203    23.8s Hashtbl_with_order concurrent
[ ]  106    0    0  106 /  203    24.0s Hashtbl_with_order concurrent
[ ]  107    0    0  107 /  203    24.3s Hashtbl_with_order concurrent
[ ]  108    0    0  108 /  203    24.6s Hashtbl_with_order concurrent
[ ]  110    0    0  110 /  203    24.9s Hashtbl_with_order concurrent
[ ]  112    0    0  112 /  203    25.0s Hashtbl_with_order concurrent
[ ]  113    0    0  113 /  203    25.2s Hashtbl_with_order concurrent
[ ]  115    0    0  115 /  203    25.4s Hashtbl_with_order concurrent
[ ]  116    0    0  116 /  203    26.1s Hashtbl_with_order concurrent
[ ]  117    0    0  117 /  203    27.6s Hashtbl_with_order concurrent
[ ]  118    0    0  118 /  203    27.7s Hashtbl_with_order concurrent
[ ]  119    0    0  119 /  203    27.9s Hashtbl_with_order concurrent
[ ]  120    0    0  120 /  203    29.0s Hashtbl_with_order concurrent
[ ]  121    0    0  121 /  203    30.0s Hashtbl_with_order concurrent
[ ]  122    0    0  122 /  203    30.3s Hashtbl_with_order concurrent
[ ]  123    0    0  123 /  203    30.7s Hashtbl_with_order concurrent
[ ]  124    0    0  124 /  203    31.3s Hashtbl_with_order concurrent
[ ]  125    0    0  125 /  203    32.5s Hashtbl_with_order concurrent
[ ]  126    0    0  126 /  203    32.6s Hashtbl_with_order concurrent
[ ]  128    0    0  128 /  203    32.9s Hashtbl_with_order concurrent
[ ]  129    0    0  129 /  203    34.1s Hashtbl_with_order concurrent
[ ]  130    0    0  130 /  203    35.2s Hashtbl_with_order concurrent
[ ]  131    0    0  131 /  203    36.2s Hashtbl_with_order concurrent
[ ]  133    0    0  133 /  203    36.7s Hashtbl_with_order concurrent
[ ]  134    0    0  134 /  203    36.9s Hashtbl_with_order concurrent
[ ]  135    0    0  135 /  203    37.9s Hashtbl_with_order concurrent
[ ]  136    0    0  136 /  203    38.4s Hashtbl_with_order concurrent
[ ]  137    0    0  137 /  203    38.5s Hashtbl_with_order concurrent
[ ]  138    0    0  138 /  203    39.5s Hashtbl_with_order concurrent
[ ]  139    0    0  139 /  203    40.1s Hashtbl_with_order concurrent
[ ]  140    0    0  140 /  203    41.5s Hashtbl_with_order concurrent
[ ]  141    0    0  141 /  203    43.2s Hashtbl_with_order concurrent
[ ]  142    0    0  142 /  203    43.9s Hashtbl_with_order concurrent
[ ]  143    0    0  143 /  203    44.6s Hashtbl_with_order concurrent
[ ]  144    0    0  144 /  203    45.1s Hashtbl_with_order concurrent
[ ]  145    0    0  145 /  203    46.2s Hashtbl_with_order concurrent
[ ]  146    0    0  146 /  203    47.5s Hashtbl_with_order concurrent
[ ]  147    0    0  147 /  203    48.0s Hashtbl_with_order concurrent
[ ]  148    0    0  148 /  203    48.3s Hashtbl_with_order concurrent
[ ]  149    0    0  149 /  203    48.6s Hashtbl_with_order concurrent
[ ]  150    0    0  150 /  203    48.9s Hashtbl_with_order concurrent
[ ]  151    0    0  151 /  203    49.4s Hashtbl_with_order concurrent
[ ]  152    0    0  152 /  203    50.9s Hashtbl_with_order concurrent
[ ]  153    0    0  153 /  203    52.3s Hashtbl_with_order concurrent
[ ]  154    0    0  154 /  203    53.4s Hashtbl_with_order concurrent
[ ]  155    0    0  155 /  203    54.2s Hashtbl_with_order concurrent
[ ]  156    0    0  156 /  203    55.5s Hashtbl_with_order concurrent
[ ]  157    0    0  157 /  203    56.6s Hashtbl_with_order concurrent
[ ]  158    0    0  158 /  203    57.3s Hashtbl_with_order concurrent
[ ]  159    0    0  159 /  203    58.5s Hashtbl_with_order concurrent
[ ]  160    0    0  160 /  203    59.7s Hashtbl_with_order concurrent
[ ]  161    0    0  161 /  203    60.9s Hashtbl_with_order concurrent
[ ]  162    0    0  162 /  203    62.3s Hashtbl_with_order concurrent
[ ]  163    0    0  163 /  203    62.9s Hashtbl_with_order concurrent
[ ]  164    0    0  164 /  203    63.4s Hashtbl_with_order concurrent
[ ]  165    0    0  165 /  203    63.5s Hashtbl_with_order concurrent
[ ]  167    0    0  167 /  203    63.7s Hashtbl_with_order concurrent
[ ]  169    0    0  169 /  203    63.8s Hashtbl_with_order concurrent
[ ]  172    0    0  172 /  203    64.1s Hashtbl_with_order concurrent
[ ]  173    0    0  173 /  203    66.7s Hashtbl_with_order concurrent
[ ]  175    0    0  175 /  203    66.8s Hashtbl_with_order concurrent
[ ]  178    0    0  178 /  203    66.9s Hashtbl_with_order concurrent
[ ]  179    0    0  179 /  203    67.4s Hashtbl_with_order concurrent
[ ]  181    0    0  181 /  203    67.6s Hashtbl_with_order concurrent
[ ]  182    0    0  182 /  203    68.0s Hashtbl_with_order concurrent
[ ]  183    0    0  183 /  203    68.5s Hashtbl_with_order concurrent
[ ]  185    0    0  185 /  203    68.7s Hashtbl_with_order concurrent
[ ]  186    0    0  186 /  203    68.9s Hashtbl_with_order concurrent
[ ]  187    0    0  187 /  203    70.9s Hashtbl_with_order concurrent
[ ]  188    0    0  188 /  203    72.1s Hashtbl_with_order concurrent
[ ]  189    0    0  189 /  203    73.3s Hashtbl_with_order concurrent
[ ]  190    0    0  190 /  203    75.2s Hashtbl_with_order concurrent
[ ]  191    0    0  191 /  203    76.7s Hashtbl_with_order concurrent
[ ]  193    0    0  193 /  203    77.7s Hashtbl_with_order concurrent
[ ]  194    0    0  194 /  203    78.7s Hashtbl_with_order concurrent
[ ]  195    0    0  195 /  203    79.5s Hashtbl_with_order concurrent
[ ]  196    0    0  196 /  203    79.9s Hashtbl_with_order concurrent
[ ]  198    0    0  198 /  203    80.7s Hashtbl_with_order concurrent
[ ]  199    0    0  199 /  203    81.4s Hashtbl_with_order concurrent
[ ]  200    0    0  200 /  203    82.9s Hashtbl_with_order concurrent
[ ]  201    0    0  201 /  203    83.1s Hashtbl_with_order concurrent
[✓]  203    0    0  203 /  203    83.2s Hashtbl_with_order concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./stack_test_stm.exe)
random seed: 3555442446844163286
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Stack sequential
[ ]    0    0    0    0 /   32     0.0s Stack sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Stack sequential
[ ]    0    0    0    0 /   32     0.0s Stack concurrent
[ ]    1    0    0    1 /   32     0.1s Stack concurrent
[ ]    3    0    0    3 /   32     0.6s Stack concurrent
[ ]    5    0    0    5 /   32     0.8s Stack concurrent
[ ]    6    0    0    6 /   32     1.1s Stack concurrent
[ ]    8    0    0    8 /   32     1.3s Stack concurrent
[ ]    9    0    0    9 /   32     1.6s Stack concurrent
[ ]   11    0    0   11 /   32     1.9s Stack concurrent
[ ]   13    0    0   13 /   32     2.0s Stack concurrent
[ ]   15    0    0   15 /   32     2.2s Stack concurrent
[ ]   16    0    0   16 /   32     2.4s Stack concurrent
[ ]   18    0    0   18 /   32     2.5s Stack concurrent
[ ]   20    0    0   20 /   32     2.7s Stack concurrent
[ ]   22    0    0   22 /   32     2.9s Stack concurrent
[ ]   24    0    0   24 /   32     3.0s Stack concurrent
[ ]   26    0    0   26 /   32     3.1s Stack concurrent
[ ]   28    0    0   28 /   32     3.3s Stack concurrent
[ ]   30    0    0   30 /   32     3.4s Stack concurrent
[ ]   31    0    0   31 /   32     3.8s Stack concurrent
[ ]   32    0    0   32 /   32     4.2s Stack concurrent
[✓]   32    0    0   32 /   32     4.2s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 230933982647527921
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Stack sequential
[✓]   64    0    0   64 /   64     0.0s Stack sequential
[ ]    0    0    0    0 /   64     0.0s Stack concurrent
[ ]    3    0    0    3 /   64     0.5s Stack concurrent
[ ]    6    0    0    6 /   64     0.7s Stack concurrent
[ ]    7    0    0    7 /   64     1.0s Stack concurrent
[ ]    9    0    0    9 /   64     1.2s Stack concurrent
[ ]   12    0    0   12 /   64     1.3s Stack concurrent
[ ]   13    0    0   13 /   64     1.8s Stack concurrent
[ ]   16    0    0   16 /   64     1.9s Stack concurrent
[ ]   18    0    0   18 /   64     2.0s Stack concurrent
[ ]   20    0    0   20 /   64     2.1s Stack concurrent
[ ]   22    0    0   22 /   64     2.2s Stack concurrent
[ ]   25    0    0   25 /   64     2.3s Stack concurrent
[ ]   27    0    0   27 /   64     2.9s Stack concurrent
[ ]   30    0    0   30 /   64     3.1s Stack concurrent
[ ]   32    0    0   32 /   64     3.2s Stack concurrent
[ ]   35    0    0   35 /   64     3.3s Stack concurrent
[ ]   40    0    0   40 /   64     3.5s Stack concurrent
[ ]   43    0    0   43 /   64     3.6s Stack concurrent
[ ]   45    0    0   45 /   64     3.9s Stack concurrent
[ ]   47    0    0   47 /   64     4.0s Stack concurrent
[ ]   49    0    0   49 /   64     4.1s Stack concurrent
[ ]   51    0    0   51 /   64     4.3s Stack concurrent
[ ]   53    0    0   53 /   64     4.4s Stack concurrent
[ ]   54    0    0   54 /   64     4.6s Stack concurrent
[ ]   55    0    0   55 /   64     4.9s Stack concurrent
[ ]   58    0    0   58 /   64     5.1s Stack concurrent
[ ]   60    0    0   60 /   64     5.3s Stack concurrent
[ ]   61    0    0   61 /   64     5.4s Stack concurrent
[ ]   62    0    0   62 /   64     5.7s Stack concurrent
[ ]   63    0    0   63 /   64     6.0s Stack concurrent
[✓]   64    0    0   64 /   64     6.1s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1685667602445127139
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Stack sequential
[✓]  128    0    0  128 /  128     0.0s Stack sequential
[ ]    0    0    0    0 /  128     0.0s Stack concurrent
[ ]    1    0    0    1 /  128     0.1s Stack concurrent
[ ]    2    0    0    2 /  128     0.2s Stack concurrent
[ ]    3    0    0    3 /  128     0.3s Stack concurrent
[ ]    5    0    0    5 /  128     0.5s Stack concurrent
[ ]    6    0    0    6 /  128     0.6s Stack concurrent
[ ]    8    0    0    8 /  128     0.8s Stack concurrent
[ ]   10    0    0   10 /  128     0.9s Stack concurrent
[ ]   12    0    0   12 /  128     1.1s Stack concurrent
[ ]   14    0    0   14 /  128     1.3s Stack concurrent
[ ]   16    0    0   16 /  128     1.7s Stack concurrent
[ ]   19    0    0   19 /  128     1.8s Stack concurrent
[ ]   21    0    0   21 /  128     1.9s Stack concurrent
[ ]   23    0    0   23 /  128     2.1s Stack concurrent
[ ]   25    0    0   25 /  128     2.3s Stack concurrent
[ ]   26    0    0   26 /  128     2.4s Stack concurrent
[ ]   29    0    0   29 /  128     2.5s Stack concurrent
[ ]   32    0    0   32 /  128     2.6s Stack concurrent
[ ]   34    0    0   34 /  128     2.9s Stack concurrent
[ ]   35    0    0   35 /  128     3.4s Stack concurrent
[ ]   37    0    0   37 /  128     3.6s Stack concurrent
[ ]   40    0    0   40 /  128     3.8s Stack concurrent
[ ]   43    0    0   43 /  128     3.9s Stack concurrent
[ ]   47    0    0   47 /  128     4.0s Stack concurrent
[ ]   49    0    0   49 /  128     4.2s Stack concurrent
[ ]   52    0    0   52 /  128     4.6s Stack concurrent
[ ]   54    0    0   54 /  128     4.7s Stack concurrent
[ ]   55    0    0   55 /  128     4.8s Stack concurrent
[ ]   56    0    0   56 /  128     5.1s Stack concurrent
[ ]   57    0    0   57 /  128     5.2s Stack concurrent
[ ]   58    0    0   58 /  128     6.0s Stack concurrent
[ ]   59    0    0   59 /  128     6.5s Stack concurrent
[ ]   60    0    0   60 /  128     7.2s Stack concurrent
[ ]   61    0    0   61 /  128     7.4s Stack concurrent
[ ]   63    0    0   63 /  128     7.6s Stack concurrent
[ ]   64    0    0   64 /  128     7.7s Stack concurrent
[ ]   65    0    0   65 /  128     7.8s Stack concurrent
[ ]   66    0    0   66 /  128     7.9s Stack concurrent
[ ]   67    0    0   67 /  128     8.1s Stack concurrent
[ ]   68    0    0   68 /  128     8.3s Stack concurrent
[ ]   70    0    0   70 /  128     8.4s Stack concurrent
[ ]   71    0    0   71 /  128     8.8s Stack concurrent
[ ]   73    0    0   73 /  128     9.2s Stack concurrent
[ ]   76    0    0   76 /  128     9.4s Stack concurrent
[ ]   80    0    0   80 /  128     9.5s Stack concurrent
[ ]   85    0    0   85 /  128     9.7s Stack concurrent
[ ]   90    0    0   90 /  128     9.8s Stack concurrent
[ ]   91    0    0   91 /  128     9.9s Stack concurrent
[ ]   92    0    0   92 /  128    10.1s Stack concurrent
[ ]   93    0    0   93 /  128    10.5s Stack concurrent
[ ]   94    0    0   94 /  128    11.4s Stack concurrent
[ ]   95    0    0   95 /  128    11.6s Stack concurrent
[ ]   96    0    0   96 /  128    11.7s Stack concurrent
[ ]   97    0    0   97 /  128    11.9s Stack concurrent
[ ]   98    0    0   98 /  128    12.1s Stack concurrent
[ ]   99    0    0   99 /  128    12.7s Stack concurrent
[ ]  100    0    0  100 /  128    12.8s Stack concurrent
[ ]  102    0    0  102 /  128    12.9s Stack concurrent
[ ]  103    0    0  103 /  128    13.1s Stack concurrent
[ ]  104    0    0  104 /  128    13.2s Stack concurrent
[ ]  106    0    0  106 /  128    13.3s Stack concurrent
[ ]  107    0    0  107 /  128    13.7s Stack concurrent
[ ]  108    0    0  108 /  128    13.9s Stack concurrent
[ ]  111    0    0  111 /  128    14.0s Stack concurrent
[ ]  114    0    0  114 /  128    14.2s Stack concurrent
[ ]  116    0    0  116 /  128    14.4s Stack concurrent
[ ]  117    0    0  117 /  128    14.8s Stack concurrent
[ ]  119    0    0  119 /  128    14.9s Stack concurrent
[ ]  120    0    0  120 /  128    15.0s Stack concurrent
[ ]  122    0    0  122 /  128    15.1s Stack concurrent
[ ]  125    0    0  125 /  128    15.2s Stack concurrent
[ ]  126    0    0  126 /  128    16.0s Stack concurrent
[ ]  127    0    0  127 /  128    16.5s Stack concurrent
[ ]  128    0    0  128 /  128    16.7s Stack concurrent
[✓]  128    0    0  128 /  128    16.7s Stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1667096409209032818
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  256     0.0s Stack sequential
[✓]  256    0    0  256 /  256     0.0s Stack sequential
[ ]    0    0    0    0 /  256     0.0s Stack concurrent
[ ]    1    0    0    1 /  256     0.2s Stack concurrent
[ ]    2    0    0    2 /  256     0.3s Stack concurrent
[ ]    4    0    0    4 /  256     0.4s Stack concurrent
[ ]    6    0    0    6 /  256     0.6s Stack concurrent
[ ]    7    0    0    7 /  256     0.7s Stack concurrent
[ ]    8    0    0    8 /  256     1.0s Stack concurrent
[ ]   10    0    0   10 /  256     1.3s Stack concurrent
[ ]   11    0    0   11 /  256     1.5s Stack concurrent
[ ]   13    0    0   13 /  256     2.2s Stack concurrent
[ ]   14    0    0   14 /  256     2.4s Stack concurrent
[ ]   15    0    0   15 /  256     2.7s Stack concurrent
[ ]   17    0    0   17 /  256     2.8s Stack concurrent
[ ]   19    0    0   19 /  256     3.6s Stack concurrent
[ ]   21    0    0   21 /  256     3.8s Stack concurrent
[ ]   22    0    0   22 /  256     3.9s Stack concurrent
[ ]   23    0    0   23 /  256     4.0s Stack concurrent
[ ]   25    0    0   25 /  256     4.2s Stack concurrent
[ ]   28    0    0   28 /  256     4.3s Stack concurrent
[ ]   30    0    0   30 /  256     4.5s Stack concurrent
[ ]   31    0    0   31 /  256     4.8s Stack concurrent
[ ]   32    0    0   32 /  256     4.9s Stack concurrent
[ ]   33    0    0   33 /  256     5.1s Stack concurrent
[ ]   34    0    0   34 /  256     5.3s Stack concurrent
[ ]   35    0    0   35 /  256     5.7s Stack concurrent
[ ]   36    0    0   36 /  256     5.8s Stack concurrent
[ ]   37    0    0   37 /  256     5.9s Stack concurrent
[ ]   38    0    0   38 /  256     6.1s Stack concurrent
[ ]   39    0    0   39 /  256     7.2s Stack concurrent
[ ]   40    0    0   40 /  256     7.4s Stack concurrent
[ ]   41    0    0   41 /  256     7.6s Stack concurrent
[ ]   43    0    0   43 /  256     8.0s Stack concurrent
[ ]   44    0    0   44 /  256     8.5s Stack concurrent
[ ]   45    0    0   45 /  256     8.7s Stack concurrent
[ ]   46    0    0   46 /  256     9.4s Stack concurrent
[ ]   47    0    0   47 /  256     9.5s Stack concurrent
[ ]   48    0    0   48 /  256     9.7s Stack concurrent
[ ]   49    0    0   49 /  256    10.2s Stack concurrent
[ ]   50    0    0   50 /  256    10.6s Stack concurrent
[ ]   52    0    0   52 /  256    10.7s Stack concurrent
[ ]   54    0    0   54 /  256    10.8s Stack concurrent
[ ]   57    0    0   57 /  256    10.9s Stack concurrent
[ ]   59    0    0   59 /  256    11.0s Stack concurrent
[ ]   62    0    0   62 /  256    11.3s Stack concurrent
[ ]   63    0    0   63 /  256    11.6s Stack concurrent
[ ]   64    0    0   64 /  256    12.2s Stack concurrent
[ ]   65    0    0   65 /  256    12.7s Stack concurrent
[ ]   67    0    0   67 /  256    13.0s Stack concurrent
[ ]   68    0    0   68 /  256    13.3s Stack concurrent
[ ]   69    0    0   69 /  256    13.6s Stack concurrent
[ ]   70    0    0   70 /  256    13.9s Stack concurrent
[ ]   71    0    0   71 /  256    14.7s Stack concurrent
[ ]   72    0    0   72 /  256    15.0s Stack concurrent
[ ]   73    0    0   73 /  256    15.2s Stack concurrent
[ ]   74    0    0   74 /  256    15.4s Stack concurrent
[ ]   75    0    0   75 /  256    15.5s Stack concurrent
[ ]   76    0    0   76 /  256    15.6s Stack concurrent
[ ]   77    0    0   77 /  256    15.9s Stack concurrent
[ ]   79    0    0   79 /  256    16.3s Stack concurrent
[ ]   80    0    0   80 /  256    16.6s Stack concurrent
[ ]   81    0    0   81 /  256    17.0s Stack concurrent
[ ]   82    0    0   82 /  256    18.4s Stack concurrent
[ ]   83    0    0   83 /  256    19.0s Stack concurrent
[ ]   84    0    0   84 /  256    19.9s Stack concurrent
[ ]   85    0    0   85 /  256    20.5s Stack concurrent
[ ]   87    0    0   87 /  256    20.8s Stack concurrent
[ ]   88    0    0   88 /  256    21.0s Stack concurrent
[ ]   89    0    0   89 /  256    21.2s Stack concurrent
[ ]   91    0    0   91 /  256    21.5s Stack concurrent
[ ]   92    0    0   92 /  256    21.7s Stack concurrent
[ ]   93    0    0   93 /  256    22.0s Stack concurrent
[ ]   94    0    0   94 /  256    22.2s Stack concurrent
[ ]   95    0    0   95 /  256    22.5s Stack concurrent
[ ]   96    0    0   96 /  256    22.7s Stack concurrent
[ ]   98    0    0   98 /  256    22.8s Stack concurrent
[ ]   99    0    0   99 /  256    22.9s Stack concurrent
[ ]  102    0    0  102 /  256    23.2s Stack concurrent
[ ]  103    0    0  103 /  256    23.5s Stack concurrent
[ ]  104    0    0  104 /  256    23.9s Stack concurrent
[ ]  106    0    0  106 /  256    24.5s Stack concurrent
[ ]  108    0    0  108 /  256    24.6s Stack concurrent
[ ]  110    0    0  110 /  256    24.7s Stack concurrent
[ ]  113    0    0  113 /  256    24.8s Stack concurrent
[ ]  115    0    0  115 /  256    25.0s Stack concurrent
[ ]  117    0    0  117 /  256    25.1s Stack concurrent
[ ]  120    0    0  120 /  256    25.2s Stack concurrent
[ ]  121    0    0  121 /  256    25.6s Stack concurrent
[ ]  122    0    0  122 /  256    25.9s Stack concurrent
[ ]  123    0    0  123 /  256    26.6s Stack concurrent
[ ]  124    0    0  124 /  256    26.7s Stack concurrent
[ ]  126    0    0  126 /  256    27.2s Stack concurrent
[ ]  127    0    0  127 /  256    27.4s Stack concurrent
[ ]  129    0    0  129 /  256    27.6s Stack concurrent
[ ]  131    0    0  131 /  256    28.0s Stack concurrent
[ ]  132    0    0  132 /  256    28.7s Stack concurrent
[ ]  135    0    0  135 /  256    28.8s Stack concurrent
[ ]  137    0    0  137 /  256    29.3s Stack concurrent
[ ]  142    0    0  142 /  256    29.4s Stack concurrent
[ ]  143    0    0  143 /  256    29.5s Stack concurrent
[ ]  144    0    0  144 /  256    29.7s Stack concurrent
[ ]  146    0    0  146 /  256    29.8s Stack concurrent
[ ]  148    0    0  148 /  256    30.0s Stack concurrent
[ ]  149    0    0  149 /  256    31.3s Stack concurrent
[ ]  150    0    0  150 /  256    31.5s Stack concurrent
[ ]  152    0    0  152 /  256    32.1s Stack concurrent
[ ]  153    0    0  153 /  256    32.2s Stack concurrent
[ ]  154    0    0  154 /  256    32.4s Stack concurrent
[ ]  155    0    0  155 /  256    33.0s Stack concurrent
[ ]  156    0    0  156 /  256    34.0s Stack concurrent
[ ]  157    0    0  157 /  256    34.8s Stack concurrent
[ ]  158    0    0  158 /  256    35.2s Stack concurrent
[ ]  159    0    0  159 /  256    35.5s Stack concurrent
[ ]  160    0    0  160 /  256    35.8s Stack concurrent
[ ]  161    0    0  161 /  256    36.8s Stack concurrent
[ ]  162    0    0  162 /  256    36.9s Stack concurrent
[ ]  163    0    0  163 /  256    37.1s Stack concurrent
[ ]  164    0    0  164 /  256    37.2s Stack concurrent
[ ]  167    0    0  167 /  256    37.3s Stack concurrent
[ ]  168    0    0  168 /  256    37.7s Stack concurrent
[ ]  169    0    0  169 /  256    39.4s Stack concurrent
[ ]  170    0    0  170 /  256    40.7s Stack concurrent
[ ]  171    0    0  171 /  256    41.4s Stack concurrent
[ ]  172    0    0  172 /  256    42.4s Stack concurrent
[ ]  173    0    0  173 /  256    43.0s Stack concurrent
[ ]  174    0    0  174 /  256    43.9s Stack concurrent
[ ]  175    0    0  175 /  256    44.8s Stack concurrent
[ ]  176    0    0  176 /  256    45.0s Stack concurrent
[ ]  177    0    0  177 /  256    46.1s Stack concurrent
[ ]  178    0    0  178 /  256    46.3s Stack concurrent
[ ]  179    0    0  179 /  256    47.6s Stack concurrent
[ ]  180    0    0  180 /  256    48.4s Stack concurrent
[ ]  181    0    0  181 /  256    48.7s Stack concurrent
[ ]  182    0    0  182 /  256    49.0s Stack concurrent
[ ]  183    0    0  183 /  256    49.4s Stack concurrent
[ ]  184    0    0  184 /  256    49.9s Stack concurrent
[ ]  185    0    0  185 /  256    52.3s Stack concurrent
[ ]  186    0    0  186 /  256    52.6s Stack concurrent
[ ]  187    0    0  187 /  256    53.1s Stack concurrent
[ ]  188    0    0  188 /  256    53.3s Stack concurrent
[ ]  189    0    0  189 /  256    53.4s Stack concurrent
[ ]  190    0    0  190 /  256    53.7s Stack concurrent
[ ]  191    0    0  191 /  256    53.8s Stack concurrent
[ ]  192    0    0  192 /  256    55.3s Stack concurrent
[ ]  193    0    0  193 /  256    56.2s Stack concurrent
[ ]  194    0    0  194 /  256    57.4s Stack concurrent
[ ]  195    0    0  195 /  256    58.6s Stack concurrent
[ ]  196    0    0  196 /  256    60.2s Stack concurrent
[ ]  197    0    0  197 /  256    60.9s Stack concurrent
[ ]  198    0    0  198 /  256    61.5s Stack concurrent
[ ]  199    0    0  199 /  256    62.0s Stack concurrent
[ ]  200    0    0  200 /  256    63.3s Stack concurrent
[ ]  201    0    0  201 /  256    64.2s Stack concurrent
[ ]  202    0    0  202 /  256    65.9s Stack concurrent
[ ]  203    0    0  203 /  256    66.8s Stack concurrent
[ ]  204    0    0  204 /  256    67.6s Stack concurrent
[ ]  205    0    0  205 /  256    67.8s Stack concurrent
[ ]  206    0    0  206 /  256    68.0s Stack concurrent
[ ]  207    0    0  207 /  256    68.2s Stack concurrent
[ ]  208    0    0  208 /  256    68.3s Stack concurrent
[ ]  211    0    0  211 /  256    68.5s Stack concurrent
[ ]  212    0    0  212 /  256    68.9s Stack concurrent
[ ]  213    0    0  213 /  256    69.5s Stack concurrent
[ ]  214    0    0  214 /  256    71.1s Stack concurrent
[ ]  215    0    0  215 /  256    71.3s Stack concurrent
[ ]  217    0    0  217 /  256    71.5s Stack concurrent
[ ]  220    0    0  220 /  256    72.0s Stack concurrent
[ ]  221    0    0  221 /  256    72.2s Stack concurrent
[ ]  222    0    0  222 /  256    72.8s Stack concurrent
[ ]  223    0    0  223 /  256    73.0s Stack concurrent
[ ]  224    0    0  224 /  256    73.5s Stack concurrent
[ ]  225    0    0  225 /  256    74.4s Stack concurrent
[ ]  226    0    0  226 /  256    75.2s Stack concurrent
[ ]  227    0    0  227 /  256    75.9s Stack concurrent
[ ]  228    0    0  228 /  256    77.5s Stack concurrent
[ ]  229    0    0  229 /  256    79.4s Stack concurrent
[ ]  230    0    0  230 /  256    81.4s Stack concurrent
[ ]  231    0    0  231 /  256    83.4s Stack concurrent
[ ]  232    0    0  232 /  256    84.2s Stack concurrent
[ ]  233    0    0  233 /  256    84.4s Stack concurrent
[ ]  234    0    0  234 /  256    84.6s Stack concurrent
[ ]  235    0    0  235 /  256    84.9s Stack concurrent
[ ]  238    0    0  238 /  256    85.1s Stack concurrent
[ ]  239    0    0  239 /  256    85.2s Stack concurrent
[ ]  240    0    0  240 /  256    85.3s Stack concurrent
[ ]  241    0    0  241 /  256    85.5s Stack concurrent
[ ]  242    0    0  242 /  256    87.3s Stack concurrent
[ ]  243    0    0  243 /  256    87.7s Stack concurrent
[ ]  244    0    0  244 /  256    87.9s Stack concurrent
[ ]  245    0    0  245 /  256    88.0s Stack concurrent
[ ]  246    0    0  246 /  256    88.1s Stack concurrent
[ ]  248    0    0  248 /  256    88.2s Stack concurrent
[ ]  251    0    0  251 /  256    88.4s Stack concurrent
[ ]  256    0    0  256 /  256    88.5s Stack concurrent
[✓]  256    0    0  256 /  256    88.5s Stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/kcas_data && ./dllist_test_stm.exe)
random seed: 184638536809588082
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Dllist sequential
[ ]    0    0    0    0 /   32     0.0s Dllist sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Dllist sequential
[ ]    0    0    0    0 /   32     0.0s Dllist concurrent
[ ]    2    0    0    2 /   32     0.1s Dllist concurrent
[ ]    4    0    0    4 /   32     0.3s Dllist concurrent
[ ]    6    0    0    6 /   32     0.4s Dllist concurrent
[ ]    8    0    0    8 /   32     0.6s Dllist concurrent
[ ]    9    0    0    9 /   32     0.8s Dllist concurrent
[ ]   10    0    0   10 /   32     0.9s Dllist concurrent
[ ]   13    0    0   13 /   32     1.1s Dllist concurrent
[ ]   14    0    0   14 /   32     1.8s Dllist concurrent
[ ]   15    0    0   15 /   32     2.0s Dllist concurrent
[ ]   17    0    0   17 /   32     2.1s Dllist concurrent
[ ]   19    0    0   19 /   32     2.3s Dllist concurrent
[ ]   21    0    0   21 /   32     2.4s Dllist concurrent
[ ]   23    0    0   23 /   32     2.6s Dllist concurrent
[ ]   25    0    0   25 /   32     2.7s Dllist concurrent
[ ]   28    0    0   28 /   32     2.9s Dllist concurrent
[ ]   29    0    0   29 /   32     3.1s Dllist concurrent
[ ]   31    0    0   31 /   32     3.3s Dllist concurrent
[✓]   32    0    0   32 /   32     3.3s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 3120258159727145020
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Dllist sequential
[✓]   64    0    0   64 /   64     0.0s Dllist sequential
[ ]    0    0    0    0 /   64     0.0s Dllist concurrent
[ ]    1    0    0    1 /   64     0.2s Dllist concurrent
[ ]    3    0    0    3 /   64     0.3s Dllist concurrent
[ ]    5    0    0    5 /   64     0.4s Dllist concurrent
[ ]    6    0    0    6 /   64     0.6s Dllist concurrent
[ ]    8    0    0    8 /   64     0.8s Dllist concurrent
[ ]   10    0    0   10 /   64     0.9s Dllist concurrent
[ ]   13    0    0   13 /   64     1.0s Dllist concurrent
[ ]   14    0    0   14 /   64     1.2s Dllist concurrent
[ ]   16    0    0   16 /   64     1.3s Dllist concurrent
[ ]   17    0    0   17 /   64     1.6s Dllist concurrent
[ ]   18    0    0   18 /   64     2.1s Dllist concurrent
[ ]   21    0    0   21 /   64     2.2s Dllist concurrent
[ ]   24    0    0   24 /   64     2.4s Dllist concurrent
[ ]   26    0    0   26 /   64     2.5s Dllist concurrent
[ ]   28    0    0   28 /   64     2.7s Dllist concurrent
[ ]   30    0    0   30 /   64     2.8s Dllist concurrent
[ ]   33    0    0   33 /   64     2.9s Dllist concurrent
[ ]   36    0    0   36 /   64     3.1s Dllist concurrent
[ ]   38    0    0   38 /   64     3.2s Dllist concurrent
[ ]   40    0    0   40 /   64     3.4s Dllist concurrent
[ ]   43    0    0   43 /   64     3.6s Dllist concurrent
[ ]   46    0    0   46 /   64     3.7s Dllist concurrent
[ ]   47    0    0   47 /   64     4.1s Dllist concurrent
[ ]   50    0    0   50 /   64     4.2s Dllist concurrent
[ ]   53    0    0   53 /   64     4.3s Dllist concurrent
[ ]   54    0    0   54 /   64     4.5s Dllist concurrent
[ ]   56    0    0   56 /   64     4.6s Dllist concurrent
[ ]   59    0    0   59 /   64     4.8s Dllist concurrent
[ ]   61    0    0   61 /   64     5.0s Dllist concurrent
[ ]   62    0    0   62 /   64     5.3s Dllist concurrent
[ ]   63    0    0   63 /   64     5.5s Dllist concurrent
[✓]   64    0    0   64 /   64     5.6s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 78234844224915636
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  128     0.0s Dllist sequential
[✓]  128    0    0  128 /  128     0.0s Dllist sequential
[ ]    0    0    0    0 /  128     0.0s Dllist concurrent
[ ]    1    0    0    1 /  128     0.1s Dllist concurrent
[ ]    4    0    0    4 /  128     0.7s Dllist concurrent
[ ]    5    0    0    5 /  128     0.8s Dllist concurrent
[ ]    8    0    0    8 /  128     0.9s Dllist concurrent
[ ]   10    0    0   10 /  128     1.1s Dllist concurrent
[ ]   12    0    0   12 /  128     1.4s Dllist concurrent
[ ]   13    0    0   13 /  128     1.5s Dllist concurrent
[ ]   14    0    0   14 /  128     1.6s Dllist concurrent
[ ]   16    0    0   16 /  128     2.0s Dllist concurrent
[ ]   18    0    0   18 /  128     2.2s Dllist concurrent
[ ]   20    0    0   20 /  128     2.3s Dllist concurrent
[ ]   23    0    0   23 /  128     2.5s Dllist concurrent
[ ]   25    0    0   25 /  128     2.9s Dllist concurrent
[ ]   30    0    0   30 /  128     3.0s Dllist concurrent
[ ]   31    0    0   31 /  128     3.1s Dllist concurrent
[ ]   33    0    0   33 /  128     3.3s Dllist concurrent
[ ]   35    0    0   35 /  128     3.4s Dllist concurrent
[ ]   39    0    0   39 /  128     3.6s Dllist concurrent
[ ]   40    0    0   40 /  128     4.0s Dllist concurrent
[ ]   42    0    0   42 /  128     4.2s Dllist concurrent
[ ]   43    0    0   43 /  128     4.6s Dllist concurrent
[ ]   45    0    0   45 /  128     5.1s Dllist concurrent
[ ]   48    0    0   48 /  128     5.6s Dllist concurrent
[ ]   49    0    0   49 /  128     5.7s Dllist concurrent
[ ]   52    0    0   52 /  128     5.9s Dllist concurrent
[ ]   54    0    0   54 /  128     6.3s Dllist concurrent
[ ]   55    0    0   55 /  128     6.4s Dllist concurrent
[ ]   56    0    0   56 /  128     7.1s Dllist concurrent
[ ]   57    0    0   57 /  128     7.5s Dllist concurrent
[ ]   58    0    0   58 /  128     8.1s Dllist concurrent
[ ]   59    0    0   59 /  128     8.5s Dllist concurrent
[ ]   60    0    0   60 /  128     8.8s Dllist concurrent
[ ]   61    0    0   61 /  128     8.9s Dllist concurrent
[ ]   62    0    0   62 /  128     9.2s Dllist concurrent
[ ]   63    0    0   63 /  128     9.4s Dllist concurrent
[ ]   64    0    0   64 /  128     9.5s Dllist concurrent
[ ]   66    0    0   66 /  128     9.7s Dllist concurrent
[ ]   69    0    0   69 /  128     9.8s Dllist concurrent
[ ]   71    0    0   71 /  128    10.0s Dllist concurrent
[ ]   73    0    0   73 /  128    10.2s Dllist concurrent
[ ]   74    0    0   74 /  128    10.4s Dllist concurrent
[ ]   76    0    0   76 /  128    10.5s Dllist concurrent
[ ]   78    0    0   78 /  128    10.8s Dllist concurrent
[ ]   81    0    0   81 /  128    11.0s Dllist concurrent
[ ]   84    0    0   84 /  128    11.2s Dllist concurrent
[ ]   86    0    0   86 /  128    11.7s Dllist concurrent
[ ]   87    0    0   87 /  128    12.1s Dllist concurrent
[ ]   88    0    0   88 /  128    12.5s Dllist concurrent
[ ]   89    0    0   89 /  128    12.8s Dllist concurrent
[ ]   90    0    0   90 /  128    13.0s Dllist concurrent
[ ]   91    0    0   91 /  128    13.3s Dllist concurrent
[ ]   93    0    0   93 /  128    13.5s Dllist concurrent
[ ]   94    0    0   94 /  128    13.6s Dllist concurrent
[ ]   96    0    0   96 /  128    13.8s Dllist concurrent
[ ]   97    0    0   97 /  128    14.0s Dllist concurrent
[ ]   99    0    0   99 /  128    14.4s Dllist concurrent
[ ]  100    0    0  100 /  128    14.5s Dllist concurrent
[ ]  102    0    0  102 /  128    14.6s Dllist concurrent
[ ]  105    0    0  105 /  128    14.7s Dllist concurrent
[ ]  107    0    0  107 /  128    14.8s Dllist concurrent
[ ]  109    0    0  109 /  128    15.8s Dllist concurrent
[ ]  110    0    0  110 /  128    15.9s Dllist concurrent
[ ]  112    0    0  112 /  128    16.1s Dllist concurrent
[ ]  113    0    0  113 /  128    16.9s Dllist concurrent
[ ]  114    0    0  114 /  128    17.1s Dllist concurrent
[ ]  115    0    0  115 /  128    17.2s Dllist concurrent
[ ]  116    0    0  116 /  128    17.5s Dllist concurrent
[ ]  117    0    0  117 /  128    17.8s Dllist concurrent
[ ]  118    0    0  118 /  128    18.1s Dllist concurrent
[ ]  119    0    0  119 /  128    18.3s Dllist concurrent
[ ]  120    0    0  120 /  128    18.4s Dllist concurrent
[ ]  122    0    0  122 /  128    18.6s Dllist concurrent
[ ]  125    0    0  125 /  128    19.0s Dllist concurrent
[ ]  126    0    0  126 /  128    19.1s Dllist concurrent
[ ]  127    0    0  127 /  128    19.4s Dllist concurrent
[ ]  128    0    0  128 /  128    19.6s Dllist concurrent
[✓]  128    0    0  128 /  128    19.6s Dllist concurrent
================================================================================
success (ran 2 tests)
random seed: 2752532010316666222
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  247     0.0s Dllist sequential
[✓]  247    0    0  247 /  247     0.0s Dllist sequential
[ ]    0    0    0    0 /  247     0.0s Dllist concurrent
[ ]    1    0    0    1 /  247     0.3s Dllist concurrent
[ ]    2    0    0    2 /  247     0.5s Dllist concurrent
[ ]    3    0    0    3 /  247     0.8s Dllist concurrent
[ ]    4    0    0    4 /  247     1.0s Dllist concurrent
[ ]    5    0    0    5 /  247     1.1s Dllist concurrent
[ ]    7    0    0    7 /  247     1.2s Dllist concurrent
[ ]    8    0    0    8 /  247     1.4s Dllist concurrent
[ ]   10    0    0   10 /  247     2.0s Dllist concurrent
[ ]   12    0    0   12 /  247     2.3s Dllist concurrent
[ ]   13    0    0   13 /  247     2.5s Dllist concurrent
[ ]   14    0    0   14 /  247     2.8s Dllist concurrent
[ ]   15    0    0   15 /  247     3.0s Dllist concurrent
[ ]   16    0    0   16 /  247     3.3s Dllist concurrent
[ ]   17    0    0   17 /  247     3.5s Dllist concurrent
[ ]   18    0    0   18 /  247     3.6s Dllist concurrent
[ ]   19    0    0   19 /  247     4.0s Dllist concurrent
[ ]   20    0    0   20 /  247     4.2s Dllist concurrent
[ ]   22    0    0   22 /  247     4.9s Dllist concurrent
[ ]   23    0    0   23 /  247     5.7s Dllist concurrent
[ ]   24    0    0   24 /  247     6.2s Dllist concurrent
[ ]   25    0    0   25 /  247     6.4s Dllist concurrent
[ ]   27    0    0   27 /  247     6.6s Dllist concurrent
[ ]   29    0    0   29 /  247     6.7s Dllist concurrent
[ ]   31    0    0   31 /  247     6.8s Dllist concurrent
[ ]   32    0    0   32 /  247     7.0s Dllist concurrent
[ ]   33    0    0   33 /  247     7.2s Dllist concurrent
[ ]   34    0    0   34 /  247     7.6s Dllist concurrent
[ ]   35    0    0   35 /  247     7.8s Dllist concurrent
[ ]   37    0    0   37 /  247     8.0s Dllist concurrent
[ ]   39    0    0   39 /  247     8.2s Dllist concurrent
[ ]   41    0    0   41 /  247     8.3s Dllist concurrent
[ ]   42    0    0   42 /  247     8.5s Dllist concurrent
[ ]   43    0    0   43 /  247     8.9s Dllist concurrent
[ ]   45    0    0   45 /  247     9.1s Dllist concurrent
[ ]   47    0    0   47 /  247     9.2s Dllist concurrent
[ ]   50    0    0   50 /  247     9.3s Dllist concurrent
[ ]   52    0    0   52 /  247     9.5s Dllist concurrent
[ ]   54    0    0   54 /  247     9.7s Dllist concurrent
[ ]   55    0    0   55 /  247     9.8s Dllist concurrent
[ ]   57    0    0   57 /  247    10.0s Dllist concurrent
[ ]   60    0    0   60 /  247    10.1s Dllist concurrent
[ ]   62    0    0   62 /  247    10.3s Dllist concurrent
[ ]   64    0    0   64 /  247    10.4s Dllist concurrent
[ ]   65    0    0   65 /  247    10.5s Dllist concurrent
[ ]   66    0    0   66 /  247    10.7s Dllist concurrent
[ ]   67    0    0   67 /  247    11.2s Dllist concurrent
[ ]   68    0    0   68 /  247    11.3s Dllist concurrent
[ ]   69    0    0   69 /  247    11.5s Dllist concurrent
[ ]   70    0    0   70 /  247    12.0s Dllist concurrent
[ ]   71    0    0   71 /  247    12.2s Dllist concurrent
[ ]   72    0    0   72 /  247    13.2s Dllist concurrent
[ ]   73    0    0   73 /  247    13.4s Dllist concurrent
[ ]   74    0    0   74 /  247    13.6s Dllist concurrent
[ ]   75    0    0   75 /  247    13.7s Dllist concurrent
[ ]   76    0    0   76 /  247    14.5s Dllist concurrent
[ ]   77    0    0   77 /  247    14.9s Dllist concurrent
[ ]   78    0    0   78 /  247    15.2s Dllist concurrent
[ ]   79    0    0   79 /  247    15.6s Dllist concurrent
[ ]   80    0    0   80 /  247    16.7s Dllist concurrent
[ ]   81    0    0   81 /  247    18.0s Dllist concurrent
[ ]   82    0    0   82 /  247    18.6s Dllist concurrent
[ ]   83    0    0   83 /  247    18.9s Dllist concurrent
[ ]   84    0    0   84 /  247    19.2s Dllist concurrent
[ ]   85    0    0   85 /  247    19.4s Dllist concurrent
[ ]   86    0    0   86 /  247    19.5s Dllist concurrent
[ ]   87    0    0   87 /  247    19.8s Dllist concurrent
[ ]   88    0    0   88 /  247    20.3s Dllist concurrent
[ ]   89    0    0   89 /  247    20.6s Dllist concurrent
[ ]   90    0    0   90 /  247    20.9s Dllist concurrent
[ ]   91    0    0   91 /  247    21.0s Dllist concurrent
[ ]   93    0    0   93 /  247    21.1s Dllist concurrent
[ ]   95    0    0   95 /  247    21.2s Dllist concurrent
[ ]   97    0    0   97 /  247    21.9s Dllist concurrent
[ ]  100    0    0  100 /  247    22.0s Dllist concurrent
[ ]  103    0    0  103 /  247    22.1s Dllist concurrent
[ ]  106    0    0  106 /  247    22.3s Dllist concurrent
[ ]  108    0    0  108 /  247    22.5s Dllist concurrent
[ ]  110    0    0  110 /  247    22.6s Dllist concurrent
[ ]  112    0    0  112 /  247    22.8s Dllist concurrent
[ ]  113    0    0  113 /  247    23.0s Dllist concurrent
[ ]  116    0    0  116 /  247    24.1s Dllist concurrent
[ ]  117    0    0  117 /  247    24.4s Dllist concurrent
[ ]  118    0    0  118 /  247    25.0s Dllist concurrent
[ ]  120    0    0  120 /  247    25.5s Dllist concurrent
[ ]  121    0    0  121 /  247    25.7s Dllist concurrent
[ ]  123    0    0  123 /  247    26.2s Dllist concurrent
[ ]  124    0    0  124 /  247    26.4s Dllist concurrent
[ ]  126    0    0  126 /  247    26.6s Dllist concurrent
[ ]  128    0    0  128 /  247    26.8s Dllist concurrent
[ ]  129    0    0  129 /  247    27.0s Dllist concurrent
[ ]  132    0    0  132 /  247    27.2s Dllist concurrent
[ ]  135    0    0  135 /  247    27.4s Dllist concurrent
[ ]  138    0    0  138 /  247    29.1s Dllist concurrent
[ ]  139    0    0  139 /  247    29.5s Dllist concurrent
[ ]  140    0    0  140 /  247    29.9s Dllist concurrent
[ ]  141    0    0  141 /  247    30.1s Dllist concurrent
[ ]  142    0    0  142 /  247    30.5s Dllist concurrent
[ ]  143    0    0  143 /  247    30.6s Dllist concurrent
[ ]  145    0    0  145 /  247    30.9s Dllist concurrent
[ ]  146    0    0  146 /  247    31.7s Dllist concurrent
[ ]  147    0    0  147 /  247    32.8s Dllist concurrent
[ ]  148    0    0  148 /  247    33.1s Dllist concurrent
[ ]  150    0    0  150 /  247    33.4s Dllist concurrent
[ ]  151    0    0  151 /  247    33.8s Dllist concurrent
[ ]  152    0    0  152 /  247    33.9s Dllist concurrent
[ ]  153    0    0  153 /  247    34.3s Dllist concurrent
[ ]  154    0    0  154 /  247    35.3s Dllist concurrent
[ ]  156    0    0  156 /  247    35.5s Dllist concurrent
[ ]  157    0    0  157 /  247    35.7s Dllist concurrent
[ ]  158    0    0  158 /  247    36.9s Dllist concurrent
[ ]  159    0    0  159 /  247    37.3s Dllist concurrent
[ ]  160    0    0  160 /  247    38.5s Dllist concurrent
[ ]  161    0    0  161 /  247    41.0s Dllist concurrent
[ ]  162    0    0  162 /  247    43.1s Dllist concurrent
[ ]  163    0    0  163 /  247    44.3s Dllist concurrent
[ ]  164    0    0  164 /  247    45.3s Dllist concurrent
[ ]  165    0    0  165 /  247    46.7s Dllist concurrent
[ ]  166    0    0  166 /  247    46.9s Dllist concurrent
[ ]  167    0    0  167 /  247    47.3s Dllist concurrent
[ ]  168    0    0  168 /  247    47.6s Dllist concurrent
[ ]  169    0    0  169 /  247    48.0s Dllist concurrent
[ ]  170    0    0  170 /  247    48.4s Dllist concurrent
[ ]  171    0    0  171 /  247    50.4s Dllist concurrent
[ ]  172    0    0  172 /  247    51.0s Dllist concurrent
[ ]  173    0    0  173 /  247    51.2s Dllist concurrent
[ ]  174    0    0  174 /  247    51.6s Dllist concurrent
[ ]  175    0    0  175 /  247    51.9s Dllist concurrent
[ ]  176    0    0  176 /  247    52.5s Dllist concurrent
[ ]  177    0    0  177 /  247    54.3s Dllist concurrent
[ ]  178    0    0  178 /  247    55.5s Dllist concurrent
[ ]  179    0    0  179 /  247    56.0s Dllist concurrent
[ ]  180    0    0  180 /  247    57.1s Dllist concurrent
[ ]  181    0    0  181 /  247    58.6s Dllist concurrent
[ ]  182    0    0  182 /  247    59.8s Dllist concurrent
[ ]  183    0    0  183 /  247    61.1s Dllist concurrent
[ ]  184    0    0  184 /  247    62.4s Dllist concurrent
[ ]  185    0    0  185 /  247    64.6s Dllist concurrent
[ ]  186    0    0  186 /  247    65.3s Dllist concurrent
[ ]  187    0    0  187 /  247    65.7s Dllist concurrent
[ ]  188    0    0  188 /  247    66.1s Dllist concurrent
[ ]  189    0    0  189 /  247    66.3s Dllist concurrent
[ ]  190    0    0  190 /  247    66.7s Dllist concurrent
[ ]  193    0    0  193 /  247    66.8s Dllist concurrent
[ ]  195    0    0  195 /  247    69.4s Dllist concurrent
[ ]  196    0    0  196 /  247    69.7s Dllist concurrent
[ ]  199    0    0  199 /  247    69.9s Dllist concurrent
[ ]  202    0    0  202 /  247    70.3s Dllist concurrent
[ ]  203    0    0  203 /  247    70.6s Dllist concurrent
[ ]  204    0    0  204 /  247    71.2s Dllist concurrent
[ ]  205    0    0  205 /  247    71.8s Dllist concurrent
[ ]  206    0    0  206 /  247    72.3s Dllist concurrent
[ ]  207    0    0  207 /  247    73.7s Dllist concurrent
[ ]  208    0    0  208 /  247    74.8s Dllist concurrent
[ ]  209    0    0  209 /  247    76.0s Dllist concurrent
[ ]  210    0    0  210 /  247    77.9s Dllist concurrent
[ ]  211    0    0  211 /  247    79.8s Dllist concurrent
[ ]  212    0    0  212 /  247    82.1s Dllist concurrent
[ ]  213    0    0  213 /  247    82.9s Dllist concurrent
[ ]  215    0    0  215 /  247    83.2s Dllist concurrent
[ ]  216    0    0  216 /  247    83.4s Dllist concurrent
[ ]  218    0    0  218 /  247    83.6s Dllist concurrent
[ ]  219    0    0  219 /  247    84.1s Dllist concurrent
[ ]  220    0    0  220 /  247    86.0s Dllist concurrent
[ ]  221    0    0  221 /  247    86.1s Dllist concurrent
[ ]  223    0    0  223 /  247    86.3s Dllist concurrent
[ ]  225    0    0  225 /  247    86.5s Dllist concurrent
[ ]  227    0    0  227 /  247    86.7s Dllist concurrent
[ ]  230    0    0  230 /  247    87.0s Dllist concurrent
[ ]  234    0    0  234 /  247    87.2s Dllist concurrent
[ ]  235    0    0  235 /  247    87.4s Dllist concurrent
[ ]  236    0    0  236 /  247    87.6s Dllist concurrent
[ ]  237    0    0  237 /  247    87.9s Dllist concurrent
[ ]  238    0    0  238 /  247    88.3s Dllist concurrent
[ ]  241    0    0  241 /  247    88.5s Dllist concurrent
[ ]  243    0    0  243 /  247    88.6s Dllist concurrent
[ ]  247    0    0  247 /  247    88.7s Dllist concurrent
[✓]  247    0    0  247 /  247    88.7s Dllist concurrent
================================================================================
success (ran 2 tests)
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2024-12-20 09:38.48: Job failed: Failed: Build failed