debian-12-5.3_s390x_opam-2.3

2025-04-17 14:57.46: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/pull/182/head (78c36ab38bae52955c3d5aa16464b63627f0961f) (linux-s390x:debian-12-5.3_s390x_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/saturn.git" && cd "saturn" && git fetch origin "refs/pull/182/head" && git reset --hard 78c36ab3
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c
# debian-12-5.3_s390x_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn.opam ./
RUN opam pin add -yn saturn.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.18.1 dune-configurator.3.18.1 either.1.0.0 fmt.0.10.0 logs.0.8.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.25 qcheck-alcotest.0.25 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-ounit.0.25 qcheck-stm.0.8 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uutf.1.0.4 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y saturn.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


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


2025-04-17 14:57.46: Using cache hint "ocaml-multicore/saturn-ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c-debian-12-5.3_s390x_opam-2.3-c79e3fdb95dc665e06df9b1afe8ff6f7"
2025-04-17 14:57.46: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c)
(comment debian-12-5.3_s390x_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn saturn.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.18.1 dune-configurator.3.18.1 either.1.0.0 fmt.0.10.0 logs.0.8.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.25 qcheck-alcotest.0.25 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-ounit.0.25 qcheck-stm.0.8 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uutf.1.0.4 yojson.2.2.2")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y saturn.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-04-17 14:57.46: Waiting for resource in pool OCluster
2025-04-18 03:46.33: Waiting for worker…
2025-04-18 21:12.31: Got resource from pool OCluster
Building on s390x-worker-01.marist.ci.dev
All commits already cached
HEAD is now at 78c36ab Add remove_min_exn function.


(from ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.3@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c' locally
docker.io/ocaml/opam@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c: Pulling from ocaml/opam
ea48981a9fc9: Already exists
f8c8b07a8c2f: Already exists
e41fd045809c: Already exists
fe9d9ba199a8: Already exists
61b9dde9c264: Already exists
d65e1971fde7: Already exists
8adb42792b2d: Already exists
c1b7118882b6: Already exists
d6ebd4711bf0: Already exists
084cd2a0dbb9: Already exists
fecbafc1ca56: Already exists
f35e98a3eea0: Already exists
dc7483d70c4c: Already exists
dd0a1e41238f: Already exists
a7de97e7acea: Already exists
a7de97e7acea: Already exists
017f9061cc77: Already exists
52dd4b5f1254: Already exists
8b6c00582859: Already exists
ee685aa0fb43: Already exists
4f4fb700ef54: Already exists
bceba8292e84: Already exists
22b23778e0c9: Already exists
4c85ef9af49b: Already exists
13ee87119d2e: Already exists
aabe51459fe0: Already exists
749c2388e5ba: Already exists
b1400128163d: Already exists
5872043319f0: Already exists
7436ed480497: Already exists
2ed34696ea0c: Already exists
ea097d46d9dc: Already exists
7fdac3609e18: Already exists
ad027dad53ff: Already exists
d1e35c1835c2: Already exists
047a8bfe449d: Already exists
f528d99bbcdf: Already exists
0709c52266cc: Already exists
12b078d21ba7: Pulling fs layer
9f4bb3228e3b: Pulling fs layer
0a5d68dacd45: Pulling fs layer
e1d353a86593: Pulling fs layer
39f3cfc77f60: Pulling fs layer
e1d353a86593: Waiting
e22735463896: Pulling fs layer
fd3028effc03: Pulling fs layer
e22735463896: Waiting
12b078d21ba7: Download complete
9f4bb3228e3b: Download complete
0a5d68dacd45: Download complete
e22735463896: Verifying Checksum
e22735463896: Download complete
39f3cfc77f60: Verifying Checksum
39f3cfc77f60: Download complete
12b078d21ba7: Pull complete
fd3028effc03: Download complete
9f4bb3228e3b: Pull complete
0a5d68dacd45: Pull complete
e1d353a86593: Verifying Checksum
e1d353a86593: Download complete
e1d353a86593: Pull complete
39f3cfc77f60: Pull complete
e22735463896: Pull complete
fd3028effc03: Pull complete
Digest: sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c
Status: Downloaded newer image for ocaml/opam@sha256:a951d12ddc5552c16f5e8df25bd910b3c6691f189c3260cdcf3be0d53bc7550c
2025-04-18 21:12.33 ---> using "4a2892a24cbb2a8076cb7c58f3f902e86963a156305e5ff34f28bf8b28ba30ec" from cache


/: (comment debian-12-5.3_s390x_opam-2.3)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-04-18 21:12.33 ---> using "b863af6359b8ac5ca08925e64084b5c538756fb55fffdd903269a504b1061615" 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
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-04-18 21:12.33 ---> using "c8de9338b7beccc41c026b65042604ff542e3434e9ce1f4c804eb9b1957eb864" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-55-generic
The OCaml toplevel, version 5.3.0
2.3.0
2025-04-18 21:12.33 ---> using "5ed3fd8ee149b0283685835f6287f01a7bf0d644682c7fbd050fcf490e6e114e" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-04-18 21:12.33 ---> using "cf5dddf973ba6f0c6cddbe9a99cb99be233eb04e09bcc8c9a5058da7caafefaf" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
da74d7829f..9b3a0a13cf  master     -> origin/master
442eddb8a3 Merge pull request #27761 from maiste/release-dune-3.18.1


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-04-18 21:12.33 ---> using "6d27db0ac3162281a35ee0a757020309e2461414f19174355abb01040a2c30f1" from cache


/src: (copy (src saturn.opam) (dst ./))
2025-04-18 21:12.51 ---> saved as "f85b3eac19fa9fb2a7e4ce35f6aa555be53318d376da3064b4089bfc197ad6bc"


/src: (run (network host)
(shell "opam pin add -yn saturn.dev './'"))
[saturn.dev] synchronised (file:///src)
saturn is now pinned to file:///src (version dev)
2025-04-18 21:13.32 ---> saved as "aaf82af689a04824d02a5a675e70bed0038ee8a8f2d0a6d85c4812ab9b7e228a"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-04-18 21:13.40 ---> saved as "aad5493404f9bd6bd88fc4073ef2ec9b9d2b76d71a7ac66de0096e8380688898"


/src: (env DEPS "alcotest.1.9.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.15 cppo.1.8.0 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.18.1 dune-configurator.3.18.1 either.1.0.0 fmt.0.10.0 logs.0.8.0 mdx.2.5.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.25 qcheck-alcotest.0.25 qcheck-core.0.25 qcheck-multicoretests-util.0.8 qcheck-ounit.0.25 qcheck-stm.0.8 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.8 tsort.2.2.0 uutf.1.0.4 yojson.2.2.2")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y saturn.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main s390x Packages [222 kB]
- Fetched 326 kB in 2s (160 kB/s)
- Reading package lists...
- 


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


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2025-04-18 21:14.24 ---> saved as "6a683f4c0af032dab52ea41360d03211982208bc4cf05b980d42311ee08e7388"


/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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0).
[NOTE] Package ocaml is already installed (current version is 5.3.0).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 42 packages
- install alcotest                   1.9.0
- install astring                    0.8.5
- install backoff                    0.1.1
- install camlp-streams              5.0.1
- install cmdliner                   1.3.0
- install containers                 3.15
- install cppo                       1.8.0
- install csexp                      1.5.2
- install domain-local-await         1.0.1
- install domain_shims               0.1.0
- install dscheck                    0.5.0
- install dune                       3.18.1
- install dune-configurator          3.18.1
- install either                     1.0.0
- install fmt                        0.10.0
- install logs                       0.8.0
- install mdx                        2.5.0
- install mtime                      2.1.0
- install multicore-bench            0.1.7
- install multicore-magic            2.3.1
- install multicore-magic-dscheck    2.3.1
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              4.0.0
- install ocamlbuild                 0.16.1
- install ocamlfind                  1.9.8
- install oseq                       0.5.1
- install ounit2                     2.2.7
- install qcheck                     0.25
- install qcheck-alcotest            0.25
- install qcheck-core                0.25
- install qcheck-multicoretests-util 0.8
- install qcheck-ounit               0.25
- install qcheck-stm                 0.8
- install re                         1.12.0
- install result                     1.5
- install seq                        base
- install stdlib-shims               0.3.0
- install thread-table               1.0.0
- install topkg                      1.0.8
- install tsort                      2.2.0
- install uutf                       1.0.4
- install yojson                     2.2.2


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5  (cached)
-> retrieved alcotest.1.9.0  (cached)
-> retrieved backoff.0.1.1  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved containers.3.15  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dscheck.0.5.0  (cached)
-> retrieved fmt.0.10.0  (cached)
-> retrieved logs.0.8.0  (cached)
-> retrieved either.1.0.0  (cached)
-> retrieved mdx.2.5.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.7  (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.4.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved dune.3.18.1, dune-configurator.3.18.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved oseq.0.5.1  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved qcheck.0.25, qcheck-alcotest.0.25, qcheck-core.0.25, qcheck-ounit.0.25  (cached)
-> retrieved qcheck-multicoretests-util.0.8, qcheck-stm.0.8  (cached)
-> retrieved seq.base  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved topkg.1.0.8  (cached)
-> retrieved tsort.2.2.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.16.1
-> installed seq.base
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed fmt.0.10.0
-> installed astring.0.8.5
-> installed mtime.2.1.0
-> installed logs.0.8.0
-> installed uutf.1.0.4
-> installed dune.3.18.1
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> installed either.1.0.0
-> installed multicore-magic.2.3.1
-> installed ocaml-version.4.0.0
-> installed oseq.0.5.1
-> installed ocaml-syntax-shims.1.0.0
-> installed dune-configurator.3.18.1
-> installed result.1.5
-> installed qcheck-core.0.25
-> installed stdlib-shims.0.3.0
-> installed qcheck-multicoretests-util.0.8
-> installed re.1.12.0
-> installed qcheck-stm.0.8
-> installed ounit2.2.2.7
-> installed alcotest.1.9.0
-> installed containers.3.15
-> installed qcheck-ounit.0.25
-> installed qcheck-alcotest.0.25
-> installed thread-table.1.0.0
-> installed qcheck.0.25
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.1
-> installed yojson.2.2.2
-> installed mdx.2.5.0
-> installed multicore-bench.0.1.7
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-18 21:18.44 ---> saved as "e210facdf0d70c77bbd2b78adc9c881c2f24692a2ec0441c8c6b261ebdf89056"


/src: (copy (src .) (dst /src))
2025-04-18 21:19.24 ---> saved as "69ed0204c3222b5ec46588b990785842db5c5058ab5b5c52d5b0771c42b81d78"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/bounded_stack && ./bounded_stack_dscheck.exe)
Testing `Stack_dscheck'.
This run has ID `9TY3DXEB'.


[OK]          basic          0   1-producer-1-consumer.
[OK]          basic          1   1-producer-1-consumer-capacity.
[OK]          basic          2   1-push-1-drop.
[OK]          basic          3   2-producers.
[OK]          basic          4   2-producers-capacity.
[OK]          basic          5   2-consumers.
[OK]          basic          6   2-domains.
[OK]          basic          7   2-domains-more-pops.
[OK]          basic          8   2-domains-pops_all.
[OK]          basic          9   1-pop-1-push-all.


Full test results in `/src/_build/default/test/bounded_stack/_build/_tests/Stack_dscheck'.
Test Successful in 0.477s. 10 tests run.
(cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)
Testing `spsc_queue_dscheck'.
This run has ID `894PWZLI'.


[OK]          basic_safe                   0   simple-test.
[OK]          wrap-arounds_safe            0   shift-by-1.
[OK]          wrap-arounds_safe            1   shift-by-6.
[OK]          wrap-arounds_safe            2   shift-by-11.
[OK]          length_safe                  0   linearizes-with-1-thr.
[OK]          of_list_exn_safe             0   of_list.
[OK]          drop_exn safe                0   drop_exn.
[OK]          basic_unsafe                 0   simple-test.
[OK]          wrap-arounds_unsafe          0   shift-by-1.
[OK]          wrap-arounds_unsafe          1   shift-by-6.
[OK]          wrap-arounds_unsafe          2   shift-by-11.
[OK]          length_unsafe                0   linearizes-with-1-thr.
[OK]          of_list_exn_unsafe           0   of_list.
[OK]          drop_exn unsafe              0   drop_exn.


Full test results in `/src/_build/default/test/spsc_queue/_build/_tests/spsc_queue_dscheck'.
Test Successful in 0.165s. 14 tests run.
(cd _build/default/test/size && ./dscheck_size.exe)
Testing `dscheck_size'.
This run has ID `46QZPU7H'.


[OK]          basic          0   underflow and overflow.
[OK]          basic          1   2-mem.
[OK]          basic          2   2-add-same.
[OK]          basic          3   2-add.
[OK]          basic          4   2-remove-same.
[OK]          basic          5   2-remove.


Full test results in `/src/_build/default/test/size/_build/_tests/dscheck_size'.
Test Successful in 0.031s. 6 tests run.
(cd _build/default/test/treiber_stack && ./treiber_stack_dscheck.exe)
Testing `Stack_dscheck'.
This run has ID `724L4DC3'.


[OK]          basic          0   1-producer-1-consumer.
[OK]          basic          1   1-push-1-drop.
[OK]          basic          2   2-producers.
[OK]          basic          3   2-consumers.
[OK]          basic          4   2-domains.
[OK]          basic          5   2-domains-more-pops.
[OK]          basic          6   2-domains-pops_all.
[OK]          basic          7   1-pop-1-push-all.


Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Stack_dscheck'.
Test Successful in 0.569s. 8 tests run.
(cd _build/default/test/michael_scott_queue && ./michael_scott_queue_dscheck.exe)
Testing `michael_scott_queue_dscheck'.
This run has ID `I92B4KIL'.


[OK]          basic_safe            0   1-producer-1-consumer.
[OK]          basic_safe            1   2-domains-is_empty.
[OK]          basic_safe            2   1-push-1-drop.
[OK]          basic_safe            3   1-push-1-pop-of_list.
[OK]          basic_safe            4   2-producers.
[OK]          basic_safe            5   2-consumers.
[OK]          basic_safe            6   2-domains.
[OK]          basic_safe            7   2-domains-more-pops.
[OK]          basic_unsafe          0   1-producer-1-consumer.
[OK]          basic_unsafe          1   2-domains-is_empty.
[OK]          basic_unsafe          2   1-push-1-drop.
[OK]          basic_unsafe          3   1-push-1-pop-of_list.
[OK]          basic_unsafe          4   2-producers.
[OK]          basic_unsafe          5   2-consumers.
[OK]          basic_unsafe          6   2-domains.
[OK]          basic_unsafe          7   2-domains-more-pops.


Full test results in `/src/_build/default/test/michael_scott_queue/_build/_tests/michael_scott_queue_dscheck'.
Test Successful in 4.159s. 16 tests run.
(cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)
Testing `dscheck_bounded_queue'.
This run has ID `JX41VIVF'.


[OK]          basic          0   1-producer-1-consumer.
[OK]          basic          1   2-domains-is_empty.
[OK]          basic          2   1-push-1-drop.
[OK]          basic          3   2-producers.
[OK]          basic          4   2-producers-1-consumer.


Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/dscheck_bounded_queue'.
Test Successful in 15.685s. 5 tests run.
(cd _build/default/test/bounded_queue && ./dscheck_bounded_queue.exe)
Testing `dscheck_bounded_queue'.
This run has ID `4HLSBT1U'.


[OK]          basic          0   1-producer-1-consumer.
[OK]          basic          1   push-length-is_full.
[OK]          basic          2   push-length-is_full-capacity.
[OK]          basic          3   2-domains-is_empty.
[OK]          basic          4   1-producer-1-consumer-capacity.
[OK]          basic          5   1-push-1-drop.
[OK]          basic          6   1-push-1-pop-of_list.
[OK]          basic          7   2-producers.
[OK]          basic          8   2-producers-capacity.
[OK]          basic          9   2-consumers.
[OK]          basic         10   2-domains.
[OK]          basic         11   2-domains-more-pops.


Full test results in `/src/_build/default/test/bounded_queue/_build/_tests/dscheck_bounded_queue'.
Test Successful in 14.695s. 12 tests run.
(cd _build/default/test/skiplist && ./dscheck_skiplist.exe)
Testing `DSCheck_Skiplist'.
This run has ID `DNFVQB0Z'.


[OK]          basic          0   max_height_of.
[OK]          basic          1   2-mem.
[OK]          basic          2   2-add-same.
[OK]          basic          3   2-add.
[OK]          basic          4   2-remove-same.
[OK]          basic          5   2-remove.


Full test results in `/src/_build/default/test/skiplist/_build/_tests/DSCheck_Skiplist'.
Test Successful in 0.045s. 6 tests run.
(cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)
Testing `ws_deque_dscheck'.
This run has ID `LLHM7UKJ'.


[OK]          basic          0   1-owner-1-stealer.
[OK]          basic          1   1-popped-n-stealers.
[OK]          basic          2   1-popped-n-stealers-drop.
[OK]          basic          3   1-owner-2-stealers.
[OK]          basic          4   of_list-n-stealers.


Full test results in `/src/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'.
Test Successful in 14.561s. 5 tests run.
(cd _build/default/test/priority_queue && ./dscheck_priority_queue.exe)
Testing `DSCheck_Skiplist'.
This run has ID `46T3CYEX'.


[OK]          basic          0   max_height_of.
[OK]          basic          1   2-add-same.
[OK]          basic          2   2-add.
[OK]          basic          3   2-remove.
[OK]          basic          4   2-remove2.
[OK]          basic          5   2-remove-fifo.
[OK]          basic          6   2-remove-add.
[OK]          basic          7   2-remove-add2.
[OK]          basic          8   2-remove-add3.
[OK]          basic          9   2-remove-add4.


Full test results in `/src/_build/default/test/priority_queue/_build/_tests/DSCheck_Skiplist'.
Test Successful in 57.930s. 10 tests run.
(cd _build/default/test/bag && ./qcheck_bag.exe)
qcheck random seed: 760263938
Testing `QCheck Bag'.
This run has ID `G5BZHH9A'.


[OK]          test_sequential          0   sequential.
[OK]          test_sequential          1   parallel.


Full test results in `/src/_build/default/test/bag/_build/_tests/QCheck Bag'.
Test Successful in 7.956s. 2 tests run.
(cd _build/default/test/bag && ./stm_bag.exe)
random seed: 2349722124772986997
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Bag sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bag sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Bag sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bag parallel
[ ]    1    0    0    1 /   32     0.9s Saturn.Bag parallel
[ ]    2    0    0    2 /   32     1.5s Saturn.Bag parallel
[ ]    3    0    0    3 /   32     2.8s Saturn.Bag parallel
[ ]    4    0    0    4 /   32     3.4s Saturn.Bag parallel
[ ]    5    0    0    5 /   32     4.2s Saturn.Bag parallel
[ ]    6    0    0    6 /   32     5.4s Saturn.Bag parallel
[ ]    7    0    0    7 /   32     6.6s Saturn.Bag parallel
[ ]    8    0    0    8 /   32     7.8s Saturn.Bag parallel
[ ]   10    0    0   10 /   32     8.0s Saturn.Bag parallel
[ ]   11    0    0   11 /   32     8.2s Saturn.Bag parallel
[ ]   14    0    0   14 /   32     8.3s Saturn.Bag parallel
[ ]   16    0    0   16 /   32     9.2s Saturn.Bag parallel
[ ]   17    0    0   17 /   32     9.8s Saturn.Bag parallel
[ ]   18    0    0   18 /   32    10.2s Saturn.Bag parallel
[ ]   19    0    0   19 /   32    10.7s Saturn.Bag parallel
[ ]   20    0    0   20 /   32    10.8s Saturn.Bag parallel
[ ]   21    0    0   21 /   32    11.1s Saturn.Bag parallel
[ ]   22    0    0   22 /   32    11.7s Saturn.Bag parallel
[ ]   23    0    0   23 /   32    12.3s Saturn.Bag parallel
[ ]   24    0    0   24 /   32    14.0s Saturn.Bag parallel
[ ]   25    0    0   25 /   32    15.0s Saturn.Bag parallel
[ ]   26    0    0   26 /   32    16.6s Saturn.Bag parallel
[ ]   27    0    0   27 /   32    16.9s Saturn.Bag parallel
[ ]   28    0    0   28 /   32    17.1s Saturn.Bag parallel
[ ]   29    0    0   29 /   32    17.7s Saturn.Bag parallel
[ ]   30    0    0   30 /   32    18.3s Saturn.Bag parallel
[ ]   31    0    0   31 /   32    19.3s Saturn.Bag parallel
[ ]   32    0    0   32 /   32    20.0s Saturn.Bag parallel
[✓]   32    0    0   32 /   32    20.0s Saturn.Bag parallel
================================================================================
success (ran 2 tests)
random seed: 2604633923426112775
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Saturn.Bag sequential
[✓]   64    0    0   64 /   64     0.0s Saturn.Bag sequential
[ ]    0    0    0    0 /   64     0.0s Saturn.Bag parallel
[ ]    1    0    0    1 /   64     0.9s Saturn.Bag parallel
[ ]    2    0    0    2 /   64     1.7s Saturn.Bag parallel
[ ]    3    0    0    3 /   64     1.9s Saturn.Bag parallel
[ ]    4    0    0    4 /   64     2.9s Saturn.Bag parallel
[ ]    5    0    0    5 /   64     3.8s Saturn.Bag parallel
[ ]    6    0    0    6 /   64     4.4s Saturn.Bag parallel
[ ]    7    0    0    7 /   64     5.1s Saturn.Bag parallel
[ ]    8    0    0    8 /   64     5.8s Saturn.Bag parallel
[ ]    9    0    0    9 /   64     6.4s Saturn.Bag parallel
[ ]   10    0    0   10 /   64     7.2s Saturn.Bag parallel
[ ]   11    0    0   11 /   64     8.1s Saturn.Bag parallel
[ ]   12    0    0   12 /   64     8.8s Saturn.Bag parallel
[ ]   13    0    0   13 /   64    10.4s Saturn.Bag parallel
[ ]   14    0    0   14 /   64    11.6s Saturn.Bag parallel
[ ]   15    0    0   15 /   64    12.1s Saturn.Bag parallel
[ ]   16    0    0   16 /   64    13.9s Saturn.Bag parallel
[ ]   17    0    0   17 /   64    14.3s Saturn.Bag parallel
[ ]   18    0    0   18 /   64    14.7s Saturn.Bag parallel
[ ]   19    0    0   19 /   64    15.6s Saturn.Bag parallel
[ ]   20    0    0   20 /   64    16.4s Saturn.Bag parallel
[ ]   21    0    0   21 /   64    17.2s Saturn.Bag parallel
[ ]   22    0    0   22 /   64    17.8s Saturn.Bag parallel
[ ]   23    0    0   23 /   64    18.5s Saturn.Bag parallel
[ ]   24    0    0   24 /   64    19.3s Saturn.Bag parallel
[ ]   25    0    0   25 /   64    20.0s Saturn.Bag parallel
[ ]   26    0    0   26 /   64    20.7s Saturn.Bag parallel
[ ]   27    0    0   27 /   64    21.4s Saturn.Bag parallel
[ ]   28    0    0   28 /   64    22.2s Saturn.Bag parallel
[ ]   29    0    0   29 /   64    23.2s Saturn.Bag parallel
[ ]   30    0    0   30 /   64    25.2s Saturn.Bag parallel
[ ]   31    0    0   31 /   64    26.5s Saturn.Bag parallel
[ ]   32    0    0   32 /   64    26.8s Saturn.Bag parallel
[ ]   33    0    0   33 /   64    28.1s Saturn.Bag parallel
[ ]   34    0    0   34 /   64    29.3s Saturn.Bag parallel
[ ]   35    0    0   35 /   64    30.5s Saturn.Bag parallel
[ ]   36    0    0   36 /   64    31.8s Saturn.Bag parallel
[ ]   37    0    0   37 /   64    34.5s Saturn.Bag parallel
[ ]   38    0    0   38 /   64    35.7s Saturn.Bag parallel
[ ]   39    0    0   39 /   64    36.5s Saturn.Bag parallel
[ ]   40    0    0   40 /   64    37.3s Saturn.Bag parallel
[ ]   41    0    0   41 /   64    37.7s Saturn.Bag parallel
[ ]   42    0    0   42 /   64    38.3s Saturn.Bag parallel
[ ]   43    0    0   43 /   64    38.8s Saturn.Bag parallel
[ ]   44    0    0   44 /   64    39.6s Saturn.Bag parallel
[ ]   45    0    0   45 /   64    40.8s Saturn.Bag parallel
[ ]   46    0    0   46 /   64    41.3s Saturn.Bag parallel
[ ]   47    0    0   47 /   64    42.2s Saturn.Bag parallel
[ ]   48    0    0   48 /   64    42.9s Saturn.Bag parallel
[ ]   49    0    0   49 /   64    44.7s Saturn.Bag parallel
[ ]   50    0    0   50 /   64    45.5s Saturn.Bag parallel
[ ]   51    0    0   51 /   64    47.0s Saturn.Bag parallel
[ ]   52    0    0   52 /   64    49.0s Saturn.Bag parallel
[ ]   53    0    0   53 /   64    49.7s Saturn.Bag parallel
[ ]   54    0    0   54 /   64    50.5s Saturn.Bag parallel
[ ]   55    0    0   55 /   64    52.5s Saturn.Bag parallel
[ ]   56    0    0   56 /   64    52.9s Saturn.Bag parallel
[ ]   57    0    0   57 /   64    53.6s Saturn.Bag parallel
[ ]   58    0    0   58 /   64    54.6s Saturn.Bag parallel
[ ]   60    0    0   60 /   64    54.8s Saturn.Bag parallel
[ ]   61    0    0   61 /   64    57.4s Saturn.Bag parallel
[ ]   62    0    0   62 /   64    59.6s Saturn.Bag parallel
[ ]   63    0    0   63 /   64    61.1s Saturn.Bag parallel
[ ]   64    0    0   64 /   64    62.0s Saturn.Bag parallel
[✓]   64    0    0   64 /   64    62.0s Saturn.Bag parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 1555656775884891331
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Mpsc_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Mpsc_queue sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Mpsc_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Mpsc_queue parallel
[ ]    1    0    0    1 /   32     0.4s Saturn.Mpsc_queue parallel
[ ]    2    0    0    2 /   32     1.0s Saturn.Mpsc_queue parallel
[ ]    3    0    0    3 /   32     1.8s Saturn.Mpsc_queue parallel
[ ]    4    0    0    4 /   32     2.4s Saturn.Mpsc_queue parallel
[ ]    5    0    0    5 /   32     3.4s Saturn.Mpsc_queue parallel
[ ]    6    0    0    6 /   32     4.4s Saturn.Mpsc_queue parallel
[ ]    7    0    0    7 /   32     5.2s Saturn.Mpsc_queue parallel
[ ]    8    0    0    8 /   32     6.9s Saturn.Mpsc_queue parallel
[ ]   10    0    0   10 /   32     7.8s Saturn.Mpsc_queue parallel
[ ]   11    0    0   11 /   32     8.2s Saturn.Mpsc_queue parallel
[ ]   14    0    0   14 /   32     8.5s Saturn.Mpsc_queue parallel
[ ]   16    0    0   16 /   32     9.0s Saturn.Mpsc_queue parallel
[ ]   17    0    0   17 /   32     9.4s Saturn.Mpsc_queue parallel
[ ]   18    0    0   18 /   32     9.6s Saturn.Mpsc_queue parallel
[ ]   19    0    0   19 /   32     9.9s Saturn.Mpsc_queue parallel
[ ]   20    0    0   20 /   32    10.5s Saturn.Mpsc_queue parallel
[ ]   21    0    0   21 /   32    11.0s Saturn.Mpsc_queue parallel
[ ]   23    0    0   23 /   32    11.1s Saturn.Mpsc_queue parallel
[ ]   24    0    0   24 /   32    11.9s Saturn.Mpsc_queue parallel
[ ]   26    0    0   26 /   32    12.5s Saturn.Mpsc_queue parallel
[ ]   27    0    0   27 /   32    13.3s Saturn.Mpsc_queue parallel
[ ]   28    0    0   28 /   32    13.8s Saturn.Mpsc_queue parallel
[ ]   29    0    0   29 /   32    14.2s Saturn.Mpsc_queue parallel
[ ]   30    0    0   30 /   32    15.1s Saturn.Mpsc_queue parallel
[ ]   31    0    0   31 /   32    15.3s Saturn.Mpsc_queue parallel
[ ]   32    0    0   32 /   32    15.9s Saturn.Mpsc_queue parallel
[✓]   32    0    0   32 /   32    15.9s Saturn.Mpsc_queue parallel
================================================================================
success (ran 2 tests)
random seed: 3689224952680894952
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   64     0.0s Saturn.Mpsc_queue sequential
[✓]   64    0    0   64 /   64     0.0s Saturn.Mpsc_queue sequential
[ ]    0    0    0    0 /   64     0.0s Saturn.Mpsc_queue parallel
[ ]    1    0    0    1 /   64     0.3s Saturn.Mpsc_queue parallel
[ ]    2    0    0    2 /   64     1.3s Saturn.Mpsc_queue parallel
[ ]    3    0    0    3 /   64     2.1s Saturn.Mpsc_queue parallel
[ ]    4    0    0    4 /   64     2.7s Saturn.Mpsc_queue parallel
[ ]    5    0    0    5 /   64     4.0s Saturn.Mpsc_queue parallel
[ ]    6    0    0    6 /   64     4.1s Saturn.Mpsc_queue parallel
[ ]    7    0    0    7 /   64     5.5s Saturn.Mpsc_queue parallel
[ ]    8    0    0    8 /   64     6.4s Saturn.Mpsc_queue parallel
[ ]   10    0    0   10 /   64     8.2s Saturn.Mpsc_queue parallel
[ ]   11    0    0   11 /   64     8.4s Saturn.Mpsc_queue parallel
[ ]   12    0    0   12 /   64     8.9s Saturn.Mpsc_queue parallel
[ ]   18    0    0   18 /   64     9.7s Saturn.Mpsc_queue parallel
[ ]   19    0    0   19 /   64     9.9s Saturn.Mpsc_queue parallel
[ ]   20    0    0   20 /   64    11.5s Saturn.Mpsc_queue parallel
[ ]   21    0    0   21 /   64    12.0s Saturn.Mpsc_queue parallel
[ ]   22    0    0   22 /   64    12.3s Saturn.Mpsc_queue parallel
[ ]   25    0    0   25 /   64    13.3s Saturn.Mpsc_queue parallel
[ ]   26    0    0   26 /   64    15.5s Saturn.Mpsc_queue parallel
[ ]   27    0    0   27 /   64    15.8s Saturn.Mpsc_queue parallel
[ ]   28    0    0   28 /   64    16.5s Saturn.Mpsc_queue parallel
[ ]   29    0    0   29 /   64    17.0s Saturn.Mpsc_queue parallel
[ ]   30    0    0   30 /   64    17.5s Saturn.Mpsc_queue parallel
[ ]   31    0    0   31 /   64    17.8s Saturn.Mpsc_queue parallel
[ ]   36    0    0   36 /   64    18.0s Saturn.Mpsc_queue parallel
[ ]   40    0    0   40 /   64    18.1s Saturn.Mpsc_queue parallel
[ ]   41    0    0   41 /   64    18.4s Saturn.Mpsc_queue parallel
[ ]   42    0    0   42 /   64    18.9s Saturn.Mpsc_queue parallel
[ ]   43    0    0   43 /   64    20.4s Saturn.Mpsc_queue parallel
[ ]   44    0    0   44 /   64    21.1s Saturn.Mpsc_queue parallel
[ ]   45    0    0   45 /   64    21.4s Saturn.Mpsc_queue parallel
[ ]   47    0    0   47 /   64    22.8s Saturn.Mpsc_queue parallel
[ ]   48    0    0   48 /   64    23.0s Saturn.Mpsc_queue parallel
[ ]   49    0    0   49 /   64    24.4s Saturn.Mpsc_queue parallel
[ ]   50    0    0   50 /   64    25.2s Saturn.Mpsc_queue parallel
[ ]   51    0    0   51 /   64    26.7s Saturn.Mpsc_queue parallel
[ ]   52    0    0   52 /   64    27.5s Saturn.Mpsc_queue parallel
[ ]   53    0    0   53 /   64    30.5s Saturn.Mpsc_queue parallel
[ ]   54    0    0   54 /   64    31.6s Saturn.Mpsc_queue parallel
[ ]   55    0    0   55 /   64    33.0s Saturn.Mpsc_queue parallel
[ ]   56    0    0   56 /   64    36.0s Saturn.Mpsc_queue parallel
[ ]   57    0    0   57 /   64    37.2s Saturn.Mpsc_queue parallel
[ ]   58    0    0   58 /   64    39.6s Saturn.Mpsc_queue parallel
[ ]   59    0    0   59 /   64    41.1s Saturn.Mpsc_queue parallel
[ ]   60    0    0   60 /   64    41.8s Saturn.Mpsc_queue parallel
[ ]   61    0    0   61 /   64    42.5s Saturn.Mpsc_queue parallel
[ ]   62    0    0   62 /   64    44.7s Saturn.Mpsc_queue parallel
[ ]   63    0    0   63 /   64    45.2s Saturn.Mpsc_queue parallel
[ ]   64    0    0   64 /   64    46.2s Saturn.Mpsc_queue parallel
[✓]   64    0    0   64 /   64    46.2s Saturn.Mpsc_queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 833077028
Testing `Mpsc_queue'.
This run has ID `KC1NQHXA'.


[OK]          one_consumer               0   push_head_pop_opt.
[OK]          one_consumer               1   push_head_pop.
[OK]          one_consumer               2   push_head_peek_opt.
[OK]          one_consumer               3   push_head_peek.
[OK]          one_consumer               4   pop_opt_empty.
[OK]          one_consumer               5   pop_empty.
[OK]          one_consumer               6   peek_opt_empty.
[OK]          one_consumer               7   peek_empty.
[OK]          one_consumer               8   push_head_not_empty.
[OK]          one_consumer               9   close_push_head.
[OK]          one_consumer              10   close_is_empty.
[OK]          one_consumer              11   close_pop_opt.
[OK]          one_consumer              12   pop_opt_order.
[OK]          one_consumer              13   seq_push_pop_opt.
[OK]          one_producer               0   push_not_empty.
[OK]          one_producer               1   closing_prevents_pushing.
[OK]          one_cons_one_prod          0   seq_push_pop_opt_peek_opt.
[OK]          one_cons_one_prod          1   par_push_pop.
[OK]          one_cons_one_prod          2   par_push_push_head.


Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 5.862s. 19 tests run.
(cd _build/default/test/bounded_stack && ./stm_bounded_stack.exe)
random seed: 2109797458078214303
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_stack sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Bounded_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_stack parallel
[ ]    1    0    0    1 /   32     1.1s Saturn.Bounded_stack parallel
[ ]    2    0    0    2 /   32     1.7s Saturn.Bounded_stack parallel
[ ]    3    0    0    3 /   32     2.4s Saturn.Bounded_stack parallel
[ ]    4    0    0    4 /   32     3.0s Saturn.Bounded_stack parallel
[ ]    5    0    0    5 /   32     3.7s Saturn.Bounded_stack parallel
[ ]    6    0    0    6 /   32     4.6s Saturn.Bounded_stack parallel
[ ]    7    0    0    7 /   32     5.8s Saturn.Bounded_stack parallel
[ ]    8    0    0    8 /   32     9.7s Saturn.Bounded_stack parallel
[ ]    9    0    0    9 /   32    10.5s Saturn.Bounded_stack parallel
[ ]   10    0    0   10 /   32    11.1s Saturn.Bounded_stack parallel
[ ]   11    0    0   11 /   32    12.0s Saturn.Bounded_stack parallel
[ ]   12    0    0   12 /   32    12.3s Saturn.Bounded_stack parallel
[ ]   13    0    0   13 /   32    14.6s Saturn.Bounded_stack parallel
[ ]   14    0    0   14 /   32    15.0s Saturn.Bounded_stack parallel
[ ]   15    0    0   15 /   32    16.5s Saturn.Bounded_stack parallel
[ ]   16    0    0   16 /   32    16.8s Saturn.Bounded_stack parallel
[ ]   17    0    0   17 /   32    17.0s Saturn.Bounded_stack parallel
[ ]   18    0    0   18 /   32    17.6s Saturn.Bounded_stack parallel
[ ]   19    0    0   19 /   32    18.6s Saturn.Bounded_stack parallel
[ ]   20    0    0   20 /   32    19.6s Saturn.Bounded_stack parallel
[ ]   21    0    0   21 /   32    20.2s Saturn.Bounded_stack parallel
[ ]   22    0    0   22 /   32    21.1s Saturn.Bounded_stack parallel
[ ]   23    0    0   23 /   32    21.8s Saturn.Bounded_stack parallel
[ ]   24    0    0   24 /   32    22.5s Saturn.Bounded_stack parallel
[ ]   25    0    0   25 /   32    23.6s Saturn.Bounded_stack parallel
[ ]   26    0    0   26 /   32    24.0s Saturn.Bounded_stack parallel
[ ]   27    0    0   27 /   32    24.3s Saturn.Bounded_stack parallel
[ ]   28    0    0   28 /   32    25.1s Saturn.Bounded_stack parallel
[ ]   29    0    0   29 /   32    26.2s Saturn.Bounded_stack parallel
[ ]   30    0    0   30 /   32    27.2s Saturn.Bounded_stack parallel
[ ]   31    0    0   31 /   32    28.1s Saturn.Bounded_stack parallel
[ ]   32    0    0   32 /   32    28.4s Saturn.Bounded_stack parallel
[✓]   32    0    0   32 /   32    28.4s Saturn.Bounded_stack parallel
================================================================================
success (ran 2 tests)
random seed: 1337916486445255861
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   35     0.0s Saturn.Bounded_stack sequential
[✓]   35    0    0   35 /   35     0.0s Saturn.Bounded_stack sequential
[ ]    0    0    0    0 /   35     0.0s Saturn.Bounded_stack parallel
[ ]    1    0    0    1 /   35     0.5s Saturn.Bounded_stack parallel
[ ]    2    0    0    2 /   35     2.1s Saturn.Bounded_stack parallel
[ ]    3    0    0    3 /   35     5.4s Saturn.Bounded_stack parallel
[ ]    4    0    0    4 /   35     6.3s Saturn.Bounded_stack parallel
[ ]    5    0    0    5 /   35     7.6s Saturn.Bounded_stack parallel
[ ]    6    0    0    6 /   35     7.8s Saturn.Bounded_stack parallel
[ ]    7    0    0    7 /   35     8.5s Saturn.Bounded_stack parallel
[ ]    8    0    0    8 /   35     8.7s Saturn.Bounded_stack parallel
[ ]    9    0    0    9 /   35     9.1s Saturn.Bounded_stack parallel
[ ]   10    0    0   10 /   35     9.6s Saturn.Bounded_stack parallel
[ ]   11    0    0   11 /   35     9.9s Saturn.Bounded_stack parallel
[ ]   12    0    0   12 /   35    10.6s Saturn.Bounded_stack parallel
[ ]   13    0    0   13 /   35    11.0s Saturn.Bounded_stack parallel
[ ]   14    0    0   14 /   35    11.5s Saturn.Bounded_stack parallel
[ ]   15    0    0   15 /   35    11.7s Saturn.Bounded_stack parallel
[ ]   16    0    0   16 /   35    12.3s Saturn.Bounded_stack parallel
[ ]   17    0    0   17 /   35    12.7s Saturn.Bounded_stack parallel
[ ]   18    0    0   18 /   35    13.5s Saturn.Bounded_stack parallel
[ ]   19    0    0   19 /   35    14.0s Saturn.Bounded_stack parallel
[ ]   20    0    0   20 /   35    15.1s Saturn.Bounded_stack parallel
[ ]   21    0    0   21 /   35    16.4s Saturn.Bounded_stack parallel
[ ]   22    0    0   22 /   35    16.6s Saturn.Bounded_stack parallel
[ ]   23    0    0   23 /   35    17.6s Saturn.Bounded_stack parallel
[ ]   24    0    0   24 /   35    18.4s Saturn.Bounded_stack parallel
[ ]   25    0    0   25 /   35    20.0s Saturn.Bounded_stack parallel
[ ]   26    0    0   26 /   35    21.0s Saturn.Bounded_stack parallel
[ ]   27    0    0   27 /   35    22.2s Saturn.Bounded_stack parallel
[ ]   28    0    0   28 /   35    23.0s Saturn.Bounded_stack parallel
[ ]   29    0    0   29 /   35    23.5s Saturn.Bounded_stack parallel
[ ]   30    0    0   30 /   35    23.8s Saturn.Bounded_stack parallel
[ ]   31    0    0   31 /   35    24.8s Saturn.Bounded_stack parallel
[ ]   33    0    0   33 /   35    26.7s Saturn.Bounded_stack parallel
[ ]   34    0    0   34 /   35    27.3s Saturn.Bounded_stack parallel
[ ]   35    0    0   35 /   35    28.0s Saturn.Bounded_stack parallel
[✓]   35    0    0   35 /   35    28.0s Saturn.Bounded_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2191458631664541632
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_stack sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Bounded_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_stack parallel
[ ]    1    0    0    1 /   32     1.0s Saturn.Bounded_stack parallel
[ ]    2    0    0    2 /   32     1.3s Saturn.Bounded_stack parallel
[ ]    3    0    0    3 /   32     1.7s Saturn.Bounded_stack parallel
[ ]    4    0    0    4 /   32     2.3s Saturn.Bounded_stack parallel
[ ]    5    0    0    5 /   32     2.6s Saturn.Bounded_stack parallel
[ ]    6    0    0    6 /   32     3.1s Saturn.Bounded_stack parallel
[ ]    7    0    0    7 /   32     4.7s Saturn.Bounded_stack parallel
[ ]    8    0    0    8 /   32     5.6s Saturn.Bounded_stack parallel
[ ]    9    0    0    9 /   32     7.7s Saturn.Bounded_stack parallel
[ ]   10    0    0   10 /   32     8.5s Saturn.Bounded_stack parallel
[ ]   11    0    0   11 /   32    10.2s Saturn.Bounded_stack parallel
[ ]   12    0    0   12 /   32    10.9s Saturn.Bounded_stack parallel
[ ]   13    0    0   13 /   32    13.9s Saturn.Bounded_stack parallel
[ ]   14    0    0   14 /   32    14.9s Saturn.Bounded_stack parallel
[ ]   15    0    0   15 /   32    16.1s Saturn.Bounded_stack parallel
[ ]   16    0    0   16 /   32    16.5s Saturn.Bounded_stack parallel
[ ]   17    0    0   17 /   32    17.7s Saturn.Bounded_stack parallel
[ ]   18    0    0   18 /   32    19.6s Saturn.Bounded_stack parallel
[ ]   19    0    0   19 /   32    21.0s Saturn.Bounded_stack parallel
[ ]   20    0    0   20 /   32    24.7s Saturn.Bounded_stack parallel
[ ]   21    0    0   21 /   32    25.1s Saturn.Bounded_stack parallel
[ ]   22    0    0   22 /   32    25.9s Saturn.Bounded_stack parallel
[ ]   23    0    0   23 /   32    27.0s Saturn.Bounded_stack parallel
[ ]   24    0    0   24 /   32    28.3s Saturn.Bounded_stack parallel
[ ]   25    0    0   25 /   32    29.2s Saturn.Bounded_stack parallel
[ ]   26    0    0   26 /   32    30.8s Saturn.Bounded_stack parallel
[ ]   27    0    0   27 /   32    32.1s Saturn.Bounded_stack parallel
[ ]   28    0    0   28 /   32    32.7s Saturn.Bounded_stack parallel
[ ]   29    0    0   29 /   32    33.9s Saturn.Bounded_stack parallel
[ ]   30    0    0   30 /   32    34.5s Saturn.Bounded_stack parallel
[ ]   31    0    0   31 /   32    35.5s Saturn.Bounded_stack parallel
[ ]   32    0    0   32 /   32    36.5s Saturn.Bounded_stack parallel
[✓]   32    0    0   32 /   32    36.5s Saturn.Bounded_stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 65835029
Testing `Treiber_stack'.
This run has ID `QRNSU5BL'.


[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 5.950s. 6 tests run.
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 1440048911228028355
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Treiber_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Treiber_stack sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Treiber_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Treiber_stack parallel
[ ]    1    0    0    1 /   32     1.6s Saturn.Treiber_stack parallel
[ ]    2    0    0    2 /   32     2.7s Saturn.Treiber_stack parallel
[ ]    3    0    0    3 /   32     3.9s Saturn.Treiber_stack parallel
[ ]    4    0    0    4 /   32     4.4s Saturn.Treiber_stack parallel
[ ]    5    0    0    5 /   32     4.8s Saturn.Treiber_stack parallel
[ ]    6    0    0    6 /   32     5.8s Saturn.Treiber_stack parallel
[ ]    7    0    0    7 /   32     6.1s Saturn.Treiber_stack parallel
[ ]    8    0    0    8 /   32     6.6s Saturn.Treiber_stack parallel
[ ]    9    0    0    9 /   32     7.7s Saturn.Treiber_stack parallel
[ ]   10    0    0   10 /   32     8.4s Saturn.Treiber_stack parallel
[ ]   11    0    0   11 /   32     8.5s Saturn.Treiber_stack parallel
[ ]   12    0    0   12 /   32     9.0s Saturn.Treiber_stack parallel
[ ]   13    0    0   13 /   32    10.9s Saturn.Treiber_stack parallel
[ ]   14    0    0   14 /   32    13.3s Saturn.Treiber_stack parallel
[ ]   15    0    0   15 /   32    14.1s Saturn.Treiber_stack parallel
[ ]   16    0    0   16 /   32    14.8s Saturn.Treiber_stack parallel
[ ]   17    0    0   17 /   32    15.8s Saturn.Treiber_stack parallel
[ ]   18    0    0   18 /   32    17.2s Saturn.Treiber_stack parallel
[ ]   19    0    0   19 /   32    18.3s Saturn.Treiber_stack parallel
[ ]   20    0    0   20 /   32    19.5s Saturn.Treiber_stack parallel
[ ]   21    0    0   21 /   32    20.2s Saturn.Treiber_stack parallel
[ ]   22    0    0   22 /   32    21.4s Saturn.Treiber_stack parallel
[ ]   23    0    0   23 /   32    21.8s Saturn.Treiber_stack parallel
[ ]   24    0    0   24 /   32    22.6s Saturn.Treiber_stack parallel
[ ]   25    0    0   25 /   32    25.6s Saturn.Treiber_stack parallel
[ ]   26    0    0   26 /   32    26.7s Saturn.Treiber_stack parallel
[ ]   27    0    0   27 /   32    28.1s Saturn.Treiber_stack parallel
[ ]   28    0    0   28 /   32    29.1s Saturn.Treiber_stack parallel
[ ]   29    0    0   29 /   32    31.6s Saturn.Treiber_stack parallel
[ ]   31    0    0   31 /   32    32.4s Saturn.Treiber_stack parallel
[ ]   32    0    0   32 /   32    34.4s Saturn.Treiber_stack parallel
[✓]   32    0    0   32 /   32    34.4s Saturn.Treiber_stack parallel
================================================================================
success (ran 2 tests)
random seed: 2695185304930713717
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Treiber_stack sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Treiber_stack sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Treiber_stack parallel
[ ]    1    0    0    1 /   32     0.6s Saturn.Treiber_stack parallel
[ ]    2    0    0    2 /   32     2.0s Saturn.Treiber_stack parallel
[ ]    3    0    0    3 /   32     3.5s Saturn.Treiber_stack parallel
[ ]    4    0    0    4 /   32     6.4s Saturn.Treiber_stack parallel
[ ]    5    0    0    5 /   32     9.2s Saturn.Treiber_stack parallel
[ ]    6    0    0    6 /   32    10.5s Saturn.Treiber_stack parallel
[ ]    7    0    0    7 /   32    11.4s Saturn.Treiber_stack parallel
[ ]    8    0    0    8 /   32    12.7s Saturn.Treiber_stack parallel
[ ]    9    0    0    9 /   32    13.3s Saturn.Treiber_stack parallel
[ ]   10    0    0   10 /   32    14.3s Saturn.Treiber_stack parallel
[ ]   11    0    0   11 /   32    15.0s Saturn.Treiber_stack parallel
[ ]   12    0    0   12 /   32    15.3s Saturn.Treiber_stack parallel
[ ]   13    0    0   13 /   32    16.0s Saturn.Treiber_stack parallel
[ ]   14    0    0   14 /   32    16.6s Saturn.Treiber_stack parallel
[ ]   15    0    0   15 /   32    17.3s Saturn.Treiber_stack parallel
[ ]   16    0    0   16 /   32    17.9s Saturn.Treiber_stack parallel
[ ]   17    0    0   17 /   32    18.8s Saturn.Treiber_stack parallel
[ ]   18    0    0   18 /   32    20.1s Saturn.Treiber_stack parallel
[ ]   19    0    0   19 /   32    22.4s Saturn.Treiber_stack parallel
[ ]   20    0    0   20 /   32    23.7s Saturn.Treiber_stack parallel
[ ]   21    0    0   21 /   32    24.5s Saturn.Treiber_stack parallel
[ ]   22    0    0   22 /   32    26.0s Saturn.Treiber_stack parallel
[ ]   23    0    0   23 /   32    26.5s Saturn.Treiber_stack parallel
[ ]   24    0    0   24 /   32    27.9s Saturn.Treiber_stack parallel
[ ]   25    0    0   25 /   32    28.6s Saturn.Treiber_stack parallel
[ ]   26    0    0   26 /   32    30.5s Saturn.Treiber_stack parallel
[ ]   27    0    0   27 /   32    30.9s Saturn.Treiber_stack parallel
[ ]   28    0    0   28 /   32    31.5s Saturn.Treiber_stack parallel
[ ]   29    0    0   29 /   32    33.0s Saturn.Treiber_stack parallel
[ ]   30    0    0   30 /   32    35.1s Saturn.Treiber_stack parallel
[ ]   31    0    0   31 /   32    36.0s Saturn.Treiber_stack parallel
[ ]   32    0    0   32 /   32    36.7s Saturn.Treiber_stack parallel
[✓]   32    0    0   32 /   32    36.7s Saturn.Treiber_stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 1893853344976744154
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Skiplist sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Skiplist sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Skiplist sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Skiplist parallel
[ ]    1    0    0    1 /   32     1.5s Saturn.Skiplist parallel
[ ]    2    0    0    2 /   32     1.8s Saturn.Skiplist parallel
[ ]    3    0    0    3 /   32     2.4s Saturn.Skiplist parallel
[ ]    4    0    0    4 /   32     3.5s Saturn.Skiplist parallel
[ ]    5    0    0    5 /   32     5.3s Saturn.Skiplist parallel
[ ]    6    0    0    6 /   32     6.4s Saturn.Skiplist parallel
[ ]    7    0    0    7 /   32     7.0s Saturn.Skiplist parallel
[ ]    8    0    0    8 /   32     9.3s Saturn.Skiplist parallel
[ ]    9    0    0    9 /   32    10.5s Saturn.Skiplist parallel
[ ]   10    0    0   10 /   32    12.1s Saturn.Skiplist parallel
[ ]   11    0    0   11 /   32    12.8s Saturn.Skiplist parallel
[ ]   12    0    0   12 /   32    16.0s Saturn.Skiplist parallel
[ ]   13    0    0   13 /   32    17.6s Saturn.Skiplist parallel
[ ]   14    0    0   14 /   32    18.4s Saturn.Skiplist parallel
[ ]   15    0    0   15 /   32    19.5s Saturn.Skiplist parallel
[ ]   16    0    0   16 /   32    21.2s Saturn.Skiplist parallel
[ ]   17    0    0   17 /   32    22.0s Saturn.Skiplist parallel
[ ]   18    0    0   18 /   32    22.3s Saturn.Skiplist parallel
[ ]   19    0    0   19 /   32    23.3s Saturn.Skiplist parallel
[ ]   20    0    0   20 /   32    23.5s Saturn.Skiplist parallel
[ ]   21    0    0   21 /   32    24.1s Saturn.Skiplist parallel
[ ]   23    0    0   23 /   32    24.7s Saturn.Skiplist parallel
[ ]   24    0    0   24 /   32    25.1s Saturn.Skiplist parallel
[ ]   25    0    0   25 /   32    25.4s Saturn.Skiplist parallel
[ ]   26    0    0   26 /   32    25.8s Saturn.Skiplist parallel
[ ]   27    0    0   27 /   32    28.5s Saturn.Skiplist parallel
[ ]   28    0    0   28 /   32    29.3s Saturn.Skiplist parallel
[ ]   29    0    0   29 /   32    29.7s Saturn.Skiplist parallel
[ ]   30    0    0   30 /   32    30.4s Saturn.Skiplist parallel
[ ]   31    0    0   31 /   32    31.2s Saturn.Skiplist parallel
[ ]   32    0    0   32 /   32    31.5s Saturn.Skiplist parallel
[✓]   32    0    0   32 /   32    31.5s Saturn.Skiplist parallel
================================================================================
success (ran 2 tests)
random seed: 3607614943316734285
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Skiplist sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Skiplist sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Skiplist parallel
[ ]    1    0    0    1 /   32     1.1s Saturn.Skiplist parallel
[ ]    2    0    0    2 /   32     1.9s Saturn.Skiplist parallel
[ ]    3    0    0    3 /   32     2.6s Saturn.Skiplist parallel
[ ]    4    0    0    4 /   32     3.8s Saturn.Skiplist parallel
[ ]    5    0    0    5 /   32     4.6s Saturn.Skiplist parallel
[ ]    6    0    0    6 /   32     5.6s Saturn.Skiplist parallel
[ ]    7    0    0    7 /   32     8.3s Saturn.Skiplist parallel
[ ]    8    0    0    8 /   32     9.4s Saturn.Skiplist parallel
[ ]    9    0    0    9 /   32    10.8s Saturn.Skiplist parallel
[ ]   10    0    0   10 /   32    12.0s Saturn.Skiplist parallel
[ ]   11    0    0   11 /   32    12.8s Saturn.Skiplist parallel
[ ]   12    0    0   12 /   32    13.2s Saturn.Skiplist parallel
[ ]   13    0    0   13 /   32    13.5s Saturn.Skiplist parallel
[ ]   14    0    0   14 /   32    14.9s Saturn.Skiplist parallel
[ ]   15    0    0   15 /   32    17.0s Saturn.Skiplist parallel
[ ]   16    0    0   16 /   32    17.4s Saturn.Skiplist parallel
[ ]   17    0    0   17 /   32    18.2s Saturn.Skiplist parallel
[ ]   18    0    0   18 /   32    19.6s Saturn.Skiplist parallel
[ ]   19    0    0   19 /   32    21.1s Saturn.Skiplist parallel
[ ]   20    0    0   20 /   32    22.0s Saturn.Skiplist parallel
[ ]   21    0    0   21 /   32    22.8s Saturn.Skiplist parallel
[ ]   22    0    0   22 /   32    23.4s Saturn.Skiplist parallel
[ ]   23    0    0   23 /   32    24.5s Saturn.Skiplist parallel
[ ]   24    0    0   24 /   32    27.7s Saturn.Skiplist parallel
[ ]   25    0    0   25 /   32    28.9s Saturn.Skiplist parallel
[ ]   26    0    0   26 /   32    29.3s Saturn.Skiplist parallel
[ ]   27    0    0   27 /   32    30.3s Saturn.Skiplist parallel
[ ]   28    0    0   28 /   32    30.4s Saturn.Skiplist parallel
[ ]   29    0    0   29 /   32    32.4s Saturn.Skiplist parallel
[ ]   30    0    0   30 /   32    33.4s Saturn.Skiplist parallel
[ ]   31    0    0   31 /   32    35.3s Saturn.Skiplist parallel
[ ]   32    0    0   32 /   32    36.5s Saturn.Skiplist parallel
[✓]   32    0    0   32 /   32    36.5s Saturn.Skiplist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/priority_queue && ./stm_priority_queue.exe)
random seed: 1440055881679651025
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Priority_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Priority_queue sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Priority_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Priority_queue parallel
[ ]    1    0    0    1 /   32     2.4s Saturn.Priority_queue parallel
[ ]    2    0    0    2 /   32     2.9s Saturn.Priority_queue parallel
[ ]    3    0    0    3 /   32     3.9s Saturn.Priority_queue parallel
[ ]    4    0    0    4 /   32     4.9s Saturn.Priority_queue parallel
[ ]    5    0    0    5 /   32     5.7s Saturn.Priority_queue parallel
[ ]    6    0    0    6 /   32     6.6s Saturn.Priority_queue parallel
[ ]    7    0    0    7 /   32     7.0s Saturn.Priority_queue parallel
[ ]    8    0    0    8 /   32     7.6s Saturn.Priority_queue parallel
[ ]    9    0    0    9 /   32     8.9s Saturn.Priority_queue parallel
[ ]   10    0    0   10 /   32    10.3s Saturn.Priority_queue parallel
[ ]   11    0    0   11 /   32    11.1s Saturn.Priority_queue parallel
[ ]   12    0    0   12 /   32    12.9s Saturn.Priority_queue parallel
[ ]   13    0    0   13 /   32    15.6s Saturn.Priority_queue parallel
[ ]   14    0    0   14 /   32    16.4s Saturn.Priority_queue parallel
[ ]   15    0    0   15 /   32    18.4s Saturn.Priority_queue parallel
[ ]   16    0    0   16 /   32    19.9s Saturn.Priority_queue parallel
[ ]   17    0    0   17 /   32    22.8s Saturn.Priority_queue parallel
[ ]   18    0    0   18 /   32    24.6s Saturn.Priority_queue parallel
[ ]   19    0    0   19 /   32    26.4s Saturn.Priority_queue parallel
[ ]   20    0    0   20 /   32    27.1s Saturn.Priority_queue parallel
[ ]   21    0    0   21 /   32    27.6s Saturn.Priority_queue parallel
[ ]   22    0    0   22 /   32    28.5s Saturn.Priority_queue parallel
[ ]   23    0    0   23 /   32    28.8s Saturn.Priority_queue parallel
[ ]   24    0    0   24 /   32    29.8s Saturn.Priority_queue parallel
[ ]   25    0    0   25 /   32    30.0s Saturn.Priority_queue parallel
[ ]   26    0    0   26 /   32    33.4s Saturn.Priority_queue parallel
[ ]   27    0    0   27 /   32    34.5s Saturn.Priority_queue parallel
[ ]   28    0    0   28 /   32    35.6s Saturn.Priority_queue parallel
[ ]   29    0    0   29 /   32    36.2s Saturn.Priority_queue parallel
[ ]   30    0    0   30 /   32    36.7s Saturn.Priority_queue parallel
[ ]   31    0    0   31 /   32    38.4s Saturn.Priority_queue parallel
[ ]   32    0    0   32 /   32    40.6s Saturn.Priority_queue parallel
[✓]   32    0    0   32 /   32    40.6s Saturn.Priority_queue parallel
================================================================================
success (ran 2 tests)
random seed: 248194257510201152
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Priority_queue sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Priority_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Priority_queue parallel
[ ]    1    0    0    1 /   32     0.7s Saturn.Priority_queue parallel
[ ]    2    0    0    2 /   32     1.4s Saturn.Priority_queue parallel
[ ]    3    0    0    3 /   32     3.3s Saturn.Priority_queue parallel
[ ]    4    0    0    4 /   32     4.7s Saturn.Priority_queue parallel
[ ]    5    0    0    5 /   32     6.1s Saturn.Priority_queue parallel
[ ]    6    0    0    6 /   32     6.9s Saturn.Priority_queue parallel
[ ]    7    0    0    7 /   32     8.1s Saturn.Priority_queue parallel
[ ]    8    0    0    8 /   32    11.0s Saturn.Priority_queue parallel
[ ]    9    0    0    9 /   32    13.5s Saturn.Priority_queue parallel
[ ]   10    0    0   10 /   32    14.3s Saturn.Priority_queue parallel
[ ]   11    0    0   11 /   32    15.8s Saturn.Priority_queue parallel
[ ]   12    0    0   12 /   32    17.2s Saturn.Priority_queue parallel
[ ]   13    0    0   13 /   32    18.0s Saturn.Priority_queue parallel
[ ]   14    0    0   14 /   32    18.7s Saturn.Priority_queue parallel
[ ]   15    0    0   15 /   32    19.7s Saturn.Priority_queue parallel
[ ]   16    0    0   16 /   32    23.7s Saturn.Priority_queue parallel
[ ]   17    0    0   17 /   32    24.7s Saturn.Priority_queue parallel
[ ]   18    0    0   18 /   32    26.8s Saturn.Priority_queue parallel
[ ]   19    0    0   19 /   32    28.8s Saturn.Priority_queue parallel
[ ]   20    0    0   20 /   32    30.5s Saturn.Priority_queue parallel
[ ]   21    0    0   21 /   32    31.4s Saturn.Priority_queue parallel
[ ]   22    0    0   22 /   32    32.7s Saturn.Priority_queue parallel
[ ]   23    0    0   23 /   32    33.4s Saturn.Priority_queue parallel
[ ]   24    0    0   24 /   32    34.8s Saturn.Priority_queue parallel
[ ]   25    0    0   25 /   32    35.8s Saturn.Priority_queue parallel
[ ]   26    0    0   26 /   32    37.6s Saturn.Priority_queue parallel
[ ]   27    0    0   27 /   32    39.3s Saturn.Priority_queue parallel
[ ]   28    0    0   28 /   32    41.1s Saturn.Priority_queue parallel
[ ]   29    0    0   29 /   32    42.0s Saturn.Priority_queue parallel
[ ]   30    0    0   30 /   32    42.8s Saturn.Priority_queue parallel
[ ]   31    0    0   31 /   32    43.8s Saturn.Priority_queue parallel
[ ]   32    0    0   32 /   32    44.4s Saturn.Priority_queue parallel
[✓]   32    0    0   32 /   32    44.4s Saturn.Priority_queue parallel
================================================================================
success (ran 2 tests)
(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 = 98207, stolen = 1793)
(cd _build/default/test/htbl && ./dscheck_htbl.exe)
Testing `dscheck_htbl_unsafe'.
This run has ID `DGSK5LZJ'.


[OK]          basic_unsafe          0   2-mem.
[OK]          basic_unsafe          1   2-add.
[OK]          basic_unsafe          2   2-add-resize.
[OK]          basic_unsafe          3   2-add-resize2.
[OK]          basic_unsafe          4   2-remove.
[OK]          basic_unsafe          5   2-add-remove-same.
[OK]          basic_unsafe          6   2-add-remove-alt.
[OK]          basic_unsafe          7   2-add-remove-crossed.
[OK]          basic_unsafe          8   2-add-remove_all.


Full test results in `/src/_build/default/test/htbl/_build/_tests/dscheck_htbl_unsafe'.
Test Successful in 308.214s. 9 tests run.
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)
random seed: 1716525550771136806
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Ws_deque sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Ws_deque sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Ws_deque sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Ws_deque parallel
[ ]    1    0    0    1 /   32     0.4s Saturn.Ws_deque parallel
[ ]    2    0    0    2 /   32     1.3s Saturn.Ws_deque parallel
[ ]    3    0    0    3 /   32     2.6s Saturn.Ws_deque parallel
[ ]    4    0    0    4 /   32     5.1s Saturn.Ws_deque parallel
[ ]    5    0    0    5 /   32     5.8s Saturn.Ws_deque parallel
[ ]    6    0    0    6 /   32     6.8s Saturn.Ws_deque parallel
[ ]    7    0    0    7 /   32     7.5s Saturn.Ws_deque parallel
[ ]    8    0    0    8 /   32     7.7s Saturn.Ws_deque parallel
[ ]    9    0    0    9 /   32     9.1s Saturn.Ws_deque parallel
[ ]   10    0    0   10 /   32     9.5s Saturn.Ws_deque parallel
[ ]   12    0    0   12 /   32    10.0s Saturn.Ws_deque parallel
[ ]   13    0    0   13 /   32    10.6s Saturn.Ws_deque parallel
[ ]   14    0    0   14 /   32    11.2s Saturn.Ws_deque parallel
[ ]   15    0    0   15 /   32    11.5s Saturn.Ws_deque parallel
[ ]   16    0    0   16 /   32    13.3s Saturn.Ws_deque parallel
[ ]   17    0    0   17 /   32    13.7s Saturn.Ws_deque parallel
[ ]   18    0    0   18 /   32    15.0s Saturn.Ws_deque parallel
[ ]   19    0    0   19 /   32    15.5s Saturn.Ws_deque parallel
[ ]   20    0    0   20 /   32    16.0s Saturn.Ws_deque parallel
[ ]   21    0    0   21 /   32    16.6s Saturn.Ws_deque parallel
[ ]   22    0    0   22 /   32    16.9s Saturn.Ws_deque parallel
[ ]   23    0    0   23 /   32    17.4s Saturn.Ws_deque parallel
[ ]   24    0    0   24 /   32    17.7s Saturn.Ws_deque parallel
[ ]   25    0    0   25 /   32    18.1s Saturn.Ws_deque parallel
[ ]   26    0    0   26 /   32    18.5s Saturn.Ws_deque parallel
[ ]   27    0    0   27 /   32    18.6s Saturn.Ws_deque parallel
[ ]   28    0    0   28 /   32    19.4s Saturn.Ws_deque parallel
[ ]   29    0    0   29 /   32    20.4s Saturn.Ws_deque parallel
[ ]   30    0    0   30 /   32    20.9s Saturn.Ws_deque parallel
[ ]   31    0    0   31 /   32    21.5s Saturn.Ws_deque parallel
[✓]   32    0    0   32 /   32    21.5s Saturn.Ws_deque parallel
================================================================================
success (ran 2 tests)
random seed: 3288903461394345907
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   57     0.0s Saturn.Ws_deque sequential
[✓]   57    0    0   57 /   57     0.0s Saturn.Ws_deque sequential
[ ]    0    0    0    0 /   57     0.0s Saturn.Ws_deque parallel
[ ]    1    0    0    1 /   57     0.3s Saturn.Ws_deque parallel
[ ]    2    0    0    2 /   57     0.6s Saturn.Ws_deque parallel
[ ]    3    0    0    3 /   57     1.0s Saturn.Ws_deque parallel
[ ]    4    0    0    4 /   57     1.2s Saturn.Ws_deque parallel
[ ]    5    0    0    5 /   57     1.6s Saturn.Ws_deque parallel
[ ]    6    0    0    6 /   57     2.0s Saturn.Ws_deque parallel
[ ]    7    0    0    7 /   57     2.4s Saturn.Ws_deque parallel
[ ]    8    0    0    8 /   57     3.1s Saturn.Ws_deque parallel
[ ]    9    0    0    9 /   57     3.9s Saturn.Ws_deque parallel
[ ]   10    0    0   10 /   57     5.1s Saturn.Ws_deque parallel
[ ]   11    0    0   11 /   57     5.4s Saturn.Ws_deque parallel
[ ]   12    0    0   12 /   57     5.7s Saturn.Ws_deque parallel
[ ]   13    0    0   13 /   57     6.2s Saturn.Ws_deque parallel
[ ]   14    0    0   14 /   57     6.7s Saturn.Ws_deque parallel
[ ]   15    0    0   15 /   57     7.2s Saturn.Ws_deque parallel
[ ]   16    0    0   16 /   57     8.1s Saturn.Ws_deque parallel
[ ]   17    0    0   17 /   57     8.3s Saturn.Ws_deque parallel
[ ]   18    0    0   18 /   57     8.5s Saturn.Ws_deque parallel
[ ]   19    0    0   19 /   57     8.9s Saturn.Ws_deque parallel
[ ]   20    0    0   20 /   57    10.0s Saturn.Ws_deque parallel
[ ]   21    0    0   21 /   57    12.1s Saturn.Ws_deque parallel
[ ]   22    0    0   22 /   57    12.5s Saturn.Ws_deque parallel
[ ]   23    0    0   23 /   57    12.9s Saturn.Ws_deque parallel
[ ]   24    0    0   24 /   57    14.3s Saturn.Ws_deque parallel
[ ]   25    0    0   25 /   57    14.8s Saturn.Ws_deque parallel
[ ]   26    0    0   26 /   57    15.9s Saturn.Ws_deque parallel
[ ]   27    0    0   27 /   57    16.4s Saturn.Ws_deque parallel
[ ]   28    0    0   28 /   57    16.8s Saturn.Ws_deque parallel
[ ]   29    0    0   29 /   57    20.4s Saturn.Ws_deque parallel
[ ]   30    0    0   30 /   57    20.7s Saturn.Ws_deque parallel
[ ]   31    0    0   31 /   57    21.0s Saturn.Ws_deque parallel
[ ]   32    0    0   32 /   57    21.5s Saturn.Ws_deque parallel
[ ]   33    0    0   33 /   57    22.4s Saturn.Ws_deque parallel
[ ]   34    0    0   34 /   57    23.4s Saturn.Ws_deque parallel
[ ]   35    0    0   35 /   57    23.6s Saturn.Ws_deque parallel
[ ]   37    0    0   37 /   57    23.8s Saturn.Ws_deque parallel
[ ]   38    0    0   38 /   57    24.4s Saturn.Ws_deque parallel
[ ]   39    0    0   39 /   57    24.8s Saturn.Ws_deque parallel
[ ]   40    0    0   40 /   57    26.1s Saturn.Ws_deque parallel
[ ]   41    0    0   41 /   57    27.1s Saturn.Ws_deque parallel
[ ]   42    0    0   42 /   57    28.0s Saturn.Ws_deque parallel
[ ]   43    0    0   43 /   57    28.2s Saturn.Ws_deque parallel
[ ]   44    0    0   44 /   57    28.4s Saturn.Ws_deque parallel
[ ]   45    0    0   45 /   57    28.9s Saturn.Ws_deque parallel
[ ]   46    0    0   46 /   57    30.3s Saturn.Ws_deque parallel
[ ]   48    0    0   48 /   57    30.6s Saturn.Ws_deque parallel
[ ]   49    0    0   49 /   57    31.0s Saturn.Ws_deque parallel
[ ]   50    0    0   50 /   57    31.2s Saturn.Ws_deque parallel
[ ]   51    0    0   51 /   57    31.7s Saturn.Ws_deque parallel
[ ]   52    0    0   52 /   57    32.4s Saturn.Ws_deque parallel
[ ]   53    0    0   53 /   57    32.9s Saturn.Ws_deque parallel
[ ]   54    0    0   54 /   57    33.7s Saturn.Ws_deque parallel
[ ]   55    0    0   55 /   57    34.1s Saturn.Ws_deque parallel
[ ]   56    0    0   56 /   57    34.6s Saturn.Ws_deque parallel
[ ]   57    0    0   57 /   57    34.8s Saturn.Ws_deque parallel
[✓]   57    0    0   57 /   57    34.8s Saturn.Ws_deque parallel
================================================================================
success (ran 2 tests)
random seed: 1090812160866834263
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Ws_deque sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Ws_deque sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Ws_deque parallel
[ ]    1    0    0    1 /   32     1.2s Saturn.Ws_deque parallel
[ ]    2    0    0    2 /   32     1.8s Saturn.Ws_deque parallel
[ ]    3    0    0    3 /   32     2.0s Saturn.Ws_deque parallel
[ ]    4    0    0    4 /   32     2.4s Saturn.Ws_deque parallel
[ ]    5    0    0    5 /   32     3.1s Saturn.Ws_deque parallel
[ ]    6    0    0    6 /   32     3.4s Saturn.Ws_deque parallel
[ ]    7    0    0    7 /   32     3.6s Saturn.Ws_deque parallel
[ ]    8    0    0    8 /   32     4.3s Saturn.Ws_deque parallel
[ ]    9    0    0    9 /   32     4.6s Saturn.Ws_deque parallel
[ ]   10    0    0   10 /   32     4.8s Saturn.Ws_deque parallel
[ ]   11    0    0   11 /   32     5.1s Saturn.Ws_deque parallel
[ ]   12    0    0   12 /   32     5.7s Saturn.Ws_deque parallel
[ ]   13    0    0   13 /   32     5.9s Saturn.Ws_deque parallel
[ ]   14    0    0   14 /   32     6.4s Saturn.Ws_deque parallel
[ ]   15    0    0   15 /   32     6.7s Saturn.Ws_deque parallel
[ ]   16    0    0   16 /   32     7.2s Saturn.Ws_deque parallel
[ ]   17    0    0   17 /   32     8.0s Saturn.Ws_deque parallel
[ ]   18    0    0   18 /   32     8.4s Saturn.Ws_deque parallel
[ ]   19    0    0   19 /   32     9.2s Saturn.Ws_deque parallel
[ ]   21    0    0   21 /   32    10.2s Saturn.Ws_deque parallel
[ ]   22    0    0   22 /   32    11.3s Saturn.Ws_deque parallel
[ ]   23    0    0   23 /   32    12.7s Saturn.Ws_deque parallel
[ ]   24    0    0   24 /   32    14.0s Saturn.Ws_deque parallel
[ ]   25    0    0   25 /   32    14.4s Saturn.Ws_deque parallel
[ ]   26    0    0   26 /   32    15.1s Saturn.Ws_deque parallel
[ ]   27    0    0   27 /   32    15.9s Saturn.Ws_deque parallel
[ ]   28    0    0   28 /   32    16.3s Saturn.Ws_deque parallel
[ ]   29    0    0   29 /   32    18.1s Saturn.Ws_deque parallel
[ ]   30    0    0   30 /   32    18.7s Saturn.Ws_deque parallel
[ ]   31    0    0   31 /   32    19.2s Saturn.Ws_deque parallel
[ ]   32    0    0   32 /   32    19.6s Saturn.Ws_deque parallel
[✓]   32    0    0   32 /   32    19.6s Saturn.Ws_deque parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 413885994316553997
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Size sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Size sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Size sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Size parallel
[ ]    1    0    0    1 /   32     0.5s Saturn.Size parallel
[ ]    2    0    0    2 /   32     1.3s Saturn.Size parallel
[ ]    3    0    0    3 /   32     2.4s Saturn.Size parallel
[ ]    4    0    0    4 /   32     4.7s Saturn.Size parallel
[ ]    5    0    0    5 /   32     6.3s Saturn.Size parallel
[ ]    6    0    0    6 /   32     7.4s Saturn.Size parallel
[ ]    7    0    0    7 /   32     9.1s Saturn.Size parallel
[ ]    8    0    0    8 /   32     9.6s Saturn.Size parallel
[ ]    9    0    0    9 /   32    10.2s Saturn.Size parallel
[ ]   10    0    0   10 /   32    11.0s Saturn.Size parallel
[ ]   11    0    0   11 /   32    11.6s Saturn.Size parallel
[ ]   12    0    0   12 /   32    12.4s Saturn.Size parallel
[ ]   13    0    0   13 /   32    14.0s Saturn.Size parallel
[ ]   14    0    0   14 /   32    17.5s Saturn.Size parallel
[ ]   15    0    0   15 /   32    20.1s Saturn.Size parallel
[ ]   16    0    0   16 /   32    20.9s Saturn.Size parallel
[ ]   17    0    0   17 /   32    21.2s Saturn.Size parallel
[ ]   18    0    0   18 /   32    22.0s Saturn.Size parallel
[ ]   19    0    0   19 /   32    23.5s Saturn.Size parallel
[ ]   20    0    0   20 /   32    25.3s Saturn.Size parallel
[ ]   21    0    0   21 /   32    27.0s Saturn.Size parallel
[ ]   22    0    0   22 /   32    28.4s Saturn.Size parallel
[ ]   23    0    0   23 /   32    29.7s Saturn.Size parallel
[ ]   24    0    0   24 /   32    30.7s Saturn.Size parallel
[ ]   25    0    0   25 /   32    31.4s Saturn.Size parallel
[ ]   26    0    0   26 /   32    33.2s Saturn.Size parallel
[ ]   27    0    0   27 /   32    34.5s Saturn.Size parallel
[ ]   28    0    0   28 /   32    36.1s Saturn.Size parallel
[ ]   29    0    0   29 /   32    38.2s Saturn.Size parallel
[ ]   30    0    0   30 /   32    39.5s Saturn.Size parallel
[ ]   31    0    0   31 /   32    40.5s Saturn.Size parallel
[ ]   32    0    0   32 /   32    41.5s Saturn.Size parallel
[✓]   32    0    0   32 /   32    41.5s Saturn.Size parallel
================================================================================
success (ran 2 tests)
random seed: 3877463709265009525
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Size sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Size sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Size parallel
[ ]    1    0    0    1 /   32     1.0s Saturn.Size parallel
[ ]    2    0    0    2 /   32     3.4s Saturn.Size parallel
[ ]    3    0    0    3 /   32     5.3s Saturn.Size parallel
[ ]    4    0    0    4 /   32     7.1s Saturn.Size parallel
[ ]    5    0    0    5 /   32     8.8s Saturn.Size parallel
[ ]    6    0    0    6 /   32     9.4s Saturn.Size parallel
[ ]    7    0    0    7 /   32    12.6s Saturn.Size parallel
[ ]    8    0    0    8 /   32    13.7s Saturn.Size parallel
[ ]    9    0    0    9 /   32    14.7s Saturn.Size parallel
[ ]   10    0    0   10 /   32    15.8s Saturn.Size parallel
[ ]   11    0    0   11 /   32    17.0s Saturn.Size parallel
[ ]   12    0    0   12 /   32    18.9s Saturn.Size parallel
[ ]   13    0    0   13 /   32    20.7s Saturn.Size parallel
[ ]   14    0    0   14 /   32    21.2s Saturn.Size parallel
[ ]   15    0    0   15 /   32    23.2s Saturn.Size parallel
[ ]   16    0    0   16 /   32    23.7s Saturn.Size parallel
[ ]   17    0    0   17 /   32    24.3s Saturn.Size parallel
[ ]   18    0    0   18 /   32    26.1s Saturn.Size parallel
[ ]   19    0    0   19 /   32    27.1s Saturn.Size parallel
[ ]   20    0    0   20 /   32    28.9s Saturn.Size parallel
[ ]   21    0    0   21 /   32    30.4s Saturn.Size parallel
[ ]   22    0    0   22 /   32    31.6s Saturn.Size parallel
[ ]   23    0    0   23 /   32    31.9s Saturn.Size parallel
[ ]   24    0    0   24 /   32    32.8s Saturn.Size parallel
[ ]   25    0    0   25 /   32    33.6s Saturn.Size parallel
[ ]   26    0    0   26 /   32    34.6s Saturn.Size parallel
[ ]   27    0    0   27 /   32    35.5s Saturn.Size parallel
[ ]   28    0    0   28 /   32    37.4s Saturn.Size parallel
[ ]   29    0    0   29 /   32    40.4s Saturn.Size parallel
[ ]   30    0    0   30 /   32    42.2s Saturn.Size parallel
[ ]   31    0    0   31 /   32    45.9s Saturn.Size parallel
[ ]   32    0    0   32 /   32    47.2s Saturn.Size parallel
[✓]   32    0    0   32 /   32    47.2s Saturn.Size parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 568578568
Testing `Ws_deque'.
This run has ID `XIHN3NUQ'.


[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 10.741s. 6 tests run.
(cd _build/default/test/bounded_queue && ./stm_bounded_queue.exe)
random seed: 2743989376215869366
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_queue sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Bounded_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_queue parallel
[ ]    1    0    0    1 /   32     0.6s Saturn.Bounded_queue parallel
[ ]    2    0    0    2 /   32     1.3s Saturn.Bounded_queue parallel
[ ]    3    0    0    3 /   32     3.1s Saturn.Bounded_queue parallel
[ ]    4    0    0    4 /   32     3.9s Saturn.Bounded_queue parallel
[ ]    5    0    0    5 /   32     4.1s Saturn.Bounded_queue parallel
[ ]    6    0    0    6 /   32     6.4s Saturn.Bounded_queue parallel
[ ]    7    0    0    7 /   32     7.7s Saturn.Bounded_queue parallel
[ ]    9    0    0    9 /   32     9.3s Saturn.Bounded_queue parallel
[ ]   10    0    0   10 /   32    10.5s Saturn.Bounded_queue parallel
[ ]   11    0    0   11 /   32    12.3s Saturn.Bounded_queue parallel
[ ]   12    0    0   12 /   32    13.6s Saturn.Bounded_queue parallel
[ ]   13    0    0   13 /   32    14.3s Saturn.Bounded_queue parallel
[ ]   14    0    0   14 /   32    15.2s Saturn.Bounded_queue parallel
[ ]   15    0    0   15 /   32    18.6s Saturn.Bounded_queue parallel
[ ]   16    0    0   16 /   32    20.2s Saturn.Bounded_queue parallel
[ ]   17    0    0   17 /   32    20.6s Saturn.Bounded_queue parallel
[ ]   18    0    0   18 /   32    21.5s Saturn.Bounded_queue parallel
[ ]   19    0    0   19 /   32    22.6s Saturn.Bounded_queue parallel
[ ]   20    0    0   20 /   32    23.8s Saturn.Bounded_queue parallel
[ ]   21    0    0   21 /   32    26.2s Saturn.Bounded_queue parallel
[ ]   22    0    0   22 /   32    27.2s Saturn.Bounded_queue parallel
[ ]   23    0    0   23 /   32    28.9s Saturn.Bounded_queue parallel
[ ]   24    0    0   24 /   32    29.4s Saturn.Bounded_queue parallel
[ ]   25    0    0   25 /   32    31.9s Saturn.Bounded_queue parallel
[ ]   26    0    0   26 /   32    32.5s Saturn.Bounded_queue parallel
[ ]   27    0    0   27 /   32    33.7s Saturn.Bounded_queue parallel
[ ]   28    0    0   28 /   32    35.2s Saturn.Bounded_queue parallel
[ ]   29    0    0   29 /   32    36.8s Saturn.Bounded_queue parallel
[ ]   30    0    0   30 /   32    38.8s Saturn.Bounded_queue parallel
[ ]   31    0    0   31 /   32    39.8s Saturn.Bounded_queue parallel
[ ]   32    0    0   32 /   32    41.7s Saturn.Bounded_queue parallel
[✓]   32    0    0   32 /   32    41.7s Saturn.Bounded_queue parallel
================================================================================
success (ran 2 tests)
random seed: 633609666818451677
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_queue sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Bounded_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Bounded_queue parallel
[ ]    1    0    0    1 /   32     1.9s Saturn.Bounded_queue parallel
[ ]    2    0    0    2 /   32     2.2s Saturn.Bounded_queue parallel
[ ]    3    0    0    3 /   32     2.7s Saturn.Bounded_queue parallel
[ ]    4    0    0    4 /   32     3.5s Saturn.Bounded_queue parallel
[ ]    5    0    0    5 /   32     4.0s Saturn.Bounded_queue parallel
[ ]    6    0    0    6 /   32     4.6s Saturn.Bounded_queue parallel
[ ]    7    0    0    7 /   32     4.9s Saturn.Bounded_queue parallel
[ ]    8    0    0    8 /   32     6.9s Saturn.Bounded_queue parallel
[ ]    9    0    0    9 /   32     8.6s Saturn.Bounded_queue parallel
[ ]   10    0    0   10 /   32     9.2s Saturn.Bounded_queue parallel
[ ]   12    0    0   12 /   32     9.3s Saturn.Bounded_queue parallel
[ ]   14    0    0   14 /   32    10.5s Saturn.Bounded_queue parallel
[ ]   15    0    0   15 /   32    11.6s Saturn.Bounded_queue parallel
[ ]   16    0    0   16 /   32    12.0s Saturn.Bounded_queue parallel
[ ]   17    0    0   17 /   32    12.5s Saturn.Bounded_queue parallel
[ ]   18    0    0   18 /   32    13.4s Saturn.Bounded_queue parallel
[ ]   19    0    0   19 /   32    14.4s Saturn.Bounded_queue parallel
[ ]   20    0    0   20 /   32    15.6s Saturn.Bounded_queue parallel
[ ]   21    0    0   21 /   32    17.0s Saturn.Bounded_queue parallel
[ ]   22    0    0   22 /   32    20.5s Saturn.Bounded_queue parallel
[ ]   23    0    0   23 /   32    21.9s Saturn.Bounded_queue parallel
[ ]   24    0    0   24 /   32    23.0s Saturn.Bounded_queue parallel
[ ]   26    0    0   26 /   32    24.3s Saturn.Bounded_queue parallel
[ ]   27    0    0   27 /   32    26.4s Saturn.Bounded_queue parallel
[ ]   28    0    0   28 /   32    28.4s Saturn.Bounded_queue parallel
[ ]   29    0    0   29 /   32    31.4s Saturn.Bounded_queue parallel
[ ]   30    0    0   30 /   32    33.1s Saturn.Bounded_queue parallel
[ ]   31    0    0   31 /   32    35.2s Saturn.Bounded_queue parallel
[ ]   32    0    0   32 /   32    36.3s Saturn.Bounded_queue parallel
[✓]   32    0    0   32 /   32    36.3s Saturn.Bounded_queue parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/htbl && ./stm_htbl.exe)
random seed: 2513544871572601211
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Htbl sequential
[ ]    0    0    0    0 /   32     0.0s Htbl sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Htbl sequential
[ ]    0    0    0    0 /   32     0.0s Htbl parallel
[ ]    1    0    0    1 /   32     1.3s Htbl parallel
[ ]    2    0    0    2 /   32     2.4s Htbl parallel
[ ]    3    0    0    3 /   32     2.8s Htbl parallel
[ ]    4    0    0    4 /   32     3.5s Htbl parallel
[ ]    5    0    0    5 /   32     5.0s Htbl parallel
[ ]    6    0    0    6 /   32     6.4s Htbl parallel
[ ]    7    0    0    7 /   32     7.1s Htbl parallel
[ ]    8    0    0    8 /   32     9.9s Htbl parallel
[ ]    9    0    0    9 /   32    11.8s Htbl parallel
[ ]   10    0    0   10 /   32    12.9s Htbl parallel
[ ]   11    0    0   11 /   32    14.0s Htbl parallel
[ ]   12    0    0   12 /   32    15.1s Htbl parallel
[ ]   13    0    0   13 /   32    16.5s Htbl parallel
[ ]   14    0    0   14 /   32    17.9s Htbl parallel
[ ]   15    0    0   15 /   32    18.3s Htbl parallel
[ ]   16    0    0   16 /   32    21.5s Htbl parallel
[ ]   17    0    0   17 /   32    23.4s Htbl parallel
[ ]   18    0    0   18 /   32    24.5s Htbl parallel
[ ]   19    0    0   19 /   32    25.8s Htbl parallel
[ ]   20    0    0   20 /   32    28.8s Htbl parallel
[ ]   21    0    0   21 /   32    30.4s Htbl parallel
[ ]   22    0    0   22 /   32    32.0s Htbl parallel
[ ]   23    0    0   23 /   32    32.9s Htbl parallel
[ ]   24    0    0   24 /   32    35.1s Htbl parallel
[ ]   25    0    0   25 /   32    36.1s Htbl parallel
[ ]   26    0    0   26 /   32    38.4s Htbl parallel
[ ]   27    0    0   27 /   32    39.0s Htbl parallel
[ ]   28    0    0   28 /   32    41.9s Htbl parallel
[ ]   29    0    0   29 /   32    43.9s Htbl parallel
[ ]   30    0    0   30 /   32    46.5s Htbl parallel
[ ]   31    0    0   31 /   32    47.2s Htbl parallel
[ ]   32    0    0   32 /   32    48.2s Htbl parallel
[✓]   32    0    0   32 /   32    48.2s Htbl parallel
================================================================================
success (ran 2 tests)
random seed: 1681827774322614009
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Htbl sequential
[✓]   32    0    0   32 /   32     0.0s Htbl sequential
[ ]    0    0    0    0 /   32     0.0s Htbl parallel
[ ]    1    0    0    1 /   32     0.6s Htbl parallel
[ ]    2    0    0    2 /   32     0.9s Htbl parallel
[ ]    3    0    0    3 /   32     1.4s Htbl parallel
[ ]    4    0    0    4 /   32     3.5s Htbl parallel
[ ]    5    0    0    5 /   32     5.4s Htbl parallel
[ ]    6    0    0    6 /   32     6.6s Htbl parallel
[ ]    7    0    0    7 /   32     7.0s Htbl parallel
[ ]    8    0    0    8 /   32     7.6s Htbl parallel
[ ]    9    0    0    9 /   32     8.4s Htbl parallel
[ ]   10    0    0   10 /   32     9.0s Htbl parallel
[ ]   11    0    0   11 /   32    10.8s Htbl parallel
[ ]   12    0    0   12 /   32    11.7s Htbl parallel
[ ]   13    0    0   13 /   32    12.8s Htbl parallel
[ ]   14    0    0   14 /   32    14.0s Htbl parallel
[ ]   15    0    0   15 /   32    17.5s Htbl parallel
[ ]   16    0    0   16 /   32    18.4s Htbl parallel
[ ]   17    0    0   17 /   32    20.0s Htbl parallel
[ ]   18    0    0   18 /   32    21.6s Htbl parallel
[ ]   19    0    0   19 /   32    23.8s Htbl parallel
[ ]   20    0    0   20 /   32    25.7s Htbl parallel
[ ]   21    0    0   21 /   32    28.4s Htbl parallel
[ ]   22    0    0   22 /   32    30.0s Htbl parallel
[ ]   23    0    0   23 /   32    31.2s Htbl parallel
[ ]   24    0    0   24 /   32    32.7s Htbl parallel
[ ]   25    0    0   25 /   32    33.5s Htbl parallel
[ ]   26    0    0   26 /   32    34.3s Htbl parallel
[ ]   27    0    0   27 /   32    35.1s Htbl parallel
[ ]   28    0    0   28 /   32    36.4s Htbl parallel
[ ]   29    0    0   29 /   32    38.5s Htbl parallel
[ ]   30    0    0   30 /   32    41.0s Htbl parallel
[ ]   31    0    0   31 /   32    42.1s Htbl parallel
[ ]   32    0    0   32 /   32    43.5s Htbl parallel
[✓]   32    0    0   32 /   32    43.5s Htbl parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/bounded_queue && ./qcheck_bounded_queue.exe)
qcheck random seed: 966283292
Testing `Bounded_queue'.
This run has ID `XB9ZMUXM'.


