2024-11-29 14:12.43: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/pull/170/head (170167cc8ed93a59ba34a4114facb098fb35ba57) (linux-x86_64:ubuntu-24.10-4.14_opam-2.3)
Base: ocaml/opam:ubuntu-24.10-ocaml-4.14@sha256:f8c4b2b69984bb7f35708e8127a022fb0ad3dff6f5d74bb7ced3ea1347737792
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/saturn.git" && cd "saturn" && git fetch origin "refs/pull/170/head" && git reset --hard 170167cc
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.10-ocaml-4.14@sha256:f8c4b2b69984bb7f35708e8127a022fb0ad3dff6f5d74bb7ced3ea1347737792
# ubuntu-24.10-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 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 || git fetch origin master) && git reset -q --hard 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn.opam ./
RUN opam pin add -yn saturn.dev './'
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.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.0 dune-configurator.3.17.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.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.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 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 saturn.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-11-29 14:12.43: Using cache hint "ocaml-multicore/saturn-ocaml/opam:ubuntu-24.10-ocaml-4.14@sha256:f8c4b2b69984bb7f35708e8127a022fb0ad3dff6f5d74bb7ced3ea1347737792-ubuntu-24.10-4.14_opam-2.3-6df3198b981312fca8cd5025584e5118"
2024-11-29 14:12.43: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.10-ocaml-4.14@sha256:f8c4b2b69984bb7f35708e8127a022fb0ad3dff6f5d74bb7ced3ea1347737792)
(comment ubuntu-24.10-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 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 || git fetch origin master) && git reset -q --hard 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn saturn.dev './'"))
(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.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.0 dune-configurator.3.17.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.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.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 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 saturn.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-11-29 14:12.43: Waiting for resource in pool OCluster
2024-11-29 17:23.57: Waiting for worker…
2024-11-29 17:27.19: Got resource from pool OCluster
Building on x86-bm-c17.sw.ocaml.org
All commits already cached
HEAD is now at 170167c Apply reviews.
(from ocaml/opam:ubuntu-24.10-ocaml-4.14@sha256:f8c4b2b69984bb7f35708e8127a022fb0ad3dff6f5d74bb7ced3ea1347737792)
2024-11-29 17:27.19 ---> using "c9872d85ff961e0823cac29d9fa62bab526664c4d4cbf89e41f37ee2883c8b6a" from cache
/: (comment ubuntu-24.10-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-11-29 17:27.19 ---> using "59fd8da4e388244e464cce4c41e4cf98353e2210062baa30e7dfb483c82488b6" from cache
/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 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 39 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=39 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-29 17:27.19 ---> using "d220a00787cbe0406a37d86882dafed7920b0830ec87c4d7563d8c76d0a24c24" from cache
/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-11-29 17:27.19 ---> using "e391c67dd2554bd90a642385345abcd43b02fdc8fa4e2b7c04df91e7d2c51e26" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-11-29 17:27.19 ---> using "0a6e4cdbbbf3b71f3e8e979bd7f8765e05294470f361da61824c8afe0d0fe1d7" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 || git fetch origin master) && git reset -q --hard 1b58d8c4dd40d1b4a0893c7b9182b698c1b34c44 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
f0f88dc8c9..0b65c91e76 master -> origin/master
1b58d8c4dd Merge pull request #26975 from maiste/release-dune-3.17.0
<><> 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-11-29 17:27.19 ---> using "18e560246b4b39c59b4c0866d5360ed9c50239718566176ad7faa3ae72069971" from cache
/src: (copy (src saturn.opam) (dst ./))
2024-11-29 17:27.19 ---> using "4977d42ba6fda3a87a65477c250d8d0b4fb08fdf74160515235c666c8f8f1505" from cache
/src: (run (network host)
(shell "opam pin add -yn saturn.dev './'"))
[saturn.dev] synchronised (file:///src)
saturn is now pinned to file:///src (version dev)
2024-11-29 17:27.19 ---> using "736639dd8a133842cb4e84b7e7d5bc7ac8600e8ffbdfb76262eddbd86f146ed3" from cache
/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.7.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.0 dune-configurator.3.17.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.4.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.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.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 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 saturn.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://security.ubuntu.com/ubuntu oracular-security InRelease [126 kB]
- Get:2 http://security.ubuntu.com/ubuntu oracular-security/main amd64 Packages [41.5 kB]
- Get:3 http://security.ubuntu.com/ubuntu oracular-security/universe amd64 Packages [36.2 kB]
- Hit:4 http://archive.ubuntu.com/ubuntu oracular InRelease
- Get:5 http://archive.ubuntu.com/ubuntu oracular-updates InRelease [126 kB]
- Get:6 http://archive.ubuntu.com/ubuntu oracular-backports InRelease [126 kB]
- Get:7 http://archive.ubuntu.com/ubuntu oracular-updates/universe amd64 Packages [49.1 kB]
- Get:8 http://archive.ubuntu.com/ubuntu oracular-updates/main amd64 Packages [103 kB]
- Get:9 http://archive.ubuntu.com/ubuntu oracular-backports/universe amd64 Packages [3980 B]
- Fetched 612 kB in 1s (1203 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (no changes)
[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-11-29 17:27.19 ---> using "4f3a0c39385fbe61bffbf9ea08a0bd36d746a5d3615444be29852017ec6eb0b4" from cache
/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 42 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.7.0
- install csexp 1.5.2
- install domain-local-await 1.0.1
- install domain_shims 0.1.0
- install dscheck 0.5.0
- install dune 3.17.0
- install dune-configurator 3.17.0
- install either 1.0.0
- install fmt 0.9.0
- install logs 0.7.0
- install mdx 2.4.1
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.0
- install multicore-magic-dscheck 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 3.7.1
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- install oseq 0.5.1
- install ounit2 2.2.7
- install qcheck 0.22
- install qcheck-alcotest 0.22
- install qcheck-core 0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-ounit 0.22
- install qcheck-stm 0.4
- 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 astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved containers.3.15 (cached)
-> retrieved cppo.1.7.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-local-await.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 mdx.2.4.1 (cached)
-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocaml-version.3.7.1 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached)
-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4 (cached)
-> retrieved dune.3.17.0, dune-configurator.3.17.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved re.1.12.0 (cached)
-> 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)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.15.0
-> installed ocamlfind.1.9.6
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed logs.0.7.0
-> installed dune.3.17.0
-> installed either.1.0.0
-> installed domain_shims.0.1.0
-> installed camlp-streams.5.0.1
-> installed stdlib-shims.0.3.0
-> installed backoff.0.1.1
-> installed csexp.1.5.2
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.3.7.1
-> installed oseq.0.5.1
-> installed result.1.5
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed re.1.12.0
-> installed cppo.1.7.0
-> installed domain-local-await.1.0.1
-> installed qcheck-core.0.22
-> installed ounit2.2.2.7
-> installed yojson.2.2.2
-> installed qcheck-ounit.0.22
-> installed qcheck-multicoretests-util.0.4
-> installed qcheck.0.22
-> installed qcheck-stm.0.4
-> installed alcotest.1.8.0
-> installed multicore-bench.0.1.7
-> installed dune-configurator.3.17.0
-> installed qcheck-alcotest.0.22
-> installed mdx.2.4.1
-> installed containers.3.15
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-29 17:27.19 ---> using "9f52bd937336b7d6d1a3d8bcb33466db453877da40b3ad5bf6bc43364bb7cd78" from cache
/src: (copy (src .) (dst /src))
2024-11-29 17:27.19 ---> saved as "c8446ab66575e5c3834096801df7dce8be8ddcc75c2f4f632abc0a520353f562"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
test_Spsc_queue_empty: ok
test_Spsc_queue_full: ok
test_Spsc_queue_parallel: ok (transferred = 100)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100)
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)
random seed: 2001659968032979485
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 2818550834430656882
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Ws_deque sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 295066412763854583
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.Ws_deque sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 4361351586065013926
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn.Ws_deque sequential
[✓] 256 0 0 256 / 256 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 251694430046188152
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn.Ws_deque sequential
[✓] 512 0 0 512 / 512 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 1918552496005925326
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)
random seed: 1598986417293649062
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3309026736497947962
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2002385930593840490
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 258011713362668887
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue sequential
[✓] 256 0 0 256 / 256 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 58633933461934995
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn.Spsc_queue sequential
[✓] 512 0 0 512 / 512 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2559993015024253051
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 1292261996543582758
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 4042818646787040212
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 2415246300712511923
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 2543137881605369483
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 1350415035643930978
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 512 0 0 512 / 512 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 4550999364052860476
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 235003712994947444
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3611359191488419236
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Mpsc_queue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3820301444631532329
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.Mpsc_queue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2462721312158443766
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn.Mpsc_queue sequential
[✓] 256 0 0 256 / 256 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2330126420605311580
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn.Mpsc_queue sequential
[✓] 512 0 0 512 / 512 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 4298128786367688247
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 368859136
Testing `Treiber_stack'.
This run has ID `Q1CC1JFW'.
[OK] test_sequential 0 push.
[OK] test_sequential 1 push_pop_until_empty.
[OK] test_sequential 2 lifo.
[OK] one_cons_one_prod 0 parallel.
[OK] two_domains 0 parallel_pop_push.
[OK] two_domains 1 parallel_pop_push_random.
Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'.
Test Successful in 1.623s. 6 tests run.
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 695423980
Testing `Ws_deque'.
This run has ID `LPOB99CN'.
[OK] one_producer 0 pops_are_in_order.
[OK] one_producer 1 pop_on_empty_deque_rai...
[OK] one_producer_one_stealer 0 steals_are_in_order.
[OK] one_producer_one_stealer 1 parallel_pushes_and_st...
[OK] one_producer_one_stealer 2 parallel_pops_and_steals.
[OK] one_producer_two_stealers 0 parallel_steals.
Full test results in `/src/_build/default/test/ws_deque/_build/_tests/Ws_deque'.
Test Successful in 1.669s. 6 tests run.
(cd _build/default/test/bounded_queue && ./qcheck_bounded_queue.exe)
qcheck random seed: 849891853
Testing `Bounded_queue'.
This run has ID `XC27Q6S0'.
[OK] test_sequential_safe 0 push.
[OK] test_sequential_safe 1 of_list_exn.
[OK] test_sequential_safe 2 of_list_exn_raise_full.
[OK] test_sequential_safe 3 push_capacity.
[OK] test_sequential_safe 4 push_pop_opt_until_empty.
[OK] test_sequential_safe 5 fifo.
[OK] test_sequential_safe 6 fifo_peek_opt.
[OK] one_cons_one_prod_safe 0 parallel_fifo.
[OK] one_cons_one_prod_safe 1 parallel_peek.
[OK] two_domains_safe 0 parallel_pop_opt_push.
[OK] two_domains_safe 1 parallel_pop_opt_push_r...
[OK] test_sequential_unsafe 0 push.
[OK] test_sequential_unsafe 1 of_list_exn.
[OK] test_sequential_unsafe 2 of_list_exn_raise_full.
[OK] test_sequential_unsafe 3 push_capacity.
[OK] test_sequential_unsafe 4 push_pop_opt_until_empty.
[OK] test_sequential_unsafe 5 fifo.
[OK] test_sequential_unsafe 6 fifo_peek_opt.
[OK] one_cons_one_prod_unsafe 0 parallel_fifo.
[OK] one_cons_one_prod_unsafe 1 parallel_peek.
[OK] two_domains_unsafe 0 parallel_pop_opt_push.
[OK] two_domains_unsafe 1 parallel_pop_opt_push_r...
Full test results in `/src/_build/default/test/bounded_queue/_build/_tests/Bounded_queue'.
Test Successful in 1.685s. 22 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 335309621
Testing `Michael_scott_queue'.
This run has ID `NWG4DAMP'.
[OK] test_sequential_safe 0 push.
[OK] test_sequential_safe 1 push_pop_opt_until_empty.
[OK] test_sequential_safe 2 fifo.
[OK] test_sequential_safe 3 fifo_peek_opt.
[OK] one_cons_one_prod_safe 0 parallel_fifo.
[OK] one_cons_one_prod_safe 1 parallel_peek.
[OK] two_domains_safe 0 parallel_pop_opt_push.
[OK] two_domains_safe 1 parallel_pop_opt_push_r...
[OK] test_sequential_unsafe 0 push.
[OK] test_sequential_unsafe 1 push_pop_opt_until_empty.
[OK] test_sequential_unsafe 2 fifo.
[OK] test_sequential_unsafe 3 fifo_peek_opt.
[OK] one_cons_one_prod_unsafe 0 parallel_fifo.
[OK] one_cons_one_prod_unsafe 1 parallel_peek.
[OK] two_domains_unsafe 0 parallel_pop_opt_push.
[OK] two_domains_unsafe 1 parallel_pop_opt_push_r...
Full test results in `/src/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'.
Test Successful in 2.113s. 16 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 93219085
Testing `Spsc_queues'.
This run has ID `BS8V6HGW'.
[OK] Spsc_queue 0 seq_pop_opt_push.
[OK] Spsc_queue 1 seq_pop_push.
[OK] Spsc_queue 2 seq_pop_try_push.
[OK] Spsc_queue 3 par_pop_push.
[OK] Spsc_queue 4 push_full.
[OK] Spsc_queue 5 seq_peek_opt.
[OK] Spsc_queue 6 seq_peek.
[OK] Spsc_queue 7 par_peek_opt.
[OK] Spsc_queue_unsafe 0 seq_pop_opt_push.
[OK] Spsc_queue_unsafe 1 seq_pop_push.
[OK] Spsc_queue_unsafe 2 seq_pop_try_push.
[OK] Spsc_queue_unsafe 3 par_pop_push.
[OK] Spsc_queue_unsafe 4 push_full.
[OK] Spsc_queue_unsafe 5 seq_peek_opt.
[OK] Spsc_queue_unsafe 6 seq_peek.
[OK] Spsc_queue_unsafe 7 par_peek_opt.
Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/Spsc_queues'.
Test Successful in 2.744s. 16 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 874727710
Testing `Mpsc_queue'.
This run has ID `9K3ARFQN'.
[OK] one_consumer 0 push_head_pop_opt.
[OK] one_consumer 1 push_head_pop.
[OK] one_consumer 2 push_head_peek_opt.
[OK] one_consumer 3 push_head_peek.
[OK] one_consumer 4 pop_opt_empty.
[OK] one_consumer 5 pop_empty.
[OK] one_consumer 6 peek_opt_empty.
[OK] one_consumer 7 peek_empty.
[OK] one_consumer 8 push_head_not_empty.
[OK] one_consumer 9 close_push_head.
[OK] one_consumer 10 close_is_empty.
[OK] one_consumer 11 close_pop_opt.
[OK] one_consumer 12 pop_opt_order.
[OK] one_consumer 13 seq_push_pop_opt.
[OK] one_producer 0 push_not_empty.
[OK] one_producer 1 closing_prevents_pushing.
[OK] one_cons_one_prod 0 seq_push_pop_opt_peek_opt.
[OK] one_cons_one_prod 1 par_push_pop.
[OK] one_cons_one_prod 2 par_push_push_head.
[OK] one_cons_one_prod 3 par_pop_opt_push2.
[OK] one_cons_two_prod 0 par_push.
[OK] one_cons_two_prod 1 par_push_close_pop_opt.
Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 4.376s. 22 tests run.
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 27004535
Testing `QCheck Skiplist'.
This run has ID `USF9WLWG'.
[OK] test_sequential 0 add.
[OK] test_sequential 1 add_remove.
[OK] test_sequential 2 add_find.
[OK] test_sequential 3 add_remove_find.
[OK] tests_two_domains 0 parallel_add.
[OK] tests_two_domains 1 parallel_add_remove.
[OK] tests_two_domains 2 parallel_add_remove_same_list.
Full test results in `/src/_build/default/test/skiplist/_build/_tests/QCheck Skiplist'.
Test Successful in 7.523s. 7 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Bounded_Queue:
messages over time/1 nb adder, 1 nb taker:
21.49 M/s
messages over time/1 nb adder, 2 nb takers:
19.52 M/s
messages over time/2 nb adders, 1 nb taker:
19.57 M/s
messages over time/2 nb adders, 2 nb takers:
19.34 M/s
messages over time/one domain:
11.16 M/s
time per message/1 nb adder, 1 nb taker:
93.07 ns
time per message/1 nb adder, 2 nb takers:
153.72 ns
time per message/2 nb adders, 1 nb taker:
153.28 ns
time per message/2 nb adders, 2 nb takers:
211.18 ns
time per message/one domain:
89.65 ns
Saturn Bounded_Queue_unsafe:
messages over time/1 nb adder, 1 nb taker:
18.96 M/s
messages over time/1 nb adder, 2 nb takers:
16.53 M/s
messages over time/2 nb adders, 1 nb taker:
16.08 M/s
messages over time/2 nb adders, 2 nb takers:
14.94 M/s
messages over time/one domain:
11.48 M/s
time per message/1 nb adder, 1 nb taker:
105.50 ns
time per message/1 nb adder, 2 nb takers:
181.48 ns
time per message/2 nb adders, 1 nb taker:
186.59 ns
time per message/2 nb adders, 2 nb takers:
267.82 ns
time per message/one domain:
87.11 ns
Saturn Bounded_Stack:
messages over time/1 adder, 1 taker:
29.14 M/s
messages over time/1 adder, 2 takers:
26.08 M/s
messages over time/2 adders, 1 taker:
30.16 M/s
messages over time/2 adders, 2 takers:
25.62 M/s
messages over time/one domain:
15.15 M/s
time per message/1 adder, 1 taker:
68.63 ns
time per message/1 adder, 2 takers:
115.05 ns
time per message/2 adders, 1 taker:
99.48 ns
time per message/2 adders, 2 takers:
156.12 ns
time per message/one domain:
66.00 ns
Saturn Htbl:
operations over time/1 worker, 10% reads:
5.23 M/s
operations over time/1 worker, 50% reads:
6.68 M/s
operations over time/1 worker, 90% reads:
9.26 M/s
operations over time/2 workers, 10% reads:
5.75 M/s
operations over time/2 workers, 50% reads:
6.85 M/s
operations over time/2 workers, 90% reads:
9.13 M/s
operations over time/4 workers, 10% reads:
5.33 M/s
operations over time/4 workers, 50% reads:
6.83 M/s
operations over time/4 workers, 90% reads:
9.09 M/s
time per operation/1 worker, 10% reads:
191.38 ns
time per operation/1 worker, 50% reads:
149.60 ns
time per operation/1 worker, 90% reads:
107.99 ns
time per operation/2 workers, 10% reads:
347.78 ns
time per operation/2 workers, 50% reads:
291.89 ns
time per operation/2 workers, 90% reads:
219.13 ns
time per operation/4 workers, 10% reads:
750.81 ns
time per operation/4 workers, 50% reads:
585.51 ns
time per operation/4 workers, 90% reads:
440.22 ns
Saturn Htbl_unsafe:
operations over time/1 worker, 10% reads:
3.94 M/s
operations over time/1 worker, 50% reads:
6.11 M/s
operations over time/1 worker, 90% reads:
8.36 M/s
operations over time/2 workers, 10% reads:
4.13 M/s
operations over time/2 workers, 50% reads:
6.31 M/s
operations over time/2 workers, 90% reads:
7.69 M/s
operations over time/4 workers, 10% reads:
4.56 M/s
operations over time/4 workers, 50% reads:
5.88 M/s
operations over time/4 workers, 90% reads:
9.96 M/s
time per operation/1 worker, 10% reads:
253.69 ns
time per operation/1 worker, 50% reads:
163.67 ns
time per operation/1 worker, 90% reads:
119.58 ns
time per operation/2 workers, 10% reads:
484.56 ns
time per operation/2 workers, 50% reads:
316.75 ns
time per operation/2 workers, 90% reads:
260.04 ns
time per operation/4 workers, 10% reads:
877.92 ns
time per operation/4 workers, 50% reads:
680.72 ns
time per operation/4 workers, 90% reads:
401.48 ns
Saturn Queue:
messages over time/1 nb adder, 1 nb taker:
23.77 M/s
messages over time/1 nb adder, 2 nb takers:
17.43 M/s
messages over time/2 nb adders, 1 nb taker:
20.56 M/s
messages over time/2 nb adders, 2 nb takers:
16.35 M/s
messages over time/one domain:
11.48 M/s
time per message/1 nb adder, 1 nb taker:
84.13 ns
time per message/1 nb adder, 2 nb takers:
172.15 ns
time per message/2 nb adders, 1 nb taker:
145.91 ns
time per message/2 nb adders, 2 nb takers:
244.58 ns
time per message/one domain:
87.11 ns
Saturn Queue_unsafe:
messages over time/1 nb adder, 1 nb taker:
21.42 M/s
messages over time/1 nb adder, 2 nb takers:
18.05 M/s
messages over time/2 nb adders, 1 nb taker:
20.78 M/s
messages over time/2 nb adders, 2 nb takers:
12.97 M/s
messages over time/one domain:
12.62 M/s
time per message/1 nb adder, 1 nb taker:
93.39 ns
time per message/1 nb adder, 2 nb takers:
166.16 ns
time per message/2 nb adders, 1 nb taker:
144.34 ns
time per message/2 nb adders, 2 nb takers:
308.41 ns
time per message/one domain:
79.22 ns
Saturn Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
0.06 M/s
messages over time/2 workers, capacity 1 (unsafe):
0.07 M/s
messages over time/2 workers, capacity 32768:
19.06 M/s
messages over time/2 workers, capacity 32768 (unsafe):
29.86 M/s
messages over time/2 workers, capacity 4096:
18.05 M/s
messages over time/2 workers, capacity 4096 (unsafe):
20.55 M/s
messages over time/2 workers, capacity 512:
12.46 M/s
messages over time/2 workers, capacity 512 (unsafe):
12.29 M/s
messages over time/2 workers, capacity 64:
4.16 M/s
messages over time/2 workers, capacity 64 (unsafe):
3.53 M/s
messages over time/2 workers, capacity 8:
0.53 M/s
messages over time/2 workers, capacity 8 (unsafe):
0.52 M/s
time per message/2 workers, capacity 1:
31750.86 ns
time per message/2 workers, capacity 1 (unsafe):
29492.24 ns
time per message/2 workers, capacity 32768:
104.91 ns
time per message/2 workers, capacity 32768 (unsafe):
66.98 ns
time per message/2 workers, capacity 4096:
110.81 ns
time per message/2 workers, capacity 4096 (unsafe):
97.31 ns
time per message/2 workers, capacity 512:
160.48 ns
time per message/2 workers, capacity 512 (unsafe):
162.68 ns
time per message/2 workers, capacity 64:
480.21 ns
time per message/2 workers, capacity 64 (unsafe):
566.05 ns
time per message/2 workers, capacity 8:
3777.47 ns
time per message/2 workers, capacity 8 (unsafe):
3875.27 ns
Saturn Size:
operations over time/1 worker:
25.68 M/s
operations over time/2 workers:
25.09 M/s
operations over time/4 workers:
25.62 M/s
time per operation/1 worker:
38.93 ns
time per operation/2 workers:
79.71 ns
time per operation/4 workers:
156.13 ns
Saturn Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.90 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
1.08 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
1.75 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
0.87 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
1.17 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
1.76 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
0.78 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
1.02 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
1.51 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
1115.12 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
923.55 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
572.80 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
2286.26 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
1710.68 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
1136.27 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
5103.14 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
3924.59 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
2645.61 ns
Saturn Stack:
messages over time/1 adder, 1 taker:
54.23 M/s
messages over time/1 adder, 2 takers:
44.67 M/s
messages over time/2 adders, 1 taker:
34.70 M/s
messages over time/2 adders, 2 takers:
30.53 M/s
messages over time/one domain:
16.88 M/s
time per message/1 adder, 1 taker:
36.88 ns
time per message/1 adder, 2 takers:
67.16 ns
time per message/2 adders, 1 taker:
86.46 ns
time per message/2 adders, 2 takers:
131.03 ns
time per message/one domain:
59.26 ns
Saturn Work_stealing_deque:
messages over time/1 adder, 1 taker:
20.50 M/s
messages over time/1 adder, 2 takers:
18.31 M/s
messages over time/1 adder, 4 takers:
17.39 M/s
messages over time/one domain (FIFO):
16.47 M/s
messages over time/one domain (LIFO):
18.24 M/s
spawns over time/1 worker:
12.83 M/s
spawns over time/2 workers:
12.62 M/s
spawns over time/4 workers:
12.31 M/s
spawns over time/8 workers:
12.20 M/s
time per message/1 adder, 1 taker:
97.55 ns
time per message/1 adder, 2 takers:
163.82 ns
time per message/1 adder, 4 takers:
287.46 ns
time per message/one domain (FIFO):
60.72 ns
time per message/one domain (LIFO):
54.83 ns
time per spawn/1 worker:
77.94 ns
time per spawn/2 workers:
158.46 ns
time per spawn/4 workers:
324.82 ns
time per spawn/8 workers:
655.95 ns
(cd _build/default/test/ws_deque && ./test_ws_deque.exe)
test_exit: ok
test_push_and_pop: ok
test_push_and_steal: ok
test_concurrent_workload: ok (pushed = 100000, popped = 100000, stolen = 0)
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 53358057640110908
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 32 1.1s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 32 1.6s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 32 1.9s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 32 2.3s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 2.5s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 32 2.7s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 32 2.9s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 3.1s Saturn.Treiber_stack concurrent
[ ] 9 0 0 9 / 32 3.3s Saturn.Treiber_stack concurrent
[ ] 11 0 0 11 / 32 4.2s Saturn.Treiber_stack concurrent
[ ] 12 0 0 12 / 32 4.4s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 32 4.7s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 32 4.8s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 32 5.2s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 32 5.6s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 32 5.9s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 32 6.0s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 32 6.2s Saturn.Treiber_stack concurrent
[ ] 22 0 0 22 / 32 6.7s Saturn.Treiber_stack concurrent
[ ] 24 0 0 24 / 32 6.9s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 32 7.0s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 32 7.2s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 32 7.3s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 32 7.5s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 32 7.6s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 32 7.9s Saturn.Treiber_stack concurrent
[ ] 32 0 0 32 / 32 8.1s Saturn.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 8.1s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 580506360828550606
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Treiber_stack sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 64 0.2s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 64 0.3s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 64 0.6s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 64 0.8s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 64 1.0s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 64 1.1s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 64 1.2s Saturn.Treiber_stack concurrent
[ ] 9 0 0 9 / 64 1.6s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 64 1.7s Saturn.Treiber_stack concurrent
[ ] 11 0 0 11 / 64 2.0s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 64 2.2s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 64 2.4s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 64 2.9s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 64 3.1s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 64 6.7s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 64 6.9s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 64 7.1s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 64 7.2s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 64 7.4s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 64 7.9s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 64 8.0s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 64 8.2s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 64 8.6s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 64 8.8s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 64 9.0s Saturn.Treiber_stack concurrent
[ ] 33 0 0 33 / 64 9.4s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 64 9.7s Saturn.Treiber_stack concurrent
[ ] 37 0 0 37 / 64 9.8s Saturn.Treiber_stack concurrent
[ ] 38 0 0 38 / 64 10.0s Saturn.Treiber_stack concurrent
[ ] 39 0 0 39 / 64 10.2s Saturn.Treiber_stack concurrent
[ ] 40 0 0 40 / 64 10.4s Saturn.Treiber_stack concurrent
[ ] 41 0 0 41 / 64 10.6s Saturn.Treiber_stack concurrent
[ ] 42 0 0 42 / 64 10.8s Saturn.Treiber_stack concurrent
[ ] 43 0 0 43 / 64 10.9s Saturn.Treiber_stack concurrent
[ ] 45 0 0 45 / 64 11.1s Saturn.Treiber_stack concurrent
[ ] 47 0 0 47 / 64 11.4s Saturn.Treiber_stack concurrent
[ ] 50 0 0 50 / 64 11.6s Saturn.Treiber_stack concurrent
[ ] 51 0 0 51 / 64 12.0s Saturn.Treiber_stack concurrent
[ ] 52 0 0 52 / 64 12.4s Saturn.Treiber_stack concurrent
[ ] 53 0 0 53 / 64 12.5s Saturn.Treiber_stack concurrent
[ ] 54 0 0 54 / 64 13.0s Saturn.Treiber_stack concurrent
[ ] 55 0 0 55 / 64 14.1s Saturn.Treiber_stack concurrent
[ ] 56 0 0 56 / 64 15.6s Saturn.Treiber_stack concurrent
[ ] 57 0 0 57 / 64 16.4s Saturn.Treiber_stack concurrent
[ ] 58 0 0 58 / 64 17.0s Saturn.Treiber_stack concurrent
[ ] 59 0 0 59 / 64 17.2s Saturn.Treiber_stack concurrent
[ ] 60 0 0 60 / 64 17.4s Saturn.Treiber_stack concurrent
[ ] 62 0 0 62 / 64 17.9s Saturn.Treiber_stack concurrent
[ ] 63 0 0 63 / 64 18.2s Saturn.Treiber_stack concurrent
[✓] 64 0 0 64 / 64 18.2s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2613536712436981840
generated error fail pass / total time test name
[ ] 0 0 0 0 / 123 0.0s Saturn.Treiber_stack sequential
[✓] 123 0 0 123 / 123 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 123 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 123 0.3s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 123 0.6s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 123 0.7s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 123 0.8s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 123 1.1s Saturn.Treiber_stack concurrent
[ ] 9 0 0 9 / 123 2.6s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 123 4.3s Saturn.Treiber_stack concurrent
[ ] 11 0 0 11 / 123 5.1s Saturn.Treiber_stack concurrent
[ ] 12 0 0 12 / 123 6.0s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 123 6.2s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 123 6.7s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 123 7.7s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 123 8.4s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 123 9.2s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 123 9.9s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 123 12.1s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 123 12.5s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 123 13.3s Saturn.Treiber_stack concurrent
[ ] 22 0 0 22 / 123 14.0s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 123 14.7s Saturn.Treiber_stack concurrent
[ ] 24 0 0 24 / 123 15.3s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 123 16.4s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 123 17.0s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 123 17.7s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 123 18.4s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 123 19.3s Saturn.Treiber_stack concurrent
[ ] 30 0 0 30 / 123 20.4s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 123 21.3s Saturn.Treiber_stack concurrent
[ ] 32 0 0 32 / 123 22.0s Saturn.Treiber_stack concurrent
[ ] 33 0 0 33 / 123 22.8s Saturn.Treiber_stack concurrent
[ ] 34 0 0 34 / 123 23.8s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 123 24.2s Saturn.Treiber_stack concurrent
[ ] 36 0 0 36 / 123 25.1s Saturn.Treiber_stack concurrent
[ ] 37 0 0 37 / 123 25.5s Saturn.Treiber_stack concurrent
[ ] 38 0 0 38 / 123 26.2s Saturn.Treiber_stack concurrent
[ ] 39 0 0 39 / 123 26.7s Saturn.Treiber_stack concurrent
[ ] 40 0 0 40 / 123 27.7s Saturn.Treiber_stack concurrent
[ ] 41 0 0 41 / 123 28.9s Saturn.Treiber_stack concurrent
[ ] 42 0 0 42 / 123 30.2s Saturn.Treiber_stack concurrent
[ ] 43 0 0 43 / 123 31.4s Saturn.Treiber_stack concurrent
[ ] 44 0 0 44 / 123 31.9s Saturn.Treiber_stack concurrent
[ ] 45 0 0 45 / 123 32.5s Saturn.Treiber_stack concurrent
[ ] 46 0 0 46 / 123 33.0s Saturn.Treiber_stack concurrent
[ ] 47 0 0 47 / 123 33.7s Saturn.Treiber_stack concurrent
[ ] 48 0 0 48 / 123 34.2s Saturn.Treiber_stack concurrent
[ ] 49 0 0 49 / 123 34.5s Saturn.Treiber_stack concurrent
[ ] 50 0 0 50 / 123 34.6s Saturn.Treiber_stack concurrent
[ ] 51 0 0 51 / 123 35.0s Saturn.Treiber_stack concurrent
[ ] 52 0 0 52 / 123 35.7s Saturn.Treiber_stack concurrent
[ ] 53 0 0 53 / 123 36.3s Saturn.Treiber_stack concurrent
[ ] 54 0 0 54 / 123 37.4s Saturn.Treiber_stack concurrent
[ ] 55 0 0 55 / 123 37.9s Saturn.Treiber_stack concurrent
[ ] 56 0 0 56 / 123 38.4s Saturn.Treiber_stack concurrent
[ ] 57 0 0 57 / 123 38.8s Saturn.Treiber_stack concurrent
[ ] 58 0 0 58 / 123 39.0s Saturn.Treiber_stack concurrent
[ ] 59 0 0 59 / 123 39.3s Saturn.Treiber_stack concurrent
[ ] 60 0 0 60 / 123 39.5s Saturn.Treiber_stack concurrent
[ ] 61 0 0 61 / 123 42.3s Saturn.Treiber_stack concurrent
[ ] 62 0 0 62 / 123 42.6s Saturn.Treiber_stack concurrent
[ ] 63 0 0 63 / 123 43.0s Saturn.Treiber_stack concurrent
[ ] 64 0 0 64 / 123 44.0s Saturn.Treiber_stack concurrent
[ ] 65 0 0 65 / 123 44.2s Saturn.Treiber_stack concurrent
[ ] 66 0 0 66 / 123 44.4s Saturn.Treiber_stack concurrent
[ ] 67 0 0 67 / 123 45.3s Saturn.Treiber_stack concurrent
[ ] 68 0 0 68 / 123 45.5s Saturn.Treiber_stack concurrent
[ ] 69 0 0 69 / 123 46.2s Saturn.Treiber_stack concurrent
[ ] 70 0 0 70 / 123 46.7s Saturn.Treiber_stack concurrent
[ ] 71 0 0 71 / 123 47.0s Saturn.Treiber_stack concurrent
[ ] 72 0 0 72 / 123 47.4s Saturn.Treiber_stack concurrent
[ ] 73 0 0 73 / 123 48.9s Saturn.Treiber_stack concurrent
[ ] 74 0 0 74 / 123 49.1s Saturn.Treiber_stack concurrent
[ ] 75 0 0 75 / 123 49.6s Saturn.Treiber_stack concurrent
[ ] 76 0 0 76 / 123 49.9s Saturn.Treiber_stack concurrent
[ ] 77 0 0 77 / 123 50.1s Saturn.Treiber_stack concurrent
[ ] 78 0 0 78 / 123 50.3s Saturn.Treiber_stack concurrent
[ ] 79 0 0 79 / 123 50.5s Saturn.Treiber_stack concurrent
[ ] 80 0 0 80 / 123 50.8s Saturn.Treiber_stack concurrent
[ ] 81 0 0 81 / 123 51.0s Saturn.Treiber_stack concurrent
[ ] 82 0 0 82 / 123 51.4s Saturn.Treiber_stack concurrent
[ ] 83 0 0 83 / 123 51.8s Saturn.Treiber_stack concurrent
[ ] 84 0 0 84 / 123 52.3s Saturn.Treiber_stack concurrent
[ ] 85 0 0 85 / 123 52.6s Saturn.Treiber_stack concurrent
[ ] 86 0 0 86 / 123 52.9s Saturn.Treiber_stack concurrent
[ ] 87 0 0 87 / 123 53.3s Saturn.Treiber_stack concurrent
[ ] 88 0 0 88 / 123 53.9s Saturn.Treiber_stack concurrent
[ ] 89 0 0 89 / 123 54.0s Saturn.Treiber_stack concurrent
[ ] 90 0 0 90 / 123 54.5s Saturn.Treiber_stack concurrent
[ ] 91 0 0 91 / 123 55.0s Saturn.Treiber_stack concurrent
[ ] 92 0 0 92 / 123 55.2s Saturn.Treiber_stack concurrent
[ ] 93 0 0 93 / 123 55.7s Saturn.Treiber_stack concurrent
[ ] 94 0 0 94 / 123 55.9s Saturn.Treiber_stack concurrent
[ ] 95 0 0 95 / 123 56.5s Saturn.Treiber_stack concurrent
[ ] 96 0 0 96 / 123 57.1s Saturn.Treiber_stack concurrent
[ ] 98 0 0 98 / 123 57.4s Saturn.Treiber_stack concurrent
[ ] 100 0 0 100 / 123 57.9s Saturn.Treiber_stack concurrent
[ ] 101 0 0 101 / 123 58.9s Saturn.Treiber_stack concurrent
[ ] 102 0 0 102 / 123 59.2s Saturn.Treiber_stack concurrent
[ ] 103 0 0 103 / 123 59.7s Saturn.Treiber_stack concurrent
[ ] 104 0 0 104 / 123 60.0s Saturn.Treiber_stack concurrent
[ ] 106 0 0 106 / 123 60.7s Saturn.Treiber_stack concurrent
[ ] 107 0 0 107 / 123 60.9s Saturn.Treiber_stack concurrent
[ ] 109 0 0 109 / 123 61.0s Saturn.Treiber_stack concurrent
[ ] 110 0 0 110 / 123 61.2s Saturn.Treiber_stack concurrent
[ ] 111 0 0 111 / 123 61.5s Saturn.Treiber_stack concurrent
[ ] 112 0 0 112 / 123 61.8s Saturn.Treiber_stack concurrent
[ ] 113 0 0 113 / 123 61.9s Saturn.Treiber_stack concurrent
[ ] 114 0 0 114 / 123 62.1s Saturn.Treiber_stack concurrent
[ ] 115 0 0 115 / 123 62.3s Saturn.Treiber_stack concurrent
[ ] 116 0 0 116 / 123 62.5s Saturn.Treiber_stack concurrent
[ ] 117 0 0 117 / 123 63.2s Saturn.Treiber_stack concurrent
[ ] 118 0 0 118 / 123 64.0s Saturn.Treiber_stack concurrent
[ ] 119 0 0 119 / 123 64.5s Saturn.Treiber_stack concurrent
[ ] 120 0 0 120 / 123 64.8s Saturn.Treiber_stack concurrent
[ ] 121 0 0 121 / 123 65.2s Saturn.Treiber_stack concurrent
[ ] 122 0 0 122 / 123 65.7s Saturn.Treiber_stack concurrent
[ ] 123 0 0 123 / 123 65.9s Saturn.Treiber_stack concurrent
[✓] 123 0 0 123 / 123 65.9s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/htbl && ./stm_htbl.exe)
random seed: 4028138035065673195
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 1 0 0 1 / 32 1.7s Htbl concurrent
[ ] 2 0 0 2 / 32 1.9s Htbl concurrent
[ ] 3 0 0 3 / 32 2.2s Htbl concurrent
[ ] 4 0 0 4 / 32 2.5s Htbl concurrent
[ ] 5 0 0 5 / 32 2.8s Htbl concurrent
[ ] 6 0 0 6 / 32 2.9s Htbl concurrent
[ ] 7 0 0 7 / 32 3.1s Htbl concurrent
[ ] 9 0 0 9 / 32 3.3s Htbl concurrent
[ ] 10 0 0 10 / 32 3.5s Htbl concurrent
[ ] 12 0 0 12 / 32 3.7s Htbl concurrent
[ ] 13 0 0 13 / 32 3.9s Htbl concurrent
[ ] 14 0 0 14 / 32 4.2s Htbl concurrent
[ ] 15 0 0 15 / 32 4.7s Htbl concurrent
[ ] 16 0 0 16 / 32 5.1s Htbl concurrent
[ ] 17 0 0 17 / 32 5.5s Htbl concurrent
[ ] 18 0 0 18 / 32 5.8s Htbl concurrent
[ ] 19 0 0 19 / 32 6.1s Htbl concurrent
[ ] 20 0 0 20 / 32 6.2s Htbl concurrent
[ ] 22 0 0 22 / 32 6.4s Htbl concurrent
[ ] 24 0 0 24 / 32 6.7s Htbl concurrent
[ ] 25 0 0 25 / 32 7.0s Htbl concurrent
[ ] 27 0 0 27 / 32 7.2s Htbl concurrent
[ ] 29 0 0 29 / 32 7.3s Htbl concurrent
[ ] 31 0 0 31 / 32 7.7s Htbl concurrent
[ ] 32 0 0 32 / 32 7.8s Htbl concurrent
[✓] 32 0 0 32 / 32 7.8s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1973075887249774072
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Htbl sequential
[✓] 64 0 0 64 / 64 0.0s Htbl sequential
[ ] 0 0 0 0 / 64 0.0s Htbl concurrent
[ ] 1 0 0 1 / 64 0.7s Htbl concurrent
[ ] 2 0 0 2 / 64 0.8s Htbl concurrent
[ ] 3 0 0 3 / 64 1.0s Htbl concurrent
[ ] 4 0 0 4 / 64 1.4s Htbl concurrent
[ ] 5 0 0 5 / 64 1.6s Htbl concurrent
[ ] 6 0 0 6 / 64 1.7s Htbl concurrent
[ ] 7 0 0 7 / 64 2.0s Htbl concurrent
[ ] 8 0 0 8 / 64 2.1s Htbl concurrent
[ ] 9 0 0 9 / 64 2.3s Htbl concurrent
[ ] 11 0 0 11 / 64 2.4s Htbl concurrent
[ ] 12 0 0 12 / 64 2.6s Htbl concurrent
[ ] 14 0 0 14 / 64 2.8s Htbl concurrent
[ ] 15 0 0 15 / 64 3.0s Htbl concurrent
[ ] 16 0 0 16 / 64 3.4s Htbl concurrent
[ ] 17 0 0 17 / 64 3.6s Htbl concurrent
[ ] 18 0 0 18 / 64 4.6s Htbl concurrent
[ ] 19 0 0 19 / 64 4.8s Htbl concurrent
[ ] 20 0 0 20 / 64 4.9s Htbl concurrent
[ ] 22 0 0 22 / 64 5.0s Htbl concurrent
[ ] 23 0 0 23 / 64 5.2s Htbl concurrent
[ ] 24 0 0 24 / 64 5.3s Htbl concurrent
[ ] 25 0 0 25 / 64 5.4s Htbl concurrent
[ ] 26 0 0 26 / 64 5.5s Htbl concurrent
[ ] 27 0 0 27 / 64 5.8s Htbl concurrent
[ ] 28 0 0 28 / 64 5.9s Htbl concurrent
[ ] 29 0 0 29 / 64 6.2s Htbl concurrent
[ ] 30 0 0 30 / 64 6.6s Htbl concurrent
[ ] 31 0 0 31 / 64 7.0s Htbl concurrent
[ ] 32 0 0 32 / 64 7.3s Htbl concurrent
[ ] 33 0 0 33 / 64 8.0s Htbl concurrent
[ ] 35 0 0 35 / 64 8.2s Htbl concurrent
[ ] 36 0 0 36 / 64 8.5s Htbl concurrent
[ ] 37 0 0 37 / 64 8.6s Htbl concurrent
[ ] 38 0 0 38 / 64 8.8s Htbl concurrent
[ ] 40 0 0 40 / 64 8.9s Htbl concurrent
[ ] 41 0 0 41 / 64 9.0s Htbl concurrent
[ ] 42 0 0 42 / 64 9.4s Htbl concurrent
[ ] 43 0 0 43 / 64 10.1s Htbl concurrent
[ ] 45 0 0 45 / 64 10.4s Htbl concurrent
[ ] 47 0 0 47 / 64 10.6s Htbl concurrent
[ ] 48 0 0 48 / 64 10.8s Htbl concurrent
[ ] 49 0 0 49 / 64 11.0s Htbl concurrent
[ ] 50 0 0 50 / 64 11.1s Htbl concurrent
[ ] 51 0 0 51 / 64 11.4s Htbl concurrent
[ ] 52 0 0 52 / 64 11.8s Htbl concurrent
[ ] 53 0 0 53 / 64 11.9s Htbl concurrent
[ ] 55 0 0 55 / 64 12.1s Htbl concurrent
[ ] 57 0 0 57 / 64 12.2s Htbl concurrent
[ ] 58 0 0 58 / 64 14.1s Htbl concurrent
[ ] 59 0 0 59 / 64 14.7s Htbl concurrent
[ ] 60 0 0 60 / 64 15.6s Htbl concurrent
[ ] 61 0 0 61 / 64 16.2s Htbl concurrent
[ ] 62 0 0 62 / 64 17.5s Htbl concurrent
[ ] 63 0 0 63 / 64 17.7s Htbl concurrent
[ ] 64 0 0 64 / 64 19.3s Htbl concurrent
[✓] 64 0 0 64 / 64 19.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 2997275149945824576
generated error fail pass / total time test name
[ ] 0 0 0 0 / 115 0.0s Htbl sequential
[✓] 115 0 0 115 / 115 0.0s Htbl sequential
[ ] 0 0 0 0 / 115 0.0s Htbl concurrent
[ ] 2 0 0 2 / 115 0.2s Htbl concurrent
[ ] 3 0 0 3 / 115 0.3s Htbl concurrent
[ ] 5 0 0 5 / 115 0.6s Htbl concurrent
[ ] 6 0 0 6 / 115 0.8s Htbl concurrent
[ ] 7 0 0 7 / 115 1.9s Htbl concurrent
[ ] 8 0 0 8 / 115 3.0s Htbl concurrent
[ ] 9 0 0 9 / 115 5.0s Htbl concurrent
[ ] 10 0 0 10 / 115 5.9s Htbl concurrent
[ ] 11 0 0 11 / 115 6.5s Htbl concurrent
[ ] 12 0 0 12 / 115 7.7s Htbl concurrent
[ ] 13 0 0 13 / 115 8.5s Htbl concurrent
[ ] 14 0 0 14 / 115 9.5s Htbl concurrent
[ ] 15 0 0 15 / 115 10.4s Htbl concurrent
[ ] 16 0 0 16 / 115 11.2s Htbl concurrent
[ ] 17 0 0 17 / 115 11.7s Htbl concurrent
[ ] 18 0 0 18 / 115 12.3s Htbl concurrent
[ ] 19 0 0 19 / 115 13.3s Htbl concurrent
[ ] 20 0 0 20 / 115 13.9s Htbl concurrent
[ ] 21 0 0 21 / 115 14.6s Htbl concurrent
[ ] 22 0 0 22 / 115 15.4s Htbl concurrent
[ ] 23 0 0 23 / 115 16.6s Htbl concurrent
[ ] 24 0 0 24 / 115 17.2s Htbl concurrent
[ ] 25 0 0 25 / 115 17.8s Htbl concurrent
[ ] 26 0 0 26 / 115 18.4s Htbl concurrent
[ ] 27 0 0 27 / 115 19.2s Htbl concurrent
[ ] 28 0 0 28 / 115 20.3s Htbl concurrent
[ ] 29 0 0 29 / 115 20.9s Htbl concurrent
[ ] 30 0 0 30 / 115 21.4s Htbl concurrent
[ ] 31 0 0 31 / 115 21.6s Htbl concurrent
[ ] 32 0 0 32 / 115 22.4s Htbl concurrent
[ ] 33 0 0 33 / 115 23.7s Htbl concurrent
[ ] 34 0 0 34 / 115 24.4s Htbl concurrent
[ ] 35 0 0 35 / 115 24.6s Htbl concurrent
[ ] 36 0 0 36 / 115 25.4s Htbl concurrent
[ ] 37 0 0 37 / 115 25.9s Htbl concurrent
[ ] 38 0 0 38 / 115 27.5s Htbl concurrent
[ ] 39 0 0 39 / 115 27.9s Htbl concurrent
[ ] 40 0 0 40 / 115 28.2s Htbl concurrent
[ ] 41 0 0 41 / 115 28.8s Htbl concurrent
[ ] 42 0 0 42 / 115 29.7s Htbl concurrent
[ ] 43 0 0 43 / 115 31.3s Htbl concurrent
[ ] 44 0 0 44 / 115 32.2s Htbl concurrent
[ ] 45 0 0 45 / 115 33.2s Htbl concurrent
[ ] 46 0 0 46 / 115 33.8s Htbl concurrent
[ ] 47 0 0 47 / 115 34.3s Htbl concurrent
[ ] 48 0 0 48 / 115 34.6s Htbl concurrent
[ ] 49 0 0 49 / 115 35.3s Htbl concurrent
[ ] 50 0 0 50 / 115 35.7s Htbl concurrent
[ ] 51 0 0 51 / 115 36.2s Htbl concurrent
[ ] 52 0 0 52 / 115 36.5s Htbl concurrent
[ ] 53 0 0 53 / 115 37.2s Htbl concurrent
[ ] 54 0 0 54 / 115 37.9s Htbl concurrent
[ ] 55 0 0 55 / 115 38.5s Htbl concurrent
[ ] 56 0 0 56 / 115 38.8s Htbl concurrent
[ ] 58 0 0 58 / 115 39.6s Htbl concurrent
[ ] 59 0 0 59 / 115 40.2s Htbl concurrent
[ ] 60 0 0 60 / 115 40.7s Htbl concurrent
[ ] 61 0 0 61 / 115 41.1s Htbl concurrent
[ ] 62 0 0 62 / 115 41.9s Htbl concurrent
[ ] 63 0 0 63 / 115 42.4s Htbl concurrent
[ ] 64 0 0 64 / 115 43.1s Htbl concurrent
[ ] 65 0 0 65 / 115 43.5s Htbl concurrent
[ ] 66 0 0 66 / 115 43.9s Htbl concurrent
[ ] 67 0 0 67 / 115 44.2s Htbl concurrent
[ ] 68 0 0 68 / 115 45.2s Htbl concurrent
[ ] 69 0 0 69 / 115 46.2s Htbl concurrent
[ ] 70 0 0 70 / 115 47.7s Htbl concurrent
[ ] 71 0 0 71 / 115 48.5s Htbl concurrent
[ ] 72 0 0 72 / 115 49.1s Htbl concurrent
[ ] 73 0 0 73 / 115 49.5s Htbl concurrent
[ ] 74 0 0 74 / 115 49.7s Htbl concurrent
[ ] 75 0 0 75 / 115 50.0s Htbl concurrent
[ ] 76 0 0 76 / 115 50.5s Htbl concurrent
[ ] 77 0 0 77 / 115 50.8s Htbl concurrent
[ ] 78 0 0 78 / 115 51.2s Htbl concurrent
[ ] 79 0 0 79 / 115 51.8s Htbl concurrent
[ ] 80 0 0 80 / 115 52.1s Htbl concurrent
[ ] 81 0 0 81 / 115 52.2s Htbl concurrent
[ ] 82 0 0 82 / 115 53.3s Htbl concurrent
[ ] 83 0 0 83 / 115 53.5s Htbl concurrent
[ ] 84 0 0 84 / 115 53.7s Htbl concurrent
[ ] 85 0 0 85 / 115 53.8s Htbl concurrent
[ ] 86 0 0 86 / 115 54.5s Htbl concurrent
[ ] 87 0 0 87 / 115 55.6s Htbl concurrent
[ ] 89 0 0 89 / 115 57.3s Htbl concurrent
[ ] 90 0 0 90 / 115 57.9s Htbl concurrent
[ ] 91 0 0 91 / 115 58.5s Htbl concurrent
[ ] 92 0 0 92 / 115 59.3s Htbl concurrent
[ ] 93 0 0 93 / 115 59.7s Htbl concurrent
[ ] 94 0 0 94 / 115 59.8s Htbl concurrent
[ ] 95 0 0 95 / 115 60.2s Htbl concurrent
[ ] 96 0 0 96 / 115 60.4s Htbl concurrent
[ ] 97 0 0 97 / 115 60.7s Htbl concurrent
[ ] 98 0 0 98 / 115 60.9s Htbl concurrent
[ ] 99 0 0 99 / 115 61.0s Htbl concurrent
[ ] 100 0 0 100 / 115 61.4s Htbl concurrent
[ ] 101 0 0 101 / 115 61.6s Htbl concurrent
[ ] 102 0 0 102 / 115 61.7s Htbl concurrent
[ ] 103 0 0 103 / 115 61.8s Htbl concurrent
[ ] 105 0 0 105 / 115 62.2s Htbl concurrent
[ ] 106 0 0 106 / 115 62.4s Htbl concurrent
[ ] 107 0 0 107 / 115 62.5s Htbl concurrent
[ ] 108 0 0 108 / 115 63.3s Htbl concurrent
[ ] 109 0 0 109 / 115 63.5s Htbl concurrent
[ ] 111 0 0 111 / 115 64.1s Htbl concurrent
[ ] 112 0 0 112 / 115 64.3s Htbl concurrent
[ ] 113 0 0 113 / 115 64.9s Htbl concurrent
[ ] 114 0 0 114 / 115 65.3s Htbl concurrent
[ ] 115 0 0 115 / 115 65.6s Htbl concurrent
[✓] 115 0 0 115 / 115 65.6s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/bounded_queue && ./stm_bounded_queue.exe)
random seed: 3581955593656438384
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue concurrent
[ ] 1 0 0 1 / 32 0.7s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 32 1.3s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 32 1.8s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 32 2.2s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 32 2.4s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 32 2.9s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 32 3.1s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 32 3.3s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 32 3.5s Saturn.Bounded_queue concurrent
[ ] 10 0 0 10 / 32 3.7s Saturn.Bounded_queue concurrent
[ ] 11 0 0 11 / 32 4.1s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 32 5.1s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 32 5.2s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 32 5.4s Saturn.Bounded_queue concurrent
[ ] 17 0 0 17 / 32 5.5s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 32 5.7s Saturn.Bounded_queue concurrent
[ ] 19 0 0 19 / 32 6.2s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 32 6.5s Saturn.Bounded_queue concurrent
[ ] 22 0 0 22 / 32 6.8s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 32 7.0s Saturn.Bounded_queue concurrent
[ ] 24 0 0 24 / 32 7.1s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 32 7.3s Saturn.Bounded_queue concurrent
[ ] 26 0 0 26 / 32 7.5s Saturn.Bounded_queue concurrent
[ ] 27 0 0 27 / 32 7.7s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 32 7.8s Saturn.Bounded_queue concurrent
[ ] 30 0 0 30 / 32 8.0s Saturn.Bounded_queue concurrent
[ ] 31 0 0 31 / 32 8.1s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 32 8.3s Saturn.Bounded_queue concurrent
[✓] 32 0 0 32 / 32 8.3s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1899122158964042106
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_queue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 64 0.3s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 64 0.4s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 64 0.6s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 64 0.9s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 64 1.1s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 64 1.6s Saturn.Bounded_queue concurrent
[ ] 10 0 0 10 / 64 1.8s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 64 2.3s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 64 2.4s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 64 3.4s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 64 3.7s Saturn.Bounded_queue concurrent
[ ] 16 0 0 16 / 64 4.2s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 64 4.8s Saturn.Bounded_queue concurrent
[ ] 19 0 0 19 / 64 4.9s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 64 5.9s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 64 6.2s Saturn.Bounded_queue concurrent
[ ] 22 0 0 22 / 64 6.4s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 64 6.7s Saturn.Bounded_queue concurrent
[ ] 24 0 0 24 / 64 6.9s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 64 7.0s Saturn.Bounded_queue concurrent
[ ] 27 0 0 27 / 64 7.2s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 64 7.3s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 64 7.5s Saturn.Bounded_queue concurrent
[ ] 31 0 0 31 / 64 7.6s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 64 7.8s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 64 7.9s Saturn.Bounded_queue concurrent
[ ] 34 0 0 34 / 64 8.1s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 64 8.2s Saturn.Bounded_queue concurrent
[ ] 36 0 0 36 / 64 8.3s Saturn.Bounded_queue concurrent
[ ] 37 0 0 37 / 64 8.4s Saturn.Bounded_queue concurrent
[ ] 38 0 0 38 / 64 8.6s Saturn.Bounded_queue concurrent
[ ] 39 0 0 39 / 64 8.7s Saturn.Bounded_queue concurrent
[ ] 40 0 0 40 / 64 8.9s Saturn.Bounded_queue concurrent
[ ] 42 0 0 42 / 64 9.0s Saturn.Bounded_queue concurrent
[ ] 44 0 0 44 / 64 9.2s Saturn.Bounded_queue concurrent
[ ] 46 0 0 46 / 64 9.3s Saturn.Bounded_queue concurrent
[ ] 48 0 0 48 / 64 9.5s Saturn.Bounded_queue concurrent
[ ] 49 0 0 49 / 64 9.6s Saturn.Bounded_queue concurrent
[ ] 50 0 0 50 / 64 9.7s Saturn.Bounded_queue concurrent
[ ] 51 0 0 51 / 64 9.8s Saturn.Bounded_queue concurrent
[ ] 52 0 0 52 / 64 10.0s Saturn.Bounded_queue concurrent
[ ] 54 0 0 54 / 64 10.3s Saturn.Bounded_queue concurrent
[ ] 55 0 0 55 / 64 10.4s Saturn.Bounded_queue concurrent
[ ] 56 0 0 56 / 64 10.6s Saturn.Bounded_queue concurrent
[ ] 58 0 0 58 / 64 10.8s Saturn.Bounded_queue concurrent
[ ] 59 0 0 59 / 64 11.0s Saturn.Bounded_queue concurrent
[ ] 60 0 0 60 / 64 11.1s Saturn.Bounded_queue concurrent
[ ] 62 0 0 62 / 64 11.3s Saturn.Bounded_queue concurrent
[ ] 63 0 0 63 / 64 11.4s Saturn.Bounded_queue concurrent
[ ] 64 0 0 64 / 64 11.7s Saturn.Bounded_queue concurrent
[✓] 64 0 0 64 / 64 11.7s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1671607640341271400
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_queue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_queue concurrent
[ ] 1 0 0 1 / 128 0.4s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 128 0.9s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 128 1.5s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 128 2.1s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 128 3.0s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 128 3.5s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 128 4.1s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 128 4.7s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 128 5.2s Saturn.Bounded_queue concurrent
[ ] 10 0 0 10 / 128 5.4s Saturn.Bounded_queue concurrent
[ ] 11 0 0 11 / 128 5.6s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 128 5.7s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 128 5.8s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 128 6.0s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 128 6.2s Saturn.Bounded_queue concurrent
[ ] 16 0 0 16 / 128 6.4s Saturn.Bounded_queue concurrent
[ ] 17 0 0 17 / 128 6.5s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 128 6.8s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 128 7.0s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 128 7.1s Saturn.Bounded_queue concurrent
[ ] 22 0 0 22 / 128 7.3s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 128 8.0s Saturn.Bounded_queue concurrent
[ ] 24 0 0 24 / 128 8.4s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 128 9.5s Saturn.Bounded_queue concurrent
[ ] 26 0 0 26 / 128 10.5s Saturn.Bounded_queue concurrent
[ ] 27 0 0 27 / 128 11.1s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 128 11.6s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 128 12.2s Saturn.Bounded_queue concurrent
[ ] 30 0 0 30 / 128 12.5s Saturn.Bounded_queue concurrent
[ ] 31 0 0 31 / 128 12.9s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 128 13.4s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 128 14.5s Saturn.Bounded_queue concurrent
[ ] 34 0 0 34 / 128 15.8s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 128 16.7s Saturn.Bounded_queue concurrent
[ ] 36 0 0 36 / 128 17.5s Saturn.Bounded_queue concurrent
[ ] 37 0 0 37 / 128 19.4s Saturn.Bounded_queue concurrent
[ ] 38 0 0 38 / 128 20.2s Saturn.Bounded_queue concurrent
[ ] 39 0 0 39 / 128 21.2s Saturn.Bounded_queue concurrent
[ ] 40 0 0 40 / 128 22.2s Saturn.Bounded_queue concurrent
[ ] 41 0 0 41 / 128 23.1s Saturn.Bounded_queue concurrent
[ ] 42 0 0 42 / 128 23.8s Saturn.Bounded_queue concurrent
[ ] 43 0 0 43 / 128 24.2s Saturn.Bounded_queue concurrent
[ ] 44 0 0 44 / 128 24.7s Saturn.Bounded_queue concurrent
[ ] 45 0 0 45 / 128 25.8s Saturn.Bounded_queue concurrent
[ ] 46 0 0 46 / 128 26.3s Saturn.Bounded_queue concurrent
[ ] 47 0 0 47 / 128 27.4s Saturn.Bounded_queue concurrent
[ ] 48 0 0 48 / 128 27.8s Saturn.Bounded_queue concurrent
[ ] 49 0 0 49 / 128 28.2s Saturn.Bounded_queue concurrent
[ ] 50 0 0 50 / 128 29.4s Saturn.Bounded_queue concurrent
[ ] 51 0 0 51 / 128 29.8s Saturn.Bounded_queue concurrent
[ ] 52 0 0 52 / 128 31.1s Saturn.Bounded_queue concurrent
[ ] 53 0 0 53 / 128 31.8s Saturn.Bounded_queue concurrent
[ ] 54 0 0 54 / 128 32.9s Saturn.Bounded_queue concurrent
[ ] 55 0 0 55 / 128 34.2s Saturn.Bounded_queue concurrent
[ ] 56 0 0 56 / 128 35.4s Saturn.Bounded_queue concurrent
[ ] 57 0 0 57 / 128 37.2s Saturn.Bounded_queue concurrent
[ ] 58 0 0 58 / 128 37.8s Saturn.Bounded_queue concurrent
[ ] 59 0 0 59 / 128 38.9s Saturn.Bounded_queue concurrent
[ ] 60 0 0 60 / 128 39.7s Saturn.Bounded_queue concurrent
[ ] 61 0 0 61 / 128 41.1s Saturn.Bounded_queue concurrent
[ ] 62 0 0 62 / 128 42.2s Saturn.Bounded_queue concurrent
[ ] 63 0 0 63 / 128 43.4s Saturn.Bounded_queue concurrent
[ ] 64 0 0 64 / 128 45.0s Saturn.Bounded_queue concurrent
[ ] 65 0 0 65 / 128 46.2s Saturn.Bounded_queue concurrent
[ ] 66 0 0 66 / 128 47.1s Saturn.Bounded_queue concurrent
[ ] 67 0 0 67 / 128 48.4s Saturn.Bounded_queue concurrent
[ ] 68 0 0 68 / 128 49.5s Saturn.Bounded_queue concurrent
[ ] 69 0 0 69 / 128 50.4s Saturn.Bounded_queue concurrent
[ ] 70 0 0 70 / 128 50.9s Saturn.Bounded_queue concurrent
[ ] 71 0 0 71 / 128 51.6s Saturn.Bounded_queue concurrent
[ ] 72 0 0 72 / 128 52.1s Saturn.Bounded_queue concurrent
[ ] 73 0 0 73 / 128 52.8s Saturn.Bounded_queue concurrent
[ ] 74 0 0 74 / 128 53.0s Saturn.Bounded_queue concurrent
[ ] 75 0 0 75 / 128 53.7s Saturn.Bounded_queue concurrent
[ ] 76 0 0 76 / 128 54.2s Saturn.Bounded_queue concurrent
[ ] 77 0 0 77 / 128 54.8s Saturn.Bounded_queue concurrent
[ ] 78 0 0 78 / 128 55.4s Saturn.Bounded_queue concurrent
[ ] 79 0 0 79 / 128 56.1s Saturn.Bounded_queue concurrent
[ ] 80 0 0 80 / 128 56.7s Saturn.Bounded_queue concurrent
[ ] 81 0 0 81 / 128 57.1s Saturn.Bounded_queue concurrent
[ ] 82 0 0 82 / 128 57.4s Saturn.Bounded_queue concurrent
[ ] 83 0 0 83 / 128 57.7s Saturn.Bounded_queue concurrent
[ ] 84 0 0 84 / 128 58.1s Saturn.Bounded_queue concurrent
[ ] 85 0 0 85 / 128 58.3s Saturn.Bounded_queue concurrent
[ ] 86 0 0 86 / 128 58.5s Saturn.Bounded_queue concurrent
[ ] 87 0 0 87 / 128 58.7s Saturn.Bounded_queue concurrent
[ ] 88 0 0 88 / 128 58.9s Saturn.Bounded_queue concurrent
[ ] 89 0 0 89 / 128 59.1s Saturn.Bounded_queue concurrent
[ ] 91 0 0 91 / 128 59.5s Saturn.Bounded_queue concurrent
[ ] 92 0 0 92 / 128 59.9s Saturn.Bounded_queue concurrent
[ ] 93 0 0 93 / 128 60.1s Saturn.Bounded_queue concurrent
[ ] 94 0 0 94 / 128 60.4s Saturn.Bounded_queue concurrent
[ ] 96 0 0 96 / 128 61.2s Saturn.Bounded_queue concurrent
[ ] 97 0 0 97 / 128 61.4s Saturn.Bounded_queue concurrent
[ ] 98 0 0 98 / 128 61.6s Saturn.Bounded_queue concurrent
[ ] 99 0 0 99 / 128 62.1s Saturn.Bounded_queue concurrent
[ ] 100 0 0 100 / 128 62.2s Saturn.Bounded_queue concurrent
[ ] 101 0 0 101 / 128 62.4s Saturn.Bounded_queue concurrent
[ ] 102 0 0 102 / 128 62.9s Saturn.Bounded_queue concurrent
[ ] 103 0 0 103 / 128 63.4s Saturn.Bounded_queue concurrent
[ ] 104 0 0 104 / 128 63.6s Saturn.Bounded_queue concurrent
[ ] 105 0 0 105 / 128 64.1s Saturn.Bounded_queue concurrent
[ ] 106 0 0 106 / 128 64.9s Saturn.Bounded_queue concurrent
[ ] 107 0 0 107 / 128 65.3s Saturn.Bounded_queue concurrent
[ ] 108 0 0 108 / 128 65.7s Saturn.Bounded_queue concurrent
[ ] 109 0 0 109 / 128 66.0s Saturn.Bounded_queue concurrent
[ ] 110 0 0 110 / 128 66.4s Saturn.Bounded_queue concurrent
[ ] 112 0 0 112 / 128 66.9s Saturn.Bounded_queue concurrent
[ ] 113 0 0 113 / 128 67.4s Saturn.Bounded_queue concurrent
[ ] 114 0 0 114 / 128 67.5s Saturn.Bounded_queue concurrent
[ ] 115 0 0 115 / 128 67.8s Saturn.Bounded_queue concurrent
[ ] 116 0 0 116 / 128 68.2s Saturn.Bounded_queue concurrent
[ ] 117 0 0 117 / 128 68.5s Saturn.Bounded_queue concurrent
[ ] 118 0 0 118 / 128 68.8s Saturn.Bounded_queue concurrent
[ ] 119 0 0 119 / 128 68.9s Saturn.Bounded_queue concurrent
[ ] 120 0 0 120 / 128 69.4s Saturn.Bounded_queue concurrent
[ ] 121 0 0 121 / 128 70.1s Saturn.Bounded_queue concurrent
[ ] 122 0 0 122 / 128 70.8s Saturn.Bounded_queue concurrent
[ ] 123 0 0 123 / 128 71.8s Saturn.Bounded_queue concurrent
[ ] 124 0 0 124 / 128 71.9s Saturn.Bounded_queue concurrent
[ ] 125 0 0 125 / 128 73.4s Saturn.Bounded_queue concurrent
[ ] 126 0 0 126 / 128 74.5s Saturn.Bounded_queue concurrent
[ ] 127 0 0 127 / 128 75.3s Saturn.Bounded_queue concurrent
[ ] 128 0 0 128 / 128 75.6s Saturn.Bounded_queue concurrent
[✓] 128 0 0 128 / 128 75.6s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 2234887978645352207
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist concurrent
[ ] 1 0 0 1 / 32 1.5s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 32 2.1s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 32 2.4s Saturn.Skiplist concurrent
[ ] 4 0 0 4 / 32 2.6s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 32 2.8s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 32 3.1s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 32 3.3s Saturn.Skiplist concurrent
[ ] 10 0 0 10 / 32 3.6s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 32 3.8s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 32 4.0s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 32 4.5s Saturn.Skiplist concurrent
[ ] 14 0 0 14 / 32 4.7s Saturn.Skiplist concurrent
[ ] 15 0 0 15 / 32 5.1s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 32 5.2s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 32 5.3s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 32 5.5s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 32 5.7s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 32 5.8s Saturn.Skiplist concurrent
[ ] 25 0 0 25 / 32 5.9s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 32 6.1s Saturn.Skiplist concurrent
[ ] 28 0 0 28 / 32 6.8s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 32 6.9s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 32 7.0s Saturn.Skiplist concurrent
[ ] 32 0 0 32 / 32 7.2s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 7.2s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 1794849852190145260
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Skiplist sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.Skiplist concurrent
[ ] 1 0 0 1 / 64 0.4s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 64 0.5s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 64 0.7s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 64 0.8s Saturn.Skiplist concurrent
[ ] 6 0 0 6 / 64 0.9s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 64 1.0s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 64 1.2s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 64 1.4s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 64 1.6s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 64 2.0s Saturn.Skiplist concurrent
[ ] 15 0 0 15 / 64 2.1s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 64 2.9s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 64 3.1s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 64 3.3s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 64 3.9s Saturn.Skiplist concurrent
[ ] 20 0 0 20 / 64 4.7s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 64 4.9s Saturn.Skiplist concurrent
[ ] 22 0 0 22 / 64 5.1s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 64 5.2s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 64 5.5s Saturn.Skiplist concurrent
[ ] 25 0 0 25 / 64 6.7s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 64 6.9s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 64 7.1s Saturn.Skiplist concurrent
[ ] 28 0 0 28 / 64 7.4s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 64 7.7s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 64 7.9s Saturn.Skiplist concurrent
[ ] 32 0 0 32 / 64 8.1s Saturn.Skiplist concurrent
[ ] 33 0 0 33 / 64 8.3s Saturn.Skiplist concurrent
[ ] 34 0 0 34 / 64 8.4s Saturn.Skiplist concurrent
[ ] 35 0 0 35 / 64 8.5s Saturn.Skiplist concurrent
[ ] 37 0 0 37 / 64 8.7s Saturn.Skiplist concurrent
[ ] 39 0 0 39 / 64 8.9s Saturn.Skiplist concurrent
[ ] 40 0 0 40 / 64 9.2s Saturn.Skiplist concurrent
[ ] 42 0 0 42 / 64 9.5s Saturn.Skiplist concurrent
[ ] 43 0 0 43 / 64 9.6s Saturn.Skiplist concurrent
[ ] 46 0 0 46 / 64 10.5s Saturn.Skiplist concurrent
[ ] 47 0 0 47 / 64 10.6s Saturn.Skiplist concurrent
[ ] 48 0 0 48 / 64 10.8s Saturn.Skiplist concurrent
[ ] 49 0 0 49 / 64 11.1s Saturn.Skiplist concurrent
[ ] 50 0 0 50 / 64 11.3s Saturn.Skiplist concurrent
[ ] 51 0 0 51 / 64 11.6s Saturn.Skiplist concurrent
[ ] 52 0 0 52 / 64 12.0s Saturn.Skiplist concurrent
[ ] 53 0 0 53 / 64 13.2s Saturn.Skiplist concurrent
[ ] 54 0 0 54 / 64 13.7s Saturn.Skiplist concurrent
[ ] 55 0 0 55 / 64 14.7s Saturn.Skiplist concurrent
[ ] 56 0 0 56 / 64 15.8s Saturn.Skiplist concurrent
[ ] 57 0 0 57 / 64 16.7s Saturn.Skiplist concurrent
[ ] 58 0 0 58 / 64 17.5s Saturn.Skiplist concurrent
[ ] 59 0 0 59 / 64 18.1s Saturn.Skiplist concurrent
[ ] 60 0 0 60 / 64 18.6s Saturn.Skiplist concurrent
[ ] 62 0 0 62 / 64 19.0s Saturn.Skiplist concurrent
[ ] 64 0 0 64 / 64 19.2s Saturn.Skiplist concurrent
[✓] 64 0 0 64 / 64 19.2s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 4475285827618747269
generated error fail pass / total time test name
[ ] 0 0 0 0 / 122 0.0s Saturn.Skiplist sequential
[✓] 122 0 0 122 / 122 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 122 0.0s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 122 0.1s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 122 0.5s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 122 0.7s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 122 0.9s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 122 1.0s Saturn.Skiplist concurrent
[ ] 10 0 0 10 / 122 1.2s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 122 1.5s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 122 1.9s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 122 4.6s Saturn.Skiplist concurrent
[ ] 14 0 0 14 / 122 5.4s Saturn.Skiplist concurrent
[ ] 15 0 0 15 / 122 5.8s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 122 6.1s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 122 6.4s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 122 6.7s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 122 7.8s Saturn.Skiplist concurrent
[ ] 20 0 0 20 / 122 9.3s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 122 10.8s Saturn.Skiplist concurrent
[ ] 22 0 0 22 / 122 12.1s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 122 13.2s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 122 14.0s Saturn.Skiplist concurrent
[ ] 25 0 0 25 / 122 15.0s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 122 16.0s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 122 17.1s Saturn.Skiplist concurrent
[ ] 280 0 28 / 122 17.3s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 122 18.0s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 122 19.1s Saturn.Skiplist concurrent
[ ] 31 0 0 31 / 122 20.0s Saturn.Skiplist concurrent
[ ] 32 0 0 32 / 122 21.1s Saturn.Skiplist concurrent
[ ] 33 0 0 33 / 122 21.5s Saturn.Skiplist concurrent
[ ] 34 0 0 34 / 122 22.4s Saturn.Skiplist concurrent
[ ] 35 0 0 35 / 122 23.7s Saturn.Skiplist concurrent
[ ] 36 0 0 36 / 122 24.5s Saturn.Skiplist concurrent
[ ] 37 0 0 37 / 122 25.7s Saturn.Skiplist concurrent
[ ] 38 0 0 38 / 122 26.8s Saturn.Skiplist concurrent
[ ] 39 0 0 39 / 122 28.1s Saturn.Skiplist concurrent
[ ] 40 0 0 40 / 122 28.9s Saturn.Skiplist concurrent
[ ] 41 0 0 41 / 122 31.7s Saturn.Skiplist concurrent
[ ] 42 0 0 42 / 122 32.3s Saturn.Skiplist concurrent
[ ] 43 0 0 43 / 122 33.0s Saturn.Skiplist concurrent
[ ] 44 0 0 44 / 122 33.8s Saturn.Skiplist concurrent
[ ] 45 0 0 45 / 122 34.7s Saturn.Skiplist concurrent
[ ] 46 0 0 46 / 122 36.0s Saturn.Skiplist concurrent
[ ] 47 0 0 47 / 122 37.2s Saturn.Skiplist concurrent
[ ] 48 0 0 48 / 122 37.9s Saturn.Skiplist concurrent
[ ] 49 0 0 49 / 122 38.8s Saturn.Skiplist concurrent
[ ] 50 0 0 50 / 122 39.5s Saturn.Skiplist concurrent
[ ] 51 0 0 51 / 122 41.7s Saturn.Skiplist concurrent
[ ] 52 0 0 52 / 122 43.1s Saturn.Skiplist concurrent
[ ] 53 0 0 53 / 122 45.0s Saturn.Skiplist concurrent
[ ] 54 0 0 54 / 122 45.6s Saturn.Skiplist concurrent
[ ] 55 0 0 55 / 122 46.3s Saturn.Skiplist concurrent
[ ] 56 0 0 56 / 122 46.6s Saturn.Skiplist concurrent
[ ] 57 0 0 57 / 122 47.0s Saturn.Skiplist concurrent
[ ] 58 0 0 58 / 122 47.6s Saturn.Skiplist concurrent
[ ] 59 0 0 59 / 122 48.3s Saturn.Skiplist concurrent
[ ] 60 0 0 60 / 122 49.1s Saturn.Skiplist concurrent
[ ] 61 0 0 61 / 122 49.5s Saturn.Skiplist concurrent
[ ] 62 0 0 62 / 122 49.8s Saturn.Skiplist concurrent
[ ] 63 0 0 63 / 122 49.9s Saturn.Skiplist concurrent
[ ] 64 0 0 64 / 122 50.2s Saturn.Skiplist concurrent
[ ] 65 0 0 65 / 122 50.5s Saturn.Skiplist concurrent
[ ] 66 0 0 66 / 122 50.7s Saturn.Skiplist concurrent
[ ] 67 0 0 67 / 122 51.4s Saturn.Skiplist concurrent
[ ] 68 0 0 68 / 122 51.9s Saturn.Skiplist concurrent
[ ] 69 0 0 69 / 122 52.1s Saturn.Skiplist concurrent
[ ] 70 0 0 70 / 122 52.3s Saturn.Skiplist concurrent
[ ] 71 0 0 71 / 122 52.5s Saturn.Skiplist concurrent
[ ] 72 0 0 72 / 122 52.6s Saturn.Skiplist concurrent
[ ] 74 0 0 74 / 122 53.4s Saturn.Skiplist concurrent
[ ] 75 0 0 75 / 122 53.6s Saturn.Skiplist concurrent
[ ] 76 0 0 76 / 122 53.8s Saturn.Skiplist concurrent
[ ] 77 0 0 77 / 122 54.4s Saturn.Skiplist concurrent
[ ] 78 0 0 78 / 122 54.8s Saturn.Skiplist concurrent
[ ] 79 0 0 79 / 122 54.9s Saturn.Skiplist concurrent
[ ] 81 0 0 81 / 122 55.2s Saturn.Skiplist concurrent
[ ] 82 0 0 82 / 122 55.5s Saturn.Skiplist concurrent
[ ] 83 0 0 83 / 122 55.6s Saturn.Skiplist concurrent
[ ] 84 0 0 84 / 122 55.9s Saturn.Skiplist concurrent
[ ] 85 0 0 85 / 122 56.4s Saturn.Skiplist concurrent
[ ] 86 0 0 86 / 122 56.6s Saturn.Skiplist concurrent
[ ] 87 0 0 87 / 122 57.0s Saturn.Skiplist concurrent
[ ] 88 0 0 88 / 122 57.4s Saturn.Skiplist concurrent
[ ] 89 0 0 89 / 122 57.6s Saturn.Skiplist concurrent
[ ] 90 0 0 90 / 122 57.9s Saturn.Skiplist concurrent
[ ] 91 0 0 91 / 122 58.6s Saturn.Skiplist concurrent
[ ] 92 0 0 92 / 122 59.2s Saturn.Skiplist concurrent
[ ] 93 0 0 93 / 122 59.4s Saturn.Skiplist concurrent
[ ] 94 0 0 94 / 122 59.8s Saturn.Skiplist concurrent
[ ] 95 0 0 95 / 122 59.9s Saturn.Skiplist concurrent
[ ] 97 0 0 97 / 122 60.1s Saturn.Skiplist concurrent
[ ] 98 0 0 98 / 122 60.2s Saturn.Skiplist concurrent
[ ] 99 0 0 99 / 122 60.6s Saturn.Skiplist concurrent
[ ] 101 0 0 101 / 122 60.8s Saturn.Skiplist concurrent
[ ] 102 0 0 102 / 122 61.1s Saturn.Skiplist concurrent
[ ] 103 0 0 103 / 122 61.7s Saturn.Skiplist concurrent
[ ] 104 0 0 104 / 122 62.0s Saturn.Skiplist concurrent
[ ] 105 0 0 105 / 122 62.3s Saturn.Skiplist concurrent
[ ] 106 0 0 106 / 122 62.6s Saturn.Skiplist concurrent
[ ] 107 0 0 107 / 122 62.7s Saturn.Skiplist concurrent
[ ] 108 0 0 108 / 122 62.9s Saturn.Skiplist concurrent
[ ] 109 0 0 109 / 122 63.3s Saturn.Skiplist concurrent
[ ] 110 0 0 110 / 122 63.6s Saturn.Skiplist concurrent
[ ] 111 0 0 111 / 122 63.9s Saturn.Skiplist concurrent
[ ] 112 0 0 112 / 122 65.6s Saturn.Skiplist concurrent
[ ] 113 0 0 113 / 122 66.3s Saturn.Skiplist concurrent
[ ] 114 0 0 114 / 122 67.4s Saturn.Skiplist concurrent
[ ] 115 0 0 115 / 122 68.0s Saturn.Skiplist concurrent
[ ] 116 0 0 116 / 122 68.7s Saturn.Skiplist concurrent
[ ] 117 0 0 117 / 122 69.3s Saturn.Skiplist concurrent
[ ] 118 0 0 118 / 122 69.4s Saturn.Skiplist concurrent
[ ] 119 0 0 119 / 122 69.6s Saturn.Skiplist concurrent
[ ] 120 0 0 120 / 122 69.7s Saturn.Skiplist concurrent
[ ] 121 0 0 121 / 122 69.9s Saturn.Skiplist concurrent
[ ] 122 0 0 122 / 122 70.1s Saturn.Skiplist concurrent
[✓] 122 0 0 122 / 122 70.1s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/bounded_stack && ./stm_bounded_stack.exe)
random seed: 1891858630311800443
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack concurrent
[ ] 1 0 0 1 / 32 1.3s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 32 1.9s Saturn.Bounded_stack concurrent
[ ] 3 0 0 3 / 32 2.4s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 32 2.6s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 32 2.7s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 32 3.0s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 32 3.8s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 32 3.9s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 32 4.2s Saturn.Bounded_stack concurrent
[ ] 10 0 0 10 / 32 4.5s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 32 4.8s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 32 5.0s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 32 5.9s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 32 6.1s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 32 6.3s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 32 6.4s Saturn.Bounded_stack concurrent
[ ] 18 0 0 18 / 32 6.6s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 32 6.8s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 32 7.0s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 32 7.1s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 32 7.3s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 32 7.5s Saturn.Bounded_stack concurrent
[ ] 26 0 0 26 / 32 7.7s Saturn.Bounded_stack concurrent
[ ] 27 0 0 27 / 32 7.8s Saturn.Bounded_stack concurrent
[ ] 28 0 0 28 / 32 8.1s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 32 8.7s Saturn.Bounded_stack concurrent
[ ] 31 0 0 31 / 32 9.3s Saturn.Bounded_stack concurrent
[✓] 32 0 0 32 / 32 9.4s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1932410966242253601
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_stack sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_stack concurrent
[ ] 1 0 0 1 / 64 0.1s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 64 0.2s Saturn.Bounded_stack concurrent
[ ] 3 0 0 3 / 64 0.3s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 64 0.6s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 64 4.7s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 64 5.1s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 64 5.4s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 64 5.7s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 64 6.0s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 64 6.3s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 64 6.4s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 64 6.6s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 64 6.7s Saturn.Bounded_stack concurrent
[ ] 16 0 0 16 / 64 7.1s Saturn.Bounded_stack concurrent
[ ] 18 0 0 18 / 64 7.3s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 64 7.4s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 64 7.5s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 64 7.7s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 64 7.8s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 64 8.0s Saturn.Bounded_stack concurrent
[ ] 25 0 0 25 / 64 8.2s Saturn.Bounded_stack concurrent
[ ] 27 0 0 27 / 64 8.4s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 64 8.5s Saturn.Bounded_stack concurrent
[ ] 31 0 0 31 / 64 8.6s Saturn.Bounded_stack concurrent
[ ] 32 0 0 32 / 64 8.9s Saturn.Bounded_stack concurrent
[ ] 34 0 0 34 / 64 9.0s Saturn.Bounded_stack concurrent
[ ] 35 0 0 35 / 64 9.2s Saturn.Bounded_stack concurrent
[ ] 37 0 0 37 / 64 9.3s Saturn.Bounded_stack concurrent
[ ] 38 0 0 38 / 64 9.6s Saturn.Bounded_stack concurrent
[ ] 39 0 0 39 / 64 10.0s Saturn.Bounded_stack concurrent
[ ] 40 0 0 40 / 64 10.1s Saturn.Bounded_stack concurrent
[ ] 41 0 0 41 / 64 10.3s Saturn.Bounded_stack concurrent
[ ] 42 0 0 42 / 64 10.6s Saturn.Bounded_stack concurrent
[ ] 44 0 0 44 / 64 10.7s Saturn.Bounded_stack concurrent
[ ] 45 0 0 45 / 64 10.9s Saturn.Bounded_stack concurrent
[ ] 46 0 0 46 / 64 11.2s Saturn.Bounded_stack concurrent
[ ] 47 0 0 47 / 64 11.3s Saturn.Bounded_stack concurrent
[ ] 48 0 0 48 / 64 11.7s Saturn.Bounded_stack concurrent
[ ] 49 0 0 49 / 64 11.9s Saturn.Bounded_stack concurrent
[ ] 50 0 0 50 / 64 12.3s Saturn.Bounded_stack concurrent
[ ] 51 0 0 51 / 64 12.9s Saturn.Bounded_stack concurrent
[ ] 52 0 0 52 / 64 13.8s Saturn.Bounded_stack concurrent
[ ] 53 0 0 53 / 64 14.3s Saturn.Bounded_stack concurrent
[ ] 54 0 0 54 / 64 14.9s Saturn.Bounded_stack concurrent
[ ] 55 0 0 55 / 64 16.0s Saturn.Bounded_stack concurrent
[ ] 56 0 0 56 / 64 16.5s Saturn.Bounded_stack concurrent
[ ] 57 0 0 57 / 64 16.9s Saturn.Bounded_stack concurrent
[ ] 58 0 0 58 / 64 17.2s Saturn.Bounded_stack concurrent
[ ] 59 0 0 59 / 64 17.4s Saturn.Bounded_stack concurrent
[ ] 60 0 0 60 / 64 17.6s Saturn.Bounded_stack concurrent
[ ] 62 0 0 62 / 64 17.8s Saturn.Bounded_stack concurrent
[ ] 64 0 0 64 / 64 18.0s Saturn.Bounded_stack concurrent
[✓] 64 0 0 64 / 64 18.0s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 4000814741459897125
generated error fail pass / total time test name
[ ] 0 0 0 0 / 114 0.0s Saturn.Bounded_stack sequential
[✓] 114 0 0 114 / 114 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 114 0.0s Saturn.Bounded_stack concurrent
[ ] 1 0 0 1 / 114 0.2s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 114 1.0s Saturn.Bounded_stack concurrent
[ ] 3 0 0 3 / 114 2.2s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 114 4.4s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 114 5.1s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 114 5.3s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 114 5.8s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 114 6.1s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 114 6.9s Saturn.Bounded_stack concurrent
[ ] 10 0 0 10 / 114 8.7s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 114 9.1s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 114 9.3s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 114 11.5s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 114 12.8s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 114 13.5s Saturn.Bounded_stack concurrent
[ ] 16 0 0 16 / 114 14.4s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 114 15.0s Saturn.Bounded_stack concurrent
[ ] 18 0 0 18 / 114 15.7s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 114 16.4s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 114 16.9s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 114 17.7s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 114 17.9s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 114 19.2s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 114 20.2s Saturn.Bounded_stack concurrent
[ ] 25 0 0 25 / 114 20.5s Saturn.Bounded_stack concurrent
[ ] 26 0 0 26 / 114 21.0s Saturn.Bounded_stack concurrent
[ ] 27 0 0 27 / 114 21.8s Saturn.Bounded_stack concurrent
[ ] 28 0 0 28 / 114 22.9s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 114 24.7s Saturn.Bounded_stack concurrent
[ ] 30 0 0 30 / 114 25.8s Saturn.Bounded_stack concurrent
[ ] 31 0 0 31 / 114 26.9s Saturn.Bounded_stack concurrent
[ ] 32 0 0 32 / 114 28.3s Saturn.Bounded_stack concurrent
[ ] 33 0 0 33 / 114 29.1s Saturn.Bounded_stack concurrent
[ ] 34 0 0 34 / 114 29.8s Saturn.Bounded_stack concurrent
[ ] 35 0 0 35 / 114 30.8s Saturn.Bounded_stack concurrent
[ ] 36 0 0 36 / 114 31.4s Saturn.Bounded_stack concurrent
[ ] 37 0 0 37 / 114 32.6s Saturn.Bounded_stack concurrent
[ ] 38 0 0 38 / 114 33.1s Saturn.Bounded_stack concurrent
[ ] 39 0 0 39 / 114 34.4s Saturn.Bounded_stack concurrent
[ ] 40 0 0 40 / 114 35.1s Saturn.Bounded_stack concurrent
[ ] 41 0 0 41 / 114 35.8s Saturn.Bounded_stack concurrent
[ ] 42 0 0 42 / 114 37.4s Saturn.Bounded_stack concurrent
[ ] 43 0 0 43 / 114 38.6s Saturn.Bounded_stack concurrent
[ ] 44 0 0 44 / 114 39.2s Saturn.Bounded_stack concurrent
[ ] 45 0 0 45 / 114 40.5s Saturn.Bounded_stack concurrent
[ ] 46 0 0 46 / 114 41.1s Saturn.Bounded_stack concurrent
[ ] 47 0 0 47 / 114 42.2s Saturn.Bounded_stack concurrent
[ ] 48 0 0 48 / 114 43.2s Saturn.Bounded_stack concurrent
[ ] 49 0 0 49 / 114 44.1s Saturn.Bounded_stack concurrent
[ ] 50 0 0 50 / 114 44.8s Saturn.Bounded_stack concurrent
[ ] 51 0 0 51 / 114 45.3s Saturn.Bounded_stack concurrent
[ ] 52 0 0 52 / 114 46.0s Saturn.Bounded_stack concurrent
[ ] 53 0 0 53 / 114 46.4s Saturn.Bounded_stack concurrent
[ ] 54 0 0 54 / 114 46.6s Saturn.Bounded_stack concurrent
[ ] 55 0 0 55 / 114 46.9s Saturn.Bounded_stack concurrent
[ ] 56 0 0 56 / 114 47.5s Saturn.Bounded_stack concurrent
[ ] 57 0 0 57 / 114 48.3s Saturn.Bounded_stack concurrent
[ ] 58 0 0 58 / 114 48.9s Saturn.Bounded_stack concurrent
[ ] 59 0 0 59 / 114 49.3s Saturn.Bounded_stack concurrent
[ ] 60 0 0 60 / 114 49.5s Saturn.Bounded_stack concurrent
[ ] 61 0 0 61 / 114 50.0s Saturn.Bounded_stack concurrent
[ ] 62 0 0 62 / 114 50.1s Saturn.Bounded_stack concurrent
[ ] 63 0 0 63 / 114 50.5s Saturn.Bounded_stack concurrent
[ ] 64 0 0 64 / 114 50.9s Saturn.Bounded_stack concurrent
[ ] 65 0 0 65 / 114 51.3s Saturn.Bounded_stack concurrent
[ ] 66 0 0 66 / 114 51.5s Saturn.Bounded_stack concurrent
[ ] 67 0 0 67 / 114 51.7s Saturn.Bounded_stack concurrent
[ ] 68 0 0 68 / 114 52.0s Saturn.Bounded_stack concurrent
[ ] 69 0 0 69 / 114 52.1s Saturn.Bounded_stack concurrent
[ ] 70 0 0 70 / 114 52.4s Saturn.Bounded_stack concurrent
[ ] 71 0 0 71 / 114 52.6s Saturn.Bounded_stack concurrent
[ ] 72 0 0 72 / 114 52.9s Saturn.Bounded_stack concurrent
[ ] 73 0 0 73 / 114 53.2s Saturn.Bounded_stack concurrent
[ ] 74 0 0 74 / 114 53.6s Saturn.Bounded_stack concurrent
[ ] 75 0 0 75 / 114 53.9s Saturn.Bounded_stack concurrent
[ ] 76 0 0 76 / 114 54.5s Saturn.Bounded_stack concurrent
[ ] 77 0 0 77 / 114 54.6s Saturn.Bounded_stack concurrent
[ ] 78 0 0 78 / 114 54.7s Saturn.Bounded_stack concurrent
[ ] 79 0 0 79 / 114 55.1s Saturn.Bounded_stack concurrent
[ ] 80 0 0 80 / 114 55.4s Saturn.Bounded_stack concurrent
[ ] 81 0 0 81 / 114 55.7s Saturn.Bounded_stack concurrent
[ ] 82 0 0 82 / 114 56.4s Saturn.Bounded_stack concurrent
[ ] 83 0 0 83 / 114 56.7s Saturn.Bounded_stack concurrent
[ ] 84 0 0 84 / 114 56.9s Saturn.Bounded_stack concurrent
[ ] 85 0 0 85 / 114 57.4s Saturn.Bounded_stack concurrent
[ ] 86 0 0 86 / 114 58.5s Saturn.Bounded_stack concurrent
[ ] 87 0 0 87 / 114 59.0s Saturn.Bounded_stack concurrent
[ ] 88 0 0 88 / 114 60.1s Saturn.Bounded_stack concurrent
[ ] 89 0 0 89 / 114 60.6s Saturn.Bounded_stack concurrent
[ ] 90 0 0 90 / 114 61.7s Saturn.Bounded_stack concurrent
[ ] 91 0 0 91 / 114 63.1s Saturn.Bounded_stack concurrent
[ ] 92 0 0 92 / 114 63.4s Saturn.Bounded_stack concurrent
[ ] 93 0 0 93 / 114 64.0s Saturn.Bounded_stack concurrent
[ ] 94 0 0 94 / 114 64.3s Saturn.Bounded_stack concurrent
[ ] 95 0 0 95 / 114 64.8s Saturn.Bounded_stack concurrent
[ ] 96 0 0 96 / 114 65.4s Saturn.Bounded_stack concurrent
[ ] 97 0 0 97 / 114 66.0s Saturn.Bounded_stack concurrent
[ ] 98 0 0 98 / 114 66.5s Saturn.Bounded_stack concurrent
[ ] 99 0 0 99 / 114 66.7s Saturn.Bounded_stack concurrent
[ ] 100 0 0 100 / 114 67.1s Saturn.Bounded_stack concurrent
[ ] 101 0 0 101 / 114 68.5s Saturn.Bounded_stack concurrent
[ ] 102 0 0 102 / 114 69.0s Saturn.Bounded_stack concurrent
[ ] 103 0 0 103 / 114 69.1s Saturn.Bounded_stack concurrent
[ ] 104 0 0 104 / 114 69.3s Saturn.Bounded_stack concurrent
[ ] 105 0 0 105 / 114 69.7s Saturn.Bounded_stack concurrent
[ ] 107 0 0 107 / 114 69.8s Saturn.Bounded_stack concurrent
[ ] 108 0 0 108 / 114 70.1s Saturn.Bounded_stack concurrent
[ ] 109 0 0 109 / 114 70.4s Saturn.Bounded_stack concurrent
[ ] 110 0 0 110 / 114 70.5s Saturn.Bounded_stack concurrent
[ ] 111 0 0 111 / 114 70.8s Saturn.Bounded_stack concurrent
[ ] 112 0 0 112 / 114 70.9s Saturn.Bounded_stack concurrent
[ ] 113 0 0 113 / 114 71.0s Saturn.Bounded_stack concurrent
[ ] 114 0 0 114 / 114 71.2s Saturn.Bounded_stack concurrent
[✓] 114 0 0 114 / 114 71.2s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 3780100639994667313
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Size concurrent
[ ] 1 0 0 1 / 32 1.3s Saturn.Size concurrent
[ ] 2 0 0 2 / 32 1.9s Saturn.Size concurrent
[ ] 3 0 0 3 / 32 2.1s Saturn.Size concurrent
[ ] 4 0 0 4 / 32 2.4s Saturn.Size concurrent
[ ] 5 0 0 5 / 32 2.8s Saturn.Size concurrent
[ ] 6 0 0 6 / 32 2.9s Saturn.Size concurrent
[ ] 7 0 0 7 / 32 3.2s Saturn.Size concurrent
[ ] 8 0 0 8 / 32 3.4s Saturn.Size concurrent
[ ] 9 0 0 9 / 32 3.7s Saturn.Size concurrent
[ ] 10 0 0 10 / 32 3.8s Saturn.Size concurrent
[ ] 12 0 0 12 / 32 4.2s Saturn.Size concurrent
[ ] 13 0 0 13 / 32 4.4s Saturn.Size concurrent
[ ] 14 0 0 14 / 32 4.8s Saturn.Size concurrent
[ ] 15 0 0 15 / 32 5.7s Saturn.Size concurrent
[ ] 16 0 0 16 / 32 5.8s Saturn.Size concurrent
[ ] 18 0 0 18 / 32 6.0s Saturn.Size concurrent
[ ] 19 0 0 19 / 32 6.4s Saturn.Size concurrent
[ ] 20 0 0 20 / 32 6.6s Saturn.Size concurrent
[ ] 21 0 0 21 / 32 7.4s Saturn.Size concurrent
[ ] 22 0 0 22 / 32 7.6s Saturn.Size concurrent
[ ] 23 0 0 23 / 32 7.7s Saturn.Size concurrent
[ ] 24 0 0 24 / 32 7.9s Saturn.Size concurrent
[ ] 25 0 0 25 / 32 8.3s Saturn.Size concurrent
[ ] 26 0 0 26 / 32 8.5s Saturn.Size concurrent
[ ] 27 0 0 27 / 32 8.7s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 9.3s Saturn.Size concurrent
[ ] 29 0 0 29 / 32 9.4s Saturn.Size concurrent
[ ] 31 0 0 31 / 32 9.7s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 9.7s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 3736193272151322528
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.Size sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.Size concurrent
[ ] 1 0 0 1 / 64 0.1s Saturn.Size concurrent
[ ] 2 0 0 2 / 64 0.3s Saturn.Size concurrent
[ ] 3 0 0 3 / 64 0.5s Saturn.Size concurrent
[ ] 5 0 0 5 / 64 0.8s Saturn.Size concurrent
[ ] 6 0 0 6 / 64 1.0s Saturn.Size concurrent
[ ] 7 0 0 7 / 64 1.2s Saturn.Size concurrent
[ ] 8 0 0 8 / 64 1.6s Saturn.Size concurrent
[ ] 9 0 0 9 / 64 2.4s Saturn.Size concurrent
[ ] 10 0 0 10 / 64 2.8s Saturn.Size concurrent
[ ] 11 0 0 11 / 64 3.7s Saturn.Size concurrent
[ ] 12 0 0 12 / 64 4.2s Saturn.Size concurrent
[ ] 13 0 0 13 / 64 4.8s Saturn.Size concurrent
[ ] 14 0 0 14 / 64 5.3s Saturn.Size concurrent
[ ] 15 0 0 15 / 64 5.4s Saturn.Size concurrent
[ ] 16 0 0 16 / 64 5.8s Saturn.Size concurrent
[ ] 17 0 0 17 / 64 6.0s Saturn.Size concurrent
[ ] 18 0 0 18 / 64 6.1s Saturn.Size concurrent
[ ] 19 0 0 19 / 64 6.7s Saturn.Size concurrent
[ ] 20 0 0 20 / 64 6.8s Saturn.Size concurrent
[ ] 22 0 0 22 / 64 7.0s Saturn.Size concurrent
[ ] 24 0 0 24 / 64 7.1s Saturn.Size concurrent
[ ] 25 0 0 25 / 64 7.3s Saturn.Size concurrent
[ ] 26 0 0 26 / 64 7.5s Saturn.Size concurrent
[ ] 27 0 0 27 / 64 7.6s Saturn.Size concurrent
[ ] 28 0 0 28 / 64 7.8s Saturn.Size concurrent
[ ] 30 0 0 30 / 64 7.9s Saturn.Size concurrent
[ ] 31 0 0 31 / 64 8.3s Saturn.Size concurrent
[ ] 33 0 0 33 / 64 8.4s Saturn.Size concurrent
[ ] 34 0 0 34 / 64 8.5s Saturn.Size concurrent
[ ] 36 0 0 36 / 64 8.8s Saturn.Size concurrent
[ ] 37 0 0 37 / 64 9.0s Saturn.Size concurrent
[ ] 38 0 0 38 / 64 9.1s Saturn.Size concurrent
[ ] 39 0 0 39 / 64 9.3s Saturn.Size concurrent
[ ] 40 0 0 40 / 64 9.5s Saturn.Size concurrent
[ ] 41 0 0 41 / 64 10.1s Saturn.Size concurrent
[ ] 42 0 0 42 / 64 10.2s Saturn.Size concurrent
[ ] 44 0 0 44 / 64 10.4s Saturn.Size concurrent
[ ] 46 0 0 46 / 64 10.6s Saturn.Size concurrent
[ ] 47 0 0 47 / 64 10.9s Saturn.Size concurrent
[ ] 48 0 0 48 / 64 11.2s Saturn.Size concurrent
[ ] 49 0 0 49 / 64 11.8s Saturn.Size concurrent
[ ] 50 0 0 50 / 64 13.9s Saturn.Size concurrent
[ ] 51 0 0 51 / 64 14.2s Saturn.Size concurrent
[ ] 52 0 0 52 / 64 14.9s Saturn.Size concurrent
[ ] 53 0 0 53 / 64 15.8s Saturn.Size concurrent
[ ] 54 0 0 54 / 64 16.2s Saturn.Size concurrent
[ ] 55 0 0 55 / 64 16.5s Saturn.Size concurrent
[ ] 56 0 0 56 / 64 16.7s Saturn.Size concurrent
[ ] 57 0 0 57 / 64 16.9s Saturn.Size concurrent
[ ] 58 0 0 58 / 64 17.4s Saturn.Size concurrent
[ ] 59 0 0 59 / 64 17.6s Saturn.Size concurrent
[ ] 61 0 0 61 / 64 17.8s Saturn.Size concurrent
[ ] 63 0 0 63 / 64 18.1s Saturn.Size concurrent
[✓] 64 0 0 64 / 64 18.1s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 1562662069116774302
generated error fail pass / total time test name
[ ] 0 0 0 0 / 110 0.0s Saturn.Size sequential
[✓] 110 0 0 110 / 110 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 110 0.0s Saturn.Size concurrent
[ ] 1 0 0 1 / 110 0.1s Saturn.Size concurrent
[ ] 2 0 0 2 / 110 0.3s Saturn.Size concurrent
[ ] 3 0 0 3 / 110 0.6s Saturn.Size concurrent
[ ] 4 0 0 4 / 110 3.5s Saturn.Size concurrent
[ ] 5 0 0 5 / 110 4.2s Saturn.Size concurrent
[ ] 6 0 0 6 / 110 4.9s Saturn.Size concurrent
[ ] 7 0 0 7 / 110 5.4s Saturn.Size concurrent
[ ] 8 0 0 8 / 110 5.8s Saturn.Size concurrent
[ ] 9 0 0 9 / 110 6.4s Saturn.Size concurrent
[ ] 10 0 0 10 / 110 7.3s Saturn.Size concurrent
[ ] 11 0 0 11 / 110 8.7s Saturn.Size concurrent
[ ] 12 0 0 12 / 110 9.7s Saturn.Size concurrent
[ ] 13 0 0 13 / 110 11.0s Saturn.Size concurrent
[ ] 14 0 0 14 / 110 12.4s Saturn.Size concurrent
[ ] 15 0 0 15 / 110 13.7s Saturn.Size concurrent
[ ] 16 0 0 16 / 110 15.9s Saturn.Size concurrent
[ ] 17 0 0 17 / 110 16.8s Saturn.Size concurrent
[ ] 18 0 0 18 / 110 17.7s Saturn.Size concurrent
[ ] 19 0 0 19 / 110 19.0s Saturn.Size concurrent
[ ] 20 0 0 20 / 110 19.2s Saturn.Size concurrent
[ ] 21 0 0 21 / 110 19.9s Saturn.Size concurrent
[ ] 22 0 0 22 / 110 20.6s Saturn.Size concurrent
[ ] 23 0 0 23 / 110 21.4s Saturn.Size concurrent
[ ] 24 0 0 24 / 110 22.8s Saturn.Size concurrent
[ ] 25 0 0 25 / 110 23.8s Saturn.Size concurrent
[ ] 26 0 0 26 / 110 24.9s Saturn.Size concurrent
[ ] 27 0 0 27 / 110 25.1s Saturn.Size concurrent
[ ] 28 0 0 28 / 110 26.1s Saturn.Size concurrent
[ ] 29 0 0 29 / 110 27.6s Saturn.Size concurrent
[ ] 30 0 0 30 / 110 28.5s Saturn.Size concurrent
[ ] 31 0 0 31 / 110 29.9s Saturn.Size concurrent
[ ] 32 0 0 32 / 110 30.4s Saturn.Size concurrent
[ ] 33 0 0 33 / 110 31.2s Saturn.Size concurrent
[ ] 34 0 0 34 / 110 32.0s Saturn.Size concurrent
[ ] 35 0 0 35 / 110 32.1s Saturn.Size concurrent
[ ] 36 0 0 36 / 110 33.5s Saturn.Size concurrent
[ ] 37 0 0 37 / 110 34.6s Saturn.Size concurrent
[ ] 38 0 0 38 / 110 35.8s Saturn.Size concurrent
[ ] 39 0 0 39 / 110 37.2s Saturn.Size concurrent
[ ] 40 0 0 40 / 110 38.3s Saturn.Size concurrent
[ ] 41 0 0 41 / 110 39.9s Saturn.Size concurrent
[ ] 42 0 0 42 / 110 40.7s Saturn.Size concurrent
[ ] 43 0 0 43 / 110 43.4s Saturn.Size concurrent
[ ] 44 0 0 44 / 110 44.3s Saturn.Size concurrent
[ ] 45 0 0 45 / 110 44.9s Saturn.Size concurrent
[ ] 46 0 0 46 / 110 45.4s Saturn.Size concurrent
[ ] 47 0 0 47 / 110 45.7s Saturn.Size concurrent
[ ] 48 0 0 48 / 110 46.0s Saturn.Size concurrent
[ ] 49 0 0 49 / 110 46.4s Saturn.Size concurrent
[ ] 50 0 0 50 / 110 46.7s Saturn.Size concurrent
[ ] 51 0 0 51 / 110 47.2s Saturn.Size concurrent
[ ] 52 0 0 52 / 110 47.9s Saturn.Size concurrent
[ ] 53 0 0 53 / 110 48.5s Saturn.Size concurrent
[ ] 54 0 0 54 / 110 48.9s Saturn.Size concurrent
[ ] 55 0 0 55 / 110 49.3s Saturn.Size concurrent
[ ] 56 0 0 56 / 110 49.6s Saturn.Size concurrent
[ ] 57 0 0 57 / 110 49.9s Saturn.Size concurrent
[ ] 58 0 0 58 / 110 50.3s Saturn.Size concurrent
[ ] 59 0 0 59 / 110 50.8s Saturn.Size concurrent
[ ] 60 0 0 60 / 110 51.2s Saturn.Size concurrent
[ ] 61 0 0 61 / 110 51.4s Saturn.Size concurrent
[ ] 62 0 0 62 / 110 51.5s Saturn.Size concurrent
[ ] 63 0 0 63 / 110 51.8s Saturn.Size concurrent
[ ] 64 0 0 64 / 110 52.0s Saturn.Size concurrent
[ ] 65 0 0 65 / 110 52.3s Saturn.Size concurrent
[ ] 66 0 0 66 / 110 52.6s Saturn.Size concurrent
[ ] 67 0 0 67 / 110 52.9s Saturn.Size concurrent
[ ] 68 0 0 68 / 110 53.1s Saturn.Size concurrent
[ ] 69 0 0 69 / 110 53.3s Saturn.Size concurrent
[ ] 70 0 0 70 / 110 54.6s Saturn.Size concurrent
[ ] 71 0 0 71 / 110 54.8s Saturn.Size concurrent
[ ] 72 0 0 72 / 110 54.9s Saturn.Size concurrent
[ ] 73 0 0 73 / 110 55.4s Saturn.Size concurrent
[ ] 74 0 0 74 / 110 55.9s Saturn.Size concurrent
[ ] 75 0 0 75 / 110 56.0s Saturn.Size concurrent
[ ] 76 0 0 76 / 110 56.4s Saturn.Size concurrent
[ ] 77 0 0 77 / 110 56.8s Saturn.Size concurrent
[ ] 78 0 0 78 / 110 57.3s Saturn.Size concurrent
[ ] 79 0 0 79 / 110 58.1s Saturn.Size concurrent
[ ] 80 0 0 80 / 110 58.6s Saturn.Size concurrent
[ ] 81 0 0 81 / 110 59.2s Saturn.Size concurrent
[ ] 82 0 0 82 / 110 60.0s Saturn.Size concurrent
[ ] 83 0 0 83 / 110 60.5s Saturn.Size concurrent
[ ] 84 0 0 84 / 110 60.9s Saturn.Size concurrent
[ ] 85 0 0 85 / 110 61.4s Saturn.Size concurrent
[ ] 86 0 0 86 / 110 62.7s Saturn.Size concurrent
[ ] 87 0 0 87 / 110 63.3s Saturn.Size concurrent
[ ] 88 0 0 88 / 110 63.5s Saturn.Size concurrent
[ ] 89 0 0 89 / 110 64.3s Saturn.Size concurrent
[ ] 90 0 0 90 / 110 64.9s Saturn.Size concurrent
[ ] 91 0 0 91 / 110 65.6s Saturn.Size concurrent
[ ] 92 0 0 92 / 110 66.7s Saturn.Size concurrent
[ ] 93 0 0 93 / 110 68.0s Saturn.Size concurrent
[ ] 94 0 0 94 / 110 68.3s Saturn.Size concurrent
[ ] 95 0 0 95 / 110 68.5s Saturn.Size concurrent
[ ] 97 0 0 97 / 110 68.8s Saturn.Size concurrent
[ ] 98 0 0 98 / 110 68.9s Saturn.Size concurrent
[ ] 100 0 0 100 / 110 69.2s Saturn.Size concurrent
[ ] 101 0 0 101 / 110 69.4s Saturn.Size concurrent
[ ] 102 0 0 102 / 110 70.4s Saturn.Size concurrent
[ ] 103 0 0 103 / 110 70.6s Saturn.Size concurrent
[ ] 104 0 0 104 / 110 70.8s Saturn.Size concurrent
[ ] 106 0 0 106 / 110 71.1s Saturn.Size concurrent
[ ] 109 0 0 109 / 110 72.3s Saturn.Size concurrent
[ ] 110 0 0 110 / 110 72.7s Saturn.Size concurrent
[✓] 110 0 0 110 / 110 72.7s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 4354332585906346895
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 1 0 0 1 / 32 1.1s Saturn.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 32 1.4s Saturn.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 32 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 32 2.1s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 32 2.5s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 2.7s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 32 2.9s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 32 3.1s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 32 3.3s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 32 3.5s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 32 3.7s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 4.0s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 32 4.1s Saturn.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 32 4.3s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 32 4.4s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 32 5.2s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 32 5.4s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 32 5.6s Saturn.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 32 5.7s Saturn.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 32 5.9s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 32 6.5s Saturn.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 32 6.6s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 32 6.7s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 32 6.9s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 32 7.1s Saturn.michael_scott_queue_safe concurrent
[ ] 31 0 0 31 / 32 7.6s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 8.1s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 8.1s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1573202958659255930
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 1 0 0 1 / 64 0.2s Saturn.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 64 0.3s Saturn.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 64 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 64 0.7s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 64 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 64 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 64 1.4s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 64 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 64 1.9s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 64 2.0s Saturn.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 64 2.5s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 64 2.6s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 64 3.0s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 64 3.7s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 64 4.4s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 64 4.8s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 64 5.0s Saturn.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 64 5.1s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 64 5.3s Saturn.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 64 5.7s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 64 6.1s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 64 6.4s Saturn.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 64 6.7s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 64 7.2s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 64 7.4s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 64 7.5s Saturn.michael_scott_queue_safe concurrent
[ ] 31 0 0 31 / 64 7.6s Saturn.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 64 8.1s Saturn.michael_scott_queue_safe concurrent
[ ] 34 0 0 34 / 64 8.4s Saturn.michael_scott_queue_safe concurrent
[ ] 35 0 0 35 / 64 8.6s Saturn.michael_scott_queue_safe concurrent
[ ] 36 0 0 36 / 64 8.9s Saturn.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 64 9.2s Saturn.michael_scott_queue_safe concurrent
[ ] 40 0 0 40 / 64 9.3s Saturn.michael_scott_queue_safe concurrent
[ ] 42 0 0 42 / 64 9.4s Saturn.michael_scott_queue_safe concurrent
[ ] 44 0 0 44 / 64 9.6s Saturn.michael_scott_queue_safe concurrent
[ ] 46 0 0 46 / 64 10.0s Saturn.michael_scott_queue_safe concurrent
[ ] 47 0 0 47 / 64 10.1s Saturn.michael_scott_queue_safe concurrent
[ ] 49 0 0 49 / 64 10.4s Saturn.michael_scott_queue_safe concurrent
[ ] 50 0 0 50 / 64 10.6s Saturn.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 64 10.9s Saturn.michael_scott_queue_safe concurrent
[ ] 53 0 0 53 / 64 11.2s Saturn.michael_scott_queue_safe concurrent
[ ] 54 0 0 54 / 64 11.3s Saturn.michael_scott_queue_safe concurrent
[ ] 56 0 0 56 / 64 11.5s Saturn.michael_scott_queue_safe concurrent
[ ] 57 0 0 57 / 64 11.7s Saturn.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 64 12.0s Saturn.michael_scott_queue_safe concurrent
[ ] 59 0 0 59 / 64 12.4s Saturn.michael_scott_queue_safe concurrent
[ ] 60 0 0 60 / 64 13.2s Saturn.michael_scott_queue_safe concurrent
[ ] 61 0 0 61 / 64 13.7s Saturn.michael_scott_queue_safe concurrent
[ ] 62 0 0 62 / 64 14.5s Saturn.michael_scott_queue_safe concurrent
[ ] 63 0 0 63 / 64 15.2s Saturn.michael_scott_queue_safe concurrent
[ ] 64 0 0 64 / 64 15.6s Saturn.michael_scott_queue_safe concurrent
[✓] 64 0 0 64 / 64 15.6s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3159994494894211540
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 1 0 0 1 / 128 0.6s Saturn.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 128 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 128 1.2s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 128 1.4s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 128 2.1s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 128 2.5s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 128 3.1s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 128 3.5s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 128 4.2s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 128 5.6s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 128 6.9s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 128 7.6s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 128 8.2s Saturn.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 128 9.9s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 128 11.0s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 128 12.0s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 128 12.8s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 128 14.1s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 128 14.8s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 128 15.4s Saturn.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 128 16.5s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 128 17.0s Saturn.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 128 17.4s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 128 18.3s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 128 19.1s Saturn.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 128 19.7s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 128 20.7s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 128 21.6s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 128 23.0s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 128 23.9s Saturn.michael_scott_queue_safe concurrent
[ ] 31 0 0 31 / 128 24.6s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 128 25.3s Saturn.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 128 26.4s Saturn.michael_scott_queue_safe concurrent
[ ] 34 0 0 34 / 128 27.2s Saturn.michael_scott_queue_safe concurrent
[ ] 35 0 0 35 / 128 28.1s Saturn.michael_scott_queue_safe concurrent
[ ] 36 0 0 36 / 128 28.7s Saturn.michael_scott_queue_safe concurrent
[ ] 37 0 0 37 / 128 29.1s Saturn.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 128 30.1s Saturn.michael_scott_queue_safe concurrent
[ ] 39 0 0 39 / 128 31.2s Saturn.michael_scott_queue_safe concurrent
[ ] 40 0 0 40 / 128 32.2s Saturn.michael_scott_queue_safe concurrent
[ ] 41 0 0 41 / 128 33.4s Saturn.michael_scott_queue_safe concurrent
[ ] 42 0 0 42 / 128 34.4s Saturn.michael_scott_queue_safe concurrent
[ ] 43 0 0 43 / 128 35.5s Saturn.michael_scott_queue_safe concurrent
[ ] 44 0 0 44 / 128 36.3s Saturn.michael_scott_queue_safe concurrent
[ ] 45 0 0 45 / 128 36.7s Saturn.michael_scott_queue_safe concurrent
[ ] 46 0 0 46 / 128 37.9s Saturn.michael_scott_queue_safe concurrent
[ ] 47 0 0 47 / 128 38.4s Saturn.michael_scott_queue_safe concurrent
[ ] 48 0 0 48 / 128 39.3s Saturn.michael_scott_queue_safe concurrent
[ ] 49 0 0 49 / 128 39.7s Saturn.michael_scott_queue_safe concurrent
[ ] 50 0 0 50 / 128 40.1s Saturn.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 128 40.7s Saturn.michael_scott_queue_safe concurrent
[ ] 52 0 0 52 / 128 41.2s Saturn.michael_scott_queue_safe concurrent
[ ] 53 0 0 53 / 128 41.7s Saturn.michael_scott_queue_safe concurrent
[ ] 54 0 0 54 / 128 42.0s Saturn.michael_scott_queue_safe concurrent
[ ] 55 0 0 55 / 128 42.2s Saturn.michael_scott_queue_safe concurrent
[ ] 56 0 0 56 / 128 43.1s Saturn.michael_scott_queue_safe concurrent
[ ] 57 0 0 57 / 128 43.5s Saturn.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 128 44.2s Saturn.michael_scott_queue_safe concurrent
[ ] 59 0 0 59 / 128 44.7s Saturn.michael_scott_queue_safe concurrent
[ ] 60 0 0 60 / 128 45.6s Saturn.michael_scott_queue_safe concurrent
[ ] 61 0 0 61 / 128 47.2s Saturn.michael_scott_queue_safe concurrent
[ ] 62 0 0 62 / 128 47.9s Saturn.michael_scott_queue_safe concurrent
[ ] 63 0 0 63 / 128 48.6s Saturn.michael_scott_queue_safe concurrent
[ ] 64 0 0 64 / 128 49.3s Saturn.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 128 49.5s Saturn.michael_scott_queue_safe concurrent
[ ] 66 0 0 66 / 128 49.8s Saturn.michael_scott_queue_safe concurrent
[ ] 67 0 0 67 / 128 50.6s Saturn.michael_scott_queue_safe concurrent
[ ] 68 0 0 68 / 128 51.2s Saturn.michael_scott_queue_safe concurrent
[ ] 69 0 0 69 / 128 51.6s Saturn.michael_scott_queue_safe concurrent
[ ] 70 0 0 70 / 128 52.0s Saturn.michael_scott_queue_safe concurrent
[ ] 71 0 0 71 / 128 52.3s Saturn.michael_scott_queue_safe concurrent
[ ] 72 0 0 72 / 128 52.4s Saturn.michael_scott_queue_safe concurrent
[ ] 73 0 0 73 / 128 53.1s Saturn.michael_scott_queue_safe concurrent
[ ] 74 0 0 74 / 128 53.4s Saturn.michael_scott_queue_safe concurrent
[ ] 75 0 0 75 / 128 53.9s Saturn.michael_scott_queue_safe concurrent
[ ] 76 0 0 76 / 128 54.5s Saturn.michael_scott_queue_safe concurrent
[ ] 77 0 0 77 / 128 54.9s Saturn.michael_scott_queue_safe concurrent
[ ] 78 0 0 78 / 128 55.0s Saturn.michael_scott_queue_safe concurrent
[ ] 79 0 0 79 / 128 55.2s Saturn.michael_scott_queue_safe concurrent
[ ] 80 0 0 80 / 128 55.5s Saturn.michael_scott_queue_safe concurrent
[ ] 81 0 0 81 / 128 56.0s Saturn.michael_scott_queue_safe concurrent
[ ] 82 0 0 82 / 128 56.2s Saturn.michael_scott_queue_safe concurrent
[ ] 83 0 0 83 / 128 56.4s Saturn.michael_scott_queue_safe concurrent
[ ] 84 0 0 84 / 128 56.7s Saturn.michael_scott_queue_safe concurrent
[ ] 85 0 0 85 / 128 57.1s Saturn.michael_scott_queue_safe concurrent
[ ] 86 0 0 86 / 128 57.5s Saturn.michael_scott_queue_safe concurrent
[ ] 87 0 0 87 / 128 57.8s Saturn.michael_scott_queue_safe concurrent
[ ] 88 0 0 88 / 128 58.2s Saturn.michael_scott_queue_safe concurrent
[ ] 89 0 0 89 / 128 58.4s Saturn.michael_scott_queue_safe concurrent
[ ] 90 0 0 90 / 128 59.5s Saturn.michael_scott_queue_safe concurrent
[ ] 92 0 0 92 / 128 59.6s Saturn.michael_scott_queue_safe concurrent
[ ] 93 0 0 93 / 128 59.9s Saturn.michael_scott_queue_safe concurrent
[ ] 94 0 0 94 / 128 60.1s Saturn.michael_scott_queue_safe concurrent
[ ] 95 0 0 95 / 128 60.4s Saturn.michael_scott_queue_safe concurrent
[ ] 96 0 0 96 / 128 61.1s Saturn.michael_scott_queue_safe concurrent
[ ] 97 0 0 97 / 128 61.4s Saturn.michael_scott_queue_safe concurrent
[ ] 98 0 0 98 / 128 61.6s Saturn.michael_scott_queue_safe concurrent
[ ] 99 0 0 99 / 128 61.7s Saturn.michael_scott_queue_safe concurrent
[ ] 100 0 0 100 / 128 62.1s Saturn.michael_scott_queue_safe concurrent
[ ] 101 0 0 101 / 128 62.3s Saturn.michael_scott_queue_safe concurrent
[ ] 102 0 0 102 / 128 63.0s Saturn.michael_scott_queue_safe concurrent
[ ] 103 0 0 103 / 128 63.3s Saturn.michael_scott_queue_safe concurrent
[ ] 104 0 0 104 / 128 63.6s Saturn.michael_scott_queue_safe concurrent
[ ] 106 0 0 106 / 128 63.8s Saturn.michael_scott_queue_safe concurrent
[ ] 108 0 0 108 / 128 64.1s Saturn.michael_scott_queue_safe concurrent
[ ] 109 0 0 109 / 128 64.5s Saturn.michael_scott_queue_safe concurrent
[ ] 110 0 0 110 / 128 64.8s Saturn.michael_scott_queue_safe concurrent
[ ] 111 0 0 111 / 128 65.0s Saturn.michael_scott_queue_safe concurrent
[ ] 112 0 0 112 / 128 65.3s Saturn.michael_scott_queue_safe concurrent
[ ] 113 0 0 113 / 128 65.8s Saturn.michael_scott_queue_safe concurrent
[ ] 114 0 0 114 / 128 66.4s Saturn.michael_scott_queue_safe concurrent
[ ] 115 0 0 115 / 128 66.9s Saturn.michael_scott_queue_safe concurrent
[ ] 116 0 0 116 / 128 67.1s Saturn.michael_scott_queue_safe concurrent
[ ] 117 0 0 117 / 128 67.3s Saturn.michael_scott_queue_safe concurrent
[ ] 118 0 0 118 / 128 67.7s Saturn.michael_scott_queue_safe concurrent
[ ] 119 0 0 119 / 128 68.2s Saturn.michael_scott_queue_safe concurrent
[ ] 120 0 0 120 / 128 68.8s Saturn.michael_scott_queue_safe concurrent
[ ] 121 0 0 121 / 128 69.0s Saturn.michael_scott_queue_safe concurrent
[ ] 122 0 0 122 / 128 69.5s Saturn.michael_scott_queue_safe concurrent
[ ] 123 0 0 123 / 128 70.0s Saturn.michael_scott_queue_safe concurrent
[ ] 124 0 0 124 / 128 70.4s Saturn.michael_scott_queue_safe concurrent
[ ] 125 0 0 125 / 128 71.1s Saturn.michael_scott_queue_safe concurrent
[ ] 126 0 0 126 / 128 71.8s Saturn.michael_scott_queue_safe concurrent
[ ] 127 0 0 127 / 128 72.1s Saturn.michael_scott_queue_safe concurrent
[✓] 128 0 0 128 / 128 72.1s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1265929319242379564
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 1 0 0 1 / 32 0.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 2 0 0 2 / 32 0.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 32 1.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 4 0 0 4 / 32 1.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 32 1.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 32 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 32 1.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 11 0 0 11 / 32 2.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 14 0 0 14 / 32 2.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 15 0 0 15 / 32 2.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 16 0 0 16 / 32 2.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 32 2.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 20 0 0 20 / 32 3.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 21 0 0 21 / 32 3.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 32 3.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 24 0 0 24 / 32 4.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 25 0 0 25 / 32 4.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 32 4.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 29 0 0 29 / 32 5.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 32 5.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 31 0 0 31 / 32 5.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 32 0 0 32 / 32 6.2s Saturn.michael_scott_queue_unsafe concurrent
[✓] 32 0 0 32 / 32 6.2s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 2909522333199193300
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 64 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 4 0 0 4 / 64 0.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 64 0.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 64 1.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 14 0 0 14 / 64 1.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 15 0 0 15 / 64 1.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 16 0 0 16 / 64 1.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 64 1.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 26 0 0 26 / 64 2.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 64 2.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 64 2.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 32 0 0 32 / 64 3.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 34 0 0 34 / 64 3.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 40 0 0 40 / 64 3.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 41 0 0 41 / 64 3.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 48 0 0 48 / 64 3.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 52 0 0 52 / 64 4.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 53 0 0 53 / 64 4.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 64 4.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 64 0 0 64 / 64 4.7s Saturn.michael_scott_queue_unsafe concurrent
[✓] 64 0 0 64 / 64 4.7s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 2571582034802837771
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 1 0 0 1 / 128 0.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 128 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 8 0 0 8 / 128 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 128 0.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 128 1.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 20 0 0 20 / 128 1.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 128 1.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 37 0 0 37 / 128 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 42 0 0 42 / 128 2.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 48 0 0 48 / 128 2.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 50 0 0 50 / 128 2.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 56 0 0 56 / 128 2.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 63 0 0 63 / 128 2.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 68 0 0 68 / 128 2.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 69 0 0 69 / 128 4.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 70 0 0 70 / 128 5.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 72 0 0 72 / 128 5.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 73 0 0 73 / 128 6.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 74 0 0 74 / 128 6.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 75 0 0 75 / 128 6.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 76 0 0 76 / 128 7.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 77 0 0 77 / 128 7.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 78 0 0 78 / 128 7.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 79 0 0 79 / 128 7.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 80 0 0 80 / 128 8.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 81 0 0 81 / 128 8.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 82 0 0 82 / 128 9.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 83 0 0 83 / 128 9.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 84 0 0 84 / 128 9.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 85 0 0 85 / 128 10.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 86 0 0 86 / 128 11.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 87 0 0 87 / 128 11.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 88 0 0 88 / 128 11.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 89 0 0 89 / 128 11.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 90 0 0 90 / 128 12.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 91 0 0 91 / 128 12.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 92 0 0 92 / 128 12.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 93 0 0 93 / 128 12.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 94 0 0 94 / 128 13.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 95 0 0 95 / 128 13.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 96 0 0 96 / 128 13.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 97 0 0 97 / 128 13.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 98 0 0 98 / 128 13.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 99 0 0 99 / 128 13.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 101 0 0 101 / 128 14.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 102 0 0 102 / 128 14.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 104 0 0 104 / 128 14.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 105 0 0 105 / 128 14.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 106 0 0 106 / 128 15.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 107 0 0 107 / 128 15.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 108 0 0 108 / 128 15.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 110 0 0 110 / 128 15.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 112 0 0 112 / 128 15.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 113 0 0 113 / 128 15.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 114 0 0 114 / 128 16.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 116 0 0 116 / 128 16.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 118 0 0 118 / 128 16.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 119 0 0 119 / 128 16.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 121 0 0 121 / 128 16.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 124 0 0 124 / 128 16.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 127 0 0 127 / 128 17.2s Saturn.michael_scott_queue_unsafe concurrent
[✓] 128 0 0 128 / 128 17.3s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 2388788043219369185
generated error fail pass / total time test name
[ ] 0 0 0 0 / 253 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 253 0 0 253 / 253 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 253 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 1 0 0 1 / 253 1.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 253 1.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 4 0 0 4 / 253 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 253 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 6 0 0 6 / 253 2.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 253 2.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 253 2.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 16 0 0 16 / 253 2.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 20 0 0 20 / 253 2.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 21 0 0 21 / 253 3.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 253 3.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 253 3.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 253 4.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 31 0 0 31 / 253 4.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 34 0 0 34 / 253 4.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 37 0 0 37 / 253 4.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 40 0 0 40 / 253 4.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 43 0 0 43 / 253 4.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 48 0 0 48 / 253 5.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 51 0 0 51 / 253 5.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 54 0 0 54 / 253 5.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 56 0 0 56 / 253 5.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 57 0 0 57 / 253 5.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 59 0 0 59 / 253 6.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 61 0 0 61 / 253 6.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 63 0 0 63 / 253 6.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 64 0 0 64 / 253 6.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 65 0 0 65 / 253 7.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 67 0 0 67 / 253 7.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 71 0 0 71 / 253 7.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 73 0 0 73 / 253 7.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 76 0 0 76 / 253 7.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 79 0 0 79 / 253 7.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 82 0 0 82 / 253 7.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 85 0 0 85 / 253 8.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 89 0 0 89 / 253 8.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 94 0 0 94 / 253 8.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 100 0 0 100 / 253 8.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 108 0 0 108 / 253 8.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 110 0 0 110 / 253 8.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 112 0 0 112 / 253 8.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 115 0 0 115 / 253 9.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 119 0 0 119 / 253 9.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 122 0 0 122 / 253 9.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 123 0 0 123 / 253 10.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 124 0 0 124 / 253 10.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 126 0 0 126 / 253 10.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 128 0 0 128 / 253 10.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 130 0 0 130 / 253 10.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 133 0 0 133 / 253 11.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 134 0 0 134 / 253 11.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 139 0 0 139 / 253 11.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 144 0 0 144 / 253 11.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 149 0 0 149 / 253 12.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 155 0 0 155 / 253 12.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 157 0 0 157 / 253 12.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 159 0 0 159 / 253 12.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 162 0 0 162 / 253 12.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 164 0 0 164 / 253 12.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 165 0 0 165 / 253 12.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 167 0 0 167 / 253 13.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 169 0 0 169 / 253 13.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 170 0 0 170 / 253 14.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 172 0 0 172 / 253 14.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 173 0 0 173 / 253 14.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 174 0 0 174 / 253 15.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 175 0 0 175 / 253 15.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 176 0 0 176 / 253 15.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 179 0 0 179 / 253 15.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 180 0 0 180 / 253 15.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 181 0 0 181 / 253 16.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 182 0 0 182 / 253 16.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 183 0 0 183 / 253 16.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 187 0 0 187 / 253 16.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 188 0 0 188 / 253 17.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 189 0 0 189 / 253 18.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 190 0 0 190 / 253 18.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 191 0 0 191 / 253 18.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 192 0 0 192 / 253 19.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 193 0 0 193 / 253 19.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 194 0 0 194 / 253 20.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 195 0 0 195 / 253 20.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 196 0 0 196 / 253 20.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 197 0 0 197 / 253 20.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 198 0 0 198 / 253 21.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 199 0 0 199 / 253 21.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 200 0 0 200 / 253 21.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 201 0 0 201 / 253 21.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 202 0 0 202 / 253 22.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 203 0 0 203 / 253 22.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 204 0 0 204 / 253 22.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 205 0 0 205 / 253 23.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 206 0 0 206 / 253 23.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 207 0 0 207 / 253 23.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 208 0 0 208 / 253 23.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 210 0 0 210 / 253 23.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 211 0 0 211 / 253 24.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 212 0 0 212 / 253 24.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 213 0 0 213 / 253 24.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 214 0 0 214 / 253 24.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 215 0 0 215 / 253 24.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 216 0 0 216 / 253 25.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 217 0 0 217 / 253 25.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 218 0 0 218 / 253 26.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 219 0 0 219 / 253 26.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 220 0 0 220 / 253 26.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 221 0 0 221 / 253 27.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 222 0 0 222 / 253 27.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 223 0 0 223 / 253 27.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 224 0 0 224 / 253 27.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 225 0 0 225 / 253 27.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 226 0 0 226 / 253 27.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 227 0 0 227 / 253 28.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 229 0 0 229 / 253 28.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 231 0 0 231 / 253 28.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 233 0 0 233 / 253 28.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 234 0 0 234 / 253 29.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 236 0 0 236 / 253 29.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 237 0 0 237 / 253 29.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 238 0 0 238 / 253 30.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 240 0 0 240 / 253 30.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 241 0 0 241 / 253 30.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 242 0 0 242 / 253 30.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 243 0 0 243 / 253 30.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 244 0 0 244 / 253 30.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 245 0 0 245 / 253 31.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 246 0 0 246 / 253 31.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 247 0 0 247 / 253 31.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 249 0 0 249 / 253 31.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 251 0 0 251 / 253 32.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 252 0 0 252 / 253 32.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 253 0 0 253 / 253 32.6s Saturn.michael_scott_queue_unsafe concurrent
[✓] 253 0 0 253 / 253 32.6s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
2024-11-29 17:30.01 ---> saved as "a3e4cc1a5adbe014ef5e659f45bcd18ebfb6a61877970adabdbde1b51f6cd620"
Job succeeded
2024-11-29 17:30.01: Job succeeded