2025-01-07 13:21.07: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/pull/181/head (4e760dfd2f5b64b17987489003e057a5fa01b1a0) (linux-x86_64:ubuntu-24.04-4.14_opam-2.3)
Base: ocaml/opam:ubuntu-24.04-ocaml-4.14@sha256:eb46fff87189d33a649cf919a7232924d86dc52e3d2c257f2ede4c429f09bbe4
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/saturn.git" && cd "saturn" && git fetch origin "refs/pull/181/head" && git reset --hard 4e760dfd
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.04-ocaml-4.14@sha256:eb46fff87189d33a649cf919a7232924d86dc52e3d2c257f2ede4c429f09bbe4
# ubuntu-24.04-4.14_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn.opam ./
RUN opam pin add -yn saturn.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 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.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.23 qcheck-alcotest.0.23 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-ounit.0.23 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y 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
2025-01-07 13:21.07: Using cache hint "ocaml-multicore/saturn-ocaml/opam:ubuntu-24.04-ocaml-4.14@sha256:eb46fff87189d33a649cf919a7232924d86dc52e3d2c257f2ede4c429f09bbe4-ubuntu-24.04-4.14_opam-2.3-d998e1dc9514b05080109b7af22c3df8"
2025-01-07 13:21.07: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.04-ocaml-4.14@sha256:eb46fff87189d33a649cf919a7232924d86dc52e3d2c257f2ede4c429f09bbe4)
(comment ubuntu-24.04-4.14_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn saturn.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 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.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.23 qcheck-alcotest.0.23 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-ounit.0.23 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y 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"))
)
2025-01-07 13:21.07: Waiting for resource in pool OCluster
2025-01-07 13:21.07: Waiting for worker…
2025-01-07 13:21.40: Got resource from pool OCluster
Building on x86-bm-c11.sw.ocaml.org
HEAD is now at 8797cea Fix size.ml doc.
HEAD is now at 4e760df Fmt issue.
(from ocaml/opam:ubuntu-24.04-ocaml-4.14@sha256:eb46fff87189d33a649cf919a7232924d86dc52e3d2c257f2ede4c429f09bbe4)
2025-01-07 13:21.41 ---> using "4418a00c58d14373a852444c5d0e27debec5b94fb8ac07713143386fbdc20625" from cache
/: (comment ubuntu-24.04-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"))
2025-01-07 13:21.41 ---> using "e66a9746f78fbc93f039786c222ce3cff56637ab2316a11b39bf54768f931125" 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 development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 255 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=255 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2025-01-07 13:21.41 ---> using "78c71b59412a925e9dc360c0a57747f82bced6855b9e2e4d7bd3801130bdc0af" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-130-generic
The OCaml toplevel, version 4.14.2
2.3.0
2025-01-07 13:21.41 ---> using "8b34569549b8e729e408e6952718ca02b59a104c07bff729e3e99e6db2ebe4d4" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2025-01-07 13:21.41 ---> using "9a29053d2f95c13d75131e22da8dbab9e5eee16e20c5cda71b617e024c0e0c6f" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 40261e81b0d4449cd32f7834e272aa9d38a28c49 || git fetch origin master) && git reset -q --hard 40261e81b0d4449cd32f7834e272aa9d38a28c49 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
de786e28db..cd5853b9a4 master -> origin/master
40261e81b0 Merge pull request #27148 from mtelvers/opam-publish-ocaml-version.3.7.2
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-01-07 13:23.14 ---> saved as "310bb63c0217ad511a30bb380c177b51c3d0a8f0ff9a4171d12202436c7e4a0d"
/src: (copy (src saturn.opam) (dst ./))
2025-01-07 13:23.14 ---> saved as "9d431c8816a682538b0f644cb0cf192d9528415d6a8e4da4854abb2505baeb61"
/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)
2025-01-07 13:23.16 ---> saved as "f5fe2a47498576b3c44178f66f79eccb0c1c7e77092fd45d7df37a425316d8e1"
/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-01-07 13:23.16 ---> saved as "f97a7b2977ca2e6348ec576454819c95d0f4f98afe81992e88a26cb28b353986"
/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.17.1 dune-configurator.3.17.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 logs.0.7.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 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.2 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.23 qcheck-alcotest.0.23 qcheck-core.0.23 qcheck-multicoretests-util.0.5 qcheck-ounit.0.23 qcheck-stm.0.5 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
/src: (env CI true)
/src: (env OCAMLCI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y saturn.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://archive.ubuntu.com/ubuntu noble InRelease
- Get:2 http://archive.ubuntu.com/ubuntu noble-updates InRelease [126 kB]
- Get:3 http://archive.ubuntu.com/ubuntu noble-backports InRelease [126 kB]
- Get:4 http://archive.ubuntu.com/ubuntu noble-updates/main amd64 Packages [974 kB]
- Get:5 http://archive.ubuntu.com/ubuntu noble-updates/universe amd64 Packages [1259 kB]
- Get:6 http://archive.ubuntu.com/ubuntu noble-updates/restricted amd64 Packages [731 kB]
- Get:7 http://security.ubuntu.com/ubuntu noble-security InRelease [126 kB]
- Get:8 http://security.ubuntu.com/ubuntu noble-security/main amd64 Packages [734 kB]
- Get:9 http://security.ubuntu.com/ubuntu noble-security/restricted amd64 Packages [715 kB]
- Get:10 http://security.ubuntu.com/ubuntu noble-security/universe amd64 Packages [1034 kB]
- Fetched 5825 kB in 1s (9415 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (file:///src)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2025-01-07 13:23.48 ---> saved as "ec9589c7e2413b6277d49e8db714af3235d38c162b6819f9ead7b1e02fdebdf2"
/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.8.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.1
- install dune-configurator 3.17.1
- install either 1.0.0
- install fmt 0.9.0
- install logs 0.7.0
- install mdx 2.5.0
- install mtime 2.1.0
- install multicore-bench 0.1.7
- install multicore-magic 2.3.0
- install multicore-magic-dscheck 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocaml-version 3.7.2
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- install oseq 0.5.1
- install ounit2 2.2.7
- install qcheck 0.23
- install qcheck-alcotest 0.23
- install qcheck-core 0.23
- install qcheck-multicoretests-util 0.5
- install qcheck-ounit 0.23
- install qcheck-stm 0.5
- install re 1.12.0
- install result 1.5
- install seq base
- install stdlib-shims 0.3.0
- install thread-table 1.0.0
- install topkg 1.0.7
- install tsort 2.1.0
- install uutf 1.0.3
- install yojson 2.2.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved backoff.0.1.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved containers.3.15 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.7 (cached)
-> retrieved mdx.2.5.0 (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.2 (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.23, qcheck-alcotest.0.23, qcheck-core.0.23, qcheck-ounit.0.23 (cached)
-> retrieved qcheck-multicoretests-util.0.5, qcheck-stm.0.5 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved dune.3.17.1, dune-configurator.3.17.1 (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.1
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.3.7.2
-> installed oseq.0.5.1
-> installed qcheck-core.0.23
-> installed re.1.12.0
-> installed result.1.5
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed yojson.2.2.2
-> installed qcheck-multicoretests-util.0.5
-> installed domain-local-await.1.0.1
-> installed qcheck-stm.0.5
-> installed multicore-bench.0.1.7
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed qcheck-alcotest.0.23
-> installed qcheck-ounit.0.23
-> installed dune-configurator.3.17.1
-> installed qcheck.0.23
-> installed mdx.2.5.0
-> 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)
2025-01-07 13:25.01 ---> saved as "75e3062aee675e1483bf97f788b9e321b1ebf8ba8bcbbff2e57fe95f8f664da2"
/src: (copy (src .) (dst /src))
2025-01-07 13:25.01 ---> saved as "f64a3496679011cc8f6f3c5553a0e40de69f93734aed3b333a2108951189a09d"
/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/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 739289119745639349
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: 4102964095877591463
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: 362005479544678616
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: 479969879552100119
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: 966294429259956490
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: 1817084542749795884
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/ws_deque && ./stm_ws_deque.exe)
random seed: 613825145924008698
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: 1560041528394856643
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: 942013113339812104
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: 1188834695881072246
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: 4252166432537559495
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: 1731072817219575649
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: 1554424100303557475
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: 2535401722853326361
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: 1001032801906802387
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: 917250677525756841
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: 2351708421113313558
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: 2285099141517655253
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: 4605200633471439157
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: 1585660474899506227
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: 3013932843316674082
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: 2686254718098744550
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: 763341607549794167
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: 442294167295877347
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/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 152956866
Testing `Treiber_stack'.
This run has ID `BIV4GPV8'.
[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 4.271s. 6 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 125263123
Testing `Mpsc_queue'.
This run has ID `EDZMDSVP'.
[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.
Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 6.196s. 19 tests run.
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 334481333
Testing `Ws_deque'.
This run has ID `W78IK286'.
[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 6.507s. 6 tests run.
(cd _build/default/test/bag && ./qcheck_bag.exe)
qcheck random seed: 172563210
Testing `QCheck Bag'.
This run has ID `ZPMGTM8F'.
[OK] test_sequential 0 sequential.
[OK] test_sequential 1 parallel.
Full test results in `/src/_build/default/test/bag/_build/_tests/QCheck Bag'.
Test Successful in 9.118s. 2 tests run.
(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/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 351406301
Testing `Michael_scott_queue'.
This run has ID `WZZGV140'.
[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 11.598s. 16 tests run.
(cd _build/default/test/bounded_queue && ./qcheck_bounded_queue.exe)
qcheck random seed: 281671476
Testing `Bounded_queue'.
This run has ID `KRX4LVXA'.
[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 11.334s. 22 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 133751187
Testing `Spsc_queues'.
This run has ID `8XG3WIKX'.
[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 11.711s. 16 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Bounded_Queue:
messages over time/1 nb adder, 1 nb taker:
15.31 M/s
messages over time/1 nb adder, 2 nb takers:
13.67 M/s
messages over time/2 nb adders, 1 nb taker:
15.48 M/s
messages over time/2 nb adders, 2 nb takers:
16.66 M/s
messages over time/one domain:
10.33 M/s
time per message/1 nb adder, 1 nb taker:
130.68 ns
time per message/1 nb adder, 2 nb takers:
219.49 ns
time per message/2 nb adders, 1 nb taker:
193.83 ns
time per message/2 nb adders, 2 nb takers:
240.04 ns
time per message/one domain:
96.79 ns
Saturn Bounded_Queue_unsafe:
messages over time/1 nb adder, 1 nb taker:
22.05 M/s
messages over time/1 nb adder, 2 nb takers:
2.78 M/s
messages over time/2 nb adders, 1 nb taker:
19.51 M/s
messages over time/2 nb adders, 2 nb takers:
18.36 M/s
messages over time/one domain:
12.91 M/s
time per message/1 nb adder, 1 nb taker:
90.69 ns
time per message/1 nb adder, 2 nb takers:
1079.40 ns
time per message/2 nb adders, 1 nb taker:
153.76 ns
time per message/2 nb adders, 2 nb takers:
217.90 ns
time per message/one domain:
77.45 ns
Saturn Bounded_Stack:
messages over time/1 adder, 1 taker:
25.74 M/s
messages over time/1 adder, 2 takers:
24.20 M/s
messages over time/2 adders, 1 taker:
30.91 M/s
messages over time/2 adders, 2 takers:
28.03 M/s
messages over time/one domain:
15.51 M/s
time per message/1 adder, 1 taker:
77.71 ns
time per message/1 adder, 2 takers:
123.95 ns
time per message/2 adders, 1 taker:
97.07 ns
time per message/2 adders, 2 takers:
142.71 ns
time per message/one domain:
64.48 ns
Saturn Htbl:
operations over time/1 worker, 10% reads:
3.50 M/s
operations over time/1 worker, 50% reads:
5.15 M/s
operations over time/1 worker, 90% reads:
7.08 M/s
operations over time/2 workers, 10% reads:
3.63 M/s
operations over time/2 workers, 50% reads:
5.10 M/s
operations over time/2 workers, 90% reads:
7.50 M/s
operations over time/4 workers, 10% reads:
4.24 M/s
operations over time/4 workers, 50% reads:
5.08 M/s
operations over time/4 workers, 90% reads:
7.25 M/s
time per operation/1 worker, 10% reads:
286.07 ns
time per operation/1 worker, 50% reads:
194.21 ns
time per operation/1 worker, 90% reads:
141.17 ns
time per operation/2 workers, 10% reads:
551.69 ns
time per operation/2 workers, 50% reads:
391.94 ns
time per operation/2 workers, 90% reads:
266.83 ns
time per operation/4 workers, 10% reads:
943.96 ns
time per operation/4 workers, 50% reads:
787.85 ns
time per operation/4 workers, 90% reads:
551.87 ns
Saturn Htbl_unsafe:
operations over time/1 worker, 10% reads:
3.88 M/s
operations over time/1 worker, 50% reads:
4.25 M/s
operations over time/1 worker, 90% reads:
6.84 M/s
operations over time/2 workers, 10% reads:
3.83 M/s
operations over time/2 workers, 50% reads:
4.25 M/s
operations over time/2 workers, 90% reads:
6.87 M/s
operations over time/4 workers, 10% reads:
4.03 M/s
operations over time/4 workers, 50% reads:
3.16 M/s
operations over time/4 workers, 90% reads:
6.87 M/s
time per operation/1 worker, 10% reads:
257.63 ns
time per operation/1 worker, 50% reads:
235.32 ns
time per operation/1 worker, 90% reads:
146.17 ns
time per operation/2 workers, 10% reads:
522.05 ns
time per operation/2 workers, 50% reads:
470.11 ns
time per operation/2 workers, 90% reads:
291.26 ns
time per operation/4 workers, 10% reads:
992.67 ns
time per operation/4 workers, 50% reads:
1267.12 ns
time per operation/4 workers, 90% reads:
582.29 ns
Saturn Queue (MS):
messages over time/1 nb adder, 1 nb taker:
18.38 M/s
messages over time/1 nb adder, 2 nb takers:
15.11 M/s
messages over time/2 nb adders, 1 nb taker:
15.00 M/s
messages over time/2 nb adders, 2 nb takers:
16.05 M/s
messages over time/one domain:
11.80 M/s
time per message/1 nb adder, 1 nb taker:
108.81 ns
time per message/1 nb adder, 2 nb takers:
198.60 ns
time per message/2 nb adders, 1 nb taker:
200.05 ns
time per message/2 nb adders, 2 nb takers:
249.27 ns
time per message/one domain:
84.75 ns
Saturn Queue_unsafe (MS):
messages over time/1 nb adder, 1 nb taker:
24.62 M/s
messages over time/1 nb adder, 2 nb takers:
20.78 M/s
messages over time/2 nb adders, 1 nb taker:
20.12 M/s
messages over time/2 nb adders, 2 nb takers:
22.30 M/s
messages over time/one domain:
15.56 M/s
time per message/1 nb adder, 1 nb taker:
81.31 ns
time per message/1 nb adder, 2 nb takers:
144.34 ns
time per message/2 nb adders, 1 nb taker:
149.10 ns
time per message/2 nb adders, 2 nb takers:
179.37 ns
time per message/one domain:
64.27 ns
Saturn Single_consumer_queue:
messages over time/1 nb adder, 1 nb taker:
31.14 M/s
messages over time/2 nb adders, 1 nb taker:
32.07 M/s
messages over time/3 nb adders, 1 nb taker:
32.56 M/s
messages over time/4 nb adders, 1 nb taker:
33.57 M/s
messages over time/one domain:
15.69 M/s
time per message/1 nb adder, 1 nb taker:
64.22 ns
time per message/2 nb adders, 1 nb taker:
93.56 ns
time per message/3 nb adders, 1 nb taker:
122.86 ns
time per message/4 nb adders, 1 nb taker:
148.94 ns
time per message/one domain:
63.72 ns
Saturn Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
0.07 M/s
messages over time/2 workers, capacity 32768:
17.92 M/s
messages over time/2 workers, capacity 4096:
17.21 M/s
messages over time/2 workers, capacity 512:
11.67 M/s
messages over time/2 workers, capacity 64:
3.24 M/s
messages over time/2 workers, capacity 8:
0.52 M/s
time per message/2 workers, capacity 1:
30687.92 ns
time per message/2 workers, capacity 32768:
111.59 ns
time per message/2 workers, capacity 4096:
116.19 ns
time per message/2 workers, capacity 512:
171.39 ns
time per message/2 workers, capacity 64:
616.69 ns
time per message/2 workers, capacity 8:
3879.13 ns
Saturn Single_prod_single_cons_queue_unsafe:
messages over time/2 workers, capacity 1:
0.06 M/s
messages over time/2 workers, capacity 32768:
34.56 M/s
messages over time/2 workers, capacity 4096:
23.03 M/s
messages over time/2 workers, capacity 512:
12.86 M/s
messages over time/2 workers, capacity 64:
3.31 M/s
messages over time/2 workers, capacity 8:
0.56 M/s
time per message/2 workers, capacity 1:
31259.63 ns
time per message/2 workers, capacity 32768:
57.87 ns
time per message/2 workers, capacity 4096:
86.83 ns
time per message/2 workers, capacity 512:
155.54 ns
time per message/2 workers, capacity 64:
603.53 ns
time per message/2 workers, capacity 8:
3566.89 ns
Saturn Size:
operations over time/1 worker:
26.02 M/s
operations over time/2 workers:
26.61 M/s
operations over time/4 workers:
25.66 M/s
time per operation/1 worker:
38.43 ns
time per operation/2 workers:
75.17 ns
time per operation/4 workers:
155.91 ns
Saturn Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.78 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
0.94 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
1.41 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
0.74 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
0.93 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
1.31 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
0.52 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
0.46 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
1.32 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
1274.57 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
1066.24 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
710.57 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
2717.26 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
2152.15 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
1525.09 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
7665.51 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
8741.48 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
3034.70 ns
Saturn Stack:
messages over time/1 adder, 1 taker:
34.61 M/s
messages over time/1 adder, 2 takers:
30.38 M/s
messages over time/2 adders, 1 taker:
37.57 M/s
messages over time/2 adders, 2 takers:
24.82 M/s
messages over time/one domain:
17.92 M/s
time per message/1 adder, 1 taker:
57.79 ns
time per message/1 adder, 2 takers:
98.73 ns
time per message/2 adders, 1 taker:
79.86 ns
time per message/2 adders, 2 takers:
161.17 ns
time per message/one domain:
55.79 ns
Saturn Work_stealing_deque:
messages over time/1 adder, 1 taker:
20.28 M/s
messages over time/1 adder, 2 takers:
16.30 M/s
messages over time/1 adder, 4 takers:
15.29 M/s
messages over time/one domain (FIFO):
16.60 M/s
messages over time/one domain (LIFO):
17.88 M/s
spawns over time/1 worker:
8.36 M/s
spawns over time/2 workers:
8.76 M/s
spawns over time/4 workers:
13.40 M/s
spawns over time/8 workers:
12.42 M/s
time per message/1 adder, 1 taker:
98.61 ns
time per message/1 adder, 2 takers:
184.03 ns
time per message/1 adder, 4 takers:
326.95 ns
time per message/one domain (FIFO):
60.22 ns
time per message/one domain (LIFO):
55.93 ns
time per spawn/1 worker:
119.65 ns
time per spawn/2 workers:
228.41 ns
time per spawn/4 workers:
298.58 ns
time per spawn/8 workers:
644.18 ns
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 35545992
Testing `QCheck Skiplist'.
This run has ID `FFEV7J2S'.
[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 29.876s. 7 tests run.
(cd _build/default/test/bag && ./stm_bag.exe)
random seed: 3778588657420484439
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 32 1.8s Saturn.Bag concurrent
[ ] 2 0 0 2 / 32 3.4s Saturn.Bag concurrent
[ ] 3 0 0 3 / 32 5.7s Saturn.Bag concurrent
[ ] 4 0 0 4 / 32 7.1s Saturn.Bag concurrent
[ ] 5 0 0 5 / 32 9.4s Saturn.Bag concurrent
[ ] 6 0 0 6 / 32 12.2s Saturn.Bag concurrent
[ ] 7 0 0 7 / 32 13.9s Saturn.Bag concurrent
[ ] 8 0 0 8 / 32 15.0s Saturn.Bag concurrent
[ ] 9 0 0 9 / 32 15.4s Saturn.Bag concurrent
[ ] 10 0 0 10 / 32 16.1s Saturn.Bag concurrent
[ ] 11 0 0 11 / 32 16.9s Saturn.Bag concurrent
[ ] 12 0 0 12 / 32 17.2s Saturn.Bag concurrent
[ ] 13 0 0 13 / 32 18.1s Saturn.Bag concurrent
[ ] 14 0 0 14 / 32 18.3s Saturn.Bag concurrent
[ ] 15 0 0 15 / 32 19.2s Saturn.Bag concurrent
[ ] 16 0 0 16 / 32 19.3s Saturn.Bag concurrent
[ ] 17 0 0 17 / 32 19.7s Saturn.Bag concurrent
[ ] 18 0 0 18 / 32 21.1s Saturn.Bag concurrent
[ ] 19 0 0 19 / 32 21.3s Saturn.Bag concurrent
[ ] 20 0 0 20 / 32 21.8s Saturn.Bag concurrent
[ ] 21 0 0 21 / 32 22.7s Saturn.Bag concurrent
[ ] 22 0 0 22 / 32 23.9s Saturn.Bag concurrent
[ ] 23 0 0 23 / 32 25.6s Saturn.Bag concurrent
[ ] 24 0 0 24 / 32 25.9s Saturn.Bag concurrent
[ ] 25 0 0 25 / 32 26.5s Saturn.Bag concurrent
[ ] 26 0 0 26 / 32 26.9s Saturn.Bag concurrent
[ ] 27 0 0 27 / 32 27.1s Saturn.Bag concurrent
[ ] 28 0 0 28 / 32 27.4s Saturn.Bag concurrent
[ ] 29 0 0 29 / 32 27.9s Saturn.Bag concurrent
[ ] 30 0 0 30 / 32 28.1s Saturn.Bag concurrent
[ ] 31 0 0 31 / 32 28.5s Saturn.Bag concurrent
[ ] 32 0 0 32 / 32 29.2s Saturn.Bag concurrent
[✓] 32 0 0 32 / 32 29.2s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 3229795950925268872
generated error fail pass / total time test name
[ ] 0 0 0 0 / 33 0.0s Saturn.Bag sequential
[✓] 33 0 0 33 / 33 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 33 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 33 0.4s Saturn.Bag concurrent
[ ] 2 0 0 2 / 33 0.6s Saturn.Bag concurrent
[ ] 3 0 0 3 / 33 0.8s Saturn.Bag concurrent
[ ] 4 0 0 4 / 33 1.0s Saturn.Bag concurrent
[ ] 5 0 0 5 / 33 1.2s Saturn.Bag concurrent
[ ] 7 0 0 7 / 33 1.3s Saturn.Bag concurrent
[ ] 9 0 0 9 / 33 1.5s Saturn.Bag concurrent
[ ] 12 0 0 12 / 33 1.8s Saturn.Bag concurrent
[ ] 13 0 0 13 / 33 2.5s Saturn.Bag concurrent
[ ] 14 0 0 14 / 33 3.3s Saturn.Bag concurrent
[ ] 15 0 0 15 / 33 3.8s Saturn.Bag concurrent
[ ] 16 0 0 16 / 33 4.7s Saturn.Bag concurrent
[ ] 17 0 0 17 / 33 5.2s Saturn.Bag concurrent
[ ] 18 0 0 18 / 33 5.3s Saturn.Bag concurrent
[ ] 19 0 0 19 / 33 5.5s Saturn.Bag concurrent
[ ] 20 0 0 20 / 33 5.7s Saturn.Bag concurrent
[ ] 21 0 0 21 / 33 5.8s Saturn.Bag concurrent
[ ] 22 0 0 22 / 33 5.9s Saturn.Bag concurrent
[ ] 23 0 0 23 / 33 6.1s Saturn.Bag concurrent
[ ] 24 0 0 24 / 33 6.3s Saturn.Bag concurrent
[ ] 27 0 0 27 / 33 6.4s Saturn.Bag concurrent
[ ] 29 0 0 29 / 33 6.5s Saturn.Bag concurrent
[ ] 30 0 0 30 / 33 6.8s Saturn.Bag concurrent
[✓] 33 0 0 33 / 33 6.9s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 3142930894456291894
generated error fail pass / total time test name
[ ] 0 0 0 0 / 43 0.0s Saturn.Bag sequential
[✓] 43 0 0 43 / 43 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 43 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 43 0.3s Saturn.Bag concurrent
[ ] 2 0 0 2 / 43 0.4s Saturn.Bag concurrent
[ ] 3 0 0 3 / 43 0.9s Saturn.Bag concurrent
[ ] 4 0 0 4 / 43 1.0s Saturn.Bag concurrent
[ ] 9 0 0 9 / 43 1.1s Saturn.Bag concurrent
[ ] 13 0 0 13 / 43 1.2s Saturn.Bag concurrent
[ ] 15 0 0 15 / 43 1.5s Saturn.Bag concurrent
[ ] 22 0 0 22 / 43 1.6s Saturn.Bag concurrent
[ ] 24 0 0 24 / 43 1.7s Saturn.Bag concurrent
[ ] 29 0 0 29 / 43 1.8s Saturn.Bag concurrent
[ ] 34 0 0 34 / 43 2.0s Saturn.Bag concurrent
[ ] 37 0 0 37 / 43 2.1s Saturn.Bag concurrent
[ ] 39 0 0 39 / 43 2.4s Saturn.Bag concurrent
[✓] 43 0 0 43 / 43 2.5s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 1429753544241607632
generated error fail pass / total time test name
[ ] 0 0 0 0 / 60 0.0s Saturn.Bag sequential
[✓] 60 0 0 60 / 60 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 60 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 60 0.0s Saturn.Bag concurrent
[ ] 4 0 0 4 / 60 0.2s Saturn.Bag concurrent
[ ] 5 0 0 5 / 60 0.7s Saturn.Bag concurrent
[ ] 7 0 0 7 / 60 1.2s Saturn.Bag concurrent
[ ] 10 0 0 10 / 60 1.5s Saturn.Bag concurrent
[ ] 14 0 0 14 / 60 1.7s Saturn.Bag concurrent
[ ] 15 0 0 15 / 60 1.8s Saturn.Bag concurrent
[ ] 16 0 0 16 / 60 1.9s Saturn.Bag concurrent
[ ] 20 0 0 20 / 60 2.0s Saturn.Bag concurrent
[ ] 25 0 0 25 / 60 2.1s Saturn.Bag concurrent
[ ] 26 0 0 26 / 60 2.4s Saturn.Bag concurrent
[ ] 29 0 0 29 / 60 2.7s Saturn.Bag concurrent
[ ] 35 0 0 35 / 60 2.9s Saturn.Bag concurrent
[ ] 42 0 0 42 / 60 3.1s Saturn.Bag concurrent
[ ] 47 0 0 47 / 60 3.2s Saturn.Bag concurrent
[ ] 48 0 0 48 / 60 3.3s Saturn.Bag concurrent
[ ] 54 0 0 54 / 60 3.5s Saturn.Bag concurrent
[ ] 60 0 0 60 / 60 3.8s Saturn.Bag concurrent
[✓] 60 0 0 60 / 60 3.8s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 2831518933848915860
generated error fail pass / total time test name
[ ] 0 0 0 0 / 69 0.0s Saturn.Bag sequential
[✓] 69 0 0 69 / 69 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 69 0.0s Saturn.Bag concurrent
[ ] 6 0 0 6 / 69 0.1s Saturn.Bag concurrent
[ ] 8 0 0 8 / 69 0.4s Saturn.Bag concurrent
[ ] 13 0 0 13 / 69 0.5s Saturn.Bag concurrent
[ ] 19 0 0 19 / 69 0.6s Saturn.Bag concurrent
[ ] 22 0 0 22 / 69 0.8s Saturn.Bag concurrent
[ ] 27 0 0 27 / 69 0.9s Saturn.Bag concurrent
[ ] 29 0 0 29 / 69 1.0s Saturn.Bag concurrent
[ ] 33 0 0 33 / 69 1.6s Saturn.Bag concurrent
[ ] 34 0 0 34 / 69 1.7s Saturn.Bag concurrent
[ ] 36 0 0 36 / 69 1.9s Saturn.Bag concurrent
[ ] 40 0 0 40 / 69 2.0s Saturn.Bag concurrent
[ ] 43 0 0 43 / 69 2.1s Saturn.Bag concurrent
[ ] 48 0 0 48 / 69 2.5s Saturn.Bag concurrent
[ ] 51 0 0 51 / 69 2.7s Saturn.Bag concurrent
[ ] 54 0 0 54 / 69 2.8s Saturn.Bag concurrent
[ ] 58 0 0 58 / 69 3.0s Saturn.Bag concurrent
[ ] 64 0 0 64 / 69 3.1s Saturn.Bag concurrent
[✓] 69 0 0 69 / 69 3.2s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 2366278297835427819
generated error fail pass / total time test name
[ ] 0 0 0 0 / 75 0.0s Saturn.Bag sequential
[✓] 75 0 0 75 / 75 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 75 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 75 0.0s Saturn.Bag concurrent
[ ] 8 0 0 8 / 75 0.1s Saturn.Bag concurrent
[ ] 13 0 0 13 / 75 0.3s Saturn.Bag concurrent
[ ] 16 0 0 16 / 75 0.6s Saturn.Bag concurrent
[ ] 17 0 0 17 / 75 0.8s Saturn.Bag concurrent
[ ] 19 0 0 19 / 75 0.9s Saturn.Bag concurrent
[ ] 21 0 0 21 / 75 1.0s Saturn.Bag concurrent
[ ] 27 0 0 27 / 75 1.3s Saturn.Bag concurrent
[ ] 28 0 0 28 / 75 1.5s Saturn.Bag concurrent
[ ] 29 0 0 29 / 75 2.0s Saturn.Bag concurrent
[ ] 30 0 0 30 / 75 2.2s Saturn.Bag concurrent
[ ] 31 0 0 31 / 75 2.4s Saturn.Bag concurrent
[ ] 32 0 0 32 / 75 2.8s Saturn.Bag concurrent
[ ] 33 0 0 33 / 75 3.1s Saturn.Bag concurrent
[ ] 34 0 0 34 / 75 3.4s Saturn.Bag concurrent
[ ] 35 0 0 35 / 75 4.1s Saturn.Bag concurrent
[ ] 37 0 0 37 / 75 4.5s Saturn.Bag concurrent
[ ] 38 0 0 38 / 75 5.1s Saturn.Bag concurrent
[ ] 39 0 0 39 / 75 5.5s Saturn.Bag concurrent
[ ] 40 0 0 40 / 75 5.6s Saturn.Bag concurrent
[ ] 41 0 0 41 / 75 5.8s Saturn.Bag concurrent
[ ] 43 0 0 43 / 75 5.9s Saturn.Bag concurrent
[ ] 44 0 0 44 / 75 6.1s Saturn.Bag concurrent
[ ] 45 0 0 45 / 75 6.3s Saturn.Bag concurrent
[ ] 46 0 0 46 / 75 6.4s Saturn.Bag concurrent
[ ] 48 0 0 48 / 75 6.8s Saturn.Bag concurrent
[ ] 49 0 0 49 / 75 6.9s Saturn.Bag concurrent
[ ] 53 0 0 53 / 75 7.1s Saturn.Bag concurrent
[ ] 56 0 0 56 / 75 7.6s Saturn.Bag concurrent
[ ] 58 0 0 58 / 75 7.7s Saturn.Bag concurrent
[ ] 59 0 0 59 / 75 7.9s Saturn.Bag concurrent
[ ] 60 0 0 60 / 75 8.0s Saturn.Bag concurrent
[ ] 61 0 0 61 / 75 8.1s Saturn.Bag concurrent
[ ] 62 0 0 62 / 75 8.5s Saturn.Bag concurrent
[ ] 63 0 0 63 / 75 8.7s Saturn.Bag concurrent
[ ] 64 0 0 64 / 75 8.8s Saturn.Bag concurrent
[ ] 66 0 0 66 / 75 8.9s Saturn.Bag concurrent
[ ] 70 0 0 70 / 75 9.2s Saturn.Bag concurrent
[ ] 71 0 0 71 / 75 9.6s Saturn.Bag concurrent
[✓] 75 0 0 75 / 75 9.7s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 1782315112013467035
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag concurrent
[ ] 1 0 0 1 / 32 0.0s Saturn.Bag concurrent
[ ] 6 0 0 6 / 32 0.4s Saturn.Bag concurrent
[ ] 10 0 0 10 / 32 0.5s Saturn.Bag concurrent
[ ] 14 0 0 14 / 32 0.7s Saturn.Bag concurrent
[ ] 18 0 0 18 / 32 0.8s Saturn.Bag concurrent
[ ] 24 0 0 24 / 32 1.0s Saturn.Bag concurrent
[ ] 26 0 0 26 / 32 1.4s Saturn.Bag concurrent
[ ] 27 0 0 27 / 32 1.6s Saturn.Bag concurrent
[ ] 32 0 0 32 / 32 1.7s Saturn.Bag concurrent
[✓] 32 0 0 32 / 32 1.7s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
random seed: 427151392003830425
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bag concurrent
[ ] 3 0 0 3 / 32 0.2s Saturn.Bag concurrent
[ ] 5 0 0 5 / 32 0.7s Saturn.Bag concurrent
[ ] 7 0 0 7 / 32 0.8s Saturn.Bag concurrent
[ ] 8 0 0 8 / 32 0.9s Saturn.Bag concurrent
[ ] 9 0 0 9 / 32 1.3s Saturn.Bag concurrent
[ ] 10 0 0 10 / 32 1.6s Saturn.Bag concurrent
[ ] 15 0 0 15 / 32 2.0s Saturn.Bag concurrent
[ ] 19 0 0 19 / 32 2.2s Saturn.Bag concurrent
[ ] 24 0 0 24 / 32 2.3s Saturn.Bag concurrent
[ ] 26 0 0 26 / 32 2.5s Saturn.Bag concurrent
[ ] 27 0 0 27 / 32 2.7s Saturn.Bag concurrent
[ ] 28 0 0 28 / 32 2.9s Saturn.Bag concurrent
[ ] 29 0 0 29 / 32 3.0s Saturn.Bag concurrent
[ ] 31 0 0 31 / 32 3.5s Saturn.Bag concurrent
[✓] 32 0 0 32 / 32 3.5s Saturn.Bag concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/bounded_queue && ./stm_bounded_queue.exe)
random seed: 346489333665939147
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 2.0s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 32 4.2s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 32 5.9s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 32 9.2s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 32 10.5s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 32 12.5s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 32 13.5s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 32 14.1s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 32 14.6s Saturn.Bounded_queue concurrent
[ ] 10 0 0 10 / 32 15.1s Saturn.Bounded_queue concurrent
[ ] 11 0 0 11 / 32 16.1s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 32 16.4s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 32 17.5s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 32 18.7s Saturn.Bounded_queue concurrent
[ ] 16 0 0 16 / 32 18.9s Saturn.Bounded_queue concurrent
[ ] 17 0 0 17 / 32 21.7s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 32 22.2s Saturn.Bounded_queue concurrent
[ ] 19 0 0 19 / 32 22.9s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 32 23.6s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 32 24.0s Saturn.Bounded_queue concurrent
[ ] 22 0 0 22 / 32 24.4s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 32 24.9s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 32 25.3s Saturn.Bounded_queue concurrent
[ ] 26 0 0 26 / 32 25.7s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 32 26.4s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 32 26.6s Saturn.Bounded_queue concurrent
[ ] 30 0 0 30 / 32 26.8s Saturn.Bounded_queue concurrent
[ ] 31 0 0 31 / 32 27.3s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 32 27.9s Saturn.Bounded_queue concurrent
[✓] 32 0 0 32 / 32 27.9s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 3960967291088347473
generated error fail pass / total time test name
[ ] 0 0 0 0 / 36 0.0s Saturn.Bounded_queue sequential
[✓] 36 0 0 36 / 36 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 36 0.0s Saturn.Bounded_queue concurrent
[ ] 1 0 0 1 / 36 0.5s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 36 0.8s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 36 1.1s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 36 1.6s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 36 1.8s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 36 1.9s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 36 2.0s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 36 2.1s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 36 2.9s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 36 3.9s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 36 4.9s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 36 5.2s Saturn.Bounded_queue concurrent
[ ] 16 0 0 16 / 36 6.2s Saturn.Bounded_queue concurrent
[ ] 17 0 0 17 / 36 6.3s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 36 6.6s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 36 6.9s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 36 7.1s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 36 7.3s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 36 7.4s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 36 7.7s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 36 8.1s Saturn.Bounded_queue concurrent
[ ] 34 0 0 34 / 36 8.2s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 36 8.3s Saturn.Bounded_queue concurrent
[ ] 36 0 0 36 / 36 8.4s Saturn.Bounded_queue concurrent
[✓] 36 0 0 36 / 36 8.4s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 87379127349418928
generated error fail pass / total time test name
[ ] 0 0 0 0 / 44 0.0s Saturn.Bounded_queue sequential
[✓] 44 0 0 44 / 44 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 44 0.0s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 44 0.4s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 44 0.6s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 44 1.0s Saturn.Bounded_queue concurrent
[ ] 11 0 0 11 / 44 1.2s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 44 1.3s Saturn.Bounded_queue concurrent
[ ] 17 0 0 17 / 44 1.5s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 44 1.8s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 44 1.9s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 44 2.4s Saturn.Bounded_queue concurrent
[ ] 27 0 0 27 / 44 2.7s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 44 3.1s Saturn.Bounded_queue concurrent
[ ] 32 0 0 32 / 44 3.2s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 44 3.4s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 44 3.5s Saturn.Bounded_queue concurrent
[ ] 40 0 0 40 / 44 3.7s Saturn.Bounded_queue concurrent
[ ] 41 0 0 41 / 44 3.8s Saturn.Bounded_queue concurrent
[✓] 44 0 0 44 / 44 3.9s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 3177773212357972081
generated error fail pass / total time test name
[ ] 0 0 0 0 / 55 0.0s Saturn.Bounded_queue sequential
[✓] 55 0 0 55 / 55 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 55 0.0s Saturn.Bounded_queue concurrent
[ ] 2 0 0 2 / 55 0.2s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 55 0.3s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 55 0.4s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 55 0.5s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 55 0.7s Saturn.Bounded_queue concurrent
[ ] 27 0 0 27 / 55 0.8s Saturn.Bounded_queue concurrent
[ ] 31 0 0 31 / 55 1.0s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 55 1.1s Saturn.Bounded_queue concurrent
[ ] 42 0 0 42 / 55 1.5s Saturn.Bounded_queue concurrent
[ ] 47 0 0 47 / 55 1.6s Saturn.Bounded_queue concurrent
[ ] 54 0 0 54 / 55 1.7s Saturn.Bounded_queue concurrent
[✓] 55 0 0 55 / 55 1.7s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 2663720292918191981
generated error fail pass / total time test name
[ ] 0 0 0 0 / 72 0.0s Saturn.Bounded_queue sequential
[✓] 72 0 0 72 / 72 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 72 0.0s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 72 0.1s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 72 0.2s Saturn.Bounded_queue concurrent
[ ] 16 0 0 16 / 72 0.3s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 72 0.6s Saturn.Bounded_queue concurrent
[ ] 21 0 0 21 / 72 0.7s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 72 0.8s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 72 1.2s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 72 1.3s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 72 1.6s Saturn.Bounded_queue concurrent
[ ] 34 0 0 34 / 72 2.0s Saturn.Bounded_queue concurrent
[ ] 37 0 0 37 / 72 2.1s Saturn.Bounded_queue concurrent
[ ] 41 0 0 41 / 72 2.2s Saturn.Bounded_queue concurrent
[ ] 42 0 0 42 / 72 2.5s Saturn.Bounded_queue concurrent
[ ] 45 0 0 45 / 72 2.6s Saturn.Bounded_queue concurrent
[ ] 49 0 0 49 / 72 2.7s Saturn.Bounded_queue concurrent
[ ] 53 0 0 53 / 72 2.8s Saturn.Bounded_queue concurrent
[ ] 57 0 0 57 / 72 3.1s Saturn.Bounded_queue concurrent
[ ] 59 0 0 59 / 72 3.2s Saturn.Bounded_queue concurrent
[ ] 61 0 0 61 / 72 3.3s Saturn.Bounded_queue concurrent
[ ] 66 0 0 66 / 72 3.4s Saturn.Bounded_queue concurrent
[ ] 70 0 0 70 / 72 3.6s Saturn.Bounded_queue concurrent
[✓] 72 0 0 72 / 72 3.7s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1961582963258086323
generated error fail pass / total time test name
[ ] 0 0 0 0 / 75 0.0s Saturn.Bounded_queue sequential
[✓] 75 0 0 75 / 75 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 75 0.0s Saturn.Bounded_queue concurrent
[ ] 1 0 0 1 / 75 0.2s Saturn.Bounded_queue concurrent
[ ] 3 0 0 3 / 75 0.3s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 75 1.3s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 75 1.8s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 75 2.1s Saturn.Bounded_queue concurrent
[ ] 10 0 0 10 / 75 3.1s Saturn.Bounded_queue concurrent
[ ] 11 0 0 11 / 75 3.9s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 75 4.3s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 75 4.5s Saturn.Bounded_queue concurrent
[ ] 14 0 0 14 / 75 5.0s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 75 5.2s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 75 5.3s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 75 5.8s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 75 6.0s Saturn.Bounded_queue concurrent
[ ] 25 0 0 25 / 75 6.2s Saturn.Bounded_queue concurrent
[ ] 28 0 0 28 / 75 6.4s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 75 6.6s Saturn.Bounded_queue concurrent
[ ] 30 0 0 30 / 75 7.0s Saturn.Bounded_queue concurrent
[ ] 33 0 0 33 / 75 7.3s Saturn.Bounded_queue concurrent
[ ] 35 0 0 35 / 75 7.5s Saturn.Bounded_queue concurrent
[ ] 36 0 0 36 / 75 7.6s Saturn.Bounded_queue concurrent
[ ] 37 0 0 37 / 75 7.9s Saturn.Bounded_queue concurrent
[ ] 38 0 0 38 / 75 8.0s Saturn.Bounded_queue concurrent
[ ] 39 0 0 39 / 75 8.1s Saturn.Bounded_queue concurrent
[ ] 41 0 0 41 / 75 8.3s Saturn.Bounded_queue concurrent
[ ] 45 0 0 45 / 75 8.4s Saturn.Bounded_queue concurrent
[ ] 49 0 0 49 / 75 8.5s Saturn.Bounded_queue concurrent
[ ] 50 0 0 50 / 75 8.7s Saturn.Bounded_queue concurrent
[ ] 52 0 0 52 / 75 8.9s Saturn.Bounded_queue concurrent
[ ] 54 0 0 54 / 75 9.1s Saturn.Bounded_queue concurrent
[ ] 59 0 0 59 / 75 9.2s Saturn.Bounded_queue concurrent
[ ] 61 0 0 61 / 75 9.4s Saturn.Bounded_queue concurrent
[ ] 67 0 0 67 / 75 9.5s Saturn.Bounded_queue concurrent
[ ] 70 0 0 70 / 75 9.6s Saturn.Bounded_queue concurrent
[ ] 75 0 0 75 / 75 9.9s Saturn.Bounded_queue concurrent
[✓] 75 0 0 75 / 75 9.9s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 1878173918043842532
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue concurrent
[ ] 6 0 0 6 / 32 0.1s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 32 0.3s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 32 0.4s Saturn.Bounded_queue concurrent
[ ] 18 0 0 18 / 32 0.5s Saturn.Bounded_queue concurrent
[ ] 24 0 0 24 / 32 0.7s Saturn.Bounded_queue concurrent
[ ] 29 0 0 29 / 32 1.1s Saturn.Bounded_queue concurrent
[✓] 32 0 0 32 / 32 1.2s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
random seed: 2480290081932110711
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue concurrent
[ ] 4 0 0 4 / 32 0.0s Saturn.Bounded_queue concurrent
[ ] 5 0 0 5 / 32 0.4s Saturn.Bounded_queue concurrent
[ ] 7 0 0 7 / 32 0.6s Saturn.Bounded_queue concurrent
[ ] 8 0 0 8 / 32 0.8s Saturn.Bounded_queue concurrent
[ ] 9 0 0 9 / 32 0.9s Saturn.Bounded_queue concurrent
[ ] 12 0 0 12 / 32 1.0s Saturn.Bounded_queue concurrent
[ ] 13 0 0 13 / 32 1.4s Saturn.Bounded_queue concurrent
[ ] 15 0 0 15 / 32 1.9s Saturn.Bounded_queue concurrent
[ ] 20 0 0 20 / 32 2.1s Saturn.Bounded_queue concurrent
[ ] 23 0 0 23 / 32 2.3s Saturn.Bounded_queue concurrent
[ ] 24 0 0 24 / 32 2.8s Saturn.Bounded_queue concurrent
[ ] 26 0 0 26 / 32 3.3s Saturn.Bounded_queue concurrent
[ ] 30 0 0 30 / 32 3.4s Saturn.Bounded_queue concurrent
[✓] 32 0 0 32 / 32 3.4s Saturn.Bounded_queue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 2955257146589935823
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 2.5s Saturn.Size concurrent
[ ] 2 0 0 2 / 32 4.1s Saturn.Size concurrent
[ ] 3 0 0 3 / 32 6.1s Saturn.Size concurrent
[ ] 4 0 0 4 / 32 8.2s Saturn.Size concurrent
[ ] 5 0 0 5 / 32 11.2s Saturn.Size concurrent
[ ] 6 0 0 6 / 32 13.0s Saturn.Size concurrent
[ ] 7 0 0 7 / 32 15.0s Saturn.Size concurrent
[ ] 8 0 0 8 / 32 15.6s Saturn.Size concurrent
[ ] 9 0 0 9 / 32 16.2s Saturn.Size concurrent
[ ] 10 0 0 10 / 32 17.2s Saturn.Size concurrent
[ ] 11 0 0 11 / 32 21.0s Saturn.Size concurrent
[ ] 12 0 0 12 / 32 22.5s Saturn.Size concurrent
[ ] 13 0 0 13 / 32 23.6s Saturn.Size concurrent
[ ] 14 0 0 14 / 32 23.8s Saturn.Size concurrent
[ ] 15 0 0 15 / 32 24.1s Saturn.Size concurrent
[ ] 16 0 0 16 / 32 24.3s Saturn.Size concurrent
[ ] 17 0 0 17 / 32 25.7s Saturn.Size concurrent
[ ] 19 0 0 19 / 32 26.2s Saturn.Size concurrent
[ ] 20 0 0 20 / 32 26.6s Saturn.Size concurrent
[ ] 21 0 0 21 / 32 27.2s Saturn.Size concurrent
[ ] 22 0 0 22 / 32 27.4s Saturn.Size concurrent
[ ] 23 0 0 23 / 32 27.6s Saturn.Size concurrent
[ ] 24 0 0 24 / 32 28.0s Saturn.Size concurrent
[ ] 25 0 0 25 / 32 28.4s Saturn.Size concurrent
[ ] 26 0 0 26 / 32 28.9s Saturn.Size concurrent
[ ] 27 0 0 27 / 32 29.4s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 29.5s Saturn.Size concurrent
[ ] 29 0 0 29 / 32 30.0s Saturn.Size concurrent
[ ] 30 0 0 30 / 32 30.2s Saturn.Size concurrent
[ ] 32 0 0 32 / 32 30.6s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 30.6s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 231010903450743809
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential
[✓] 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 0.2s Saturn.Size concurrent
[ ] 3 0 0 3 / 32 0.4s Saturn.Size concurrent
[ ] 6 0 0 6 / 32 0.5s Saturn.Size concurrent
[ ] 11 0 0 11 / 32 0.6s Saturn.Size concurrent
[ ] 13 0 0 13 / 32 1.0s Saturn.Size concurrent
[ ] 14 0 0 14 / 32 1.3s Saturn.Size concurrent
[ ] 15 0 0 15 / 32 2.0s Saturn.Size concurrent
[ ] 16 0 0 16 / 32 2.7s Saturn.Size concurrent
[ ] 17 0 0 17 / 32 3.1s Saturn.Size concurrent
[ ] 18 0 0 18 / 32 3.6s Saturn.Size concurrent
[ ] 19 0 0 19 / 32 5.0s Saturn.Size concurrent
[ ] 20 0 0 20 / 32 5.3s Saturn.Size concurrent
[ ] 24 0 0 24 / 32 5.4s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 6.2s Saturn.Size concurrent
[ ] 29 0 0 29 / 32 6.3s Saturn.Size concurrent
[ ] 30 0 0 30 / 32 6.5s Saturn.Size concurrent
[ ] 32 0 0 32 / 32 6.9s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 6.9s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 3799620911847843760
generated error fail pass / total time test name
[ ] 0 0 0 0 / 38 0.0s Saturn.Size sequential
[✓] 38 0 0 38 / 38 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 38 0.0s Saturn.Size concurrent
[ ] 4 0 0 4 / 38 0.1s Saturn.Size concurrent
[ ] 7 0 0 7 / 38 0.5s Saturn.Size concurrent
[ ] 9 0 0 9 / 38 1.6s Saturn.Size concurrent
[ ] 12 0 0 12 / 38 1.7s Saturn.Size concurrent
[ ] 13 0 0 13 / 38 2.6s Saturn.Size concurrent
[ ] 15 0 0 15 / 38 2.7s Saturn.Size concurrent
[ ] 19 0 0 19 / 38 2.8s Saturn.Size concurrent
[ ] 23 0 0 23 / 38 2.9s Saturn.Size concurrent
[ ] 24 0 0 24 / 38 3.0s Saturn.Size concurrent
[ ] 26 0 0 26 / 38 3.2s Saturn.Size concurrent
[ ] 27 0 0 27 / 38 3.4s Saturn.Size concurrent
[ ] 31 0 0 31 / 38 3.5s Saturn.Size concurrent
[ ] 33 0 0 33 / 38 3.6s Saturn.Size concurrent
[ ] 35 0 0 35 / 38 3.9s Saturn.Size concurrent
[✓] 38 0 0 38 / 38 3.9s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 4466742393601759987
generated error fail pass / total time test name
[ ] 0 0 0 0 / 45 0.0s Saturn.Size sequential
[✓] 45 0 0 45 / 45 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 45 0.0s Saturn.Size concurrent
[ ] 2 0 0 2 / 45 0.4s Saturn.Size concurrent
[ ] 6 0 0 6 / 45 0.5s Saturn.Size concurrent
[ ] 11 0 0 11 / 45 0.8s Saturn.Size concurrent
[ ] 13 0 0 13 / 45 1.0s Saturn.Size concurrent
[ ] 14 0 0 14 / 45 1.2s Saturn.Size concurrent
[ ] 16 0 0 16 / 45 1.6s Saturn.Size concurrent
[ ] 19 0 0 19 / 45 1.7s Saturn.Size concurrent
[ ] 21 0 0 21 / 45 1.8s Saturn.Size concurrent
[ ] 24 0 0 24 / 45 1.9s Saturn.Size concurrent
[ ] 32 0 0 32 / 45 2.2s Saturn.Size concurrent
[ ] 37 0 0 37 / 45 2.3s Saturn.Size concurrent
[ ] 41 0 0 41 / 45 3.5s Saturn.Size concurrent
[ ] 44 0 0 44 / 45 3.6s Saturn.Size concurrent
[✓] 45 0 0 45 / 45 3.6s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 1622513468123410070
generated error fail pass / total time test name
[ ] 0 0 0 0 / 49 0.0s Saturn.Size sequential
[✓] 49 0 0 49 / 49 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 49 0.0s Saturn.Size concurrent
[ ] 2 0 0 2 / 49 0.1s Saturn.Size concurrent
[ ] 4 0 0 4 / 49 0.2s Saturn.Size concurrent
[ ] 8 0 0 8 / 49 0.3s Saturn.Size concurrent
[ ] 10 0 0 10 / 49 0.5s Saturn.Size concurrent
[ ] 13 0 0 13 / 49 0.6s Saturn.Size concurrent
[ ] 16 0 0 16 / 49 0.7s Saturn.Size concurrent
[ ] 17 0 0 17 / 49 1.0s Saturn.Size concurrent
[ ] 22 0 0 22 / 49 1.2s Saturn.Size concurrent
[ ] 23 0 0 23 / 49 1.7s Saturn.Size concurrent
[ ] 24 0 0 24 / 49 1.9s Saturn.Size concurrent
[ ] 27 0 0 27 / 49 2.0s Saturn.Size concurrent
[ ] 30 0 0 30 / 49 2.1s Saturn.Size concurrent
[ ] 31 0 0 31 / 49 2.9s Saturn.Size concurrent
[ ] 32 0 0 32 / 49 3.5s Saturn.Size concurrent
[ ] 33 0 0 33 / 49 3.9s Saturn.Size concurrent
[ ] 34 0 0 34 / 49 4.0s Saturn.Size concurrent
[ ] 35 0 0 35 / 49 4.4s Saturn.Size concurrent
[ ] 36 0 0 36 / 49 4.6s Saturn.Size concurrent
[ ] 37 0 0 37 / 49 5.1s Saturn.Size concurrent
[ ] 38 0 0 38 / 49 5.3s Saturn.Size concurrent
[ ] 39 0 0 39 / 49 5.5s Saturn.Size concurrent
[ ] 40 0 0 40 / 49 5.6s Saturn.Size concurrent
[ ] 41 0 0 41 / 49 5.8s Saturn.Size concurrent
[ ] 42 0 0 42 / 49 5.9s Saturn.Size concurrent
[ ] 43 0 0 43 / 49 6.1s Saturn.Size concurrent
[ ] 45 0 0 45 / 49 6.3s Saturn.Size concurrent
[ ] 46 0 0 46 / 49 6.5s Saturn.Size concurrent
[ ] 48 0 0 48 / 49 6.9s Saturn.Size concurrent
[✓] 49 0 0 49 / 49 6.9s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 1085281241829858928
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Size concurrent
[ ] 2 0 0 2 / 32 0.1s Saturn.Size concurrent
[ ] 3 0 0 3 / 32 1.0s Saturn.Size concurrent
[ ] 7 0 0 7 / 32 1.2s Saturn.Size concurrent
[ ] 9 0 0 9 / 32 1.5s Saturn.Size concurrent
[ ] 10 0 0 10 / 32 1.8s Saturn.Size concurrent
[ ] 11 0 0 11 / 32 2.0s Saturn.Size concurrent
[ ] 14 0 0 14 / 32 2.4s Saturn.Size concurrent
[ ] 16 0 0 16 / 32 2.6s Saturn.Size concurrent
[ ] 19 0 0 19 / 32 2.8s Saturn.Size concurrent
[ ] 20 0 0 20 / 32 2.9s Saturn.Size concurrent
[ ] 22 0 0 22 / 32 3.0s Saturn.Size concurrent
[ ] 25 0 0 25 / 32 3.2s Saturn.Size concurrent
[ ] 26 0 0 26 / 32 3.3s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 3.6s Saturn.Size concurrent
[ ] 30 0 0 30 / 32 3.9s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 3.9s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 1396083599018031698
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Size concurrent
[ ] 3 0 0 3 / 32 0.3s Saturn.Size concurrent
[ ] 8 0 0 8 / 32 0.4s Saturn.Size concurrent
[ ] 9 0 0 9 / 32 0.6s Saturn.Size concurrent
[ ] 11 0 0 11 / 32 1.1s Saturn.Size concurrent
[ ] 13 0 0 13 / 32 1.4s Saturn.Size concurrent
[ ] 15 0 0 15 / 32 2.2s Saturn.Size concurrent
[ ] 17 0 0 17 / 32 2.4s Saturn.Size concurrent
[ ] 19 0 0 19 / 32 2.6s Saturn.Size concurrent
[ ] 21 0 0 21 / 32 3.1s Saturn.Size concurrent
[ ] 26 0 0 26 / 32 3.2s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 3.3s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 3.4s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 3250781168356989611
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential
[✓] 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 0.1s Saturn.Size concurrent
[ ] 5 0 0 5 / 32 0.2s Saturn.Size concurrent
[ ] 8 0 0 8 / 32 0.3s Saturn.Size concurrent
[ ] 12 0 0 12 / 32 0.4s Saturn.Size concurrent
[ ] 14 0 0 14 / 32 0.6s Saturn.Size concurrent
[ ] 17 0 0 17 / 32 0.7s Saturn.Size concurrent
[ ] 20 0 0 20 / 32 1.3s Saturn.Size concurrent
[ ] 21 0 0 21 / 32 1.5s Saturn.Size concurrent
[ ] 22 0 0 22 / 32 2.3s Saturn.Size concurrent
[ ] 28 0 0 28 / 32 2.4s Saturn.Size concurrent
[✓] 32 0 0 32 / 32 2.5s Saturn.Size concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 181161771125390475
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.6s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 32 3.3s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 32 5.6s Saturn.Skiplist concurrent
[ ] 4 0 0 4 / 32 7.1s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 32 9.1s Saturn.Skiplist concurrent
[ ] 6 0 0 6 / 32 11.3s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 32 13.7s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 32 14.7s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 32 14.9s Saturn.Skiplist concurrent
[ ] 10 0 0 10 / 32 15.4s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 32 15.7s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 32 18.7s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 32 21.8s Saturn.Skiplist concurrent
[ ] 14 0 0 14 / 32 22.4s Saturn.Skiplist concurrent
[ ] 15 0 0 15 / 32 23.2s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 32 24.1s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 32 24.9s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 32 26.0s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 32 26.6s Saturn.Skiplist concurrent
[ ] 20 0 0 20 / 32 26.7s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 32 27.2s Saturn.Skiplist concurrent
[ ] 22 0 0 22 / 32 27.8s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 32 29.2s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 32 29.4s Saturn.Skiplist concurrent
[ ] 25 0 0 25 / 32 29.6s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 32 29.8s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 32 30.0s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 32 30.2s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 32 30.3s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 30.4s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 1248649701627777704
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential
[✓] 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 0.1s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 32 1.4s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 32 2.2s Saturn.Skiplist concurrent
[ ] 4 0 0 4 / 32 2.8s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 32 3.0s Saturn.Skiplist concurrent
[ ] 6 0 0 6 / 32 3.7s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 32 3.9s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 32 4.2s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 32 4.4s Saturn.Skiplist concurrent
[ ] 10 0 0 10 / 32 4.5s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 32 4.7s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 32 4.9s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 32 5.0s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 32 5.3s Saturn.Skiplist concurrent
[ ] 22 0 0 22 / 32 5.5s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 32 5.8s Saturn.Skiplist concurrent
[ ] 25 0 0 25 / 32 6.0s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 32 6.1s Saturn.Skiplist concurrent
[ ] 28 0 0 28 / 32 6.3s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 32 6.7s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 6.7s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 1251088091933003880
generated error fail pass / total time test name
[ ] 0 0 0 0 / 39 0.0s Saturn.Skiplist sequential
[✓] 39 0 0 39 / 39 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 39 0.0s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 39 0.1s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 39 0.3s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 39 0.4s Saturn.Skiplist concurrent
[ ] 13 0 0 13 / 39 1.0s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 39 1.1s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 39 1.2s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 39 1.4s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 39 2.2s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 39 2.4s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 39 2.6s Saturn.Skiplist concurrent
[ ] 31 0 0 31 / 39 2.7s Saturn.Skiplist concurrent
[ ] 35 0 0 35 / 39 2.8s Saturn.Skiplist concurrent
[ ] 37 0 0 37 / 39 3.1s Saturn.Skiplist concurrent
[✓] 39 0 0 39 / 39 3.1s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 3951436392469733352
generated error fail pass / total time test name
[ ] 0 0 0 0 / 50 0.0s Saturn.Skiplist sequential
[✓] 50 0 0 50 / 50 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 50 0.0s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 50 0.4s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 50 0.6s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 50 0.8s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 50 0.9s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 50 1.1s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 50 1.2s Saturn.Skiplist concurrent
[ ] 32 0 0 32 / 50 1.3s Saturn.Skiplist concurrent
[ ] 36 0 0 36 / 50 2.2s Saturn.Skiplist concurrent
[ ] 40 0 0 40 / 50 2.3s Saturn.Skiplist concurrent
[ ] 43 0 0 43 / 50 2.9s Saturn.Skiplist concurrent
[ ] 46 0 0 46 / 50 3.0s Saturn.Skiplist concurrent
[ ] 49 0 0 49 / 50 3.2s Saturn.Skiplist concurrent
[ ] 50 0 0 50 / 50 3.3s Saturn.Skiplist concurrent
[✓] 50 0 0 50 / 50 3.3s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 110046317231035698
generated error fail pass / total time test name
[ ] 0 0 0 0 / 57 0.0s Saturn.Skiplist sequential
[✓] 57 0 0 57 / 57 0.0s Saturn.Skiplist sequential
[ ] 0 0 0 0 / 57 0.0s Saturn.Skiplist concurrent
[ ] 1 0 0 1 / 57 0.3s Saturn.Skiplist concurrent
[ ] 2 0 0 2 / 57 0.6s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 57 0.7s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 57 0.8s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 57 1.2s Saturn.Skiplist concurrent
[ ] 10 0 0 10 / 57 1.3s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 57 1.5s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 57 2.2s Saturn.Skiplist concurrent
[ ] 19 0 0 19 / 57 2.6s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 57 4.0s Saturn.Skiplist concurrent
[ ] 22 0 0 22 / 57 4.2s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 57 4.3s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 57 4.6s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 57 4.9s Saturn.Skiplist concurrent
[ ] 28 0 0 28 / 57 5.1s Saturn.Skiplit concurrent
[ ] 29 0 0 29 / 57 5.7s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 57 6.0s Saturn.Skiplist concurrent
[ ] 31 0 0 31 / 57 6.1s Saturn.Skiplist concurrent
[ ] 32 0 0 32 / 57 6.3s Saturn.Skiplist concurrent
[ ] 34 0 0 34 / 57 6.5s Saturn.Skiplist concurrent
[ ] 35 0 0 35 / 57 6.7s Saturn.Skiplist concurrent
[ ] 36 0 0 36 / 57 7.0s Saturn.Skiplist concurrent
[ ] 37 0 0 37 / 57 7.1s Saturn.Skiplist concurrent
[ ] 38 0 0 38 / 57 7.3s Saturn.Skiplist concurrent
[ ] 40 0 0 40 / 57 7.6s Saturn.Skiplist concurrent
[ ] 44 0 0 44 / 57 7.7s Saturn.Skiplist concurrent
[ ] 47 0 0 47 / 57 7.9s Saturn.Skiplist concurrent
[ ] 51 0 0 51 / 57 8.0s Saturn.Skiplist concurrent
[ ] 56 0 0 56 / 57 8.1s Saturn.Skiplist concurrent
[ ] 57 0 0 57 / 57 9.4s Saturn.Skiplist concurrent
[✓] 57 0 0 57 / 57 9.4s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 2970471815594617378
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential
[✓] 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 0.2s Saturn.Skiplist concurrent
[ ] 3 0 0 3 / 32 0.3s Saturn.Skiplist concurrent
[ ] 6 0 0 6 / 32 0.4s Saturn.Skiplist concurrent
[ ] 9 0 0 9 / 32 0.7s Saturn.Skiplist concurrent
[ ] 11 0 0 11 / 32 1.1s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 32 1.2s Saturn.Skiplist concurrent
[ ] 14 0 0 14 / 32 1.3s Saturn.Skiplist concurrent
[ ] 15 0 0 15 / 32 1.9s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 32 2.6s Saturn.Skiplist concurrent
[ ] 21 0 0 21 / 32 2.7s Saturn.Skiplist concurrent
[ ] 26 0 0 26 / 32 2.8s Saturn.Skiplist concurrent
[ ] 29 0 0 29 / 32 3.2s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 3.3s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 3039752786812126564
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential
[✓] 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 0.1s Saturn.Skiplist concurrent
[ ] 5 0 0 5 / 32 0.2s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 32 0.3s Saturn.Skiplist concurrent
[ ] 14 0 0 14 / 32 1.3s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 32 1.5s Saturn.Skiplist concurrent
[ ] 18 0 0 18 / 32 1.7s Saturn.Skiplist concurrent
[ ] 20 0 0 20 / 32 1.9s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 32 2.1s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 32 2.2s Saturn.Skiplist concurrent
[ ] 27 0 0 27 / 32 2.4s Saturn.Skiplist concurrent
[ ] 30 0 0 30 / 32 2.5s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 2.6s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 3361339237653013553
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential
[✓] 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 0.1s Saturn.Skiplist concurrent
[ ] 4 0 0 4 / 32 0.2s Saturn.Skiplist concurrent
[ ] 7 0 0 7 / 32 0.4s Saturn.Skiplist concurrent
[ ] 8 0 0 8 / 32 0.6s Saturn.Skiplist concurrent
[ ] 12 0 0 12 / 32 0.8s Saturn.Skiplist concurrent
[ ] 16 0 0 16 / 32 0.9s Saturn.Skiplist concurrent
[ ] 17 0 0 17 / 32 1.1s Saturn.Skiplist concurrent
[ ] 20 0 0 20 / 32 1.3s Saturn.Skiplist concurrent
[ ] 23 0 0 23 / 32 2.2s Saturn.Skiplist concurrent
[ ] 24 0 0 24 / 32 2.3s Saturn.Skiplist concurrent
[ ] 28 0 0 28 / 32 2.4s Saturn.Skiplist concurrent
[ ] 31 0 0 31 / 32 2.5s Saturn.Skiplist concurrent
[✓] 32 0 0 32 / 32 2.6s Saturn.Skiplist concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/htbl && ./stm_htbl.exe)
random seed: 4179216558578549750
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.8s Htbl concurrent
[ ] 2 0 0 2 / 32 3.6s Htbl concurrent
[ ] 3 0 0 3 / 32 5.1s Htbl concurrent
[ ] 4 0 0 4 / 32 6.7s Htbl concurrent
[ ] 5 0 0 5 / 32 8.9s Htbl concurrent
[ ] 6 0 0 6 / 32 11.2s Htbl concurrent
[ ] 7 0 0 7 / 32 12.8s Htbl concurrent
[ ] 8 0 0 8 / 32 14.4s Htbl concurrent
[ ] 9 0 0 9 / 32 15.5s Htbl concurrent
[ ] 10 0 0 10 / 32 16.3s Htbl concurrent
[ ] 11 0 0 11 / 32 17.6s Htbl concurrent
[ ] 12 0 0 12 / 32 18.2s Htbl concurrent
[ ] 13 0 0 13 / 32 18.7s Htbl concurrent
[ ] 14 0 0 14 / 32 19.7s Htbl concurrent
[ ] 16 0 0 16 / 32 20.5s Htbl concurrent
[ ] 17 0 0 17 / 32 20.6s Htbl concurrent
[ ] 18 0 0 18 / 32 21.1s Htbl concurrent
[ ] 19 0 0 19 / 32 22.2s Htbl concurrent
[ ] 20 0 0 20 / 32 23.0s Htbl concurrent
[ ] 21 0 0 21 / 32 23.8s Htbl concurrent
[ ] 22 0 0 22 / 32 23.9s Htbl concurrent
[ ] 23 0 0 23 / 32 24.3s Htbl concurrent
[ ] 24 0 0 24 / 32 25.3s Htbl concurrent
[ ] 25 0 0 25 / 32 26.4s Htbl concurrent
[ ] 26 0 0 26 / 32 27.1s Htbl concurrent
[ ] 27 0 0 27 / 32 27.4s Htbl concurrent
[ ] 28 0 0 28 / 32 27.5s Htbl concurrent
[ ] 29 0 0 29 / 32 28.1s Htbl concurrent
[ ] 30 0 0 30 / 32 28.5s Htbl concurrent
[ ] 32 0 0 32 / 32 28.7s Htbl concurrent
[✓] 32 0 0 32 / 32 28.7s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1400979051061078573
generated error fail pass / total time test name
[ ] 0 0 0 0 / 34 0.0s Htbl sequential
[✓] 34 0 0 34 / 34 0.0s Htbl sequential
[ ] 0 0 0 0 / 34 0.0s Htbl concurrent
[ ] 1 0 0 1 / 34 0.2s Htbl concurrent
[ ] 2 0 0 2 / 34 0.9s Htbl concurrent
[ ] 3 0 0 3 / 34 1.5s Htbl concurrent
[ ] 5 0 0 5 / 34 1.9s Htbl concurrent
[ ] 6 0 0 6 / 34 2.0s Htbl concurrent
[ ] 7 0 0 7 / 34 2.5s Htbl concurrent
[ ] 9 0 0 9 / 34 4.0s Htbl concurrent
[ ] 10 0 0 10 / 34 4.4s Htbl concurrent
[ ] 11 0 0 11 / 34 4.6s Htbl concurrent
[ ] 12 0 0 12 / 34 5.3s Htbl concurrent
[ ] 13 0 0 13 / 34 5.7s Htbl concurrent
[ ] 14 0 0 14 / 34 6.1s Htbl concurrent
[ ] 15 0 0 15 / 34 6.5s Htbl concurrent
[ ] 16 0 0 16 / 34 6.7s Htbl concurrent
[ ] 17 0 0 17 / 34 6.9s Htbl concurrent
[ ] 18 0 0 18 / 34 7.0s Htbl concurrent
[ ] 19 0 0 19 / 34 7.2s Htbl concurrent
[ ] 22 0 0 22 / 34 7.5s Htbl concurrent
[ ] 27 0 0 27 / 34 7.6s Htbl concurrent
[ ] 32 0 0 32 / 34 7.7s Htbl concurrent
[✓] 34 0 0 34 / 34 7.7s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 474396647498681974
generated error fail pass / total time test name
[ ] 0 0 0 0 / 42 0.0s Htbl sequential
[✓] 42 0 0 42 / 42 0.0s Htbl sequential
[ ] 0 0 0 0 / 42 0.0s Htbl concurrent
[ ] 1 0 0 1 / 42 0.7s Htbl concurrent
[ ] 2 0 0 2 / 42 0.9s Htbl concurrent
[ ] 5 0 0 5 / 42 1.0s Htbl concurrent
[ ] 11 0 0 11 / 42 1.2s Htbl concurrent
[ ] 14 0 0 14 / 42 1.3s Htbl concurrent
[ ] 17 0 0 17 / 42 1.4s Htbl concurrent
[ ] 21 0 0 21 / 42 1.8s Htbl concurrent
[ ] 26 0 0 26 / 42 2.4s Htbl concurrent
[ ] 30 0 0 30 / 42 2.5s Htbl concurrent
[ ] 34 0 0 34 / 42 2.6s Htbl concurrent
[ ] 36 0 0 36 / 42 3.3s Htbl concurrent
[ ] 37 0 0 37 / 42 3.6s Htbl concurrent
[ ] 38 0 0 38 / 42 3.7s Htbl concurrent
[ ] 40 0 0 40 / 42 3.8s Htbl concurrent
[ ] 42 0 0 42 / 42 3.9s Htbl concurrent
[✓] 42 0 0 42 / 42 3.9s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 3048679829099107875
generated error fail pass / total time test name
[ ] 0 0 0 0 / 52 0.0s Htbl sequential
[✓] 52 0 0 52 / 52 0.0s Htbl sequential
[ ] 0 0 0 0 / 52 0.0s Htbl concurrent
[ ] 1 0 0 1 / 52 0.2s Htbl concurrent
[ ] 3 0 0 3 / 52 0.3s Htbl concurrent
[ ] 7 0 0 7 / 52 0.5s Htbl concurrent
[ ] 11 0 0 11 / 52 1.1s Htbl concurrent
[ ] 17 0 0 17 / 52 1.2s Htbl concurrent
[ ] 20 0 0 20 / 52 1.5s Htbl concurrent
[ ] 21 0 0 21 / 52 1.7s Htbl concurrent
[ ] 24 0 0 24 / 52 1.8s Htbl concurrent
[ ] 27 0 0 27 / 52 1.9s Htbl concurrent
[ ] 35 0 0 35 / 52 2.1s Htbl concurrent
[ ] 39 0 0 39 / 52 2.3s Htbl concurrent
[ ] 41 0 0 41 / 52 2.4s Htbl concurrent
[ ] 43 0 0 43 / 52 2.7s Htbl concurrent
[ ] 50 0 0 50 / 52 2.8s Htbl concurrent
[✓] 52 0 0 52 / 52 2.8s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 256656240737877506
generated error fail pass / total time test name
[ ] 0 0 0 0 / 62 0.0s Htbl sequential
[✓] 62 0 0 62 / 62 0.0s Htbl sequential
[ ] 0 0 0 0 / 62 0.0s Htbl concurrent
[ ] 5 0 0 5 / 62 0.1s Htbl concurrent
[ ] 6 0 0 6 / 62 0.6s Htbl concurrent
[ ] 12 0 0 12 / 62 0.7s Htbl concurrent
[ ] 15 0 0 15 / 62 1.0s Htbl concurrent
[ ] 16 0 0 16 / 62 1.4s Htbl concurrent
[ ] 18 0 0 18 / 62 1.6s Htbl concurrent
[ ] 22 0 0 22 / 62 1.7s Htbl concurrent
[ ] 24 0 0 24 / 62 1.8s Htbl concurrent
[ ] 26 0 0 26 / 62 2.1s Htbl concurrent
[ ] 31 0 0 31 / 62 2.8s Htbl concurrent
[ ] 32 0 0 32 / 62 3.5s Htbl concurrent
[ ] 34 0 0 34 / 62 3.7s Htbl concurrent
[ ] 39 0 0 39 / 62 3.9s Htbl concurrent
[ ] 40 0 0 40 / 62 4.3s Htbl concurrent
[ ] 41 0 0 41 / 62 4.4s Htbl concurrent
[ ] 42 0 0 42 / 62 4.6s Htbl concurrent
[ ] 43 0 0 43 / 62 4.7s Htbl concurrent
[ ] 45 0 0 45 / 62 5.0s Htbl concurrent
[ ] 46 0 0 46 / 62 5.2s Htbl concurrent
[ ] 48 0 0 48 / 62 5.6s Htbl concurrent
[ ] 49 0 0 49 / 62 5.7s Htbl concurrent
[ ] 50 0 0 50 / 62 6.1s Htbl concurrent
[ ] 52 0 0 52 / 62 6.6s Htbl concurrent
[ ] 53 0 0 53 / 62 6.9s Htbl concurrent
[ ] 54 0 0 54 / 62 7.2s Htbl concurrent
[ ] 55 0 0 55 / 62 7.4s Htbl concurrent
[ ] 56 0 0 56 / 62 7.5s Htbl concurrent
[ ] 57 0 0 57 / 62 7.7s Htbl concurrent
[ ] 58 0 0 58 / 62 7.8s Htbl concurrent
[ ] 59 0 0 59 / 62 7.9s Htbl concurrent
[ ] 60 0 0 60 / 62 8.0s Htbl concurrent
[ ] 61 0 0 61 / 62 8.2s Htbl concurrent
[✓] 62 0 0 62 / 62 8.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 1320179745488182208
generated error fail pass / total time test name
[ ] 0 0 0 0 / 36 0.0s Htbl sequential
[✓] 36 0 0 36 / 36 0.0s Htbl sequential
[ ] 0 0 0 0 / 36 0.0s Htbl concurrent
[ ] 1 0 0 1 / 36 0.2s Htbl concurrent
[ ] 2 0 0 2 / 36 1.3s Htbl concurrent
[ ] 4 0 0 4 / 36 1.4s Htbl concurrent
[ ] 7 0 0 7 / 36 1.5s Htbl concurrent
[ ] 10 0 0 10 / 36 2.3s Htbl concurrent
[ ] 12 0 0 12 / 36 2.4s Htbl concurrent
[ ] 16 0 0 16 / 36 2.5s Htbl concurrent
[ ] 22 0 0 22 / 36 3.1s Htbl concurrent
[ ] 23 0 0 23 / 36 3.2s Htbl concurrent
[ ] 25 0 0 25 / 36 3.3s Htbl concurrent
[ ] 28 0 0 28 / 36 3.4s Htbl concurrent
[ ] 30 0 0 30 / 36 4.0s Htbl concurrent
[ ] 31 0 0 31 / 36 4.2s Htbl concurrent
[ ] 34 0 0 34 / 36 4.3s Htbl concurrent
[✓] 36 0 0 36 / 36 4.3s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 78734954538417785
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 4 0 0 4 / 32 0.2s Htbl concurrent
[ ] 7 0 0 7 / 32 0.4s Htbl concurrent
[ ] 11 0 0 11 / 32 0.5s Htbl concurrent
[ ] 12 0 0 12 / 32 0.7s Htbl concurrent
[ ] 14 0 0 14 / 32 0.8s Htbl concurrent
[ ] 17 0 0 17 / 32 1.3s Htbl concurrent
[ ] 19 0 0 19 / 32 1.7s Htbl concurrent
[ ] 24 0 0 24 / 32 2.1s Htbl concurrent
[ ] 26 0 0 26 / 32 2.4s Htbl concurrent
[ ] 28 0 0 28 / 32 2.6s Htbl concurrent
[ ] 30 0 0 30 / 32 2.7s Htbl concurrent
[ ] 32 0 0 32 / 32 2.8s Htbl concurrent
[✓] 32 0 0 32 / 32 2.8s Htbl concurrent
================================================================================
success (ran 2 tests)
random seed: 192842213702258771
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Htbl sequential
[✓] 32 0 0 32 / 32 0.0s Htbl sequential
[ ] 0 0 0 0 / 32 0.0s Htbl concurrent
[ ] 2 0 0 2 / 32 0.2s Htbl concurrent
[ ] 3 0 0 3 / 32 0.3s Htbl concurrent
[ ] 6 0 0 6 / 32 0.5s Htbl concurrent
[ ] 7 0 0 7 / 32 0.7s Htbl concurrent
[ ] 8 0 0 8 / 32 0.9s Htbl concurrent
[ ] 9 0 0 9 / 32 2.0s Htbl concurrent
[ ] 15 0 0 15 / 32 2.2s Htbl concurrent
[ ] 16 0 0 16 / 32 2.3s Htbl concurrent
[ ] 19 0 0 19 / 32 2.6s Htbl concurrent
[ ] 20 0 0 20 / 32 2.9s Htbl concurrent
[ ] 23 0 0 23 / 32 3.1s Htbl concurrent
[ ] 25 0 0 25 / 32 3.3s Htbl concurrent
[ ] 31 0 0 31 / 32 3.5s Htbl concurrent
[✓] 32 0 0 32 / 32 3.5s Htbl concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/bounded_stack && ./stm_bounded_stack.exe)
random seed: 1196751541065114463
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 2.2s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 32 4.6s Saturn.Bounded_stack concurrent
[ ] 3 0 0 3 / 32 6.5s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 32 8.3s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 32 9.1s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 32 10.9s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 32 12.5s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 32 14.2s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 32 15.5s Saturn.Bounded_stack concurrent
[ ] 10 0 0 10 / 32 15.9s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 32 17.1s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 32 17.9s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 32 18.4s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 32 19.3s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 32 20.3s Saturn.Bounded_stack concurrent
[ ] 16 0 0 16 / 32 20.8s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 32 21.9s Saturn.Bounded_stack concurrent
[ ] 18 0 0 18 / 32 22.4s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 32 23.2s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 32 23.8s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 32 24.1s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 32 25.0s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 32 25.9s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 32 26.5s Saturn.Bounded_stack concurrent
[ ] 25 0 0 25 / 32 27.4s Saturn.Bounded_stack concurrent
[ ] 26 0 0 26 / 32 27.6s Saturn.Bounded_stack concurrent
[ ] 27 0 0 27 / 32 28.1s Saturn.Bounded_stack concurrent
[ ] 28 0 0 28 / 32 28.2s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 32 29.3s Saturn.Bounded_stack concurrent
[ ] 30 0 0 30 / 32 29.5s Saturn.Bounded_stack concurrent
[ ] 31 0 0 31 / 32 29.8s Saturn.Bounded_stack concurrent
[ ] 32 0 0 32 / 32 30.3s Saturn.Bounded_stack concurrent
[✓] 32 0 0 32 / 32 30.3s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 833285402708011007
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential
[✓] 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 0.2s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 32 0.4s Saturn.Bounded_stack concurrent
[ ] 3 0 0 3 / 32 0.6s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 32 1.2s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 32 2.2s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 32 2.8s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 32 3.2s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 32 3.4s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 32 3.9s Saturn.Bounded_stack concurrent
[ ] 10 0 0 10 / 32 4.7s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 32 4.9s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 32 5.2s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 32 5.3s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 32 5.5s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 32 5.7s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 32 5.8s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 32 5.9s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 32 7.1s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 32 7.4s Saturn.Bounded_stack concurrent
[ ] 25 0 0 25 / 32 7.5s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 32 7.7s Saturn.Bounded_stack concurrent
[ ] 30 0 0 30 / 32 7.8s Saturn.Bounded_stack concurrent
[✓] 32 0 0 32 / 32 7.9s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2058756540717640220
generated error fail pass / total time test name
[ ] 0 0 0 0 / 36 0.0s Saturn.Bounded_stack sequential
[✓] 36 0 0 36 / 36 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 36 0.0s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 36 0.1s Saturn.Bounded_stack concurrent
[ ] 8 0 0 8 / 36 0.2s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 36 0.3s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 36 0.7s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 36 1.0s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 36 1.1s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 36 1.4s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 36 1.5s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 36 1.9s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 36 2.1s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 36 3.6s Saturn.Bounded_stack concurrent
[ ] 28 0 0 28 / 36 3.7s Saturn.Bounded_stack concurrent
[ ] 35 0 0 35 / 36 3.8s Saturn.Bounded_stack concurrent
[✓] 36 0 0 36 / 36 3.8s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 242313529443236022
generated error fail pass / total time test name
[ ] 0 0 0 0 / 42 0.0s Saturn.Bounded_stack sequential
[✓] 42 0 0 42 / 42 0.0s Saturn.Bounded_stack sequential
[ ] 0 0 0 0 / 42 0.0s Saturn.Bounded_stack concurrent
[ ] 1 0 0 1 / 42 0.4s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 42 4.7s Saturn.Bounded_stack concurrent
[ ] 5 0 0 5 / 42 4.9s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 42 5.0s Saturn.Bounded_stack concurrent
[ ] 9 0 0 9 / 42 5.1s Saturn.Bounded_stack concurrent
[ ] 11 0 0 11 / 42 5.9s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 42 6.4s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 42 6.5s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 42 7.8s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 42 8.3s Saturn.Bounded_stack concurrent
[ ] 16 0 0 16 / 42 8.5s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 42 8.7s Saturn.Bounded_stack concurrent
[ ] 18 0 0 18 / 42 8.9s Saturn.Bounded_stack concurrent
[ ] 19 0 0 19 / 42 9.1s Saturn.Bounded_stack concurrent
[ ] 20 0 0 20 / 42 9.3s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 42 9.4s Saturn.Bounded_stack concurrent
[ ] 22 0 0 22 / 42 9.7s Saturn.Bounded_stack concurrent
[ ] 24 0 0 24 / 42 10.0s Saturn.Bounded_stack concurrent
[ ] 27 0 0 27 / 42 10.1s Saturn.Bounded_stack concurrent
[ ] 30 0 0 30 / 42 10.2s Saturn.Bounded_stack concurrent
[ ] 33 0 0 33 / 42 10.3s Saturn.Bounded_stack concurrent
[ ] 35 0 0 35 / 42 10.4s Saturn.Bounded_stack concurrent
[ ] 41 0 0 41 / 42 11.2s Saturn.Bounded_stack concurrent
[ ] 42 0 0 42 / 42 11.6s Saturn.Bounded_stack concurrent
[✓] 42 0 0 42 / 42 11.6s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3566599076965836757
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential
[✓] 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 0.1s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 32 0.3s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 32 0.4s Saturn.Bounded_stack concurrent
[ ] 7 0 0 7 / 32 0.8s Saturn.Bounded_stack concurrent
[ ] 10 0 0 10 / 32 1.4s Saturn.Bounded_stack concurrent
[ ] 13 0 0 13 / 32 1.6s Saturn.Bounded_stack concurrent
[ ] 14 0 0 14 / 32 3.2s Saturn.Bounded_stack concurrent
[ ] 16 0 0 16 / 32 3.9s Saturn.Bounded_stack concurrent
[ ] 21 0 0 21 / 32 4.0s Saturn.Bounded_stack concurrent
[ ] 23 0 0 23 / 32 4.2s Saturn.Bounded_stack concurrent
[ ] 26 0 0 26 / 32 4.5s Saturn.Bounded_stack concurrent
[ ] 29 0 0 29 / 32 4.6s Saturn.Bounded_stack concurrent
[ ] 30 0 0 30 / 32 4.8s Saturn.Bounded_stack concurrent
[✓] 32 0 0 32 / 32 4.8s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1419918183060460114
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential
[✓] 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 0.2s Saturn.Bounded_stack concurrent
[ ] 2 0 0 2 / 32 0.3s Saturn.Bounded_stack concurrent
[ ] 4 0 0 4 / 32 3.8s Saturn.Bounded_stack concurrent
[ ] 6 0 0 6 / 32 4.0s Saturn.Bounded_stack concurrent
[ ] 12 0 0 12 / 32 4.2s Saturn.Bounded_stack concurrent
[ ] 15 0 0 15 / 32 5.2s Saturn.Bounded_stack concurrent
[ ] 17 0 0 17 / 32 5.4s Saturn.Bounded_stack concurrent
[ ] 25 0 0 25 / 32 5.5s Saturn.Bounded_stack concurrent
[ ] 28 0 0 28 / 32 5.6s Saturn.Bounded_stack concurrent
[ ] 31 0 0 31 / 32 5.8s Saturn.Bounded_stack concurrent
[✓] 32 0 0 32 / 32 5.8s Saturn.Bounded_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 3535835070707907459
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.8s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 32 3.2s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 32 4.5s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 32 5.8s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 7.4s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 32 9.7s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 32 11.1s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 12.4s Saturn.Treiber_stack concurrent
[ ] 9 0 0 9 / 32 14.5s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 32 15.2s Saturn.Treiber_stack concurrent
[ ] 11 0 0 11 / 32 15.8s Saturn.Treiber_stack concurrent
[ ] 12 0 0 12 / 32 16.7s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 32 16.9s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 32 17.1s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 32 17.9s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 32 18.2s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 32 18.7s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 32 19.4s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 32 19.9s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 32 21.0s Saturn.Treiber_stack concurrent
[ ] 22 0 0 22 / 32 21.4s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 32 21.7s Saturn.Treiber_stack concurrent
[ ] 24 0 0 24 / 32 22.3s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 32 23.7s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 32 24.0s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 32 25.2s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 32 25.5s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 32 25.8s Saturn.Treiber_stack concurrent
[ ] 30 0 0 30 / 32 26.0s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 32 26.9s Saturn.Treiber_stack concurrent
[ ] 32 0 0 32 / 32 27.1s Saturn.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 27.1s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3811643012679103596
generated error fail pass / total time test name
[ ] 0 0 0 0 / 38 0.0s Saturn.Treiber_stack sequential
[✓] 38 0 0 38 / 38 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 38 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 38 0.6s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 38 0.8s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 38 1.0s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 38 2.0s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 38 2.2s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 38 3.0s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 38 3.2s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 38 3.4s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 38 3.6s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 38 3.7s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 38 3.8s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 38 4.3s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 38 5.7s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 38 6.4s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 38 7.1s Saturn.Treiber_stack concurrent
[ ] 22 0 0 22 / 38 7.5s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 38 7.9s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 38 8.3s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 38 8.4s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 38 8.6s Saturn.Treiber_stack concurrent
[ ] 32 0 0 32 / 38 8.7s Saturn.Treiber_stack concurrent
[ ] 33 0 0 33 / 38 9.1s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 38 9.4s Saturn.Treiber_stack concurrent
[ ] 36 0 0 36 / 38 9.6s Saturn.Treiber_stack concurrent
[ ] 37 0 0 37 / 38 9.8s Saturn.Treiber_stack concurrent
[✓] 38 0 0 38 / 38 9.8s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2549566461729584651
generated error fail pass / total time test name
[ ] 0 0 0 0 / 43 0.0s Saturn.Treiber_stack sequential
[✓] 43 0 0 43 / 43 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 43 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 43 0.1s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 43 0.5s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 43 0.6s Saturn.Treiber_stack concurrent
[ ] 11 0 0 11 / 43 0.9s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 43 1.1s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 43 2.0s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 43 2.1s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 43 2.4s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 43 2.7s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 43 2.8s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 43 3.0s Saturn.Treiber_stack concurrent
[ ] 30 0 0 30 / 43 3.1s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 43 3.8s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 43 4.0s Saturn.Treiber_stack concurrent
[ ] 38 0 0 38 / 43 4.2s Saturn.Treiber_stack concurrent
[✓] 43 0 0 43 / 43 4.3s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1959771717061762126
generated error fail pass / total time test name
[ ] 0 0 0 0 / 51 0.0s Saturn.Treiber_stack sequential
[✓] 51 0 0 51 / 51 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 51 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 51 0.0s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 51 0.3s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 51 0.5s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 51 0.6s Saturn.Treiber_stack concurrent
[ ] 14 0 0 14 / 51 0.7s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 51 0.8s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 51 1.1s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 51 1.4s Saturn.Treiber_stack concurrent
[ ] 30 0 0 30 / 51 1.8s Saturn.Treiber_stack concurrent
[ ] 32 0 0 32 / 51 1.9s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 51 2.2s Saturn.Treiber_stack concurrent
[ ] 37 0 0 37 / 51 2.3s Saturn.Treiber_stack concurrent
[ ] 38 0 0 38 / 51 2.4s Saturn.Treiber_stack concurrent
[ ] 41 0 0 41 / 51 2.5s Saturn.Treiber_stack concurrent
[ ] 43 0 0 43 / 51 2.6s Saturn.Treiber_stack concurrent
[ ] 46 0 0 46 / 51 3.3s Saturn.Treiber_stack concurrent
[ ] 49 0 0 49 / 51 3.4s Saturn.Treiber_stack concurrent
[✓] 51 0 0 51 / 51 3.4s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1638246296256738589
generated error fail pass / total time test name
[ ] 0 0 0 0 / 56 0.0s Saturn.Treiber_stack sequential
[✓] 56 0 0 56 / 56 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 56 0.0s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 56 0.1s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 56 0.2s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 56 0.4s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 56 0.5s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 56 0.6s Saturn.Treiber_stack concurrent
[ ] 24 0 0 24 / 56 0.8s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 56 0.9s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 56 1.0s Saturn.Treiber_stack concurrent
[ ] 41 0 0 41 / 56 1.8s Saturn.Treiber_stack concurrent
[ ] 44 0 0 44 / 56 1.9s Saturn.Treiber_stack concurrent
[ ] 48 0 0 48 / 56 2.4s Saturn.Treiber_stack concurrent
[ ] 49 0 0 49 / 56 2.9s Saturn.Treiber_stack concurrent
[ ] 50 0 0 50 / 56 3.4s Saturn.Treiber_stack concurrent
[ ] 51 0 0 51 / 56 3.7s Saturn.Treiber_stack concurrent
[ ] 52 0 0 52 / 56 4.4s Saturn.Treiber_stack concurrent
[ ] 53 0 0 53 / 56 4.9s Saturn.Treiber_stack concurrent
[ ] 54 0 0 54 / 56 5.3s Saturn.Treiber_stack concurrent
[ ] 55 0 0 55 / 56 5.6s Saturn.Treiber_stack concurrent
[ ] 56 0 0 56 / 56 5.7s Saturn.Treiber_stack concurrent
[✓] 56 0 0 56 / 56 5.7s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1701949976805666663
generated error fail pass / total time test name
[ ] 0 0 0 0 / 41 0.0s Saturn.Treiber_stack sequential
[✓] 41 0 0 41 / 41 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 41 0.0s Saturn.Treiber_stack concurrent
[ ] 1 0 0 1 / 41 0.2s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 41 0.4s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 41 0.5s Saturn.Treiber_stack concurrent
[ ] 4 0 0 4 / 41 0.8s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 41 1.0s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 41 1.1s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 41 1.3s Saturn.Treiber_stack concurrent
[ ] 12 0 0 12 / 41 1.6s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 41 1.7s Saturn.Treiber_stack concurrent
[ ] 17 0 0 17 / 41 2.0s Saturn.Treiber_stack concurrent
[ ] 19 0 0 19 / 41 2.2s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 41 2.4s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 41 2.5s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 41 2.8s Saturn.Treiber_stack concurrent
[ ] 27 0 0 27 / 41 3.0s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 41 3.4s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 41 4.0s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 41 4.1s Saturn.Treiber_stack concurrent
[ ] 35 0 0 35 / 41 4.3s Saturn.Treiber_stack concurrent
[✓] 41 0 0 41 / 41 4.4s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3136334573523237894
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential
[✓] 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 0.1s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 0.2s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 32 0.4s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 0.5s Saturn.Treiber_stack concurrent
[ ] 9 0 0 9 / 32 0.7s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 32 0.8s Saturn.Treiber_stack concurrent (collecting)
[ ] 16 0 0 16 / 32 0.9s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 32 1.0s Saturn.Treiber_stack concurrent
[ ] 25 0 0 25 / 32 1.1s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 32 1.7s Saturn.Treiber_stack concurrent
[ ] 29 0 0 29 / 32 1.8s Saturn.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 1.9s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 2350032588462110463
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential
[✓] 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 0.3s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 32 0.5s Saturn.Treiber_stack concurrent
[ ] 3 0 0 3 / 32 0.8s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 1.0s Saturn.Treiber_stack concurrent
[ ] 7 0 0 7 / 32 1.2s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 1.4s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 32 1.5s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 32 1.7s Saturn.Treiber_stack concurrent
[ ] 15 0 0 15 / 32 1.8s Saturn.Treiber_stack concurrent
[ ] 16 0 0 16 / 32 1.9s Saturn.Treiber_stack concurrent
[ ] 21 0 0 21 / 32 2.0s Saturn.Treiber_stack concurrent
[ ] 23 0 0 23 / 32 2.1s Saturn.Treiber_stack concurrent
[ ] 26 0 0 26 / 32 2.2s Saturn.Treiber_stack concurrent
[ ] 31 0 0 31 / 32 2.4s Saturn.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 2.4s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 1225476134248624065
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential
[✓] 32 0 0 32 / 32 0.0s Saturn.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack concurrent
[ ] 2 0 0 2 / 32 0.1s Saturn.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 3.0s Saturn.Treiber_stack concurrent
[ ] 6 0 0 6 / 32 3.1s Saturn.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 3.2s Saturn.Treiber_stack concurrent
[ ] 10 0 0 10 / 32 3.3s Saturn.Treiber_stack concurrent
[ ] 13 0 0 13 / 32 3.7s Saturn.Treiber_stack concurrent
[ ] 18 0 0 18 / 32 4.8s Saturn.Treiber_stack concurrent
[ ] 20 0 0 20 / 32 4.9s Saturn.Treiber_stack concurrent
[ ] 22 0 0 22 / 32 5.5s Saturn.Treiber_stack concurrent
[ ] 28 0 0 28 / 32 5.7s Saturn.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 5.8s Saturn.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 3551262773423496901
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.6s Saturn.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 32 2.8s Saturn.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 32 4.8s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 32 6.6s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 32 8.9s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 9.9s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 32 11.5s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 32 11.6s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 32 13.4s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 32 14.4s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 32 14.6s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 15.2s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 32 16.5s Saturn.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 32 20.7s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 32 22.2s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 32 22.9s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 32 23.2s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 32 24.2s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 32 24.6s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 32 25.3s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 32 25.6s Saturn.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 32 25.8s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 32 26.6s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 32 27.1s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 32 27.7s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 32 28.5s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 32 28.9s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 32 29.4s Saturn.michael_scott_queue_safe concurrent
[ ] 31 0 0 31 / 32 29.6s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 29.9s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 29.9s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3141775641373874816
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 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
[ ] 2 0 0 2 / 32 0.2s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 32 0.4s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 32 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 32 2.0s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 32 2.8s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 32 2.9s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 4.1s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 32 4.2s Saturn.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 32 4.6s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 32 4.7s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 32 4.9s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 32 5.1s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 32 5.2s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 32 5.3s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 32 5.5s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 32 5.7s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 32 5.8s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 6.0s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 6.0s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 2637708617490973557
generated error fail pass / total time test name
[ ] 0 0 0 0 / 43 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 43 0 0 43 / 43 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 43 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 1 0 0 1 / 43 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 43 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 43 0.7s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 43 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 43 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 43 1.1s Saturn.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 43 1.2s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 43 1.6s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 43 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 37 0 0 37 / 43 2.1s Saturn.michael_scott_queue_safe concurrent
[ ] 40 0 0 40 / 43 2.2s Saturn.michael_scott_queue_safe concurrent
[✓] 43 0 0 43 / 43 2.2s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1620572340284803931
generated error fail pass / total time test name
[ ] 0 0 0 0 / 61 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 61 0 0 61 / 61 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 61 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 61 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 61 0.3s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 61 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 61 0.7s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 61 0.8s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 61 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 61 1.6s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 61 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 61 1.8s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 61 2.3s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 61 2.6s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 61 2.7s Saturn.michael_scott_queue_safe concurrent
[ ] 34 0 0 34 / 61 2.8s Saturn.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 61 2.9s Saturn.michael_scott_queue_safe concurrent
[ ] 45 0 0 45 / 61 3.0s Saturn.michael_scott_queue_safe concurrent
[ ] 48 0 0 48 / 61 3.4s Saturn.michael_scott_queue_safe concurrent
[ ] 50 0 0 50 / 61 3.5s Saturn.michael_scott_queue_safe concurrent
[ ] 57 0 0 57 / 61 3.6s Saturn.michael_scott_queue_safe concurrent
[ ] 59 0 0 59 / 61 3.9s Saturn.michael_scott_queue_safe concurrent
[✓] 61 0 0 61 / 61 4.0s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3998796651632871269
generated error fail pass / total time test name
[ ] 0 0 0 0 / 71 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 71 0 0 71 / 71 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 71 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 1 0 0 1 / 71 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 71 0.2s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 71 0.3s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 71 0.6s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 71 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 71 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 71 1.1s Saturn.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 71 1.3s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 71 1.6s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 71 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 71 1.9s Saturn.michael_scott_queue_safe concurrent
[ ] 36 0 0 36 / 71 2.0s Saturn.michael_scott_queue_safe concurrent
[ ] 39 0 0 39 / 71 2.2s Saturn.michael_scott_queue_safe concurrent
[ ] 43 0 0 43 / 71 2.3s Saturn.michael_scott_queue_safe concurrent
[ ] 47 0 0 47 / 71 2.6s Saturn.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 71 2.7s Saturn.michael_scott_queue_safe concurrent
[ ] 56 0 0 56 / 71 2.8s Saturn.michael_scott_queue_safe concurrent
[ ] 63 0 0 63 / 71 2.9s Saturn.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 71 3.0s Saturn.michael_scott_queue_safe concurrent
[ ] 66 0 0 66 / 71 3.2s Saturn.michael_scott_queue_safe concurrent
[ ] 70 0 0 70 / 71 3.8s Saturn.michael_scott_queue_safe concurrent
[ ] 71 0 0 71 / 71 3.9s Saturn.michael_scott_queue_safe concurrent
[✓] 71 0 0 71 / 71 3.9s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1176282316570636553
generated error fail pass / total time test name
[ ] 0 0 0 0 / 73 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 73 0 0 73 / 73 0.0s Saturn.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 73 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 73 0.2s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 73 0.3s Saturn.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 73 0.8s Saturn.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 73 1.2s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 73 1.4s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 73 1.6s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 73 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 73 2.0s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 73 2.3s Saturn.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 73 2.8s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 73 3.1s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 73 3.4s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 73 3.6s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 73 3.8s Saturn.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 73 4.3s Saturn.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 73 4.5s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 73 4.7s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 73 4.9s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 73 5.1s Saturn.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 73 5.3s Saturn.michael_scott_queue_safe concurrent
[ ] 35 0 0 35 / 73 5.4s Saturn.michael_scott_queue_safe concurrent
[ ] 37 0 0 37 / 73 5.5s Saturn.michael_scott_queue_safe concurrent
[ ] 44 0 0 44 / 73 5.6s Saturn.michael_scott_queue_safe concurrent
[ ] 46 0 0 46 / 73 5.9s Saturn.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 73 6.0s Saturn.michael_scott_queue_safe concurrent
[ ] 54 0 0 54 / 73 6.8s Saturn.michael_scott_queue_safe concurrent
[ ] 55 0 0 55 / 73 6.9s Saturn.michael_scott_queue_safe concurrent
[ ] 56 0 0 56 / 73 7.1s Saturn.michael_scott_queue_safe concurrent
[ ] 57 0 0 57 / 73 7.5s Saturn.michael_scott_queue_safe concurrent
[ ] 59 0 0 59 / 73 7.6s Saturn.michael_scott_queue_safe concurrent
[ ] 61 0 0 61 / 73 7.8s Saturn.michael_scott_queue_safe concurrent
[ ] 63 0 0 63 / 73 8.0s Saturn.michael_scott_queue_safe concurrent
[ ] 64 0 0 64 / 73 8.1s Saturn.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 73 8.4s Saturn.michael_scott_queue_safe concurrent
[ ] 66 0 0 66 / 73 8.5s Saturn.michael_scott_queue_safe concurrent
[ ] 67 0 0 67 / 73 8.7s Saturn.michael_scott_queue_safe concurrent
[ ] 70 0 0 70 / 73 9.2s Saturn.michael_scott_queue_safe concurrent
[ ] 73 0 0 73 / 73 9.3s Saturn.michael_scott_queue_safe concurrent
[✓] 73 0 0 73 / 73 9.3s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1072431021546278191
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 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
[ ] 3 0 0 3 / 32 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 32 0.3s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 32 0.4s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 32 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 32 0.6s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 32 0.8s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 32 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 1.1s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 1.1s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3754493577236524898
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 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
[ ] 5 0 0 5 / 32 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 0.2s Saturn.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 32 0.4s Saturn.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 32 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 32 1.1s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 32 1.4s Saturn.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 32 1.5s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 32 1.6s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 1.7s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 2522743785825468239
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 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
[ ] 2 0 0 2 / 32 0.0s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 32 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 32 0.6s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 0.7s Saturn.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 32 0.9s Saturn.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 32 1.0s Saturn.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 32 1.1s Saturn.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 32 1.2s Saturn.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 32 1.7s Saturn.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 32 1.9s Saturn.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 2.0s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 2.0s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3142308511097158580
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential
[✓] 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
[ ] 4 0 0 4 / 32 0.1s Saturn.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 0.5s Saturn.michael_scott_queue_safe concurrent
[ ] 10 0 0 10 / 32 0.6s Saturn.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 0.8s Saturn.michael_scott_queue_safe concurrent
[ ] 18 0 0 18 / 32 1.2s Saturn.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 32 1.5s Saturn.michael_scott_queue_safe concurrent
[ ] 29 0 0 29 / 32 1.6s Saturn.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 1.6s Saturn.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1325732520621061255
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
[ ] 4 0 0 4 / 32 0.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 6 0 0 6 / 32 0.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 32 0.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 12 0 0 12 / 32 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 32 0.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 32 1.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 22 0 0 22 / 32 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 25 0 0 25 / 32 1.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 32 1.7s Saturn.michael_scott_queue_unsafe concurrent
[✓] 32 0 0 32 / 32 1.7s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 3317349557735619944
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.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 64 0.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 12 0 0 12 / 64 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 64 0.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 64 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 20 0 0 20 / 64 0.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 26 0 0 26 / 64 1.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 29 0 0 29 / 64 1.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 36 0 0 36 / 64 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 40 0 0 40 / 64 1.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 42 0 0 42 / 64 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 64 1.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 54 0 0 54 / 64 2.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 61 0 0 61 / 64 2.1s Saturn.michael_scott_queue_unsafe concurrent
[✓] 64 0 0 64 / 64 2.2s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 2931646983980992586
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
[ ] 2 0 0 2 / 128 0.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 128 0.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 8 0 0 8 / 128 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 128 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 22 0 0 22 / 128 0.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 128 0.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 128 1.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 35 0 0 35 / 128 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 39 0 0 39 / 128 1.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 42 0 0 42 / 128 1.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 45 0 0 45 / 128 2.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 128 2.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 55 0 0 55 / 128 2.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 56 0 0 56 / 128 2.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 128 3.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 61 0 0 61 / 128 3.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 68 0 0 68 / 128 3.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 72 0 0 72 / 128 3.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 79 0 0 79 / 128 3.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 84 0 0 84 / 128 3.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 86 0 0 86 / 128 3.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 89 0 0 89 / 128 4.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 94 0 0 94 / 128 4.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 99 0 0 99 / 128 4.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 108 0 0 108 / 128 4.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 118 0 0 118 / 128 4.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 124 0 0 124 / 128 4.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 128 0 0 128 / 128 4.8s Saturn.michael_scott_queue_unsafe concurrent
[✓] 128 0 0 128 / 128 4.8s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 1539295237961904060
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 256 0.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 15 0 0 15 / 256 0.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 18 0 0 18 / 256 0.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 256 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 256 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 31 0 0 31 / 256 0.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 38 0 0 38 / 256 1.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 48 0 0 48 / 256 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 54 0 0 54 / 256 1.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 256 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 64 0 0 64 / 256 2.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 65 0 0 65 / 256 2.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 69 0 0 69 / 256 2.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 76 0 0 76 / 256 2.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 80 0 0 80 / 256 3.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 81 0 0 81 / 256 3.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 87 0 0 87 / 256 3.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 95 0 0 95 / 256 3.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 100 0 0 100 / 256 3.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 102 0 0 102 / 256 3.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 111 0 0 111 / 256 3.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 115 0 0 115 / 256 4.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 118 0 0 118 / 256 4.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 124 0 0 124 / 256 4.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 128 0 0 128 / 256 4.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 131 0 0 131 / 256 4.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 135 0 0 135 / 256 5.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 141 0 0 141 / 256 5.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 149 0 0 149 / 256 5.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 153 0 0 153 / 256 5.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 161 0 0 161 / 256 5.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 167 0 0 167 / 256 5.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 175 0 0 175 / 256 5.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 181 0 0 181 / 256 6.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 182 0 0 182 / 256 6.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 186 0 0 186 / 256 6.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 187 0 0 187 / 256 6.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 189 0 0 189 / 256 7.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 190 0 0 190 / 256 7.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 197 0 0 197 / 256 7.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 203 0 0 203 / 256 8.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 204 0 0 204 / 256 8.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 205 0 0 205 / 256 8.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 209 0 0 209 / 256 8.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 212 0 0 212 / 256 9.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 217 0 0 217 / 256 9.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 223 0 0 223 / 256 9.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 227 0 0 227 / 256 9.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 230 0 0 230 / 256 9.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 233 0 0 233 / 256 9.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 241 0 0 241 / 256 10.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 249 0 0 249 / 256 10.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 256 0 0 256 / 256 10.3s Saturn.michael_scott_queue_unsafe concurrent
[✓] 256 0 0 256 / 256 10.3s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 1434363083354323448
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_unsafe sequential
[✓] 512 0 0 512 / 512 0.0s Saturn.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 8 0 0 8 / 512 0.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 512 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 22 0 0 22 / 512 0.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 25 0 0 25 / 512 0.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 512 0.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 512 1.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 33 0 0 33 / 512 1.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 37 0 0 37 / 512 1.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 40 0 0 40 / 512 1.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 512 1.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 49 0 0 49 / 512 1.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 51 0 0 51 / 512 1.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 512 2.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 61 0 0 61 / 512 2.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 65 0 0 65 / 512 2.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 72 0 0 72 / 512 2.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 79 0 0 79 / 512 3.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 84 0 0 84 / 512 3.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 90 0 0 90 / 512 3.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 96 0 0 96 / 512 3.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 97 0 0 97 / 512 3.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 103 0 0 103 / 512 3.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 105 0 0 105 / 512 4.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 108 0 0 108 / 512 4.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 112 0 0 112 / 512 4.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 114 0 0 114 / 512 4.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 117 0 0 117 / 512 4.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 126 0 0 126 / 512 4.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 131 0 0 131 / 512 5.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 137 0 0 137 / 512 5.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 142 0 0 142 / 512 5.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 148 0 0 148 / 512 5.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 152 0 0 152 / 512 6.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 156 0 0 156 / 512 6.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 163 0 0 163 / 512 6.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 171 0 0 171 / 512 6.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 178 0 0 178 / 512 6.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 180 0 0 180 / 512 6.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 181 0 0 181 / 512 7.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 182 0 0 182 / 512 7.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 188 0 0 188 / 512 7.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 191 0 0 191 / 512 7.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 198 0 0 198 / 512 7.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 200 0 0 200 / 512 7.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 208 0 0 208 / 512 8.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 214 0 0 214 / 512 8.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 217 0 0 217 / 512 8.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 220 0 0 220 / 512 8.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 227 0 0 227 / 512 8.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 233 0 0 233 / 512 9.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 240 0 0 240 / 512 9.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 241 0 0 241 / 512 9.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 247 0 0 247 / 512 9.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 251 0 0 251 / 512 9.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 252 0 0 252 / 512 10.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 253 0 0 253 / 512 10.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 256 0 0 256 / 512 10.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 258 0 0 258 / 512 10.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 259 0 0 259 / 512 11.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 261 0 0 261 / 512 11.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 266 0 0 266 / 512 11.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 269 0 0 269 / 512 12.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 274 0 0 274 / 512 12.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 275 0 0 275 / 512 12.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 279 0 0 279 / 512 12.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 280 0 0 280 / 512 13.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 284 0 0 284 / 512 13.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 290 0 0 290 / 512 13.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 294 0 0 294 / 512 13.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 300 0 0 300 / 512 14.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 301 0 0 301 / 512 14.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 305 0 0 305 / 512 14.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 311 0 0 311 / 512 14.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 316 0 0 316 / 512 14.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 322 0 0 322 / 512 14.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 325 0 0 325 / 512 15.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 327 0 0 327 / 512 15.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 331 0 0 331 / 512 15.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 338 0 0 338 / 512 15.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 345 0 0 345 / 512 15.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 349 0 0 349 / 512 16.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 352 0 0 352 / 512 16.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 360 0 0 360 / 512 16.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 361 0 0 361 / 512 16.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 365 0 0 365 / 512 16.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 367 0 0 367 / 512 16.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 368 0 0 368 / 512 17.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 373 0 0 373 / 512 17.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 379 0 0 379 / 512 17.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 386 0 0 386 / 512 17.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 391 0 0 391 / 512 17.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 395 0 0 395 / 512 17.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 402 0 0 402 / 512 17.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 405 0 0 405 / 512 18.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 410 0 0 410 / 512 18.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 413 0 0 413 / 512 18.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 418 0 0 418 / 512 19.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 420 0 0 420 / 512 19.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 423 0 0 423 / 512 19.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 432 0 0 432 / 512 19.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 435 0 0 435 / 512 19.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 438 0 0 438 / 512 19.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 439 0 0 439 / 512 19.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 446 0 0 446 / 512 20.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 451 0 0 451 / 512 20.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 454 0 0 454 / 512 20.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 458 0 0 458 / 512 20.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 459 0 0 459 / 512 20.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 469 0 0 469 / 512 20.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 473 0 0 473 / 512 20.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 478 0 0 478 / 512 21.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 479 0 0 479 / 512 21.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 480 0 0 480 / 512 22.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 481 0 0 481 / 512 23.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 484 0 0 484 / 512 23.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 486 0 0 486 / 512 24.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 488 0 0 488 / 512 24.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 489 0 0 489 / 512 25.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 490 0 0 490 / 512 25.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 492 0 0 492 / 512 25.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 493 0 0 493 / 512 25.8s Saturn.michael_scott_queue_unsafe concurrent
[ ] 494 0 0 494 / 512 26.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 497 0 0 497 / 512 26.5s Saturn.michael_scott_queue_unsafe concurrent
[ ] 498 0 0 498 / 512 26.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 499 0 0 499 / 512 26.7s Saturn.michael_scott_queue_unsafe concurrent
[ ] 502 0 0 502 / 512 26.9s Saturn.michael_scott_queue_unsafe concurrent
[ ] 506 0 0 506 / 512 27.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 511 0 0 511 / 512 27.2s Saturn.michael_scott_queue_unsafe concurrent
[✓] 512 0 0 512 / 512 27.2s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 1276628424057378492
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
[ ] 2 0 0 2 / 32 0.1s Saturn.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 32 0.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 32 0.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 10 0 0 10 / 32 0.6s Saturn.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 32 1.0s Saturn.michael_scott_queue_unsafe concurrent
[ ] 15 0 0 15 / 32 1.2s Saturn.michael_scott_queue_unsafe concurrent
[ ] 20 0 0 20 / 32 1.3s Saturn.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 32 1.4s Saturn.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 32 1.5s Saturn.michael_scott_queue_unsafe concurrent
[✓] 32 0 0 32 / 32 1.6s Saturn.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
2025-01-07 13:26.57 ---> saved as "929dca92eba2a928a604cc56f5e019bd30c747d96f961fc3251922d1c22d0150"
Job succeeded
2025-01-07 13:26.58: Job succeeded