[OK]          test_sequential_safe              0   push.
[OK]          test_sequential_safe              1   of_list_exn.
[OK]          test_sequential_safe              2   of_list_exn_raise_full.
[OK]          test_sequential_safe              3   push_capacity.
[OK]          test_sequential_safe              4   push_pop_opt_until_empty.
[OK]          test_sequential_safe              5   fifo.
[OK]          test_sequential_safe              6   fifo_peek_opt.
[OK]          one_cons_one_prod_safe            0   parallel_fifo.
[OK]          one_cons_one_prod_safe            1   parallel_peek.
[OK]          two_domains_safe                  0   parallel_pop_opt_push.
[OK]          two_domains_safe                  1   parallel_pop_opt_push_r...
[OK]          test_sequential_unsafe            0   push.
[OK]          test_sequential_unsafe            1   of_list_exn.
[OK]          test_sequential_unsafe            2   of_list_exn_raise_full.
[OK]          test_sequential_unsafe            3   push_capacity.
[OK]          test_sequential_unsafe            4   push_pop_opt_until_empty.
[OK]          test_sequential_unsafe            5   fifo.
[OK]          test_sequential_unsafe            6   fifo_peek_opt.
[OK]          one_cons_one_prod_unsafe          0   parallel_fifo.
[OK]          one_cons_one_prod_unsafe          1   parallel_peek.
[OK]          two_domains_unsafe                0   parallel_pop_opt_push.
[OK]          two_domains_unsafe                1   parallel_pop_opt_push_r...


