Organisationsocaml-multicoresaturn30fafa (add-lazy-queue)debian-12-4.13_opam-2.2

debian-12-4.13_opam-2.2

Link Copied
Code Copied

Logs

2024-11-04 11:24.08: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/add-lazy-queue (30fafa9f101186f9900960ad72f00c08a1684692) (linux-x86_64:debian-12-4.13_opam-2.2)
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/saturn.git" -b "add-lazy-queue" && cd "saturn" && git reset --hard 30fafa9f
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc
# debian-12-4.13_opam-2.2
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 saturn_lockfree.opam saturn.opam ./
RUN opam pin add -yn saturn_lockfree.dev './' && \
opam pin add -yn saturn.dev './'
ENV DEPS="alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.4.13.1 ocaml-base-compiler.4.13.1 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


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


2024-11-04 11:24.08: Using cache hint "ocaml-multicore/saturn-ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc-debian-12-4.13_opam-2.2-7ffb856488c2c953ecf62d9fc66dae53"
2024-11-04 11:24.08: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc)
(comment debian-12-4.13_opam-2.2)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src saturn_lockfree.opam saturn.opam) (dst ./))
(run (network host)
(shell  "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
(env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.4.13.1 ocaml-base-compiler.4.13.1 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-11-04 11:24.08: Waiting for resource in pool OCluster
2024-11-04 17:06.04: Waiting for worker…
2024-11-04 17:12.35: Got resource from pool OCluster
Building on x86-bm-c18.sw.ocaml.org
All commits already cached
HEAD is now at 30fafa9 Add a "lazy" queue


(from ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc)
2024-11-04 17:13.33 ---> saved as "4671d91d620de463500ac0d3192fd582c43ef2c52fd6f83e69c987c8940ba12a"


/: (comment debian-12-4.13_opam-2.2)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2024-11-04 17:13.33 ---> saved as "39edb1933d0e30d072b729f04671f7774f84d9fe0be023541900506cc20b3bb9"


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 39 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=39 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-04 17:15.41 ---> saved as "7be193041735a3c99358eaa6c6114203641cd6b2deea706e5ad7f63c9183dfe3"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-122-generic
The OCaml toplevel, version 4.13.1
2.2.1
2024-11-04 17:15.41 ---> saved as "52f8e1c283e5bcc23db417ffe89a3ddc18a33e524293451ebe5ae05332a979c9"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-11-04 17:15.42 ---> saved as "024a57ce526c4b0bc42c8c79ff721c1e18b3fba252dfe40577d9e801fd46820b"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a || git fetch origin master) && git reset -q --hard 371a52f4a8b5c88dc9de4f5a5f6375fb0963297a && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
d872638bdf..8476aa70b7  master     -> origin/master
371a52f4a8 Merge pull request #26816 from maiste/release-dune-3.16.1


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


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-11-04 17:17.17 ---> saved as "6f8a3b66ae7362dd2ad8e760f9d4b61ea58b5aee20da7a78fd7fd23922b923ef"


/src: (copy (src saturn_lockfree.opam saturn.opam) (dst ./))
2024-11-04 17:17.17 ---> saved as "b3fce4501e14db1b5aa31452cc7b58509279bb59bf7f7458585c262756057a06"


/src: (run (network host)
(shell  "opam pin add -yn saturn_lockfree.dev './' && \
\nopam pin add -yn saturn.dev './'"))
[saturn_lockfree.dev] synchronised (file:///src)
saturn_lockfree is now pinned to file:///src (version dev)
[saturn.dev] synchronised (file:///src)
saturn is now pinned to file:///src (version dev)
2024-11-04 17:17.22 ---> saved as "614c7051d3b253f68aadc2e5102f294d4e45a842b99a4f3abe16dc189bc4cbd1"


/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 either.1.0.0 fmt.0.9.0 host-arch-x86_64.1 host-system-other.1 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.4.13.1 ocaml-base-compiler.4.13.1 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.15.0 ocamlfind.1.9.6 oseq.0.5.1 ounit2.2.2.7 qcheck.0.22 qcheck-alcotest.0.22 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-ounit.0.22 qcheck-stm.0.4 re.1.12.0 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y saturn_lockfree.dev saturn.dev $DEPS"))
+ /usr/bin/sudo "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 amd64 Packages [190 kB]
- Fetched 293 kB in 0s (1094 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[saturn.dev] synchronised (no changes)
[saturn_lockfree.dev] synchronised (no changes)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.13.1).
[NOTE] Package ocaml is already installed (current version is 4.13.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-11-04 17:17.44 ---> saved as "99dbee291f59f1630faa9cc82d740965ba56e6b24eff97543de5adb02f2e2d98"


/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.13.1).
[NOTE] Package ocaml is already installed (current version is 4.13.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 36 packages
- install alcotest                   1.8.0
- install astring                    0.8.5
- install backoff                    0.1.1
- install cmdliner                   1.3.0
- install containers                 3.14
- install csexp                      1.5.2
- install domain-local-await         1.0.1
- install domain_shims               0.1.0
- install dscheck                    0.5.0
- install dune                       3.16.1
- install dune-configurator          3.16.1
- install either                     1.0.0
- install fmt                        0.9.0
- install mtime                      2.1.0
- install multicore-bench            0.1.7
- install multicore-magic            2.3.0
- install multicore-magic-dscheck    2.3.0
- install ocaml-syntax-shims         1.0.0
- install ocamlbuild                 0.15.0
- install ocamlfind                  1.9.6
- install oseq                       0.5.1
- install ounit2                     2.2.7
- install qcheck                     0.22
- install qcheck-alcotest            0.22
- install qcheck-core                0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-ounit               0.22
- install qcheck-stm                 0.4
- install re                         1.12.0
- install seq                        base
- install stdlib-shims               0.3.0
- install thread-table               1.0.0
- install topkg                      1.0.7
- install tsort                      2.1.0
- install uutf                       1.0.3
- install yojson                     2.2.2


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved backoff.0.1.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved containers.3.14  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dscheck.0.5.0  (cached)
-> retrieved either.1.0.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.7  (cached)
-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved oseq.0.5.1  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved qcheck.0.22, qcheck-alcotest.0.22, qcheck-core.0.22, qcheck-ounit.0.22  (cached)
-> retrieved qcheck-multicoretests-util.0.4, qcheck-stm.0.4  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved re.1.12.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved tsort.2.1.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved yojson.2.2.2  (cached)
-> retrieved dune.3.16.1, dune-configurator.3.16.1  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.15.0
-> installed ocamlfind.1.9.6
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed dune.3.16.1
-> installed domain_shims.0.1.0
-> installed csexp.1.5.2
-> installed backoff.0.1.1
-> installed either.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-syntax-shims.1.0.0
-> installed oseq.0.5.1
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed thread-table.1.0.0
-> installed tsort.2.1.0
-> installed yojson.2.2.2
-> installed domain-local-await.1.0.1
-> installed qcheck-core.0.22
-> installed multicore-bench.0.1.7
-> installed qcheck-multicoretests-util.0.4
-> installed ounit2.2.2.7
-> installed alcotest.1.8.0
-> installed qcheck-stm.0.4
-> installed qcheck-ounit.0.22
-> installed qcheck-alcotest.0.22
-> installed dune-configurator.3.16.1
-> installed qcheck.0.22
-> installed containers.3.14
-> installed dscheck.0.5.0
-> installed multicore-magic-dscheck.2.3.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-11-04 17:18.42 ---> saved as "8d1e77471d15da06fe0ca922bcbdcbba7eff5e441bbda91d4feeb170723335cc"


/src: (copy (src .) (dst /src))
2024-11-04 17:18.42 ---> saved as "73781e761ec544c10100488bd033cece736346cf03b40e59b54281a89fd3ae9c"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
test_Spsc_queue_empty: ok
test_Spsc_queue_full: ok
test_Spsc_queue_parallel: ok (transferred = 100)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100)
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)
random seed: 190209805
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Ws_deque sequential
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Ws_deque sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Saturn_lockfree.Ws_deque sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)
random seed: 197326277
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Mpsc_queue sequential
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Mpsc_queue sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Saturn_lockfree.Mpsc_queue sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)
random seed: 190151605
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue sequential
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Saturn_lockfree.Spsc_queue sequential
================================================================================
success (ran 1 tests)
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
[] 1000    0    0 1000 / 1000     0.0s Saturn_lockfree.Spsc_queue_unsafe sequential
================================================================================
success (ran 1 tests)
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 895669457
Testing `Treiber_stack'.
This run has ID `0VGZP8ZG'.


[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 2.846s. 6 tests run.
(cd _build/default/test/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 500195274
Testing `Ws_deque'.
This run has ID `R5LCL6I7'.


[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 3.673s. 6 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 872757946
Testing `Michael_scott_queue'.
This run has ID `G1MP120B'.


[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 5.098s. 16 tests run.
(cd _build/default/test/spsc_queue && ./qcheck_spsc_queue.exe)
qcheck random seed: 478920920
Testing `Spsc_queues'.
This run has ID `4O8COXIH'.


[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 5.810s. 16 tests run.
(cd _build/default/test/mpsc_queue && ./qcheck_mpsc_queue.exe)
qcheck random seed: 354232507
Testing `Mpsc_queue'.
This run has ID `B98XEKS5'.


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


Full test results in `/src/_build/default/test/mpsc_queue/_build/_tests/Mpsc_queue'.
Test Successful in 8.044s. 22 tests run.
(cd _build/default/test/ws_deque && ./test_ws_deque.exe)
test_exit: ok
test_push_and_pop: ok
test_push_and_steal: ok
test_concurrent_workload: ok (pushed = 100000, popped = 99850, stolen = 150)
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
messages over time/1 adder, 1 taker (cas):
11.64 M/s
messages over time/1 adder, 1 taker (not lf):
9.24 M/s
messages over time/1 adder, 1 taker (spin):
9.33 M/s
messages over time/1 adder, 2 takers (cas):
10.75 M/s
messages over time/1 adder, 2 takers (not lf):
8.09 M/s
messages over time/1 adder, 2 takers (spin):
9.27 M/s
messages over time/2 adders, 1 taker (cas):
10.29 M/s
messages over time/2 adders, 1 taker (not lf):
5.83 M/s
messages over time/2 adders, 1 taker (spin):
8.75 M/s
messages over time/2 adders, 2 takers (cas):
10.83 M/s
messages over time/2 adders, 2 takers (not lf):
12.13 M/s
messages over time/2 adders, 2 takers (spin):
8.18 M/s
time per message/1 adder, 1 taker (cas):
171.85 ns
time per message/1 adder, 1 taker (not lf):
216.56 ns
time per message/1 adder, 1 taker (spin):
214.25 ns
time per message/1 adder, 2 takers (cas):
279.15 ns
time per message/1 adder, 2 takers (not lf):
370.70 ns
time per message/1 adder, 2 takers (spin):
323.60 ns
time per message/2 adders, 1 taker (cas):
291.55 ns
time per message/2 adders, 1 taker (not lf):
514.97 ns
time per message/2 adders, 1 taker (spin):
342.96 ns
time per message/2 adders, 2 takers (cas):
369.21 ns
time per message/2 adders, 2 takers (not lf):
329.67 ns
time per message/2 adders, 2 takers (spin):
488.84 ns
Saturn_lockfree Lazy_queue:
messages over time/1 nb adder, 1 nb taker:
17.56 M/s
messages over time/1 nb adder, 2 nb takers:
18.28 M/s
messages over time/2 nb adders, 1 nb taker:
21.41 M/s
messages over time/2 nb adders, 2 nb takers:
19.08 M/s
messages over time/one domain:
11.82 M/s
time per message/1 nb adder, 1 nb taker:
113.87 ns
time per message/1 nb adder, 2 nb takers:
164.07 ns
time per message/2 nb adders, 1 nb taker:
140.12 ns
time per message/2 nb adders, 2 nb takers:
209.61 ns
time per message/one domain:
84.61 ns
Saturn_lockfree Queue:
messages over time/1 nb adder, 1 nb taker:
9.31 M/s
messages over time/1 nb adder, 2 nb takers:
9.43 M/s
messages over time/2 nb adders, 1 nb taker:
9.41 M/s
messages over time/2 nb adders, 2 nb takers:
7.98 M/s
messages over time/one domain:
5.62 M/s
time per message/1 nb adder, 1 nb taker:
214.85 ns
time per message/1 nb adder, 2 nb takers:
317.99 ns
time per message/2 nb adders, 1 nb taker:
318.71 ns
time per message/2 nb adders, 2 nb takers:
501.44 ns
time per message/one domain:
177.85 ns
Saturn_lockfree Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
0.04 M/s
messages over time/2 workers, capacity 1 (unsafe):
0.04 M/s
messages over time/2 workers, capacity 32768:
13.21 M/s
messages over time/2 workers, capacity 32768 (unsafe):
22.12 M/s
messages over time/2 workers, capacity 4096:
12.72 M/s
messages over time/2 workers, capacity 4096 (unsafe):
18.29 M/s
messages over time/2 workers, capacity 512:
9.23 M/s
messages over time/2 workers, capacity 512 (unsafe):
11.03 M/s
messages over time/2 workers, capacity 64:
2.37 M/s
messages over time/2 workers, capacity 64 (unsafe):
2.77 M/s
messages over time/2 workers, capacity 8:
0.40 M/s
messages over time/2 workers, capacity 8 (unsafe):
0.40 M/s
time per message/2 workers, capacity 1:
44683.11 ns
time per message/2 workers, capacity 1 (unsafe):
47322.24 ns
time per message/2 workers, capacity 32768:
151.35 ns
time per message/2 workers, capacity 32768 (unsafe):
90.43 ns
time per message/2 workers, capacity 4096:
157.23 ns
time per message/2 workers, capacity 4096 (unsafe):
109.34 ns
time per message/2 workers, capacity 512:
216.92 ns
time per message/2 workers, capacity 512 (unsafe):
181.27 ns
time per message/2 workers, capacity 64:
845.09 ns
time per message/2 workers, capacity 64 (unsafe):
721.53 ns
time per message/2 workers, capacity 8:
4975.73 ns
time per message/2 workers, capacity 8 (unsafe):
4953.63 ns
Saturn_lockfree Size:
operations over time/1 worker:
18.73 M/s
operations over time/2 workers:
18.42 M/s
operations over time/4 workers:
18.06 M/s
time per operation/1 worker:
53.38 ns
time per operation/2 workers:
108.56 ns
time per operation/4 workers:
221.45 ns
Saturn_lockfree Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.63 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
0.91 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
1.00 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
0.59 M/s
operations over time/2 workers, 50% mem 25% add 25% rem:
0.76 M/s
operations over time/2 workers, 90% mem 5% add 5% rem:
1.14 M/s
operations over time/4 workers, 10% mem 45% add 45% rem:
0.39 M/s
operations over time/4 workers, 50% mem 25% add 25% rem:
0.68 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
1.14 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
1591.24 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
1104.76 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
998.48 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
3381.60 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
2639.27 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
1747.75 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
10235.35 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
5861.79 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
3513.69 ns
Saturn_lockfree Stack:
messages over time/1 adder, 1 taker:
22.76 M/s
messages over time/1 adder, 2 takers:
19.57 M/s
messages over time/2 adders, 1 taker:
23.39 M/s
messages over time/2 adders, 2 takers:
18.52 M/s
messages over time/one domain:
12.32 M/s
time per message/1 adder, 1 taker:
87.87 ns
time per message/1 adder, 2 takers:
153.30 ns
time per message/2 adders, 1 taker:
128.25 ns
time per message/2 adders, 2 takers:
216.01 ns
time per message/one domain:
81.18 ns
Saturn_lockfree Work_stealing_deque:
messages over time/1 adder, 1 taker:
7.36 M/s
messages over time/1 adder, 2 takers:
7.04 M/s
messages over time/1 adder, 4 takers:
8.57 M/s
messages over time/one domain (FIFO):
6.41 M/s
messages over time/one domain (LIFO):
6.16 M/s
spawns over time/1 worker:
4.57 M/s
spawns over time/2 workers:
4.42 M/s
spawns over time/4 workers:
4.77 M/s
spawns over time/8 workers:
3.70 M/s
time per message/1 adder, 1 taker:
271.89 ns
time per message/1 adder, 2 takers:
426.12 ns
time per message/1 adder, 4 takers:
583.58 ns
time per message/one domain (FIFO):
156.11 ns
time per message/one domain (LIFO):
162.25 ns
time per spawn/1 worker:
218.82 ns
time per spawn/2 workers:
452.68 ns
time per spawn/4 workers:
838.37 ns
time per spawn/8 workers:
2159.99 ns
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 730932559
Testing `QCheck Skiplist'.
This run has ID `8K5UDYRO'.


[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 27.952s. 7 tests run.
(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
Testing `Mpmc_queue'.
This run has ID `NBDONGKU'.


[OK]          single-thread                        0   is it a queue.
[OK]          validate items                       0   1 prod. 1 cons.
[OK]          validate indices under load          0    4 prod. 4 cons.
[OK]          validate indices under load          1    8 prod. 1 cons.
[OK]          validate indices under load          2    1 prod. 8 cons.
[OK]          single-thread-CAS-intf               0   is it a queue.
[OK]          validate items-CAS-intf              0   1 prod. 1 cons.
[OK]          single-thread-spinning               0   is it a queue.
[OK]          validate-items-spinning              0   1 prod. 1 cons.


Full test results in `/src/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.
Test Successful in 163.736s. 9 tests run.
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 375621966
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Treiber_stack sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Treiber_stack sequential (generating)
[]  500    0    0  500 /  500     0.0s Saturn_lockfree.Treiber_stack sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Treiber_stack concurrent
[ ]    1    0    0    1 /  500     1.2s Saturn_lockfree.Treiber_stack concurrent
[ ]    2    0    0    2 /  500     2.5s Saturn_lockfree.Treiber_stack concurrent
[ ]    3    0    0    3 /  500     3.5s Saturn_lockfree.Treiber_stack concurrent
[ ]    4    0    0    4 /  500     4.2s Saturn_lockfree.Treiber_stack concurrent
[ ]    5    0    0    5 /  500     4.7s Saturn_lockfree.Treiber_stack concurrent
[ ]    6    0    0    6 /  500     5.1s Saturn_lockfree.Treiber_stack concurrent
[ ]    7    0    0    7 /  500     5.4s Saturn_lockfree.Treiber_stack concurrent
[ ]    8    0    0    8 /  500     5.7s Saturn_lockfree.Treiber_stack concurrent
[ ]    9    0    0    9 /  500     6.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   10    0    0   10 /  500     6.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   11    0    0   11 /  500     6.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   12    0    0   12 /  500     6.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   13    0    0   13 /  500     7.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   14    0    0   14 /  500     8.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   15    0    0   15 /  500     9.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   16    0    0   16 /  500     9.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   17    0    0   17 /  500     9.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   18    0    0   18 /  500    10.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   19    0    0   19 /  500    12.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   20    0    0   20 /  500    14.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   21    0    0   21 /  500    15.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   22    0    0   22 /  500    16.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   23    0    0   23 /  500    17.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   24    0    0   24 /  500    17.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   25    0    0   25 /  500    18.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   26    0    0   26 /  500    18.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   27    0    0   27 /  500    18.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   28    0    0   28 /  500    19.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   29    0    0   29 /  500    20.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   30    0    0   30 /  500    20.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   31    0    0   31 /  500    21.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   32    0    0   32 /  500    21.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   33    0    0   33 /  500    21.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   34    0    0   34 /  500    21.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   35    0    0   35 /  500    22.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   36    0    0   36 /  500    23.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   37    0    0   37 /  500    24.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   38    0    0   38 /  500    24.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   39    0    0   39 /  500    25.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   40    0    0   40 /  500    25.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   41    0    0   41 /  500    25.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   42    0    0   42 /  500    25.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   43    0    0   43 /  500    26.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   45    0    0   45 /  500    26.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   46    0    0   46 /  500    26.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   47    0    0   47 /  500    26.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   48    0    0   48 /  500    27.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   49    0    0   49 /  500    27.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   50    0    0   50 /  500    27.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   51    0    0   51 /  500    28.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   52    0    0   52 /  500    28.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   53    0    0   53 /  500    28.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   54    0    0   54 /  500    28.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   55    0    0   55 /  500    29.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   56    0    0   56 /  500    29.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   58    0    0   58 /  500    29.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   59    0    0   59 /  500    30.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   60    0    0   60 /  500    31.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   61    0    0   61 /  500    31.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   63    0    0   63 /  500    31.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   64    0    0   64 /  500    32.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   65    0    0   65 /  500    32.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   66    0    0   66 /  500    32.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   67    0    0   67 /  500    33.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   68    0    0   68 /  500    33.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   69    0    0   69 /  500    34.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   70    0    0   70 /  500    34.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   71    0    0   71 /  500    35.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   72    0    0   72 /  500    35.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   75    0    0   75 /  500    35.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   77    0    0   77 /  500    35.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   80    0    0   80 /  500    35.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   81    0    0   81 /  500    36.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   82    0    0   82 /  500    36.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   84    0    0   84 /  500    36.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   85    0    0   85 /  500    36.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   87    0    0   87 /  500    36.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   88    0    0   88 /  500    37.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   89    0    0   89 /  500    38.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   90    0    0   90 /  500    38.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   91    0    0   91 /  500    39.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   93    0    0   93 /  500    39.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   95    0    0   95 /  500    40.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   96    0    0   96 /  500    40.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   98    0    0   98 /  500    41.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   99    0    0   99 /  500    41.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  100    0    0  100 /  500    41.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  101    0    0  101 /  500    42.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  102    0    0  102 /  500    42.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  103    0    0  103 /  500    44.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  104    0    0  104 /  500    44.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  105    0    0  105 /  500    45.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  106    0    0  106 /  500    46.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  107    0    0  107 /  500    46.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  108    0    0  108 /  500    47.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  109    0    0  109 /  500    47.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  110    0    0  110 /  500    47.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  111    0    0  111 /  500    47.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  112    0    0  112 /  500    48.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  113    0    0  113 /  500    49.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  114    0    0  114 /  500    49.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  115    0    0  115 /  500    49.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  116    0    0  116 /  500    50.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  118    0    0  118 /  500    50.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  120    0    0  120 /  500    50.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  123    0    0  123 /  500    50.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  126    0    0  126 /  500    51.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  128    0    0  128 /  500    51.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  131    0    0  131 /  500    51.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  134    0    0  134 /  500    51.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  137    0    0  137 /  500    51.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  139    0    0  139 /  500    51.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  142    0    0  142 /  500    52.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  143    0    0  143 /  500    52.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  149    0    0  149 /  500    52.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  153    0    0  153 /  500    52.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  159    0    0  159 /  500    52.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  160    0    0  160 /  500    52.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  162    0    0  162 /  500    52.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  164    0    0  164 /  500    53.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  165    0    0  165 /  500    53.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  170    0    0  170 /  500    53.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  171    0    0  171 /  500    53.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  172    0    0  172 /  500    53.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  173    0    0  173 /  500    54.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  175    0    0  175 /  500    54.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  177    0    0  177 /  500    54.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  178    0    0  178 /  500    54.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  179    0    0  179 /  500    55.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  180    0    0  180 /  500    55.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  181    0    0  181 /  500    56.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  182    0    0  182 /  500    57.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  183    0    0  183 /  500    57.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  184    0    0  184 /  500    57.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  185    0    0  185 /  500    57.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  186    0    0  186 /  500    57.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  188    0    0  188 /  500    58.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  189    0    0  189 /  500    58.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  190    0    0  190 /  500    58.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  191    0    0  191 /  500    59.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  192    0    0  192 /  500    59.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  193    0    0  193 /  500    59.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  194    0    0  194 /  500    60.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  195    0    0  195 /  500    61.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  196    0    0  196 /  500    62.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  197    0    0  197 /  500    62.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  198    0    0  198 /  500    64.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  199    0    0  199 /  500    65.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  200    0    0  200 /  500    67.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  201    0    0  201 /  500    68.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  202    0    0  202 /  500    69.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  203    0    0  203 /  500    70.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  204    0    0  204 /  500    72.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  205    0    0  205 /  500    73.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  206    0    0  206 /  500    75.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  207    0    0  207 /  500    76.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  208    0    0  208 /  500    77.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  209    0    0  209 /  500    78.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  210    0    0  210 /  500    79.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  211    0    0  211 /  500    81.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  212    0    0  212 /  500    81.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  213    0    0  213 /  500    83.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  214    0    0  214 /  500    84.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  215    0    0  215 /  500    85.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  216    0    0  216 /  500    85.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  217    0    0  217 /  500    86.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  218    0    0  218 /  500    87.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  219    0    0  219 /  500    87.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  220    0    0  220 /  500    87.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  221    0    0  221 /  500    87.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  222    0    0  222 /  500    88.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  223    0    0  223 /  500    88.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  224    0    0  224 /  500    88.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  225    0    0  225 /  500    89.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  226    0    0  226 /  500    89.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  227    0    0  227 /  500    90.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  228    0    0  228 /  500    90.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  229    0    0  229 /  500    91.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  230    0    0  230 /  500    92.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  231    0    0  231 /  500    92.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  232    0    0  232 /  500    93.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  233    0    0  233 /  500    95.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  234    0    0  234 /  500    96.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  235    0    0  235 /  500    97.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  236    0    0  236 /  500    98.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  237    0    0  237 /  500    99.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  238    0    0  238 /  500   100.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  239    0    0  239 /  500   101.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  240    0    0  240 /  500   101.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  241    0    0  241 /  500   103.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  242    0    0  242 /  500   104.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  243    0    0  243 /  500   104.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  244    0    0  244 /  500   106.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  245    0    0  245 /  500   107.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  246    0    0  246 /  500   108.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  247    0    0  247 /  500   109.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  248    0    0  248 /  500   110.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  249    0    0  249 /  500   110.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  250    0    0  250 /  500   111.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  251    0    0  251 /  500   112.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  252    0    0  252 /  500   112.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  253    0    0  253 /  500   113.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  254    0    0  254 /  500   114.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  255    0    0  255 /  500   114.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  256    0    0  256 /  500   115.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  257    0    0  257 /  500   115.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  258    0    0  258 /  500   116.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  259    0    0  259 /  500   116.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  260    0    0  260 /  500   116.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  261    0    0  261 /  500   116.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  262    0    0  262 /  500   117.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  263    0    0  263 /  500   117.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  264    0    0  264 /  500   117.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  265    0    0  265 /  500   117.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  266    0    0  266 /  500   117.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  267    0    0  267 /  500   118.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  268    0    0  268 /  500   119.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  269    0    0  269 /  500   119.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  270    0    0  270 /  500   120.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  271    0    0  271 /  500   120.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  272    0    0  272 /  500   121.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  273    0    0  273 /  500   121.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  275    0    0  275 /  500   121.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  276    0    0  276 /  500   122.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  277    0    0  277 /  500   122.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  278    0    0  278 /  500   122.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  279    0    0  279 /  500   123.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  280    0    0  280 /  500   123.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  281    0    0  281 /  500   123.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  282    0    0  282 /  500   124.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  283    0    0  283 /  500   124.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  284    0    0  284 /  500   124.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  285    0    0  285 /  500   125.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  286    0    0  286 /  500   125.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  287    0    0  287 /  500   125.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  288    0    0  288 /  500   126.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  289    0    0  289 /  500   126.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  290    0    0  290 /  500   127.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  291    0    0  291 /  500   127.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  292    0    0  292 /  500   127.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  293    0    0  293 /  500   128.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  294    0    0  294 /  500   128.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  296    0    0  296 /  500   129.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  297    0    0  297 /  500   129.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  298    0    0  298 /  500   129.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  299    0    0  299 /  500   130.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  300    0    0  300 /  500   130.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  301    0    0  301 /  500   131.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  302    0    0  302 /  500   131.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  303    0    0  303 /  500   131.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  304    0    0  304 /  500   131.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  305    0    0  305 /  500   132.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  306    0    0  306 /  500   132.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  307    0    0  307 /  500   132.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  308    0    0  308 /  500   133.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  309    0    0  309 /  500   133.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  310    0    0  310 /  500   133.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  311    0    0  311 /  500   133.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  312    0    0  312 /  500   134.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  313    0    0  313 /  500   135.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  314    0    0  314 /  500   135.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  315    0    0  315 /  500   135.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  316    0    0  316 /  500   136.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  317    0    0  317 /  500   136.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  318    0    0  318 /  500   136.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  319    0    0  319 /  500   136.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  320    0    0  320 /  500   137.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  321    0    0  321 /  500   137.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  322    0    0  322 /  500   137.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  323    0    0  323 /  500   138.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  324    0    0  324 /  500   138.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  325    0    0  325 /  500   138.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  326    0    0  326 /  500   138.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  327    0    0  327 /  500   138.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  328    0    0  328 /  500   138.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  329    0    0  329 /  500   139.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  330    0    0  330 /  500   139.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  331    0    0  331 /  500   139.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  332    0    0  332 /  500   140.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  333    0    0  333 /  500   140.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  334    0    0  334 /  500   140.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  335    0    0  335 /  500   141.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  336    0    0  336 /  500   142.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  337    0    0  337 /  500   142.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  338    0    0  338 /  500   143.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  339    0    0  339 /  500   143.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  340    0    0  340 /  500   144.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  341    0    0  341 /  500   145.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  342    0    0  342 /  500   145.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  343    0    0  343 /  500   145.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  344    0    0  344 /  500   146.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  345    0    0  345 /  500   146.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  346    0    0  346 /  500   148.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  347    0    0  347 /  500   148.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  348    0    0  348 /  500   149.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  349    0    0  349 /  500   149.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  350    0    0  350 /  500   150.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  351    0    0  351 /  500   150.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  352    0    0  352 /  500   151.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  353    0    0  353 /  500   151.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  354    0    0  354 /  500   152.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  356    0    0  356 /  500   152.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  357    0    0  357 /  500   153.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  358    0    0  358 /  500   153.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  359    0    0  359 /  500   153.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  360    0    0  360 /  500   154.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  361    0    0  361 /  500   154.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  362    0    0  362 /  500   155.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  363    0    0  363 /  500   155.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  364    0    0  364 /  500   156.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  365    0    0  365 /  500   156.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  366    0    0  366 /  500   156.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  367    0    0  367 /  500   157.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  368    0    0  368 /  500   158.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  369    0    0  369 /  500   158.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  370    0    0  370 /  500   159.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  371    0    0  371 /  500   159.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  372    0    0  372 /  500   160.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  373    0    0  373 /  500   160.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  374    0    0  374 /  500   160.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  375    0    0  375 /  500   161.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  376    0    0  376 /  500   162.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  377    0    0  377 /  500   162.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  378    0    0  378 /  500   162.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  379    0    0  379 /  500   162.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  380    0    0  380 /  500   163.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  381    0    0  381 /  500   163.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  382    0    0  382 /  500   164.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  383    0    0  383 /  500   165.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  384    0    0  384 /  500   165.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  385    0    0  385 /  500   165.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  386    0    0  386 /  500   165.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  387    0    0  387 /  500   166.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  388    0    0  388 /  500   166.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  389    0    0  389 /  500   166.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  390    0    0  390 /  500   167.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  391    0    0  391 /  500   167.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  392    0    0  392 /  500   167.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  393    0    0  393 /  500   167.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  395    0    0  395 /  500   167.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  397    0    0  397 /  500   167.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  398    0    0  398 /  500   167.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  399    0    0  399 /  500   168.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  402    0    0  402 /  500   168.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  404    0    0  404 /  500   168.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  406    0    0  406 /  500   168.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  409    0    0  409 /  500   168.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  411    0    0  411 /  500   169.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  413    0    0  413 /  500   169.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  416    0    0  416 /  500   169.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  417    0    0  417 /  500   169.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  418    0    0  418 /  500   170.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  419    0    0  419 /  500   170.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  422    0    0  422 /  500   171.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  423    0    0  423 /  500   171.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  425    0    0  425 /  500   171.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  427    0    0  427 /  500   171.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  428    0    0  428 /  500   171.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  429    0    0  429 /  500   171.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  430    0    0  430 /  500   172.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  431    0    0  431 /  500   172.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  432    0    0  432 /  500   173.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  435    0    0  435 /  500   173.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  439    0    0  439 /  500   173.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  442    0    0  442 /  500   173.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  444    0    0  444 /  500   173.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  447    0    0  447 /  500   173.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  449    0    0  449 /  500   174.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  453    0    0  453 /  500   174.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  454    0    0  454 /  500   174.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  455    0    0  455 /  500   174.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  459    0    0  459 /  500   174.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  460    0    0  460 /  500   175.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  461    0    0  461 /  500   175.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  462    0    0  462 /  500   175.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  463    0    0  463 /  500   175.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  467    0    0  467 /  500   175.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  470    0    0  470 /  500   176.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  476    0    0  476 /  500   176.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  477    0    0  477 /  500   176.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  478    0    0  478 /  500   176.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  484    0    0  484 /  500   176.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  487    0    0  487 /  500   177.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  491    0    0  491 /  500   177.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  494    0    0  494 /  500   177.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  497    0    0  497 /  500   177.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  498    0    0  498 /  500   177.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  500    0    0  500 /  500   178.1s Saturn_lockfree.Treiber_stack concurrent
[]  500    0    0  500 /  500   178.1s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/lazy_queue && ./stm_lazy_queue.exe)
random seed: 171922816
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Lazy_queue sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Lazy_queue sequential (generating)
[]  500    0    0  500 /  500     0.0s Saturn_lockfree.Lazy_queue sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.Lazy_queue concurrent
[ ]    1    0    0    1 /  500     1.8s Saturn_lockfree.Lazy_queue concurrent
[ ]    2    0    0    2 /  500     4.0s Saturn_lockfree.Lazy_queue concurrent
[ ]    3    0    0    3 /  500     4.8s Saturn_lockfree.Lazy_queue concurrent
[ ]    4    0    0    4 /  500     5.9s Saturn_lockfree.Lazy_queue concurrent
[ ]    5    0    0    5 /  500     6.5s Saturn_lockfree.Lazy_queue concurrent
[ ]    6    0    0    6 /  500     7.1s Saturn_lockfree.Lazy_queue concurrent
[ ]    7    0    0    7 /  500     7.4s Saturn_lockfree.Lazy_queue concurrent
[ ]    8    0    0    8 /  500     7.6s Saturn_lockfree.Lazy_queue concurrent
[ ]    9    0    0    9 /  500     8.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   10    0    0   10 /  500     8.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   11    0    0   11 /  500     8.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   12    0    0   12 /  500     8.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   13    0    0   13 /  500     9.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   14    0    0   14 /  500     9.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   15    0    0   15 /  500    10.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   16    0    0   16 /  500    10.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   17    0    0   17 /  500    11.1s Saturn_lockfree.Lazy_queue concurrent
[ ]   18    0    0   18 /  500    11.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   19    0    0   19 /  500    12.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   20    0    0   20 /  500    12.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   21    0    0   21 /  500    13.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   22    0    0   22 /  500    14.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   23    0    0   23 /  500    15.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   24    0    0   24 /  500    17.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   25    0    0   25 /  500    17.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   27    0    0   27 /  500    17.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   28    0    0   28 /  500    18.1s Saturn_lockfree.Lazy_queue concurrent
[ ]   29    0    0   29 /  500    18.3s Saturn_lockfree.Lazy_queue concurrent
[ ]   30    0    0   30 /  500    18.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   31    0    0   31 /  500    19.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   32    0    0   32 /  500    19.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   33    0    0   33 /  500    19.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   34    0    0   34 /  500    20.1s Saturn_lockfree.Lazy_queue concurrent
[ ]   35    0    0   35 /  500    20.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   36    0    0   36 /  500    20.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   37    0    0   37 /  500    21.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   38    0    0   38 /  500    22.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   39    0    0   39 /  500    23.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   40    0    0   40 /  500    24.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   41    0    0   41 /  500    24.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   42    0    0   42 /  500    25.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   43    0    0   43 /  500    25.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   44    0    0   44 /  500    25.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   45    0    0   45 /  500    26.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   46    0    0   46 /  500    26.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   47    0    0   47 /  500    26.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   48    0    0   48 /  500    27.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   49    0    0   49 /  500    27.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   50    0    0   50 /  500    28.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   51    0    0   51 /  500    28.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   52    0    0   52 /  500    28.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   53    0    0   53 /  500    28.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   54    0    0   54 /  500    29.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   55    0    0   55 /  500    29.3s Saturn_lockfree.Lazy_queue concurrent
[ ]   56    0    0   56 /  500    29.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   57    0    0   57 /  500    29.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   59    0    0   59 /  500    29.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   60    0    0   60 /  500    30.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   61    0    0   61 /  500    30.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   62    0    0   62 /  500    31.1s Saturn_lockfree.Lazy_queue concurrent
[ ]   63    0    0   63 /  500    31.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   64    0    0   64 /  500    31.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   65    0    0   65 /  500    32.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   66    0    0   66 /  500    32.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   67    0    0   67 /  500    32.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   68    0    0   68 /  500    33.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   69    0    0   69 /  500    33.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   70    0    0   70 /  500    34.0s Saturn_lockfree.Lazy_queue concurrent
[ ]   71    0    0   71 /  500    34.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   72    0    0   72 /  500    35.3s Saturn_lockfree.Lazy_queue concurrent
[ ]   73    0    0   73 /  500    35.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   74    0    0   74 /  500    35.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   76    0    0   76 /  500    35.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   77    0    0   77 /  500    35.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   78    0    0   78 /  500    36.2s Saturn_lockfree.Lazy_queue concurrent
[ ]   80    0    0   80 /  500    36.4s Saturn_lockfree.Lazy_queue concurrent
[ ]   82    0    0   82 /  500    36.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   84    0    0   84 /  500    36.6s Saturn_lockfree.Lazy_queue concurrent
[ ]   86    0    0   86 /  500    36.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   88    0    0   88 /  500    37.1s Saturn_lockfree.Lazy_queue concurrent
[ ]   90    0    0   90 /  500    37.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   91    0    0   91 /  500    37.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   92    0    0   92 /  500    38.3s Saturn_lockfree.Lazy_queue concurrent
[ ]   93    0    0   93 /  500    39.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   94    0    0   94 /  500    40.7s Saturn_lockfree.Lazy_queue concurrent
[ ]   96    0    0   96 /  500    40.9s Saturn_lockfree.Lazy_queue concurrent
[ ]   97    0    0   97 /  500    41.5s Saturn_lockfree.Lazy_queue concurrent
[ ]   98    0    0   98 /  500    41.8s Saturn_lockfree.Lazy_queue concurrent
[ ]   99    0    0   99 /  500    42.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  100    0    0  100 /  500    42.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  101    0    0  101 /  500    42.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  102    0    0  102 /  500    43.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  103    0    0  103 /  500    44.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  104    0    0  104 /  500    45.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  105    0    0  105 /  500    46.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  106    0    0  106 /  500    46.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  107    0    0  107 /  500    47.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  108    0    0  108 /  500    47.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  109    0    0  109 /  500    48.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  110    0    0  110 /  500    48.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  111    0    0  111 /  500    49.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  112    0    0  112 /  500    50.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  113    0    0  113 /  500    50.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  114    0    0  114 /  500    50.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  115    0    0  115 /  500    50.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  116    0    0  116 /  500    51.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  118    0    0  118 /  500    51.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  120    0    0  120 /  500    51.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  122    0    0  122 /  500    51.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  126    0    0  126 /  500    51.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  128    0    0  128 /  500    52.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  129    0    0  129 /  500    53.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  130    0    0  130 /  500    53.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  132    0    0  132 /  500    54.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  134    0    0  134 /  500    54.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  135    0    0  135 /  500    54.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  136    0    0  136 /  500    54.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  137    0    0  137 /  500    55.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  139    0    0  139 /  500    55.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  140    0    0  140 /  500    56.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  141    0    0  141 /  500    56.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  142    0    0  142 /  500    57.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  143    0    0  143 /  500    58.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  144    0    0  144 /  500    58.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  145    0    0  145 /  500    59.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  146    0    0  146 /  500    59.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  147    0    0  147 /  500    59.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  148    0    0  148 /  500    60.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  149    0    0  149 /  500    60.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  150    0    0  150 /  500    61.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  151    0    0  151 /  500    61.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  152    0    0  152 /  500    61.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  153    0    0  153 /  500    62.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  154    0    0  154 /  500    63.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  155    0    0  155 /  500    63.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  156    0    0  156 /  500    64.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  157    0    0  157 /  500    65.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  158    0    0  158 /  500    66.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  159    0    0  159 /  500    68.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  160    0    0  160 /  500    69.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  161    0    0  161 /  500    70.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  162    0    0  162 /  500    71.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  163    0    0  163 /  500    72.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  164    0    0  164 /  500    73.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  165    0    0  165 /  500    74.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  166    0    0  166 /  500    75.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  167    0    0  167 /  500    75.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  168    0    0  168 /  500    77.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  169    0    0  169 /  500    77.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  170    0    0  170 /  500    78.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  171    0    0  171 /  500    78.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  172    0    0  172 /  500    78.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  173    0    0  173 /  500    79.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  174    0    0  174 /  500    80.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  175    0    0  175 /  500    80.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  176    0    0  176 /  500    80.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  177    0    0  177 /  500    81.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  178    0    0  178 /  500    82.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  179    0    0  179 /  500    82.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  180    0    0  180 /  500    83.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  181    0    0  181 /  500    84.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  182    0    0  182 /  500    85.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  183    0    0  183 /  500    86.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  184    0    0  184 /  500    87.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  185    0    0  185 /  500    87.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  186    0    0  186 /  500    88.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  187    0    0  187 /  500    88.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  188    0    0  188 /  500    88.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  189    0    0  189 /  500    88.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  190    0    0  190 /  500    89.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  191    0    0  191 /  500    89.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  192    0    0  192 /  500    90.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  193    0    0  193 /  500    90.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  194    0    0  194 /  500    91.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  195    0    0  195 /  500    91.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  196    0    0  196 /  500    92.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  197    0    0  197 /  500    93.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  198    0    0  198 /  500    93.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  199    0    0  199 /  500    94.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  200    0    0  200 /  500    95.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  201    0    0  201 /  500    96.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  202    0    0  202 /  500    96.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  203    0    0  203 /  500    97.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  204    0    0  204 /  500    98.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  205    0    0  205 /  500    99.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  206    0    0  206 /  500   100.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  207    0    0  207 /  500   102.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  208    0    0  208 /  500   104.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  209    0    0  209 /  500   105.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  210    0    0  210 /  500   106.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  211    0    0  211 /  500   107.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  212    0    0  212 /  500   108.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  213    0    0  213 /  500   110.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  214    0    0  214 /  500   111.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  215    0    0  215 /  500   112.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  216    0    0  216 /  500   113.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  217    0    0  217 /  500   114.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  218    0    0  218 /  500   115.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  219    0    0  219 /  500   116.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  220    0    0  220 /  500   116.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  221    0    0  221 /  500   117.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  222    0    0  222 /  500   118.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  223    0    0  223 /  500   119.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  224    0    0  224 /  500   119.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  225    0    0  225 /  500   120.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  226    0    0  226 /  500   121.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  227    0    0  227 /  500   121.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  228    0    0  228 /  500   122.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  229    0    0  229 /  500   123.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  230    0    0  230 /  500   123.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  231    0    0  231 /  500   123.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  232    0    0  232 /  500   124.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  233    0    0  233 /  500   124.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  234    0    0  234 /  500   125.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  235    0    0  235 /  500   126.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  236    0    0  236 /  500   126.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  237    0    0  237 /  500   127.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  238    0    0  238 /  500   127.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  239    0    0  239 /  500   128.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  240    0    0  240 /  500   128.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  241    0    0  241 /  500   128.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  242    0    0  242 /  500   129.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  243    0    0  243 /  500   129.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  244    0    0  244 /  500   130.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  245    0    0  245 /  500   130.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  246    0    0  246 /  500   130.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  247    0    0  247 /  500   131.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  248    0    0  248 /  500   131.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  249    0    0  249 /  500   131.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  250    0    0  250 /  500   132.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  251    0    0  251 /  500   132.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  252    0    0  252 /  500   132.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  253    0    0  253 /  500   133.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  254    0    0  254 /  500   133.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  255    0    0  255 /  500   133.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  256    0    0  256 /  500   133.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  257    0    0  257 /  500   134.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  258    0    0  258 /  500   134.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  259    0    0  259 /  500   135.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  260    0    0  260 /  500   135.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  261    0    0  261 /  500   135.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  262    0    0  262 /  500   135.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  263    0    0  263 /  500   136.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  264    0    0  264 /  500   136.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  265    0    0  265 /  500   136.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  266    0    0  266 /  500   137.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  267    0    0  267 /  500   137.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  268    0    0  268 /  500   137.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  269    0    0  269 /  500   137.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  270    0    0  270 /  500   138.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  271    0    0  271 /  500   138.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  272    0    0  272 /  500   139.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  273    0    0  273 /  500   139.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  274    0    0  274 /  500   139.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  275    0    0  275 /  500   139.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  276    0    0  276 /  500   140.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  278    0    0  278 /  500   140.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  279    0    0  279 /  500   140.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  280    0    0  280 /  500   141.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  281    0    0  281 /  500   141.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  283    0    0  283 /  500   141.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  284    0    0  284 /  500   141.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  285    0    0  285 /  500   142.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  286    0    0  286 /  500   142.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  287    0    0  287 /  500   143.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  288    0    0  288 /  500   143.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  289    0    0  289 /  500   144.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  290    0    0  290 /  500   144.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  291    0    0  291 /  500   144.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  292    0    0  292 /  500   145.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  293    0    0  293 /  500   145.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  294    0    0  294 /  500   145.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  295    0    0  295 /  500   146.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  296    0    0  296 /  500   146.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  297    0    0  297 /  500   147.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  298    0    0  298 /  500   147.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  299    0    0  299 /  500   148.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  301    0    0  301 /  500   148.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  302    0    0  302 /  500   148.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  303    0    0  303 /  500   148.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  304    0    0  304 /  500   149.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  305    0    0  305 /  500   149.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  306    0    0  306 /  500   149.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  307    0    0  307 /  500   150.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  308    0    0  308 /  500   150.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  309    0    0  309 /  500   150.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  310    0    0  310 /  500   151.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  312    0    0  312 /  500   151.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  313    0    0  313 /  500   151.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  314    0    0  314 /  500   151.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  315    0    0  315 /  500   152.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  316    0    0  316 /  500   152.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  318    0    0  318 /  500   152.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  319    0    0  319 /  500   152.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  320    0    0  320 /  500   153.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  321    0    0  321 /  500   153.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  322    0    0  322 /  500   153.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  323    0    0  323 /  500   154.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  324    0    0  324 /  500   154.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  325    0    0  325 /  500   154.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  326    0    0  326 /  500   154.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  327    0    0  327 /  500   155.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  328    0    0  328 /  500   155.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  329    0    0  329 /  500   155.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  330    0    0  330 /  500   156.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  331    0    0  331 /  500   157.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  332    0    0  332 /  500   157.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  333    0    0  333 /  500   158.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  334    0    0  334 /  500   158.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  335    0    0  335 /  500   158.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  336    0    0  336 /  500   159.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  337    0    0  337 /  500   159.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  338    0    0  338 /  500   160.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  339    0    0  339 /  500   161.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  340    0    0  340 /  500   162.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  341    0    0  341 /  500   162.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  342    0    0  342 /  500   163.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  343    0    0  343 /  500   163.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  344    0    0  344 /  500   163.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  345    0    0  345 /  500   164.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  346    0    0  346 /  500   164.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  347    0    0  347 /  500   164.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  348    0    0  348 /  500   165.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  349    0    0  349 /  500   165.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  350    0    0  350 /  500   165.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  351    0    0  351 /  500   166.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  352    0    0  352 /  500   166.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  354    0    0  354 /  500   166.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  355    0    0  355 /  500   166.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  356    0    0  356 /  500   166.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  357    0    0  357 /  500   166.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  358    0    0  358 /  500   167.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  359    0    0  359 /  500   167.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  360    0    0  360 /  500   167.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  362    0    0  362 /  500   167.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  363    0    0  363 /  500   168.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  364    0    0  364 /  500   168.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  365    0    0  365 /  500   168.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  367    0    0  367 /  500   168.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  369    0    0  369 /  500   168.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  372    0    0  372 /  500   169.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  373    0    0  373 /  500   169.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  375    0    0  375 /  500   169.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  378    0    0  378 /  500   169.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  381    0    0  381 /  500   170.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  384    0    0  384 /  500   170.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  386    0    0  386 /  500   170.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  387    0    0  387 /  500   171.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  388    0    0  388 /  500   171.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  389    0    0  389 /  500   171.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  391    0    0  391 /  500   172.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  392    0    0  392 /  500   172.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  393    0    0  393 /  500   172.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  396    0    0  396 /  500   172.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  398    0    0  398 /  500   172.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  399    0    0  399 /  500   172.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  400    0    0  400 /  500   173.0s Saturn_lockfree.Lazy_queue concurrent
[ ]  401    0    0  401 /  500   173.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  404    0    0  404 /  500   173.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  405    0    0  405 /  500   174.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  409    0    0  409 /  500   174.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  414    0    0  414 /  500   174.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  416    0    0  416 /  500   174.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  421    0    0  421 /  500   174.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  424    0    0  424 /  500   174.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  427    0    0  427 /  500   175.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  431    0    0  431 /  500   175.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  436    0    0  436 /  500   175.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  440    0    0  440 /  500   175.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  442    0    0  442 /  500   175.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  447    0    0  447 /  500   175.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  450    0    0  450 /  500   176.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  451    0    0  451 /  500   176.2s Saturn_lockfree.Lazy_queue concurrent
[ ]  454    0    0  454 /  500   176.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  458    0    0  458 /  500   176.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  462    0    0  462 /  500   176.6s Saturn_lockfree.Lazy_queue concurrent
[ ]  465    0    0  465 /  500   176.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  470    0    0  470 /  500   176.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  473    0    0  473 /  500   176.9s Saturn_lockfree.Lazy_queue concurrent
[ ]  475    0    0  475 /  500   177.1s Saturn_lockfree.Lazy_queue concurrent
[ ]  477    0    0  477 /  500   177.3s Saturn_lockfree.Lazy_queue concurrent
[ ]  481    0    0  481 /  500   177.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  487    0    0  487 /  500   177.5s Saturn_lockfree.Lazy_queue concurrent
[ ]  491    0    0  491 /  500   177.7s Saturn_lockfree.Lazy_queue concurrent
[ ]  495    0    0  495 /  500   177.8s Saturn_lockfree.Lazy_queue concurrent
[ ]  498    0    0  498 /  500   178.4s Saturn_lockfree.Lazy_queue concurrent
[ ]  499    0    0  499 /  500   178.8s Saturn_lockfree.Lazy_queue concurrent
[]  500    0    0  500 /  500   178.8s Saturn_lockfree.Lazy_queue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 369439699
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.michael_scott_queue_safe sequential (generating)
[]  500    0    0  500 /  500     0.0s Saturn_lockfree.michael_scott_queue_safe sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    1    0    0    1 /  500     0.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    2    0    0    2 /  500     1.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    30    0    3 /  500     4.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    4    0    0    4 /  500     4.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    5    0    0    5 /  500     4.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    6    0    0    6 /  500     6.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    7    0    0    7 /  500     6.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    8    0    0    8 /  500     6.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    9    0    0    9 /  500     7.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   10    0    0   10 /  500     7.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   11    0    0   11 /  500     8.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   12    0    0   12 /  500     9.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   13    0    0   13 /  500     9.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   14    0    0   14 /  500    10.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   15    0    0   15 /  500    10.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   16    0    0   16 /  500    10.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   17    0    0   17 /  500    11.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   18    0    0   18 /  500    12.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   19    0    0   19 /  500    12.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   20    0    0   20 /  500    13.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   21    0    0   21 /  500    14.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   22    0    0   22 /  500    16.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   23    0    0   23 /  500    16.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   24    0    0   24 /  500    17.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   25    0    0   25 /  500    18.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   26    0    0   26 /  500    19.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   27    0    0   27 /  500    19.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   28    0    0   28 /  500    20.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   29    0    0   29 /  500    20.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   30    0    0   30 /  500    20.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   31    0    0   31 /  500    21.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   32    0    0   32 /  500    21.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   34    0    0   34 /  500    21.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   35    0    0   35 /  500    22.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   36    0    0   36 /  500    22.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   37    0    0   37 /  500    23.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   38    0    0   38 /  500    24.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   39    0    0   39 /  500    24.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   40    0    0   40 /  500    25.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   41    0    0   41 /  500    25.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   42    0    0   42 /  500    26.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   43    0    0   43 /  500    26.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   44    0    0   44 /  500    26.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   46    0    0   46 /  500    26.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   47    0    0   47 /  500    26.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   48    0    0   48 /  500    27.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   49    0    0   49 /  500    27.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   50    0    0   50 /  500    27.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   51    0    0   51 /  500    28.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   52    0    0   52 /  500    28.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   54    0    0   54 /  500    28.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   56    0    0   56 /  500    29.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   57    0    0   57 /  500    29.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   60    0    0   60 /  500    29.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   61    0    0   61 /  500    30.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   62    0    0   62 /  500    31.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   63    0    0   63 /  500    31.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   64    0    0   64 /  500    31.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   65    0    0   65 /  500    31.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   66    0    0   66 /  500    31.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   67    0    0   67 /  500    32.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   68    0    0   68 /  500    33.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   69    0    0   69 /  500    33.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   70    0    0   70 /  500    34.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   71    0    0   71 /  500    34.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   72    0    0   72 /  500    34.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   73    0    0   73 /  500    34.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   74    0    0   74 /  500    35.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   76    0    0   76 /  500    35.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   78    0    0   78 /  500    35.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   79    0    0   79 /  500    35.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   81    0    0   81 /  500    35.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   83    0    0   83 /  500    35.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   84    0    0   84 /  500    35.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   86    0    0   86 /  500    36.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   87    0    0   87 /  500    36.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   89    0    0   89 /  500    36.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   90    0    0   90 /  500    36.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   91    0    0   91 /  500    36.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   92    0    0   92 /  500    37.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   93    0    0   93 /  500    37.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   94    0    0   94 /  500    37.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   95    0    0   95 /  500    38.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   96    0    0   96 /  500    39.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   98    0    0   98 /  500    39.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  100    0    0  100 /  500    39.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  101    0    0  101 /  500    39.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  103    0    0  103 /  500    39.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  104    0    0  104 /  500    40.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  105    0    0  105 /  500    40.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  106    0    0  106 /  500    41.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  107    0    0  107 /  500    41.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  108    0    0  108 /  500    41.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  109    0    0  109 /  500    42.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  110    0    0  110 /  500    43.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  111    0    0  111 /  500    44.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  112    0    0  112 /  500    45.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  113    0    0  113 /  500    46.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  114    0    0  114 /  500    46.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  115    0    0  115 /  500    47.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  116    0    0  116 /  500    47.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  117    0    0  117 /  500    47.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  118    0    0  118 /  500    48.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  119    0    0  119 /  500    49.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  120    0    0  120 /  500    49.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  121    0    0  121 /  500    49.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  122    0    0  122 /  500    50.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  124    0    0  124 /  500    50.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  126    0    0  126 /  500    50.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  130    0    0  130 /  500    50.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  133    0    0  133 /  500    51.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  135    0    0  135 /  500    51.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  136    0    0  136 /  500    51.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  140    0    0  140 /  500    51.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  142    0    0  142 /  500    51.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  145    0    0  145 /  500    52.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  148    0    0  148 /  500    52.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  151    0    0  151 /  500    52.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  154    0    0  154 /  500    52.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  157    0    0  157 /  500    52.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  162    0    0  162 /  500    53.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  166    0    0  166 /  500    53.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  170    0    0  170 /  500    53.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  173    0    0  173 /  500    53.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  174    0    0  174 /  500    53.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  175    0    0  175 /  500    53.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  176    0    0  176 /  500    54.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  177    0    0  177 /  500    54.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  178    0    0  178 /  500    54.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  179    0    0  179 /  500    54.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  181    0    0  181 /  500    54.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  184    0    0  184 /  500    54.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  186    0    0  186 /  500    55.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  187    0    0  187 /  500    55.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  188    0    0  188 /  500    56.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  189    0    0  189 /  500    57.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  190    0    0  190 /  500    57.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  191    0    0  191 /  500    57.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  193    0    0  193 /  500    57.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  194    0    0  194 /  500    58.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  195    0    0  195 /  500    58.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  196    0    0  196 /  500    58.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  197    0    0  197 /  500    58.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  198    0    0  198 /  500    59.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  199    0    0  199 /  500    59.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  200    0    0  200 /  500    59.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  202    0    0  202 /  500    59.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  203    0    0  203 /  500    59.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  204    0    0  204 /  500    60.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  205    0    0  205 /  500    60.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  206    0    0  206 /  500    61.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  207    0    0  207 /  500    62.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  208    0    0  208 /  500    62.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  209    0    0  209 /  500    62.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  210    0    0  210 /  500    64.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  211    0    0  211 /  500    65.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  212    0    0  212 /  500    66.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  213    0    0  213 /  500    67.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  214    0    0  214 /  500    68.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  215    0    0  215 /  500    69.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  216    0    0  216 /  500    70.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  217    0    0  217 /  500    71.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  218    0    0  218 /  500    72.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  219    0    0  219 /  500    74.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  220    0    0  220 /  500    75.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  221    0    0  221 /  500    76.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  222    0    0  222 /  500    77.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  223    0    0  223 /  500    78.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  224    0    0  224 /  500    79.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  225    0    0  225 /  500    80.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  226    0    0  226 /  500    81.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  227    0    0  227 /  500    82.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  228    0    0  228 /  500    83.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  229    0    0  229 /  500    84.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  230    0    0  230 /  500    85.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  231    0    0  231 /  500    86.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  232    0    0  232 /  500    86.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  233    0    0  233 /  500    87.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  234    0    0  234 /  500    87.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  235    0    0  235 /  500    87.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  236    0    0  236 /  500    88.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  237    0    0  237 /  500    88.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  238    0    0  238 /  500    89.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  239    0    0  239 /  500    89.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  240    0    0  240 /  500    90.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  241    0    0  241 /  500    90.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  242    0    0  242 /  500    92.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  243    0    0  243 /  500    93.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  244    0    0  244 /  500    95.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  245    0    0  245 /  500    97.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  246    0    0  246 /  500    98.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  247    0    0  247 /  500    99.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  248    0    0  248 /  500   100.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  249    0    0  249 /  500   101.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  250    0    0  250 /  500   102.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  251    0    0  251 /  500   103.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  252    0    0  252 /  500   104.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  253    0    0  253 /  500   105.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  254    0    0  254 /  500   106.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  255    0    0  255 /  500   107.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  256    0    0  256 /  500   108.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  257    0    0  257 /  500   109.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  258    0    0  258 /  500   110.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  259    0    0  259 /  500   110.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  260    0    0  260 /  500   111.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  261    0    0  261 /  500   112.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  262    0    0  262 /  500   113.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  263    0    0  263 /  500   113.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  264    0    0  264 /  500   114.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  265    0    0  265 /  500   114.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  266    0    0  266 /  500   115.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  267    0    0  267 /  500   116.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  268    0    0  268 /  500   116.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  269    0    0  269 /  500   116.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  270    0    0  270 /  500   117.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  271    0    0  271 /  500   117.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  272    0    0  272 /  500   117.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  273    0    0  273 /  500   117.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  274    0    0  274 /  500   118.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  275    0    0  275 /  500   118.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  276    0    0  276 /  500   119.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  277    0    0  277 /  500   119.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  278    0    0  278 /  500   119.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  279    0    0  279 /  500   119.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  280    0    0  280 /  500   119.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  281    0    0  281 /  500   120.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  282    0    0  282 /  500   120.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  283    0    0  283 /  500   120.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  284    0    0  284 /  500   120.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  286    0    0  286 /  500   120.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  287    0    0  287 /  500   120.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  288    0    0  288 /  500   121.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  289    0    0  289 /  500   121.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  290    0    0  290 /  500   121.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  292    0    0  292 /  500   121.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  293    0    0  293 /  500   122.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  294    0    0  294 /  500   123.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  295    0    0  295 /  500   123.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  296    0    0  296 /  500   123.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  297    0    0  297 /  500   123.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  298    0    0  298 /  500   124.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  299    0    0  299 /  500   124.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  300    0    0  300 /  500   124.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  301    0    0  301 /  500   124.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  302    0    0  302 /  500   125.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  303    0    0  303 /  500   125.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  304    0    0  304 /  500   125.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  305    0    0  305 /  500   126.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  306    0    0  306 /  500   126.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  307    0    0  307 /  500   127.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  308    0    0  308 /  500   127.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  309    0    0  309 /  500   127.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  310    0    0  310 /  500   127.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  311    0    0  311 /  500   128.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  312    0    0  312 /  500   128.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  313    0    0  313 /  500   128.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  314    0    0  314 /  500   129.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  315    0    0  315 /  500   129.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  316    0    0  316 /  500   129.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  317    0    0  317 /  500   130.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  318    0    0  318 /  500   130.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  319    0    0  319 /  500   130.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  320    0    0  320 /  500   131.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  321    0    0  321 /  500   131.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  322    0    0  322 /  500   131.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  323    0    0  323 /  500   131.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  324    0    0  324 /  500   132.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  325    0    0  325 /  500   132.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  326    0    0  326 /  500   132.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  327    0    0  327 /  500   133.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  328    0    0  328 /  500   133.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  329    0    0  329 /  500   133.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  330    0    0  330 /  500   134.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  331    0    0  331 /  500   134.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  332    0    0  332 /  500   134.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  333    0    0  333 /  500   134.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  334    0    0  334 /  500   135.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  336    0    0  336 /  500   135.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  337    0    0  337 /  500   135.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  338    0    0  338 /  500   135.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  339    0    0  339 /  500   135.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  340    0    0  340 /  500   136.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  341    0    0  341 /  500   136.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  342    0    0  342 /  500   137.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  343    0    0  343 /  500   137.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  344    0    0  344 /  500   137.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  346    0    0  346 /  500   137.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  347    0    0  347 /  500   137.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  348    0    0  348 /  500   138.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  350    0    0  350 /  500   139.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  351    0    0  351 /  500   139.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  353    0    0  353 /  500   139.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  354    0    0  354 /  500   139.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  356    0    0  356 /  500   139.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  357    0    0  357 /  500   140.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  358    0    0  358 /  500   140.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  359    0    0  359 /  500   140.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  360    0    0  360 /  500   141.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  361    0    0  361 /  500   141.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  362    0    0  362 /  500   142.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  363    0    0  363 /  500   143.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  364    0    0  364 /  500   143.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  365    0    0  365 /  500   144.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  366    0    0  366 /  500   144.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  367    0    0  367 /  500   144.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  368    0    0  368 /  500   145.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  369    0    0  369 /  500   145.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  370    0    0  370 /  500   145.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  371    0    0  371 /  500   146.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  372    0    0  372 /  500   146.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  373    0    0  373 /  500   146.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  374    0    0  374 /  500   146.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  375    0    0  375 /  500   147.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  376    0    0  376 /  500   148.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  377    0    0  377 /  500   148.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  378    0    0  378 /  500   149.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  379    0    0  379 /  500   149.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  380    0    0  380 /  500   150.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  381    0    0  381 /  500   150.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  382    0    0  382 /  500   151.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  383    0    0  383 /  500   151.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  384    0    0  384 /  500   152.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  385    0    0  385 /  500   152.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  386    0    0  386 /  500   152.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  387    0    0  387 /  500   152.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  388    0    0  388 /  500   153.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  389    0    0  389 /  500   153.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  390    0    0  390 /  500   154.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  391    0    0  391 /  500   154.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  392    0    0  392 /  500   154.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  393    0    0  393 /  500   155.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  394    0    0  394 /  500   155.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  395    0    0  395 /  500   156.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  396    0    0  396 /  500   157.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  397    0    0  397 /  500   158.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  398    0    0  398 /  500   158.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  399    0    0  399 /  500   159.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  400    0    0  400 /  500   159.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  401    0    0  401 /  500   160.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  402    0    0  402 /  500   160.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  403    0    0  403 /  500   161.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  404    0    0  404 /  500   161.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  405    0    0  405 /  500   162.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  406    0    0  406 /  500   162.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  407    0    0  407 /  500   162.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  408    0    0  408 /  500   163.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  409    0    0  409 /  500   163.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  410    0    0  410 /  500   164.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  411    0    0  411 /  500   164.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  412    0    0  412 /  500   165.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  413    0    0  413 /  500   165.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  414    0    0  414 /  500   166.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  415    0    0  415 /  500   167.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  417    0    0  417 /  500   167.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  419    0    0  419 /  500   167.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  422    0    0  422 /  500   167.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  424    0    0  424 /  500   167.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  426    0    0  426 /  500   167.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  427    0    0  427 /  500   168.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  428    0    0  428 /  500   168.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  431    0    0  431 /  500   168.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  433    0    0  433 /  500   168.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  436    0    0  436 /  500   168.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  439    0    0  439 /  500   169.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  441    0    0  441 /  500   170.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  442    0    0  442 /  500   170.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  443    0    0  443 /  500   171.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  444    0    0  444 /  500   172.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  447    0    0  447 /  500   172.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  448    0    0  448 /  500   172.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  451    0    0  451 /  500   172.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  453    0    0  453 /  500   173.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  455    0    0  455 /  500   173.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  457    0    0  457 /  500   173.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  459    0    0  459 /  500   173.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  462    0    0  462 /  500   173.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  464    0    0  464 /  500   173.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  467    0    0  467 /  500   174.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  470    0    0  470 /  500   174.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  472    0    0  472 /  500   174.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  473    0    0  473 /  500   174.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  474    0    0  474 /  500   175.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  480    0    0  480 /  500   175.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  483    0    0  483 /  500   175.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  485    0    0  485 /  500   175.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  487    0    0  487 /  500   175.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  488    0    0  488 /  500   175.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  491    0    0  491 /  500   176.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  496    0    0  496 /  500   176.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[]  500    0    0  500 /  500   176.1s Saturn_lockfree.michael_scott_queue_safe concurrent
================================================================================
success (ran 2 tests)
generated error fail pass / total     time test name
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[]  500    0    0  500 /  500     0.0s Saturn_lockfree.michael_scott_queue_unsafe sequential
[ ]    0    0    0    0 /  500     0.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]    2    0    0    2 /  500     0.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]    3    0    0    3 /  500     0.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]    6    0    0    6 /  500     0.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]    9    0    0    9 /  500     1.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   12    0    0   12 /  500     1.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   16    0    0   16 /  500     1.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   17    0    0   17 /  500     1.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   21    0    0   21 /  500     1.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   25    0    0   25 /  500     1.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   26    0    0   26 /  500     2.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   32    0    0   32 /  500     2.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   38    0    0   38 /  500     2.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   41    0    0   41 /  500     2.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   46    0    0   46 /  500     2.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   52    0    0   52 /  500     2.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   57    0    0   57 /  500     3.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   60    0    0   60 /  500     3.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   64    0    0   64 /  500     3.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   67    0    0   67 /  500     3.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   68    0    0   68 /  500     4.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   73    0    0   73 /  500     4.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   79    0    0   79 /  500     4.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   84    0    0   84 /  500     4.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   88    0    0   88 /  500     4.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   91    0    0   91 /  500     4.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   98    0    0   98 /  500     4.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  104    0    0  104 /  500     4.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  108    0    0  108 /  500     5.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  109    0    0  109 /  500     5.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  111    0    0  111 /  500     5.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  112    0    0  112 /  500     5.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  113    0    0  113 /  500     5.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  115    0    0  115 /  500     5.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  119    0    0  119 /  500     6.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  122    0    0  122 /  500     6.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  125    0    0  125 /  500     6.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  130    0    0  130 /  500     6.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  133    0    0  133 /  500     7.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  136    0    0  136 /  500     7.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  142    0    0  142 /  500     7.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  147    0    0  147 /  500     7.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  151    0    0  151 /  500     8.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  156    0    0  156 /  500     8.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  157    0    0  157 /  500     8.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  165    0    0  165 /  500     8.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  172    0    0  172 /  500     8.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  177    0    0  177 /  500     8.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  183    0    0  183 /  500     8.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  186    0    0  186 /  500     9.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  187    0    0  187 /  500     9.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  188    0    0  188 /  500     9.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  190    0    0  190 /  500     9.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  193    0    0  193 /  500     9.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  196    0    0  196 /  500    10.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  198    0    0  198 /  500    10.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  202    0    0  202 /  500    10.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  205    0    0  205 /  500    10.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  209    0    0  209 /  500    10.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  211    0    0  211 /  500    10.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  216    0    0  216 /  500    11.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  221    0    0  221 /  500    11.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  226    0    0  226 /  500    11.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  229    0    0  229 /  500    11.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  235    0    0  235 /  500    11.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  237    0    0  237 /  500    11.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  241    0    0  241 /  500    11.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  245    0    0  245 /  500    12.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  247    0    0  247 /  500    12.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  248    0    0  248 /  500    12.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  253    0    0  253 /  500    12.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  257    0    0  257 /  500    13.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  260    0    0  260 /  500    13.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  264    0    0  264 /  500    13.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  265    0    0  265 /  500    13.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  266    0    0  266 /  500    13.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  267    0    0  267 /  500    14.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  268    0    0  268 /  500    14.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  270    0    0  270 /  500    15.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  273    0    0  273 /  500    15.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  278    0    0  278 /  500    15.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  282    0    0  282 /  500    15.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  287    0    0  287 /  500    15.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  291    0    0  291 /  500    15.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  293    0    0  293 /  500    16.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  299    0    0  299 /  500    16.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  305    0    0  305 /  500    16.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  306    0    0  306 /  500    16.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  311    0    0  311 /  500    16.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  312    0    0  312 /  500    17.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  316    0    0  316 /  500    17.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  319    0    0  319 /  500    18.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  321    0    0  321 /  500    18.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  326    0    0  326 /  500    18.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  329    0    0  329 /  500    19.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  331    0    0  331 /  500    19.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  334    0    0  334 /  500    19.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  339    0    0  339 /  500    19.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  341    0    0  341 /  500    19.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  344    0    0  344 /  500    19.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  348    0    0  348 /  500    20.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  353    0    0  353 /  500    20.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  359    0    0  359 /  500    20.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  365    0    0  365 /  500    20.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  371    0    0  371 /  500    20.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  374    0    0  374 /  500    20.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  379    0    0  379 /  500    20.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  382    0    0  382 /  500    20.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  386    0    0  386 /  500    21.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  394    0    0  394 /  500    21.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  395    0    0  395 /  500    21.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  396    0    0  396 /  500    21.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  400    0    0  400 /  500    21.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  402    0    0  402 /  500    21.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  405    0    0  405 /  500    21.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  408    0    0  408 /  500    22.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  411    0    0  411 /  500    22.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  414    0    0  414 /  500    22.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  415    0    0  415 /  500    22.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  422    0    0  422 /  500    22.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  428    0    0  428 /  500    23.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  433    0    0  433 /  500    23.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  437    0    0  437 /  500    23.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  439    0    0  439 /  500    23.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  441    0    0  441 /  500    24.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  442    0    0  442 /  500    24.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  443    0    0  443 /  500    24.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  444    0    0  444 /  500    24.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  448    0    0  448 /  500    24.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  453    0    0  453 /  500    25.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  455    0    0  455 /  500    25.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  457    0    0  457 /  500    25.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  460    0    0  460 /  500    25.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  464    0    0  464 /  500    25.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  468    0    0  468 /  500    25.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  472    0    0  472 /  500    26.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  473    0    0  473 /  500    26.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  474    0    0  474 /  500    26.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  480    0    0  480 /  500    26.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  486    0    0  486 /  500    26.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  488    0    0  488 /  500    26.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  492    0    0  492 /  500    27.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  498    0    0  498 /  500    27.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[]  500    0    0  500 /  500    27.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 434224269
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Lockfree.Skiplist sequential
[ ]    0    0    0    0 / 1000     0.0s Lockfree.Skiplist sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Lockfree.Skiplist sequential
[ ]    0    0    0    0 / 1000     0.0s Lockfree.Skiplist concurrent
[ ]    1    0    0    1 / 1000     1.7s Lockfree.Skiplist concurrent
[ ]    2    0    0    2 / 1000     2.8s Lockfree.Skiplist concurrent
[ ]    3    0    0    3 / 1000     3.8s Lockfree.Skiplist concurrent
[ ]    4    0    0    4 / 1000     4.8s Lockfree.Skiplist concurrent
[ ]    5    0    0    5 / 1000     5.1s Lockfree.Skiplist concurrent
[ ]    6    0    0    6 / 1000     5.4s Lockfree.Skiplist concurrent
[ ]    7    0    0    7 / 1000     7.3s Lockfree.Skiplist concurrent
[ ]    8    0    0    8 / 1000     7.6s Lockfree.Skiplist concurrent
[ ]    9    0    0    9 / 1000     8.1s Lockfree.Skiplist concurrent
[ ]   10    0    0   10 / 1000     8.3s Lockfree.Skiplist concurrent
[ ]   11    0    0   11 / 1000     8.5s Lockfree.Skiplist concurrent
[ ]   12    0    0   12 / 1000     8.9s Lockfree.Skiplist concurrent
[ ]   13    0    0   13 / 1000     9.5s Lockfree.Skiplist concurrent
[ ]   14    0    0   14 / 1000    11.2s Lockfree.Skiplist concurrent
[ ]   15    0    0   15 / 1000    11.4s Lockfree.Skiplist concurrent
[ ]   16    0    0   16 / 1000    11.9s Lockfree.Skiplist concurrent
[ ]   17    0    0   17 / 1000    14.2s Lockfree.Skiplist concurrent
[ ]   18    0    0   18 / 1000    16.9s Lockfree.Skiplist concurrent
[ ]   19    0    0   19 / 1000    17.1s Lockfree.Skiplist concurrent
[ ]   20    0    0   20 / 1000    17.2s Lockfree.Skiplist concurrent
[ ]   21    0    0   21 / 1000    17.4s Lockfree.Skiplist concurrent
[ ]   22    0    0   22 / 1000    17.6s Lockfree.Skiplist concurrent
[ ]   23    0    0   23 / 1000    17.8s Lockfree.Skiplist concurrent
[ ]   24    0    0   24 / 1000    18.1s Lockfree.Skiplist concurrent
[ ]   25    0    0   25 / 1000    18.3s Lockfree.Skiplist concurrent
[ ]   26    0    0   26 / 1000    18.6s Lockfree.Skiplist concurrent
[ ]   27    0    0   27 / 1000    18.8s Lockfree.Skiplist concurrent
[ ]   28    0    0   28 / 1000    19.0s Lockfree.Skiplist concurrent
[ ]   29    0    0   29 / 1000    19.3s Lockfree.Skiplist concurrent
[ ]   30    0    0   30 / 1000    20.0s Lockfree.Skiplist concurrent
[ ]   31    0    0   31 / 1000    20.8s Lockfree.Skiplist concurrent
[ ]   32    0    0   32 / 1000    21.2s Lockfree.Skiplist concurrent
[ ]   33    0    0   33 / 1000    21.3s Lockfree.Skiplist concurrent
[ ]   34    0    0   34 / 1000    21.7s Lockfree.Skiplist concurrent
[ ]   35    0    0   35 / 1000    22.0s Lockfree.Skiplist concurrent
[ ]   36    0    0   36 / 1000    22.4s Lockfree.Skiplist concurrent
[ ]   37    0    0   37 / 1000    23.0s Lockfree.Skiplist concurrent
[ ]   38    0    0   38 / 1000    23.4s Lockfree.Skiplist concurrent
[ ]   39    0    0   39 / 1000    24.1s Lockfree.Skiplist concurrent
[ ]   40    0    0   40 / 1000    24.6s Lockfree.Skiplist concurrent
[ ]   41    0    0   41 / 1000    25.1s Lockfree.Skiplist concurrent
[ ]   42    0    0   42 / 1000    25.3s Lockfree.Skiplist concurrent
[ ]   43    0    0   43 / 1000    25.4s Lockfree.Skiplist concurrent
[ ]   44    0    0   44 / 1000    25.6s Lockfree.Skiplist concurrent
[ ]   45    0    0   45 / 1000    25.9s Lockfree.Skiplist concurrent
[ ]   46    0    0   46 / 1000    26.5s Lockfree.Skiplist concurrent
[ ]   47    0    0   47 / 1000    26.7s Lockfree.Skiplist concurrent
[ ]   48    0    0   48 / 1000    26.8s Lockfree.Skiplist concurrent
[ ]   49    0    0   49 / 1000    27.1s Lockfree.Skiplist concurrent
[ ]   50    0    0   50 / 1000    27.4s Lockfree.Skiplist concurrent
[ ]   51    0    0   51 / 1000    27.6s Lockfree.Skiplist concurrent
[ ]   52    0    0   52 / 1000    28.0s Lockfree.Skiplist concurrent
[ ]   54    0    0   54 / 1000    29.1s Lockfree.Skiplist concurrent
[ ]   56    0    0   56 / 1000    29.3s Lockfree.Skiplist concurrent
[ ]   58    0    0   58 / 1000    29.5s Lockfree.Skiplist concurrent
[ ]   59    0    0   59 / 1000    30.6s Lockfree.Skiplist concurrent
[ ]   60    0    0   60 / 1000    31.1s Lockfree.Skiplist concurrent
[ ]   61    0    0   61 / 1000    31.4s Lockfree.Skiplist concurrent
[ ]   62    0    0   62 / 1000    31.7s Lockfree.Skiplist concurrent
[ ]   63    0    0   63 / 1000    32.0s Lockfree.Skiplist concurrent
[ ]   64    0    0   64 / 1000    32.1s Lockfree.Skiplist concurrent
[ ]   65    0    0   65 / 1000    32.3s Lockfree.Skiplist concurrent
[ ]   67    0    0   67 / 1000    32.8s Lockfree.Skiplist concurrent
[ ]   68    0    0   68 / 1000    33.0s Lockfree.Skiplist concurrent
[ ]   70    0    0   70 / 1000    33.6s Lockfree.Skiplist concurrent
[ ]   71    0    0   71 / 1000    34.1s Lockfree.Skiplist concurrent
[ ]   72    0    0   72 / 1000    34.3s Lockfree.Skiplist concurrent
[ ]   73    0    0   73 / 1000    34.5s Lockfree.Skiplist concurrent
[ ]   74    0    0   74 / 1000    34.6s Lockfree.Skiplist concurrent
[ ]   75    0    0   75 / 1000    35.3s Lockfree.Skiplist concurrent
[ ]   76    0    0   76 / 1000    36.8s Lockfree.Skiplist concurrent
[ ]   77    0    0   77 / 1000    37.8s Lockfree.Skiplist concurrent
[ ]   78    0    0   78 / 1000    38.4s Lockfree.Skiplist concurrent
[ ]   79    0    0   79 / 1000    38.8s Lockfree.Skiplist concurrent
[ ]   80    0    0   80 / 1000    39.2s Lockfree.Skiplist concurrent
[ ]   81    0    0   81 / 1000    39.3s Lockfree.Skiplist concurrent
[ ]   82    0    0   82 / 1000    39.6s Lockfree.Skiplist concurrent
[ ]   83    0    0   83 / 1000    39.8s Lockfree.Skiplist concurrent
[ ]   84    0    0   84 / 1000    40.1s Lockfree.Skiplist concurrent
[ ]   85    0    0   85 / 1000    40.2s Lockfree.Skiplist concurrent
[ ]   86    0    0   86 / 1000    40.3s Lockfree.Skiplist concurrent
[ ]   87    0    0   87 / 1000    40.5s Lockfree.Skiplist concurrent
[ ]   88    0    0   88 / 1000    40.7s Lockfree.Skiplist concurrent
[ ]   89    0    0   89 / 1000    41.0s Lockfree.Skiplist concurrent
[ ]   90    0    0   90 / 1000    41.3s Lockfree.Skiplist concurrent
[ ]   91    0    0   91 / 1000    42.6s Lockfree.Skiplist concurrent
[ ]   92    0    0   92 / 1000    43.9s Lockfree.Skiplist concurrent
[ ]   93    0    0   93 / 1000    44.6s Lockfree.Skiplist concurrent
[ ]   94    0    0   94 / 1000    47.3s Lockfree.Skiplist concurrent
[ ]   95    0    0   95 / 1000    47.6s Lockfree.Skiplist concurrent
[ ]   96    0    0   96 / 1000    50.0s Lockfree.Skiplist concurrent
[ ]   97    0    0   97 / 1000    50.3s Lockfree.Skiplist concurrent
[ ]   98    0    0   98 / 1000    50.4s Lockfree.Skiplist concurrent
[ ]   99    0    0   99 / 1000    50.5s Lockfree.Skiplist concurrent
[ ]  100    0    0  100 / 1000    50.6s Lockfree.Skiplist concurrent
[ ]  102    0    0  102 / 1000    50.7s Lockfree.Skiplist concurrent
[ ]  103    0    0  103 / 1000    51.1s Lockfree.Skiplist concurrent
[ ]  105    0    0  105 / 1000    52.2s Lockfree.Skiplist concurrent
[ ]  106    0    0  106 / 1000    52.3s Lockfree.Skiplist concurrent
[ ]  107    0    0  107 / 1000    52.6s Lockfree.Skiplist concurrent
[ ]  109    0    0  109 / 1000    52.7s Lockfree.Skiplist concurrent
[ ]  110    0    0  110 / 1000    54.6s Lockfree.Skiplist concurrent
[ ]  111    0    0  111 / 1000    54.8s Lockfree.Skiplist concurrent
[ ]  113    0    0  113 / 1000    54.9s Lockfree.Skiplist concurrent
[ ]  114    0    0  114 / 1000    55.0s Lockfree.Skiplist concurrent
[ ]  116    0    0  116 / 1000    55.5s Lockfree.Skiplist concurrent
[ ]  118    0    0  118 / 1000    55.6s Lockfree.Skiplist concurrent
[ ]  119    0    0  119 / 1000    57.3s Lockfree.Skiplist concurrent
[ ]  120    0    0  120 / 1000    57.5s Lockfree.Skiplist concurrent
[ ]  121    0    0  121 / 1000    58.1s Lockfree.Skiplist concurrent
[ ]  122    0    0  122 / 1000    61.9s Lockfree.Skiplist concurrent
[ ]  123    0    0  123 / 1000    62.4s Lockfree.Skiplist concurrent
[ ]  124    0    0  124 / 1000    63.1s Lockfree.Skiplist concurrent
[ ]  125    0    0  125 / 1000    64.7s Lockfree.Skiplist concurrent
[ ]  126    0    0  126 / 1000    65.8s Lockfree.Skiplist concurrent
[ ]  127    0    0  127 / 1000    66.8s Lockfree.Skiplist concurrent
[ ]  128    0    0  128 / 1000    68.3s Lockfree.Skiplist concurrent
[ ]  129    0    0  129 / 1000    69.0s Lockfree.Skiplist concurrent
[ ]  130    0    0  130 / 1000    70.3s Lockfree.Skiplist concurrent
[ ]  131    0    0  131 / 1000    71.4s Lockfree.Skiplist concurrent
[ ]  132    0    0  132 / 1000    72.0s Lockfree.Skiplist concurrent
[ ]  133    0    0  133 / 1000    73.3s Lockfree.Skiplist concurrent
[ ]  134    0    0  134 / 1000    74.8s Lockfree.Skiplist concurrent
[ ]  135    0    0  135 / 1000    75.9s Lockfree.Skiplist concurrent
[ ]  136    0    0  136 / 1000    76.7s Lockfree.Skiplist concurrent
[ ]  137    0    0  137 / 1000    77.0s Lockfree.Skiplist concurrent
[ ]  138    0    0  138 / 1000    77.7s Lockfree.Skiplist concurrent
[ ]  139    0    0  139 / 1000    78.2s Lockfree.Skiplist concurrent
[ ]  140    0    0  140 / 1000    78.5s Lockfree.Skiplist concurrent
[ ]  141    0    0  141 / 1000    79.0s Lockfree.Skiplist concurrent
[ ]  142    0    0  142 / 1000    79.7s Lockfree.Skiplist concurrent
[ ]  143    0    0  143 / 1000    80.3s Lockfree.Skiplist concurrent
[ ]  144    0    0  144 / 1000    80.9s Lockfree.Skiplist concurrent
[ ]  145    0    0  145 / 1000    81.9s Lockfree.Skiplist concurrent
[ ]  146    0    0  146 / 1000    82.9s Lockfree.Skiplist concurrent
[ ]  147    0    0  147 / 1000    83.7s Lockfree.Skiplist concurrent
[ ]  148    0    0  148 / 1000    84.7s Lockfree.Skiplist concurrent
[ ]  149    0    0  149 / 1000    85.5s Lockfree.Skiplist concurrent
[ ]  150    0    0  150 / 1000    85.9s Lockfree.Skiplist concurrent
[ ]  151    0    0  151 / 1000    86.5s Lockfree.Skiplist concurrent
[ ]  152    0    0  152 / 1000    87.2s Lockfree.Skiplist concurrent
[ ]  153    0    0  153 / 1000    87.7s Lockfree.Skiplist concurrent
[ ]  154    0    0  154 / 1000    88.1s Lockfree.Skiplist concurrent
[ ]  155    0    0  155 / 1000    89.1s Lockfree.Skiplist concurrent
[ ]  156    0    0  156 / 1000    89.8s Lockfree.Skiplist concurrent
[ ]  157    0    0  157 / 1000    90.5s Lockfree.Skiplist concurrent
[ ]  158    0    0  158 / 1000    90.9s Lockfree.Skiplist concurrent
[ ]  159    0    0  159 / 1000    91.3s Lockfree.Skiplist concurrent
[ ]  160    0    0  160 / 1000    92.0s Lockfree.Skiplist concurrent
[ ]  161    0    0  161 / 1000    92.6s Lockfree.Skiplist concurrent
[ ]  162    0    0  162 / 1000    92.9s Lockfree.Skiplist concurrent
[ ]  163    0    0  163 / 1000    93.3s Lockfree.Skiplist concurrent
[ ]  164    0    0  164 / 1000    93.9s Lockfree.Skiplist concurrent
[ ]  165    0    0  165 / 1000    94.6s Lockfree.Skiplist concurrent
[ ]  166    0    0  166 / 1000    95.4s Lockfree.Skiplist concurrent
[ ]  167    0    0  167 / 1000    96.3s Lockfree.Skiplist concurrent
[ ]  168    0    0  168 / 1000    96.9s Lockfree.Skiplist concurrent
[ ]  169    0    0  169 / 1000    98.4s Lockfree.Skiplist concurrent
[ ]  170    0    0  170 / 1000   100.0s Lockfree.Skiplist concurrent
[ ]  171    0    0  171 / 1000   101.0s Lockfree.Skiplist concurrent
[ ]  172    0    0  172 / 1000   102.7s Lockfree.Skiplist concurrent
[ ]  173    0    0  173 / 1000   104.1s Lockfree.Skiplist concurrent
[ ]  174    0    0  174 / 1000   105.0s Lockfree.Skiplist concurrent
[ ]  175    0    0  175 / 1000   106.9s Lockfree.Skiplist concurrent
[ ]  176    0    0  176 / 1000   107.9s Lockfree.Skiplist concurrent
[ ]  177    0    0  177 / 1000   109.0s Lockfree.Skiplist concurrent
[ ]  178    0    0  178 / 1000   109.9s Lockfree.Skiplist concurrent
[ ]  179    0    0  179 / 1000   110.6s Lockfree.Skiplist concurrent
[ ]  180    0    0  180 / 1000   111.6s Lockfree.Skiplist concurrent
[ ]  181    0    0  181 / 1000   111.9s Lockfree.Skiplist concurrent
[ ]  182    0    0  182 / 1000   112.9s Lockfree.Skiplist concurrent
[ ]  183    0    0  183 / 1000   113.6s Lockfree.Skiplist concurrent
[ ]  184    0    0  184 / 1000   114.3s Lockfree.Skiplist concurrent
[ ]  185    0    0  185 / 1000   115.7s Lockfree.Skiplist concurrent
[ ]  186    0    0  186 / 1000   116.7s Lockfree.Skiplist concurrent
[ ]  187    0    0  187 / 1000   117.3s Lockfree.Skiplist concurrent
[ ]  188    0    0  188 / 1000   117.9s Lockfree.Skiplist concurrent
[ ]  189    0    0  189 / 1000   119.6s Lockfree.Skiplist concurrent
[ ]  190    0    0  190 / 1000   120.1s Lockfree.Skiplist concurrent
[ ]  191    0    0  191 / 1000   120.7s Lockfree.Skiplist concurrent
[ ]  192    0    0  192 / 1000   121.2s Lockfree.Skiplist concurrent
[ ]  193    0    0  193 / 1000   121.7s Lockfree.Skiplist concurrent
[ ]  194    0    0  194 / 1000   121.9s Lockfree.Skiplist concurrent
[ ]  195    0    0  195 / 1000   123.3s Lockfree.Skiplist concurrent
[ ]  196    0    0  196 / 1000   123.6s Lockfree.Skiplist concurrent
[ ]  197    0    0  197 / 1000   123.9s Lockfree.Skiplist concurrent
[ ]  198    0    0  198 / 1000   124.4s Lockfree.Skiplist concurrent
[ ]  199    0    0  199 / 1000   125.3s Lockfree.Skiplist concurrent
[ ]  200    0    0  200 / 1000   125.8s Lockfree.Skiplist concurrent
[ ]  201    0    0  201 / 1000   126.0s Lockfree.Skiplist concurrent
[ ]  202    0    0  202 / 1000   126.3s Lockfree.Skiplist concurrent
[ ]  203    0    0  203 / 1000   126.8s Lockfree.Skiplist concurrent
[ ]  204    0    0  204 / 1000   127.6s Lockfree.Skiplist concurrent
[ ]  205    0    0  205 / 1000   128.0s Lockfree.Skiplist concurrent
[ ]  206    0    0  206 / 1000   129.1s Lockfree.Skiplist concurrent
[ ]  207    0    0  207 / 1000   130.0s Lockfree.Skiplist concurrent
[ ]  208    0    0  208 / 1000   130.4s Lockfree.Skiplist concurrent
[ ]  209    0    0  209 / 1000   131.8s Lockfree.Skiplist concurrent
[ ]  210    0    0  210 / 1000   132.2s Lockfree.Skiplist concurrent
[ ]  211    0    0  211 / 1000   132.3s Lockfree.Skiplist concurrent
[ ]  212    0    0  212 / 1000   132.7s Lockfree.Skiplist concurrent
[ ]  213    0    0  213 / 1000   132.9s Lockfree.Skiplist concurrent
[ ]  214    0    0  214 / 1000   133.0s Lockfree.Skiplist concurrent
[ ]  215    0    0  215 / 1000   133.7s Lockfree.Skiplist concurrent
[ ]  216    0    0  216 / 1000   134.3s Lockfree.Skiplist concurrent
[ ]  217    0    0  217 / 1000   134.5s Lockfree.Skiplist concurrent
[ ]  218    0    0  218 / 1000   135.0s Lockfree.Skiplist concurrent
[ ]  219    0    0  219 / 1000   135.4s Lockfree.Skiplist concurrent
[ ]  220    0    0  220 / 1000   135.7s Lockfree.Skiplist concurrent
[ ]  221    0    0  221 / 1000   135.9s Lockfree.Skiplist concurrent
[ ]  223    0    0  223 / 1000   136.2s Lockfree.Skiplist concurrent
[ ]  224    0    0  224 / 1000   136.5s Lockfree.Skiplist concurrent
[ ]  225    0    0  225 / 1000   136.8s Lockfree.Skiplist concurrent
[ ]  226    0    0  226 / 1000   137.1s Lockfree.Skiplist concurrent
[ ]  227    0    0  227 / 1000   138.2s Lockfree.Skiplist concurrent
[ ]  228    0    0  228 / 1000   138.5s Lockfree.Skiplist concurrent
[ ]  229    0    0  229 / 1000   138.9s Lockfree.Skiplist concurrent
[ ]  230    0    0  230 / 1000   139.1s Lockfree.Skiplist concurrent
[ ]  231    0    0  231 / 1000   139.4s Lockfree.Skiplist concurrent
[ ]  232    0    0  232 / 1000   139.8s Lockfree.Skiplist concurrent
[ ]  233    0    0  233 / 1000   140.0s Lockfree.Skiplist concurrent
[ ]  235    0    0  235 / 1000   140.4s Lockfree.Skiplist concurrent
[ ]  236    0    0  236 / 1000   140.7s Lockfree.Skiplist concurrent
[ ]  237    0    0  237 / 1000   141.2s Lockfree.Skiplist concurrent
[ ]  238    0    0  238 / 1000   141.4s Lockfree.Skiplist concurrent
[ ]  239    0    0  239 / 1000   142.1s Lockfree.Skiplist concurrent
[ ]  240    0    0  240 / 1000   142.6s Lockfree.Skiplist concurrent
[ ]  241    0    0  241 / 1000   143.1s Lockfree.Skiplist concurrent
[ ]  242    0    0  242 / 1000   143.9s Lockfree.Skiplist concurrent
[ ]  243    0    0  243 / 1000   144.3s Lockfree.Skiplist concurrent
[ ]  244    0    0  244 / 1000   144.5s Lockfree.Skiplist concurrent
[ ]  245    0    0  245 / 1000   144.9s Lockfree.Skiplist concurrent
[ ]  246    0    0  246 / 1000   145.0s Lockfree.Skiplist concurrent
[ ]  247    0    0  247 / 1000   145.7s Lockfree.Skiplist concurrent
[ ]  248    0    0  248 / 1000   145.8s Lockfree.Skiplist concurrent
[ ]  249    0    0  249 / 1000   146.0s Lockfree.Skiplist concurrent
[ ]  250    0    0  250 / 1000   146.3s Lockfree.Skiplist concurrent
[ ]  251    0    0  251 / 1000   146.7s Lockfree.Skiplist concurrent
[ ]  252    0    0  252 / 1000   147.1s Lockfree.Skiplist concurrent
[ ]  253    0    0  253 / 1000   147.4s Lockfree.Skiplist concurrent
[ ]  254    0    0  254 / 1000   147.6s Lockfree.Skiplist concurrent
[ ]  255    0    0  255 / 1000   147.9s Lockfree.Skiplist concurrent
[ ]  256    0    0  256 / 1000   148.9s Lockfree.Skiplist concurrent
[ ]  257    0    0  257 / 1000   149.1s Lockfree.Skiplist concurrent
[ ]  258    0    0  258 / 1000   149.3s Lockfree.Skiplist concurrent
[ ]  259    0    0  259 / 1000   149.4s Lockfree.Skiplist concurrent
[ ]  260    0    0  260 / 1000   149.6s Lockfree.Skiplist concurrent
[ ]  261    0    0  261 / 1000   150.2s Lockfree.Skiplist concurrent
[ ]  262    0    0  262 / 1000   150.5s Lockfree.Skiplist concurrent
[ ]  263    0    0  263 / 1000   151.5s Lockfree.Skiplist concurrent
[ ]  264    0    0  264 / 1000   151.8s Lockfree.Skiplist concurrent
[ ]  265    0    0  265 / 1000   151.9s Lockfree.Skiplist concurrent
[ ]  266    0    0  266 / 1000   152.9s Lockfree.Skiplist concurrent
[ ]  267    0    0  267 / 1000   153.1s Lockfree.Skiplist concurrent
[ ]  268    0    0  268 / 1000   155.4s Lockfree.Skiplist concurrent
[ ]  269    0    0  269 / 1000   156.0s Lockfree.Skiplist concurrent
[ ]  270    0    0  270 / 1000   157.6s Lockfree.Skiplist concurrent
[ ]  271    0    0  271 / 1000   157.8s Lockfree.Skiplist concurrent
[ ]  272    0    0  272 / 1000   158.0s Lockfree.Skiplist concurrent
[ ]  273    0    0  273 / 1000   158.2s Lockfree.Skiplist concurrent
[ ]  274    0    0  274 / 1000   158.9s Lockfree.Skiplist concurrent
[ ]  275    0    0  275 / 1000   159.2s Lockfree.Skiplist concurrent
[ ]  276    0    0  276 / 1000   159.3s Lockfree.Skiplist concurrent
[ ]  277    0    0  277 / 1000   159.6s Lockfree.Skiplist concurrent
[ ]  278    0    0  278 / 1000   159.7s Lockfree.Skiplist concurrent
[ ]  279    0    0  279 / 1000   161.1s Lockfree.Skiplist concurrent
[ ]  280    0    0  280 / 1000   161.8s Lockfree.Skiplist concurrent
[ ]  281    0    0  281 / 1000   162.1s Lockfree.Skiplist concurrent
[ ]  282    0    0  282 / 1000   162.5s Lockfree.Skiplist concurrent
[ ]  283    0    0  283 / 1000   163.0s Lockfree.Skiplist concurrent
[ ]  284    0    0  284 / 1000   163.9s Lockfree.Skiplist concurrent
[ ]  285    0    0  285 / 1000   164.4s Lockfree.Skiplist concurrent
[ ]  286    0    0  286 / 1000   164.6s Lockfree.Skiplist concurrent
[ ]  287    0    0  287 / 1000   164.8s Lockfree.Skiplist concurrent
[ ]  288    0    0  288 / 1000   165.9s Lockfree.Skiplist concurrent
[ ]  289    0    0  289 / 1000   166.2s Lockfree.Skiplist concurrent
[ ]  290    0    0  290 / 1000   166.3s Lockfree.Skiplist concurrent
[ ]  291    0    0  291 / 1000   166.5s Lockfree.Skiplist concurrent
[ ]  292    0    0  292 / 1000   166.7s Lockfree.Skiplist concurrent
[ ]  293    0    0  293 / 1000   166.9s Lockfree.Skiplist concurrent
[ ]  294    0    0  294 / 1000   167.0s Lockfree.Skiplist concurrent
[ ]  295    0    0  295 / 1000   167.3s Lockfree.Skiplist concurrent
[ ]  296    0    0  296 / 1000   167.5s Lockfree.Skiplist concurrent
[ ]  297    0    0  297 / 1000   167.6s Lockfree.Skiplist concurrent
[ ]  298    0    0  298 / 1000   167.8s Lockfree.Skiplist concurrent
[ ]  300    0    0  300 / 1000   168.0s Lockfree.Skiplist concurrent
[ ]  302    0    0  302 / 1000   168.2s Lockfree.Skiplist concurrent
[ ]  303    0    0  303 / 1000   168.3s Lockfree.Skiplist concurrent
[ ]  304    0    0  304 / 1000   168.4s Lockfree.Skiplist concurrent
[ ]  306    0    0  306 / 1000   168.6s Lockfree.Skiplist concurrent
[ ]  307    0    0  307 / 1000   169.0s Lockfree.Skiplist concurrent
[ ]  310    0    0  310 / 1000   169.1s Lockfree.Skiplist concurrent
[ ]  312    0    0  312 / 1000   169.3s Lockfree.Skiplist concurrent
[ ]  313    0    0  313 / 1000   169.5s Lockfree.Skiplist concurrent
[ ]  315    0    0  315 / 1000   169.7s Lockfree.Skiplist concurrent
[ ]  317    0    0  317 / 1000   169.9s Lockfree.Skiplist concurrent
[ ]  319    0    0  319 / 1000   170.0s Lockfree.Skiplist concurrent
[ ]  321    0    0  321 / 1000   170.2s Lockfree.Skiplist concurrent
[ ]  322    0    0  322 / 1000   171.6s Lockfree.Skiplist concurrent
[ ]  324    0    0  324 / 1000   171.8s Lockfree.Skiplist concurrent
[ ]  326    0    0  326 / 1000   172.0s Lockfree.Skiplist concurrent
[ ]  327    0    0  327 / 1000   172.6s Lockfree.Skiplist concurrent
[ ]  329    0    0  329 / 1000   172.8s Lockfree.Skiplist concurrent
[ ]  331    0    0  331 / 1000   173.0s Lockfree.Skiplist concurrent
[ ]  333    0    0  333 / 1000   173.1s Lockfree.Skiplist concurrent
[ ]  337    0    0  337 / 1000   173.3s Lockfree.Skiplist concurrent
[ ]  340    0    0  340 / 1000   173.5s Lockfree.Skiplist concurrent
[ ]  342    0    0  342 / 1000   173.7s Lockfree.Skiplist concurrent
[ ]  344    0    0  344 / 1000   173.9s Lockfree.Skiplist concurrent
[ ]  345    0    0  345 / 1000   174.0s Lockfree.Skiplist concurrent
[ ]  350    0    0  350 / 1000   174.3s Lockfree.Skiplist concurrent
[ ]  353    0    0  353 / 1000   174.4s Lockfree.Skiplist concurrent
[ ]  356    0    0  356 / 1000   175.2s Lockfree.Skiplist concurrent
[ ]  359    0    0  359 / 1000   175.4s Lockfree.Skiplist concurrent
[ ]  360    0    0  360 / 1000   175.8s Lockfree.Skiplist concurrent
[ ]  363    0    0  363 / 1000   175.9s Lockfree.Skiplist concurrent
[ ]  366    0    0  366 / 1000   176.3s Lockfree.Skiplist concurrent
[ ]  370    0    0  370 / 1000   176.4s Lockfree.Skiplist concurrent
[ ]  371    0    0  371 / 1000   176.6s Lockfree.Skiplist concurrent
[ ]  375    0    0  375 / 1000   177.1s Lockfree.Skiplist concurrent
[ ]  381    0    0  381 / 1000   177.2s Lockfree.Skiplist concurrent
[ ]  382    0    0  382 / 1000   177.3s Lockfree.Skiplist concurrent
[ ]  384    0    0  384 / 1000   177.5s Lockfree.Skiplist concurrent
[ ]  387    0    0  387 / 1000   177.6s Lockfree.Skiplist concurrent
[ ]  391    0    0  391 / 1000   177.7s Lockfree.Skiplist concurrent
[ ]  392    0    0  392 / 1000   177.8s Lockfree.Skiplist concurrent
[ ]  394    0    0  394 / 1000   178.0s Lockfree.Skiplist concurrent
[ ]  397    0    0  397 / 1000   178.2s Lockfree.Skiplist concurrent
[ ]  402    0    0  402 / 1000   178.3s Lockfree.Skiplist concurrent
[ ]  403    0    0  403 / 1000   178.6s Lockfree.Skiplist concurrent
[ ]  407    0    0  407 / 1000   179.1s Lockfree.Skiplist concurrent
[ ]  412    0    0  412 / 1000   179.2s Lockfree.Skiplist concurrent
[ ]  416    0    0  416 / 1000   179.3s Lockfree.Skiplist concurrent
[ ]  421    0    0  421 / 1000   179.9s Lockfree.Skiplist concurrent
[ ]  422    0    0  422 / 1000   180.1s Lockfree.Skiplist concurrent
[ ]  426    0    0  426 / 1000   180.2s Lockfree.Skiplist concurrent
[ ]  427    0    0  427 / 1000   180.4s Lockfree.Skiplist concurrent
[ ]  430    0    0  430 / 1000   180.5s Lockfree.Skiplist concurrent
[ ]  435    0    0  435 / 1000   180.6s Lockfree.Skiplist concurrent
[ ]  441    0    0  441 / 1000   180.7s Lockfree.Skiplist concurrent
[ ]  444    0    0  444 / 1000   180.9s Lockfree.Skiplist concurrent
[ ]  448    0    0  448 / 1000   181.0s Lockfree.Skiplist concurrent
[ ]  449    0    0  449 / 1000   181.3s Lockfree.Skiplist concurrent
[ ]  452    0    0  452 / 1000   181.4s Lockfree.Skiplist concurrent
[ ]  457    0    0  457 / 1000   181.6s Lockfree.Skiplist concurrent
[ ]  459    0    0  459 / 1000   182.0s Lockfree.Skiplist concurrent
[ ]  460    0    0  460 / 1000   182.8s Lockfree.Skiplist concurrent
[ ]  462    0    0  462 / 1000   183.2s Lockfree.Skiplist concurrent
[ ]  464    0    0  464 / 1000   183.3s Lockfree.Skiplist concurrent
[ ]  468    0    0  468 / 1000   183.6s Lockfree.Skiplist concurrent
[ ]  470    0    0  470 / 1000   183.9s Lockfree.Skiplist concurrent
[ ]  474    0    0  474 / 1000   184.0s Lockfree.Skiplist concurrent
[ ]  479    0    0  479 / 1000   184.1s Lockfree.Skiplist concurrent
[ ]  483    0    0  483 / 1000   184.3s Lockfree.Skiplist concurrent
[ ]  487    0    0  487 / 1000   184.4s Lockfree.Skiplist concurrent
[ ]  489    0    0  489 / 1000   185.0s Lockfree.Skiplist concurrent
[ ]  495    0    0  495 / 1000   185.1s Lockfree.Skiplist concurrent
[ ]  499    0    0  499 / 1000   185.5s Lockfree.Skiplist concurrent
[ ]  501    0    0  501 / 1000   185.7s Lockfree.Skiplist concurrent
[ ]  502    0    0  502 / 1000   185.9s Lockfree.Skiplist concurrent
[ ]  505    0    0  505 / 1000   186.1s Lockfree.Skiplist concurrent
[ ]  506    0    0  506 / 1000   186.3s Lockfree.Skiplist concurrent
[ ]  510    0    0  510 / 1000   186.4s Lockfree.Skiplist concurrent
[ ]  514    0    0  514 / 1000   186.9s Lockfree.Skiplist concurrent
[ ]  519    0    0  519 / 1000   187.1s Lockfree.Skiplist concurrent
[ ]  522    0    0  522 / 1000   187.2s Lockfree.Skiplist concurrent
[ ]  527    0    0  527 / 1000   187.5s Lockfree.Skiplist concurrent
[ ]  528    0    0  528 / 1000   187.6s Lockfree.Skiplist concurrent
[ ]  534    0    0  534 / 1000   187.7s Lockfree.Skiplist concurrent
[ ]  536    0    0  536 / 1000   187.9s Lockfree.Skiplist concurrent
[ ]  539    0    0  539 / 1000   188.0s Lockfree.Skiplist concurrent
[ ]  541    0    0  541 / 1000   188.3s Lockfree.Skiplist concurrent
[ ]  544    0    0  544 / 1000   188.4s Lockfree.Skiplist concurrent
[ ]  550    0    0  550 / 1000   188.6s Lockfree.Skiplist concurrent
[ ]  551    0    0  551 / 1000   188.7s Lockfree.Skiplist concurrent
[ ]  555    0    0  555 / 1000   188.9s Lockfree.Skiplist concurrent
[ ]  561    0    0  561 / 1000   189.0s Lockfree.Skiplist concurrent
[ ]  565    0    0  565 / 1000   189.2s Lockfree.Skiplist concurrent
[ ]  566    0    0  566 / 1000   189.3s Lockfree.Skiplist concurrent
[ ]  570    0    0  570 / 1000   189.4s Lockfree.Skiplist concurrent
[ ]  573    0    0  573 / 1000   189.5s Lockfree.Skiplist concurrent
[ ]  577    0    0  577 / 1000   189.6s Lockfree.Skiplist concurrent
[ ]  579    0    0  579 / 1000   190.0s Lockfree.Skiplist concurrent
[ ]  581    0    0  581 / 1000   191.1s Lockfree.Skiplist concurrent
[ ]  582    0    0  582 / 1000   191.4s Lockfree.Skiplist concurrent
[ ]  586    0    0  586 / 1000   191.5s Lockfree.Skiplist concurrent
[ ]  587    0    0  587 / 1000   191.6s Lockfree.Skiplist concurrent
[ ]  592    0    0  592 / 1000   191.7s Lockfree.Skiplist concurrent
[ ]  594    0    0  594 / 1000   191.8s Lockfree.Skiplist concurrent
[ ]  597    0    0  597 / 1000   191.9s Lockfree.Skiplist concurrent
[ ]  598    0    0  598 / 1000   192.2s Lockfree.Skiplist concurrent
[ ]  602    0    0  602 / 1000   192.3s Lockfree.Skiplist concurrent
[ ]  604    0    0  604 / 1000   192.5s Lockfree.Skiplist concurrent
[ ]  607    0    0  607 / 1000   193.0s Lockfree.Skiplist concurrent
[ ]  610    0    0  610 / 1000   193.2s Lockfree.Skiplist concurrent
[ ]  614    0    0  614 / 1000   193.3s Lockfree.Skiplist concurrent
[ ]  617    0    0  617 / 1000   193.5s Lockfree.Skiplist concurrent
[ ]  624    0    0  624 / 1000   193.6s Lockfree.Skiplist concurrent
[ ]  626    0    0  626 / 1000   193.7s Lockfree.Skiplist concurrent
[ ]  630    0    0  630 / 1000   194.7s Lockfree.Skiplist concurrent
[ ]  633    0    0  633 / 1000   194.8s Lockfree.Skiplist concurrent
[ ]  634    0    0  634 / 1000   195.5s Lockfree.Skiplist concurrent
[ ]  637    0    0  637 / 1000   195.6s Lockfree.Skiplist concurrent
[ ]  639    0    0  639 / 1000   196.0s Lockfree.Skiplist concurrent
[ ]  640    0    0  640 / 1000   196.6s Lockfree.Skiplist concurrent
[ ]  645    0    0  645 / 1000   196.9s Lockfree.Skiplist concurrent
[ ]  647    0    0  647 / 1000   197.0s Lockfree.Skiplist concurrent
[ ]  655    0    0  655 / 1000   197.1s Lockfree.Skiplist concurrent
[ ]  657    0    0  657 / 1000   197.3s Lockfree.Skiplist concurrent
[ ]  660    0    0  660 / 1000   197.4s Lockfree.Skiplist concurrent
[ ]  665    0    0  665 / 1000   197.5s Lockfree.Skiplist concurrent
[ ]  670    0    0  670 / 1000   197.6s Lockfree.Skiplist concurrent
[ ]  671    0    0  671 / 1000   198.3s Lockfree.Skiplist concurrent
[ ]  673    0    0  673 / 1000   198.5s Lockfree.Skiplist concurrent
[ ]  680    0    0  680 / 1000   198.6s Lockfree.Skiplist concurrent
[ ]  683    0    0  683 / 1000   199.1s Lockfree.Skiplist concurrent
[ ]  685    0    0  685 / 1000   199.3s Lockfree.Skiplist concurrent
[ ]  686    0    0  686 / 1000   199.4s Lockfree.Skiplist concurrent
[ ]  691    0    0  691 / 1000   199.5s Lockfree.Skiplist concurrent
[ ]  692    0    0  692 / 1000   199.9s Lockfree.Skiplist concurrent
[ ]  699    0    0  699 / 1000   200.0s Lockfree.Skiplist concurrent
[ ]  705    0    0  705 / 1000   200.1s Lockfree.Skiplist concurrent
[ ]  710    0    0  710 / 1000   200.2s Lockfree.Skiplist concurrent
[ ]  714    0    0  714 / 1000   200.4s Lockfree.Skiplist concurrent
[ ]  721    0    0  721 / 1000   200.5s Lockfree.Skiplist concurrent
[ ]  725    0    0  725 / 1000   200.6s Lockfree.Skiplist concurrent
[ ]  728    0    0  728 / 1000   200.7s Lockfree.Skiplist concurrent
[ ]  729    0    0  729 / 1000   201.1s Lockfree.Skiplist concurrent
[ ]  734    0    0  734 / 1000   201.2s Lockfree.Skiplist concurrent
[ ]  736    0    0  736 / 1000   201.5s Lockfree.Skiplist concurrent
[ ]  740    0    0  740 / 1000   201.6s Lockfree.Skiplist concurrent
[ ]  744    0    0  744 / 1000   201.9s Lockfree.Skiplist concurrent
[ ]  746    0    0  746 / 1000   202.0s Lockfree.Skiplist concurrent
[ ]  748    0    0  748 / 1000   202.1s Lockfree.Skiplist concurrent
[ ]  754    0    0  754 / 1000   202.2s Lockfree.Skiplist concurrent
[ ]  756    0    0  756 / 1000   202.5s Lockfree.Skiplist concurrent
[ ]  758    0    0  758 / 1000   203.3s Lockfree.Skiplist concurrent
[ ]  762    0    0  762 / 1000   203.4s Lockfree.Skiplist concurrent
[ ]  763    0    0  763 / 1000   203.9s Lockfree.Skiplist concurrent
[ ]  764    0    0  764 / 1000   204.2s Lockfree.Skiplist concurrent
[ ]  765    0    0  765 / 1000   204.5s Lockfree.Skiplist concurrent
[ ]  768    0    0  768 / 1000   204.6s Lockfree.Skiplist concurrent
[ ]  773    0    0  773 / 1000   204.7s Lockfree.Skiplist concurrent
[ ]  777    0    0  777 / 1000   204.8s Lockfree.Skiplist concurrent
[ ]  781    0    0  781 / 1000   205.5s Lockfree.Skiplist concurrent
[ ]  787    0    0  787 / 1000   205.8s Lockfree.Skiplist concurrent
[ ]  788    0    0  788 / 1000   206.5s Lockfree.Skiplist concurrent
[ ]  790    0    0  790 / 1000   206.7s Lockfree.Skiplist concurrent
[ ]  791    0    0  791 / 1000   207.0s Lockfree.Skiplist concurrent
[ ]  793    0    0  793 / 1000   207.4s Lockfree.Skiplist concurrent
[ ]  797    0    0  797 / 1000   207.7s Lockfree.Skiplist concurrent
[ ]  799    0    0  799 / 1000   208.3s Lockfree.Skiplist concurrent
[ ]  801    0    0  801 / 1000   208.5s Lockfree.Skiplist concurrent
[ ]  802    0    0  802 / 1000   208.7s Lockfree.Skiplist concurrent
[ ]  805    0    0  805 / 1000   208.8s Lockfree.Skiplist concurrent
[ ]  809    0    0  809 / 1000   209.0s Lockfree.Skiplist concurrent
[ ]  810    0    0  810 / 1000   209.2s Lockfree.Skiplist concurrent
[ ]  815    0    0  815 / 1000   209.4s Lockfree.Skiplist concurrent
[ ]  817    0    0  817 / 1000   209.5s Lockfree.Skiplist concurrent
[ ]  823    0    0  823 / 1000   209.7s Lockfree.Skiplist concurrent
[ ]  826    0    0  826 / 1000   209.9s Lockfree.Skiplist concurrent
[ ]  828    0    0  828 / 1000   210.0s Lockfree.Skiplist concurrent
[ ]  832    0    0  832 / 1000   210.2s Lockfree.Skiplist concurrent
[ ]  838    0    0  838 / 1000   210.3s Lockfree.Skiplist concurrent
[ ]  842    0    0  842 / 1000   210.6s Lockfree.Skiplist concurrent
[ ]  847    0    0  847 / 1000   210.7s Lockfree.Skiplist concurrent
[ ]  851    0    0  851 / 1000   210.9s Lockfree.Skiplist concurrent
[ ]  853    0    0  853 / 1000   211.3s Lockfree.Skiplist concurrent
[ ]  854    0    0  854 / 1000   211.5s Lockfree.Skiplist concurrent
[ ]  855    0    0  855 / 1000   211.6s Lockfree.Skiplist concurrent
[ ]  856    0    0  856 / 1000   212.1s Lockfree.Skiplist concurrent
[ ]  857    0    0  857 / 1000   212.8s Lockfree.Skiplist concurrent
[ ]  859    0    0  859 / 1000   213.0s Lockfree.Skiplist concurrent
[ ]  861    0    0  861 / 1000   213.3s Lockfree.Skiplist concurrent
[ ]  863    0    0  863 / 1000   213.4s Lockfree.Skiplist concurrent
[ ]  869    0    0  869 / 1000   213.7s Lockfree.Skiplist concurrent
[ ]  871    0    0  871 / 1000   214.2s Lockfree.Skiplist concurrent
[ ]  873    0    0  873 / 1000   214.3s Lockfree.Skiplist concurrent
[ ]  876    0    0  876 / 1000   214.5s Lockfree.Skiplist concurrent
[ ]  880    0    0  880 / 1000   214.7s Lockfree.Skiplist concurrent
[ ]  884    0    0  884 / 1000   215.1s Lockfree.Skiplist concurrent
[ ]  894    0    0  894 / 1000   215.2s Lockfree.Skiplist concurrent
[ ]  901    0    0  901 / 1000   215.4s Lockfree.Skiplist concurrent
[ ]  907    0    0  907 / 1000   215.5s Lockfree.Skiplist concurrent
[ ]  908    0    0  908 / 1000   215.9s Lockfree.Skiplist concurrent
[ ]  911    0    0  911 / 1000   216.9s Lockfree.Skiplist concurrent
[ ]  914    0    0  914 / 1000   217.3s Lockfree.Skiplist concurrent
[ ]  917    0    0  917 / 1000   217.5s Lockfree.Skiplist concurrent
[ ]  923    0    0  923 / 1000   217.6s Lockfree.Skiplist concurrent
[ ]  928    0    0  928 / 1000   217.7s Lockfree.Skiplist concurrent
[ ]  930    0    0  930 / 1000   218.4s Lockfree.Skiplist concurrent
[ ]  932    0    0  932 / 1000   218.5s Lockfree.Skiplist concurrent
[ ]  937    0    0  937 / 1000   219.2s Lockfree.Skiplist concurrent
[ ]  941    0    0  941 / 1000   219.3s Lockfree.Skiplist concurrent
[ ]  943    0    0  943 / 1000   219.5s Lockfree.Skiplist concurrent
[ ]  947    0    0  947 / 1000   219.6s Lockfree.Skiplist concurrent
[ ]  950    0    0  950 / 1000   219.9s Lockfree.Skiplist concurrent
[ ]  956    0    0  956 / 1000   220.2s Lockfree.Skiplist concurrent
[ ]  957    0    0  957 / 1000   220.8s Lockfree.Skiplist concurrent
[ ]  962    0    0  962 / 1000   221.0s Lockfree.Skiplist concurrent
[ ]  969    0    0  969 / 1000   221.1s Lockfree.Skiplist concurrent
[ ]  974    0    0  974 / 1000   221.2s Lockfree.Skiplist concurrent
[ ]  979    0    0  979 / 1000   221.3s Lockfree.Skiplist concurrent
[ ]  982    0    0  982 / 1000   221.5s Lockfree.Skiplist concurrent
[ ]  987    0    0  987 / 1000   221.7s Lockfree.Skiplist concurrent
[ ]  990    0    0  990 / 1000   221.9s Lockfree.Skiplist concurrent
[ ]  993    0    0  993 / 1000   222.0s Lockfree.Skiplist concurrent
[ ]  998    0    0  998 / 1000   222.5s Lockfree.Skiplist concurrent
[ ]  999    0    0  999 / 1000   222.8s Lockfree.Skiplist concurrent
[] 1000    0    0 1000 / 1000   222.8s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 526832243
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Size sequential
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Size sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Saturn_lockfree.Size sequential
[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Size concurrent
[ ]    1    0    0    1 / 1000     2.8s Saturn_lockfree.Size concurrent
[ ]    2    0    0    2 / 1000     4.2s Saturn_lockfree.Size concurrent
[ ]    3    0    0    3 / 1000     5.3s Saturn_lockfree.Size concurrent
[ ]    4    0    0    4 / 1000     6.0s Saturn_lockfree.Size concurrent
[ ]    5    0    0    5 / 1000     6.4s Saturn_lockfree.Size concurrent
[ ]    6    0    0    6 / 1000     7.3s Saturn_lockfree.Size concurrent
[ ]    7    0    0    7 / 1000     7.6s Saturn_lockfree.Size concurrent
[ ]    8    0    0    8 / 1000     7.9s Saturn_lockfree.Size concurrent
[ ]    9    0    0    9 / 1000     8.2s Saturn_lockfree.Size concurrent
[ ]   10    0    0   10 / 1000     8.5s Saturn_lockfree.Size concurrent
[ ]   11    0    0   11 / 1000     8.7s Saturn_lockfree.Size concurrent
[ ]   12    0    0   12 / 1000     9.0s Saturn_lockfree.Size concurrent
[ ]   13    0    0   13 / 1000     9.2s Saturn_lockfree.Size concurrent
[ ]   14    0    0   14 / 1000     9.9s Saturn_lockfree.Size concurrent
[ ]   15    0    0   15 / 1000    10.4s Saturn_lockfree.Size concurrent
[ ]   16    0    0   16 / 1000    11.0s Saturn_lockfree.Size concurrent
[ ]   17    0    0   17 / 1000    12.6s Saturn_lockfree.Size concurrent
[ ]   18    0    0   18 / 1000    16.1s Saturn_lockfree.Size concurrent
[ ]   19    0    0   19 / 1000    17.9s Saturn_lockfree.Size concurrent
[ ]   20    0    0   20 / 1000    18.0s Saturn_lockfree.Size concurrent
[ ]   21    0    0   21 / 1000    18.2s Saturn_lockfree.Size concurrent
[ ]   22    0    0   22 / 1000    18.5s Saturn_lockfree.Size concurrent
[ ]   23    0    0   23 / 1000    18.6s Saturn_lockfree.Size concurrent
[ ]   24    0    0   24 / 1000    19.1s Saturn_lockfree.Size concurrent
[ ]   25    0    0   25 / 1000    19.4s Saturn_lockfree.Size concurrent
[ ]   26    0    0   26 / 1000    19.6s Saturn_lockfree.Size concurrent
[ ]   28    0    0   28 / 1000    20.0s Saturn_lockfree.Size concurrent
[ ]   29    0    0   29 / 1000    20.6s Saturn_lockfree.Size concurrent
[ ]   30    0    0   30 / 1000    21.3s Saturn_lockfree.Size concurrent
[ ]   31    0    0   31 / 1000    21.9s Saturn_lockfree.Size concurrent
[ ]   33    0    0   33 / 1000    23.3s Saturn_lockfree.Size concurrent
[ ]   34    0    0   34 / 1000    23.7s Saturn_lockfree.Size concurrent
[ ]   35    0    0   35 / 1000    24.6s Saturn_lockfree.Size concurrent
[ ]   36    0    0   36 / 1000    25.3s Saturn_lockfree.Size concurrent
[ ]   37    0    0   37 / 1000    25.8s Saturn_lockfree.Size concurrent
[ ]   38    0    0   38 / 1000    26.1s Saturn_lockfree.Size concurrent
[ ]   39    0    0   39 / 1000    26.4s Saturn_lockfree.Size concurrent
[ ]   40    0    0   40 / 1000    26.7s Saturn_lockfree.Size concurrent
[ ]   41    0    0   41 / 1000    27.3s Saturn_lockfree.Size concurrent
[ ]   42    0    0   42 / 1000    27.5s Saturn_lockfree.Size concurrent
[ ]   43    0    0   43 / 1000    27.6s Saturn_lockfree.Size concurrent
[ ]   44    0    0   44 / 1000    30.0s Saturn_lockfree.Size concurrent
[ ]   45    0    0   45 / 1000    30.1s Saturn_lockfree.Size concurrent
[ ]   46    0    0   46 / 1000    30.3s Saturn_lockfree.Size concurrent
[ ]   47    0    0   47 / 1000    30.6s Saturn_lockfree.Size concurrent
[ ]   48    0    0   48 / 1000    31.4s Saturn_lockfree.Size concurrent
[ ]   49    0    0   49 / 1000    31.8s Saturn_lockfree.Size concurrent
[ ]   50    0    0   50 / 1000    32.2s Saturn_lockfree.Size concurrent
[ ]   51    0    0   51 / 1000    32.5s Saturn_lockfree.Size concurrent
[ ]   52    0    0   52 / 1000    32.8s Saturn_lockfree.Size concurrent
[ ]   53    0    0   53 / 1000    33.1s Saturn_lockfree.Size concurrent
[ ]   54    0    0   54 / 1000    33.4s Saturn_lockfree.Size concurrent
[ ]   55    0    0   55 / 1000    33.7s Saturn_lockfree.Size concurrent
[ ]   56    0    0   56 / 1000    33.8s Saturn_lockfree.Size concurrent
[ ]   57    0    0   57 / 1000    34.4s Saturn_lockfree.Size concurrent
[ ]   58    0    0   58 / 1000    34.7s Saturn_lockfree.Size concurrent
[ ]   59    0    0   59 / 1000    35.0s Saturn_lockfree.Size concurrent
[ ]   60    0    0   60 / 1000    35.3s Saturn_lockfree.Size concurrent
[ ]   61    0    0   61 / 1000    35.5s Saturn_lockfree.Size concurrent
[ ]   62    0    0   62 / 1000    35.7s Saturn_lockfree.Size concurrent
[ ]   63    0    0   63 / 1000    36.0s Saturn_lockfree.Size concurrent
[ ]   64    0    0   64 / 1000    36.1s Saturn_lockfree.Size concurrent
[ ]   66    0    0   66 / 1000    36.3s Saturn_lockfree.Size concurrent
[ ]   67    0    0   67 / 1000    36.5s Saturn_lockfree.Size concurrent
[ ]   68    0    0   68 / 1000    36.7s Saturn_lockfree.Size concurrent
[ ]   70    0    0   70 / 1000    37.4s Saturn_lockfree.Size concurrent
[ ]   72    0    0   72 / 1000    37.6s Saturn_lockfree.Size concurrent
[ ]   74    0    0   74 / 1000    37.8s Saturn_lockfree.Size concurrent
[ ]   75    0    0   75 / 1000    38.1s Saturn_lockfree.Size concurrent
[ ]   76    0    0   76 / 1000    38.4s Saturn_lockfree.Size concurrent
[ ]   77    0    0   77 / 1000    38.5s Saturn_lockfree.Size concurrent
[ ]   78    0    0   78 / 1000    38.9s Saturn_lockfree.Size concurrent
[ ]   79    0    0   79 / 1000    39.1s Saturn_lockfree.Size concurrent
[ ]   80    0    0   80 / 1000    39.3s Saturn_lockfree.Size concurrent
[ ]   81    0    0   81 / 1000    39.6s Saturn_lockfree.Size concurrent
[ ]   82    0    0   82 / 1000    39.8s Saturn_lockfree.Size concurrent
[ ]   83    0    0   83 / 1000    40.9s Saturn_lockfree.Size concurrent
[ ]   84    0    0   84 / 1000    41.4s Saturn_lockfree.Size concurrent
[ ]   85    0    0   85 / 1000    41.6s Saturn_lockfree.Size concurrent
[ ]   86    0    0   86 / 1000    42.0s Saturn_lockfree.Size concurrent
[ ]   87    0    0   87 / 1000    42.3s Saturn_lockfree.Size concurrent
[ ]   88    0    0   88 / 1000    42.6s Saturn_lockfree.Size concurrent
[ ]   89    0    0   89 / 1000    43.3s Saturn_lockfree.Size concurrent
[ ]   90    0    0   90 / 1000    44.8s Saturn_lockfree.Size concurrent
[ ]   91    0    0   91 / 1000    45.7s Saturn_lockfree.Size concurrent
[ ]   92    0    0   92 / 1000    46.3s Saturn_lockfree.Size concurrent
[ ]   93    0    0   93 / 1000    46.7s Saturn_lockfree.Size concurrent
[ ]   94    0    0   94 / 1000    47.3s Saturn_lockfree.Size concurrent
[ ]   95    0    0   95 / 1000    47.7s Saturn_lockfree.Size concurrent
[ ]   96    0    0   96 / 1000    48.1s Saturn_lockfree.Size concurrent
[ ]   97    0    0   97 / 1000    48.5s Saturn_lockfree.Size concurrent
[ ]   98    0    0   98 / 1000    48.8s Saturn_lockfree.Size concurrent
[ ]   99    0    0   99 / 1000    49.3s Saturn_lockfree.Size concurrent
[ ]  100    0    0  100 / 1000    49.6s Saturn_lockfree.Size concurrent
[ ]  101    0    0  101 / 1000    50.3s Saturn_lockfree.Size concurrent
[ ]  102    0    0  102 / 1000    50.8s Saturn_lockfree.Size concurrent
[ ]  103    0    0  103 / 1000    51.1s Saturn_lockfree.Size concurrent
[ ]  104    0    0  104 / 1000    51.6s Saturn_lockfree.Size concurrent
[ ]  107    0    0  107 / 1000    52.6s Saturn_lockfree.Size concurrent
[ ]  109    0    0  109 / 1000    52.7s Saturn_lockfree.Size concurrent
[ ]  111    0    0  111 / 1000    52.8s Saturn_lockfree.Size concurrent
[ ]  112    0    0  112 / 1000    53.0s Saturn_lockfree.Size concurrent
[ ]  114    0    0  114 / 1000    53.1s Saturn_lockfree.Size concurrent
[ ]  116    0    0  116 / 1000    53.3s Saturn_lockfree.Size concurrent
[ ]  118    0    0  118 / 1000    53.4s Saturn_lockfree.Size concurrent
[ ]  121    0    0  121 / 1000    53.6s Saturn_lockfree.Size concurrent
[ ]  124    0    0  124 / 1000    54.8s Saturn_lockfree.Size concurrent
[ ]  125    0    0  125 / 1000    55.0s Saturn_lockfree.Size concurrent
[ ]  127    0    0  127 / 1000    55.2s Saturn_lockfree.Size concurrent
[ ]  128    0    0  128 / 1000    55.3s Saturn_lockfree.Size concurrent
[ ]  129    0    0  129 / 1000    55.4s Saturn_lockfree.Size concurrent
[ ]  130    0    0  130 / 1000    56.3s Saturn_lockfree.Size concurrent
[ ]  132    0    0  132 / 1000    57.8s Saturn_lockfree.Size concurrent
[ ]  133    0    0  133 / 1000    58.1s Saturn_lockfree.Size concurrent
[ ]  134    0    0  134 / 1000    60.1s Saturn_lockfree.Size concurrent
[ ]  135    0    0  135 / 1000    60.6s Saturn_lockfree.Size concurrent
[ ]  136    0    0  136 / 1000    61.0s Saturn_lockfree.Size concurrent
[ ]  137    0    0  137 / 1000    62.6s Saturn_lockfree.Size concurrent
[ ]  138    0    0  138 / 1000    63.5s Saturn_lockfree.Size concurrent
[ ]  139    0    0  139 / 1000    64.4s Saturn_lockfree.Size concurrent
[ ]  140    0    0  140 / 1000    65.6s Saturn_lockfree.Size concurrent
[ ]  141    0    0  141 / 1000    67.3s Saturn_lockfree.Size concurrent
[ ]  142    0    0  142 / 1000    68.7s Saturn_lockfree.Size concurrent
[ ]  143    0    0  143 / 1000    69.9s Saturn_lockfree.Size concurrent
[ ]  144    0    0  144 / 1000    70.9s Saturn_lockfree.Size concurrent
[ ]  145    0    0  145 / 1000    72.2s Saturn_lockfree.Size concurrent
[ ]  146    0    0  146 / 1000    73.7s Saturn_lockfree.Size concurrent
[ ]  147    0    0  147 / 1000    74.9s Saturn_lockfree.Size concurrent
[ ]  148    0    0  148 / 1000    75.4s Saturn_lockfree.Size concurrent
[ ]  149    0    0  149 / 1000    76.6s Saturn_lockfree.Size concurrent
[ ]  150    0    0  150 / 1000    77.5s Saturn_lockfree.Size concurrent
[ ]  151    0    0  151 / 1000    78.1s Saturn_lockfree.Size concurrent
[ ]  152    0    0  152 / 1000    78.6s Saturn_lockfree.Size concurrent
[ ]  153    0    0  153 / 1000    79.1s Saturn_lockfree.Size concurrent
[ ]  154    0    0  154 / 1000    79.5s Saturn_lockfree.Size concurrent
[ ]  155    0    0  155 / 1000    80.6s Saturn_lockfree.Size concurrent
[ ]  156    0    0  156 / 1000    80.8s Saturn_lockfree.Size concurrent
[ ]  157    0    0  157 / 1000    81.0s Saturn_lockfree.Size concurrent
[ ]  158    0    0  158 / 1000    81.5s Saturn_lockfree.Size concurrent
[ ]  159    0    0  159 / 1000    82.3s Saturn_lockfree.Size concurrent
[ ]  160    0    0  160 / 1000    84.4s Saturn_lockfree.Size concurrent
[ ]  161    0    0  161 / 1000    86.1s Saturn_lockfree.Size concurrent
[ ]  162    0    0  162 / 1000    86.4s Saturn_lockfree.Size concurrent
[ ]  163    0    0  163 / 1000    86.8s Saturn_lockfree.Size concurrent
[ ]  164    0    0  164 / 1000    87.7s Saturn_lockfree.Size concurrent
[ ]  165    0    0  165 / 1000    88.8s Saturn_lockfree.Size concurrent
[ ]  166    0    0  166 / 1000    89.5s Saturn_lockfree.Size concurrent
[ ]  167    0    0  167 / 1000    90.9s Saturn_lockfree.Size concurrent
[ ]  168    0    0  168 / 1000    91.9s Saturn_lockfree.Size concurrent
[ ]  169    0    0  169 / 1000    93.6s Saturn_lockfree.Size concurrent
[ ]  170    0    0  170 / 1000    94.2s Saturn_lockfree.Size concurrent
[ ]  171    0    0  171 / 1000    94.9s Saturn_lockfree.Size concurrent
[ ]  172    0    0  172 / 1000    95.6s Saturn_lockfree.Size concurrent
[ ]  173    0    0  173 / 1000    96.3s Saturn_lockfree.Size concurrent
[ ]  174    0    0  174 / 1000    97.4s Saturn_lockfree.Size concurrent
[ ]  175    0    0  175 / 1000    98.5s Saturn_lockfree.Size concurrent
[ ]  176    0    0  176 / 1000   100.7s Saturn_lockfree.Size concurrent
[ ]  177    0    0  177 / 1000   101.9s Saturn_lockfree.Size concurrent
[ ]  178    0    0  178 / 1000   104.2s Saturn_lockfree.Size concurrent
[ ]  179    0    0  179 / 1000   105.6s Saturn_lockfree.Size concurrent
[ ]  180    0    0  180 / 1000   106.7s Saturn_lockfree.Size concurrent
[ ]  181    0    0  181 / 1000   108.6s Saturn_lockfree.Size concurrent
[ ]  182    0    0  182 / 1000   110.9s Saturn_lockfree.Size concurrent
[ ]  183    0    0  183 / 1000   112.4s Saturn_lockfree.Size concurrent
[ ]  184    0    0  184 / 1000   112.9s Saturn_lockfree.Size concurrent
[ ]  185    0    0  185 / 1000   113.9s Saturn_lockfree.Size concurrent
[ ]  186    0    0  186 / 1000   114.8s Saturn_lockfree.Size concurrent
[ ]  187    0    0  187 / 1000   115.5s Saturn_lockfree.Size concurrent
[ ]  188    0    0  188 / 1000   116.4s Saturn_lockfree.Size concurrent
[ ]  189    0    0  189 / 1000   117.1s Saturn_lockfree.Size concurrent
[ ]  190    0    0  190 / 1000   118.0s Saturn_lockfree.Size concurrent
[ ]  191    0    0  191 / 1000   118.8s Saturn_lockfree.Size concurrent
[ ]  192    0    0  192 / 1000   119.4s Saturn_lockfree.Size concurrent
[ ]  193    0    0  193 / 1000   120.4s Saturn_lockfree.Size concurrent
[ ]  194    0    0  194 / 1000   121.2s Saturn_lockfree.Size concurrent
[ ]  195    0    0  195 / 1000   121.7s Saturn_lockfree.Size concurrent
[ ]  196    0    0  196 / 1000   122.2s Saturn_lockfree.Size concurrent
[ ]  197    0    0  197 / 1000   122.6s Saturn_lockfree.Size concurrent
[ ]  198    0    0  198 / 1000   123.6s Saturn_lockfree.Size concurrent
[ ]  199    0    0  199 / 1000   124.0s Saturn_lockfree.Size concurrent
[ ]  200    0    0  200 / 1000   124.6s Saturn_lockfree.Size concurrent
[ ]  201    0    0  201 / 1000   124.9s Saturn_lockfree.Size concurrent
[ ]  202    0    0  202 / 1000   125.1s Saturn_lockfree.Size concurrent
[ ]  203    0    0  203 / 1000   125.3s Saturn_lockfree.Size concurrent
[ ]  204    0    0  204 / 1000   125.8s Saturn_lockfree.Size concurrent
[ ]  205    0    0  205 / 1000   126.8s Saturn_lockfree.Size concurrent
[ ]  206    0    0  206 / 1000   127.4s Saturn_lockfree.Size concurrent
[ ]  207    0    0  207 / 1000   127.8s Saturn_lockfree.Size concurrent
[ ]  208    0    0  208 / 1000   128.6s Saturn_lockfree.Size concurrent
[ ]  209    0    0  209 / 1000   129.2s Saturn_lockfree.Size concurrent
[ ]  210    0    0  210 / 1000   129.5s Saturn_lockfree.Size concurrent
[ ]  211    0    0  211 / 1000   129.9s Saturn_lockfree.Size concurrent
[ ]  212    0    0  212 / 1000   130.2s Saturn_lockfree.Size concurrent
[ ]  213    0    0  213 / 1000   130.6s Saturn_lockfree.Size concurrent
[ ]  214    0    0  214 / 1000   130.9s Saturn_lockfree.Size concurrent
[ ]  215    0    0  215 / 1000   131.2s Saturn_lockfree.Size concurrent
[ ]  216    0    0  216 / 1000   131.8s Saturn_lockfree.Size concurrent
[ ]  217    0    0  217 / 1000   132.2s Saturn_lockfree.Size concurrent
[ ]  218    0    0  218 / 1000   132.6s Saturn_lockfree.Size concurrent
[ ]  219    0    0  219 / 1000   133.1s Saturn_lockfree.Size concurrent
[ ]  220    0    0  220 / 1000   133.4s Saturn_lockfree.Size concurrent
[ ]  221    0    0  221 / 1000   133.7s Saturn_lockfree.Size concurrent
[ ]  222    0    0  222 / 1000   133.9s Saturn_lockfree.Size concurrent
[ ]  223    0    0  223 / 1000   134.2s Saturn_lockfree.Size concurrent
[ ]  224    0    0  224 / 1000   136.0s Saturn_lockfree.Size concurrent
[ ]  225    0    0  225 / 1000   136.4s Saturn_lockfree.Size concurrent
[ ]  226    0    0  226 / 1000   137.5s Saturn_lockfree.Size concurrent
[ ]  227    0    0  227 / 1000   137.7s Saturn_lockfree.Size concurrent
[ ]  228    0    0  228 / 1000   137.9s Saturn_lockfree.Size concurrent
[ ]  229    0    0  229 / 1000   138.1s Saturn_lockfree.Size concurrent
[ ]  230    0    0  230 / 1000   138.5s Saturn_lockfree.Size concurrent
[ ]  231    0    0  231 / 1000   138.8s Saturn_lockfree.Size concurrent
[ ]  232    0    0  232 / 1000   139.3s Saturn_lockfree.Size concurrent
[ ]  233    0    0  233 / 1000   139.6s Saturn_lockfree.Size concurrent
[ ]  234    0    0  234 / 1000   140.1s Saturn_lockfree.Size concurrent
[ ]  235    0    0  235 / 1000   140.7s Saturn_lockfree.Size concurrent
[ ]  236    0    0  236 / 1000   140.9s Saturn_lockfree.Size concurrent
[ ]  237    0    0  237 / 1000   141.1s Saturn_lockfree.Size concurrent
[ ]  238    0    0  238 / 1000   141.8s Saturn_lockfree.Size concurrent
[ ]  239    0    0  239 / 1000   142.0s Saturn_lockfree.Size concurrent
[ ]  240    0    0  240 / 1000   142.3s Saturn_lockfree.Size concurrent
[ ]  241    0    0  241 / 1000   142.5s Saturn_lockfree.Size concurrent
[ ]  242    0    0  242 / 1000   143.6s Saturn_lockfree.Size concurrent
[ ]  243    0    0  243 / 1000   144.4s Saturn_lockfree.Size concurrent
[ ]  244    0    0  244 / 1000   144.8s Saturn_lockfree.Size concurrent
[ ]  245    0    0  245 / 1000   145.1s Saturn_lockfree.Size concurrent
[ ]  246    0    0  246 / 1000   145.3s Saturn_lockfree.Size concurrent
[ ]  247    0    0  247 / 1000   145.5s Saturn_lockfree.Size concurrent
[ ]  248    0    0  248 / 1000   1460s Saturn_lockfree.Size concurrent
[ ]  249    0    0  249 / 1000   146.3s Saturn_lockfree.Size concurrent
[ ]  250    0    0  250 / 1000   146.8s Saturn_lockfree.Size concurrent
[ ]  251    0    0  251 / 1000   147.1s Saturn_lockfree.Size concurrent
[ ]  252    0    0  252 / 1000   147.4s Saturn_lockfree.Size concurrent
[ ]  253    0    0  253 / 1000   147.6s Saturn_lockfree.Size concurrent
[ ]  254    0    0  254 / 1000   147.8s Saturn_lockfree.Size concurrent
[ ]  255    0    0  255 / 1000   148.2s Saturn_lockfree.Size concurrent
[ ]  256    0    0  256 / 1000   148.4s Saturn_lockfree.Size concurrent
[ ]  257    0    0  257 / 1000   148.6s Saturn_lockfree.Size concurrent
[ ]  258    0    0  258 / 1000   148.8s Saturn_lockfree.Size concurrent
[ ]  259    0    0  259 / 1000   149.9s Saturn_lockfree.Size concurrent
[ ]  260    0    0  260 / 1000   150.2s Saturn_lockfree.Size concurrent
[ ]  262    0    0  262 / 1000   150.4s Saturn_lockfree.Size concurrent
[ ]  263    0    0  263 / 1000   151.6s Saturn_lockfree.Size concurrent
[ ]  264    0    0  264 / 1000   152.2s Saturn_lockfree.Size concurrent
[ ]  265    0    0  265 / 1000   152.8s Saturn_lockfree.Size concurrent
[ ]  266    0    0  266 / 1000   153.2s Saturn_lockfree.Size concurrent
[ ]  267    0    0  267 / 1000   153.7s Saturn_lockfree.Size concurrent
[ ]  268    0    0  268 / 1000   153.8s Saturn_lockfree.Size concurrent
[ ]  269    0    0  269 / 1000   154.0s Saturn_lockfree.Size concurrent
[ ]  270    0    0  270 / 1000   154.3s Saturn_lockfree.Size concurrent
[ ]  271    0    0  271 / 1000   154.5s Saturn_lockfree.Size concurrent
[ ]  272    0    0  272 / 1000   155.2s Saturn_lockfree.Size concurrent
[ ]  273    0    0  273 / 1000   155.4s Saturn_lockfree.Size concurrent
[ ]  274    0    0  274 / 1000   155.8s Saturn_lockfree.Size concurrent
[ ]  275    0    0  275 / 1000   156.5s Saturn_lockfree.Size concurrent
[ ]  276    0    0  276 / 1000   156.8s Saturn_lockfree.Size concurrent
[ ]  277    0    0  277 / 1000   157.4s Saturn_lockfree.Size concurrent
[ ]  278    0    0  278 / 1000   158.1s Saturn_lockfree.Size concurrent
[ ]  279    0    0  279 / 1000   158.3s Saturn_lockfree.Size concurrent
[ ]  280    0    0  280 / 1000   158.6s Saturn_lockfree.Size concurrent
[ ]  281    0    0  281 / 1000   159.5s Saturn_lockfree.Size concurrent
[ ]  282    0    0  282 / 1000   159.9s Saturn_lockfree.Size concurrent
[ ]  283    0    0  283 / 1000   160.2s Saturn_lockfree.Size concurrent
[ ]  284    0    0  284 / 1000   160.4s Saturn_lockfree.Size concurrent
[ ]  285    0    0  285 / 1000   160.5s Saturn_lockfree.Size concurrent
[ ]  286    0    0  286 / 1000   161.9s Saturn_lockfree.Size concurrent
[ ]  287    0    0  287 / 1000   162.6s Saturn_lockfree.Size concurrent
[ ]  288    0    0  288 / 1000   162.9s Saturn_lockfree.Size concurrent
[ ]  289    0    0  289 / 1000   163.2s Saturn_lockfree.Size concurrent
[ ]  290    0    0  290 / 1000   163.6s Saturn_lockfree.Size concurrent
[ ]  291    0    0  291 / 1000   163.8s Saturn_lockfree.Size concurrent
[ ]  292    0    0  292 / 1000   163.9s Saturn_lockfree.Size concurrent
[ ]  293    0    0  293 / 1000   164.2s Saturn_lockfree.Size concurrent
[ ]  294    0    0  294 / 1000   164.6s Saturn_lockfree.Size concurrent
[ ]  295    0    0  295 / 1000   165.4s Saturn_lockfree.Size concurrent
[ ]  296    0    0  296 / 1000   165.6s Saturn_lockfree.Size concurrent
[ ]  297    0    0  297 / 1000   165.8s Saturn_lockfree.Size concurrent
[ ]  298    0    0  298 / 1000   165.9s Saturn_lockfree.Size concurrent
[ ]  299    0    0  299 / 1000   167.0s Saturn_lockfree.Size concurrent
[ ]  300    0    0  300 / 1000   167.1s Saturn_lockfree.Size concurrent
[ ]  301    0    0  301 / 1000   167.2s Saturn_lockfree.Size concurrent
[ ]  302    0    0  302 / 1000   169.1s Saturn_lockfree.Size concurrent
[ ]  304    0    0  304 / 1000   169.5s Saturn_lockfree.Size concurrent
[ ]  305    0    0  305 / 1000   169.7s Saturn_lockfree.Size concurrent
[ ]  308    0    0  308 / 1000   169.8s Saturn_lockfree.Size concurrent
[ ]  310    0    0  310 / 1000   169.9s Saturn_lockfree.Size concurrent
[ ]  311    0    0  311 / 1000   170.8s Saturn_lockfree.Size concurrent
[ ]  312    0    0  312 / 1000   170.9s Saturn_lockfree.Size concurrent
[ ]  313    0    0  313 / 1000   171.1s Saturn_lockfree.Size concurrent
[ ]  315    0    0  315 / 1000   171.3s Saturn_lockfree.Size concurrent
[ ]  317    0    0  317 / 1000   171.6s Saturn_lockfree.Size concurrent
[ ]  319    0    0  319 / 1000   172.6s Saturn_lockfree.Size concurrent
[ ]  321    0    0  321 / 1000   172.8s Saturn_lockfree.Size concurrent
[ ]  323    0    0  323 / 1000   173.0s Saturn_lockfree.Size concurrent
[ ]  324    0    0  324 / 1000   173.1s Saturn_lockfree.Size concurrent
[ ]  325    0    0  325 / 1000   173.3s Saturn_lockfree.Size concurrent
[ ]  326    0    0  326 / 1000   173.6s Saturn_lockfree.Size concurrent
[ ]  328    0    0  328 / 1000   175.0s Saturn_lockfree.Size concurrent
[ ]  330    0    0  330 / 1000   175.1s Saturn_lockfree.Size concurrent
[ ]  333    0    0  333 / 1000   175.2s Saturn_lockfree.Size concurrent
[ ]  335    0    0  335 / 1000   175.3s Saturn_lockfree.Size concurrent
[ ]  339    0    0  339 / 1000   175.4s Saturn_lockfree.Size concurrent
[ ]  342    0    0  342 / 1000   175.5s Saturn_lockfree.Size concurrent
[ ]  347    0    0  347 / 1000   175.6s Saturn_lockfree.Size concurrent
[ ]  348    0    0  348 / 1000   175.9s Saturn_lockfree.Size concurrent
[ ]  349    0    0  349 / 1000   176.0s Saturn_lockfree.Size concurrent
[ ]  350    0    0  350 / 1000   176.6s Saturn_lockfree.Size concurrent
[ ]  352    0    0  352 / 1000   177.0s Saturn_lockfree.Size concurrent
[ ]  356    0    0  356 / 1000   177.1s Saturn_lockfree.Size concurrent
[ ]  358    0    0  358 / 1000   177.5s Saturn_lockfree.Size concurrent
[ ]  360    0    0  360 / 1000   178.0s Saturn_lockfree.Size concurrent
[ ]  362    0    0  362 / 1000   178.3s Saturn_lockfree.Size concurrent
[ ]  365    0    0  365 / 1000   178.4s Saturn_lockfree.Size concurrent
[ ]  366    0    0  366 / 1000   179.2s Saturn_lockfree.Size concurrent
[ ]  367    0    0  367 / 1000   179.5s Saturn_lockfree.Size concurrent
[ ]  370    0    0  370 / 1000   179.7s Saturn_lockfree.Size concurrent
[ ]  371    0    0  371 / 1000   179.8s Saturn_lockfree.Size concurrent
[ ]  377    0    0  377 / 1000   180.1s Saturn_lockfree.Size concurrent
[ ]  383    0    0  383 / 1000   180.3s Saturn_lockfree.Size concurrent
[ ]  388    0    0  388 / 1000   180.5s Saturn_lockfree.Size concurrent
[ ]  392    0    0  392 / 1000   181.1s Saturn_lockfree.Size concurrent
[ ]  397    0    0  397 / 1000   181.6s Saturn_lockfree.Size concurrent
[ ]  400    0    0  400 / 1000   182.1s Saturn_lockfree.Size concurrent
[ ]  405    0    0  405 / 1000   182.3s Saturn_lockfree.Size concurrent
[ ]  407    0    0  407 / 1000   182.9s Saturn_lockfree.Size concurrent
[ ]  410    0    0  410 / 1000   183.0s Saturn_lockfree.Size concurrent
[ ]  412    0    0  412 / 1000   183.2s Saturn_lockfree.Size concurrent
[ ]  417    0    0  417 / 1000   183.3s Saturn_lockfree.Size concurrent
[ ]  419    0    0  419 / 1000   183.5s Saturn_lockfree.Size concurrent
[ ]  424    0    0  424 / 1000   183.6s Saturn_lockfree.Size concurrent
[ ]  428    0    0  428 / 1000   183.7s Saturn_lockfree.Size concurrent
[ ]  429    0    0  429 / 1000   183.8s Saturn_lockfree.Size concurrent
[ ]  432    0    0  432 / 1000   183.9s Saturn_lockfree.Size concurrent
[ ]  435    0    0  435 / 1000   184.1s Saturn_lockfree.Size concurrent
[ ]  437    0    0  437 / 1000   184.3s Saturn_lockfree.Size concurrent
[ ]  444    0    0  444 / 1000   184.4s Saturn_lockfree.Size concurrent
[ ]  447    0    0  447 / 1000   184.7s Saturn_lockfree.Size concurrent
[ ]  449    0    0  449 / 1000   185.1s Saturn_lockfree.Size concurrent
[ ]  454    0    0  454 / 1000   185.2s Saturn_lockfree.Size concurrent
[ ]  458    0    0  458 / 1000   185.3s Saturn_lockfree.Size concurrent
[ ]  465    0    0  465 / 1000   185.7s Saturn_lockfree.Size concurrent
[ ]  468    0    0  468 / 1000   186.0s Saturn_lockfree.Size concurrent
[ ]  470    0    0  470 / 1000   186.2s Saturn_lockfree.Size concurrent
[ ]  475    0    0  475 / 1000   186.6s Saturn_lockfree.Size concurrent
[ ]  476    0    0  476 / 1000   187.1s Saturn_lockfree.Size concurrent
[ ]  478    0    0  478 / 1000   187.7s Saturn_lockfree.Size concurrent
[ ]  484    0    0  484 / 1000   188.3s Saturn_lockfree.Size concurrent
[ ]  486    0    0  486 / 1000   188.7s Saturn_lockfree.Size concurrent
[ ]  490    0    0  490 / 1000   189.0s Saturn_lockfree.Size concurrent
[ ]  494    0    0  494 / 1000   189.2s Saturn_lockfree.Size concurrent
[ ]  498    0    0  498 / 1000   189.3s Saturn_lockfree.Size concurrent
[ ]  504    0    0  504 / 1000   189.4s Saturn_lockfree.Size concurrent
[ ]  508    0    0  508 / 1000   189.8s Saturn_lockfree.Size concurrent
[ ]  511    0    0  511 / 1000   189.9s Saturn_lockfree.Size concurrent
[ ]  513    0    0  513 / 1000   190.8s Saturn_lockfree.Size concurrent
[ ]  514    0    0  514 / 1000   191.3s Saturn_lockfree.Size concurrent
[ ]  515    0    0  515 / 1000   191.7s Saturn_lockfree.Size concurrent
[ ]  516    0    0  516 / 1000   191.9s Saturn_lockfree.Size concurrent
[ ]  517    0    0  517 / 1000   192.1s Saturn_lockfree.Size concurrent
[ ]  520    0    0  520 / 1000   192.7s Saturn_lockfree.Size concurrent
[ ]  523    0    0  523 / 1000   192.9s Saturn_lockfree.Size concurrent
[ ]  528    0    0  528 / 1000   193.1s Saturn_lockfree.Size concurrent
[ ]  531    0    0  531 / 1000   193.8s Saturn_lockfree.Size concurrent
[ ]  537    0    0  537 / 1000   193.9s Saturn_lockfree.Size concurrent
[ ]  541    0    0  541 / 1000   194.1s Saturn_lockfree.Size concurrent
[ ]  544    0    0  544 / 1000   194.4s Saturn_lockfree.Size concurrent
[ ]  547    0    0  547 / 1000   195.3s Saturn_lockfree.Size concurrent
[ ]  548    0    0  548 / 1000   195.5s Saturn_lockfree.Size concurrent
[ ]  552    0    0  552 / 1000   195.6s Saturn_lockfree.Size concurrent
[ ]  556    0    0  556 / 1000   195.8s Saturn_lockfree.Size concurrent
[ ]  559    0    0  559 / 1000   195.9s Saturn_lockfree.Size concurrent
[ ]  564    0    0  564 / 1000   196.0s Saturn_lockfree.Size concurrent
[ ]  568    0    0  568 / 1000   196.3s Saturn_lockfree.Size concurrent
[ ]  571    0    0  571 / 1000   196.8s Saturn_lockfree.Size concurrent
[ ]  578    0    0  578 / 1000   196.9s Saturn_lockfree.Size concurrent
[ ]  579    0    0  579 / 1000   197.4s Saturn_lockfree.Size concurrent
[ ]  580    0    0  580 / 1000   198.0s Saturn_lockfree.Size concurrent
[ ]  582    0    0  582 / 1000   198.2s Saturn_lockfree.Size concurrent
[ ]  584    0    0  584 / 1000   198.5s Saturn_lockfree.Size concurrent
[ ]  588    0    0  588 / 1000   198.6s Saturn_lockfree.Size concurrent
[ ]  591    0    0  591 / 1000   199.1s Saturn_lockfree.Size concurrent
[ ]  592    0    0  592 / 1000   199.2s Saturn_lockfree.Size concurrent
[ ]  595    0    0  595 / 1000   199.5s Saturn_lockfree.Size concurrent
[ ]  598    0    0  598 / 1000   200.1s Saturn_lockfree.Size concurrent
[ ]  603    0    0  603 / 1000   200.3s Saturn_lockfree.Size concurrent
[ ]  608    0    0  608 / 1000   200.5s Saturn_lockfree.Size concurrent
[ ]  610    0    0  610 / 1000   200.6s Saturn_lockfree.Size concurrent
[ ]  612    0    0  612 / 1000   200.9s Saturn_lockfree.Size concurrent
[ ]  616    0    0  616 / 1000   201.0s Saturn_lockfree.Size concurrent
[ ]  622    0    0  622 / 1000   201.3s Saturn_lockfree.Size concurrent
[ ]  630    0    0  630 / 1000   201.4s Saturn_lockfree.Size concurrent
[ ]  633    0    0  633 / 1000   201.6s Saturn_lockfree.Size concurrent
[ ]  638    0    0  638 / 1000   201.7s Saturn_lockfree.Size concurrent
[ ]  640    0    0  640 / 1000   202.1s Saturn_lockfree.Size concurrent
[ ]  647    0    0  647 / 1000   202.2s Saturn_lockfree.Size concurrent
[ ]  652    0    0  652 / 1000   202.3s Saturn_lockfree.Size concurrent
[ ]  654    0    0  654 / 1000   203.2s Saturn_lockfree.Size concurrent
[ ]  656    0    0  656 / 1000   203.8s Saturn_lockfree.Size concurrent
[ ]  662    0    0  662 / 1000   204.0s Saturn_lockfree.Size concurrent
[ ]  668    0    0  668 / 1000   204.4s Saturn_lockfree.Size concurrent
[ ]  672    0    0  672 / 1000   204.8s Saturn_lockfree.Size concurrent
[ ]  676    0    0  676 / 1000   204.9s Saturn_lockfree.Size concurrent
[ ]  679    0    0  679 / 1000   205.0s Saturn_lockfree.Size concurrent
[ ]  683    0    0  683 / 1000   205.2s Saturn_lockfree.Size concurrent
[ ]  684    0    0  684 / 1000   205.4s Saturn_lockfree.Size concurrent
[ ]  686    0    0  686 / 1000   205.5s Saturn_lockfree.Size concurrent
[ ]  691    0    0  691 / 1000   205.6s Saturn_lockfree.Size concurrent
[ ]  693    0    0  693 / 1000   205.8s Saturn_lockfree.Size concurrent
[ ]  697    0    0  697 / 1000   205.9s Saturn_lockfree.Size concurrent
[ ]  699    0    0  699 / 1000   206.2s Saturn_lockfree.Size concurrent
[ ]  701    0    0  701 / 1000   206.7s Saturn_lockfree.Size concurrent
[ ]  704    0    0  704 / 1000   206.8s Saturn_lockfree.Size concurrent
[ ]  710    0    0  710 / 1000   207.2s Saturn_lockfree.Size concurrent
[ ]  711    0    0  711 / 1000   207.4s Saturn_lockfree.Size concurrent
[ ]  714    0    0  714 / 1000   207.7s Saturn_lockfree.Size concurrent
[ ]  717    0    0  717 / 1000   207.9s Saturn_lockfree.Size concurrent
[ ]  721    0    0  721 / 1000   208.2s Saturn_lockfree.Size concurrent
[ ]  727    0    0  727 / 1000   208.3s Saturn_lockfree.Size concurrent
[ ]  733    0    0  733 / 1000   209.4s Saturn_lockfree.Size concurrent
[ ]  735    0    0  735 / 1000   209.5s Saturn_lockfree.Size concurrent
[ ]  738    0    0  738 / 1000   209.6s Saturn_lockfree.Size concurrent
[ ]  740    0    0  740 / 1000   209.9s Saturn_lockfree.Size concurrent
[ ]  742    0    0  742 / 1000   210.2s Saturn_lockfree.Size concurrent
[ ]  748    0    0  748 / 1000   210.3s Saturn_lockfree.Size concurrent
[ ]  752    0    0  752 / 1000   210.5s Saturn_lockfree.Size concurrent
[ ]  753    0    0  753 / 1000   210.6s Saturn_lockfree.Size concurrent
[ ]  758    0    0  758 / 1000   210.8s Saturn_lockfree.Size concurrent
[ ]  759    0    0  759 / 1000   210.9s Saturn_lockfree.Size concurrent
[ ]  767    0    0  767 / 1000   211.0s Saturn_lockfree.Size concurrent
[ ]  769    0    0  769 / 1000   211.6s Saturn_lockfree.Size concurrent
[ ]  770    0    0  770 / 1000   211.7s Saturn_lockfree.Size concurrent
[ ]  774    0    0  774 / 1000   211.9s Saturn_lockfree.Size concurrent
[ ]  775    0    0  775 / 1000   212.1s Saturn_lockfree.Size concurrent
[ ]  779    0    0  779 / 1000   212.8s Saturn_lockfree.Size concurrent
[ ]  781    0    0  781 / 1000   213.3s Saturn_lockfree.Size concurrent
[ ]  784    0    0  784 / 1000   213.4s Saturn_lockfree.Size concurrent
[ ]  786    0    0  786 / 1000   214.2s Saturn_lockfree.Size concurrent
[ ]  788    0    0  788 / 1000   214.4s Saturn_lockfree.Size concurrent
[ ]  790    0    0  790 / 1000   214.5s Saturn_lockfree.Size concurrent
[ ]  797    0    0  797 / 1000   214.6s Saturn_lockfree.Size concurrent
[ ]  799    0    0  799 / 1000   214.7s Saturn_lockfree.Size concurrent
[ ]  802    0    0  802 / 1000   214.9s Saturn_lockfree.Size concurrent
[ ]  807    0    0  807 / 1000   215.3s Saturn_lockfree.Size concurrent
[ ]  808    0    0  808 / 1000   215.4s Saturn_lockfree.Size concurrent
[ ]  813    0    0  813 / 1000   215.8s Saturn_lockfree.Size concurrent
[ ]  820    0    0  820 / 1000   215.9s Saturn_lockfree.Size concurrent
[ ]  823    0    0  823 / 1000   216.2s Saturn_lockfree.Size concurrent
[ ]  826    0    0  826 / 1000   216.5s Saturn_lockfree.Size concurrent
[ ]  829    0    0  829 / 1000   216.9s Saturn_lockfree.Size concurrent
[ ]  831    0    0  831 / 1000   217.1s Saturn_lockfree.Size concurrent
[ ]  832    0    0  832 / 1000   217.5s Saturn_lockfree.Size concurrent
[ ]  833    0    0  833 / 1000   217.7s Saturn_lockfree.Size concurrent
[ ]  837    0    0  837 / 1000   217.8s Saturn_lockfree.Size concurrent
[ ]  839    0    0  839 / 1000   217.9s Saturn_lockfree.Size concurrent
[ ]  842    0    0  842 / 1000   218.2s Saturn_lockfree.Size concurrent
[ ]  846    0    0  846 / 1000   219.0s Saturn_lockfree.Size concurrent
[ ]  850    0    0  850 / 1000   219.1s Saturn_lockfree.Size concurrent
[ ]  855    0    0  855 / 1000   219.2s Saturn_lockfree.Size concurrent
[ ]  859    0    0  859 / 1000   219.5s Saturn_lockfree.Size concurrent
[ ]  860    0    0  860 / 1000   219.6s Saturn_lockfree.Size concurrent
[ ]  862    0    0  862 / 1000   219.8s Saturn_lockfree.Size concurrent
[ ]  864    0    0  864 / 1000   220.1s Saturn_lockfree.Size concurrent
[ ]  869    0    0  869 / 1000   220.2s Saturn_lockfree.Size concurrent
[ ]  873    0    0  873 / 1000   221.1s Saturn_lockfree.Size concurrent
[ ]  874    0    0  874 / 1000   221.2s Saturn_lockfree.Size concurrent
[ ]  877    0    0  877 / 1000   221.4s Saturn_lockfree.Size concurrent
[ ]  879    0    0  879 / 1000   221.6s Saturn_lockfree.Size concurrent
[ ]  881    0    0  881 / 1000   222.1s Saturn_lockfree.Size concurrent
[ ]  889    0    0  889 / 1000   222.2s Saturn_lockfree.Size concurrent
[ ]  891    0    0  891 / 1000   222.7s Saturn_lockfree.Size concurrent
[ ]  896    0    0  896 / 1000   222.8s Saturn_lockfree.Size concurrent
[ ]  900    0    0  900 / 1000   222.9s Saturn_lockfree.Size concurrent
[ ]  908    0    0  908 / 1000   223.0s Saturn_lockfree.Size concurrent
[ ]  915    0    0  915 / 1000   223.1s Saturn_lockfree.Size concurrent
[ ]  918    0    0  918 / 1000   223.3s Saturn_lockfree.Size concurrent
[ ]  923    0    0  923 / 1000   223.4s Saturn_lockfree.Size concurrent
[ ]  926    0    0  926 / 1000   223.5s Saturn_lockfree.Size concurrent
[ ]  933    0    0  933 / 1000   223.6s Saturn_lockfree.Size concurrent
[ ]  938    0    0  938 / 1000   224.0s Saturn_lockfree.Size concurrent
[ ]  942    0    0  942 / 1000   224.2s Saturn_lockfree.Size concurrent
[ ]  944    0    0  944 / 1000   224.6s Saturn_lockfree.Size concurrent
[ ]  949    0    0  949 / 1000   224.8s Saturn_lockfree.Size concurrent
[ ]  957    0    0  957 / 1000   224.9s Saturn_lockfree.Size concurrent
[ ]  959    0    0  959 / 1000   225.4s Saturn_lockfree.Size concurrent
[ ]  967    0    0  967 / 1000   225.5s Saturn_lockfree.Size concurrent
[ ]  970    0    0  970 / 1000   225.7s Saturn_lockfree.Size concurrent
[ ]  972    0    0  972 / 1000   225.9s Saturn_lockfree.Size concurrent
[ ]  982    0    0  982 / 1000   226.0s Saturn_lockfree.Size concurrent
[ ]  984    0    0  984 / 1000   226.2s Saturn_lockfree.Size concurrent
[ ]  985    0    0  985 / 1000   226.4s Saturn_lockfree.Size concurrent
[ ]  989    0    0  989 / 1000   226.7s Saturn_lockfree.Size concurrent
[ ]  992    0    0  992 / 1000   226.8s Saturn_lockfree.Size concurrent
[ ]  994    0    0  994 / 1000   227.0s Saturn_lockfree.Size concurrent
[] 1000    0    0 1000 / 1000   227.1s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
2024-11-04 17:22.32 ---> saved as "9c6f008043deec2cb6694f3ec9c4c0dbfc5234736ea1d1dce785f14738444cb4"
Job succeeded
2024-11-04 17:22.33: Job succeeded