2025-08-30 07:23.23: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/main (2a653b676afa45159968a5b46bfbd465dc5b1d2a) (linux-s390x:debian-12-4.14_s390x_opam-2.4) Base: ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4 Opam project build To reproduce locally: git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "main" && cd "saturn" && git reset --hard 2a653b67 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4 # debian-12-4.14_s390x_opam-2.4 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.4 /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 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 || git fetch origin master) && git reset -q --hard 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 && 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-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.16 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.20.1 dune-configurator.3.20.1 either.1.0.0 fmt.0.11.0 logs.0.9.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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.26 qcheck-alcotest.0.26 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-ounit.0.26 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uutf.1.0.4 yojson.3.0.0" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.4 --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-08-30 07:23.23: Using cache hint "ocaml-multicore/saturn-ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4-debian-12-4.14_s390x_opam-2.4-61db055e7b87edd3d3883bb5cbda743e" 2025-08-30 07:23.23: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4) (comment debian-12-4.14_s390x_opam-2.4) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.4 /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 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 || git fetch origin master) && git reset -q --hard 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 && 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-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.16 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.20.1 dune-configurator.3.20.1 either.1.0.0 fmt.0.11.0 logs.0.9.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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.26 qcheck-alcotest.0.26 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-ounit.0.26 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uutf.1.0.4 yojson.3.0.0") (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.4 --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-08-30 07:23.23: Waiting for resource in pool OCluster 2025-08-30 07:23.35: Waiting for worker… 2025-08-30 14:13.13: Got resource from pool OCluster Building on s390x-worker-01.marist.ci.dev All commits already cached HEAD is now at 2a653b6 Benchmark queues and stacks with heap allocated blocks (from ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4) Unable to find image 'ocaml/opam:debian-12-ocaml-4.14@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4' locally docker.io/ocaml/opam@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4: Pulling from ocaml/opam 635b31fd21bf: Already exists d2241af69236: Already exists b01ed226d56a: Already exists ce29243779b8: Already exists d6d44dfc6148: Already exists 65d8af08c74b: Already exists 8b3a4df1deea: Already exists 35b301c9020f: Already exists 2b30cafc3f46: Already exists 230a229503ff: Already exists b84413e0f8bd: Already exists 4da717ee5292: Already exists 1c362200cbf0: Already exists 7183ceb52c5e: Already exists 955c53dbcca7: Already exists bb0c913f7380: Already exists bb0c913f7380: Already exists 4d2f7b348aab: Already exists 4abe96d7b106: Already exists 6e1f16723306: Already exists 6d39a0e54b8b: Already exists 4f4fb700ef54: Already exists ef627bf92ffd: Already exists a0727d6775ba: Already exists cdde895bddd6: Already exists 3c565d1838b5: Already exists 2a4a3accd971: Already exists 895d50c9eade: Already exists 62c852065b2b: Already exists 8f320fea2a34: Already exists 38b6ae860b4a: Already exists 48e1ea38ea9b: Already exists f86b35aabd4c: Already exists ae736d4814b0: Already exists e2aa3389e06b: Already exists 6c47b7de5556: Already exists 8244af9a8964: Already exists 736335c67e45: Already exists e43744af95ef: Already exists 82acca771c5b: Already exists 37ab07e018eb: Pulling fs layer 4785a0a7124b: Pulling fs layer 51a3651eda3d: Pulling fs layer 1e9961614a66: Pulling fs layer 1e9961614a66: Waiting 51a3651eda3d: Verifying Checksum 51a3651eda3d: Download complete 4785a0a7124b: Verifying Checksum 4785a0a7124b: Download complete 1e9961614a66: Verifying Checksum 1e9961614a66: Download complete 37ab07e018eb: Verifying Checksum 37ab07e018eb: Download complete 37ab07e018eb: Pull complete 4785a0a7124b: Pull complete 51a3651eda3d: Pull complete 1e9961614a66: Pull complete Digest: sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4 Status: Downloaded newer image for ocaml/opam@sha256:1908ebe731942bbc5e196c88f5b1965d050cc88dedf050360a938d0b282677d4 2025-08-30 14:13.14 ---> using "76d1eaa2dcb9b04133ca7bdce9f58122426759de3a492d27a236f93e64f2ccfe" from cache /: (comment debian-12-4.14_s390x_opam-2.4) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam")) 2025-08-30 14:13.14 ---> using "0c79a7d56369fd6d12bbf83474cb09e1604bf1db3e7b82af2f8c267eb07f1f89" from cache /src: (run (shell "opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-08-30 14:13.14 ---> using "c1f273784b5305a278c21c8472020f40e6e69f77af14a8287b5b27e27e3ec344" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 6.8.0-71-generic The OCaml toplevel, version 4.14.2 2.4.1 2025-08-30 14:13.14 ---> using "b65e5a0ff3363f92ed73b98c1f2c110b7eef44391763445a313522ca9ac1ff64" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-08-30 14:13.14 ---> using "d8f93874a97a7a7368c3b8edb7bf352cb1d119a8579cd37e728c31e90fdd880a" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 || git fetch origin master) && git reset -q --hard 4c972ba0fc24bcf3f84a30d19f8d725f7ce382a4 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD ee24528071..f2cd184cfc master -> origin/master 4c972ba0fc Merge pull request #28397 from maiste/release-dune-3.20.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 at these versions (e.g. "opam upgrade ocaml.5.3.0"), 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-08-30 14:13.14 ---> using "7f629d7302f019111970d02a3b712a36246cc094497d1ff5d7827eee2ca11119" from cache /src: (copy (src saturn.opam) (dst ./)) 2025-08-30 14:13.16 ---> saved as "a33bdf4229aa97a9acab5f186de553dfcf64db081110e55c3ecd4f5dd646e58d" /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-08-30 14:13.20 ---> saved as "a08ffbae4e179851bdcf5dacb3682f1bc6f6f4e0e284c441fb9259dc746f5b45" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-08-30 14:13.21 ---> saved as "c773a311c279e7d4afb6843c6a7cf69fbfce07a180f7086ec439a2aef3a047d0" /src: (env DEPS "alcotest.1.9.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.16 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.20.1 dune-configurator.3.20.1 either.1.0.0 fmt.0.11.0 logs.0.9.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.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 oseq.0.5.1 ounit2.2.2.7 qcheck.0.26 qcheck-alcotest.0.26 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-ounit.0.26 qcheck-stm.0.9 re.1.13.2 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uutf.1.0.4 yojson.3.0.0") /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.4 --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 [245 kB] - Fetched 348 kB in 0s (1296 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [saturn.dev] synchronised (file:///src) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). 2025-08-30 14:13.32 ---> saved as "939b3d12c60e5c68f4525edd149bc168271b642c7d332d0bc6178c4820d90d33" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). The following actions will be performed: === install 42 packages - install alcotest 1.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.16 - 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.20.1 - install dune-configurator 3.20.1 - install either 1.0.0 - install fmt 0.11.0 - install logs 0.9.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.1 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install oseq 0.5.1 - install ounit2 2.2.7 - install qcheck 0.26 - install qcheck-alcotest 0.26 - install qcheck-core 0.26 - install qcheck-multicoretests-util 0.9 - install qcheck-ounit 0.26 - install qcheck-stm 0.9 - install re 1.13.2 - install result 1.5 - install seq base - install stdlib-shims 0.3.0 - install thread-table 1.0.0 - install topkg 1.1.0 - install tsort 2.2.0 - install uutf 1.0.4 - install yojson 3.0.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved alcotest.1.9.0 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved backoff.0.1.1 (cached) -> retrieved camlp-streams.5.0.1 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved domain-local-await.1.0.1 (cached) -> retrieved containers.3.16 (cached) -> retrieved domain_shims.0.1.0 (cached) -> retrieved dscheck.0.5.0 (cached) -> retrieved either.1.0.0 (cached) -> retrieved fmt.0.11.0 (cached) -> retrieved logs.0.9.0 (cached) -> retrieved mtime.2.1.0 (cached) -> retrieved mdx.2.5.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.1 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved dune.3.20.1, dune-configurator.3.20.1 (cached) -> retrieved oseq.0.5.1 (cached) -> retrieved ounit2.2.2.7 (cached) -> retrieved qcheck.0.26, qcheck-alcotest.0.26, qcheck-core.0.26, qcheck-ounit.0.26 (cached) -> retrieved qcheck-multicoretests-util.0.9, qcheck-stm.0.9 (cached) -> retrieved seq.base (cached) -> retrieved re.1.13.2 (cached) -> retrieved result.1.5 (cached) -> installed cmdliner.1.3.0 -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved thread-table.1.0.0 (cached) -> retrieved topkg.1.1.0 (cached) -> retrieved tsort.2.2.0 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved yojson.3.0.0 (cached) -> installed ocamlfind.1.9.8 -> installed seq.base -> installed ocamlbuild.0.16.1 -> installed topkg.1.1.0 -> installed fmt.0.11.0 -> installed astring.0.8.5 -> installed mtime.2.1.0 -> installed logs.0.9.0 -> installed uutf.1.0.4 -> installed dune.3.20.1 -> installed camlp-streams.5.0.1 -> installed backoff.0.1.1 -> installed domain_shims.0.1.0 -> installed csexp.1.5.2 -> installed either.1.0.0 -> installed cppo.1.8.0 -> installed multicore-magic.2.3.1 -> installed ocaml-version.4.0.1 -> installed ocaml-syntax-shims.1.0.0 -> installed oseq.0.5.1 -> installed dune-configurator.3.20.1 -> installed result.1.5 -> installed qcheck-core.0.26 -> installed stdlib-shims.0.3.0 -> installed re.1.13.2 -> installed qcheck-multicoretests-util.0.9 -> installed ounit2.2.2.7 -> installed alcotest.1.9.0 -> installed qcheck-ounit.0.26 -> installed qcheck-alcotest.0.26 -> installed qcheck.0.26 -> installed qcheck-stm.0.9 -> installed containers.3.16 -> installed thread-table.1.0.0 -> installed tsort.2.2.0 -> installed mdx.2.5.0 -> installed domain-local-await.1.0.1 -> installed dscheck.0.5.0 -> installed multicore-magic-dscheck.2.3.1 -> installed yojson.3.0.0 -> installed multicore-bench.0.1.7 Done. # To update the current shell environment, run: eval $(opam env) 2025-08-30 14:14.50 ---> saved as "6db49b609f66e833b9f64267a8e5d066ba8168f3f725fb67be33af23e517b082" /src: (copy (src .) (dst /src)) 2025-08-30 14:14.53 ---> saved as "2a86e64b09fcf71cb0186f777bfa27fba06793afdffdbcf6f1e961feafb68a7f" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe) random seed: 3872618891353965049 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 3677986614828922901 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Mpsc_queue sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 525947575046437148 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Mpsc_queue sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 1544121943905192457 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Mpsc_queue sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 70909065728610084 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Mpsc_queue sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 4360582004814577911 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Mpsc_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Mpsc_queue sequential ================================================================================ success (ran 1 tests) (cd _build/default/test/bag && ./stm_bag.exe) random seed: 1782932312172791668 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bag concurrent [ ] 5 0 0 5 / 32 0.1s Saturn.Bag concurrent [ ] 10 0 0 10 / 32 0.3s Saturn.Bag concurrent [ ] 15 0 0 15 / 32 0.4s Saturn.Bag concurrent [ ] 21 0 0 21 / 32 0.6s Saturn.Bag concurrent [ ] 26 0 0 26 / 32 0.8s Saturn.Bag concurrent [ ] 31 0 0 31 / 32 1.1s Saturn.Bag concurrent [✓] 32 0 0 32 / 32 1.1s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) random seed: 2771301015146155354 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 concurrent [ ] 4 0 0 4 / 64 0.2s Saturn.Bag concurrent [ ] 10 0 0 10 / 64 0.3s Saturn.Bag concurrent [ ] 12 0 0 12 / 64 0.4s Saturn.Bag concurrent [ ] 16 0 0 16 / 64 0.6s Saturn.Bag concurrent [ ] 17 0 0 17 / 64 0.8s Saturn.Bag concurrent [ ] 22 0 0 22 / 64 1.0s Saturn.Bag concurrent [ ] 24 0 0 24 / 64 1.1s Saturn.Bag concurrent [ ] 29 0 0 29 / 64 1.2s Saturn.Bag concurrent [ ] 36 0 0 36 / 64 1.4s Saturn.Bag concurrent [ ] 42 0 0 42 / 64 1.5s Saturn.Bag concurrent [ ] 47 0 0 47 / 64 1.6s Saturn.Bag concurrent [ ] 55 0 0 55 / 64 1.8s Saturn.Bag concurrent [ ] 59 0 0 59 / 64 1.9s Saturn.Bag concurrent [ ] 61 0 0 61 / 64 2.1s Saturn.Bag concurrent [✓] 64 0 0 64 / 64 2.1s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) random seed: 335277472543437597 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Bag sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Bag concurrent [ ] 5 0 0 5 / 128 0.1s Saturn.Bag concurrent [ ] 8 0 0 8 / 128 0.4s Saturn.Bag concurrent [ ] 11 0 0 11 / 128 0.6s Saturn.Bag concurrent [ ] 15 0 0 15 / 128 0.7s Saturn.Bag concurrent [ ] 21 0 0 21 / 128 0.8s Saturn.Bag concurrent [ ] 30 0 0 30 / 128 0.9s Saturn.Bag concurrent [ ] 34 0 0 34 / 128 1.0s Saturn.Bag concurrent [ ] 45 0 0 45 / 128 1.1s Saturn.Bag concurrent [ ] 48 0 0 48 / 128 1.2s Saturn.Bag concurrent [ ] 51 0 0 51 / 128 1.4s Saturn.Bag concurrent [ ] 60 0 0 60 / 128 1.7s Saturn.Bag concurrent [ ] 62 0 0 62 / 128 1.8s Saturn.Bag concurrent [ ] 66 0 0 66 / 128 2.0s Saturn.Bag concurrent [ ] 67 0 0 67 / 128 2.1s Saturn.Bag concurrent [ ] 70 0 0 70 / 128 2.2s Saturn.Bag concurrent [ ] 74 0 0 74 / 128 2.3s Saturn.Bag concurrent [ ] 77 0 0 77 / 128 2.4s Saturn.Bag concurrent [ ] 82 0 0 82 / 128 2.6s Saturn.Bag concurrent [ ] 87 0 0 87 / 128 2.7s Saturn.Bag concurrent [ ] 92 0 0 92 / 128 2.8s Saturn.Bag concurrent [ ] 96 0 0 96 / 128 2.9s Saturn.Bag concurrent [ ] 100 0 0 100 / 128 3.0s Saturn.Bag concurrent [ ] 104 0 0 104 / 128 3.1s Saturn.Bag concurrent [ ] 108 0 0 108 / 128 3.3s Saturn.Bag concurrent [ ] 117 0 0 117 / 128 3.4s Saturn.Bag concurrent [ ] 121 0 0 121 / 128 3.5s Saturn.Bag concurrent [ ] 127 0 0 127 / 128 3.6s Saturn.Bag concurrent [✓] 128 0 0 128 / 128 3.6s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) random seed: 1330023723726609728 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Bag sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Bag concurrent [ ] 8 0 0 8 / 256 0.1s Saturn.Bag concurrent [ ] 12 0 0 12 / 256 0.2s Saturn.Bag concurrent [ ] 14 0 0 14 / 256 0.4s Saturn.Bag concurrent [ ] 19 0 0 19 / 256 0.5s Saturn.Bag concurrent [ ] 36 0 0 36 / 256 0.6s Saturn.Bag concurrent [ ] 40 0 0 40 / 256 0.7s Saturn.Bag concurrent [ ] 46 0 0 46 / 256 0.8s Saturn.Bag concurrent [ ] 51 0 0 51 / 256 1.0s Saturn.Bag concurrent [ ] 59 0 0 59 / 256 1.1s Saturn.Bag concurrent [ ] 65 0 0 65 / 256 1.2s Saturn.Bag concurrent [ ] 73 0 0 73 / 256 1.4s Saturn.Bag concurrent [ ] 76 0 0 76 / 256 1.6s Saturn.Bag concurrent [ ] 78 0 0 78 / 256 1.7s Saturn.Bag concurrent [ ] 83 0 0 83 / 256 1.9s Saturn.Bag concurrent [ ] 91 0 0 91 / 256 2.1s Saturn.Bag concurrent [ ] 105 0 0 105 / 256 2.2s Saturn.Bag concurrent [ ] 114 0 0 114 / 256 2.4s Saturn.Bag concurrent [ ] 122 0 0 122 / 256 2.5s Saturn.Bag concurrent [ ] 128 0 0 128 / 256 2.6s Saturn.Bag concurrent [ ] 131 0 0 131 / 256 2.7s Saturn.Bag concurrent [ ] 133 0 0 133 / 256 2.8s Saturn.Bag concurrent [ ] 142 0 0 142 / 256 3.0s Saturn.Bag concurrent [ ] 152 0 0 152 / 256 3.1s Saturn.Bag concurrent [ ] 160 0 0 160 / 256 3.2s Saturn.Bag concurrent [ ] 164 0 0 164 / 256 3.3s Saturn.Bag concurrent [ ] 168 0 0 168 / 256 3.4s Saturn.Bag concurrent [ ] 172 0 0 172 / 256 3.5s Saturn.Bag concurrent [ ] 178 0 0 178 / 256 3.7s Saturn.Bag concurrent [ ] 186 0 0 186 / 256 3.8s Saturn.Bag concurrent [ ] 195 0 0 195 / 256 3.9s Saturn.Bag concurrent [ ] 200 0 0 200 / 256 4.0s Saturn.Bag concurrent [ ] 205 0 0 205 / 256 4.2s Saturn.Bag concurrent [ ] 224 0 0 224 / 256 4.3s Saturn.Bag concurrent [ ] 243 0 0 243 / 256 4.5s Saturn.Bag concurrent [ ] 251 0 0 251 / 256 4.6s Saturn.Bag concurrent [ ] 255 0 0 255 / 256 4.7s Saturn.Bag concurrent [✓] 256 0 0 256 / 256 4.7s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) random seed: 1992150547296771515 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Bag sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Bag concurrent [ ] 23 0 0 23 / 512 0.1s Saturn.Bag concurrent [ ] 27 0 0 27 / 512 0.3s Saturn.Bag concurrent [ ] 35 0 0 35 / 512 0.4s Saturn.Bag concurrent [ ] 37 0 0 37 / 512 0.5s Saturn.Bag concurrent [ ] 42 0 0 42 / 512 0.6s Saturn.Bag concurrent [ ] 47 0 0 47 / 512 0.7s Saturn.Bag concurrent [ ] 53 0 0 53 / 512 0.8s Saturn.Bag concurrent [ ] 67 0 0 67 / 512 0.9s Saturn.Bag concurrent [ ] 80 0 0 80 / 512 1.0s Saturn.Bag concurrent [ ] 92 0 0 92 / 512 1.2s Saturn.Bag concurrent [ ] 95 0 0 95 / 512 1.4s Saturn.Bag concurrent [ ] 105 0 0 105 / 512 1.5s Saturn.Bag concurrent [ ] 108 0 0 108 / 512 1.7s Saturn.Bag concurrent [ ] 111 0 0 111 / 512 1.8s Saturn.Bag concurrent [ ] 112 0 0 112 / 512 2.0s Saturn.Bag concurrent [ ] 115 0 0 115 / 512 2.1s Saturn.Bag concurrent [ ] 131 0 0 131 / 512 2.2s Saturn.Bag concurrent [ ] 135 0 0 135 / 512 2.3s Saturn.Bag concurrent [ ] 143 0 0 143 / 512 2.5s Saturn.Bag concurrent [ ] 147 0 0 147 / 512 2.7s Saturn.Bag concurrent [ ] 148 0 0 148 / 512 2.8s Saturn.Bag concurrent [ ] 159 0 0 159 / 512 2.9s Saturn.Bag concurrent [ ] 176 0 0 176 / 512 3.0s Saturn.Bag concurrent [ ] 187 0 0 187 / 512 3.3s Saturn.Bag concurrent [ ] 194 0 0 194 / 512 3.4s Saturn.Bag concurrent [ ] 204 0 0 204 / 512 3.7s Saturn.Bag concurrent [ ] 217 0 0 217 / 512 3.8s Saturn.Bag concurrent [ ] 223 0 0 223 / 512 4.0s Saturn.Bag concurrent [ ] 229 0 0 229 / 512 4.1s Saturn.Bag concurrent [ ] 234 0 0 234 / 512 4.2s Saturn.Bag concurrent [ ] 237 0 0 237 / 512 4.4s Saturn.Bag concurrent [ ] 240 0 0 240 / 512 4.5s Saturn.Bag concurrent [ ] 245 0 0 245 / 512 4.6s Saturn.Bag concurrent [ ] 250 0 0 250 / 512 4.8s Saturn.Bag concurrent [ ] 264 0 0 264 / 512 4.9s Saturn.Bag concurrent [ ] 267 0 0 267 / 512 5.0s Saturn.Bag concurrent [ ] 269 0 0 269 / 512 5.1s Saturn.Bag concurrent [ ] 273 0 0 273 / 512 5.2s Saturn.Bag concurrent [ ] 276 0 0 276 / 512 5.4s Saturn.Bag concurrent [ ] 281 0 0 281 / 512 5.6s Saturn.Bag concurrent [ ] 301 0 0 301 / 512 5.7s Saturn.Bag concurrent [ ] 303 0 0 303 / 512 5.8s Saturn.Bag concurrent [ ] 308 0 0 308 / 512 6.0s Saturn.Bag concurrent [ ] 318 0 0 318 / 512 6.1s Saturn.Bag concurrent [ ] 325 0 0 325 / 512 6.2s Saturn.Bag concurrent [ ] 328 0 0 328 / 512 6.4s Saturn.Bag concurrent [ ] 333 0 0 333 / 512 6.5s Saturn.Bag concurrent [ ] 335 0 0 335 / 512 6.6s Saturn.Bag concurrent [ ] 340 0 0 340 / 512 6.7s Saturn.Bag concurrent [ ] 344 0 0 344 / 512 6.8s Saturn.Bag concurrent [ ] 348 0 0 348 / 512 6.9s Saturn.Bag concurrent [ ] 351 0 0 351 / 512 7.0s Saturn.Bag concurrent [ ] 355 0 0 355 / 512 7.1s Saturn.Bag concurrent [ ] 361 0 0 361 / 512 7.3s Saturn.Bag concurrent [ ] 362 0 0 362 / 512 7.5s Saturn.Bag concurrent [ ] 366 0 0 366 / 512 7.6s Saturn.Bag concurrent [ ] 369 0 0 369 / 512 7.7s Saturn.Bag concurrent [ ] 379 0 0 379 / 512 7.9s Saturn.Bag concurrent [ ] 385 0 0 385 / 512 8.1s Saturn.Bag concurrent [ ] 388 0 0 388 / 512 8.4s Saturn.Bag concurrent [ ] 392 0 0 392 / 512 8.5s Saturn.Bag concurrent [ ] 393 0 0 393 / 512 8.6s Saturn.Bag concurrent [ ] 403 0 0 403 / 512 8.7s Saturn.Bag concurrent [ ] 407 0 0 407 / 512 8.8s Saturn.Bag concurrent [ ] 410 0 0 410 / 512 9.0s Saturn.Bag concurrent [ ] 413 0 0 413 / 512 9.4s Saturn.Bag concurrent [ ] 416 0 0 416 / 512 9.5s Saturn.Bag concurrent [ ] 425 0 0 425 / 512 9.6s Saturn.Bag concurrent [ ] 431 0 0 431 / 512 9.7s Saturn.Bag concurrent [ ] 432 0 0 432 / 512 9.8s Saturn.Bag concurrent [ ] 440 0 0 440 / 512 9.9s Saturn.Bag concurrent [ ] 446 0 0 446 / 512 10.1s Saturn.Bag concurrent [ ] 452 0 0 452 / 512 10.3s Saturn.Bag concurrent [ ] 455 0 0 455 / 512 10.5s Saturn.Bag concurrent [ ] 460 0 0 460 / 512 10.7s Saturn.Bag concurrent [ ] 462 0 0 462 / 512 10.8s Saturn.Bag concurrent [ ] 466 0 0 466 / 512 11.0s Saturn.Bag concurrent [ ] 470 0 0 470 / 512 11.1s Saturn.Bag concurrent [ ] 474 0 0 474 / 512 11.2s Saturn.Bag concurrent [ ] 477 0 0 477 / 512 11.3s Saturn.Bag concurrent [ ] 478 0 0 478 / 512 11.5s Saturn.Bag concurrent [ ] 480 0 0 480 / 512 11.6s Saturn.Bag concurrent [ ] 483 0 0 483 / 512 11.8s Saturn.Bag concurrent [ ] 485 0 0 485 / 512 11.9s Saturn.Bag concurrent [ ] 487 0 0 487 / 512 12.1s Saturn.Bag concurrent [ ] 489 0 0 489 / 512 12.2s Saturn.Bag concurrent [ ] 493 0 0 493 / 512 12.3s Saturn.Bag concurrent [ ] 498 0 0 498 / 512 12.6s Saturn.Bag concurrent [ ] 504 0 0 504 / 512 12.9s Saturn.Bag concurrent [ ] 505 0 0 505 / 512 13.1s Saturn.Bag concurrent [✓] 512 0 0 512 / 512 13.1s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) random seed: 1413611615200020896 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bag sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bag sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bag concurrent [ ] 11 0 0 11 / 32 0.2s Saturn.Bag concurrent [ ] 15 0 0 15 / 32 0.4s Saturn.Bag concurrent [ ] 24 0 0 24 / 32 0.5s Saturn.Bag concurrent [ ] 27 0 0 27 / 32 0.6s Saturn.Bag concurrent [ ] 28 0 0 28 / 32 0.7s Saturn.Bag concurrent [✓] 32 0 0 32 / 32 0.8s Saturn.Bag concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe) qcheck random seed: 992174438 Testing `Mpsc_queue'. This run has ID `2WUKELMD'. [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 0.822s. 19 tests run. (cd _build/default/test/bag && ./qcheck_bag.exe) qcheck random seed: 176821973 Testing `QCheck Bag'. This run has ID `HOQ5PNX5'. [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 3.704s. 2 tests run. (cd _build/default/test/size && ./stm_size.exe) random seed: 2050908338817368644 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Size concurrent [ ] 4 0 0 4 / 32 0.3s Saturn.Size concurrent [ ] 6 0 0 6 / 32 0.4s Saturn.Size concurrent [ ] 13 0 0 13 / 32 0.6s Saturn.Size concurrent [ ] 17 0 0 17 / 32 0.7s Saturn.Size concurrent [ ] 22 0 0 22 / 32 1.1s Saturn.Size concurrent [ ] 30 0 0 30 / 32 1.2s Saturn.Size concurrent [✓] 32 0 0 32 / 32 1.2s Saturn.Size concurrent ================================================================================ success (ran 2 tests) random seed: 2827795792072784519 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Size sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 64 0.0s Saturn.Size concurrent [ ] 5 0 0 5 / 64 0.3s Saturn.Size concurrent [ ] 7 0 0 7 / 64 0.4s Saturn.Size concurrent [ ] 11 0 0 11 / 64 0.5s Saturn.Size concurrent [ ] 13 0 0 13 / 64 0.6s Saturn.Size concurrent [ ] 15 0 0 15 / 64 0.7s Saturn.Size concurrent [ ] 19 0 0 19 / 64 0.8s Saturn.Size concurrent [ ] 23 0 0 23 / 64 1.1s Saturn.Size concurrent [ ] 34 0 0 34 / 64 1.2s Saturn.Size concurrent [ ] 42 0 0 42 / 64 1.6s Saturn.Size concurrent [ ] 44 0 0 44 / 64 1.9s Saturn.Size concurrent [ ] 49 0 0 49 / 64 2.1s Saturn.Size concurrent [ ] 57 0 0 57 / 64 2.3s Saturn.Size concurrent [ ] 60 0 0 60 / 64 2.4s Saturn.Size concurrent [ ] 64 0 0 64 / 64 2.6s Saturn.Size concurrent [✓] 64 0 0 64 / 64 2.6s Saturn.Size concurrent ================================================================================ success (ran 2 tests) random seed: 2989954992313030993 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Size sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Size concurrent [ ] 11 0 0 11 / 128 0.3s Saturn.Size concurrent [ ] 18 0 0 18 / 128 0.4s Saturn.Size concurrent [ ] 21 0 0 21 / 128 0.7s Saturn.Size concurrent [ ] 26 0 0 26 / 128 0.8s Saturn.Size concurrent [ ] 36 0 0 36 / 128 0.9s Saturn.Size concurrent [ ] 40 0 0 40 / 128 1.0s Saturn.Size concurrent [ ] 43 0 0 43 / 128 1.4s Saturn.Size concurrent [ ] 44 0 0 44 / 128 1.9s Saturn.Size concurrent [ ] 48 0 0 48 / 128 2.1s Saturn.Size concurrent [ ] 52 0 0 52 / 128 2.3s Saturn.Size concurrent [ ] 57 0 0 57 / 128 2.4s Saturn.Size concurrent [ ] 61 0 0 61 / 128 2.6s Saturn.Size concurrent [ ] 64 0 0 64 / 128 2.7s Saturn.Size concurrent [ ] 68 0 0 68 / 128 3.0s Saturn.Size concurrent [ ] 74 0 0 74 / 128 3.1s Saturn.Size concurrent [ ] 83 0 0 83 / 128 3.3s Saturn.Size concurrent [ ] 85 0 0 85 / 128 3.6s Saturn.Size concurrent [ ] 89 0 0 89 / 128 3.8s Saturn.Size concurrent [ ] 93 0 0 93 / 128 4.1s Saturn.Size concurrent [ ] 100 0 0 100 / 128 4.2s Saturn.Size concurrent [ ] 105 0 0 105 / 128 4.5s Saturn.Size concurrent [ ] 110 0 0 110 / 128 4.6s Saturn.Size concurrent [✓] 128 0 0 128 / 128 4.7s Saturn.Size concurrent ================================================================================ success (ran 2 tests) random seed: 189746034023655550 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Size sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Size concurrent [ ] 4 0 0 4 / 256 0.1s Saturn.Size concurrent [ ] 13 0 0 13 / 256 0.2s Saturn.Size concurrent [ ] 18 0 0 18 / 256 0.3s Saturn.Size concurrent [ ] 22 0 0 22 / 256 0.7s Saturn.Size concurrent [ ] 25 0 0 25 / 256 0.9s Saturn.Size concurrent [ ] 36 0 0 36 / 256 1.0s Saturn.Size concurrent [ ] 49 0 0 49 / 256 1.1s Saturn.Size concurrent [ ] 52 0 0 52 / 256 1.4s Saturn.Size concurrent [ ] 61 0 0 61 / 256 1.9s Saturn.Size concurrent [ ] 64 0 0 64 / 256 2.0s Saturn.Size concurrent [ ] 72 0 0 72 / 256 2.1s Saturn.Size concurrent [ ] 77 0 0 77 / 256 2.3s Saturn.Size concurrent [ ] 83 0 0 83 / 256 2.5s Saturn.Size concurrent [ ] 84 0 0 84 / 256 2.7s Saturn.Size concurrent [ ] 88 0 0 88 / 256 2.9s Saturn.Size concurrent [ ] 93 0 0 93 / 256 3.2s Saturn.Size concurrent [ ] 94 0 0 94 / 256 3.5s Saturn.Size concurrent [ ] 102 0 0 102 / 256 3.6s Saturn.Size concurrent [ ] 106 0 0 106 / 256 3.7s Saturn.Size concurrent [ ] 114 0 0 114 / 256 3.8s Saturn.Size concurrent [ ] 117 0 0 117 / 256 3.9s Saturn.Size concurrent [ ] 126 0 0 126 / 256 4.3s Saturn.Size concurrent [ ] 130 0 0 130 / 256 4.5s Saturn.Size concurrent [ ] 132 0 0 132 / 256 4.6s Saturn.Size concurrent [ ] 137 0 0 137 / 256 4.9s Saturn.Size concurrent [ ] 140 0 0 140 / 256 5.1s Saturn.Size concurrent [ ] 141 0 0 141 / 256 5.2s Saturn.Size concurrent [ ] 151 0 0 151 / 256 5.3s Saturn.Size concurrent [ ] 158 0 0 158 / 256 5.5s Saturn.Size concurrent [ ] 161 0 0 161 / 256 5.7s Saturn.Size concurrent [ ] 163 0 0 163 / 256 5.8s Saturn.Size concurrent [ ] 167 0 0 167 / 256 6.2s Saturn.Size concurrent [ ] 169 0 0 169 / 256 6.3s Saturn.Size concurrent [ ] 175 0 0 175 / 256 6.4s Saturn.Size concurrent [ ] 191 0 0 191 / 256 6.6s Saturn.Size concurrent [ ] 199 0 0 199 / 256 6.7s Saturn.Size concurrent [ ] 201 0 0 201 / 256 6.9s Saturn.Size concurrent [ ] 214 0 0 214 / 256 7.2s Saturn.Size concurrent [ ] 219 0 0 219 / 256 7.5s Saturn.Size concurrent [ ] 222 0 0 222 / 256 7.6s Saturn.Size concurrent [ ] 225 0 0 225 / 256 7.9s Saturn.Size concurrent [ ] 226 0 0 226 / 256 8.1s Saturn.Size concurrent [ ] 227 0 0 227 / 256 8.2s Saturn.Size concurrent [ ] 228 0 0 228 / 256 8.3s Saturn.Size concurrent [ ] 238 0 0 238 / 256 8.5s Saturn.Size concurrent [ ] 243 0 0 243 / 256 8.7s Saturn.Size concurrent [ ] 248 0 0 248 / 256 8.9s Saturn.Size concurrent [ ] 250 0 0 250 / 256 9.0s Saturn.Size concurrent [ ] 254 0 0 254 / 256 9.1s Saturn.Size concurrent [✓] 256 0 0 256 / 256 9.1s Saturn.Size concurrent ================================================================================ success (ran 2 tests) random seed: 3223541935253231296 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Size sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Size concurrent [ ] 9 0 0 9 / 512 0.1s Saturn.Size concurrent [ ] 16 0 0 16 / 512 0.5s Saturn.Size concurrent [ ] 28 0 0 28 / 512 0.6s Saturn.Size concurrent [ ] 29 0 0 29 / 512 0.8s Saturn.Size concurrent [ ] 34 0 0 34 / 512 1.1s Saturn.Size concurrent [ ] 35 0 0 35 / 512 1.2s Saturn.Size concurrent [ ] 38 0 0 38 / 512 1.3s Saturn.Size concurrent [ ] 40 0 0 40 / 512 1.4s Saturn.Size concurrent [ ] 44 0 0 44 / 512 1.5s Saturn.Size concurrent [ ] 46 0 0 46 / 512 1.8s Saturn.Size concurrent [ ] 47 0 0 47 / 512 2.0s Saturn.Size concurrent [ ] 56 0 0 56 / 512 2.1s Saturn.Size concurrent [ ] 62 0 0 62 / 512 2.4s Saturn.Size concurrent [ ] 63 0 0 63 / 512 2.9s Saturn.Size concurrent [ ] 64 0 0 64 / 512 3.3s Saturn.Size concurrent [ ] 68 0 0 68 / 512 3.4s Saturn.Size concurrent [ ] 75 0 0 75 / 512 3.6s Saturn.Size concurrent [ ] 82 0 0 82 / 512 3.8s Saturn.Size concurrent [ ] 84 0 0 84 / 512 3.9s Saturn.Size concurrent [ ] 92 0 0 92 / 512 4.0s Saturn.Size concurrent [ ] 96 0 0 96 / 512 4.1s Saturn.Size concurrent [ ] 98 0 0 98 / 512 4.3s Saturn.Size concurrent [ ] 100 0 0 100 / 512 4.5s Saturn.Size concurrent [ ] 110 0 0 110 / 512 4.6s Saturn.Size concurrent [ ] 114 0 0 114 / 512 4.8s Saturn.Size concurrent [ ] 118 0 0 118 / 512 5.0s Saturn.Size concurrent [ ] 122 0 0 122 / 512 5.2s Saturn.Size concurrent [ ] 125 0 0 125 / 512 5.4s Saturn.Size concurrent [ ] 127 0 0 127 / 512 5.7s Saturn.Size concurrent [ ] 129 0 0 129 / 512 6.1s Saturn.Size concurrent [ ] 130 0 0 130 / 512 6.3s Saturn.Size concurrent [ ] 131 0 0 131 / 512 6.6s Saturn.Size concurrent [ ] 133 0 0 133 / 512 6.9s Saturn.Size concurrent [ ] 135 0 0 135 / 512 7.0s Saturn.Size concurrent [ ] 136 0 0 136 / 512 7.3s Saturn.Size concurrent [ ] 144 0 0 144 / 512 7.8s Saturn.Size concurrent [ ] 151 0 0 151 / 512 8.0s Saturn.Size concurrent [ ] 158 0 0 158 / 512 8.1s Saturn.Size concurrent [ ] 164 0 0 164 / 512 8.2s Saturn.Size concurrent [ ] 177 0 0 177 / 512 8.3s Saturn.Size concurrent [ ] 185 0 0 185 / 512 8.5s Saturn.Size concurrent [ ] 191 0 0 191 / 512 8.8s Saturn.Size concurrent [ ] 209 0 0 209 / 512 8.9s Saturn.Size concurrent [ ] 212 0 0 212 / 512 9.1s Saturn.Size concurrent [ ] 214 0 0 214 / 512 9.2s Saturn.Size concurrent [ ] 219 0 0 219 / 512 9.3s Saturn.Size concurrent [ ] 224 0 0 224 / 512 9.5s Saturn.Size concurrent [ ] 225 0 0 225 / 512 9.6s Saturn.Size concurrent [ ] 228 0 0 228 / 512 9.7s Saturn.Size concurrent [ ] 230 0 0 230 / 512 10.0s Saturn.Size concurrent [ ] 238 0 0 238 / 512 10.1s Saturn.Size concurrent [ ] 241 0 0 241 / 512 10.2s Saturn.Size concurrent [ ] 245 0 0 245 / 512 10.3s Saturn.Size concurrent [ ] 247 0 0 247 / 512 10.7s Saturn.Size concurrent [ ] 257 0 0 257 / 512 10.8s Saturn.Size concurrent [ ] 260 0 0 260 / 512 11.0s Saturn.Size concurrent [ ] 271 0 0 271 / 512 11.1s Saturn.Size concurrent [ ] 278 0 0 278 / 512 11.2s Saturn.Size concurrent [ ] 281 0 0 281 / 512 11.4s Saturn.Size concurrent [ ] 291 0 0 291 / 512 11.5s Saturn.Size concurrent [ ] 294 0 0 294 / 512 11.6s Saturn.Size concurrent [ ] 300 0 0 300 / 512 11.9s Saturn.Size concurrent [ ] 301 0 0 301 / 512 12.4s Saturn.Size concurrent [ ] 302 0 0 302 / 512 12.8s Saturn.Size concurrent [ ] 304 0 0 304 / 512 13.0s Saturn.Size concurrent [ ] 306 0 0 306 / 512 13.4s Saturn.Size concurrent [ ] 308 0 0 308 / 512 13.6s Saturn.Size concurrent [ ] 312 0 0 312 / 512 13.7s Saturn.Size concurrent [ ] 316 0 0 316 / 512 13.8s Saturn.Size concurrent [ ] 324 0 0 324 / 512 14.1s Saturn.Size concurrent [ ] 332 0 0 332 / 512 14.5s Saturn.Size concurrent [ ] 335 0 0 335 / 512 14.8s Saturn.Size concurrent [ ] 342 0 0 342 / 512 14.9s Saturn.Size concurrent [ ] 348 0 0 348 / 512 15.2s Saturn.Size concurrent [ ] 350 0 0 350 / 512 15.4s Saturn.Size concurrent [ ] 352 0 0 352 / 512 15.5s Saturn.Size concurrent [ ] 356 0 0 356 / 512 15.6s Saturn.Size concurrent [ ] 361 0 0 361 / 512 15.8s Saturn.Size concurrent [ ] 369 0 0 369 / 512 15.9s Saturn.Size concurrent [ ] 387 0 0 387 / 512 16.4s Saturn.Size concurrent [ ] 392 0 0 392 / 512 16.8s Saturn.Size concurrent [ ] 393 0 0 393 / 512 17.0s Saturn.Size concurrent [ ] 396 0 0 396 / 512 17.3s Saturn.Size concurrent [ ] 402 0 0 402 / 512 17.6s Saturn.Size concurrent [ ] 414 0 0 414 / 512 18.2s Saturn.Size concurrent [ ] 417 0 0 417 / 512 18.3s Saturn.Size concurrent [ ] 420 0 0 420 / 512 18.4s Saturn.Size concurrent [ ] 438 0 0 438 / 512 18.6s Saturn.Size concurrent [ ] 442 0 0 442 / 512 19.0s Saturn.Size concurrent [ ] 449 0 0 449 / 512 19.1s Saturn.Size concurrent [ ] 450 0 0 450 / 512 19.2s Saturn.Size concurrent [ ] 462 0 0 462 / 512 19.5s Saturn.Size concurrent [ ] 472 0 0 472 / 512 19.6s Saturn.Size concurrent [ ] 484 0 0 484 / 512 19.8s Saturn.Size concurrent [ ] 492 0 0 492 / 512 20.0s Saturn.Size concurrent [ ] 506 0 0 506 / 512 20.1s Saturn.Size concurrent [✓] 512 0 0 512 / 512 20.1s Saturn.Size concurrent ================================================================================ success (ran 2 tests) random seed: 1231360425335702283 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Size sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Size sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Size concurrent [ ] 4 0 0 4 / 32 0.3s Saturn.Size concurrent [ ] 16 0 0 16 / 32 0.5s Saturn.Size concurrent [ ] 25 0 0 25 / 32 0.6s Saturn.Size concurrent [ ] 29 0 0 29 / 32 0.8s Saturn.Size concurrent [✓] 32 0 0 32 / 32 0.8s Saturn.Size concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/skiplist && ./stm_skiplist.exe) random seed: 1430088313736836024 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist concurrent [ ] 4 0 0 4 / 32 0.4s Saturn.Skiplist concurrent [ ] 20 0 0 20 / 32 0.5s Saturn.Skiplist concurrent [ ] 23 0 0 23 / 32 1.0s Saturn.Skiplist concurrent [ ] 25 0 0 25 / 32 1.1s Saturn.Skiplist concurrent [ ] 29 0 0 29 / 32 1.4s Saturn.Skiplist concurrent [ ] 31 0 0 31 / 32 1.5s Saturn.Skiplist concurrent [✓] 32 0 0 32 / 32 1.5s Saturn.Skiplist concurrent ================================================================================ success (ran 2 tests) random seed: 923327617724771023 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Skiplist sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 64 0.0s Saturn.Skiplist concurrent [ ] 3 0 0 3 / 64 0.1s Saturn.Skiplist concurrent [ ] 4 0 0 4 / 64 0.4s Saturn.Skiplist concurrent [ ] 6 0 0 6 / 64 0.6s Saturn.Skiplist concurrent [ ] 7 0 0 7 / 64 0.9s Saturn.Skiplist concurrent [ ] 12 0 0 12 / 64 1.0s Saturn.Skiplist concurrent [ ] 15 0 0 15 / 64 1.1s Saturn.Skiplist concurrent [ ] 17 0 0 17 / 64 1.2s Saturn.Skiplist concurrent [ ] 25 0 0 25 / 64 1.4s Saturn.Skiplist concurrent [ ] 29 0 0 29 / 64 1.5s Saturn.Skiplist concurrent [ ] 31 0 0 31 / 64 1.6s Saturn.Skiplist concurrent [ ] 33 0 0 33 / 64 2.0s Saturn.Skiplist concurrent [ ] 35 0 0 35 / 64 2.2s Saturn.Skiplist concurrent [ ] 42 0 0 42 / 64 2.3s Saturn.Skiplist concurrent [ ] 48 0 0 48 / 64 2.4s Saturn.Skiplist concurrent [ ] 56 0 0 56 / 64 2.7s Saturn.Skiplist concurrent [ ] 61 0 0 61 / 64 3.0s Saturn.Skiplist concurrent [✓] 64 0 0 64 / 64 3.0s Saturn.Skiplist concurrent ================================================================================ success (ran 2 tests) random seed: 2935599128662641918 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Skiplist sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Skiplist concurrent [ ] 6 0 0 6 / 128 0.1s Saturn.Skiplist concurrent [ ] 8 0 0 8 / 128 0.4s Saturn.Skiplist concurrent [ ] 11 0 0 11 / 128 0.5s Saturn.Skiplist concurrent [ ] 13 0 0 13 / 128 0.9s Saturn.Skiplist concurrent [ ] 25 0 0 25 / 128 1.0s Saturn.Skiplist concurrent [ ] 28 0 0 28 / 128 1.1s Saturn.Skiplist concurrent [ ] 31 0 0 31 / 128 1.3s Saturn.Skiplist concurrent [ ] 35 0 0 35 / 128 1.4s Saturn.Skiplist concurrent [ ] 40 0 0 40 / 128 1.5s Saturn.Skiplist concurrent [ ] 43 0 0 43 / 128 1.6s Saturn.Skiplist concurrent [ ] 50 0 0 50 / 128 1.8s Saturn.Skiplist concurrent [ ] 54 0 0 54 / 128 2.0s Saturn.Skiplist concurrent [ ] 57 0 0 57 / 128 2.1s Saturn.Skiplist concurrent [ ] 63 0 0 63 / 128 2.5s Saturn.Skiplist concurrent [ ] 73 0 0 73 / 128 2.7s Saturn.Skiplist concurrent [ ] 81 0 0 81 / 128 2.8s Saturn.Skiplist concurrent [ ] 82 0 0 82 / 128 3.0s Saturn.Skiplist concurrent [ ] 84 0 0 84 / 128 3.1s Saturn.Skiplist concurrent [ ] 93 0 0 93 / 128 3.3s Saturn.Skiplist concurrent [ ] 104 0 0 104 / 128 3.5s Saturn.Skiplist concurrent [ ] 105 0 0 105 / 128 3.6s Saturn.Skiplist concurrent [ ] 108 0 0 108 / 128 3.7s Saturn.Skiplist concurrent [ ] 112 0 0 112 / 128 3.9s Saturn.Skiplist concurrent [ ] 116 0 0 116 / 128 4.1s Saturn.Skiplist concurrent [ ] 118 0 0 118 / 128 4.3s Saturn.Skiplist concurrent [ ] 120 0 0 120 / 128 4.6s Saturn.Skiplist concurrent [ ] 126 0 0 126 / 128 4.7s Saturn.Skiplist concurrent [✓] 128 0 0 128 / 128 4.7s Saturn.Skiplist concurrent ================================================================================ success (ran 2 tests) random seed: 1988427131432316772 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Skiplist sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Skiplist concurrent [ ] 6 0 0 6 / 256 0.1s Saturn.Skiplist concurrent [ ] 14 0 0 14 / 256 0.3s Saturn.Skiplist concurrent [ ] 23 0 0 23 / 256 0.6s Saturn.Skiplist concurrent [ ] 28 0 0 28 / 256 0.7s Saturn.Skiplist concurrent [ ] 32 0 0 32 / 256 0.9s Saturn.Skiplist concurrent [ ] 36 0 0 36 / 256 1.4s Saturn.Skiplist concurrent [ ] 41 0 0 41 / 256 1.5s Saturn.Skiplist concurrent [ ] 50 0 0 50 / 256 1.6s Saturn.Skiplist concurrent [ ] 52 0 0 52 / 256 1.9s Saturn.Skiplist concurrent [ ] 58 0 0 58 / 256 2.0s Saturn.Skiplist concurrent [ ] 62 0 0 62 / 256 2.3s Saturn.Skiplist concurrent [ ] 64 0 0 64 / 256 2.4s Saturn.Skiplist concurrent [ ] 68 0 0 68 / 256 2.5s Saturn.Skiplist concurrent [ ] 72 0 0 72 / 256 2.7s Saturn.Skiplist concurrent [ ] 88 0 0 88 / 256 2.8s Saturn.Skiplist concurrent [ ] 93 0 0 93 / 256 3.0s Saturn.Skiplist concurrent [ ] 94 0 0 94 / 256 3.2s Saturn.Skiplist concurrent [ ] 95 0 0 95 / 256 3.3s Saturn.Skiplist concurrent [ ] 100 0 0 100 / 256 3.4s Saturn.Skiplist concurrent [ ] 107 0 0 107 / 256 3.5s Saturn.Skiplist concurrent [ ] 110 0 0 110 / 256 3.6s Saturn.Skiplist concurrent [ ] 112 0 0 112 / 256 3.7s Saturn.Skiplist concurrent [ ] 119 0 0 119 / 256 3.9s Saturn.Skiplist concurrent [ ] 121 0 0 121 / 256 4.0s Saturn.Skiplist concurrent [ ] 122 0 0 122 / 256 4.3s Saturn.Skiplist concurrent [ ] 123 0 0 123 / 256 4.5s Saturn.Skiplist concurrent [ ] 133 0 0 133 / 256 4.7s Saturn.Skiplist concurrent [ ] 137 0 0 137 / 256 4.9s Saturn.Skiplist concurrent [ ] 139 0 0 139 / 256 5.2s Saturn.Skiplist concurrent [ ] 156 0 0 156 / 256 5.3s Saturn.Skiplist concurrent [ ] 161 0 0 161 / 256 5.4s Saturn.Skiplist concurrent [ ] 173 0 0 173 / 256 5.5s Saturn.Skiplist concurrent [ ] 187 0 0 187 / 256 5.9s Saturn.Skiplist concurrent [ ] 192 0 0 192 / 256 6.0s Saturn.Skiplist concurrent [ ] 206 0 0 206 / 256 6.2s Saturn.Skiplist concurrent [ ] 217 0 0 217 / 256 6.3s Saturn.Skiplist concurrent [ ] 225 0 0 225 / 256 6.4s Saturn.Skiplist concurrent [ ] 231 0 0 231 / 256 6.7s Saturn.Skiplist concurrent [ ] 237 0 0 237 / 256 6.8s Saturn.Skiplist concurrent [ ] 240 0 0 240 / 256 7.0s Saturn.Skiplist concurrent [ ] 242 0 0 242 / 256 7.1s Saturn.Skiplist concurrent [ ] 247 0 0 247 / 256 7.2s Saturn.Skiplist concurrent [ ] 249 0 0 249 / 256 7.3s Saturn.Skiplist concurrent [ ] 254 0 0 254 / 256 7.4s Saturn.Skiplist concurrent [✓] 256 0 0 256 / 256 7.5s Saturn.Skiplist concurrent ================================================================================ success (ran 2 tests) random seed: 3643194185941511295 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Skiplist sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Skiplist concurrent [ ] 6 0 0 6 / 512 0.2s Saturn.Skiplist concurrent [ ] 8 0 0 8 / 512 0.3s Saturn.Skiplist concurrent [ ] 13 0 0 13 / 512 0.4s Saturn.Skiplist concurrent [ ] 14 0 0 14 / 512 0.7s Saturn.Skiplist concurrent [ ] 24 0 0 24 / 512 0.8s Saturn.Skiplist concurrent [ ] 28 0 0 28 / 512 1.1s Saturn.Skiplist concurrent [ ] 33 0 0 33 / 512 1.2s Saturn.Skiplist concurrent [ ] 38 0 0 38 / 512 1.5s Saturn.Skiplist concurrent [ ] 39 0 0 39 / 512 1.7s Saturn.Skiplist concurrent [ ] 43 0 0 43 / 512 1.8s Saturn.Skiplist concurrent [ ] 46 0 0 46 / 512 2.1s Saturn.Skiplist concurrent [ ] 53 0 0 53 / 512 2.3s Saturn.Skiplist concurrent [ ] 58 0 0 58 / 512 2.5s Saturn.Skiplist concurrent [ ] 62 0 0 62 / 512 2.6s Saturn.Skiplist concurrent [ ] 66 0 0 66 / 512 2.7s Saturn.Skiplist concurrent [ ] 69 0 0 69 / 512 2.8s Saturn.Skiplist concurrent [ ] 71 0 0 71 / 512 2.9s Saturn.Skiplist concurrent [ ] 75 0 0 75 / 512 3.1s Saturn.Skiplist concurrent [ ] 77 0 0 77 / 512 3.2s Saturn.Skiplist concurrent [ ] 82 0 0 82 / 512 3.4s Saturn.Skiplist concurrent [ ] 89 0 0 89 / 512 3.5s Saturn.Skiplist concurrent [ ] 90 0 0 90 / 512 3.8s Saturn.Skiplist concurrent [ ] 94 0 0 94 / 512 3.9s Saturn.Skiplist concurrent [ ] 100 0 0 100 / 512 4.2s Saturn.Skiplist concurrent [ ] 113 0 0 113 / 512 4.3s Saturn.Skiplist concurrent [ ] 116 0 0 116 / 512 4.4s Saturn.Skiplist concurrent [ ] 118 0 0 118 / 512 4.8s Saturn.Skiplist concurrent [ ] 122 0 0 122 / 512 4.9s Saturn.Skiplist concurrent [ ] 126 0 0 126 / 512 5.0s Saturn.Skiplist concurrent [ ] 131 0 0 131 / 512 5.1s Saturn.Skiplist concurrent [ ] 133 0 0 133 / 512 5.3s Saturn.Skiplist concurrent [ ] 134 0 0 134 / 512 5.4s Saturn.Skiplist concurrent [ ] 138 0 0 138 / 512 5.5s Saturn.Skiplist concurrent [ ] 144 0 0 144 / 512 5.7s Saturn.Skiplist concurrent [ ] 147 0 0 147 / 512 6.1s Saturn.Skiplist concurrent [ ] 150 0 0 150 / 512 6.6s Saturn.Skiplist concurrent [ ] 152 0 0 152 / 512 7.0s Saturn.Skiplist concurrent [ ] 160 0 0 160 / 512 7.2s Saturn.Skiplist concurrent [ ] 164 0 0 164 / 512 7.3s Saturn.Skiplist concurrent [ ] 171 0 0 171 / 512 7.6s Saturn.Skiplist concurrent [ ] 177 0 0 177 / 512 7.7s Saturn.Skiplist concurrent [ ] 181 0 0 181 / 512 7.9s Saturn.Skiplist concurrent [ ] 186 0 0 186 / 512 8.2s Saturn.Skiplist concurrent [ ] 189 0 0 189 / 512 8.3s Saturn.Skiplist concurrent [ ] 191 0 0 191 / 512 8.4s Saturn.Skiplist concurrent [ ] 195 0 0 195 / 512 8.6s Saturn.Skiplist concurrent [ ] 204 0 0 204 / 512 9.2s Saturn.Skiplist concurrent [ ] 206 0 0 206 / 512 9.4s Saturn.Skiplist concurrent [ ] 212 0 0 212 / 512 9.6s Saturn.Skiplist concurrent [ ] 214 0 0 214 / 512 9.8s Saturn.Skiplist concurrent [ ] 216 0 0 216 / 512 10.0s Saturn.Skiplist concurrent [ ] 217 0 0 217 / 512 10.1s Saturn.Skiplist concurrent [ ] 218 0 0 218 / 512 10.4s Saturn.Skiplist concurrent [ ] 223 0 0 223 / 512 10.8s Saturn.Skiplist concurrent [ ] 227 0 0 227 / 512 10.9s Saturn.Skiplist concurrent [ ] 228 0 0 228 / 512 11.0s Saturn.Skiplist concurrent [ ] 230 0 0 230 / 512 11.1s Saturn.Skiplist concurrent [ ] 235 0 0 235 / 512 11.7s Saturn.Skiplist concurrent [ ] 253 0 0 253 / 512 11.8s Saturn.Skiplist concurrent [ ] 254 0 0 254 / 512 12.3s Saturn.Skiplist concurrent [ ] 257 0 0 257 / 512 12.6s Saturn.Skiplist concurrent [ ] 261 0 0 261 / 512 12.7s Saturn.Skiplist concurrent [ ] 266 0 0 266 / 512 12.9s Saturn.Skiplist concurrent [ ] 271 0 0 271 / 512 13.2s Saturn.Skiplist concurrent [ ] 272 0 0 272 / 512 13.5s Saturn.Skiplist concurrent [ ] 282 0 0 282 / 512 13.6s Saturn.Skiplist concurrent [ ] 295 0 0 295 / 512 13.7s Saturn.Skiplist concurrent [ ] 305 0 0 305 / 512 13.9s Saturn.Skiplist concurrent [ ] 308 0 0 308 / 512 14.0s Saturn.Skiplist concurrent [ ] 309 0 0 309 / 512 14.3s Saturn.Skiplist concurrent [ ] 313 0 0 313 / 512 14.4s Saturn.Skiplist concurrent [ ] 317 0 0 317 / 512 14.5s Saturn.Skiplist concurrent [ ] 318 0 0 318 / 512 14.6s Saturn.Skiplist concurrent [ ] 319 0 0 319 / 512 14.7s Saturn.Skiplist concurrent [ ] 323 0 0 323 / 512 15.0s Saturn.Skiplist concurrent [ ] 329 0 0 329 / 512 15.1s Saturn.Skiplist concurrent [ ] 336 0 0 336 / 512 15.3s Saturn.Skiplist concurrent [ ] 344 0 0 344 / 512 15.4s Saturn.Skiplist concurrent [ ] 357 0 0 357 / 512 15.5s Saturn.Skiplist concurrent [ ] 358 0 0 358 / 512 15.6s Saturn.Skiplist concurrent [ ] 360 0 0 360 / 512 15.9s Saturn.Skiplist concurrent [ ] 363 0 0 363 / 512 16.1s Saturn.Skiplist concurrent [ ] 367 0 0 367 / 512 16.3s Saturn.Skiplist concurrent [ ] 370 0 0 370 / 512 16.5s Saturn.Skiplist concurrent [ ] 379 0 0 379 / 512 16.6s Saturn.Skiplist concurrent [ ] 386 0 0 386 / 512 17.0s Saturn.Skiplist concurrent [ ] 391 0 0 391 / 512 17.1s Saturn.Skiplist concurrent [ ] 393 0 0 393 / 512 17.3s Saturn.Skiplist concurrent [ ] 395 0 0 395 / 512 17.6s Saturn.Skiplist concurrent [ ] 398 0 0 398 / 512 17.8s Saturn.Skiplist concurrent [ ] 404 0 0 404 / 512 18.0s Saturn.Skiplist concurrent [ ] 410 0 0 410 / 512 18.1s Saturn.Skiplist concurrent [ ] 415 0 0 415 / 512 18.3s Saturn.Skiplist concurrent [ ] 419 0 0 419 / 512 18.4s Saturn.Skiplist concurrent [ ] 423 0 0 423 / 512 18.5s Saturn.Skiplist concurrent [ ] 433 0 0 433 / 512 18.9s Saturn.Skiplist concurrent [ ] 437 0 0 437 / 512 19.1s Saturn.Skiplist concurrent [ ] 445 0 0 445 / 512 19.2s Saturn.Skiplist concurrent [ ] 450 0 0 450 / 512 19.6s Saturn.Skiplist concurrent [ ] 460 0 0 460 / 512 19.7s Saturn.Skiplist concurrent [ ] 474 0 0 474 / 512 19.8s Saturn.Skiplist concurrent [ ] 487 0 0 487 / 512 19.9s Saturn.Skiplist concurrent [ ] 496 0 0 496 / 512 20.1s Saturn.Skiplist concurrent [ ] 499 0 0 499 / 512 20.3s Saturn.Skiplist concurrent [ ] 503 0 0 503 / 512 20.4s Saturn.Skiplist concurrent [ ] 510 0 0 510 / 512 20.5s Saturn.Skiplist concurrent [✓] 512 0 0 512 / 512 20.6s Saturn.Skiplist concurrent ================================================================================ success (ran 2 tests) random seed: 1568186846115242502 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Skiplist sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Skiplist concurrent [ ] 7 0 0 7 / 32 0.1s Saturn.Skiplist concurrent [ ] 8 0 0 8 / 32 0.4s Saturn.Skiplist concurrent [ ] 11 0 0 11 / 32 0.6s Saturn.Skiplist concurrent [ ] 21 0 0 21 / 32 0.9s Saturn.Skiplist concurrent [ ] 27 0 0 27 / 32 1.1s Saturn.Skiplist concurrent [✓] 32 0 0 32 / 32 1.2s Saturn.Skiplist concurrent ================================================================================ 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 = 100000, stolen = 0) (cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe) qcheck random seed: 97471875 Testing `Treiber_stack'. This run has ID `ORM9NVR6'. [OK] test_sequential 0 push. [OK] test_sequential 1 push_pop_until_empty. [OK] test_sequential 2 lifo. [OK] one_cons_one_prod 0 parallel. [OK] two_domains 0 parallel_pop_push. [OK] two_domains 1 parallel_pop_push_random. Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'. Test Successful in 0.515s. 6 tests run. (cd _build/default/test/ws_deque && ./stm_ws_deque.exe) random seed: 436859375407764282 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) random seed: 3547747010374920937 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Ws_deque sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) random seed: 771229976335325062 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Ws_deque sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) random seed: 2074807513171686822 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Ws_deque sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) random seed: 2703229353380025227 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Ws_deque sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) random seed: 1746731971793853003 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Ws_deque sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Ws_deque sequential ================================================================================ success (ran 1 tests) (cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe) qcheck random seed: 900480278 Testing `Ws_deque'. This run has ID `G8C2GOW0'. [OK] one_producer 0 pops_are_in_order. [OK] one_producer 1 pop_on_empty_deque_rai... [OK] one_producer_one_stealer 0 steals_are_in_order. [OK] one_producer_one_stealer 1 parallel_pushes_and_st... [OK] one_producer_one_stealer 2 parallel_pops_and_steals. [OK] one_producer_two_stealers 0 parallel_steals. Full test results in `/src/_build/default/test/ws_deque/_build/_tests/Ws_deque'. Test Successful in 0.442s. 6 tests run. (cd _build/default/test/skiplist && ./qcheck_skiplist.exe) qcheck random seed: 468042352 Testing `QCheck Skiplist'. This run has ID `NY5SRRBG'. [OK] test_sequential 0 add. [OK] test_sequential 1 add_remove. [OK] test_sequential 2 add_find. [OK] test_sequential 3 add_remove_find. [OK] tests_two_domains 0 parallel_add. [OK] tests_two_domains 1 parallel_add_remove. [OK] tests_two_domains 2 parallel_add_remove_same_list. Full test results in `/src/_build/default/test/skiplist/_build/_tests/QCheck Skiplist'. Test Successful in 7.970s. 7 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 = 100) test_Spsc_queue_unsafe_empty: ok test_Spsc_queue_unsafe_full: ok test_Spsc_queue_unsafe_parallel: ok (transferred = 100) (cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe) random seed: 4490111105392222418 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 4089640490696855782 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 4155546190664735057 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 1776330974075569972 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 841547296842718871 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Spsc_queue sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 1707384304193809548 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue sequential ================================================================================ success (ran 1 tests) random seed: 356183290982301513 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) random seed: 1380078040030590083 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) random seed: 4432419371803574039 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) random seed: 359742928060343705 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) random seed: 61364489364240271 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) random seed: 1106556333630150019 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Spsc_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Spsc_queue_unsafe sequential ================================================================================ success (ran 1 tests) (cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe) qcheck random seed: 646538275 Testing `Spsc_queues'. This run has ID `T6E0M5N3'. [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 1.299s. 16 tests run. (cd _build/default/bench && ./main.exe -brief) Saturn Bounded_Queue: messages over time/1 nb adder, 1 nb taker: 42.60 M/s messages over time/1 nb adder, 2 nb takers: 35.62 M/s messages over time/2 nb adders, 1 nb taker: 44.68 M/s messages over time/2 nb adders, 2 nb takers: 39.49 M/s messages over time/one domain: 17.10 M/s time per message/1 nb adder, 1 nb taker: 46.95 ns time per message/1 nb adder, 2 nb takers: 84.22 ns time per message/2 nb adders, 1 nb taker: 67.15 ns time per message/2 nb adders, 2 nb takers: 101.30 ns time per message/one domain: 58.47 ns Saturn Bounded_Queue_unsafe: messages over time/1 nb adder, 1 nb taker: 45.51 M/s messages over time/1 nb adder, 2 nb takers: 45.40 M/s messages over time/2 nb adders, 1 nb taker: 52.78 M/s messages over time/2 nb adders, 2 nb takers: 43.87 M/s messages over time/one domain: 20.14 M/s time per message/1 nb adder, 1 nb taker: 43.95 ns time per message/1 nb adder, 2 nb takers: 66.08 ns time per message/2 nb adders, 1 nb taker: 56.84 ns time per message/2 nb adders, 2 nb takers: 91.17 ns time per message/one domain: 49.66 ns Saturn Bounded_Stack: messages over time/1 adder, 1 taker: 67.03 M/s messages over time/1 adder, 2 takers: 38.50 M/s messages over time/2 adders, 1 taker: 61.64 M/s messages over time/2 adders, 2 takers: 42.70 M/s messages over time/one domain: 26.00 M/s time per message/1 adder, 1 taker: 29.84 ns time per message/1 adder, 2 takers: 77.93 ns time per message/2 adders, 1 taker: 48.70 ns time per message/2 adders, 2 takers: 93.69 ns time per message/one domain: 38.46 ns Saturn Htbl: operations over time/1 worker, 10% reads: 12.47 M/s operations over time/1 worker, 50% reads: 14.26 M/s operations over time/1 worker, 90% reads: 21.99 M/s operations over time/2 workers, 10% reads: 12.60 M/s operations over time/2 workers, 50% reads: 15.22 M/s operations over time/2 workers, 90% reads: 14.99 M/s operations over time/4 workers, 10% reads: 13.12 M/s operations over time/4 workers, 50% reads: 12.65 M/s operations over time/4 workers, 90% reads: 22.38 M/s time per operation/1 worker, 10% reads: 80.20 ns time per operation/1 worker, 50% reads: 70.13 ns time per operation/1 worker, 90% reads: 45.48 ns time per operation/2 workers, 10% reads: 158.77 ns time per operation/2 workers, 50% reads: 131.41 ns time per operation/2 workers, 90% reads: 133.42 ns time per operation/4 workers, 10% reads: 304.85 ns time per operation/4 workers, 50% reads: 316.27 ns time per operation/4 workers, 90% reads: 178.74 ns Saturn Htbl_unsafe: operations over time/1 worker, 10% reads: 13.50 M/s operations over time/1 worker, 50% reads: 14.27 M/s operations over time/1 worker, 90% reads: 22.61 M/s operations over time/2 workers, 10% reads: 12.90 M/s operations over time/2 workers, 50% reads: 15.72 M/s operations over time/2 workers, 90% reads: 22.56 M/s operations over time/4 workers, 10% reads: 12.77 M/s operations over time/4 workers, 50% reads: 14.68 M/s operations over time/4 workers, 90% reads: 19.21 M/s time per operation/1 worker, 10% reads: 74.08 ns time per operation/1 worker, 50% reads: 70.07 ns time per operation/1 worker, 90% reads: 44.23 ns time per operation/2 workers, 10% reads: 155.05 ns time per operation/2 workers, 50% reads: 127.25 ns time per operation/2 workers, 90% reads: 88.67 ns time per operation/4 workers, 10% reads: 313.26 ns time per operation/4 workers, 50% reads: 272.51 ns time per operation/4 workers, 90% reads: 208.27 ns Saturn Queue (MS): messages over time/1 nb adder, 1 nb taker: 51.25 M/s messages over time/1 nb adder, 2 nb takers: 47.50 M/s messages over time/2 nb adders, 1 nb taker: 53.43 M/s messages over time/2 nb adders, 2 nb takers: 43.68 M/s messages over time/one domain: 19.89 M/s time per message/1 nb adder, 1 nb taker: 39.02 ns time per message/1 nb adder, 2 nb takers: 63.15 ns time per message/2 nb adders, 1 nb taker: 56.15 ns time per message/2 nb adders, 2 nb takers: 91.57 ns time per message/one domain: 50.27 ns Saturn Queue_unsafe (MS): messages over time/1 nb adder, 1 nb taker: 54.16 M/s messages over time/1 nb adder, 2 nb takers: 41.16 M/s messages over time/2 nb adders, 1 nb taker: 57.79 M/s messages over time/2 nb adders, 2 nb takers: 46.14 M/s messages over time/one domain: 24.37 M/s time per message/1 nb adder, 1 nb taker: 36.92 ns time per message/1 nb adder, 2 nb takers: 72.89 ns time per message/2 nb adders, 1 nb taker: 51.91 ns time per message/2 nb adders, 2 nb takers: 86.69 ns time per message/one domain: 41.05 ns Saturn Single_consumer_queue: messages over time/1 nb adder, 1 nb taker: 61.98 M/s messages over time/2 nb adders, 1 nb taker: 79.61 M/s messages over time/3 nb adders, 1 nb taker: 50.25 M/s messages over time/4 nb adders, 1 nb taker: 85.34 M/s messages over time/one domain: 26.92 M/s time per message/1 nb adder, 1 nb taker: 32.27 ns time per message/2 nb adders, 1 nb taker: 37.69 ns time per message/3 nb adders, 1 nb taker: 79.60 ns time per message/4 nb adders, 1 nb taker: 58.59 ns time per message/one domain: 37.15 ns Saturn Single_prod_single_cons_queue: messages over time/2 workers, capacity 1: 0.28 M/s messages over time/2 workers, capacity 32768: 42.02 M/s messages over time/2 workers, capacity 4096: 31.84 M/s messages over time/2 workers, capacity 512: 32.38 M/s messages over time/2 workers, capacity 64: 13.43 M/s messages over time/2 workers, capacity 8: 2.04 M/s time per message/2 workers, capacity 1: 7257.26 ns time per message/2 workers, capacity 32768: 47.60 ns time per message/2 workers, capacity 4096: 62.81 ns time per message/2 workers, capacity 512: 61.77 ns time per message/2 workers, capacity 64: 148.87 ns time per message/2 workers, capacity 8: 981.90 ns Saturn Single_prod_single_cons_queue_unsafe: messages over time/2 workers, capacity 1: 0.30 M/s messages over time/2 workers, capacity 32768: 53.08 M/s messages over time/2 workers, capacity 4096: 49.39 M/s messages over time/2 workers, capacity 512: 37.61 M/s messages over time/2 workers, capacity 64: 15.63 M/s messages over time/2 workers, capacity 8: 2.23 M/s time per message/2 workers, capacity 1: 6757.85 ns time per message/2 workers, capacity 32768: 37.68 ns time per message/2 workers, capacity 4096: 40.50 ns time per message/2 workers, capacity 512: 53.18 ns time per message/2 workers, capacity 64: 127.98 ns time per message/2 workers, capacity 8: 895.94 ns Saturn Size: operations over time/1 worker: 82.26 M/s operations over time/2 workers: 85.87 M/s operations over time/4 workers: 83.91 M/s time per operation/1 worker: 12.16 ns time per operation/2 workers: 23.29 ns time per operation/4 workers: 47.68 ns Saturn Skiplist: operations over time/1 workers, 10% mem 45% add 45% rem: 2.09 M/s operations over time/1 workers, 50% mem 25% add 25% rem: 2.58 M/s operations over time/1 workers, 90% mem 5% add 5% rem: 3.79 M/s operations over time/2 workers, 10% mem 45% add 45% rem: 1.57 M/s operations over time/2 workers, 50% mem 25% add 25% rem: 2.47 M/s operations over time/2 workers, 90% mem 5% add 5% rem: 3.79 M/s operations over time/4 workers, 10% mem 45% add 45% rem: 1.87 M/s operations over time/4 workers, 50% mem 25% add 25% rem: 1.44 M/s operations over time/4 workers, 90% mem 5% add 5% rem: 2.60 M/s time per operation/1 workers, 10% mem 45% add 45% rem: 479.33 ns time per operation/1 workers, 50% mem 25% add 25% rem: 387.86 ns time per operation/1 workers, 90% mem 5% add 5% rem: 263.97 ns time per operation/2 workers, 10% mem 45% add 45% rem: 1276.19 ns time per operation/2 workers, 50% mem 25% add 25% rem: 811.12 ns time per operation/2 workers, 90% mem 5% add 5% rem: 528.18 ns time per operation/4 workers, 10% mem 45% add 45% rem: 2137.03 ns time per operation/4 workers, 50% mem 25% add 25% rem: 2781.13 ns time per operation/4 workers, 90% mem 5% add 5% rem: 1537.21 ns Saturn Stack: messages over time/1 adder, 1 taker: 79.89 M/s messages over time/1 adder, 2 takers: 68.38 M/s messages over time/2 adders, 1 taker: 68.79 M/s messages over time/2 adders, 2 takers: 67.92 M/s messages over time/one domain: 28.30 M/s time per message/1 adder, 1 taker: 25.03 ns time per message/1 adder, 2 takers: 43.87 ns time per message/2 adders, 1 taker: 43.62 ns time per message/2 adders, 2 takers: 58.91 ns time per message/one domain: 35.34 ns Saturn Work_stealing_deque: messages over time/1 adder, 1 taker: 39.49 M/s messages over time/1 adder, 2 takers: 36.65 M/s messages over time/1 adder, 4 takers: 35.54 M/s messages over time/one domain (FIFO): 27.11 M/s messages over time/one domain (LIFO): 28.83 M/s spawns over time/1 worker: 21.60 M/s spawns over time/2 workers: 21.72 M/s spawns over time/4 workers: 19.49 M/s spawns over time/8 workers: 21.05 M/s time per message/1 adder, 1 taker: 50.65 ns time per message/1 adder, 2 takers: 81.88 ns time per message/1 adder, 4 takers: 140.74 ns time per message/one domain (FIFO): 36.89 ns time per message/one domain (LIFO): 34.68 ns time per spawn/1 worker: 46.30 ns time per spawn/2 workers: 92.09 ns time per spawn/4 workers: 205.23 ns time per spawn/8 workers: 379.97 ns (cd _build/default/test/bounded_queue && ./qcheck_bounded_queue.exe) qcheck random seed: 467961775 Testing `Bounded_queue'. This run has ID `W2SG2YI6'. [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 0.797s. 22 tests run. (cd _build/default/test/bounded_stack && ./stm_bounded_stack.exe) random seed: 1776600970401200891 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack concurrent [ ] 4 0 0 4 / 32 0.4s Saturn.Bounded_stack concurrent [ ] 11 0 0 11 / 32 0.5s Saturn.Bounded_stack concurrent [ ] 15 0 0 15 / 32 0.6s Saturn.Bounded_stack concurrent [ ] 24 0 0 24 / 32 0.9s Saturn.Bounded_stack concurrent [ ] 27 0 0 27 / 32 1.0s Saturn.Bounded_stack concurrent [✓] 32 0 0 32 / 32 1.1s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) random seed: 3397425030930489479 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_stack sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_stack concurrent [ ] 7 0 0 7 / 64 0.1s Saturn.Bounded_stack concurrent [ ] 15 0 0 15 / 64 0.2s Saturn.Bounded_stack concurrent [ ] 19 0 0 19 / 64 0.3s Saturn.Bounded_stack concurrent [ ] 21 0 0 21 / 64 0.4s Saturn.Bounded_stack concurrent [ ] 27 0 0 27 / 64 0.6s Saturn.Bounded_stack concurrent [ ] 35 0 0 35 / 64 0.8s Saturn.Bounded_stack concurrent [ ] 40 0 0 40 / 64 1.0s Saturn.Bounded_stack concurrent [ ] 41 0 0 41 / 64 1.2s Saturn.Bounded_stack concurrent [ ] 47 0 0 47 / 64 1.4s Saturn.Bounded_stack concurrent [ ] 55 0 0 55 / 64 1.5s Saturn.Bounded_stack concurrent [ ] 59 0 0 59 / 64 1.6s Saturn.Bounded_stack concurrent [ ] 61 0 0 61 / 64 1.7s Saturn.Bounded_stack concurrent [ ] 63 0 0 63 / 64 1.9s Saturn.Bounded_stack concurrent [✓] 64 0 0 64 / 64 1.9s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) random seed: 1299365341489175618 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_stack sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_stack concurrent [ ] 9 0 0 9 / 128 0.3s Saturn.Bounded_stack concurrent [ ] 22 0 0 22 / 128 0.4s Saturn.Bounded_stack concurrent [ ] 26 0 0 26 / 128 0.5s Saturn.Bounded_stack concurrent [ ] 27 0 0 27 / 128 0.7s Saturn.Bounded_stack concurrent [ ] 31 0 0 31 / 128 0.9s Saturn.Bounded_stack concurrent [ ] 36 0 0 36 / 128 1.1s Saturn.Bounded_stack concurrent [ ] 44 0 0 44 / 128 1.2s Saturn.Bounded_stack concurrent [ ] 51 0 0 51 / 128 1.3s Saturn.Bounded_stack concurrent [ ] 56 0 0 56 / 128 4.8s Saturn.Bounded_stack concurrent [ ] 60 0 0 60 / 128 5.0s Saturn.Bounded_stack concurrent [ ] 63 0 0 63 / 128 5.1s Saturn.Bounded_stack concurrent [ ] 75 0 0 75 / 128 5.3s Saturn.Bounded_stack concurrent [ ] 76 0 0 76 / 128 6.1s Saturn.Bounded_stack concurrent [ ] 80 0 0 80 / 128 6.2s Saturn.Bounded_stack concurrent [ ] 82 0 0 82 / 128 6.4s Saturn.Bounded_stack concurrent [ ] 86 0 0 86 / 128 6.5s Saturn.Bounded_stack concurrent [ ] 95 0 0 95 / 128 6.7s Saturn.Bounded_stack concurrent [ ] 96 0 0 96 / 128 6.9s Saturn.Bounded_stack concurrent [ ] 106 0 0 106 / 128 9.7s Saturn.Bounded_stack concurrent [ ] 114 0 0 114 / 128 11.0s Saturn.Bounded_stack concurrent [ ] 124 0 0 124 / 128 11.2s Saturn.Bounded_stack concurrent [ ] 128 0 0 128 / 128 11.4s Saturn.Bounded_stack concurrent [✓] 128 0 0 128 / 128 11.4s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) random seed: 632207319491743860 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Bounded_stack sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Bounded_stack concurrent [ ] 4 0 0 4 / 256 0.3s Saturn.Bounded_stack concurrent [ ] 12 0 0 12 / 256 0.4s Saturn.Bounded_stack concurrent [ ] 17 0 0 17 / 256 0.5s Saturn.Bounded_stack concurrent [ ] 21 0 0 21 / 256 0.7s Saturn.Bounded_stack concurrent [ ] 24 0 0 24 / 256 0.8s Saturn.Bounded_stack concurrent [ ] 26 0 0 26 / 256 1.0s Saturn.Bounded_stack concurrent [ ] 30 0 0 30 / 256 1.2s Saturn.Bounded_stack concurrent [ ] 40 0 0 40 / 256 1.3s Saturn.Bounded_stack concurrent [ ] 42 0 0 42 / 256 1.5s Saturn.Bounded_stack concurrent [ ] 49 0 0 49 / 256 1.6s Saturn.Bounded_stack concurrent [ ] 55 0 0 55 / 256 1.7s Saturn.Bounded_stack concurrent (collecting) [ ] 68 0 0 68 / 256 1.8s Saturn.Bounded_stack concurrent [ ] 69 0 0 69 / 256 2.2s Saturn.Bounded_stack concurrent [ ] 71 0 0 71 / 256 2.8s Saturn.Bounded_stack concurrent [ ] 78 0 0 78 / 256 2.9s Saturn.Bounded_stack concurrent [ ] 81 0 0 81 / 256 3.0s Saturn.Bounded_stack concurrent [ ] 86 0 0 86 / 256 3.1s Saturn.Bounded_stack concurrent [ ] 95 0 0 95 / 256 3.2s Saturn.Bounded_stack concurrent [ ] 101 0 0 101 / 256 3.3s Saturn.Bounded_stack concurrent [ ] 109 0 0 109 / 256 3.5s Saturn.Bounded_stack concurrent [ ] 113 0 0 113 / 256 3.6s Saturn.Bounded_stack concurrent [ ] 118 0 0 118 / 256 3.9s Saturn.Bounded_stack concurrent [ ] 120 0 0 120 / 256 5.7s Saturn.Bounded_stack concurrent [ ] 124 0 0 124 / 256 5.8s Saturn.Bounded_stack concurrent [ ] 127 0 0 127 / 256 5.9s Saturn.Bounded_stack concurrent [ ] 135 0 0 135 / 256 6.1s Saturn.Bounded_stack concurrent [ ] 137 0 0 137 / 256 6.2s Saturn.Bounded_stack concurrent [ ] 139 0 0 139 / 256 6.3s Saturn.Bounded_stack concurrent [ ] 144 0 0 144 / 256 6.4s Saturn.Bounded_stack concurrent [ ] 146 0 0 146 / 256 6.5s Saturn.Bounded_stack concurrent [ ] 153 0 0 153 / 256 6.7s Saturn.Bounded_stack concurrent [ ] 157 0 0 157 / 256 6.9s Saturn.Bounded_stack concurrent [ ] 167 0 0 167 / 256 7.0s Saturn.Bounded_stack concurrent [ ] 169 0 0 169 / 256 7.1s Saturn.Bounded_stack concurrent [ ] 173 0 0 173 / 256 7.3s Saturn.Bounded_stack concurrent [ ] 174 0 0 174 / 256 7.4s Saturn.Bounded_stack concurrent [ ] 181 0 0 181 / 256 11.1s Saturn.Bounded_stack concurrent [ ] 190 0 0 190 / 256 11.2s Saturn.Bounded_stack concurrent [ ] 194 0 0 194 / 256 11.3s Saturn.Bounded_stack concurrent [ ] 197 0 0 197 / 256 11.9s Saturn.Bounded_stack concurrent [ ] 202 0 0 202 / 256 12.0s Saturn.Bounded_stack concurrent [ ] 208 0 0 208 / 256 12.3s Saturn.Bounded_stack concurrent [ ] 211 0 0 211 / 256 12.9s Saturn.Bounded_stack concurrent [ ] 216 0 0 216 / 256 13.1s Saturn.Bounded_stack concurrent [ ] 223 0 0 223 / 256 13.2s Saturn.Bounded_stack concurrent [ ] 238 0 0 238 / 256 13.3s Saturn.Bounded_stack concurrent [ ] 239 0 0 239 / 256 13.6s Saturn.Bounded_stack concurrent [ ] 242 0 0 242 / 256 13.7s Saturn.Bounded_stack concurrent [ ] 246 0 0 246 / 256 13.8s Saturn.Bounded_stack concurrent [ ] 251 0 0 251 / 256 14.0s Saturn.Bounded_stack concurrent [ ] 255 0 0 255 / 256 14.1s Saturn.Bounded_stack concurrent [✓] 256 0 0 256 / 256 14.1s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) random seed: 2599951075210360426 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Bounded_stack sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Bounded_stack concurrent [ ] 6 0 0 6 / 512 0.1s Saturn.Bounded_stack concurrent [ ] 9 0 0 9 / 512 0.4s Saturn.Bounded_stack concurrent [ ] 13 0 0 13 / 512 0.8s Saturn.Bounded_stack concurrent [ ] 17 0 0 17 / 512 1.0s Saturn.Bounded_stack concurrent [ ] 20 0 0 20 / 512 3.4s Saturn.Bounded_stack concurrent [ ] 24 0 0 24 / 512 4.2s Saturn.Bounded_stack concurrent [ ] 30 0 0 30 / 512 5.0s Saturn.Bounded_stack concurrent [ ] 32 0 0 32 / 512 5.1s Saturn.Bounded_stack concurrent [ ] 34 0 0 34 / 512 5.4s Saturn.Bounded_stack concurrent [ ] 41 0 0 41 / 512 5.6s Saturn.Bounded_stack concurrent [ ] 44 0 0 44 / 512 5.7s Saturn.Bounded_stack concurrent [ ] 46 0 0 46 / 512 5.9s Saturn.Bounded_stack concurrent [ ] 47 0 0 47 / 512 6.8s Saturn.Bounded_stack concurrent [ ] 49 0 0 49 / 512 6.9s Saturn.Bounded_stack concurrent [ ] 53 0 0 53 / 512 7.3s Saturn.Bounded_stack concurrent [ ] 57 0 0 57 / 512 7.4s Saturn.Bounded_stack concurrent [ ] 59 0 0 59 / 512 7.5s Saturn.Bounded_stack concurrent [ ] 62 0 0 62 / 512 7.8s Saturn.Bounded_stack concurrent [ ] 75 0 0 75 / 512 7.9s Saturn.Bounded_stack concurrent [ ] 87 0 0 87 / 512 8.0s Saturn.Bounded_stack concurrent [ ] 92 0 0 92 / 512 8.3s Saturn.Bounded_stack concurrent [ ] 96 0 0 96 / 512 8.6s Saturn.Bounded_stack concurrent [ ] 101 0 0 101 / 512 8.7s Saturn.Bounded_stack concurrent [ ] 110 0 0 110 / 512 9.0s Saturn.Bounded_stack concurrent [ ] 114 0 0 114 / 512 9.3s Saturn.Bounded_stack concurrent [ ] 123 0 0 123 / 512 9.4s Saturn.Bounded_stack concurrent [ ] 128 0 0 128 / 512 9.5s Saturn.Bounded_stack concurrent [ ] 138 0 0 138 / 512 9.7s Saturn.Bounded_stack concurrent [ ] 148 0 0 148 / 512 10.0s Saturn.Bounded_stack concurrent [ ] 159 0 0 159 / 512 10.3s Saturn.Bounded_stack concurrent [ ] 165 0 0 165 / 512 11.6s Saturn.Bounded_stack concurrent [ ] 169 0 0 169 / 512 11.7s Saturn.Bounded_stack concurrent [ ] 172 0 0 172 / 512 11.9s Saturn.Bounded_stack concurrent [ ] 188 0 0 188 / 512 12.0s Saturn.Bounded_stack concurrent [ ] 191 0 0 191 / 512 12.1s Saturn.Bounded_stack concurrent [ ] 192 0 0 192 / 512 12.4s Saturn.Bounded_stack concurrent [ ] 198 0 0 198 / 512 12.6s Saturn.Bounded_stack concurrent [ ] 203 0 0 203 / 512 12.7s Saturn.Bounded_stack concurrent [ ] 216 0 0 216 / 512 12.9s Saturn.Bounded_stack concurrent [ ] 219 0 0 219 / 512 13.2s Saturn.Bounded_stack concurrent [ ] 226 0 0 226 / 512 13.5s Saturn.Bounded_stack concurrent [ ] 228 0 0 228 / 512 15.4s Saturn.Bounded_stack concurrent [ ] 232 0 0 232 / 512 15.5s Saturn.Bounded_stack concurrent [ ] 239 0 0 239 / 512 15.9s Saturn.Bounded_stack concurrent [ ] 242 0 0 242 / 512 16.2s Saturn.Bounded_stack concurrent [ ] 243 0 0 243 / 512 16.3s Saturn.Bounded_stack concurrent [ ] 250 0 0 250 / 512 16.4s Saturn.Bounded_stack concurrent [ ] 253 0 0 253 / 512 16.6s Saturn.Bounded_stack concurrent [ ] 264 0 0 264 / 512 17.0s Saturn.Bounded_stack concurrent [ ] 267 0 0 267 / 512 17.1s Saturn.Bounded_stack concurrent [ ] 269 0 0 269 / 512 17.3s Saturn.Bounded_stack concurrent [ ] 273 0 0 273 / 512 17.4s Saturn.Bounded_stack concurrent [ ] 275 0 0 275 / 512 17.5s Saturn.Bounded_stack concurrent [ ] 282 0 0 282 / 512 21.3s Saturn.Bounded_stack concurrent [ ] 293 0 0 293 / 512 21.6s Saturn.Bounded_stack concurrent [ ] 295 0 0 295 / 512 22.9s Saturn.Bounded_stack concurrent [ ] 312 0 0 312 / 512 23.0s Saturn.Bounded_stack concurrent [ ] 326 0 0 326 / 512 23.2s Saturn.Bounded_stack concurrent [ ] 336 0 0 336 / 512 23.4s Saturn.Bounded_stack concurrent [ ] 339 0 0 339 / 512 23.5s Saturn.Bounded_stack concurrent [ ] 345 0 0 345 / 512 23.7s Saturn.Bounded_stack concurrent [ ] 354 0 0 354 / 512 23.9s Saturn.Bounded_stack concurrent [ ] 359 0 0 359 / 512 24.1s Saturn.Bounded_stack concurrent [ ] 373 0 0 373 / 512 24.3s Saturn.Bounded_stack concurrent [ ] 380 0 0 380 / 512 24.4s Saturn.Bounded_stack concurrent [ ] 382 0 0 382 / 512 24.6s Saturn.Bounded_stack concurrent [ ] 383 0 0 383 / 512 24.8s Saturn.Bounded_stack concurrent [ ] 386 0 0 386 / 512 24.9s Saturn.Bounded_stack concurrent (collecting) [ ] 393 0 0 393 / 512 25.2s Saturn.Bounded_stack concurrent [ ] 400 0 0 400 / 512 25.3s Saturn.Bounded_stack concurrent [ ] 413 0 0 413 / 512 25.8s Saturn.Bounded_stack concurrent [ ] 421 0 0 421 / 512 25.9s Saturn.Bounded_stack concurrent [ ] 423 0 0 423 / 512 26.0s Saturn.Bounded_stack concurrent [ ] 428 0 0 428 / 512 26.1s Saturn.Bounded_stack concurrent [ ] 433 0 0 433 / 512 27.2s Saturn.Bounded_stack concurrent [ ] 434 0 0 434 / 512 27.4s Saturn.Bounded_stack concurrent [ ] 441 0 0 441 / 512 27.9s Saturn.Bounded_stack concurrent [ ] 444 0 0 444 / 512 28.0s Saturn.Bounded_stack concurrent [ ] 452 0 0 452 / 512 28.1s Saturn.Bounded_stack concurrent [ ] 456 0 0 456 / 512 28.2s Saturn.Bounded_stack concurrent [ ] 459 0 0 459 / 512 28.3s Saturn.Bounded_stack concurrent [ ] 463 0 0 463 / 512 28.4s Saturn.Bounded_stack concurrent [ ] 464 0 0 464 / 512 28.6s Saturn.Bounded_stack concurrent [ ] 469 0 0 469 / 512 28.7s Saturn.Bounded_stack concurrent [ ] 471 0 0 471 / 512 29.7s Saturn.Bounded_stack concurrent [ ] 476 0 0 476 / 512 29.8s Saturn.Bounded_stack concurrent [ ] 479 0 0 479 / 512 30.0s Saturn.Bounded_stack concurrent [ ] 481 0 0 481 / 512 30.1s Saturn.Bounded_stack concurrent [ ] 483 0 0 483 / 512 30.2s Saturn.Bounded_stack concurrent [ ] 486 0 0 486 / 512 30.3s Saturn.Bounded_stack concurrent [ ] 492 0 0 492 / 512 30.5s Saturn.Bounded_stack concurrent [ ] 499 0 0 499 / 512 30.6s Saturn.Bounded_stack concurrent [ ] 507 0 0 507 / 512 30.8s Saturn.Bounded_stack concurrent [ ] 509 0 0 509 / 512 30.9s Saturn.Bounded_stack concurrent [ ] 512 0 0 512 / 512 31.0s Saturn.Bounded_stack concurrent [✓] 512 0 0 512 / 512 31.0s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) random seed: 1349686647074124781 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_stack concurrent [ ] 5 0 0 5 / 32 0.1s Saturn.Bounded_stack concurrent [ ] 7 0 0 7 / 32 0.2s Saturn.Bounded_stack concurrent [ ] 8 0 0 8 / 32 0.7s Saturn.Bounded_stack concurrent [ ] 14 0 0 14 / 32 0.9s Saturn.Bounded_stack concurrent [ ] 17 0 0 17 / 32 1.0s Saturn.Bounded_stack concurrent [ ] 21 0 0 21 / 32 1.2s Saturn.Bounded_stack concurrent [ ] 25 0 0 25 / 32 1.4s Saturn.Bounded_stack concurrent [ ] 29 0 0 29 / 32 1.6s Saturn.Bounded_stack concurrent [✓] 32 0 0 32 / 32 1.6s Saturn.Bounded_stack concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe) random seed: 2541239183718442397 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack concurrent [ ] 6 0 0 6 / 32 0.2s Saturn.Treiber_stack concurrent [ ] 14 0 0 14 / 32 0.4s Saturn.Treiber_stack concurrent [ ] 20 0 0 20 / 32 0.5s Saturn.Treiber_stack concurrent [ ] 29 0 0 29 / 32 0.6s Saturn.Treiber_stack concurrent [✓] 32 0 0 32 / 32 0.6s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) random seed: 3271048984565653444 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Treiber_stack sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 64 0.0s Saturn.Treiber_stack concurrent [ ] 3 0 0 3 / 64 0.8s Saturn.Treiber_stack concurrent [ ] 4 0 0 4 / 64 0.9s Saturn.Treiber_stack concurrent [ ] 9 0 0 9 / 64 1.0s Saturn.Treiber_stack concurrent [ ] 15 0 0 15 / 64 1.2s Saturn.Treiber_stack concurrent [ ] 21 0 0 21 / 64 1.3s Saturn.Treiber_stack concurrent [ ] 26 0 0 26 / 64 1.6s Saturn.Treiber_stack concurrent [ ] 33 0 0 33 / 64 1.7s Saturn.Treiber_stack concurrent [ ] 42 0 0 42 / 64 1.8s Saturn.Treiber_stack concurrent [ ] 52 0 0 52 / 64 1.9s Saturn.Treiber_stack concurrent [ ] 57 0 0 57 / 64 2.1s Saturn.Treiber_stack concurrent [ ] 59 0 0 59 / 64 2.2s Saturn.Treiber_stack concurrent [ ] 60 0 0 60 / 64 2.4s Saturn.Treiber_stack concurrent [ ] 63 0 0 63 / 64 2.7s Saturn.Treiber_stack concurrent [✓] 64 0 0 64 / 64 2.7s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) random seed: 2757100275215560536 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Treiber_stack sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Treiber_stack concurrent [ ] 2 0 0 2 / 128 0.1s Saturn.Treiber_stack concurrent [ ] 13 0 0 13 / 128 0.2s Saturn.Treiber_stack concurrent [ ] 14 0 0 14 / 128 0.4s Saturn.Treiber_stack concurrent [ ] 28 0 0 28 / 128 0.7s Saturn.Treiber_stack concurrent [ ] 36 0 0 36 / 128 0.8s Saturn.Treiber_stack concurrent [ ] 44 0 0 44 / 128 1.0s Saturn.Treiber_stack concurrent [ ] 54 0 0 54 / 128 1.1s Saturn.Treiber_stack concurrent [ ] 59 0 0 59 / 128 1.2s Saturn.Treiber_stack concurrent [ ] 61 0 0 61 / 128 1.3s Saturn.Treiber_stack concurrent [ ] 66 0 0 66 / 128 1.4s Saturn.Treiber_stack concurrent [ ] 69 0 0 69 / 128 1.6s Saturn.Treiber_stack concurrent [ ] 71 0 0 71 / 128 1.7s Saturn.Treiber_stack concurrent [ ] 78 0 0 78 / 128 1.8s Saturn.Treiber_stack concurrent [ ] 87 0 0 87 / 128 1.9s Saturn.Treiber_stack concurrent [ ] 90 0 0 90 / 128 2.2s Saturn.Treiber_stack concurrent [ ] 93 0 0 93 / 128 2.4s Saturn.Treiber_stack concurrent [ ] 105 0 0 105 / 128 2.5s Saturn.Treiber_stack concurrent [ ] 113 0 0 113 / 128 2.7s Saturn.Treiber_stack concurrent [ ] 117 0 0 117 / 128 2.9s Saturn.Treiber_stack concurrent [ ] 118 0 0 118 / 128 4.3s Saturn.Treiber_stack concurrent [ ] 126 0 0 126 / 128 4.4s Saturn.Treiber_stack concurrent [✓] 128 0 0 128 / 128 4.4s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) random seed: 295312687163082977 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Treiber_stack sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Treiber_stack concurrent [ ] 10 0 0 10 / 256 0.1s Saturn.Treiber_stack concurrent [ ] 12 0 0 12 / 256 0.2s Saturn.Treiber_stack concurrent [ ] 21 0 0 21 / 256 0.3s Saturn.Treiber_stack concurrent [ ] 28 0 0 28 / 256 0.4s Saturn.Treiber_stack concurrent [ ] 29 0 0 29 / 256 0.6s Saturn.Treiber_stack concurrent [ ] 38 0 0 38 / 256 0.9s Saturn.Treiber_stack concurrent [ ] 39 0 0 39 / 256 1.1s Saturn.Treiber_stack concurrent [ ] 50 0 0 50 / 256 1.2s Saturn.Treiber_stack concurrent [ ] 64 0 0 64 / 256 1.5s Saturn.Treiber_stack concurrent [ ] 69 0 0 69 / 256 1.6s Saturn.Treiber_stack concurrent [ ] 78 0 0 78 / 256 1.9s Saturn.Treiber_stack concurrent [ ] 80 0 0 80 / 256 2.1s Saturn.Treiber_stack concurrent [ ] 92 0 0 92 / 256 2.2s Saturn.Treiber_stack concurrent [ ] 106 0 0 106 / 256 2.4s Saturn.Treiber_stack concurrent [ ] 123 0 0 123 / 256 2.6s Saturn.Treiber_stack concurrent [ ] 128 0 0 128 / 256 2.7s Saturn.Treiber_stack concurrent [ ] 143 0 0 143 / 256 2.8s Saturn.Treiber_stack concurrent [ ] 147 0 0 147 / 256 3.0s Saturn.Treiber_stack concurrent [ ] 152 0 0 152 / 256 3.5s Saturn.Treiber_stack concurrent [ ] 160 0 0 160 / 256 3.7s Saturn.Treiber_stack concurrent [ ] 166 0 0 166 / 256 3.8s Saturn.Treiber_stack concurrent [ ] 178 0 0 178 / 256 3.9s Saturn.Treiber_stack concurrent [ ] 182 0 0 182 / 256 4.0s Saturn.Treiber_stack concurrent [ ] 189 0 0 189 / 256 4.1s Saturn.Treiber_stack concurrent [ ] 196 0 0 196 / 256 4.4s Saturn.Treiber_stack concurrent [ ] 202 0 0 202 / 256 4.5s Saturn.Treiber_stack concurrent [ ] 206 0 0 206 / 256 4.7s Saturn.Treiber_stack concurrent [ ] 212 0 0 212 / 256 4.8s Saturn.Treiber_stack concurrent [ ] 216 0 0 216 / 256 5.0s Saturn.Treiber_stack concurrent [ ] 227 0 0 227 / 256 5.1s Saturn.Treiber_stack concurrent [ ] 231 0 0 231 / 256 5.2s Saturn.Treiber_stack concurrent [ ] 233 0 0 233 / 256 5.4s Saturn.Treiber_stack concurrent [ ] 234 0 0 234 / 256 5.6s Saturn.Treiber_stack concurrent [ ] 242 0 0 242 / 256 5.7s Saturn.Treiber_stack concurrent [ ] 253 0 0 253 / 256 5.8s Saturn.Treiber_stack concurrent [ ] 256 0 0 256 / 256 6.0s Saturn.Treiber_stack concurrent [✓] 256 0 0 256 / 256 6.0s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) random seed: 1634235591366213258 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Treiber_stack sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Treiber_stack concurrent [ ] 5 0 0 5 / 512 0.2s Saturn.Treiber_stack concurrent [ ] 20 0 0 20 / 512 0.3s Saturn.Treiber_stack concurrent [ ] 22 0 0 22 / 512 0.9s Saturn.Treiber_stack concurrent [ ] 24 0 0 24 / 512 1.3s Saturn.Treiber_stack concurrent [ ] 29 0 0 29 / 512 1.5s Saturn.Treiber_stack concurrent [ ] 32 0 0 32 / 512 1.7s Saturn.Treiber_stack concurrent [ ] 34 0 0 34 / 512 1.8s Saturn.Treiber_stack concurrent [ ] 41 0 0 41 / 512 2.0s Saturn.Treiber_stack concurrent [ ] 49 0 0 49 / 512 2.1s Saturn.Treiber_stack concurrent [ ] 61 0 0 61 / 512 2.3s Saturn.Treiber_stack concurrent [ ] 66 0 0 66 / 512 2.5s Saturn.Treiber_stack concurrent [ ] 70 0 0 70 / 512 2.6s Saturn.Treiber_stack concurrent [ ] 78 0 0 78 / 512 2.8s Saturn.Treiber_stack concurrent [ ] 80 0 0 80 / 512 2.9s Saturn.Treiber_stack concurrent [ ] 99 0 0 99 / 512 3.0s Saturn.Treiber_stack concurrent [ ] 103 0 0 103 / 512 3.2s Saturn.Treiber_stack concurrent [ ] 137 0 0 137 / 512 3.4s Saturn.Treiber_stack concurrent [ ] 142 0 0 142 / 512 3.8s Saturn.Treiber_stack concurrent [ ] 152 0 0 152 / 512 3.9s Saturn.Treiber_stack concurrent [ ] 164 0 0 164 / 512 4.1s Saturn.Treiber_stack concurrent [ ] 172 0 0 172 / 512 4.2s Saturn.Treiber_stack concurrent [ ] 173 0 0 173 / 512 5.3s Saturn.Treiber_stack concurrent [ ] 177 0 0 177 / 512 5.4s Saturn.Treiber_stack concurrent [ ] 181 0 0 181 / 512 5.5s Saturn.Treiber_stack concurrent [ ] 182 0 0 182 / 512 5.7s Saturn.Treiber_stack concurrent [ ] 187 0 0 187 / 512 5.8s Saturn.Treiber_stack concurrent [ ] 193 0 0 193 / 512 6.0s Saturn.Treiber_stack concurrent [ ] 197 0 0 197 / 512 6.2s Saturn.Treiber_stack concurrent [ ] 207 0 0 207 / 512 6.3s Saturn.Treiber_stack concurrent [ ] 213 0 0 213 / 512 6.4s Saturn.Treiber_stack concurrent [ ] 220 0 0 220 / 512 6.5s Saturn.Treiber_stack concurrent [ ] 221 0 0 221 / 512 6.6s Saturn.Treiber_stack concurrent [ ] 238 0 0 238 / 512 6.7s Saturn.Treiber_stack concurrent [ ] 245 0 0 245 / 512 6.8s Saturn.Treiber_stack concurrent [ ] 246 0 0 246 / 512 7.2s Saturn.Treiber_stack concurrent [ ] 256 0 0 256 / 512 7.4s Saturn.Treiber_stack concurrent [ ] 271 0 0 271 / 512 7.5s Saturn.Treiber_stack concurrent [ ] 283 0 0 283 / 512 7.6s Saturn.Treiber_stack concurrent [ ] 297 0 0 297 / 512 7.9s Saturn.Treiber_stack concurrent [ ] 303 0 0 303 / 512 8.6s Saturn.Treiber_stack concurrent [ ] 309 0 0 309 / 512 8.8s Saturn.Treiber_stack concurrent [ ] 317 0 0 317 / 512 8.9s Saturn.Treiber_stack concurrent [ ] 320 0 0 320 / 512 9.0s Saturn.Treiber_stack concurrent [ ] 324 0 0 324 / 512 9.1s Saturn.Treiber_stack concurrent [ ] 330 0 0 330 / 512 9.4s Saturn.Treiber_stack concurrent [ ] 338 0 0 338 / 512 9.5s Saturn.Treiber_stack concurrent [ ] 346 0 0 346 / 512 9.7s Saturn.Treiber_stack concurrent [ ] 355 0 0 355 / 512 10.0s Saturn.Treiber_stack concurrent [ ] 357 0 0 357 / 512 10.1s Saturn.Treiber_stack concurrent [ ] 363 0 0 363 / 512 10.2s Saturn.Treiber_stack concurrent [ ] 368 0 0 368 / 512 10.4s Saturn.Treiber_stack concurrent [ ] 378 0 0 378 / 512 10.6s Saturn.Treiber_stack concurrent [ ] 384 0 0 384 / 512 10.7s Saturn.Treiber_stack concurrent [ ] 390 0 0 390 / 512 10.9s Saturn.Treiber_stack concurrent [ ] 396 0 0 396 / 512 11.0s Saturn.Treiber_stack concurrent [ ] 410 0 0 410 / 512 11.1s Saturn.Treiber_stack concurrent [ ] 417 0 0 417 / 512 11.3s Saturn.Treiber_stack concurrent [ ] 426 0 0 426 / 512 11.5s Saturn.Treiber_stack concurrent [ ] 429 0 0 429 / 512 11.6s Saturn.Treiber_stack concurrent [ ] 442 0 0 442 / 512 11.7s Saturn.Treiber_stack concurrent [ ] 446 0 0 446 / 512 12.1s Saturn.Treiber_stack concurrent [ ] 450 0 0 450 / 512 12.2s Saturn.Treiber_stack concurrent [ ] 455 0 0 455 / 512 12.4s Saturn.Treiber_stack concurrent [ ] 458 0 0 458 / 512 12.8s Saturn.Treiber_stack concurrent [ ] 462 0 0 462 / 512 12.9s Saturn.Treiber_stack concurrent [ ] 468 0 0 468 / 512 13.1s Saturn.Treiber_stack concurrent [ ] 473 0 0 473 / 512 13.2s Saturn.Treiber_stack concurrent [ ] 475 0 0 475 / 512 13.7s Saturn.Treiber_stack concurrent [ ] 478 0 0 478 / 512 14.1s Saturn.Treiber_stack concurrent [ ] 485 0 0 485 / 512 14.2s Saturn.Treiber_stack concurrent [ ] 488 0 0 488 / 512 14.4s Saturn.Treiber_stack concurrent [ ] 500 0 0 500 / 512 14.5s Saturn.Treiber_stack concurrent [ ] 506 0 0 506 / 512 14.8s Saturn.Treiber_stack concurrent [ ] 507 0 0 507 / 512 15.1s Saturn.Treiber_stack concurrent [ ] 510 0 0 510 / 512 15.4s Saturn.Treiber_stack concurrent [✓] 512 0 0 512 / 512 15.5s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) random seed: 245461253417104667 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Treiber_stack sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Treiber_stack concurrent [ ] 1 0 0 1 / 32 1.0s Saturn.Treiber_stack concurrent [ ] 3 0 0 3 / 32 1.1s Saturn.Treiber_stack concurrent [ ] 9 0 0 9 / 32 1.3s Saturn.Treiber_stack concurrent [ ] 11 0 0 11 / 32 1.4s Saturn.Treiber_stack concurrent (collecting) [ ] 15 0 0 15 / 32 1.5s Saturn.Treiber_stack concurrent [ ] 19 0 0 19 / 32 1.7s Saturn.Treiber_stack concurrent [ ] 20 0 0 20 / 32 1.8s Saturn.Treiber_stack concurrent [ ] 21 0 0 21 / 32 2.0s Saturn.Treiber_stack concurrent [ ] 30 0 0 30 / 32 2.1s Saturn.Treiber_stack concurrent [✓] 32 0 0 32 / 32 2.1s Saturn.Treiber_stack concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe) qcheck random seed: 16997967 Testing `Michael_scott_queue'. This run has ID `0VL95YCA'. [OK] test_sequential_safe 0 push. [OK] test_sequential_safe 1 push_pop_opt_until_empty. [OK] test_sequential_safe 2 fifo. [OK] test_sequential_safe 3 fifo_peek_opt. [OK] one_cons_one_prod_safe 0 parallel_fifo. [OK] one_cons_one_prod_safe 1 parallel_peek. [OK] two_domains_safe 0 parallel_pop_opt_push. [OK] two_domains_safe 1 parallel_pop_opt_push_r... [OK] test_sequential_unsafe 0 push. [OK] test_sequential_unsafe 1 push_pop_opt_until_empty. [OK] test_sequential_unsafe 2 fifo. [OK] test_sequential_unsafe 3 fifo_peek_opt. [OK] one_cons_one_prod_unsafe 0 parallel_fifo. [OK] one_cons_one_prod_unsafe 1 parallel_peek. [OK] two_domains_unsafe 0 parallel_pop_opt_push. [OK] two_domains_unsafe 1 parallel_pop_opt_push_r... Full test results in `/src/_build/default/test/michael_scott_queue/_build/_tests/Michael_scott_queue'. Test Successful in 0.872s. 16 tests run. (cd _build/default/test/bounded_queue && ./stm_bounded_queue.exe) random seed: 2309941276291441213 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue concurrent [ ] 1 0 0 1 / 32 0.1s Saturn.Bounded_queue concurrent [ ] 8 0 0 8 / 32 0.2s Saturn.Bounded_queue concurrent [ ] 20 0 0 20 / 32 0.4s Saturn.Bounded_queue concurrent [ ] 27 0 0 27 / 32 0.6s Saturn.Bounded_queue concurrent [ ] 32 0 0 32 / 32 0.7s Saturn.Bounded_queue concurrent [✓] 32 0 0 32 / 32 0.7s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) random seed: 2707545457487806571 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_queue sequential [✓] 64 0 0 64 / 64 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 64 0.0s Saturn.Bounded_queue concurrent [ ] 2 0 0 2 / 64 0.2s Saturn.Bounded_queue concurrent [ ] 6 0 0 6 / 64 0.3s Saturn.Bounded_queue concurrent [ ] 16 0 0 16 / 64 0.5s Saturn.Bounded_queue concurrent [ ] 23 0 0 23 / 64 0.7s Saturn.Bounded_queue concurrent [ ] 25 0 0 25 / 64 0.9s Saturn.Bounded_queue concurrent [ ] 32 0 0 32 / 64 1.0s Saturn.Bounded_queue concurrent [ ] 42 0 0 42 / 64 1.1s Saturn.Bounded_queue concurrent [ ] 53 0 0 53 / 64 1.2s Saturn.Bounded_queue concurrent [ ] 62 0 0 62 / 64 1.4s Saturn.Bounded_queue concurrent [✓] 64 0 0 64 / 64 1.4s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) random seed: 3536304865475163807 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_queue sequential [✓] 128 0 0 128 / 128 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 128 0.0s Saturn.Bounded_queue concurrent [ ] 14 0 0 14 / 128 0.1s Saturn.Bounded_queue concurrent [ ] 23 0 0 23 / 128 0.2s Saturn.Bounded_queue concurrent [ ] 32 0 0 32 / 128 0.5s Saturn.Bounded_queue concurrent [ ] 39 0 0 39 / 128 0.7s Saturn.Bounded_queue concurrent [ ] 40 0 0 40 / 128 0.8s Saturn.Bounded_queue concurrent [ ] 72 0 0 72 / 128 0.9s Saturn.Bounded_queue concurrent [ ] 76 0 0 76 / 128 1.0s Saturn.Bounded_queue concurrent [ ] 92 0 0 92 / 128 1.2s Saturn.Bounded_queue concurrent [ ] 119 0 0 119 / 128 1.3s Saturn.Bounded_queue concurrent [✓] 128 0 0 128 / 128 1.3s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) random seed: 2662826943922106865 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.Bounded_queue sequential [✓] 256 0 0 256 / 256 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 256 0.0s Saturn.Bounded_queue concurrent [ ] 20 0 0 20 / 256 0.1s Saturn.Bounded_queue concurrent [ ] 25 0 0 25 / 256 0.2s Saturn.Bounded_queue concurrent [ ] 30 0 0 30 / 256 0.4s Saturn.Bounded_queue concurrent [ ] 33 0 0 33 / 256 0.5s Saturn.Bounded_queue concurrent [ ] 38 0 0 38 / 256 0.7s Saturn.Bounded_queue concurrent [ ] 46 0 0 46 / 256 0.8s Saturn.Bounded_queue concurrent [ ] 54 0 0 54 / 256 1.0s Saturn.Bounded_queue concurrent [ ] 59 0 0 59 / 256 1.1s Saturn.Bounded_queue concurrent [ ] 65 0 0 65 / 256 1.3s Saturn.Bounded_queue concurrent [ ] 66 0 0 66 / 256 1.5s Saturn.Bounded_queue concurrent [ ] 69 0 0 69 / 256 1.6s Saturn.Bounded_queue concurrent [ ] 76 0 0 76 / 256 1.8s Saturn.Bounded_queue concurrent [ ] 86 0 0 86 / 256 2.0s Saturn.Bounded_queue concurrent [ ] 89 0 0 89 / 256 2.2s Saturn.Bounded_queue concurrent [ ] 94 0 0 94 / 256 2.4s Saturn.Bounded_queue concurrent [ ] 104 0 0 104 / 256 2.5s Saturn.Bounded_queue concurrent [ ] 118 0 0 118 / 256 2.6s Saturn.Bounded_queue concurrent [ ] 123 0 0 123 / 256 2.9s Saturn.Bounded_queue concurrent [ ] 131 0 0 131 / 256 3.1s Saturn.Bounded_queue concurrent [ ] 136 0 0 136 / 256 3.2s Saturn.Bounded_queue concurrent [ ] 140 0 0 140 / 256 3.4s Saturn.Bounded_queue concurrent [ ] 155 0 0 155 / 256 3.5s Saturn.Bounded_queue concurrent [ ] 160 0 0 160 / 256 3.6s Saturn.Bounded_queue concurrent [ ] 177 0 0 177 / 256 3.8s Saturn.Bounded_queue concurrent [ ] 194 0 0 194 / 256 3.9s Saturn.Bounded_queue concurrent [ ] 212 0 0 212 / 256 4.1s Saturn.Bounded_queue concurrent [ ] 215 0 0 215 / 256 4.4s Saturn.Bounded_queue concurrent [ ] 220 0 0 220 / 256 4.7s Saturn.Bounded_queue concurrent [ ] 232 0 0 232 / 256 4.9s Saturn.Bounded_queue concurrent [ ] 233 0 0 233 / 256 5.1s Saturn.Bounded_queue concurrent [ ] 237 0 0 237 / 256 5.2s Saturn.Bounded_queue concurrent [ ] 243 0 0 243 / 256 5.3s Saturn.Bounded_queue concurrent [ ] 250 0 0 250 / 256 5.4s Saturn.Bounded_queue concurrent [ ] 253 0 0 253 / 256 5.6s Saturn.Bounded_queue concurrent [ ] 256 0 0 256 / 256 5.7s Saturn.Bounded_queue concurrent [✓] 256 0 0 256 / 256 5.7s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) random seed: 608141910905498737 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.Bounded_queue sequential [✓] 512 0 0 512 / 512 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 512 0.0s Saturn.Bounded_queue concurrent [ ] 5 0 0 5 / 512 0.1s Saturn.Bounded_queue concurrent [ ] 11 0 0 11 / 512 0.2s Saturn.Bounded_queue concurrent [ ] 15 0 0 15 / 512 0.4s Saturn.Bounded_queue concurrent [ ] 19 0 0 19 / 512 0.5s Saturn.Bounded_queue concurrent [ ] 24 0 0 24 / 512 0.6s Saturn.Bounded_queue concurrent [ ] 28 0 0 28 / 512 0.7s Saturn.Bounded_queue concurrent [ ] 36 0 0 36 / 512 0.8s Saturn.Bounded_queue concurrent [ ] 40 0 0 40 / 512 1.0s Saturn.Bounded_queue concurrent [ ] 43 0 0 43 / 512 1.1s Saturn.Bounded_queue concurrent [ ] 47 0 0 47 / 512 1.2s Saturn.Bounded_queue concurrent [ ] 49 0 0 49 / 512 1.5s Saturn.Bounded_queue concurrent [ ] 57 0 0 57 / 512 1.6s Saturn.Bounded_queue concurrent [ ] 62 0 0 62 / 512 1.7s Saturn.Bounded_queue concurrent [ ] 64 0 0 64 / 512 1.8s Saturn.Bounded_queue concurrent [ ] 72 0 0 72 / 512 2.0s Saturn.Bounded_queue concurrent [ ] 73 0 0 73 / 512 2.1s Saturn.Bounded_queue concurrent [ ] 79 0 0 79 / 512 2.3s Saturn.Bounded_queue concurrent [ ] 84 0 0 84 / 512 2.4s Saturn.Bounded_queue concurrent [ ] 88 0 0 88 / 512 2.6s Saturn.Bounded_queue concurrent [ ] 94 0 0 94 / 512 2.7s Saturn.Bounded_queue concurrent [ ] 98 0 0 98 / 512 2.8s Saturn.Bounded_queue concurrent [ ] 102 0 0 102 / 512 2.9s Saturn.Bounded_queue concurrent [ ] 106 0 0 106 / 512 3.0s Saturn.Bounded_queue concurrent [ ] 109 0 0 109 / 512 3.2s Saturn.Bounded_queue concurrent [ ] 116 0 0 116 / 512 3.3s Saturn.Bounded_queue concurrent [ ] 121 0 0 121 / 512 3.5s Saturn.Bounded_queue concurrent [ ] 123 0 0 123 / 512 3.7s Saturn.Bounded_queue concurrent [ ] 129 0 0 129 / 512 3.8s Saturn.Bounded_queue concurrent [ ] 132 0 0 132 / 512 3.9s Saturn.Bounded_queue concurrent [ ] 137 0 0 137 / 512 4.0s Saturn.Bounded_queue concurrent [ ] 138 0 0 138 / 512 4.1s Saturn.Bounded_queue concurrent [ ] 147 0 0 147 / 512 4.2s Saturn.Bounded_queue concurrent [ ] 149 0 0 149 / 512 4.4s Saturn.Bounded_queue concurrent [ ] 154 0 0 154 / 512 4.5s Saturn.Bounded_queue concurrent [ ] 160 0 0 160 / 512 4.6s Saturn.Bounded_queue concurrent [ ] 167 0 0 167 / 512 4.8s Saturn.Bounded_queue concurrent [ ] 172 0 0 172 / 512 4.9s Saturn.Bounded_queue concurrent [ ] 174 0 0 174 / 512 5.1s Saturn.Bounded_queue concurrent [ ] 185 0 0 185 / 512 5.2s Saturn.Bounded_queue concurrent [ ] 191 0 0 191 / 512 5.4s Saturn.Bounded_queue concurrent [ ] 197 0 0 197 / 512 5.6s Saturn.Bounded_queue concurrent [ ] 198 0 0 198 / 512 5.7s Saturn.Bounded_queue concurrent [ ] 199 0 0 199 / 512 6.0s Saturn.Bounded_queue concurrent [ ] 204 0 0 204 / 512 6.2s Saturn.Bounded_queue concurrent [ ] 207 0 0 207 / 512 6.3s Saturn.Bounded_queue concurrent [ ] 218 0 0 218 / 512 6.5s Saturn.Bounded_queue concurrent [ ] 227 0 0 227 / 512 6.6s Saturn.Bounded_queue concurrent [ ] 230 0 0 230 / 512 6.7s Saturn.Bounded_queue concurrent [ ] 235 0 0 235 / 512 7.0s Saturn.Bounded_queue concurrent [ ] 246 0 0 246 / 512 7.1s Saturn.Bounded_queue concurrent [ ] 258 0 0 258 / 512 7.2s Saturn.Bounded_queue concurrent [ ] 263 0 0 263 / 512 7.3s Saturn.Bounded_queue concurrent [ ] 270 0 0 270 / 512 7.5s Saturn.Bounded_queue concurrent [ ] 281 0 0 281 / 512 7.7s Saturn.Bounded_queue concurrent [ ] 298 0 0 298 / 512 7.9s Saturn.Bounded_queue concurrent [ ] 301 0 0 301 / 512 8.0s Saturn.Bounded_queue concurrent [ ] 310 0 0 310 / 512 8.1s Saturn.Bounded_queue concurrent [ ] 322 0 0 322 / 512 8.2s Saturn.Bounded_queue concurrent [ ] 335 0 0 335 / 512 8.3s Saturn.Bounded_queue concurrent [ ] 341 0 0 341 / 512 8.4s Saturn.Bounded_queue concurrent [ ] 343 0 0 343 / 512 8.5s Saturn.Bounded_queue concurrent [ ] 348 0 0 348 / 512 8.6s Saturn.Bounded_queue concurrent [ ] 351 0 0 351 / 512 8.8s Saturn.Bounded_queue concurrent [ ] 360 0 0 360 / 512 8.9s Saturn.Bounded_queue concurrent [ ] 364 0 0 364 / 512 9.1s Saturn.Bounded_queue concurrent [ ] 370 0 0 370 / 512 9.3s Saturn.Bounded_queue concurrent [ ] 382 0 0 382 / 512 9.4s Saturn.Bounded_queue concurrent [ ] 389 0 0 389 / 512 9.7s Saturn.Bounded_queue concurrent [ ] 394 0 0 394 / 512 9.8s Saturn.Bounded_queue concurrent [ ] 401 0 0 401 / 512 9.9s Saturn.Bounded_queue concurrent [ ] 408 0 0 408 / 512 10.0s Saturn.Bounded_queue concurrent [ ] 414 0 0 414 / 512 10.2s Saturn.Bounded_queue concurrent [ ] 424 0 0 424 / 512 10.3s Saturn.Bounded_queue concurrent [ ] 443 0 0 443 / 512 10.7s Saturn.Bounded_queue concurrent [ ] 454 0 0 454 / 512 10.8s Saturn.Bounded_queue concurrent [ ] 464 0 0 464 / 512 11.0s Saturn.Bounded_queue concurrent [ ] 471 0 0 471 / 512 11.1s Saturn.Bounded_queue concurrent [ ] 487 0 0 487 / 512 11.3s Saturn.Bounded_queue concurrent [ ] 500 0 0 500 / 512 11.5s Saturn.Bounded_queue concurrent [ ] 510 0 0 510 / 512 11.7s Saturn.Bounded_queue concurrent [✓] 512 0 0 512 / 512 11.7s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) random seed: 630710397652724712 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue sequential [✓] 32 0 0 32 / 32 0.0s Saturn.Bounded_queue sequential [ ] 0 0 0 0 / 32 0.0s Saturn.Bounded_queue concurrent [ ] 5 0 0 5 / 32 0.2s Saturn.Bounded_queue concurrent [ ] 19 0 0 19 / 32 0.3s Saturn.Bounded_queue concurrent [ ] 21 0 0 21 / 32 0.4s Saturn.Bounded_queue concurrent [ ] 25 0 0 25 / 32 0.6s Saturn.Bounded_queue concurrent [✓] 32 0 0 32 / 32 0.7s Saturn.Bounded_queue concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/htbl && ./stm_htbl.exe) random seed: 2541312036618212118 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Htbl sequential [✓] 32 0 0 32 / 32 0.0s Htbl sequential [ ] 0 0 0 0 / 32 0.0s Htbl concurrent [ ] 14 0 0 14 / 32 0.1s Htbl concurrent [✓] 32 0 0 32 / 32 0.2s Htbl concurrent ================================================================================ success (ran 2 tests) random seed: 609687370429973224 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Htbl sequential [✓] 64 0 0 64 / 64 0.0s Htbl sequential [ ] 0 0 0 0 / 64 0.0s Htbl concurrent [ ] 7 0 0 7 / 64 0.2s Htbl concurrent [ ] 14 0 0 14 / 64 0.3s Htbl concurrent [ ] 22 0 0 22 / 64 0.5s Htbl concurrent [ ] 25 0 0 25 / 64 0.6s Htbl concurrent [ ] 33 0 0 33 / 64 0.7s Htbl concurrent [ ] 39 0 0 39 / 64 0.9s Htbl concurrent [ ] 44 0 0 44 / 64 1.2s Htbl concurrent [ ] 52 0 0 52 / 64 1.5s Htbl concurrent [ ] 55 0 0 55 / 64 1.6s Htbl concurrent [ ] 57 0 0 57 / 64 1.7s Htbl concurrent [ ] 62 0 0 62 / 64 1.8s Htbl concurrent [ ] 64 0 0 64 / 64 2.0s Htbl concurrent [✓] 64 0 0 64 / 64 2.0s Htbl concurrent ================================================================================ success (ran 2 tests) random seed: 2960866068140007154 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Htbl sequential [✓] 128 0 0 128 / 128 0.0s Htbl sequential [ ] 0 0 0 0 / 128 0.0s Htbl concurrent [ ] 10 0 0 10 / 128 0.3s Htbl concurrent [ ] 11 0 0 11 / 128 0.4s Htbl concurrent [ ] 21 0 0 21 / 128 0.7s Htbl concurrent [ ] 27 0 0 27 / 128 0.8s Htbl concurrent [ ] 32 0 0 32 / 128 0.9s Htbl concurrent [ ] 35 0 0 35 / 128 1.1s Htbl concurrent [ ] 37 0 0 37 / 128 1.2s Htbl concurrent [ ] 39 0 0 39 / 128 1.4s Htbl concurrent [ ] 43 0 0 43 / 128 1.5s Htbl concurrent [ ] 44 0 0 44 / 128 1.6s Htbl concurrent [ ] 51 0 0 51 / 128 1.8s Htbl concurrent [ ] 72 0 0 72 / 128 1.9s Htbl concurrent [ ] 75 0 0 75 / 128 2.0s Htbl concurrent [ ] 79 0 0 79 / 128 2.1s Htbl concurrent [ ] 81 0 0 81 / 128 2.3s Htbl concurrent [ ] 87 0 0 87 / 128 2.4s Htbl concurrent [ ] 90 0 0 90 / 128 2.5s Htbl concurrent [ ] 93 0 0 93 / 128 2.8s Htbl concurrent [ ] 103 0 0 103 / 128 2.9s Htbl concurrent [ ] 108 0 0 108 / 128 3.0s Htbl concurrent [ ] 116 0 0 116 / 128 3.2s Htbl concurrent [ ] 119 0 0 119 / 128 3.3s Htbl concurrent [ ] 121 0 0 121 / 128 3.5s Htbl concurrent [ ] 124 0 0 124 / 128 3.6s Htbl concurrent [✓] 128 0 0 128 / 128 3.7s Htbl concurrent ================================================================================ success (ran 2 tests) random seed: 2271264401291212275 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Htbl sequential [✓] 256 0 0 256 / 256 0.0s Htbl sequential [ ] 0 0 0 0 / 256 0.0s Htbl concurrent [ ] 4 0 0 4 / 256 0.1s Htbl concurrent [ ] 7 0 0 7 / 256 0.2s Htbl concurrent [ ] 11 0 0 11 / 256 0.3s Htbl concurrent [ ] 16 0 0 16 / 256 0.7s Htbl concurrent [ ] 21 0 0 21 / 256 0.8s Htbl concurrent [ ] 22 0 0 22 / 256 0.9s Htbl concurrent [ ] 28 0 0 28 / 256 1.1s Htbl concurrent [ ] 34 0 0 34 / 256 1.2s Htbl concurrent [ ] 40 0 0 40 / 256 1.3s Htbl concurrent [ ] 42 0 0 42 / 256 1.6s Htbl concurrent [ ] 45 0 0 45 / 256 1.8s Htbl concurrent [ ] 53 0 0 53 / 256 1.9s Htbl concurrent [ ] 58 0 0 58 / 256 2.0s Htbl concurrent [ ] 61 0 0 61 / 256 2.2s Htbl concurrent [ ] 62 0 0 62 / 256 2.3s Htbl concurrent [ ] 66 0 0 66 / 256 2.4s Htbl concurrent [ ] 76 0 0 76 / 256 2.5s Htbl concurrent [ ] 77 0 0 77 / 256 2.7s Htbl concurrent [ ] 81 0 0 81 / 256 3.0s Htbl concurrent [ ] 88 0 0 88 / 256 3.1s Htbl concurrent [ ] 91 0 0 91 / 256 3.2s Htbl concurrent [ ] 102 0 0 102 / 256 3.3s Htbl concurrent [ ] 107 0 0 107 / 256 3.5s Htbl concurrent [ ] 115 0 0 115 / 256 3.7s Htbl concurrent [ ] 117 0 0 117 / 256 3.8s Htbl concurrent [ ] 119 0 0 119 / 256 3.9s Htbl concurrent [ ] 131 0 0 131 / 256 4.1s Htbl concurrent [ ] 143 0 0 143 / 256 4.5s Htbl concurrent [ ] 152 0 0 152 / 256 4.6s Htbl concurrent [ ] 155 0 0 155 / 256 4.8s Htbl concurrent [ ] 163 0 0 163 / 256 4.9s Htbl concurrent [ ] 173 0 0 173 / 256 5.3s Htbl concurrent [ ] 174 0 0 174 / 256 5.6s Htbl concurrent [ ] 176 0 0 176 / 256 5.8s Htbl concurrent [ ] 179 0 0 179 / 256 5.9s Htbl concurrent [ ] 183 0 0 183 / 256 6.0s Htbl concurrent [ ] 188 0 0 188 / 256 6.2s Htbl concurrent [ ] 198 0 0 198 / 256 6.5s Htbl concurrent [ ] 200 0 0 200 / 256 6.7s Htbl concurrent [ ] 215 0 0 215 / 256 6.8s Htbl concurrent [ ] 218 0 0 218 / 256 6.9s Htbl concurrent [ ] 225 0 0 225 / 256 7.1s Htbl concurrent [ ] 232 0 0 232 / 256 7.2s Htbl concurrent [ ] 235 0 0 235 / 256 7.4s Htbl concurrent [ ] 241 0 0 241 / 256 7.6s Htbl concurrent [ ] 244 0 0 244 / 256 7.7s Htbl concurrent [ ] 247 0 0 247 / 256 7.9s Htbl concurrent [ ] 251 0 0 251 / 256 8.0s Htbl concurrent [✓] 256 0 0 256 / 256 8.1s Htbl concurrent ================================================================================ success (ran 2 tests) random seed: 3999740517019440152 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Htbl sequential [✓] 512 0 0 512 / 512 0.0s Htbl sequential [ ] 0 0 0 0 / 512 0.0s Htbl concurrent [ ] 1 0 0 1 / 512 0.2s Htbl concurrent [ ] 15 0 0 15 / 512 0.4s Htbl concurrent [ ] 20 0 0 20 / 512 0.6s Htbl concurrent [ ] 24 0 0 24 / 512 0.9s Htbl concurrent [ ] 38 0 0 38 / 512 1.0s Htbl concurrent [ ] 48 0 0 48 / 512 1.2s Htbl concurrent [ ] 56 0 0 56 / 512 1.5s Htbl concurrent [ ] 70 0 0 70 / 512 1.6s Htbl concurrent [ ] 74 0 0 74 / 512 1.7s Htbl concurrent [ ] 78 0 0 78 / 512 1.9s Htbl concurrent [ ] 86 0 0 86 / 512 2.0s Htbl concurrent [ ] 89 0 0 89 / 512 2.2s Htbl concurrent [ ] 101 0 0 101 / 512 2.3s Htbl concurrent [ ] 107 0 0 107 / 512 2.5s Htbl concurrent [ ] 113 0 0 113 / 512 2.6s Htbl concurrent [ ] 117 0 0 117 / 512 2.7s Htbl concurrent [ ] 123 0 0 123 / 512 2.8s Htbl concurrent [ ] 133 0 0 133 / 512 3.0s Htbl concurrent [ ] 140 0 0 140 / 512 3.3s Htbl concurrent [ ] 148 0 0 148 / 512 3.4s Htbl concurrent [ ] 161 0 0 161 / 512 3.6s Htbl concurrent [ ] 165 0 0 165 / 512 3.8s Htbl concurrent [ ] 179 0 0 179 / 512 3.9s Htbl concurrent [ ] 184 0 0 184 / 512 4.0s Htbl concurrent [ ] 197 0 0 197 / 512 4.2s Htbl concurrent [ ] 201 0 0 201 / 512 4.4s Htbl concurrent [ ] 202 0 0 202 / 512 4.6s Htbl concurrent [ ] 231 0 0 231 / 512 4.7s Htbl concurrent [ ] 236 0 0 236 / 512 4.8s Htbl concurrent [ ] 244 0 0 244 / 512 4.9s Htbl concurrent [ ] 255 0 0 255 / 512 5.1s Htbl concurrent [ ] 284 0 0 284 / 512 5.2s Htbl concurrent [ ] 289 0 0 289 / 512 5.3s Htbl concurrent [ ] 308 0 0 308 / 512 5.4s Htbl concurrent [ ] 309 0 0 309 / 512 5.6s Htbl concurrent [ ] 331 0 0 331 / 512 5.7s Htbl concurrent [ ] 338 0 0 338 / 512 5.8s Htbl concurrent [ ] 354 0 0 354 / 512 6.0s Htbl concurrent [ ] 365 0 0 365 / 512 6.3s Htbl concurrent [ ] 372 0 0 372 / 512 6.4s Htbl concurrent [ ] 391 0 0 391 / 512 6.7s Htbl concurrent [ ] 401 0 0 401 / 512 6.9s Htbl concurrent [ ] 407 0 0 407 / 512 7.0s Htbl concurrent [ ] 413 0 0 413 / 512 7.2s Htbl concurrent [ ] 429 0 0 429 / 512 7.4s Htbl concurrent [ ] 446 0 0 446 / 512 7.5s Htbl concurrent [ ] 451 0 0 451 / 512 7.7s Htbl concurrent [ ] 452 0 0 452 / 512 7.9s Htbl concurrent [ ] 455 0 0 455 / 512 8.2s Htbl concurrent [ ] 463 0 0 463 / 512 8.3s Htbl concurrent [ ] 477 0 0 477 / 512 8.5s Htbl concurrent [ ] 480 0 0 480 / 512 8.7s Htbl concurrent [ ] 489 0 0 489 / 512 8.9s Htbl concurrent [ ] 498 0 0 498 / 512 9.0s Htbl concurrent [ ] 507 0 0 507 / 512 9.1s Htbl concurrent [✓] 512 0 0 512 / 512 9.2s Htbl concurrent ================================================================================ success (ran 2 tests) random seed: 1357276218999730798 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Htbl sequential [✓] 32 0 0 32 / 32 0.0s Htbl sequential [ ] 0 0 0 0 / 32 0.0s Htbl concurrent [ ] 3 0 0 3 / 32 0.1s Htbl concurrent [ ] 6 0 0 6 / 32 0.2s Htbl concurrent [ ] 15 0 0 15 / 32 0.4s Htbl concurrent [✓] 32 0 0 32 / 32 0.4s Htbl concurrent ================================================================================ success (ran 2 tests) (cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe) random seed: 929107358062891346 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 3 0 0 3 / 32 0.2s Saturn.michael_scott_queue_safe concurrent [ ] 8 0 0 8 / 32 0.3s Saturn.michael_scott_queue_safe concurrent [ ] 10 0 0 10 / 32 0.5s Saturn.michael_scott_queue_safe concurrent [ ] 16 0 0 16 / 32 0.6s Saturn.michael_scott_queue_safe concurrent [ ] 26 0 0 26 / 32 1.0s Saturn.michael_scott_queue_safe concurrent [✓] 32 0 0 32 / 32 1.0s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 3223561531833160575 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_safe sequential [✓] 64 0 0 64 / 64 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 2 0 0 2 / 64 0.1s Saturn.michael_scott_queue_safe concurrent [ ] 17 0 0 17 / 64 0.3s Saturn.michael_scott_queue_safe concurrent [ ] 18 0 0 18 / 64 0.4s Saturn.michael_scott_queue_safe concurrent [ ] 39 0 0 39 / 64 0.5s Saturn.michael_scott_queue_safe concurrent [ ] 56 0 0 56 / 64 0.7s Saturn.michael_scott_queue_safe concurrent [ ] 63 0 0 63 / 64 1.0s Saturn.michael_scott_queue_safe concurrent [✓] 64 0 0 64 / 64 1.0s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 2205641147500214268 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_safe sequential [✓] 128 0 0 128 / 128 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 15 0 0 15 / 128 0.2s Saturn.michael_scott_queue_safe concurrent [ ] 19 0 0 19 / 128 0.3s Saturn.michael_scott_queue_safe concurrent [ ] 20 0 0 20 / 128 0.4s Saturn.michael_scott_queue_safe concurrent [ ] 23 0 0 23 / 128 0.5s Saturn.michael_scott_queue_safe concurrent [ ] 24 0 0 24 / 128 0.7s Saturn.michael_scott_queue_safe concurrent [ ] 31 0 0 31 / 128 0.8s Saturn.michael_scott_queue_safe concurrent [ ] 35 0 0 35 / 128 1.1s Saturn.michael_scott_queue_safe concurrent [ ] 52 0 0 52 / 128 1.3s Saturn.michael_scott_queue_safe concurrent [ ] 61 0 0 61 / 128 1.5s Saturn.michael_scott_queue_safe concurrent [ ] 69 0 0 69 / 128 1.7s Saturn.michael_scott_queue_safe concurrent [ ] 75 0 0 75 / 128 2.0s Saturn.michael_scott_queue_safe concurrent [ ] 80 0 0 80 / 128 2.1s Saturn.michael_scott_queue_safe concurrent [ ] 87 0 0 87 / 128 2.2s Saturn.michael_scott_queue_safe concurrent [ ] 96 0 0 96 / 128 2.3s Saturn.michael_scott_queue_safe concurrent [ ] 105 0 0 105 / 128 2.5s Saturn.michael_scott_queue_safe concurrent [ ] 111 0 0 111 / 128 2.7s Saturn.michael_scott_queue_safe concurrent [ ] 116 0 0 116 / 128 2.8s Saturn.michael_scott_queue_safe concurrent [ ] 119 0 0 119 / 128 3.0s Saturn.michael_scott_queue_safe concurrent [✓] 128 0 0 128 / 128 3.1s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 3063431212925553803 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_safe sequential [✓] 256 0 0 256 / 256 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 3 0 0 3 / 256 0.1s Saturn.michael_scott_queue_safe concurrent [ ] 6 0 0 6 / 256 0.3s Saturn.michael_scott_queue_safe concurrent [ ] 8 0 0 8 / 256 0.5s Saturn.michael_scott_queue_safe concurrent [ ] 17 0 0 17 / 256 0.6s Saturn.michael_scott_queue_safe concurrent [ ] 28 0 0 28 / 256 0.7s Saturn.michael_scott_queue_safe concurrent [ ] 35 0 0 35 / 256 0.8s Saturn.michael_scott_queue_safe concurrent [ ] 49 0 0 49 / 256 1.0s Saturn.michael_scott_queue_safe concurrent [ ] 54 0 0 54 / 256 1.3s Saturn.michael_scott_queue_safe concurrent [ ] 57 0 0 57 / 256 1.4s Saturn.michael_scott_queue_safe concurrent [ ] 63 0 0 63 / 256 1.5s Saturn.michael_scott_queue_safe concurrent [ ] 66 0 0 66 / 256 1.7s Saturn.michael_scott_queue_safe concurrent [ ] 86 0 0 86 / 256 1.8s Saturn.michael_scott_queue_safe concurrent [ ] 94 0 0 94 / 256 1.9s Saturn.michael_scott_queue_safe concurrent [ ] 111 0 0 111 / 256 2.1s Saturn.michael_scott_queue_safe concurrent [ ] 119 0 0 119 / 256 2.2s Saturn.michael_scott_queue_safe concurrent [ ] 132 0 0 132 / 256 2.3s Saturn.michael_scott_queue_safe concurrent [ ] 141 0 0 141 / 256 2.4s Saturn.michael_scott_queue_safe concurrent [ ] 148 0 0 148 / 256 2.5s Saturn.michael_scott_queue_safe concurrent [ ] 163 0 0 163 / 256 2.6s Saturn.michael_scott_queue_safe concurrent [ ] 164 0 0 164 / 256 2.8s Saturn.michael_scott_queue_safe concurrent [ ] 170 0 0 170 / 256 2.9s Saturn.michael_scott_queue_safe concurrent [ ] 174 0 0 174 / 256 3.1s Saturn.michael_scott_queue_safe concurrent [ ] 183 0 0 183 / 256 3.2s Saturn.michael_scott_queue_safe concurrent [ ] 188 0 0 188 / 256 3.3s Saturn.michael_scott_queue_safe concurrent [ ] 195 0 0 195 / 256 3.4s Saturn.michael_scott_queue_safe concurrent [ ] 206 0 0 206 / 256 3.7s Saturn.michael_scott_queue_safe concurrent [ ] 213 0 0 213 / 256 3.9s Saturn.michael_scott_queue_safe concurrent [ ] 221 0 0 221 / 256 4.0s Saturn.michael_scott_queue_safe concurrent [ ] 247 0 0 247 / 256 4.1s Saturn.michael_scott_queue_safe concurrent [ ] 253 0 0 253 / 256 4.3s Saturn.michael_scott_queue_safe concurrent [✓] 256 0 0 256 / 256 4.3s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 3821575493183795992 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_safe sequential [✓] 512 0 0 512 / 512 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 6 0 0 6 / 512 0.1s Saturn.michael_scott_queue_safe concurrent [ ] 11 0 0 11 / 512 0.2s Saturn.michael_scott_queue_safe concurrent [ ] 22 0 0 22 / 512 0.4s Saturn.michael_scott_queue_safe concurrent [ ] 36 0 0 36 / 512 0.5s Saturn.michael_scott_queue_safe concurrent [ ] 45 0 0 45 / 512 0.7s Saturn.michael_scott_queue_safe concurrent [ ] 69 0 0 69 / 512 0.9s Saturn.michael_scott_queue_safe concurrent [ ] 72 0 0 72 / 512 1.2s Saturn.michael_scott_queue_safe concurrent [ ] 80 0 0 80 / 512 1.3s Saturn.michael_scott_queue_safe concurrent [ ] 81 0 0 81 / 512 1.5s Saturn.michael_scott_queue_safe concurrent [ ] 92 0 0 92 / 512 1.6s Saturn.michael_scott_queue_safe concurrent [ ] 94 0 0 94 / 512 1.7s Saturn.michael_scott_queue_safe concurrent [ ] 95 0 0 95 / 512 2.0s Saturn.michael_scott_queue_safe concurrent [ ] 110 0 0 110 / 512 2.1s Saturn.michael_scott_queue_safe concurrent [ ] 136 0 0 136 / 512 2.2s Saturn.michael_scott_queue_safe concurrent [ ] 138 0 0 138 / 512 2.4s Saturn.michael_scott_queue_safe concurrent [ ] 145 0 0 145 / 512 2.5s Saturn.michael_scott_queue_safe concurrent [ ] 146 0 0 146 / 512 2.7s Saturn.michael_scott_queue_safe concurrent [ ] 158 0 0 158 / 512 2.9s Saturn.michael_scott_queue_safe concurrent [ ] 173 0 0 173 / 512 3.1s Saturn.michael_scott_queue_safe concurrent [ ] 180 0 0 180 / 512 3.3s Saturn.michael_scott_queue_safe concurrent [ ] 188 0 0 188 / 512 3.4s Saturn.michael_scott_queue_safe concurrent [ ] 192 0 0 192 / 512 3.7s Saturn.michael_scott_queue_safe concurrent [ ] 197 0 0 197 / 512 3.8s Saturn.michael_scott_queue_safe concurrent [ ] 206 0 0 206 / 512 3.9s Saturn.michael_scott_queue_safe concurrent [ ] 223 0 0 223 / 512 4.1s Saturn.michael_scott_queue_safe concurrent [ ] 228 0 0 228 / 512 4.2s Saturn.michael_scott_queue_safe concurrent [ ] 234 0 0 234 / 512 4.3s Saturn.michael_scott_queue_safe concurrent [ ] 243 0 0 243 / 512 4.5s Saturn.michael_scott_queue_safe concurrent [ ] 255 0 0 255 / 512 4.6s Saturn.michael_scott_queue_safe concurrent [ ] 263 0 0 263 / 512 4.7s Saturn.michael_scott_queue_safe concurrent [ ] 277 0 0 277 / 512 4.8s Saturn.michael_scott_queue_safe concurrent [ ] 286 0 0 286 / 512 4.9s Saturn.michael_scott_queue_safe concurrent [ ] 299 0 0 299 / 512 5.1s Saturn.michael_scott_queue_safe concurrent [ ] 305 0 0 305 / 512 5.2s Saturn.michael_scott_queue_safe concurrent [ ] 322 0 0 322 / 512 5.3s Saturn.michael_scott_queue_safe concurrent [ ] 329 0 0 329 / 512 5.5s Saturn.michael_scott_queue_safe concurrent [ ] 334 0 0 334 / 512 5.6s Saturn.michael_scott_queue_safe concurrent [ ] 364 0 0 364 / 512 5.9s Saturn.michael_scott_queue_safe concurrent [ ] 365 0 0 365 / 512 6.0s Saturn.michael_scott_queue_safe concurrent [ ] 369 0 0 369 / 512 6.1s Saturn.michael_scott_queue_safe concurrent [ ] 376 0 0 376 / 512 6.3s Saturn.michael_scott_queue_safe concurrent [ ] 395 0 0 395 / 512 6.4s Saturn.michael_scott_queue_safe concurrent [ ] 406 0 0 406 / 512 6.7s Saturn.michael_scott_queue_safe concurrent [ ] 413 0 0 413 / 512 6.8s Saturn.michael_scott_queue_safe concurrent [ ] 437 0 0 437 / 512 7.1s Saturn.michael_scott_queue_safe concurrent [ ] 438 0 0 438 / 512 7.2s Saturn.michael_scott_queue_safe concurrent [ ] 445 0 0 445 / 512 7.4s Saturn.michael_scott_queue_safe concurrent [ ] 453 0 0 453 / 512 7.6s Saturn.michael_scott_queue_safe concurrent [ ] 463 0 0 463 / 512 7.7s Saturn.michael_scott_queue_safe concurrent [ ] 477 0 0 477 / 512 7.9s Saturn.michael_scott_queue_safe concurrent [ ] 496 0 0 496 / 512 8.0s Saturn.michael_scott_queue_safe concurrent [ ] 497 0 0 497 / 512 8.2s Saturn.michael_scott_queue_safe concurrent [✓] 512 0 0 512 / 512 8.2s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 3151804114228969668 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_safe sequential [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_safe concurrent [ ] 6 0 0 6 / 32 0.1s Saturn.michael_scott_queue_safe concurrent [ ] 15 0 0 15 / 32 0.2s Saturn.michael_scott_queue_safe concurrent [ ] 19 0 0 19 / 32 0.4s Saturn.michael_scott_queue_safe concurrent [✓] 32 0 0 32 / 32 0.4s Saturn.michael_scott_queue_safe concurrent ================================================================================ success (ran 2 tests) random seed: 3551411374358561687 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 8 0 0 8 / 32 0.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 11 0 0 11 / 32 0.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 18 0 0 18 / 32 0.4s Saturn.michael_scott_queue_unsafe concurrent [✓] 32 0 0 32 / 32 0.4s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) random seed: 4575242935454262234 generated error fail pass / total time test name [ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 64 0 0 64 / 64 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 64 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 7 0 0 7 / 64 0.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 11 0 0 11 / 64 0.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 20 0 0 20 / 64 0.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 30 0 0 30 / 64 0.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 31 0 0 31 / 64 0.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 45 0 0 45 / 64 0.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 58 0 0 58 / 64 1.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 60 0 0 60 / 64 1.2s Saturn.michael_scott_queue_unsafe concurrent [✓] 64 0 0 64 / 64 1.2s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) random seed: 1093217577618460376 generated error fail pass / total time test name [ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 128 0 0 128 / 128 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 128 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 2 0 0 2 / 128 0.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 9 0 0 9 / 128 0.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 11 0 0 11 / 128 0.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 12 0 0 12 / 128 0.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 29 0 0 29 / 128 0.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 36 0 0 36 / 128 1.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 42 0 0 42 / 128 1.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 58 0 0 58 / 128 1.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 59 0 0 59 / 128 1.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 75 0 0 75 / 128 1.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 90 0 0 90 / 128 1.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 100 0 0 100 / 128 1.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 106 0 0 106 / 128 1.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 110 0 0 110 / 128 1.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 123 0 0 123 / 128 2.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 126 0 0 126 / 128 2.3s Saturn.michael_scott_queue_unsafe concurrent [✓] 128 0 0 128 / 128 2.3s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) random seed: 3725075468831919963 generated error fail pass / total time test name [ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 256 0 0 256 / 256 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 256 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 12 0 0 12 / 256 0.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 21 0 0 21 / 256 0.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 22 0 0 22 / 256 0.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 34 0 0 34 / 256 0.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 55 0 0 55 / 256 0.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 61 0 0 61 / 256 0.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 79 0 0 79 / 256 1.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 92 0 0 92 / 256 1.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 112 0 0 112 / 256 1.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 123 0 0 123 / 256 1.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 144 0 0 144 / 256 1.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 148 0 0 148 / 256 1.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 150 0 0 150 / 256 2.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 166 0 0 166 / 256 2.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 178 0 0 178 / 256 2.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 187 0 0 187 / 256 2.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 197 0 0 197 / 256 2.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 203 0 0 203 / 256 2.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 206 0 0 206 / 256 2.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 208 0 0 208 / 256 3.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 219 0 0 219 / 256 3.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 240 0 0 240 / 256 3.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 246 0 0 246 / 256 3.5s Saturn.michael_scott_queue_unsafe concurrent [✓] 256 0 0 256 / 256 3.5s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) random seed: 3796141398030314915 generated error fail pass / total time test name [ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 512 0 0 512 / 512 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 512 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 6 0 0 6 / 512 0.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 12 0 0 12 / 512 0.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 17 0 0 17 / 512 0.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 26 0 0 26 / 512 0.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 38 0 0 38 / 512 0.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 41 0 0 41 / 512 0.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 47 0 0 47 / 512 1.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 50 0 0 50 / 512 1.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 63 0 0 63 / 512 1.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 71 0 0 71 / 512 1.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 84 0 0 84 / 512 1.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 100 0 0 100 / 512 1.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 103 0 0 103 / 512 2.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 108 0 0 108 / 512 2.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 114 0 0 114 / 512 2.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 123 0 0 123 / 512 2.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 127 0 0 127 / 512 2.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 138 0 0 138 / 512 2.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 155 0 0 155 / 512 3.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 167 0 0 167 / 512 3.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 175 0 0 175 / 512 3.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 177 0 0 177 / 512 3.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 197 0 0 197 / 512 3.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 211 0 0 211 / 512 3.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 229 0 0 229 / 512 4.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 236 0 0 236 / 512 4.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 245 0 0 245 / 512 4.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 248 0 0 248 / 512 4.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 255 0 0 255 / 512 4.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 271 0 0 271 / 512 4.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 282 0 0 282 / 512 4.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 283 0 0 283 / 512 5.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 289 0 0 289 / 512 5.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 306 0 0 306 / 512 5.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 324 0 0 324 / 512 5.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 336 0 0 336 / 512 5.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 347 0 0 347 / 512 5.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 356 0 0 356 / 512 6.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 362 0 0 362 / 512 6.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 371 0 0 371 / 512 6.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 375 0 0 375 / 512 6.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 393 0 0 393 / 512 6.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 403 0 0 403 / 512 6.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 417 0 0 417 / 512 6.9s Saturn.michael_scott_queue_unsafe concurrent [ ] 432 0 0 432 / 512 7.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 443 0 0 443 / 512 7.4s Saturn.michael_scott_queue_unsafe concurrent [ ] 445 0 0 445 / 512 7.5s Saturn.michael_scott_queue_unsafe concurrent [ ] 447 0 0 447 / 512 7.6s Saturn.michael_scott_queue_unsafe concurrent [ ] 456 0 0 456 / 512 7.7s Saturn.michael_scott_queue_unsafe concurrent [ ] 457 0 0 457 / 512 7.8s Saturn.michael_scott_queue_unsafe concurrent [ ] 462 0 0 462 / 512 8.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 471 0 0 471 / 512 8.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 481 0 0 481 / 512 8.2s Saturn.michael_scott_queue_unsafe concurrent [ ] 489 0 0 489 / 512 8.3s Saturn.michael_scott_queue_unsafe concurrent [ ] 495 0 0 495 / 512 8.5s Saturn.michael_scott_queue_unsafe concurrent [✓] 512 0 0 512 / 512 8.6s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) random seed: 4043273723657677102 generated error fail pass / total time test name [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [✓] 32 0 0 32 / 32 0.0s Saturn.michael_scott_queue_unsafe sequential [ ] 0 0 0 0 / 32 0.0s Saturn.michael_scott_queue_unsafe concurrent [ ] 8 0 0 8 / 32 0.1s Saturn.michael_scott_queue_unsafe concurrent [ ] 20 0 0 20 / 32 0.2s Saturn.michael_scott_queue_unsafe concurrent [✓] 32 0 0 32 / 32 0.3s Saturn.michael_scott_queue_unsafe concurrent ================================================================================ success (ran 2 tests) 2025-08-30 14:16.38 ---> saved as "2511e4f69edeb89c0a53bd74cf7328983ff11c383ed1a9db0b79b32d8261104d" Job succeeded 2025-08-30 14:16.39: Job succeeded