2024-09-29 08:40.27: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/lock-free-bounded-queue (1a48da96442ad7c0ec0df6d5eeea53f1616217b2) (linux-x86_64:alpine-3.20-4.14_opam-2.2)
Base: ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "lock-free-bounded-queue" && cd "saturn" && git reset --hard 1a48da96
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37
# alpine-3.20-4.14_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /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 b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn_lockfree.opam saturn.opam ./
RUN opam pin add -yn saturn_lockfree.dev './' && \
opam pin add -yn saturn.dev './'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.5 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 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 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.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2024-09-29 08:40.27: Using cache hint "ocaml-multicore/saturn-ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37-alpine-3.20-4.14_opam-2.2-95f8c4071d7ed938b0debe86599c4ba1"
2024-09-29 08:40.27: Using OBuilder spec:
((from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37)
(comment alpine-3.20-4.14_opam-2.2)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.2 /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 b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn_lockfree.opam saturn.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.5 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 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 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.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2024-09-29 08:40.27: Waiting for resource in pool OCluster
2024-09-29 08:40.27: Waiting for worker…
2024-09-29 08:40.27: Got resource from pool OCluster
Building on x86-bm-c7.sw.ocaml.org
All commits already cached
HEAD is now at 1a48da9 Padding
(from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37)
2024-09-29 08:40.28 ---> using "360f26edbd0764b52725b6294936e7148bc39f2a4ff846a4d8ad86f052b4c874" from cache
/: (comment alpine-3.20-4.14_opam-2.2)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-09-29 08:40.28 ---> using "200c86535b79daa0ed9fd4ec7265f39fc5aade141e9f2cbabb8143f6040bf1c9" 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
2024-09-29 08:40.28 ---> using "73d522c0d095471d6dfb7023b8f19cc58a229e565a5e67fc05f4c0f5fc25ef6a" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-122-generic
The OCaml toplevel, version 4.14.2
2.2.1
2024-09-29 08:40.28 ---> using "12d274586c7c3985bb430ba0ab811fc24f4571ff854916652190cee37a5be771" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2024-09-29 08:40.28 ---> using "1be42e60ed85d47ecf19634ade86e7dfb3d5eb822ffa9f2d57b29239420a3bdb" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
e89899ac28..98a8109514 master -> origin/master
b876d7d370 Merge pull request #26641 from polytypic/release-backoff-0.1.1
<><> 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.
# Run eval $(opam env) to update the current shell environment
2024-09-29 08:40.28 ---> using "be1dd96aecbf1156ecd3c3b2fa274c19fb62dee89ee40c0ca6dcd27c7a27b9f9" from cache
/src: (copy (src saturn_lockfree.opam saturn.opam) (dst ./))
2024-09-29 08:40.28 ---> using "7663eec6b3d5f50def1e7aefc6dac9ed242e3552b54da3f0c7d12ef966f4ce12" from cache
/src: (run (network host)
(shell "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
[saturn_lockfree.dev] synchronised (file:///src)
saturn_lockfree is now pinned to file:///src (version dev)
[saturn.dev] synchronised (file:///src)
saturn is now pinned to file:///src (version dev)
2024-09-29 08:40.28 ---> using "6c93e075db3415aae865e7958f621f14b9c695ae38870d54ba362d95aa30eb47" from cache
/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.5 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 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 picos.0.5.0 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-local-storage.0.2 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.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
+ /usr/bin/sudo "apk" "update"
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
- v3.20.3-82-ge412022add8 [https://dl-cdn.alpinelinux.org/alpine/v3.20/main]
- v3.20.3-85-ge19c1188ff3 [https://dl-cdn.alpinelinux.org/alpine/v3.20/community]
- v20240923-437-g223c9dbc5b3 [https://dl-cdn.alpinelinux.org/alpine/edge/main]
- v20240923-445-g52c0cbeacb6 [https://dl-cdn.alpinelinux.org/alpine/edge/community]
- v20240923-444-g8d21b0e8b51 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]
- OK: 55365 distinct packages available
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (no changes)
[saturn_lockfree.dev] synchronised (no changes)
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-09-29 08:40.28 ---> using "a608c21f6b9ae7e82a05dc0471fb219fa13581955e944e4099b9d3059f9564dc" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 38 packages
- install alcotest 1.8.0
- install astring 0.8.5
- install backoff 0.1.1
- install cmdliner 1.3.0
- install containers 3.14
- 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.16.0
- install dune-configurator 3.16.0
- install either 1.0.0
- install fmt 0.9.0
- install mtime 2.1.0
- install multicore-bench 0.1.5
- install multicore-magic 2.3.0
- install multicore-magic-dscheck 2.3.0
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild 0.15.0
- install ocamlfind 1.9.6
- install oseq 0.5.1
- install ounit2 2.2.7
- install picos 0.5.0
- install qcheck 0.22
- install qcheck-alcotest 0.22
- install qcheck-core 0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-ounit 0.22
- install qcheck-stm 0.4
- install re 1.12.0
- install seq base
- install stdlib-shims 0.3.0
- install thread-local-storage 0.2
- 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 cmdliner.1.3.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved alcotest.1.8.0 (cached)
-> retrieved containers.3.14 (cached)
-> retrieved domain-local-await.1.0.1 (cached)
-> retrieved domain_shims.0.1.0 (cached)
-> retrieved dscheck.0.5.0 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved fmt.0.9.0 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved multicore-bench.0.1.5 (cached)
-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved oseq.0.5.1 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22 (cached)
-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4 (cached)
-> retrieved re.1.12.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved thread-local-storage.0.2 (https://github.com/c-cube/thread-local-storage/releases/download/v0.2/thread-local-storage-0.2.tbz)
-> retrieved tsort.2.1.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved picos.0.5.0 (https://github.com/ocaml-multicore/picos/releases/download/0.5.0/picos-0.5.0.tbz)
-> 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 mtime.2.1.0
-> installed fmt.0.9.0
-> installed uutf.1.0.3
-> installed astring.0.8.5
-> installed dune.3.16.0
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed backoff.0.1.1
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed oseq.0.5.1
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed thread-local-storage.0.2
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed yojson.2.2.2
-> installed qcheck-core.0.22
-> installed picos.0.5.0
-> installed domain-local-await.1.0.1
-> installed qcheck-multicoretests-util.0.4
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed multicore-bench.0.1.5
-> installed qcheck-stm.0.4
-> installed qcheck-alcotest.0.22
-> installed qcheck-ounit.0.22
-> installed qcheck.0.22
-> installed dune-configurator.3.16.0
-> installed containers.3.14
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-09-29 08:40.28 ---> using "83b4218a66978a19e2e239d5834425e847b8fb9597ce7a9f275af4ae002719e6" from cache
/src: (copy (src .) (dst /src))
2024-09-29 08:40.28 ---> saved as "95ec8593326012314299de82b54eb94caa434a8d7304ceab6c44c876a17eb79e"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
test_Spsc_queue_empty: ok
test_Spsc_queue_full: ok
test_Spsc_queue_parallel: ok (transferred = 100)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100)
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)
random seed: 2544302074261567794
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 601811365351098954
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 3416765547640141010
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 1976792231277294310
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 3982595651705871086
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
random seed: 242975434463399215
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Ws_deque sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)
random seed: 3773809408722276060
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 4066570950235230978
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 1593150464362335480
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2599514991609204706
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3286158556187330126
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 747711304885099208
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3427269717168970339
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 1267131674154729743
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 922629986398878829
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 2642257718455493127
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 1297132814594511395
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
random seed: 4074789590125603019
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 3482129877653524050
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 4165619959389607310
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 3315109656431077043
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 1166018309805070863
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 2682975040980702524
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
random seed: 471635269206898016
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 872248767
Testing `Treiber_stack'.
This run has ID `3C446N4E'.
[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 0.105s. 6 tests run.
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 826548118
Testing `Ws_deque'.
This run has ID `Z64IJNNE'.
[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 0.254s. 6 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 482679523
Testing `Michael_scott_queue'.
This run has ID `6FHQ2SO4'.
[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 0.303s. 16 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 857511322
Testing `Spsc_queues'.
This run has ID `ZU3TH78N'.
[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 0.736s. 16 tests run.
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 819964375
Testing `QCheck Skiplist'.
This run has ID `4G9IZZ87'.
[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 2.453s. 7 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 121154681
Testing `Mpsc_queue'.
This run has ID `3ZFLPEZD'.
[OK] one_consumer 0 push_head_pop_opt.
[OK] one_consumer 1 push_head_pop.
[OK] one_consumer 2 push_head_peek_opt.
[OK] one_consumer 3 push_head_peek.
[OK] one_consumer 4 pop_opt_empty.
[OK] one_consumer 5 pop_empty.
[OK] one_consumer 6 peek_opt_empty.
[OK] one_consumer 7 peek_empty.
[OK] one_consumer 8 push_head_not_empty.
[OK] one_consumer 9 close_push_head.
[OK] one_consumer 10 close_is_empty.
[OK] one_consumer 11 close_pop_opt.
[OK] one_consumer 12 pop_opt_order.
[OK] one_consumer 13 seq_push_pop_opt.
[OK] one_producer 0 push_not_empty.
[OK] one_producer 1 closing_prevents_pushing.
[OK] one_cons_one_prod 0 seq_push_pop_opt_peek_opt.
[OK] one_cons_one_prod 1 par_push_pop.
[OK] one_cons_one_prod 2 par_push_push_head.
[OK] one_cons_one_prod 3 par_pop_opt_push2.
[OK] one_cons_two_prod 0 par_push.
[OK] one_cons_two_prod 1 par_push_close_pop_opt.
Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 2.697s. 22 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
time per message/1 adder, 1 taker (spin):
208.05 ns
messages over time/1 adder, 1 taker (spin):
9.61 M/s
time per message/1 adder, 2 takers (spin):
352.18 ns
messages over time/1 adder, 2 takers (spin):
8.52 M/s
time per message/2 adders, 1 taker (spin):
327.24 ns
messages over time/2 adders, 1 taker (spin):
9.17 M/s
time per message/2 adders, 2 takers (spin):
444.21 ns
messages over time/2 adders, 2 takers (spin):
9.01 M/s
time per message/1 adder, 1 taker (not lf):
172.20 ns
messages over time/1 adder, 1 taker (not lf):
11.61 M/s
time per message/1 adder, 2 takers (not lf):
306.50 ns
messages over time/1 adder, 2 takers (not lf):
9.79 M/s
time per message/2 adders, 1 taker (not lf):
328.28 ns
messages over time/2 adders, 1 taker (not lf):
9.14 M/s
time per message/2 adders, 2 takers (not lf):
485.15 ns
messages over time/2 adders, 2 takers (not lf):
8.24 M/s
time per message/1 adder, 1 taker (cas):
187.45 ns
messages over time/1 adder, 1 taker (cas):
10.67 M/s
time per message/1 adder, 2 takers (cas):
322.34 ns
messages over time/1 adder, 2 takers (cas):
9.31 M/s
time per message/2 adders, 1 taker (cas):
305.27 ns
messages over time/2 adders, 1 taker (cas):
9.83 M/s
time per message/2 adders, 2 takers (cas):
403.29 ns
messages over time/2 adders, 2 takers (cas):
9.92 M/s
Saturn_lockfree Cue:
time per message/one domain:
57.65 ns
messages over time/one domain:
17.36 M/s
time per message/1 nb adder, 1 nb taker:
81.93 ns
messages over time/1 nb adder, 1 nb taker:
24.41 M/s
time per message/1 nb adder, 2 nb takers:
157.43 ns
messages over time/1 nb adder, 2 nb takers:
19.06 M/s
time per message/2 nb adders, 1 nb taker:
128.91 ns
messages over time/2 nb adders, 1 nb taker:
23.27 M/s
time per message/2 nb adders, 2 nb takers:
193.79 ns
messages over time/2 nb adders, 2 nb takers:
20.64 M/s
Saturn_lockfree Queue:
time per message/one domain:
64.71 ns
messages over time/one domain:
15.45 M/s
time per message/1 nb adder, 1 nb taker:
96.52 ns
messages over time/1 nb adder, 1 nb taker:
20.72 M/s
time per message/1 nb adder, 2 nb takers:
134.25 ns
messages over time/1 nb adder, 2 nb takers:
22.35 M/s
time per message/2 nb adders, 1 nb taker:
109.74 ns
messages over time/2 nb adders, 1 nb taker:
27.34 M/s
time per message/2 nb adders, 2 nb takers:
175.31 ns
messages over time/2 nb adders, 2 nb takers:
22.82 M/s
Saturn_lockfree Single_prod_single_cons_queue:
time per message/2 workers, capacity 1:
25699.81 ns
time per message/2 workers, capacity 1 (unsafe):
29360.86 ns
messages over time/2 workers, capacity 1:
0.08 M/s
messages over time/2 workers, capacity 1 (unsafe):
0.07 M/s
time per message/2 workers, capacity 8:
3933.51 ns
time per message/2 workers, capacity 8 (unsafe):
4229.25 ns
messages over time/2 workers, capacity 8:
0.51 M/s
messages over time/2 workers, capacity 8 (unsafe):
0.47 M/s
time per message/2 workers, capacity 64:
548.78 ns
time per message/2 workers, capacity 64 (unsafe):
655.67 ns
messages over time/2 workers, capacity 64:
3.64 M/s
messages over time/2 workers, capacity 64 (unsafe):
3.05 M/s
time per message/2 workers, capacity 512:
193.59 ns
time per message/2 workers, capacity 512 (unsafe):
129.36 ns
messages over time/2 workers, capacity 512:
10.33 M/s
messages over time/2 workers, capacity 512 (unsafe):
15.46 M/s
time per message/2 workers, capacity 4096:
129.10 ns
time per message/2 workers, capacity 4096 (unsafe):
92.39 ns
messages over time/2 workers, capacity 4096:
15.49 M/s
messages over time/2 workers, capacity 4096 (unsafe):
21.65 M/s
time per message/2 workers, capacity 32768:
109.14 ns
time per message/2 workers, capacity 32768 (unsafe):
63.92 ns
messages over time/2 workers, capacity 32768:
18.32 M/s
messages over time/2 workers, capacity 32768 (unsafe):
31.29 M/s
Saturn_lockfree Size:
time per operation/1 worker:
35.95 ns
operations over time/1 worker:
27.82 M/s
time per operation/2 workers:
72.19 ns
operations over time/2 workers:
27.70 M/s
time per operation/4 workers:
142.65 ns
operations over time/4 workers:
28.04 M/s
Saturn_lockfree Skiplist:
time per operation/1 workers, 10% mem 45% add 45% rem:
864.90 ns
operations over time/1 workers, 10% mem 45% add 45% rem:
1.16 M/s
time per operation/2 workers, 10% mem 45% add 45% rem:
1722.80 ns
operations over time/2 workers, 10% mem 45% add 45% rem:
1.16 M/s
time per operation/4 workers, 10% mem 45% add 45% rem:
3164.19 ns
operations over time/4 workers, 10% mem 45% add 45% rem:
1.26 M/s
time per operation/1 workers, 50% mem 25% add 25% rem:
627.15 ns
operations over time/1 workers, 50% mem 25% add 25% rem:
1.59 M/s
time per operation/2 workers, 50% mem 25% add 25% rem:
1241.00 ns
operations over time/2 workers, 50% mem 25% add 25% rem:
1.61 M/s
time per operation/4 workers, 50% mem 25% add 25% rem:
3048.49 ns
operations over time/4 workers, 50% mem 25% add 25% rem:
1.31 M/s
time per operation/1 workers, 90% mem 5% add 5% rem:
420.69 ns
operations over time/1 workers, 90% mem 5% add 5% rem:
2.38 M/s
time per operation/2 workers, 90% mem 5% add 5% rem:
1012.60 ns
operations over time/2 workers, 90% mem 5% add 5% rem:
1.98 M/s
time per operation/4 workers, 90% mem 5% add 5% rem:
2323.31 ns
operations over time/4 workers, 90% mem 5% add 5% rem:
1.72 M/s
Saturn_lockfree Stack:
time per message/one domain:
40.55 ns
messages over time/one domain:
24.66 M/s
time per message/1 adder, 1 taker:
71.06 ns
messages over time/1 adder, 1 taker:
28.14 M/s
time per message/1 adder, 2 takers:
95.92 ns
messages over time/1 adder, 2 takers:
31.28 M/s
time per message/2 adders, 1 taker:
78.80 ns
messages over time/2 adders, 1 taker:
38.07 M/s
time per message/2 adders, 2 takers:
124.91 ns
messages over time/2 adders, 2 takers:
32.02 M/s
Saturn_lockfree Work_stealing_deque:
time per spawn/1 worker:
112.66 ns
spawns over time/1 worker:
8.88 M/s
time per spawn/2 workers:
213.82 ns
spawns over time/2 workers:
9.35 M/s
time per spawn/4 workers:
440.41 ns
spawns over time/4 workers:
9.08 M/s
time per spawn/8 workers:
894.89 ns
spawns over time/8 workers:
8.94 M/s
time per message/1 adder, 1 taker:
152.34 ns
messages over time/1 adder, 1 taker:
13.13 M/s
time per message/1 adder, 2 takers:
251.83 ns
messages over time/1 adder, 2 takers:
11.91 M/s
time per message/1 adder, 4 takers:
589.25 ns
messages over time/1 adder, 4 takers:
8.49 M/s
time per message/one domain (FIFO):
90.23 ns
messages over time/one domain (FIFO):
11.08 M/s
time per message/one domain (LIFO):
94.21 ns
messages over time/one domain (LIFO):
10.61 M/s
(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 = 99979, stolen = 21)
(cd _build/default/test/cue && ./stm_cue.exe --verbose)
random seed: 3196946339193369799
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue concurrent
[ ] 2 0 0 2 / 32 0.1s Saturn_lockfree.Cue concurrent
[ ] 4 0 0 4 / 32 0.3s Saturn_lockfree.Cue concurrent
[ ] 5 0 0 5 / 32 0.4s Saturn_lockfree.Cue concurrent
[ ] 6 0 0 6 / 32 0.5s Saturn_lockfree.Cue concurrent
[ ] 9 0 0 9 / 32 0.7s Saturn_lockfree.Cue concurrent
[ ] 10 0 0 10 / 32 1.2s Saturn_lockfree.Cue concurrent
[ ] 13 0 0 13 / 32 1.4s Saturn_lockfree.Cue concurrent
[ ] 16 0 0 16 / 32 1.5s Saturn_lockfree.Cue concurrent
[ ] 18 0 0 18 / 32 2.1s Saturn_lockfree.Cue concurrent
[ ] 19 0 0 19 / 32 2.3s Saturn_lockfree.Cue concurrent
[ ] 23 0 0 23 / 32 2.4s Saturn_lockfree.Cue concurrent
[ ] 26 0 0 26 / 32 2.6s Saturn_lockfree.Cue concurrent
[ ] 28 0 0 28 / 32 2.9s Saturn_lockfree.Cue concurrent
[ ] 29 0 0 29 / 32 3.1s Saturn_lockfree.Cue concurrent
[ ] 31 0 0 31 / 32 3.2s Saturn_lockfree.Cue concurrent
[✓] 32 0 0 32 / 32 3.2s Saturn_lockfree.Cue concurrent
================================================================================
success (ran 2 tests)
random seed: 728661546261434732
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Cue sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Cue concurrent
[ ] 2 0 0 2 / 64 0.2s Saturn_lockfree.Cue concurrent
[ ] 6 0 0 6 / 64 0.6s Saturn_lockfree.Cue concurrent
[ ] 10 0 0 10 / 64 0.7s Saturn_lockfree.Cue concurrent
[ ] 13 0 0 13 / 64 1.3s Saturn_lockfree.Cue concurrent
[ ] 15 0 0 15 / 64 1.5s Saturn_lockfree.Cue concurrent
[ ] 18 0 0 18 / 64 1.6s Saturn_lockfree.Cue concurrent
[ ] 21 0 0 21 / 64 1.7s Saturn_lockfree.Cue concurrent
[ ] 24 0 0 24 / 64 1.9s Saturn_lockfree.Cue concurrent
[ ] 28 0 0 28 / 64 2.0s Saturn_lockfree.Cue concurrent
[ ] 29 0 0 29 / 64 2.2s Saturn_lockfree.Cue concurrent
[ ] 30 0 0 30 / 64 2.4s Saturn_lockfree.Cue concurrent
[ ] 31 0 0 31 / 64 2.6s Saturn_lockfree.Cue concurrent
[ ] 32 0 0 32 / 64 3.1s Saturn_lockfree.Cue concurrent
[ ] 34 0 0 34 / 64 3.6s Saturn_lockfree.Cue concurrent
[ ] 38 0 0 38 / 64 3.7s Saturn_lockfree.Cue concurrent
[ ] 40 0 0 40 / 64 3.8s Saturn_lockfree.Cue concurrent
[ ] 44 0 0 44 / 64 3.9s Saturn_lockfree.Cue concurrent
[ ] 47 0 0 47 / 64 4.0s Saturn_lockfree.Cue concurrent
[ ] 50 0 0 50 / 64 4.1s Saturn_lockfree.Cue concurrent
[ ] 55 0 0 55 / 64 4.2s Saturn_lockfree.Cue concurrent
[ ] 58 0 0 58 / 64 4.4s Saturn_lockfree.Cue concurrent
[ ] 63 0 0 63 / 64 4.5s Saturn_lockfree.Cue concurrent
[✓] 64 0 0 64 / 64 4.5s Saturn_lockfree.Cue concurrent
================================================================================
success (ran 2 tests)
random seed: 1926375702218840298
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Cue sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Cue concurrent
[ ] 3 0 0 3 / 128 0.2s Saturn_lockfree.Cue concurrent
[ ] 4 0 0 4 / 128 0.4s Saturn_lockfree.Cue concurrent
[ ] 6 0 0 6 / 128 0.6s Saturn_lockfree.Cue concurrent
[ ] 9 0 0 9 / 128 0.8s Saturn_lockfree.Cue concurrent
[ ] 12 0 0 12 / 128 0.9s Saturn_lockfree.Cue concurrent
[ ] 13 0 0 13 / 128 1.0s Saturn_lockfree.Cue concurrent
[ ] 18 0 0 18 / 128 1.2s Saturn_lockfree.Cue concurrent
[ ] 23 0 0 23 / 128 1.3s Saturn_lockfree.Cue concurrent
[ ] 25 0 0 25 / 128 1.7s Saturn_lockfree.Cue concurrent
[ ] 28 0 0 28 / 128 1.8s Saturn_lockfree.Cue concurrent
[ ] 30 0 0 30 / 128 1.9s Saturn_lockfree.Cue concurrent
[ ] 35 0 0 35 / 128 2.0s Saturn_lockfree.Cue concurrent
[ ] 39 0 0 39 / 128 2.1s Saturn_lockfree.Cue concurrent
[ ] 42 0 0 42 / 128 2.5s Saturn_lockfree.Cue concurrent
[ ] 44 0 0 44 / 128 3.0s Saturn_lockfree.Cue concurrent
[ ] 47 0 0 47 / 128 3.1s Saturn_lockfree.Cue concurrent
[ ] 53 0 0 53 / 128 3.2s Saturn_lockfree.Cue concurrent
[ ] 57 0 0 57 / 128 3.4s Saturn_lockfree.Cue concurrent
[ ] 61 0 0 61 / 128 3.5s Saturn_lockfree.Cue concurrent
[ ] 64 0 0 64 / 128 3.9s Saturn_lockfree.Cue concurrent
[ ] 67 0 0 67 / 128 4.1s Saturn_lockfree.Cue concurrent
[ ] 68 0 0 68 / 128 4.5s Saturn_lockfree.Cue concurrent
[ ] 70 0 0 70 / 128 4.6s Saturn_lockfree.Cue concurrent
[ ] 71 0 0 71 / 128 4.7s Saturn_lockfree.Cue concurrent
[ ] 74 0 0 74 / 128 4.9s Saturn_lockfree.Cue concurrent
[ ] 78 0 0 78 / 128 5.0s Saturn_lockfree.Cue concurrent
[ ] 81 0 0 81 / 128 5.4s Saturn_lockfree.Cue concurrent
[ ] 85 0 0 85 / 128 6.0s Saturn_lockfree.Cue concurrent
[ ] 88 0 0 88 / 128 6.4s Saturn_lockfree.Cue concurrent
[ ] 94 0 0 94 / 128 6.6s Saturn_lockfree.Cue concurrent
[ ] 95 0 0 95 / 128 7.0s Saturn_lockfree.Cue concurrent
[ ] 96 0 0 96 / 128 7.1s Saturn_lockfree.Cue concurrent
[ ] 97 0 0 97 / 128 7.3s Saturn_lockfree.Cue concurrent
[ ] 101 0 0 101 / 128 7.5s Saturn_lockfree.Cue concurrent
[ ] 105 0 0 105 / 128 7.8s Saturn_lockfree.Cue concurrent
[ ] 106 0 0 106 / 128 8.0s Saturn_lockfree.Cue concurrent
[ ] 107 0 0 107 / 128 8.4s Saturn_lockfree.Cue concurrent
[ ] 110 0 0 110 / 128 8.8s Saturn_lockfree.Cue concurrent
[ ] 112 0 0 112 / 128 8.9s Saturn_lockfree.Cue concurrent
[ ] 116 0 0 116 / 128 9.1s Saturn_lockfree.Cue concurrent
[ ] 122 0 0 122 / 128 9.2s Saturn_lockfree.Cue concurrent
[ ] 124 0 0 124 / 128 9.7s Saturn_lockfree.Cue concurrent
[ ] 128 0 0 128 / 128 9.8s Saturn_lockfree.Cue concurrent
[✓] 128 0 0 128 / 128 9.8s Saturn_lockfree.Cue concurrent
================================================================================
success (ran 2 tests)
random seed: 1452055196244610834
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Cue sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Cue concurrent
[ ] 3 0 0 3 / 256 0.3s Saturn_lockfree.Cue concurrent
[ ] 5 0 0 5 / 256 0.4s Saturn_lockfree.Cue concurrent
[ ] 8 0 0 8 / 256 0.7s Saturn_lockfree.Cue concurrent
[ ] 9 0 0 9 / 256 1.2s Saturn_lockfree.Cue concurrent
[ ] 15 0 0 15 / 256 1.3s Saturn_lockfree.Cue concurrent
[ ] 20 0 0 20 / 256 1.4s Saturn_lockfree.Cue concurrent
[ ] 22 0 0 22 / 256 1.5s Saturn_lockfree.Cue concurrent
[ ] 23 0 0 23 / 256 1.7s Saturn_lockfree.Cue concurrent
[ ] 29 0 0 29 / 256 1.8s Saturn_lockfree.Cue concurrent
[ ] 32 0 0 32 / 256 1.9s Saturn_lockfree.Cue concurrent
[ ] 37 0 0 37 / 256 2.0s Saturn_lockfree.Cue concurrent
[ ] 40 0 0 40 / 256 2.5s Saturn_lockfree.Cue concurrent
[ ] 41 0 0 41 / 256 2.6s Saturn_lockfree.Cue concurrent
[ ] 44 0 0 44 / 256 3.0s Saturn_lockfree.Cue concurrent
[ ] 49 0 0 49 / 256 3.3s Saturn_lockfree.Cue concurrent
[ ] 52 0 0 52 / 256 3.7s Saturn_lockfree.Cue concurrent
[ ] 57 0 0 57 / 256 3.8s Saturn_lockfree.Cue concurrent
[ ] 63 0 0 63 / 256 3.9s Saturn_lockfree.Cue concurrent
[ ] 67 0 0 67 / 256 4.1s Saturn_lockfree.Cue concurrent
[ ] 71 0 0 71 / 256 4.2s Saturn_lockfree.Cue concurrent
[ ] 72 0 0 72 / 256 4.6s Saturn_lockfree.Cue concurrent
[ ] 75 0 0 75 / 256 4.7s Saturn_lockfree.Cue concurrent
[ ] 81 0 0 81 / 256 4.8s Saturn_lockfree.Cue concurrent
[ ] 85 0 0 85 / 256 5.0s Saturn_lockfree.Cue concurrent
[ ] 87 0 0 87 / 256 5.4s Saturn_lockfree.Cue concurrent
[ ] 90 0 0 90 / 256 5.5s Saturn_lockfree.Cue concurrent
[ ] 91 0 0 91 / 256 5.9s Saturn_lockfree.Cue concurrent
[ ] 96 0 0 96 / 256 6.1s Saturn_lockfree.Cue concurrent
[ ] 99 0 0 99 / 256 6.2s Saturn_lockfree.Cue concurrent
[ ] 102 0 0 102 / 256 6.3s Saturn_lockfree.Cue concurrent
[ ] 107 0 0 107 / 256 6.4s Saturn_lockfree.Cue concurrent
[ ] 111 0 0 111 / 256 6.7s Saturn_lockfree.Cue concurrent
[ ] 114 0 0 114 / 256 7.1s Saturn_lockfree.Cue concurrent
[ ] 119 0 0 119 / 256 7.6s Saturn_lockfree.Cue concurrent
[ ] 122 0 0 122 / 256 7.7s Saturn_lockfree.Cue concurrent
[ ] 127 0 0 127 / 256 7.8s Saturn_lockfree.Cue concurrent
[ ] 129 0 0 129 / 256 8.4s Saturn_lockfree.Cue concurrent
[ ] 134 0 0 134 / 256 8.5s Saturn_lockfree.Cue concurrent
[ ] 136 0 0 136 / 256 8.7s Saturn_lockfree.Cue concurrent
[ ] 140 0 0 140 / 256 8.8s Saturn_lockfree.Cue concurrent
[ ] 145 0 0 145 / 256 9.0s Saturn_lockfree.Cue concurrent
[ ] 150 0 0 150 / 256 9.1s Saturn_lockfree.Cue concurrent
[ ] 155 0 0 155 / 256 9.2s Saturn_lockfree.Cue concurrent
[ ] 161 0 0 161 / 256 9.3s Saturn_lockfree.Cue concurrent
[ ] 165 0 0 165 / 256 9.5s Saturn_lockfree.Cue concurrent
[ ] 171 0 0 171 / 256 9.6s Saturn_lockfree.Cue concurrent
[ ] 176 0 0 176 / 256 9.7s Saturn_lockfree.Cue concurrent
[ ] 181 0 0 181 / 256 9.8s Saturn_lockfree.Cue concurrent
[ ] 185 0 0 185 / 256 10.3s Saturn_lockfree.Cue concurrent
[ ] 189 0 0 189 / 256 10.8s Saturn_lockfree.Cue concurrent
[ ] 193 0 0 193 / 256 10.9s Saturn_lockfree.Cue concurrent
[ ] 196 0 0 196 / 256 11.0s Saturn_lockfree.Cue concurrent
[ ] 200 0 0 200 / 256 11.2s Saturn_lockfree.Cue concurrent
[ ] 204 0 0 204 / 256 11.3s Saturn_lockfree.Cue concurrent
[ ] 205 0 0 205 / 256 11.5s Saturn_lockfree.Cue concurrent
[ ] 208 0 0 208 / 256 11.6s Saturn_lockfree.Cue concurrent
[ ] 212 0 0 212 / 256 11.7s Saturn_lockfree.Cue concurrent
[ ] 217 0 0 217 / 256 12.2s Saturn_lockfree.Cue concurrent
[ ] 220 0 0 220 / 256 12.3s Saturn_lockfree.Cue concurrent
[ ] 224 0 0 224 / 256 12.4s Saturn_lockfree.Cue concurrent
[ ] 230 0 0 230 / 256 12.6s Saturn_lockfree.Cue concurrent
[ ] 234 0 0 234 / 256 13.1s Saturn_lockfree.Cue concurrent
[ ] 238 0 0 238 / 256 13.6s Saturn_lockfree.Cue concurrent
[ ] 242 0 0 242 / 256 14.0s Saturn_lockfree.Cue concurrent
[ ] 244 0 0 244 / 256 14.2s Saturn_lockfree.Cue concurrent
[ ] 246 0 0 246 / 256 14.6s Saturn_lockfree.Cue concurrent
[ ] 250 0 0 250 / 256 14.7s Saturn_lockfree.Cue concurrent
[ ] 255 0 0 255 / 256 14.9s Saturn_lockfree.Cue concurrent
[ ] 256 0 0 256 / 256 15.1s Saturn_lockfree.Cue concurrent
[✓] 256 0 0 256 / 256 15.1s Saturn_lockfree.Cue concurrent
================================================================================
success (ran 2 tests)
random seed: 3949804866449075178
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Cue sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Cue concurrent
[ ] 3 0 0 3 / 32 0.3s Saturn_lockfree.Cue concurrent
[ ] 8 0 0 8 / 32 0.4s Saturn_lockfree.Cue concurrent
[ ] 12 0 0 12 / 32 0.5s Saturn_lockfree.Cue concurrent
[ ] 14 0 0 14 / 32 0.6s Saturn_lockfree.Cue concurrent
[ ] 20 0 0 20 / 32 0.7s Saturn_lockfree.Cue concurrent
[ ] 23 0 0 23 / 32 1.0s Saturn_lockfree.Cue concurrent
[ ] 29 0 0 29 / 32 1.1s Saturn_lockfree.Cue concurrent
[ ] 32 0 0 32 / 32 1.3s Saturn_lockfree.Cue concurrent
[✓] 32 0 0 32 / 32 1.3s Saturn_lockfree.Cue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 741703512263194679
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 2 0 0 2 / 32 0.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 4 0 0 4 / 32 0.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 5 0 0 5 / 32 0.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 8 0 0 8 / 32 0.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 11 0 0 11 / 32 0.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 14 0 0 14 / 32 1.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 17 0 0 17 / 32 1.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 19 0 0 19 / 32 1.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 22 0 0 22 / 32 1.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 23 0 0 23 / 32 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 26 0 0 26 / 32 1.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 29 0 0 29 / 32 1.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 32 0 0 32 / 32 1.9s Saturn_lockfree.Treiber_stack concurrent
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3263500884130643421
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 2 0 0 2 / 64 0.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 5 0 0 5 / 64 0.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 8 0 0 8 / 64 0.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 11 0 0 11 / 64 0.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 13 0 0 13 / 64 0.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 14 0 0 14 / 64 0.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 15 0 0 15 / 64 1.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 19 0 0 19 / 64 1.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 22 0 0 22 / 64 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 26 0 0 26 / 64 1.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 28 0 0 28 / 64 2.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 29 0 0 29 / 64 2.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 32 0 0 32 / 64 2.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 33 0 0 33 / 64 2.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 34 0 0 34 / 64 3.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 35 0 0 35 / 64 3.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 37 0 0 37 / 64 3.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 39 0 0 39 / 64 4.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 41 0 0 41 / 64 4.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 45 0 0 45 / 64 4.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 46 0 0 46 / 64 5.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 48 0 0 48 / 64 5.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 50 0 0 50 / 64 5.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 54 0 0 54 / 64 5.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 58 0 0 58 / 64 6.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 60 0 0 60 / 64 6.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 61 0 0 61 / 64 6.6s Saturn_lockfree.Treiber_stack concurrent
[✓] 64 0 0 64 / 64 6.7s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 36136644701038096
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 2 0 0 2 / 128 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 3 0 0 3 / 128 0.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 8 0 0 8 / 128 0.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 12 0 0 12 / 128 0.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 15 0 0 15 / 128 0.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 20 0 0 20 / 128 0.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 21 0 0 21 / 128 1.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 22 0 0 22 / 128 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 28 0 0 28 / 128 2.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 33 0 0 33 / 128 2.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 35 0 0 35 / 128 2.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 39 0 0 39 / 128 2.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 41 0 0 41 / 128 2.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 45 0 0 45 / 128 2.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 50 0 0 50 / 128 2.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 55 0 0 55 / 128 2.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 58 0 0 58 / 128 3.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 63 0 0 63 / 128 3.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 67 0 0 67 / 128 3.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 69 0 0 69 / 128 3.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 74 0 0 74 / 128 4.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 77 0 0 77 / 128 4.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 81 0 0 81 / 128 4.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 85 0 0 85 / 128 4.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 91 0 0 91 / 128 5.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 96 0 0 96 / 128 5.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 100 0 0 100 / 128 5.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 101 0 0 101 / 128 5.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 105 0 0 105 / 128 5.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 106 0 0 106 / 128 5.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 111 0 0 111 / 128 6.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 112 0 0 112 / 128 6.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 116 0 0 116 / 128 6.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 118 0 0 118 / 128 7.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 123 0 0 123 / 128 7.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 125 0 0 125 / 128 7.2s Saturn_lockfree.Treiber_stack concurrent
[✓] 128 0 0 128 / 128 7.3s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3141093263010317210
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 1 0 0 1 / 256 0.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 5 0 0 5 / 256 0.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 7 0 0 7 / 256 0.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 10 0 0 10 / 256 0.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 12 0 0 12 / 256 0.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 14 0 0 14 / 256 1.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 16 0 0 16 / 256 1.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 19 0 0 19 / 256 1.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 22 0 0 22 / 256 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 25 0 0 25 / 256 1.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 28 0 0 28 / 256 1.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 33 0 0 33 / 256 2.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 34 0 0 34 / 256 2.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 35 0 0 35 / 256 2.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 37 0 0 37 / 256 3.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 41 0 0 41 / 256 3.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 44 0 0 44 / 256 3.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 48 0 0 48 / 256 3.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 49 0 0 49 / 256 3.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 54 0 0 54 / 256 3.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 56 0 0 56 / 256 3.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 59 0 0 59 / 256 4.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 61 0 0 61 / 256 4.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 66 0 0 66 / 256 4.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 70 0 0 70 / 256 4.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 71 0 0 71 / 256 5.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 76 0 0 76 / 256 5.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 79 0 0 79 / 256 5.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 81 0 0 81 / 256 5.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 84 0 0 84 / 256 5.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 87 0 0 87 / 256 6.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 88 0 0 88 / 256 6.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 89 0 0 89 / 256 6.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 90 0 0 90 / 256 6.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 95 0 0 95 / 256 6.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 98 0 0 98 / 256 6.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 102 0 0 102 / 256 6.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 107 0 0 107 / 256 7.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 110 0 0 110 / 256 7.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 113 0 0 113 / 256 7.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 114 0 0 114 / 256 7.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 116 0 0 116 / 256 7.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 117 0 0 117 / 256 8.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 120 0 0 120 / 256 8.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 126 0 0 126 / 256 8.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 130 0 0 130 / 256 8.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 136 0 0 136 / 256 8.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 140 0 0 140 / 256 8.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 142 0 0 142 / 256 9.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 145 0 0 145 / 256 9.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 149 0 0 149 / 256 9.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 153 0 0 153 / 256 9.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 158 0 0 158 / 256 9.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 164 0 0 164 / 256 9.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 167 0 0 167 / 256 9.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 168 0 0 168 / 256 10.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 171 0 0 171 / 256 10.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 174 0 0 174 / 256 10.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 178 0 0 178 / 256 10.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 179 0 0 179 / 256 11.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 181 0 0 181 / 256 11.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 185 0 0 185 / 256 11.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 191 0 0 191 / 256 11.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 195 0 0 195 / 256 11.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 198 0 0 198 / 256 11.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 203 0 0 203 / 256 12.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 206 0 0 206 / 256 12.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 209 0 0 209 / 256 12.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 211 0 0 211 / 256 12.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 216 0 0 216 / 256 12.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 220 0 0 220 / 256 12.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 224 0 0 224 / 256 12.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 229 0 0 229 / 256 12.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 233 0 0 233 / 256 13.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 237 0 0 237 / 256 13.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 240 0 0 240 / 256 14.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 241 0 0 241 / 256 14.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 245 0 0 245 / 256 14.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 246 0 0 246 / 256 14.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 252 0 0 252 / 256 15.0s Saturn_lockfree.Treiber_stack concurrent
[✓] 256 0 0 256 / 256 15.1s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 4122522999554410992
generated error fail pass / total time test name
[ ] 0 0 0 0 / 451 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 451 0 0 451 / 451 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 451 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 1 0 0 1 / 451 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 5 0 0 5 / 451 0.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 9 0 0 9 / 451 0.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 10 0 0 10 / 451 0.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 12 0 0 12 / 451 1.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 13 0 0 13 / 451 1.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 17 0 0 17 / 451 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 19 0 0 19 / 451 1.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 24 0 0 24 / 451 1.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 29 0 0 29 / 451 1.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 32 0 0 32 / 451 2.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 33 0 0 33 / 451 2.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 38 0 0 38 / 451 2.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 39 0 0 39 / 451 2.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 41 0 0 41 / 451 2.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 44 0 0 44 / 451 2.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 51 0 0 51 / 451 2.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 57 0 0 57 / 451 3.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 61 0 0 61 / 451 3.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 64 0 0 64 / 451 3.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 68 0 0 68 / 451 3.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 72 0 0 72 / 451 3.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 76 0 0 76 / 451 3.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 81 0 0 81 / 451 3.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 83 0 0 83 / 451 4.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 84 0 0 84 / 451 4.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 89 0 0 89 / 451 4.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 93 0 0 93 / 451 4.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 94 0 0 94 / 451 4.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 100 0 0 100 / 451 4.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 102 0 0 102 / 451 5.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 107 0 0 107 / 451 5.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 111 0 0 111 / 451 5.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 113 0 0 113 / 451 5.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 116 0 0 116 / 451 5.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 120 0 0 120 / 451 5.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 126 0 0 126 / 451 6.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 131 0 0 131 / 451 6.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 132 0 0 132 / 451 6.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 135 0 0 135 / 451 6.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 140 0 0 140 / 451 6.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 142 0 0 142 / 451 6.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 148 0 0 148 / 451 7.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 151 0 0 151 / 451 7.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 153 0 0 153 / 451 7.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 158 0 0 158 / 451 7.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 162 0 0 162 / 451 7.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 166 0 0 166 / 451 7.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 172 0 0 172 / 451 7.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 173 0 0 173 / 451 7.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 176 0 0 176 / 451 8.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 180 0 0 180 / 451 8.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 183 0 0 183 / 451 8.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 188 0 0 188 / 451 8.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 190 0 0 190 / 451 9.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 193 0 0 193 / 451 9.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 195 0 0 195 / 451 9.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 199 0 0 199 / 451 9.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 205 0 0 205 / 451 10.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 206 0 0 206 / 451 10.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 211 0 0 211 / 451 10.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 214 0 0 214 / 451 10.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 215 0 0 215 / 451 10.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 219 0 0 219 / 451 10.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 225 0 0 225 / 451 10.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 230 0 0 230 / 451 11.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 232 0 0 232 / 451 11.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 238 0 0 238 / 451 11.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 242 0 0 242 / 451 11.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 247 0 0 247 / 451 11.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 251 0 0 251 / 451 11.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 255 0 0 255 / 451 11.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 260 0 0 260 / 451 11.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 264 0 0 264 / 451 12.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 267 0 0 267 / 451 12.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 272 0 0 272 / 451 12.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 277 0 0 277 / 451 13.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 284 0 0 284 / 451 13.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 288 0 0 288 / 451 13.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 291 0 0 291 / 451 13.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 294 0 0 294 / 451 13.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 300 0 0 300 / 451 13.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 301 0 0 301 / 451 14.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 307 0 0 307 / 451 14.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 312 0 0 312 / 451 14.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 316 0 0 316 / 451 14.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 320 0 0 320 / 451 14.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 323 0 0 323 / 451 15.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 325 0 0 325 / 451 15.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 330 0 0 330 / 451 15.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 335 0 0 335 / 451 15.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 340 0 0 340 / 451 16.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 343 0 0 343 / 451 16.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 345 0 0 345 / 451 16.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 350 0 0 350 / 451 16.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 356 0 0 356 / 451 16.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 360 0 0 360 / 451 17.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 363 0 0 363 / 451 17.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 366 0 0 366 / 451 17.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 370 0 0 370 / 451 17.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 373 0 0 373 / 451 17.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 379 0 0 379 / 451 17.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 383 0 0 383 / 451 17.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 388 0 0 388 / 451 18.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 391 0 0 391 / 451 18.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 393 0 0 393 / 451 18.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 395 0 0 395 / 451 18.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 396 0 0 396 / 451 18.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 399 0 0 399 / 451 19.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 402 0 0 402 / 451 19.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 405 0 0 405 / 451 19.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 409 0 0 409 / 451 19.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 413 0 0 413 / 451 19.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 416 0 0 416 / 451 19.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 418 0 0 418 / 451 20.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 420 0 0 420 / 451 20.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 425 0 0 425 / 451 20.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 431 0 0 431 / 451 20.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 435 0 0 435 / 451 20.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 438 0 0 438 / 451 20.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 444 0 0 444 / 451 20.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 451 0 0 451 / 451 21.0s Saturn_lockfree.Treiber_stack concurrent
[✓] 451 0 0 451 / 451 21.0s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
random seed: 3266656478832362011
generated error fail pass / total time test name
[ ] 0 0 0 0 / 69 0.0s Saturn_lockfree.Treiber_stack sequential
[✓] 69 0 0 69 / 69 0.0s Saturn_lockfree.Treiber_stack sequential
[ ] 0 0 0 0 / 69 0.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 5 0 0 5 / 69 0.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 6 0 0 6 / 69 0.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 7 0 0 7 / 69 0.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 12 0 0 12 / 69 0.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 17 0 0 17 / 69 1.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 19 0 0 19 / 69 1.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 21 0 0 21 / 69 1.5s Saturn_lockfree.Treiber_stack concurrent
[ ] 24 0 0 24 / 69 1.6s Saturn_lockfree.Treiber_stack concurrent
[ ] 29 0 0 29 / 69 1.7s Saturn_lockfree.Treiber_stack concurrent
[ ] 36 0 0 36 / 69 1.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 41 0 0 41 / 69 2.0s Saturn_lockfree.Treiber_stack concurrent
[ ] 44 0 0 44 / 69 2.4s Saturn_lockfree.Treiber_stack concurrent
[ ] 47 0 0 47 / 69 2.8s Saturn_lockfree.Treiber_stack concurrent
[ ] 53 0 0 53 / 69 2.9s Saturn_lockfree.Treiber_stack concurrent
[ ] 55 0 0 55 / 69 3.1s Saturn_lockfree.Treiber_stack concurrent
[ ] 60 0 0 60 / 69 3.2s Saturn_lockfree.Treiber_stack concurrent
[ ] 66 0 0 66 / 69 3.3s Saturn_lockfree.Treiber_stack concurrent
[ ] 68 0 0 68 / 69 3.4s Saturn_lockfree.Treiber_stack concurrent
[✓] 69 0 0 69 / 69 3.4s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 1256201323537921398
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist concurrent
[ ] 1 0 0 1 / 32 0.3s Lockfree.Skiplist concurrent
[ ] 3 0 0 3 / 32 1.0s Lockfree.Skiplist concurrent
[ ] 6 0 0 6 / 32 1.1s Lockfree.Skiplist concurrent
[ ] 8 0 0 8 / 32 1.4s Lockfree.Skiplist concurrent
[ ] 10 0 0 10 / 32 2.5s Lockfree.Skiplist concurrent
[ ] 13 0 0 13 / 32 2.6s Lockfree.Skiplist concurrent
[ ] 15 0 0 15 / 32 3.1s Lockfree.Skiplist concurrent
[ ] 18 0 0 18 / 32 3.5s Lockfree.Skiplist concurrent
[ ] 22 0 0 22 / 32 3.6s Lockfree.Skiplist concurrent
[ ] 26 0 0 26 / 32 3.8s Lockfree.Skiplist concurrent
[ ] 29 0 0 29 / 32 3.9s Lockfree.Skiplist concurrent
[ ] 30 0 0 30 / 32 4.2s Lockfree.Skiplist concurrent
[ ] 32 0 0 32 / 32 4.3s Lockfree.Skiplist concurrent
[✓] 32 0 0 32 / 32 4.3s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 469354393784774342
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Lockfree.Skiplist sequential
[✓] 64 0 0 64 / 64 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 64 0.0s Lockfree.Skiplist concurrent
[ ] 4 0 0 4 / 64 0.1s Lockfree.Skiplist concurrent
[ ] 6 0 0 6 / 64 1.0s Lockfree.Skiplist concurrent
[ ] 9 0 0 9 / 64 1.2s Lockfree.Skiplist concurrent
[ ] 12 0 0 12 / 64 2.0s Lockfree.Skiplist concurrent
[ ] 13 0 0 13 / 64 2.3s Lockfree.Skiplist concurrent
[ ] 17 0 0 17 / 64 2.5s Lockfree.Skiplist concurrent
[ ] 20 0 0 20 / 64 2.6s Lockfree.Skiplist concurrent
[ ] 21 0 0 21 / 64 2.7s Lockfree.Skiplist concurrent
[ ] 22 0 0 22 / 64 3.4s Lockfree.Skiplist concurrent
[ ] 28 0 0 28 / 64 3.5s Lockfree.Skiplist concurrent
[ ] 29 0 0 29 / 64 3.7s Lockfree.Skiplist concurrent
[ ] 31 0 0 31 / 64 3.8s Lockfree.Skiplist concurrent
[ ] 34 0 0 34 / 64 4.0s Lockfree.Skiplist concurrent
[ ] 39 0 0 39 / 64 4.1s Lockfree.Skiplist concurrent
[ ] 43 0 0 43 / 64 4.2s Lockfree.Skiplist concurrent
[ ] 47 0 0 47 / 64 4.3s Lockfree.Skiplist concurrent
[ ] 50 0 0 50 / 64 4.4s Lockfree.Skiplist concurrent
[ ] 51 0 0 51 / 64 4.6s Lockfree.Skiplist concurrent
[ ] 54 0 0 54 / 64 4.7s Lockfree.Skiplist concurrent
[ ] 57 0 0 57 / 64 4.9s Lockfree.Skiplist concurrent
[ ] 62 0 0 62 / 64 5.0s Lockfree.Skiplist concurrent
[ ] 64 0 0 64 / 64 5.8s Lockfree.Skiplist concurrent
[✓] 64 0 0 64 / 64 5.8s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 52654212384363908
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Lockfree.Skiplist sequential
[✓] 128 0 0 128 / 128 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 128 0.0s Lockfree.Skiplist concurrent
[ ] 3 0 0 3 / 128 0.1s Lockfree.Skiplist concurrent
[ ] 7 0 0 7 / 128 0.3s Lockfree.Skiplist concurrent
[ ] 8 0 0 8 / 128 0.6s Lockfree.Skiplist concurrent
[ ] 10 0 0 10 / 128 0.7s Lockfree.Skiplist concurrent
[ ] 11 0 0 11 / 128 1.6s Lockfree.Skiplist concurrent
[ ] 13 0 0 13 / 128 1.7s Lockfree.Skiplist concurrent
[ ] 14 0 0 14 / 128 2.0s Lockfree.Skiplist concurrent
[ ] 16 0 0 16 / 128 2.7s Lockfree.Skiplist concurrent
[ ] 22 0 0 22 / 128 3.0s Lockfree.Skiplist concurrent
[ ] 23 0 0 23 / 128 3.6s Lockfree.Skiplist concurrent
[ ] 26 0 0 26 / 128 4.2s Lockfree.Skiplist concurrent
[ ] 30 0 0 30 / 128 4.3s Lockfree.Skiplist concurrent
[ ] 35 0 0 35 / 128 5.1s Lockfree.Skiplist concurrent
[ ] 38 0 0 38 / 128 5.7s Lockfree.Skiplist concurrent
[ ] 42 0 0 42 / 128 5.8s Lockfree.Skiplist concurrent
[ ] 47 0 0 47 / 128 6.1s Lockfree.Skiplist concurrent
[ ] 48 0 0 48 / 128 6.3s Lockfree.Skiplist concurrent
[ ] 53 0 0 53 / 128 6.4s Lockfree.Skiplist concurrent
[ ] 58 0 0 58 / 128 6.5s Lockfree.Skiplist concurrent
[ ] 62 0 0 62 / 128 6.7s Lockfree.Skiplist concurrent
[ ] 66 0 0 66 / 128 6.9s Lockfree.Skiplist concurrent
[ ] 68 0 0 68 / 128 7.0s Lockfree.Skiplist concurrent
[ ] 71 0 0 71 / 128 7.4s Lockfree.Skiplist concurrent
[ ] 73 0 0 73 / 128 7.6s Lockfree.Skiplist concurrent
[ ] 75 0 0 75 / 128 7.8s Lockfree.Skiplist concurrent
[ ] 77 0 0 77 / 128 7.9s Lockfree.Skiplist concurrent
[ ] 80 0 0 80 / 128 8.0s Lockfree.Skiplist concurrent
[ ] 85 0 0 85 / 128 8.1s Lockfree.Skiplist concurrent
[ ] 90 0 0 90 / 128 8.2s Lockfree.Skiplist concurrent
[ ] 95 0 0 95 / 128 8.4s Lockfree.Skiplist concurrent
[ ] 97 0 0 97 / 128 8.5s Lockfree.Skiplist concurrent
[ ] 103 0 0 103 / 128 8.6s Lockfree.Skiplist concurrent
[ ] 104 0 0 104 / 128 8.8s Lockfree.Skiplist concurrent
[ ] 108 0 0 108 / 128 8.9s Lockfree.Skiplist concurrent
[ ] 113 0 0 113 / 128 9.0s Lockfree.Skiplist concurrent
[ ] 114 0 0 114 / 128 9.2s Lockfree.Skiplist concurrent
[ ] 115 0 0 115 / 128 9.6s Lockfree.Skiplist concurrent
[ ] 118 0 0 118 / 128 10.0s Lockfree.Skiplist concurrent
[ ] 122 0 0 122 / 128 10.1s Lockfree.Skiplist concurrent (collecting)
[ ] 123 0 0 123 / 128 11.0s Lockfree.Skiplist concurrent
[ ] 126 0 0 126 / 128 11.1s Lockfree.Skiplist concurrent
[✓] 128 0 0 128 / 128 11.1s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 2144764953137952738
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Lockfree.Skiplist sequential
[✓] 256 0 0 256 / 256 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 256 0.0s Lockfree.Skiplist concurrent
[ ] 1 0 0 1 / 256 0.2s Lockfree.Skiplist concurrent
[ ] 5 0 0 5 / 256 0.3s Lockfree.Skiplist concurrent
[ ] 7 0 0 7 / 256 0.9s Lockfree.Skiplist concurrent
[ ] 12 0 0 12 / 256 1.0s Lockfree.Skiplist concurrent
[ ] 17 0 0 17 / 256 1.4s Lockfree.Skiplist concurrent
[ ] 19 0 0 19 / 256 1.6s Lockfree.Skiplist concurrent
[ ] 22 0 0 22 / 256 1.8s Lockfree.Skiplist concurrent
[ ] 24 0 0 24 / 256 2.2s Lockfree.Skiplist concurrent
[ ] 26 0 0 26 / 256 2.3s Lockfree.Skiplist concurrent
[ ] 32 0 0 32 / 256 2.4s Lockfree.Skiplist concurrent
[ ] 35 0 0 35 / 256 2.6s Lockfree.Skiplist concurrent
[ ] 41 0 0 41 / 256 3.2s Lockfree.Skiplist concurrent
[ ] 46 0 0 46 / 256 3.3s Lockfree.Skiplist concurrent
[ ] 49 0 0 49 / 256 3.4s Lockfree.Skiplist concurrent
[ ] 53 0 0 53 / 256 3.5s Lockfree.Skiplist concurrent
[ ] 57 0 0 57 / 256 3.7s Lockfree.Skiplist concurrent
[ ] 59 0 0 59 / 256 3.8s Lockfree.Skiplist concurrent
[ ] 60 0 0 60 / 256 4.1s Lockfree.Skiplist concurrent
[ ] 64 0 0 64 / 256 4.2s Lockfree.Skiplist concurrent
[ ] 66 0 0 66 / 256 4.5s Lockfree.Skiplist concurrent
[ ] 70 0 0 70 / 256 5.0s Lockfree.Skiplist concurrent
[ ] 75 0 0 75 / 256 5.1s Lockfree.Skiplist concurrent
[ ] 76 0 0 76 / 256 5.2s Lockfree.Skiplist concurrent
[ ] 81 0 0 81 / 256 5.3s Lockfree.Skiplist concurrent
[ ] 85 0 0 85 / 256 5.5s Lockfree.Skiplist concurrent
[ ] 87 0 0 87 / 256 6.1s Lockfree.Skiplist concurrent
[ ] 89 0 0 89 / 256 6.7s Lockfree.Skiplist concurrent
[ ] 94 0 0 94 / 256 6.8s Lockfree.Skiplist concurrent
[ ] 99 0 0 99 / 256 7.3s Lockfree.Skiplist concurrent
[ ] 103 0 0 103 / 256 7.4s Lockfree.Skiplist concurrent
[ ] 106 0 0 106 / 256 7.6s Lockfree.Skiplist concurrent
[ ] 110 0 0 110 / 256 7.7s Lockfree.Skiplist concurrent
[ ] 113 0 0 113 / 256 7.8s Lockfree.Skiplist concurrent
[ ] 114 0 0 114 / 256 8.1s Lockfree.Skiplist concurrent
[ ] 117 0 0 117 / 256 8.6s Lockfree.Skiplist concurrent
[ ] 118 0 0 118 / 256 9.3s Lockfree.Skiplist concurrent
[ ] 121 0 0 121 / 256 10.1s Lockfree.Skiplist concurrent
[ ] 125 0 0 125 / 256 10.3s Lockfree.Skiplist concurrent
[ ] 126 0 0 126 / 256 10.6s Lockfree.Skiplist concurrent
[ ] 128 0 0 128 / 256 10.7s Lockfree.Skiplist concurrent
[ ] 131 0 0 131 / 256 10.8s Lockfree.Skiplist concurrent
[ ] 135 0 0 135 / 256 10.9s Lockfree.Skiplist concurrent
[ ] 139 0 0 139 / 256 11.5s Lockfree.Skiplist concurrent
[ ] 144 0 0 144 / 256 12.2s Lockfree.Skiplist concurrent
[ ] 146 0 0 146 / 256 12.5s Lockfree.Skiplist concurrent
[ ] 151 0 0 151 / 256 12.7s Lockfree.Skiplist concurrent
[ ] 152 0 0 152 / 256 12.8s Lockfree.Skiplist concurrent
[ ] 154 0 0 154 / 256 12.9s Lockfree.Skiplist concurrent
[ ] 155 0 0 155 / 256 13.0s Lockfree.Skiplist concurrent
[ ] 161 0 0 161 / 256 13.1s Lockfree.Skiplist concurrent
[ ] 162 0 0 162 / 256 13.7s Lockfree.Skiplist concurrent
[ ] 165 0 0 165 / 256 13.9s Lockfree.Skiplist concurrent
[ ] 169 0 0 169 / 256 14.0s Lockfree.Skiplist concurrent
[ ] 172 0 0 172 / 256 14.3s Lockfree.Skiplist concurrent
[ ] 175 0 0 175 / 256 14.4s Lockfree.Skiplist concurrent
[ ] 178 0 0 178 / 256 14.5s Lockfree.Skiplist concurrent
[ ] 179 0 0 179 / 256 15.2s Lockfree.Skiplist concurrent
[ ] 180 0 0 180 / 256 15.5s Lockfree.Skiplist concurrent
[ ] 185 0 0 185 / 256 15.6s Lockfree.Skiplist concurrent
[ ] 190 0 0 190 / 256 15.7s Lockfree.Skiplist concurrent
[ ] 193 0 0 193 / 256 16.0s Lockfree.Skiplist concurrent
[ ] 194 0 0 194 / 256 16.6s Lockfree.Skiplist concurrent
[ ] 199 0 0 199 / 256 16.7s Lockfree.Skiplist concurrent
[ ] 204 0 0 204 / 256 17.5s Lockfree.Skiplist concurrent
[ ] 206 0 0 206 / 256 17.6s Lockfree.Skiplist concurrent
[ ] 209 0 0 209 / 256 17.9s Lockfree.Skiplist concurrent
[ ] 211 0 0 211 / 256 18.2s Lockfree.Skiplist concurrent
[ ] 215 0 0 215 / 256 18.3s Lockfree.Skiplist concurrent
[ ] 218 0 0 218 / 256 18.7s Lockfree.Skiplist concurrent
[ ] 223 0 0 223 / 256 18.9s Lockfree.Skiplist concurrent
[ ] 227 0 0 227 / 256 19.0s Lockfree.Skiplist concurrent
[ ] 234 0 0 234 / 256 19.1s Lockfree.Skiplist concurrent
[ ] 240 0 0 240 / 256 19.2s Lockfree.Skiplist concurrent
[ ] 245 0 0 245 / 256 19.3s Lockfree.Skiplist concurrent
[ ] 246 0 0 246 / 256 19.4s Lockfree.Skiplist concurrent
[ ] 247 0 0 247 / 256 19.6s Lockfree.Skiplist concurrent
[ ] 249 0 0 249 / 256 19.7s Lockfree.Skiplist concurrent
[ ] 250 0 0 250 / 256 20.2s Lockfree.Skiplist concurrent
[ ] 255 0 0 255 / 256 20.4s Lockfree.Skiplist concurrent
[ ] 256 0 0 256 / 256 20.5s Lockfree.Skiplist concurrent
[✓] 256 0 0 256 / 256 20.5s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 2804653165494363358
generated error fail pass / total time test name
[ ] 0 0 0 0 / 209 0.0s Lockfree.Skiplist sequential
[✓] 209 0 0 209 / 209 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 209 0.0s Lockfree.Skiplist concurrent
[ ] 4 0 0 4 / 209 0.1s Lockfree.Skiplist concurrent
[ ] 8 0 0 8 / 209 0.3s Lockfree.Skiplist concurrent
[ ] 12 0 0 12 / 209 0.4s Lockfree.Skiplist concurrent
[ ] 14 0 0 14 / 209 0.5s Lockfree.Skiplist concurrent
[ ] 16 0 0 16 / 209 0.6s Lockfree.Skiplist concurrent
[ ] 19 0 0 19 / 209 0.7s Lockfree.Skiplist concurrent
[ ] 25 0 0 25 / 209 0.8s Lockfree.Skiplist concurrent
[ ] 27 0 0 27 / 209 0.9s Lockfree.Skiplist concurrent
[ ] 28 0 0 28 / 209 1.1s Lockfree.Skiplist concurrent
[ ] 29 0 0 29 / 209 1.4s Lockfree.Skiplist concurrent
[ ] 31 0 0 31 / 209 1.6s Lockfree.Skiplist concurrent
[ ] 37 0 0 37 / 209 1.7s Lockfree.Skiplist concurrent
[ ] 42 0 0 42 / 209 2.1s Lockfree.Skiplist concurrent
[ ] 47 0 0 47 / 209 2.2s Lockfree.Skiplist concurrent
[ ] 49 0 0 49 / 209 2.3s Lockfree.Skiplist concurrent
[ ] 53 0 0 53 / 209 3.0s Lockfree.Skiplist concurrent
[ ] 58 0 0 58 / 209 3.1s Lockfree.Skiplist concurrent
[ ] 60 0 0 60 / 209 3.4s Lockfree.Skiplist concurrent
[ ] 62 0 0 62 / 209 3.5s Lockfree.Skiplist concurrent
[ ] 66 0 0 66 / 209 3.6s Lockfree.Skiplist concurrent
[ ] 67 0 0 67 / 209 4.2s Lockfree.Skiplist concurrent
[ ] 69 0 0 69 / 209 4.3s Lockfree.Skiplist concurrent
[ ] 73 0 0 73 / 209 4.5s Lockfree.Skiplist concurrent
[ ] 79 0 0 79 / 209 4.7s Lockfree.Skiplist cncurrent
[ ] 80 0 0 80 / 209 5.2s Lockfree.Skiplist concurrent
[ ] 84 0 0 84 / 209 5.3s Lockfree.Skiplist concurrent
[ ] 86 0 0 86 / 209 5.9s Lockfree.Skiplist concurrent
[ ] 89 0 0 89 / 209 6.0s Lockfree.Skiplist concurrent
[ ] 91 0 0 91 / 209 6.2s Lockfree.Skiplist concurrent
[ ] 94 0 0 94 / 209 6.4s Lockfree.Skiplist concurrent
[ ] 98 0 0 98 / 209 7.0s Lockfree.Skiplist concurrent
[ ] 100 0 0 100 / 209 7.2s Lockfree.Skiplist concurrent
[ ] 107 0 0 107 / 209 7.3s Lockfree.Skiplist concurrent
[ ] 112 0 0 112 / 209 7.5s Lockfree.Skiplist concurrent
[ ] 117 0 0 117 / 209 7.9s Lockfree.Skiplist concurrent
[ ] 120 0 0 120 / 209 8.0s Lockfree.Skiplist concurrent
[ ] 122 0 0 122 / 209 8.2s Lockfree.Skiplist concurrent
[ ] 125 0 0 125 / 209 8.6s Lockfree.Skiplist concurrent
[ ] 127 0 0 127 / 209 8.9s Lockfree.Skiplist concurrent
[ ] 129 0 0 129 / 209 9.0s Lockfree.Skiplist concurrent
[ ] 134 0 0 134 / 209 9.2s Lockfree.Skiplist concurrent
[ ] 139 0 0 139 / 209 9.9s Lockfree.Skiplist concurrent
[ ] 142 0 0 142 / 209 10.7s Lockfree.Skiplist concurrent
[ ] 144 0 0 144 / 209 10.9s Lockfree.Skiplist concurrent
[ ] 150 0 0 150 / 209 11.1s Lockfree.Skiplist concurrent
[ ] 155 0 0 155 / 209 11.2s Lockfree.Skiplist concurrent
[ ] 161 0 0 161 / 209 11.3s Lockfree.Skiplist concurrent
[ ] 164 0 0 164 / 209 11.7s Lockfree.Skiplist concurrent
[ ] 170 0 0 170 / 209 11.8s Lockfree.Skiplist concurrent
[ ] 171 0 0 171 / 209 12.5s Lockfree.Skiplist concurrent
[ ] 172 0 0 172 / 209 12.9s Lockfree.Skiplist concurrent
[ ] 176 0 0 176 / 209 13.3s Lockfree.Skiplist concurrent
[ ] 182 0 0 182 / 209 13.5s Lockfree.Skiplist concurrent
[ ] 185 0 0 185 / 209 13.6s Lockfree.Skiplist concurrent
[ ] 189 0 0 189 / 209 13.8s Lockfree.Skiplist concurrent
[ ] 190 0 0 190 / 209 14.3s Lockfree.Skiplist concurrent
[ ] 195 0 0 195 / 209 14.5s Lockfree.Skiplist concurrent
[ ] 198 0 0 198 / 209 14.6s Lockfree.Skiplist concurrent
[ ] 199 0 0 199 / 209 15.2s Lockfree.Skiplist concurrent
[ ] 206 0 0 206 / 209 15.3s Lockfree.Skiplist concurrent
[ ] 207 0 0 207 / 209 15.4s Lockfree.Skiplist concurrent
[✓] 209 0 0 209 / 209 15.5s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 2961820807410230199
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist concurrent
[ ] 1 0 0 1 / 32 0.0s Lockfree.Skiplist concurrent
[ ] 5 0 0 5 / 32 0.1s Lockfree.Skiplist concurrent
[ ] 7 0 0 7 / 32 0.7s Lockfree.Skiplist concurrent
[ ] 8 0 0 8 / 32 0.9s Lockfree.Skiplist concurrent
[ ] 10 0 0 10 / 32 1.1s Lockfree.Skiplist concurrent
[ ] 12 0 0 12 / 32 1.4s Lockfree.Skiplist concurrent
[ ] 16 0 0 16 / 32 1.7s Lockfree.Skiplist concurrent
[ ] 19 0 0 19 / 32 2.3s Lockfree.Skiplist concurrent
[ ] 25 0 0 25 / 32 2.4s Lockfree.Skiplist concurrent
[ ] 30 0 0 30 / 32 2.5s Lockfree.Skiplist concurrent
[✓] 32 0 0 32 / 32 2.5s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
random seed: 1255855277770243403
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist sequential
[✓] 32 0 0 32 / 32 0.0s Lockfree.Skiplist sequential
[ ] 0 0 0 0 / 32 0.0s Lockfree.Skiplist concurrent
[ ] 3 0 0 3 / 32 0.1s Lockfree.Skiplist concurrent
[ ] 9 0 0 9 / 32 0.2s Lockfree.Skiplist concurrent
[ ] 13 0 0 13 / 32 0.4s Lockfree.Skiplist concurrent
[ ] 18 0 0 18 / 32 0.6s Lockfree.Skiplist concurrent
[ ] 23 0 0 23 / 32 0.7s Lockfree.Skiplist concurrent
[ ] 27 0 0 27 / 32 1.0s Lockfree.Skiplist concurrent
[✓] 32 0 0 32 / 32 1.1s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 233145412851256116
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size concurrent
[ ] 1 0 0 1 / 32 0.2s Saturn_lockfree.Size concurrent
[ ] 2 0 0 2 / 32 0.3s Saturn_lockfree.Size concurrent
[ ] 3 0 0 3 / 32 0.4s Saturn_lockfree.Size concurrent
[ ] 5 0 0 5 / 32 0.5s Saturn_lockfree.Size concurrent
[ ] 8 0 0 8 / 32 0.6s Saturn_lockfree.Size concurrent
[ ] 9 0 0 9 / 32 1.0s Saturn_lockfree.Size concurrent
[ ] 12 0 0 12 / 32 1.1s Saturn_lockfree.Size concurrent
[ ] 15 0 0 15 / 32 1.6s Saturn_lockfree.Size concurrent
[ ] 18 0 0 18 / 32 1.7s Saturn_lockfree.Size concurrent
[ ] 21 0 0 21 / 32 1.8s Saturn_lockfree.Size concurrent
[ ] 23 0 0 23 / 32 2.0s Saturn_lockfree.Size concurrent
[ ] 24 0 0 24 / 32 3.0s Saturn_lockfree.Size concurrent
[ ] 27 0 0 27 / 32 3.3s Saturn_lockfree.Size concurrent
[ ] 30 0 0 30 / 32 3.5s Saturn_lockfree.Size concurrent
[✓] 32 0 0 32 / 32 3.5s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 953388941277837719
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Size sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.Size concurrent
[ ] 2 0 0 2 / 64 0.7s Saturn_lockfree.Size concurrent
[ ] 3 0 0 3 / 64 1.3s Saturn_lockfree.Size concurrent
[ ] 8 0 0 8 / 64 1.4s Saturn_lockfree.Size concurrent
[ ] 11 0 0 11 / 64 1.6s Saturn_lockfree.Size concurrent
[ ] 14 0 0 14 / 64 1.7s Saturn_lockfree.Size concurrent
[ ] 15 0 0 15 / 64 2.4s Saturn_lockfree.Size concurrent
[ ] 18 0 0 18 / 64 2.5s Saturn_lockfree.Size concurrent
[ ] 23 0 0 23 / 64 2.6s Saturn_lockfree.Size concurrent
[ ] 26 0 0 26 / 64 2.7s Saturn_lockfree.Size concurrent
[ ] 29 0 0 29 / 64 2.9s Saturn_lockfree.Size concurrent
[ ] 32 0 0 32 / 64 3.0s Saturn_lockfree.Size concurrent
[ ] 35 0 0 35 / 64 3.4s Saturn_lockfree.Size concurrent
[ ] 40 0 0 40 / 64 3.6s Saturn_lockfree.Size concurrent
[ ] 44 0 0 44 / 64 3.7s Saturn_lockfree.Size concurrent
[ ] 48 0 0 48 / 64 3.8s Saturn_lockfree.Size concurrent
[ ] 51 0 0 51 / 64 4.1s Saturn_lockfree.Size concurrent
[ ] 54 0 0 54 / 64 4.3s Saturn_lockfree.Size concurrent
[ ] 59 0 0 59 / 64 4.4s Saturn_lockfree.Size concurrent
[ ] 62 0 0 62 / 64 4.8s Saturn_lockfree.Size concurrent
[ ] 64 0 0 64 / 64 5.5s Saturn_lockfree.Size concurrent
[✓] 64 0 0 64 / 64 5.5s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 1911087272738095746
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Size sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.Size concurrent
[ ] 4 0 0 4 / 128 0.4s Saturn_lockfree.Size concurrent
[ ] 5 0 0 5 / 128 0.6s Saturn_lockfree.Size concurrent
[ ] 9 0 0 9 / 128 0.9s Saturn_lockfree.Size concurrent
[ ] 13 0 0 13 / 128 1.0s Saturn_lockfree.Size concurrent
[ ] 14 0 0 14 / 128 1.1s Saturn_lockfree.Size concurrent
[ ] 15 0 0 15 / 128 1.7s Saturn_lockfree.Size concurrent
[ ] 20 0 0 20 / 128 1.8s Saturn_lockfree.Size concurrent
[ ] 21 0 0 21 / 128 2.4s Saturn_lockfree.Size concurrent
[ ] 26 0 0 26 / 128 2.5s Saturn_lockfree.Size concurrent
[ ] 31 0 0 31 / 128 2.6s Saturn_lockfree.Size concurrent (collecting)
[ ] 33 0 0 33 / 128 2.7s Saturn_lockfree.Size concurrent
[ ] 36 0 0 36 / 128 3.0s Saturn_lockfree.Size concurrent
[ ] 39 0 0 39 / 128 3.3s Saturn_lockfree.Size concurrent
[ ] 41 0 0 41 / 128 3.4s Saturn_lockfree.Size concurrent
[ ] 42 0 0 42 / 128 3.7s Saturn_lockfree.Size concurrent
[ ] 44 0 0 44 / 128 3.9s Saturn_lockfree.Size concurrent
[ ] 49 0 0 49 / 128 4.0s Saturn_lockfree.Size concurrent
[ ] 51 0 0 51 / 128 4.1s Saturn_lockfree.Size concurrent
[ ] 53 0 0 53 / 128 4.6s Saturn_lockfree.Size concurrent
[ ] 56 0 0 56 / 128 4.8s Saturn_lockfree.Size concurrent
[ ] 57 0 0 57 / 128 4.9s Saturn_lockfree.Size concurrent
[ ] 61 0 0 61 / 128 5.4s Saturn_lockfree.Size concurrent
[ ] 63 0 0 63 / 128 5.8s Saturn_lockfree.Size concurrent
[ ] 64 0 0 64 / 128 6.0s Saturn_lockfree.Size concurrent
[ ] 65 0 0 65 / 128 6.6s Saturn_lockfree.Size concurrent
[ ] 70 0 0 70 / 128 6.7s Saturn_lockfree.Size concurrent
[ ] 71 0 0 71 / 128 7.3s Saturn_lockfree.Size concurrent
[ ] 73 0 0 73 / 128 7.8s Saturn_lockfree.Size concurrent
[ ] 78 0 0 78 / 128 7.9s Saturn_lockfree.Size concurrent
[ ] 82 0 0 82 / 128 8.0s Saturn_lockfree.Size concurrent
[ ] 86 0 0 86 / 128 8.1s Saturn_lockfree.Size concurrent
[ ] 90 0 0 90 / 128 8.2s Saturn_lockfree.Size concurrent
[ ] 92 0 0 92 / 128 8.4s Saturn_lockfree.Size concurrent
[ ] 97 0 0 97 / 128 8.5s Saturn_lockfree.Size concurrent
[ ] 101 0 0 101 / 128 8.6s Saturn_lockfree.Size concurrent
[ ] 103 0 0 103 / 128 8.8s Saturn_lockfree.Size concurrent
[ ] 107 0 0 107 / 128 8.9s Saturn_lockfree.Size concurrent
[ ] 110 0 0 110 / 128 9.1s Saturn_lockfree.Size concurrent
[ ] 114 0 0 114 / 128 9.2s Saturn_lockfree.Size concurrent
[ ] 118 0 0 118 / 128 9.3s Saturn_lockfree.Size concurrent
[ ] 120 0 0 120 / 128 9.4s Saturn_lockfree.Size concurrent
[ ] 121 0 0 121 / 128 9.6s Saturn_lockfree.Size concurrent
[ ] 124 0 0 124 / 128 10.0s Saturn_lockfree.Size concurrent
[✓] 128 0 0 128 / 128 10.0s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 846073431855419556
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Size sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.Size concurrent
[ ] 1 0 0 1 / 256 0.0s Saturn_lockfree.Size concurrent
[ ] 5 0 0 5 / 256 0.7s Saturn_lockfree.Size concurrent
[ ] 8 0 0 8 / 256 0.8s Saturn_lockfree.Size concurrent
[ ] 9 0 0 9 / 256 0.9s Saturn_lockfree.Size concurrent
[ ] 10 0 0 10 / 256 1.0s Saturn_lockfree.Size concurrent
[ ] 14 0 0 14 / 256 1.8s Saturn_lockfree.Size concurrent
[ ] 19 0 0 19 / 256 1.9s Saturn_lockfree.Size concurrent
[ ] 22 0 0 22 / 256 2.0s Saturn_lockfree.Size concurrent
[ ] 24 0 0 24 / 256 2.1s Saturn_lockfree.Size concurrent
[ ] 28 0 0 28 / 256 2.3s Saturn_lockfree.Size concurrent
[ ] 30 0 0 30 / 256 2.5s Saturn_lockfree.Size concurrent
[ ] 35 0 0 35 / 256 3.1s Saturn_lockfree.Size concurrent
[ ] 38 0 0 38 / 256 3.2s Saturn_lockfree.Size concurrent
[ ] 41 0 0 41 / 256 3.4s Saturn_lockfree.Size concurrent
[ ] 45 0 0 45 / 256 3.5s Saturn_lockfree.Size concurrent
[ ] 48 0 0 48 / 256 4.3s Saturn_lockfree.Size concurrent
[ ] 51 0 0 51 / 256 4.8s Saturn_lockfree.Size concurrent
[ ] 52 0 0 52 / 256 4.9s Saturn_lockfree.Size concurrent
[ ] 55 0 0 55 / 256 5.4s Saturn_lockfree.Size concurrent
[ ] 57 0 0 57 / 256 5.5s Saturn_lockfree.Size concurrent
[ ] 61 0 0 61 / 256 5.8s Saturn_lockfree.Size concurrent
[ ] 66 0 0 66 / 256 6.3s Saturn_lockfree.Size concurrent
[ ] 69 0 0 69 / 256 6.8s Saturn_lockfree.Size concurrent
[ ] 70 0 0 70 / 256 6.9s Saturn_lockfree.Size concurrent
[ ] 75 0 0 75 / 256 7.6s Saturn_lockfree.Size concurrent
[ ] 79 0 0 79 / 256 7.7s Saturn_lockfree.Size concurrent
[ ] 81 0 0 81 / 256 8.2s Saturn_lockfree.Size concurrent
[ ] 82 0 0 82 / 256 8.4s Saturn_lockfree.Size concurrent
[ ] 84 0 0 84 / 256 9.0s Saturn_lockfree.Size concurrent
[ ] 88 0 0 88 / 256 9.1s Saturn_lockfree.Size concurrent
[ ] 89 0 0 89 / 256 9.2s Saturn_lockfree.Size concurrent
[ ] 91 0 0 91 / 256 9.4s Saturn_lockfree.Size concurrent
[ ] 97 0 0 97 / 256 9.5s Saturn_lockfree.Size concurrent
[ ] 101 0 0 101 / 256 9.6s Saturn_lockfree.Size concurrent
[ ] 102 0 0 102 / 256 9.9s Saturn_lockfree.Size concurrent
[ ] 106 0 0 106 / 256 10.4s Saturn_lockfree.Size concurrent
[ ] 112 0 0 112 / 256 10.5s Saturn_lockfree.Size concurrent
[ ] 117 0 0 117 / 256 10.6s Saturn_lockfree.Size concurrent
[ ] 121 0 0 121 / 256 10.8s Saturn_lockfree.Size concurrent
[ ] 123 0 0 123 / 256 10.9s Saturn_lockfree.Size concurrent
[ ] 126 0 0 126 / 256 11.0s Saturn_lockfree.Size concurrent
[ ] 127 0 0 127 / 256 11.2s Saturn_lockfree.Size concurrent
[ ] 128 0 0 128 / 256 11.4s Saturn_lockfree.Size concurrent
[ ] 129 0 0 129 / 256 11.7s Saturn_lockfree.Size concurrent
[ ] 134 0 0 134 / 256 11.9s Saturn_lockfree.Size concurrent
[ ] 137 0 0 137 / 256 12.1s Saturn_lockfree.Size concurrent
[ ] 139 0 0 139 / 256 12.2s Saturn_lockfree.Size concurrent
[ ] 141 0 0 141 / 256 12.8s Saturn_lockfree.Size concurrent
[ ] 146 0 0 146 / 256 13.0s Saturn_lockfree.Size concurrent
[ ] 150 0 0 150 / 256 13.1s Saturn_lockfree.Size concurrent
[ ] 153 0 0 153 / 256 13.3s Saturn_lockfree.Size concurrent
[ ] 157 0 0 157 / 256 13.5s Saturn_lockfree.Size concurrent
[ ] 160 0 0 160 / 256 13.6s Saturn_lockfree.Size concurrent
[ ] 165 0 0 165 / 256 13.8s Saturn_lockfree.Size concurrent
[ ] 169 0 0 169 / 256 13.9s Saturn_lockfree.Size concurrent
[ ] 171 0 0 171 / 256 14.2s Saturn_lockfree.Size concurrent
[ ] 178 0 0 178 / 256 14.3s Saturn_lockfree.Size concurrent
[ ] 184 0 0 184 / 256 14.4s Saturn_lockfree.Size concurrent
[ ] 189 0 0 189 / 256 15.2s Saturn_lockfree.Size concurrent
[ ] 194 0 0 194 / 256 15.3s Saturn_lockfree.Size concurrent
[ ] 199 0 0 199 / 256 15.8s Saturn_lockfree.Size concurrent
[ ] 200 0 0 200 / 256 15.9s Saturn_lockfree.Size concurrent
[ ] 205 0 0 205 / 256 16.0s Saturn_lockfree.Size concurrent
[ ] 207 0 0 207 / 256 16.1s Saturn_lockfree.Size concurrent
[ ] 210 0 0 210 / 256 16.3s Saturn_lockfree.Size concurrent
[ ] 214 0 0 214 / 256 16.9s Saturn_lockfree.Size concurrent
[ ] 218 0 0 218 / 256 17.1s Saturn_lockfree.Size concurrent
[ ] 221 0 0 221 / 256 17.4s Saturn_lockfree.Size concurrent
[ ] 228 0 0 228 / 256 17.5s Saturn_lockfree.Size concurrent
[ ] 233 0 0 233 / 256 17.7s Saturn_lockfree.Size concurrent
[ ] 235 0 0 235 / 256 18.3s Saturn_lockfree.Size concurrent
[ ] 239 0 0 239 / 256 18.5s Saturn_lockfree.Size concurrent
[ ] 243 0 0 243 / 256 18.6s Saturn_lockfree.Size concurrent
[ ] 244 0 0 244 / 256 18.8s Saturn_lockfree.Size concurrent
[ ] 250 0 0 250 / 256 18.9s Saturn_lockfree.Size concurrent
[ ] 252 0 0 252 / 256 19.3s Saturn_lockfree.Size concurrent
[ ] 255 0 0 255 / 256 19.8s Saturn_lockfree.Size concurrent
[✓] 256 0 0 256 / 256 19.8s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 2313438052330484865
generated error fail pass / total time test name
[ ] 0 0 0 0 / 261 0.0s Saturn_lockfree.Size sequential
[✓] 261 0 0 261 / 261 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 261 0.0s Saturn_lockfree.Size concurrent
[ ] 3 0 0 3 / 261 0.1s Saturn_lockfree.Size concurrent
[ ] 8 0 0 8 / 261 0.3s Saturn_lockfree.Size concurrent
[ ] 9 0 0 9 / 261 0.5s Saturn_lockfree.Size concurrent
[ ] 12 0 0 12 / 261 0.9s Saturn_lockfree.Size concurrent
[ ] 17 0 0 17 / 261 1.0s Saturn_lockfree.Size concurrent
[ ] 23 0 0 23 / 261 1.7s Saturn_lockfree.Size concurrent
[ ] 27 0 0 27 / 261 1.8s Saturn_lockfree.Size concurrent
[ ] 30 0 0 30 / 261 2.4s Saturn_lockfree.Size concurrent
[ ] 34 0 0 34 / 261 2.5s Saturn_lockfree.Size concurrent
[ ] 38 0 0 38 / 261 2.8s Saturn_lockfree.Size concurrent
[ ] 40 0 0 40 / 261 3.4s Saturn_lockfree.Size concurrent
[ ] 46 0 0 46 / 261 3.5s Saturn_lockfree.Size concurrent
[ ] 51 0 0 51 / 261 3.6s Saturn_lockfree.Size concurrent
[ ] 55 0 0 55 / 261 3.7s Saturn_lockfree.Size concurrent
[ ] 56 0 0 56 / 261 3.9s Saturn_lockfree.Size concurrent
[ ] 61 0 0 61 / 261 4.0s Saturn_lockfree.Size concurrent
[ ] 62 0 0 62 / 261 4.2s Saturn_lockfree.Size concurrent
[ ] 65 0 0 65 / 261 4.5s Saturn_lockfree.Size concurrent
[ ] 66 0 0 66 / 261 4.8s Saturn_lockfree.Size concurrent
[ ] 69 0 0 69 / 261 5.2s Saturn_lockfree.Size concurrent
[ ] 72 0 0 72 / 261 5.3s Saturn_lockfree.Size concurrent
[ ] 77 0 0 77 / 261 5.4s Saturn_lockfree.Size concurrent
[ ] 80 0 0 80 / 261 6.2s Saturn_lockfree.Size concurrent
[ ] 86 0 0 86 / 261 6.3s Saturn_lockfree.Size concurrent
[ ] 92 0 0 92 / 261 6.7s Saturn_lockfree.Size concurrent
[ ] 94 0 0 94 / 261 7.1s Saturn_lockfree.Size concurrent
[ ] 100 0 0 100 / 261 7.5s Saturn_lockfree.Size concurrent
[ ] 105 0 0 105 / 261 7.6s Saturn_lockfree.Size concurrent
[ ] 107 0 0 107 / 261 8.2s Saturn_lockfree.Size concurrent
[ ] 109 0 0 109 / 261 8.3s Saturn_lockfree.Size concurrent
[ ] 115 0 0 115 / 261 8.6s Saturn_lockfree.Size concurrent
[ ] 117 0 0 117 / 261 8.7s Saturn_lockfree.Size concurrent
[ ] 120 0 0 120 / 261 9.5s Saturn_lockfree.Size concurrent
[ ] 122 0 0 122 / 261 9.6s Saturn_lockfree.Size concurrent
[ ] 125 0 0 125 / 261 10.2s Saturn_lockfree.Size concurrent
[ ] 130 0 0 130 / 261 10.3s Saturn_lockfree.Size concurrent
[ ] 131 0 0 131 / 261 10.9s Saturn_lockfree.Size concurrent
[ ] 134 0 0 134 / 261 11.0s Saturn_lockfree.Size concurrent
[ ] 137 0 0 137 / 261 11.1s Saturn_lockfree.Size concurrent
[ ] 142 0 0 142 / 261 11.2s Saturn_lockfree.Size concurrent
[ ] 144 0 0 144 / 261 11.3s Saturn_lockfree.Size concurrent
[ ] 148 0 0 148 / 261 11.6s Saturn_lockfree.Size concurrent
[ ] 151 0 0 151 / 261 11.7s Saturn_lockfree.Size concurrent
[ ] 152 0 0 152 / 261 12.2s Saturn_lockfree.Size concurrent
[ ] 156 0 0 156 / 261 12.3s Saturn_lockfree.Size concurrent
[ ] 160 0 0 160 / 261 12.6s Saturn_lockfree.Size concurrent
[ ] 165 0 0 165 / 261 12.8s Saturn_lockfree.Size concurrent
[ ] 166 0 0 166 / 261 13.2s Saturn_lockfree.Size concurrent
[ ] 171 0 0 171 / 261 13.3s Saturn_lockfree.Size concurrent
[ ] 175 0 0 175 / 261 13.6s Saturn_lockfree.Size concurrent
[ ] 177 0 0 177 / 261 14.1s Saturn_lockfree.Size concurrent
[ ] 178 0 0 178 / 261 14.2s Saturn_lockfree.Size concurrent
[ ] 181 0 0 181 / 261 14.3s Saturn_lockfree.Size concurrent
[ ] 187 0 0 187 / 261 14.4s Saturn_lockfree.Size concurrent
[ ] 191 0 0 191 / 261 14.6s Saturn_lockfree.Size concurrent
[ ] 195 0 0 195 / 261 14.7s Saturn_lockfree.Size concurrent
[ ] 196 0 0 196 / 261 15.3s Saturn_lockfree.Size concurrent
[ ] 198 0 0 198 / 261 15.7s Saturn_lockfree.Size concurrent
[ ] 203 0 0 203 / 261 16.1s Saturn_lockfree.Size concurrent
[ ] 209 0 0 209 / 261 16.2s Saturn_lockfree.Size concurrent
[ ] 212 0 0 212 / 261 16.3s Saturn_lockfree.Size concurrent
[ ] 213 0 0 213 / 261 16.5s Saturn_lockfree.Size concurrent
[ ] 218 0 0 218 / 261 16.6s Saturn_lockfree.Size concurrent
[ ] 221 0 0 221 / 261 16.7s Saturn_lockfree.Size concurrent
[ ] 224 0 0 224 / 261 17.3s Saturn_lockfree.Size concurrent
[ ] 226 0 0 226 / 261 17.8s Saturn_lockfree.Size concurrent
[ ] 229 0 0 229 / 261 17.9s Saturn_lockfree.Size concurrent
[ ] 235 0 0 235 / 261 18.0s Saturn_lockfree.Size concurrent
[ ] 238 0 0 238 / 261 18.1s Saturn_lockfree.Size concurrent
[ ] 244 0 0 244 / 261 18.2s Saturn_lockfree.Size concurrent
[ ] 247 0 0 247 / 261 18.6s Saturn_lockfree.Size concurrent
[ ] 251 0 0 251 / 261 18.9s Saturn_lockfree.Size concurrent
[ ] 253 0 0 253 / 261 19.3s Saturn_lockfree.Size concurrent
[ ] 259 0 0 259 / 261 19.4s Saturn_lockfree.Size concurrent
[✓] 261 0 0 261 / 261 19.4s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
random seed: 3654797455501199387
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.Size sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.Size concurrent
[ ] 2 0 0 2 / 32 0.2s Saturn_lockfree.Size concurrent
[ ] 7 0 0 7 / 32 0.4s Saturn_lockfree.Size concurrent
[ ] 11 0 0 11 / 32 1.2s Saturn_lockfree.Size concurrent
[ ] 13 0 0 13 / 32 1.7s Saturn_lockfree.Size concurrent
[ ] 17 0 0 17 / 32 2.0s Saturn_lockfree.Size concurrent
[ ] 24 0 0 24 / 32 2.2s Saturn_lockfree.Size concurrent
[ ] 30 0 0 30 / 32 2.3s Saturn_lockfree.Size concurrent
[ ] 32 0 0 32 / 32 2.8s Saturn_lockfree.Size concurrent
[✓] 32 0 0 32 / 32 2.8s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
Testing `Mpmc_queue'.
This run has ID `T7IMEMBG'.
[OK] single-thread 0 is it a queue.
[OK] validate items 0 1 prod. 1 cons.
[OK] validate indices under load 0 4 prod. 4 cons.
[OK] validate indices under load 1 8 prod. 1 cons.
[OK] validate indices under load 2 1 prod. 8 cons.
[OK] single-thread-CAS-intf 0 is it a queue.
[OK] validate items-CAS-intf 0 1 prod. 1 cons.
[OK] single-thread-spinning 0 is it a queue.
[OK] validate-items-spinning 0 1 prod. 1 cons.
Full test results in `/src/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.
Test Successful in 71.715s. 9 tests run.
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 3523046587879052465
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential (generating)
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 32 0.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 32 0.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 32 0.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 32 0.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 32 1.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 32 1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 32 1.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 32 1.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 32 1.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 32 1.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 25 0 0 25 / 32 2.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 32 2.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 32 2.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 32 0 0 32 / 32 2.2s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 2080902789041006162
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 64 0.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 64 0.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 8 0 0 8 / 64 0.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 64 0.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 11 0 0 11 / 64 1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 64 1.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 64 1.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 64 1.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 21 0 0 21 / 64 1.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 64 1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 64 2.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 64 2.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 64 2.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 37 0 0 37 / 64 2.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 40 0 0 40 / 64 3.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 42 0 0 42 / 64 3.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 46 0 0 46 / 64 3.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 49 0 0 49 / 64 3.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 54 0 0 54 / 64 3.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 64 3.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 60 0 0 60 / 64 4.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 64 0 0 64 / 64 4.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 64 0 0 64 / 64 4.1s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1956177172941141278
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 2 0 0 2 / 128 0.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 7 0 0 7 / 128 0.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 128 0.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 13 0 0 13 / 128 0.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 15 0 0 15 / 128 0.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 17 0 0 17 / 128 1.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 19 0 0 19 / 128 1.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 128 1.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 128 1.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 128 1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 32 0 0 32 / 128 2.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 35 0 0 35 / 128 2.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 128 2.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 42 0 0 42 / 128 3.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 46 0 0 46 / 128 3.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 128 4.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 55 0 0 55 / 128 4.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 128 4.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 60 0 0 60 / 128 4.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 128 5.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 67 0 0 67 / 128 5.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 71 0 0 71 / 128 5.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 75 0 0 75 / 128 5.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 78 0 0 78 / 128 5.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 82 0 0 82 / 128 6.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 85 0 0 85 / 128 6.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 88 0 0 88 / 128 6.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 92 0 0 92 / 128 6.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 93 0 0 93 / 128 7.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 94 0 0 94 / 128 7.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 96 0 0 96 / 128 7.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 98 0 0 98 / 128 7.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 99 0 0 99 / 128 7.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 102 0 0 102 / 128 8.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 107 0 0 107 / 128 8.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 112 0 0 112 / 128 8.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 117 0 0 117 / 128 9.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 118 0 0 118 / 128 9.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 122 0 0 122 / 128 9.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 127 0 0 127 / 128 10.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 128 0 0 128 / 128 10.0s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 2458226464255832884
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 4 0 0 4 / 256 0.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 256 0.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 256 0.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 256 0.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 256 0.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 256 0.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 24 0 0 24 / 256 0.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 27 0 0 27 / 256 1.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 28 0 0 28 / 256 1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 256 1.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 256 1.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 44 0 0 44 / 256 1.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 48 0 0 48 / 256 1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 52 0 0 52 / 256 2.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 54 0 0 54 / 256 2.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 256 2.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 62 0 0 62 / 256 2.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 256 2.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 68 0 0 68 / 256 2.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 71 0 0 71 / 256 2.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 77 0 0 77 / 256 3.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 78 0 0 78 / 256 3.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 79 0 0 79 / 256 3.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 80 0 0 80 / 256 3.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 84 0 0 84 / 256 3.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 89 0 0 89 / 256 3.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 92 0 0 92 / 256 4.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 95 0 0 95 / 256 4.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 99 0 0 99 / 256 5.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 104 0 0 104 / 256 5.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 107 0 0 107 / 256 5.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 111 0 0 111 / 256 5.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 113 0 0 113 / 256 6.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 116 0 0 116 / 256 6.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 117 0 0 117 / 256 6.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 121 0 0 121 / 256 7.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 124 0 0 124 / 256 7.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 125 0 0 125 / 256 7.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 128 0 0 128 / 256 8.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 130 0 0 130 / 256 8.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 133 0 0 133 / 256 9.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 135 0 0 135 / 256 9.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 137 0 0 137 / 256 9.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 141 0 0 141 / 256 9.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 145 0 0 145 / 256 9.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 147 0 0 147 / 256 9.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 151 0 0 151 / 256 10.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 153 0 0 153 / 256 10.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 154 0 0 154 / 256 10.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 157 0 0 157 / 256 11.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 160 0 0 160 / 256 11.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 161 0 0 161 / 256 11.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 168 0 0 168 / 256 11.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 174 0 0 174 / 256 12.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 178 0 0 178 / 256 12.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 184 0 0 184 / 256 12.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 185 0 0 185 / 256 12.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 187 0 0 187 / 256 12.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 191 0 0 191 / 256 13.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 195 0 0 195 / 256 13.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 198 0 0 198 / 256 13.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 201 0 0 201 / 256 13.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 205 0 0 205 / 256 13.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 212 0 0 212 / 256 14.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 217 0 0 217 / 256 14.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 220 0 0 220 / 256 14.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 225 0 0 225 / 256 14.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 226 0 0 226 / 256 15.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 231 0 0 231 / 256 15.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 236 0 0 236 / 256 15.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 242 0 0 242 / 256 15.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 246 0 0 246 / 256 15.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 248 0 0 248 / 256 15.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 251 0 0 251 / 256 15.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 255 0 0 255 / 256 15.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 256 0 0 256 / 256 15.8s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 1188293839788641321
generated error fail pass / total time test name
[ ] 0 0 0 0 / 414 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 414 0 0 414 / 414 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 414 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 3 0 0 3 / 414 0.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 6 0 0 6 / 414 0.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 414 1.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 414 1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 14 0 0 14 / 414 1.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 20 0 0 20 / 414 1.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 23 0 0 23 / 414 1.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 414 1.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 31 0 0 31 / 414 1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 36 0 0 36 / 414 2.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 38 0 0 38 / 414 2.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 42 0 0 42 / 414 2.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 47 0 0 47 / 414 2.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 53 0 0 53 / 414 2.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 414 2.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 62 0 0 62 / 414 2.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 64 0 0 64 / 414 2.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 69 0 0 69 / 414 3.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 71 0 0 71 / 414 3.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 75 0 0 75 / 414 3.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 79 0 0 79 / 414 3.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 84 0 0 84 / 414 3.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 88 0 0 88 / 414 4.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 91 0 0 91 / 414 4.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 93 0 0 93 / 414 4.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 96 0 0 96 / 414 4.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 99 0 0 99 / 414 5.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 102 0 0 102 / 414 5.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 107 0 0 107 / 414 5.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 111 0 0 111 / 414 6.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 117 0 0 117 / 414 6.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 123 0 0 123 / 414 6.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 126 0 0 126 / 414 6.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 133 0 0 133 / 414 6.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 135 0 0 135 / 414 7.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 136 0 0 136 / 414 7.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 139 0 0 139 / 414 7.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 140 0 0 140 / 414 7.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 143 0 0 143 / 414 7.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 144 0 0 144 / 414 7.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 145 0 0 145 / 414 8.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 147 0 0 147 / 414 8.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 150 0 0 150 / 414 8.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 151 0 0 151 / 414 8.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 158 0 0 158 / 414 9.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 162 0 0 162 / 414 9.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 165 0 0 165 / 414 9.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 168 0 0 168 / 414 9.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 170 0 0 170 / 414 10.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 174 0 0 174 / 414 10.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 179 0 0 179 / 414 10.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 182 0 0 182 / 414 10.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 185 0 0 185 / 414 11.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 190 0 0 190 / 414 11.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 192 0 0 192 / 414 11.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 198 0 0 198 / 414 11.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 200 0 0 200 / 414 11.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 203 0 0 203 / 414 12.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 206 0 0 206 / 414 12.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 208 0 0 208 / 414 12.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 209 0 0 209 / 414 12.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 213 0 0 213 / 414 12.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 216 0 0 216 / 414 12.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 219 0 0 219 / 414 13.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 221 0 0 221 / 414 13.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 223 0 0 223 / 414 13.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 226 0 0 226 / 414 13.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 232 0 0 232 / 414 13.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 236 0 0 236 / 414 13.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 237 0 0 237 / 414 13.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 240 0 0 240 / 414 14.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 241 0 0 241 / 414 14.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 247 0 0 247 / 414 14.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 252 0 0 252 / 414 14.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 256 0 0 256 / 414 14.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 258 0 0 258 / 414 15.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 259 0 0 259 / 414 15.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 265 0 0 265 / 414 15.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 270 0 0 270 / 414 15.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 275 0 0 275 / 414 15.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 277 0 0 277 / 414 15.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 278 0 0 278 / 414 16.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 283 0 0 283 / 414 16.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 286 0 0 286 / 414 16.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 292 0 0 292 / 414 16.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 293 0 0 293 / 414 17.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 298 0 0 298 / 414 17.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 304 0 0 304 / 414 17.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 309 0 0 309 / 414 17.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 315 0 0 315 / 414 17.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 317 0 0 317 / 414 17.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 323 0 0 323 / 414 18.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 327 0 0 327 / 414 18.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 328 0 0 328 / 414 18.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 331 0 0 331 / 414 18.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 334 0 0 334 / 414 18.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 338 0 0 338 / 414 18.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 339 0 0 339 / 414 19.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 345 0 0 345 / 414 19.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 346 0 0 346 / 414 19.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 347 0 0 347 / 414 19.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 350 0 0 350 / 414 20.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 354 0 0 354 / 414 20.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 356 0 0 356 / 414 20.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 362 0 0 362 / 414 20.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 367 0 0 367 / 414 20.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 372 0 0 372 / 414 20.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 373 0 0 373 / 414 21.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 379 0 0 379 / 414 21.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 381 0 0 381 / 414 21.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 382 0 0 382 / 414 21.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 385 0 0 385 / 414 21.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 387 0 0 387 / 414 22.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 391 0 0 391 / 414 22.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 395 0 0 395 / 414 22.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 398 0 0 398 / 414 22.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 401 0 0 401 / 414 22.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 407 0 0 407 / 414 22.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 411 0 0 411 / 414 23.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 414 0 0 414 / 414 23.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 414 0 0 414 / 414 23.5s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 368453554998011285
generated error fail pass / total time test name
[ ] 0 0 0 0 / 69 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[✓] 69 0 0 69 / 69 0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ] 0 0 0 0 / 69 0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 5 0 0 5 / 69 0.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 9 0 0 9 / 69 0.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 12 0 0 12 / 69 0.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 16 0 0 16 / 69 0.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 22 0 0 22 / 69 1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 26 0 0 26 / 69 1.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 30 0 0 30 / 69 1.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 33 0 0 33 / 69 1.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 36 0 0 36 / 69 1.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 40 0 0 40 / 69 1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 41 0 0 41 / 69 2.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 45 0 0 45 / 69 2.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 48 0 0 48 / 69 2.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 51 0 0 51 / 69 3.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 52 0 0 52 / 69 3.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 55 0 0 55 / 69 3.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 58 0 0 58 / 69 3.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 61 0 0 61 / 69 4.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 63 0 0 63 / 69 4.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ] 65 0 0 65 / 69 4.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[✓] 69 0 0 69 / 69 4.5s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
random seed: 3584184344679006854
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 1 0 0 1 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 32 0.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 11 0 0 11 / 32 0.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 12 0 0 12 / 32 1.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 32 1.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 19 0 0 19 / 32 1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 32 1.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 26 0 0 26 / 32 1.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 32 0 0 32 / 32 1.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 3640005786091510598
generated error fail pass / total time test name
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 64 0 0 64 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 1 0 0 1 / 64 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 64 0.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 64 0.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 10 0 0 10 / 64 0.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 64 1.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 19 0 0 19 / 64 1.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 22 0 0 22 / 64 1.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 27 0 0 27 / 64 1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 64 1.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 36 0 0 36 / 64 2.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 38 0 0 38 / 64 2.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 45 0 0 45 / 64 2.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 49 0 0 49 / 64 2.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 52 0 0 52 / 64 2.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 64 3.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 62 0 0 62 / 64 3.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 64 0 0 64 / 64 3.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 1749272802838585383
generated error fail pass / total time test name
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 128 0 0 128 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 128 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 128 0.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 128 0.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 10 0 0 10 / 128 0.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 15 0 0 15 / 128 0.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 16 0 0 16 / 128 1.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 128 1.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 128 1.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 128 1.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 37 0 0 37 / 128 1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 43 0 0 43 / 128 2.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 45 0 0 45 / 128 2.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 128 2.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 52 0 0 52 / 128 2.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 128 2.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 64 0 0 64 / 128 2.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 70 0 0 70 / 128 2.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 71 0 0 71 / 128 3.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 76 0 0 76 / 128 3.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 81 0 0 81 / 128 3.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 86 0 0 86 / 128 4.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 92 0 0 92 / 128 4.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 96 0 0 96 / 128 4.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 101 0 0 101 / 128 4.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 105 0 0 105 / 128 4.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 109 0 0 109 / 128 4.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 114 0 0 114 / 128 4.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 118 0 0 118 / 128 5.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 123 0 0 123 / 128 5.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 125 0 0 125 / 128 5.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 128 0 0 128 / 128 5.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 3043380969716402461
generated error fail pass / total time test name
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 256 0 0 256 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 256 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 256 0.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 256 0.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 10 0 0 10 / 256 0.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 14 0 0 14 / 256 1.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 21 0 0 21 / 256 1.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 22 0 0 22 / 256 1.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 23 0 0 23 / 256 1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 30 0 0 30 / 256 1.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 31 0 0 31 / 256 2.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 36 0 0 36 / 256 2.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 39 0 0 39 / 256 2.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 44 0 0 44 / 256 2.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 256 3.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 48 0 0 48 / 256 3.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 50 0 0 50 / 256 3.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 52 0 0 52 / 256 3.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 55 0 0 55 / 256 3.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 60 0 0 60 / 256 4.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 65 0 0 65 / 256 4.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 69 0 0 69 / 256 4.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 73 0 0 73 / 256 4.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 76 0 0 76 / 256 4.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 82 0 0 82 / 256 5.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 84 0 0 84 / 256 5.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 90 0 0 90 / 256 5.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 92 0 0 92 / 256 5.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 94 0 0 94 / 256 5.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 95 0 0 95 / 256 5.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 97 0 0 97 / 256 5.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 101 0 0 101 / 256 5.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 103 0 0 103 / 256 6.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 107 0 0 107 / 256 6.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 114 0 0 114 / 256 6.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 120 0 0 120 / 256 6.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 126 0 0 126 / 256 6.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 128 0 0 128 / 256 6.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 133 0 0 133 / 256 7.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 140 0 0 140 / 256 7.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 147 0 0 147 / 256 7.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 150 0 0 150 / 256 7.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 155 0 0 155 / 256 7.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 160 0 0 160 / 256 7.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 165 0 0 165 / 256 8.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 173 0 0 173 / 256 8.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 180 0 0 180 / 256 8.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 185 0 0 185 / 256 8.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 188 0 0 188 / 256 8.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 193 0 0 193 / 256 8.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 199 0 0 199 / 256 9.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 206 0 0 206 / 256 9.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 208 0 0 208 / 256 9.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 213 0 0 213 / 256 9.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 215 0 0 215 / 256 9.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 216 0 0 216 / 256 9.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 222 0 0 222 / 256 10.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 223 0 0 223 / 256 10.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 228 0 0 228 / 256 10.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 234 0 0 234 / 256 10.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 239 0 0 239 / 256 10.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 241 0 0 241 / 256 10.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 245 0 0 245 / 256 10.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 252 0 0 252 / 256 11.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 253 0 0 253 / 256 11.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 256 0 0 256 / 256 11.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 21824828823997365
generated error fail pass / total time test name
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 512 0 0 512 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 3 0 0 3 / 512 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 512 0.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 7 0 0 7 / 512 0.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 13 0 0 13 / 512 0.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 17 0 0 17 / 512 0.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 24 0 0 24 / 512 0.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 26 0 0 26 / 512 1.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 32 0 0 32 / 512 1.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 33 0 0 33 / 512 1.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 39 0 0 39 / 512 1.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 45 0 0 45 / 512 2.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 46 0 0 46 / 512 2.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 47 0 0 47 / 512 2.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 49 0 0 49 / 512 2.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 53 0 0 53 / 512 3.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 57 0 0 57 / 512 3.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 58 0 0 58 / 512 3.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 65 0 0 65 / 512 3.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 73 0 0 73 / 512 3.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 75 0 0 75 / 512 3.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 78 0 0 78 / 512 3.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 82 0 0 82 / 512 4.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 86 0 0 86 / 512 4.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 90 0 0 90 / 512 4.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 92 0 0 92 / 512 4.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 98 0 0 98 / 512 5.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 100 0 0 100 / 512 5.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 104 0 0 104 / 512 5.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 111 0 0 111 / 512 5.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 112 0 0 112 / 512 6.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 116 0 0 116 / 512 6.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 123 0 0 123 / 512 6.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 127 0 0 127 / 512 6.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 134 0 0 134 / 512 6.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 139 0 0 139 / 512 6.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 146 0 0 146 / 512 6.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 153 0 0 153 / 512 6.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 157 0 0 157 / 512 7.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 159 0 0 159 / 512 7.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 164 0 0 164 / 512 7.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 170 0 0 170 / 512 7.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 172 0 0 172 / 512 8.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 176 0 0 176 / 512 8.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 180 0 0 180 / 512 8.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 188 0 0 188 / 512 8.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 194 0 0 194 / 512 8.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 200 0 0 200 / 512 8.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 207 0 0 207 / 512 8.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 212 0 0 212 / 512 8.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 219 0 0 219 / 512 9.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 225 0 0 225 / 512 9.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 230 0 0 230 / 512 9.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 234 0 0 234 / 512 9.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 238 0 0 238 / 512 9.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 244 0 0 244 / 512 10.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 250 0 0 250 / 512 10.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 256 0 0 256 / 512 10.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 264 0 0 264 / 512 10.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 266 0 0 266 / 512 11.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 269 0 0 269 / 512 11.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 275 0 0 275 / 512 11.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 282 0 0 282 / 512 11.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 283 0 0 283 / 512 12.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 286 0 0 286 / 512 12.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 290 0 0 290 / 512 12.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 298 0 0 298 / 512 12.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 300 0 0 300 / 512 12.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 302 0 0 302 / 512 12.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 303 0 0 303 / 512 13.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 310 0 0 310 / 512 13.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 316 0 0 316 / 512 13.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 323 0 0 323 / 512 13.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 325 0 0 325 / 512 14.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 330 0 0 330 / 512 14.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 333 0 0 333 / 512 14.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 336 0 0 336 / 512 14.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 342 0 0 342 / 512 14.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 346 0 0 346 / 512 14.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 347 0 0 347 / 512 15.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 354 0 0 354 / 512 15.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 356 0 0 356 / 512 15.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 360 0 0 360 / 512 15.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 366 0 0 366 / 512 15.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 368 0 0 368 / 512 15.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 371 0 0 371 / 512 15.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 372 0 0 372 / 512 16.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 377 0 0 377 / 512 16.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 381 0 0 381 / 512 16.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 389 0 0 389 / 512 17.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 393 0 0 393 / 512 17.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 399 0 0 399 / 512 17.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 403 0 0 403 / 512 17.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 405 0 0 405 / 512 17.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 410 0 0 410 / 512 17.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 416 0 0 416 / 512 18.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 421 0 0 421 / 512 18.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 427 0 0 427 / 512 18.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 430 0 0 430 / 512 18.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 434 0 0 434 / 512 18.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 437 0 0 437 / 512 18.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 443 0 0 443 / 512 19.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 445 0 0 445 / 512 19.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 448 0 0 448 / 512 19.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 453 0 0 453 / 512 19.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 457 0 0 457 / 512 20.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 464 0 0 464 / 512 20.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 470 0 0 470 / 512 20.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 472 0 0 472 / 512 20.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 475 0 0 475 / 512 20.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 480 0 0 480 / 512 20.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 485 0 0 485 / 512 20.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 490 0 0 490 / 512 21.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 493 0 0 493 / 512 21.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 501 0 0 501 / 512 21.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 502 0 0 502 / 512 21.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 508 0 0 508 / 512 22.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 512 0 0 512 / 512 22.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 512 0 0 512 / 512 22.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
random seed: 317404865476370956
generated error fail pass / total time test name
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[✓] 32 0 0 32 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ] 0 0 0 0 / 32 0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 2 0 0 2 / 32 0.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 5 0 0 5 / 32 0.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 9 0 0 9 / 32 0.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 14 0 0 14 / 32 1.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 19 0 0 19 / 32 1.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 25 0 0 25 / 32 1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 28 0 0 28 / 32 1.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ] 31 0 0 31 / 32 1.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[✓] 32 0 0 32 / 32 2.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
2024-09-29 08:42.16 ---> saved as "c4dd09ae05433d25fac8e68d19ffcfde44cfadcac23cf0586554a3ec147f045d"
Job succeeded
2024-09-29 08:42.18: Job succeeded