Full test results in `/src/_build/default/test/bounded_queue/_build/_tests/Bounded_queue'.
Test Successful in 18.016s. 22 tests run.
(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 = 100000)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100000)
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 185729564
Testing `Michael_scott_queue'.
This run has ID `ND4A0M85'.


[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 17.936s. 16 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Bounded_Queue:
messages over time/1 nb adder, 1 nb taker:
11.62 M/s
messages over time/1 nb adder, 2 nb takers:
3.60 M/s
messages over time/2 nb adders, 1 nb taker:
39.26 M/s
messages over time/2 nb adders, 2 nb takers:
1.45 M/s
messages over time/one domain:
2.93 M/s
time per message/1 nb adder, 1 nb taker:
172.17 ns
time per message/1 nb adder, 2 nb takers:
834.28 ns
time per message/2 nb adders, 1 nb taker:
76.41 ns
time per message/2 nb adders, 2 nb takers:
2757.24 ns
time per message/one domain:
341.19 ns
Saturn Bounded_Queue_unsafe:
messages over time/1 nb adder, 1 nb taker:
30.75 M/s
messages over time/1 nb adder, 2 nb takers:
40.94 M/s
messages over time/2 nb adders, 1 nb taker:
9.72 M/s
messages over time/2 nb adders, 2 nb takers:
5.77 M/s
messages over time/one domain:
10.13 M/s
time per message/1 nb adder, 1 nb taker:
65.05 ns
time per message/1 nb adder, 2 nb takers:
73.29 ns
time per message/2 nb adders, 1 nb taker:
308.54 ns
time per message/2 nb adders, 2 nb takers:
693.72 ns
time per message/one domain:
98.72 ns
Saturn Bounded_Stack:
messages over time/1 adder, 1 taker:
25.10 M/s
messages over time/1 adder, 2 takers:
1.87 M/s
messages over time/2 adders, 1 taker:
30.77 M/s
messages over time/2 adders, 2 takers:
1.32 M/s
messages over time/one domain:
24.38 M/s
time per message/1 adder, 1 taker:
79.67 ns
time per message/1 adder, 2 takers:
1602.89 ns
time per message/2 adders, 1 taker:
97.51 ns
time per message/2 adders, 2 takers:
3024.77 ns
time per message/one domain:
41.02 ns
Saturn Htbl:
operations over time/1 worker, 10% reads:
13.57 M/s
operations over time/1 worker, 50% reads:
16.06 M/s
operations over time/1 worker, 90% reads:
28.51 M/s
operations over time/2 workers, 10% reads:
21.13 M/s
operations over time/2 workers, 50% reads:
21.86 M/s
operations over time/2 workers, 90% reads:
42.53 M/s
operations over time/4 workers, 10% reads:
5.63 M/s
operations over time/4 workers, 50% reads:
7.62 M/s
operations over time/4 workers, 90% reads:
32.90 M/s
time per operation/1 worker, 10% reads:
73.67 ns
time per operation/1 worker, 50% reads:
62.28 ns
time per operation/1 worker, 90% reads:
35.07 ns
time per operation/2 workers, 10% reads:
94.65 ns
time per operation/2 workers, 50% reads:
91.49 ns
time per operation/2 workers, 90% reads:
47.03 ns
time per operation/4 workers, 10% reads:
710.20 ns
time per operation/4 workers, 50% reads:
524.90 ns
time per operation/4 workers, 90% reads:
121.58 ns
Saturn Htbl_unsafe:
operations over time/1 worker, 10% reads:
12.49 M/s
operations over time/1 worker, 50% reads:
8.35 M/s
operations over time/1 worker, 90% reads:
26.12 M/s
operations over time/2 workers, 10% reads:
16.40 M/s
operations over time/2 workers, 50% reads:
19.04 M/s
operations over time/2 workers, 90% reads:
53.26 M/s
operations over time/4 workers, 10% reads:
15.02 M/s
operations over time/4 workers, 50% reads:
9.08 M/s
operations over time/4 workers, 90% reads:
19.03 M/s
time per operation/1 worker, 10% reads:
80.05 ns
time per operation/1 worker, 50% reads:
119.82 ns
time per operation/1 worker, 90% reads:
38.29 ns
time per operation/2 workers, 10% reads:
121.95 ns
time per operation/2 workers, 50% reads:
105.03 ns
time per operation/2 workers, 90% reads:
37.55 ns
time per operation/4 workers, 10% reads:
266.22 ns
time per operation/4 workers, 50% reads:
440.53 ns
time per operation/4 workers, 90% reads:
210.16 ns
Saturn Queue (MS):
messages over time/1 nb adder, 1 nb taker:
46.21 M/s
messages over time/1 nb adder, 2 nb takers:
11.02 M/s
messages over time/2 nb adders, 1 nb taker:
17.87 M/s
messages over time/2 nb adders, 2 nb takers:
2.86 M/s
messages over time/one domain:
9.13 M/s
time per message/1 nb adder, 1 nb taker:
43.28 ns
time per message/1 nb adder, 2 nb takers:
272.27 ns
time per message/2 nb adders, 1 nb taker:
167.91 ns
time per message/2 nb adders, 2 nb takers:
1397.24 ns
time per message/one domain:
109.54 ns
Saturn Queue_unsafe (MS):
messages over time/1 nb adder, 1 nb taker:
78.57 M/s
messages over time/1 nb adder, 2 nb takers:
54.46 M/s
messages over time/2 nb adders, 1 nb taker:
56.40 M/s
messages over time/2 nb adders, 2 nb takers:
15.72 M/s
messages over time/one domain:
27.00 M/s
time per message/1 nb adder, 1 nb taker:
25.46 ns
time per message/1 nb adder, 2 nb takers:
55.09 ns
time per message/2 nb adders, 1 nb taker:
53.19 ns
time per message/2 nb adders, 2 nb takers:
254.43 ns
time per message/one domain:
37.03 ns
Saturn Single_consumer_queue:
messages over time/1 nb adder, 1 nb taker:
45.06 M/s
messages over time/2 nb adders, 1 nb taker:
12.17 M/s
messages over time/3 nb adders, 1 nb taker:
5.10 M/s
messages over time/4 nb adders, 1 nb taker:
2.53 M/s
messages over time/one domain:
8.15 M/s
time per message/1 nb adder, 1 nb taker:
44.38 ns
time per message/2 nb adders, 1 nb taker:
246.49 ns
time per message/3 nb adders, 1 nb taker:
784.38 ns
time per message/4 nb adders, 1 nb taker:
1980.17 ns
time per message/one domain:
122.66 ns
Saturn Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
1.18 M/s
messages over time/2 workers, capacity 32768:
12.04 M/s
messages over time/2 workers, capacity 4096:
63.71 M/s
messages over time/2 workers, capacity 512:
29.67 M/s
messages over time/2 workers, capacity 64:
23.07 M/s
messages over time/2 workers, capacity 8:
4.65 M/s
time per message/2 workers, capacity 1:
1688.28 ns
time per message/2 workers, capacity 32768:
166.15 ns
time per message/2 workers, capacity 4096:
31.39 ns
time per message/2 workers, capacity 512:
67.41 ns
time per message/2 workers, capacity 64:
86.71 ns
time per message/2 workers, capacity 8:
430.14 ns
Saturn Single_prod_single_cons_queue_unsafe:
messages over time/2 workers, capacity 1:
2.76 M/s
messages over time/2 workers, capacity 32768:
123.63 M/s
messages over time/2 workers, capacity 4096:
57.39 M/s
messages over time/2 workers, capacity 512:
103.41 M/s
messages over time/2 workers, capacity 64:
60.00 M/s
messages over time/2 workers, capacity 8:
27.69 M/s
time per message/2 workers, capacity 1:
724.80 ns
time per message/2 workers, capacity 32768:
16.18 ns
time per message/2 workers, capacity 4096:
34.85 ns
time per message/2 workers, capacity 512:
19.34 ns
time per message/2 workers, capacity 64:
33.33 ns
time per message/2 workers, capacity 8:
72.23 ns
Saturn Size:
operations over time/1 worker:
31.16 M/s
operations over time/2 workers:
27.81 M/s
operations over time/4 workers:
3.77 M/s
time per operation/1 worker:
32.09 ns
time per operation/2 workers:
71.91 ns
time per operation/4 workers:
1061.89 ns
Saturn Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.50 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
0.93 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
1.62 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
1.38 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
1.84 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
3.26 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
1.43 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
2.92 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
2.94 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
2003.20 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
1079.86 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
615.73 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
1452.81 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
1084.97 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
612.58 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
2792.51 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
1367.75 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
1358.70 ns
Saturn Stack:
messages over time/1 adder, 1 taker:
75.22 M/s
messages over time/1 adder, 2 takers:
38.48 M/s
messages over time/2 adders, 1 taker:
46.85 M/s
messages over time/2 adders, 2 takers:
3.07 M/s
messages over time/one domain:
35.24 M/s
time per message/1 adder, 1 taker:
26.59 ns
time per message/1 adder, 2 takers:
77.96 ns
time per message/2 adders, 1 taker:
64.04 ns
time per message/2 adders, 2 takers:
1301.47 ns
time per message/one domain:
28.37 ns
Saturn Work_stealing_deque:
messages over time/1 adder, 1 taker:
11.56 M/s
messages over time/1 adder, 2 takers:
20.62 M/s
messages over time/1 adder, 4 takers:
2.72 M/s
messages over time/one domain (FIFO):
26.99 M/s
messages over time/one domain (LIFO):
27.71 M/s
spawns over time/1 worker:
9.03 M/s
spawns over time/2 workers:
18.44 M/s
spawns over time/4 workers:
2.23 M/s
spawns over time/8 workers:
1.74 M/s
time per message/1 adder, 1 taker:
172.98 ns
time per message/1 adder, 2 takers:
145.49 ns
time per message/1 adder, 4 takers:
1840.84 ns
time per message/one domain (FIFO):
37.06 ns
time per message/one domain (LIFO):
36.09 ns
time per spawn/1 worker:
110.74 ns
time per spawn/2 workers:
108.48 ns
time per spawn/4 workers:
1791.55 ns
time per spawn/8 workers:
4587.99 ns
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 983784112
Testing `QCheck Skiplist'.
This run has ID `PHTF53VI'.


[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 274.966s. 7 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 88914006
Testing `Spsc_queues'.
This run has ID `9LLRWC9K'.


[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 14.548s. 16 tests run.
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 2724805026754183273
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_safe sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_safe sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.michael_scott_queue_safe sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_safe parallel
[ ]    1    0    0    1 /   32     1.6s Saturn.michael_scott_queue_safe parallel
[ ]    2    0    0    2 /   32     3.2s Saturn.michael_scott_queue_safe parallel
[ ]    3    0    0    3 /   32     4.1s Saturn.michael_scott_queue_safe parallel
[ ]    4    0    0    4 /   32     4.8s Saturn.michael_scott_queue_safe parallel
[ ]    5    0    0    5 /   32     5.8s Saturn.michael_scott_queue_safe parallel
[ ]    6    0    0    6 /   32     6.0s Saturn.michael_scott_queue_safe parallel
[ ]    7    0    0    7 /   32     7.4s Saturn.michael_scott_queue_safe parallel
[ ]    8    0    0    8 /   32     8.3s Saturn.michael_scott_queue_safe parallel
[ ]    9    0    0    9 /   32     9.4s Saturn.michael_scott_queue_safe parallel
[ ]   10    0    0   10 /   32    10.3s Saturn.michael_scott_queue_safe parallel
[ ]   11    0    0   11 /   32    11.0s Saturn.michael_scott_queue_safe parallel
[ ]   12    0    0   12 /   32    13.1s Saturn.michael_scott_queue_safe parallel
[ ]   13    0    0   13 /   32    14.0s Saturn.michael_scott_queue_safe parallel
[ ]   14    0    0   14 /   32    14.8s Saturn.michael_scott_queue_safe parallel
[ ]   15    0    0   15 /   32    16.0s Saturn.michael_scott_queue_safe parallel
[ ]   16    0    0   16 /   32    17.2s Saturn.michael_scott_queue_safe parallel
[ ]   17    0    0   17 /   32    19.0s Saturn.michael_scott_queue_safe parallel
[ ]   18    0    0   18 /   32    19.9s Saturn.michael_scott_queue_safe parallel
[ ]   19    0    0   19 /   32    21.3s Saturn.michael_scott_queue_safe parallel
[ ]   20    0    0   20 /   32    22.9s Saturn.michael_scott_queue_safe parallel
[ ]   21    0    0   21 /   32    23.8s Saturn.michael_scott_queue_safe parallel
[ ]   22    0    0   22 /   32    24.7s Saturn.michael_scott_queue_safe parallel
[ ]   23    0    0   23 /   32    24.9s Saturn.michael_scott_queue_safe parallel
[ ]   24    0    0   24 /   32    25.1s Saturn.michael_scott_queue_safe parallel
[ ]   25    0    0   25 /   32    25.7s Saturn.michael_scott_queue_safe parallel
[ ]   26    0    0   26 /   32    26.3s Saturn.michael_scott_queue_safe parallel
[ ]   27    0    0   27 /   32    26.9s Saturn.michael_scott_queue_safe parallel
[ ]   28    0    0   28 /   32    27.6s Saturn.michael_scott_queue_safe parallel
[ ]   29    0    0   29 /   32    28.8s Saturn.michael_scott_queue_safe parallel
[ ]   30    0    0   30 /   32    30.1s Saturn.michael_scott_queue_safe parallel
[ ]   31    0    0   31 /   32    31.1s Saturn.michael_scott_queue_safe parallel
[ ]   32    0    0   32 /   32    32.8s Saturn.michael_scott_queue_safe parallel
[✓]   32    0    0   32 /   32    32.8s Saturn.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 1766322788869679300
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_safe sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.michael_scott_queue_safe sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_safe parallel
[ ]    1    0    0    1 /   32     0.8s Saturn.michael_scott_queue_safe parallel
[ ]    2    0    0    2 /   32     2.3s Saturn.michael_scott_queue_safe parallel
[ ]    3    0    0    3 /   32     3.7s Saturn.michael_scott_queue_safe parallel
[ ]    4    0    0    4 /   32     5.3s Saturn.michael_scott_queue_safe parallel
[ ]    5    0    0    5 /   32     8.7s Saturn.michael_scott_queue_safe parallel
[ ]    6    0    0    6 /   32    10.6s Saturn.michael_scott_queue_safe parallel
[ ]    7    0    0    7 /   32    12.6s Saturn.michael_scott_queue_safe parallel
[ ]    8    0    0    8 /   32    18.5s Saturn.michael_scott_queue_safe parallel
[ ]    9    0    0    9 /   32    20.8s Saturn.michael_scott_queue_safe parallel
[ ]   10    0    0   10 /   32    23.4s Saturn.michael_scott_queue_safe parallel
[ ]   11    0    0   11 /   32    26.3s Saturn.michael_scott_queue_safe parallel
[ ]   12    0    0   12 /   32    29.5s Saturn.michael_scott_queue_safe parallel
[ ]   13    0    0   13 /   32    29.6s Saturn.michael_scott_queue_safe parallel
[ ]   16    0    0   16 /   32    29.8s Saturn.michael_scott_queue_safe parallel
[ ]   17    0    0   17 /   32    30.9s Saturn.michael_scott_queue_safe parallel
[ ]   18    0    0   18 /   32    31.9s Saturn.michael_scott_queue_safe parallel
[ ]   19    0    0   19 /   32    34.6s Saturn.michael_scott_queue_safe parallel
[ ]   20    0    0   20 /   32    36.1s Saturn.michael_scott_queue_safe parallel
[ ]   21    0    0   21 /   32    37.0s Saturn.michael_scott_queue_safe parallel
[ ]   22    0    0   22 /   32    38.7s Saturn.michael_scott_queue_safe parallel
[ ]   23    0    0   23 /   32    39.9s Saturn.michael_scott_queue_safe parallel
[ ]   24    0    0   24 /   32    40.5s Saturn.michael_scott_queue_safe parallel
[ ]   25    0    0   25 /   32    41.1s Saturn.michael_scott_queue_safe parallel
[ ]   26    0    0   26 /   32    41.7s Saturn.michael_scott_queue_safe parallel
[ ]   27    0    0   27 /   32    42.3s Saturn.michael_scott_queue_safe parallel
[ ]   28    0    0   28 /   32    43.2s Saturn.michael_scott_queue_safe parallel
[ ]   29    0    0   29 /   32    44.3s Saturn.michael_scott_queue_safe parallel
[ ]   30    0    0   30 /   32    44.7s Saturn.michael_scott_queue_safe parallel
[✓]   32    0    0   32 /   32    44.8s Saturn.michael_scott_queue_safe parallel
================================================================================
success (ran 2 tests)
random seed: 548989861226785892
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_unsafe sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.michael_scott_queue_unsafe sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    1    0    0    1 /   32     1.2s Saturn.michael_scott_queue_unsafe parallel
[ ]    2    0    0    2 /   32     1.4s Saturn.michael_scott_queue_unsafe parallel
[ ]    3    0    0    3 /   32     2.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    4    0    0    4 /   32     2.4s Saturn.michael_scott_queue_unsafe parallel
[ ]    5    0    0    5 /   32     2.8s Saturn.michael_scott_queue_unsafe parallel
[ ]    6    0    0    6 /   32     3.5s Saturn.michael_scott_queue_unsafe parallel
[ ]    7    0    0    7 /   32     4.3s Saturn.michael_scott_queue_unsafe parallel
[ ]    8    0    0    8 /   32     5.3s Saturn.michael_scott_queue_unsafe parallel
[ ]    9    0    0    9 /   32     6.4s Saturn.michael_scott_queue_unsafe parallel
[ ]   10    0    0   10 /   32     7.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   11    0    0   11 /   32     7.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   12    0    0   12 /   32     9.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   13    0    0   13 /   32     9.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   14    0    0   14 /   32    10.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   15    0    0   15 /   32    10.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   16    0    0   16 /   32    11.5s Saturn.michael_scott_queue_unsafe parallel
[ ]   17    0    0   17 /   32    12.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   18    0    0   18 /   32    13.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   19    0    0   19 /   32    14.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   20    0    0   20 /   32    15.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   21    0    0   21 /   32    16.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   22    0    0   22 /   32    17.5s Saturn.michael_scott_queue_unsafe parallel
[ ]   23    0    0   23 /   32    18.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   24    0    0   24 /   32    19.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   25    0    0   25 /   32    19.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   26    0    0   26 /   32    20.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   27    0    0   27 /   32    21.4s Saturn.michael_scott_queue_unsafe parallel
[ ]   28    0    0   28 /   32    22.0s Saturn.michael_scott_queue_unsafe parallel
[ ]   29    0    0   29 /   32    22.7s Saturn.michael_scott_queue_unsafe parallel
[ ]   30    0    0   30 /   32    22.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   31    0    0   31 /   32    23.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   32    0    0   32 /   32    23.7s Saturn.michael_scott_queue_unsafe parallel
[✓]   32    0    0   32 /   32    23.7s Saturn.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
random seed: 3581427728611150127
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   48     0.0s Saturn.michael_scott_queue_unsafe sequential
[✓]   48    0    0   48 /   48     0.0s Saturn.michael_scott_queue_unsafe sequential
[ ]    0    0    0    0 /   48     0.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    1    0    0    1 /   48     2.1s Saturn.michael_scott_queue_unsafe parallel
[ ]    2    0    0    2 /   48     3.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    3    0    0    3 /   48     3.7s Saturn.michael_scott_queue_unsafe parallel
[ ]    4    0    0    4 /   48     5.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    5    0    0    5 /   48     5.6s Saturn.michael_scott_queue_unsafe parallel
[ ]    6    0    0    6 /   48     7.2s Saturn.michael_scott_queue_unsafe parallel
[ ]    6    0    0    6 /   48     7.4s Saturn.michael_scott_queue_unsafe parallel (generating)
[ ]    7    0    0    7 /   48    11.0s Saturn.michael_scott_queue_unsafe parallel
[ ]    8    0    0    8 /   48    11.6s Saturn.michael_scott_queue_unsafe parallel
[ ]    9    0    0    9 /   48    12.4s Saturn.michael_scott_queue_unsafe parallel
[ ]   10    0    0   10 /   48    13.4s Saturn.michael_scott_queue_unsafe parallel
[ ]   11    0    0   11 /   48    14.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   12    0    0   12 /   48    15.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   13    0    0   13 /   48    16.0s Saturn.michael_scott_queue_unsafe parallel
[ ]   14    0    0   14 /   48    17.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   15    0    0   15 /   48    17.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   16    0    0   16 /   48    18.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   17    0    0   17 /   48    18.7s Saturn.michael_scott_queue_unsafe parallel
[ ]   18    0    0   18 /   48    19.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   19    0    0   19 /   48    20.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   20    0    0   20 /   48    22.4s Saturn.michael_scott_queue_unsafe parallel
[ ]   21    0    0   21 /   48    22.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   22    0    0   22 /   48    24.7s Saturn.michael_scott_queue_unsafe parallel
[ ]   23    0    0   23 /   48    26.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   24    0    0   24 /   48    28.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   25    0    0   25 /   48    29.7s Saturn.michael_scott_queue_unsafe parallel
[ ]   26    0    0   26 /   48    30.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   27    0    0   27 /   48    31.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   28    0    0   28 /   48    31.7s Saturn.michael_scott_queue_unsafe parallel
[ ]   29    0    0   29 /   48    33.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   30    0    0   30 /   48    34.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   31    0    0   31 /   48    35.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   32    0    0   32 /   48    36.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   33    0    0   33 /   48    37.3s Saturn.michael_scott_queue_unsafe parallel
[ ]   34    0    0   34 /   48    38.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   35    0    0   35 /   48    40.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   36    0    0   36 /   48    42.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   37    0    0   37 /   48    42.9s Saturn.michael_scott_queue_unsafe parallel
[ ]   38    0    0   38 /   48    43.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   39    0    0   39 /   48    45.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   40    0    0   40 /   48    47.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   41    0    0   41 /   48    48.2s Saturn.michael_scott_queue_unsafe parallel
[ ]   42    0    0   42 /   48    49.8s Saturn.michael_scott_queue_unsafe parallel
[ ]   43    0    0   43 /   48    50.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   44    0    0   44 /   48    51.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   45    0    0   45 /   48    52.0s Saturn.michael_scott_queue_unsafe parallel
[ ]   46    0    0   46 /   48    52.1s Saturn.michael_scott_queue_unsafe parallel
[ ]   47    0    0   47 /   48    52.6s Saturn.michael_scott_queue_unsafe parallel
[ ]   48    0    0   48 /   48    54.0s Saturn.michael_scott_queue_unsafe parallel
[✓]   48    0    0   48 /   48    54.0s Saturn.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)
random seed: 1418974154857227314
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue sequential (generating)
[✓]   32    0    0   32 /   32     0.0s Saturn.Spsc_queue sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue parallel
[ ]    1    0    0    1 /   32     0.1s Saturn.Spsc_queue parallel
[ ]    4    0    0    4 /   32     1.0s Saturn.Spsc_queue parallel
[ ]    5    0    0    5 /   32     1.3s Saturn.Spsc_queue parallel
[ ]    6    0    0    6 /   32     1.7s Saturn.Spsc_queue parallel
[ ]    7    0    0    7 /   32     1.9s Saturn.Spsc_queue parallel
[ ]    8    0    0    8 /   32     2.7s Saturn.Spsc_queue parallel
[ ]    9    0    0    9 /   32     3.5s Saturn.Spsc_queue parallel
[ ]   10    0    0   10 /   32     4.4s Saturn.Spsc_queue parallel
[ ]   11    0    0   11 /   32     4.6s Saturn.Spsc_queue parallel
[ ]   12    0    0   12 /   32     5.2s Saturn.Spsc_queue parallel
[ ]   13    0    0   13 /   32     5.5s Saturn.Spsc_queue parallel
[ ]   14    0    0   14 /   32     6.5s Saturn.Spsc_queue parallel
[ ]   15    0    0   15 /   32     6.8s Saturn.Spsc_queue parallel
[ ]   16    0    0   16 /   32     7.4s Saturn.Spsc_queue parallel
[ ]   17    0    0   17 /   32     9.6s Saturn.Spsc_queue parallel
[ ]   18    0    0   18 /   32    10.0s Saturn.Spsc_queue parallel
[ ]   19    0    0   19 /   32    10.9s Saturn.Spsc_queue parallel
[ ]   20    0    0   20 /   32    11.5s Saturn.Spsc_queue parallel
[ ]   21    0    0   21 /   32    12.1s Saturn.Spsc_queue parallel
[ ]   22    0    0   22 /   32    12.3s Saturn.Spsc_queue parallel
[ ]   23    0    0   23 /   32    13.8s Saturn.Spsc_queue parallel
[ ]   24    0    0   24 /   32    15.1s Saturn.Spsc_queue parallel
[ ]   25    0    0   25 /   32    15.8s Saturn.Spsc_queue parallel
[ ]   26    0    0   26 /   32    16.0s Saturn.Spsc_queue parallel
[ ]   27    0    0   27 /   32    16.4s Saturn.Spsc_queue parallel
[ ]   28    0    0   28 /   32    17.0s Saturn.Spsc_queue parallel
[ ]   29    0    0   29 /   32    18.3s Saturn.Spsc_queue parallel
[ ]   30    0    0   30 /   32    19.6s Saturn.Spsc_queue parallel
[ ]   31    0    0   31 /   32    22.8s Saturn.Spsc_queue parallel
[ ]   32    0    0   32 /   32    25.3s Saturn.Spsc_queue parallel
[✓]   32    0    0   32 /   32    25.3s Saturn.Spsc_queue parallel
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue parallel, negative
[ ]    0    0    0    0 /   32     0.4s Saturn.Spsc_queue parallel, negative (shrinking:    0)
[ ]    0    0    0    0 /   32     0.6s Saturn.Spsc_queue parallel, negative (shrinking:    1)
[ ]    0    0    0    0 /   32     2.5s Saturn.Spsc_queue parallel, negative (shrinking:    2)
[ ]    0    0    0    0 /   32     2.7s Saturn.Spsc_queue parallel, negative (shrinking:    5)
[ ]    0    0    0    0 /   32     2.9s Saturn.Spsc_queue parallel, negative (shrinking:    6)
[ ]    0    0    0    0 /   32     3.4s Saturn.Spsc_queue parallel, negative (shrinking:    8)
[ ]    0    0    0    0 /   32     3.5s Saturn.Spsc_queue parallel, negative (shrinking:   11)
[ ]    0    0    0    0 /   32     3.7s Saturn.Spsc_queue parallel, negative (shrinking:   12)
[ ]    0    0    0    0 /   32     6.1s Saturn.Spsc_queue parallel, negative (shrinking:   13)
[ ]    0    0    0    0 /   32     7.0s Saturn.Spsc_queue parallel, negative (shrinking:   14)
[ ]    0    0    0    0 /   32     7.9s Saturn.Spsc_queue parallel, negative (shrinking:   15)
[ ]    0    0    0    0 /   32     8.5s Saturn.Spsc_queue parallel, negative (shrinking:   16)
[ ]    0    0    0    0 /   32     9.2s Saturn.Spsc_queue parallel, negative (shrinking:   17)
[ ]    0    0    0    0 /   32    11.3s Saturn.Spsc_queue parallel, negative (shrinking:   18)
[ ]    0    0    0    0 /   32    17.9s Saturn.Spsc_queue parallel, negative (shrinking:   19)
[ ]    0    0    0    0 /   32    26.0s Saturn.Spsc_queue parallel, negative (shrinking:   19.0002)
[ ]    0    0    0    0 /   32    30.2s Saturn.Spsc_queue parallel, negative (shrinking:   21.0002)
[ ]    0    0    0    0 /   32    31.3s Saturn.Spsc_queue parallel, negative (shrinking:   23)
[ ]    0    0    0    0 /   32    40.8s Saturn.Spsc_queue parallel, negative (shrinking:   23.0002)
[ ]    0    0    0    0 /   32    41.1s Saturn.Spsc_queue parallel, negative (shrinking:   24)
[ ]    0    0    0    0 /   32    45.1s Saturn.Spsc_queue parallel, negative (shrinking:   25)
[ ]    0    0    0    0 /   32    50.1s Saturn.Spsc_queue parallel, negative (shrinking:   25.0002)
[ ]    0    0    0    0 /   32    50.2s Saturn.Spsc_queue parallel, negative (shrinking:   26)
[ ]    0    0    0    0 /   32    58.4s Saturn.Spsc_queue parallel, negative (shrinking:   27.0002)
[ ]    0    0    0    0 /   32    61.6s Saturn.Spsc_queue parallel, negative (shrinking:   28)
[ ]    0    0    0    0 /   32    62.3s Saturn.Spsc_queue parallel, negative (shrinking:   29)
[ ]    0    0    0    0 /   32    70.1s Saturn.Spsc_queue parallel, negative (shrinking:   29.0002)
[ ]    0    0    0    0 /   32    73.9s Saturn.Spsc_queue parallel, negative (shrinking:   31)
[ ]    0    0    0    0 /   32    86.5s Saturn.Spsc_queue parallel, negative (shrinking:   31.0002)
[ ]    0    0    0    0 /   32    87.6s Saturn.Spsc_queue parallel, negative (shrinking:   33)
[ ]    0    0    0    0 /   32   100.3s Saturn.Spsc_queue parallel, negative (shrinking:   33.0002)
[ ]    0    0    0    0 /   32   110.5s Saturn.Spsc_queue parallel, negative (shrinking:   34.0002)
[ ]    0    0    0    0 /   32   117.7s Saturn.Spsc_queue parallel, negative (shrinking:   34.0003)
[ ]    0    0    0    0 /   32   129.3s Saturn.Spsc_queue parallel, negative (shrinking:   34.0004)
[ ]    0    0    0    0 /   32   137.2s Saturn.Spsc_queue parallel, negative (shrinking:   34.0005)
[ ]    1    0    1    0 /   32   146.1s Saturn.Spsc_queue parallel, negative
[✓]    1    0    1    0 /   32   146.1s Saturn.Spsc_queue parallel, negative


--- Info -----------------------------------------------------------------------


Negative test Saturn.Spsc_queue parallel, negative failed as expected (34 shrink steps):


|
Push 15
|
.---------------------.
|                     |
Pop                  Drop


+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


Messages for test Saturn.Spsc_queue parallel, negative:


Results incompatible with linearized model


|
Push 15 : Ok (())
|
.-------------------------------------------------.
|                                                 |
Pop : Error (Invalid_argument("option is None"))                   Drop : Ok (())


================================================================================
success (ran 3 tests)
random seed: 685400121157649698
generated error fail pass / total     time test name
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue_unsafe sequential
[✓]   32    0    0   32 /   32     0.0s Saturn.Spsc_queue_unsafe sequential
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue_unsafe parallel
[ ]    1    0    0    1 /   32     0.5s Saturn.Spsc_queue_unsafe parallel
[ ]    2    0    0    2 /   32     0.9s Saturn.Spsc_queue_unsafe parallel
[ ]    3    0    0    3 /   32     1.4s Saturn.Spsc_queue_unsafe parallel
[ ]    4    0    0    4 /   32     1.6s Saturn.Spsc_queue_unsafe parallel
[ ]    6    0    0    6 /   32     1.9s Saturn.Spsc_queue_unsafe parallel
[ ]    7    0    0    7 /   32     2.3s Saturn.Spsc_queue_unsafe parallel
[ ]    8    0    0    8 /   32     2.6s Saturn.Spsc_queue_unsafe parallel
[ ]    9    0    0    9 /   32     3.0s Saturn.Spsc_queue_unsafe parallel
[ ]   10    0    0   10 /   32     3.2s Saturn.Spsc_queue_unsafe parallel
[ ]   11    0    0   11 /   32     3.3s Saturn.Spsc_queue_unsafe parallel
[ ]   12    0    0   12 /   32     4.0s Saturn.Spsc_queue_unsafe parallel
[ ]   13    0    0   13 /   32     5.3s Saturn.Spsc_queue_unsafe parallel
[ ]   14    0    0   14 /   32     6.5s Saturn.Spsc_queue_unsafe parallel
[ ]   15    0    0   15 /   32     6.9s Saturn.Spsc_queue_unsafe parallel
[ ]   16    0    0   16 /   32     7.2s Saturn.Spsc_queue_unsafe parallel
[ ]   17    0    0   17 /   32     7.6s Saturn.Spsc_queue_unsafe parallel
[ ]   18    0    0   18 /   32     7.9s Saturn.Spsc_queue_unsafe parallel
[ ]   19    0    0   19 /   32     8.3s Saturn.Spsc_queue_unsafe parallel
[ ]   20    0    0   20 /   32     8.7s Saturn.Spsc_queue_unsafe parallel
[ ]   21    0    0   21 /   32     9.0s Saturn.Spsc_queue_unsafe parallel
[ ]   22    0    0   22 /   32     9.3s Saturn.Spsc_queue_unsafe parallel
[ ]   24    0    0   24 /   32    10.3s Saturn.Spsc_queue_unsafe parallel
[ ]   25    0    0   25 /   32    10.9s Saturn.Spsc_queue_unsafe parallel
[ ]   26    0    0   26 /   32    11.0s Saturn.Spsc_queue_unsafe parallel
[ ]   28    0    0   28 /   32    11.7s Saturn.Spsc_queue_unsafe parallel
[ ]   29    0    0   29 /   32    12.0s Saturn.Spsc_queue_unsafe parallel
[ ]   30    0    0   30 /   32    12.9s Saturn.Spsc_queue_unsafe parallel
[ ]   31    0    0   31 /   32    13.6s Saturn.Spsc_queue_unsafe parallel
[ ]   32    0    0   32 /   32    14.4s Saturn.Spsc_queue_unsafe parallel
[✓]   32    0    0   32 /   32    14.4s Saturn.Spsc_queue_unsafe parallel
[ ]    0    0    0    0 /   32     0.0s Saturn.Spsc_queue_unsafe parallel, negative
[ ]    1    0    0    1 /   32     0.9s Saturn.Spsc_queue_unsafe parallel, negative
[ ]    1    0    0    1 /   32     1.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    0)
[ ]    1    0    0    1 /   32     1.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    1)
[ ]    1    0    0    1 /   32     1.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    2)
[ ]    1    0    0    1 /   32     2.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    5)
[ ]    1    0    0    1 /   32    14.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    5.0002)
[ ]    1    0    0    1 /   32    24.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    5.0003)
[ ]    1    0    0    1 /   32    33.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    6.0002)
[ ]    1    0    0    1 /   32    33.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    7)
[ ]    1    0    0    1 /   32    46.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    7.0002)
[ ]    1    0    0    1 /   32    55.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    7.0003)
[ ]    1    0    0    1 /   32    62.0s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    7.0004)
[ ]    1    0    0    1 /   32    71.1s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    8.0002)
[ ]    1    0    0    1 /   32    80.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    8.0003)
[ ]    1    0    0    1 /   32    90.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    8.0004)
[ ]    1    0    0    1 /   32    99.6s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    9.0002)
[ ]    1    0    0    1 /   32   107.7s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    9.0003)
[ ]    1    0    0    1 /   32   112.8s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    9.0004)
[ ]    1    0    0    1 /   32   120.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:    9.0005)
[ ]    1    0    0    1 /   32   124.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   10.0002)
[ ]    1    0    0    1 /   32   133.5s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   10.0003)
[ ]    1    0    0    1 /   32   143.3s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   10.0004)
[ ]    1    0    0    1 /   32   158.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   10.0005)
[ ]    1    0    0    1 /   32   159.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   11)
[ ]    1    0    0    1 /   32   172.2s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   11.0002)
[ ]    1    0    0    1 /   32   181.4s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   11.0003)
[ ]    1    0    0    1 /   32   183.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   11.0004)
[ ]    1    0    0    1 /   32   192.9s Saturn.Spsc_queue_unsafe parallel, negative (shrinking:   11.0005)
[ ]    2    0    1    1 /   32   195.0s Saturn.Spsc_queue_unsafe parallel, negative
[✓]    2    0    1    1 /   32   195.0s Saturn.Spsc_queue_unsafe parallel, negative


--- Info -----------------------------------------------------------------------


Negative test Saturn.Spsc_queue_unsafe parallel, negative failed as expected (11 shrink steps):


|
Push 7
|
.---------------------.
|                     |
Drop                  Pop


+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


Messages for test Saturn.Spsc_queue_unsafe parallel, negative:


Results incompatible with linearized model


|
Push 7 : Ok (())
|
.------------------------------------.
|                                    |
Drop : Ok (())                        Pop : Ok (7)


================================================================================
success (ran 3 tests)
2025-04-18 21:33.51 ---> saved as "6b08d39937277334532bb4e5b814310e63309a9a4c3f28d3ceccded21cd73947"
Job succeeded
2025-04-18 21:33.52: Job succeeded