Organisationsocaml-multicoresaturn586dd4 (mpmc-two-stack-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.22: New job: test ocaml-multicore/saturn https://github.com/ocaml-multicore/saturn.git#refs/heads/mpmc-two-stack-queue (586dd4bcefdc0c286384ab57f0acb542cb142eb8) (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 "mpmc-two-stack-queue" && cd "saturn" && git reset --hard 586dd4bc
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.22: 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.22: 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.22: Waiting for resource in pool OCluster
2024-11-04 17:15.44: Waiting for worker…
2024-11-04 17:17.41: Got resource from pool OCluster
Building on x86-bm-c18.sw.ocaml.org
All commits already cached
HEAD is now at 586dd4b Fix pop


(from ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc)
2024-11-04 17:17.42 ---> using "4671d91d620de463500ac0d3192fd582c43ef2c52fd6f83e69c987c8940ba12a" from cache


/: (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:17.42 ---> using "39edb1933d0e30d072b729f04671f7774f84d9fe0be023541900506cc20b3bb9" from cache


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


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


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 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:17.42 ---> using "7be193041735a3c99358eaa6c6114203641cd6b2deea706e5ad7f63c9183dfe3" from cache


/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:17.42 ---> using "52f8e1c283e5bcc23db417ffe89a3ddc18a33e524293451ebe5ae05332a979c9" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-11-04 17:17.42 ---> using "024a57ce526c4b0bc42c8c79ff721c1e18b3fba252dfe40577d9e801fd46820b" from cache


/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.42 ---> using "6f8a3b66ae7362dd2ad8e760f9d4b61ea58b5aee20da7a78fd7fd23922b923ef" from cache


/src: (copy (src saturn_lockfree.opam saturn.opam) (dst ./))
2024-11-04 17:17.42 ---> using "b3fce4501e14db1b5aa31452cc7b58509279bb59bf7f7458585c262756057a06" from cache


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


/src: (env DEPS "alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-threads.base base-unix.base cmdliner.1.3.0 containers.3.14 csexp.1.5.2 domain-local-await.1.0.1 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.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 "d34d9bef507c785e19b726666a94a321b1c2c64ea2d5306b16f64275647c687d"


/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: 267954600
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: 276100697
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: 289609635
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/ws_deque && ./qcheck_ws_deque.exe)
qcheck random seed: 254452081
Testing `Ws_deque'.
This run has ID `IL94ULXZ'.


[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.919s. 6 tests run.
(cd _build/default/test/treiber_stack && ./qcheck_treiber_stack.exe)
qcheck random seed: 261946797
Testing `Treiber_stack'.
This run has ID `OFENP4MS'.


[OK]          test_sequential            0   push.
[OK]          test_sequential            1   push_pop_until_empty.
[OK]          test_sequential            2   lifo.
[OK]          one_cons_one_prod          0   parallel.
[OK]          two_domains                0   parallel_pop_push.
[OK]          two_domains                1   parallel_pop_push_random.


Full test results in `/src/_build/default/test/treiber_stack/_build/_tests/Treiber_stack'.
Test Successful in 4.006s. 6 tests run.
(cd _build/default/test/michael_scott_queue && ./qcheck_michael_scott_queue.exe)
qcheck random seed: 400105932
Testing `Michael_scott_queue'.
This run has ID `TG8V599N'.


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


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


[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 6.382s. 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 = 100000, stolen = 0)
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
messages over time/1 adder, 1 taker (cas):
11.48 M/s
messages over time/1 adder, 1 taker (not lf):
11.02 M/s
messages over time/1 adder, 1 taker (spin):
9.21 M/s
messages over time/1 adder, 2 takers (cas):
9.42 M/s
messages over time/1 adder, 2 takers (not lf):
10.35 M/s
messages over time/1 adder, 2 takers (spin):
8.32 M/s
messages over time/2 adders, 1 taker (cas):
11.44 M/s
messages over time/2 adders, 1 taker (not lf):
9.83 M/s
messages over time/2 adders, 1 taker (spin):
9.29 M/s
messages over time/2 adders, 2 takers (cas):
12.61 M/s
messages over time/2 adders, 2 takers (not lf):
12.42 M/s
messages over time/2 adders, 2 takers (spin):
10.04 M/s
time per message/1 adder, 1 taker (cas):
174.14 ns
time per message/1 adder, 1 taker (not lf):
181.53 ns
time per message/1 adder, 1 taker (spin):
217.04 ns
time per message/1 adder, 2 takers (cas):
318.61 ns
time per message/1 adder, 2 takers (not lf):
289.75 ns
time per message/1 adder, 2 takers (spin):
360.37 ns
time per message/2 adders, 1 taker (cas):
262.26 ns
time per message/2 adders, 1 taker (not lf):
305.23 ns
time per message/2 adders, 1 taker (spin):
322.92 ns
time per message/2 adders, 2 takers (cas):
317.11 ns
time per message/2 adders, 2 takers (not lf):
322.04 ns
time per message/2 adders, 2 takers (spin):
398.25 ns
Saturn_lockfree Queue:
messages over time/1 nb adder, 1 nb taker:
10.00 M/s
messages over time/1 nb adder, 2 nb takers:
9.58 M/s
messages over time/2 nb adders, 1 nb taker:
9.31 M/s
messages over time/2 nb adders, 2 nb takers:
9.00 M/s
messages over time/one domain:
5.67 M/s
time per message/1 nb adder, 1 nb taker:
199.93 ns
time per message/1 nb adder, 2 nb takers:
313.04 ns
time per message/2 nb adders, 1 nb taker:
322.09 ns
time per message/2 nb adders, 2 nb takers:
444.56 ns
time per message/one domain:
176.44 ns
Saturn_lockfree Single_prod_single_cons_queue:
messages over time/2 workers, capacity 1:
0.05 M/s
messages over time/2 workers, capacity 1 (unsafe):
0.05 M/s
messages over time/2 workers, capacity 32768:
15.08 M/s
messages over time/2 workers, capacity 32768 (unsafe):
22.55 M/s
messages over time/2 workers, capacity 4096:
12.42 M/s
messages over time/2 workers, capacity 4096 (unsafe):
17.15 M/s
messages over time/2 workers, capacity 512:
8.89 M/s
messages over time/2 workers, capacity 512 (unsafe):
10.06 M/s
messages over time/2 workers, capacity 64:
2.32 M/s
messages over time/2 workers, capacity 64 (unsafe):
2.79 M/s
messages over time/2 workers, capacity 8:
0.37 M/s
messages over time/2 workers, capacity 8 (unsafe):
0.20 M/s
time per message/2 workers, capacity 1:
40635.57 ns
time per message/2 workers, capacity 1 (unsafe):
42298.14 ns
time per message/2 workers, capacity 32768:
132.61 ns
time per message/2 workers, capacity 32768 (unsafe):
88.70 ns
time per message/2 workers, capacity 4096:
161.08 ns
time per message/2 workers, capacity 4096 (unsafe):
116.61 ns
time per message/2 workers, capacity 512:
225.03 ns
time per message/2 workers, capacity 512 (unsafe):
198.75 ns
time per message/2 workers, capacity 64:
863.23 ns
time per message/2 workers, capacity 64 (unsafe):
716.83 ns
time per message/2 workers, capacity 8:
5371.74 ns
time per message/2 workers, capacity 8 (unsafe):
10105.61 ns
Saturn_lockfree Size:
operations over time/1 worker:
19.54 M/s
operations over time/2 workers:
18.48 M/s
operations over time/4 workers:
15.50 M/s
time per operation/1 worker:
51.17 ns
time per operation/2 workers:
108.21 ns
time per operation/4 workers:
258.05 ns
Saturn_lockfree Skiplist:
operations over time/1 workers, 10% mem 45% add 45% rem:
0.62 M/s
operations over time/1 workers, 50% mem 25% add 25% rem:
0.80 M/s
operations over time/1 workers, 90% mem 5% add 5% rem:
0.51 M/s
operations over time/2 workers, 10% mem 45% add 45% rem:
0.29 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:
0.72 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.74 M/s
operations over time/4 workers, 90% mem 5% add 5% rem:
0.65 M/s
time per operation/1 workers, 10% mem 45% add 45% rem:
1613.21 ns
time per operation/1 workers, 50% mem 25% add 25% rem:
1242.34 ns
time per operation/1 workers, 90% mem 5% add 5% rem:
1972.69 ns
time per operation/2 workers, 10% mem 45% add 45% rem:
6921.80 ns
time per operation/2 workers, 50% mem 25% add 25% rem:
2623.70 ns
time per operation/2 workers, 90% mem 5% add 5% rem:
2777.36 ns
time per operation/4 workers, 10% mem 45% add 45% rem:
10189.17 ns
time per operation/4 workers, 50% mem 25% add 25% rem:
5430.27 ns
time per operation/4 workers, 90% mem 5% add 5% rem:
6190.18 ns
Saturn_lockfree Stack:
messages over time/1 adder, 1 taker:
25.53 M/s
messages over time/1 adder, 2 takers:
22.25 M/s
messages over time/2 adders, 1 taker:
27.01 M/s
messages over time/2 adders, 2 takers:
22.73 M/s
messages over time/one domain:
13.50 M/s
time per message/1 adder, 1 taker:
78.33 ns
time per message/1 adder, 2 takers:
134.83 ns
time per message/2 adders, 1 taker:
111.05 ns
time per message/2 adders, 2 takers:
176.00 ns
time per message/one domain:
74.08 ns
Saturn_lockfree Two_stack_queue:
messages over time/1 nb adder, 1 nb taker:
13.90 M/s
messages over time/1 nb adder, 2 nb takers:
12.13 M/s
messages over time/2 nb adders, 1 nb taker:
14.37 M/s
messages over time/2 nb adders, 2 nb takers:
11.19 M/s
messages over time/one domain:
6.85 M/s
time per message/1 nb adder, 1 nb taker:
143.93 ns
time per message/1 nb adder, 2 nb takers:
247.36 ns
time per message/2 nb adders, 1 nb taker:
208.71 ns
time per message/2 nb adders, 2 nb takers:
357.50 ns
time per message/one domain:
145.95 ns
Saturn_lockfree Work_stealing_deque:
messages over time/1 adder, 1 taker:
7.18 M/s
messages over time/1 adder, 2 takers:
6.76 M/s
messages over time/1 adder, 4 takers:
6.61 M/s
messages over time/one domain (FIFO):
5.92 M/s
messages over time/one domain (LIFO):
6.13 M/s
spawns over time/1 worker:
5.18 M/s
spawns over time/2 workers:
5.11 M/s
spawns over time/4 workers:
4.47 M/s
spawns over time/8 workers:
3.89 M/s
time per message/1 adder, 1 taker:
278.59 ns
time per message/1 adder, 2 takers:
444.08 ns
time per message/1 adder, 4 takers:
756.52 ns
time per message/one domain (FIFO):
168.88 ns
time per message/one domain (LIFO):
163.15 ns
time per spawn/1 worker:
192.94 ns
time per spawn/2 workers:
391.06 ns
time per spawn/4 workers:
895.42 ns
time per spawn/8 workers:
2055.85 ns
(cd _build/default/test/skiplist && ./qcheck_skiplist.exe)
qcheck random seed: 621162812
Testing `QCheck Skiplist'.
This run has ID `K1FNTEB2'.


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


[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.861s. 9 tests run.
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)
random seed: 297466953
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     2.1s Saturn_lockfree.Treiber_stack concurrent
[ ]    2    0    0    2 /  500     3.3s Saturn_lockfree.Treiber_stack concurrent
[ ]    3    0    0    3 /  500     4.2s Saturn_lockfree.Treiber_stack concurrent
[ ]    4    0    0    4 /  500     5.0s Saturn_lockfree.Treiber_stack concurrent
[ ]    5    0    0    5 /  500     5.3s Saturn_lockfree.Treiber_stack concurrent
[ ]    6    0    0    6 /  500     5.6s Saturn_lockfree.Treiber_stack concurrent
[ ]    7    0    0    7 /  500     6.1s Saturn_lockfree.Treiber_stack concurrent
[ ]    8    0    0    8 /  500     6.4s Saturn_lockfree.Treiber_stack concurrent
[ ]    9    0    0    9 /  500     6.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   10    0    0   10 /  500     7.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   11    0    0   11 /  500     7.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   12    0    0   12 /  500     7.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   13    0    0   13 /  500     8.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   14    0    0   14 /  500     8.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   15    0    0   15 /  500     9.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   16    0    0   16 /  500    11.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   17    0    0   17 /  500    11.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   18    0    0   18 /  500    11.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   19    0    0   19 /  500    12.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   20    0    0   20 /  500    14.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   21    0    0   21 /  500    15.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   22    0    0   22 /  500    15.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   23    0    0   23 /  500    17.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   24    0    0   24 /  500    18.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   25    0    0   25 /  500    18.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   26    0    0   26 /  500    18.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   27    0    0   27 /  500    19.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   28    0    0   28 /  500    19.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   29    0    0   29 /  500    20.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   30    0    0   30 /  500    20.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   31    0    0   31 /  500    21.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   32    0    0   32 /  500    21.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   33    0    0   33 /  500    22.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   34    0    0   34 /  500    22.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   35    0    0   35 /  500    22.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   36    0    0   36 /  500    22.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   37    0    0   37 /  500    24.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   38    0    0   38 /  500    25.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   39    0    0   39 /  500    25.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   40    0    0   40 /  500    25.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   41    0    0   41 /  500    26.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   42    0    0   42 /  500    26.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   43    0    0   43 /  500    26.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   44    0    0   44 /  500    27.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   45    0    0   45 /  500    27.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   46    0    0   46 /  500    28.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   47    0    0   47 /  500    28.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   48    0    0   48 /  500    28.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   49    0    0   49 /  500    28.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   50    0    0   50 /  500    28.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   51    0    0   51 /  500    29.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   52    0    0   52 /  500    29.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   54    0    0   54 /  500    30.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   55    0    0   55 /  500    30.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   57    0    0   57 /  500    31.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   58    0    0   58 /  500    32.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   59    0    0   59 /  500    32.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   60    0    0   60 /  500    32.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   61    0    0   61 /  500    33.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   62    0    0   62 /  500    33.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   63    0    0   63 /  500    33.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   64    0    0   64 /  500    33.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   65    0    0   65 /  500    34.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   66    0    0   66 /  500    34.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   67    0    0   67 /  500    35.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   68    0    0   68 /  500    35.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   69    0    0   69 /  500    35.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   70    0    0   70 /  500    35.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   72    0    0   72 /  500    35.9s Saturn_lockfree.Treiber_stack concurrent
[ ]   74    0    0   74 /  500    36.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   75    0    0   75 /  500    36.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   76    0    0   76 /  500    36.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   78    0    0   78 /  500    36.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   80    0    0   80 /  500    36.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   82    0    0   82 /  500    37.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   83    0    0   83 /  500    37.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   84    0    0   84 /  500    37.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   85    0    0   85 /  500    37.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   86    0    0   86 /  500    38.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   87    0    0   87 /  500    38.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   88    0    0   88 /  500    38.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   89    0    0   89 /  500    39.3s Saturn_lockfree.Treiber_stack concurrent
[ ]   90    0    0   90 /  500    39.8s Saturn_lockfree.Treiber_stack concurrent
[ ]   91    0    0   91 /  500    40.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   92    0    0   92 /  500    40.2s Saturn_lockfree.Treiber_stack concurrent
[ ]   93    0    0   93 /  500    40.4s Saturn_lockfree.Treiber_stack concurrent
[ ]   94    0    0   94 /  500    40.6s Saturn_lockfree.Treiber_stack concurrent
[ ]   95    0    0   95 /  500    40.7s Saturn_lockfree.Treiber_stack concurrent
[ ]   96    0    0   96 /  500    41.0s Saturn_lockfree.Treiber_stack concurrent
[ ]   97    0    0   97 /  500    41.1s Saturn_lockfree.Treiber_stack concurrent
[ ]   98    0    0   98 /  500    41.5s Saturn_lockfree.Treiber_stack concurrent
[ ]   99    0    0   99 /  500    41.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  100    0    0  100 /  500    42.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  101    0    0  101 /  500    44.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  102    0    0  102 /  500    44.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  103    0    0  103 /  500    44.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  104    0    0  104 /  500    45.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  105    0    0  105 /  500    46.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  106    0    0  106 /  500    46.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  107    0    0  107 /  500    47.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  108    0    0  108 /  500    47.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  109    0    0  109 /  500    47.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  110    0    0  110 /  500    48.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  111    0    0  111 /  500    48.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  112    0    0  112 /  500    49.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  113    0    0  113 /  500    49.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  114    0    0  114 /  500    50.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  115    0    0  115 /  500    50.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  117    0    0  117 /  500    50.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  118    0    0  118 /  500    51.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  120    0    0  120 /  500    51.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  121    0    0  121 /  500    51.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  123    0    0  123 /  500    51.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  126    0    0  126 /  500    51.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  127    0    0  127 /  500    51.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  128    0    0  128 /  500    52.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  130    0    0  130 /  500    52.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  132    0    0  132 /  500    52.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  136    0    0  136 /  500    52.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  139    0    0  139 /  500    52.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  140    0    0  140 /  500    52.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  142    0    0  142 /  500    53.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  144    0    0  144 /  500    53.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  147    0    0  147 /  500    53.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  148    0    0  148 /  500    53.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  150    0    0  150 /  500    53.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  152    0    0  152 /  500    54.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  153    0    0  153 /  500    54.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  154    0    0  154 /  500    54.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  156    0    0  156 /  500    54.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  157    0    0  157 /  500    54.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  158    0    0  158 /  500    55.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  160    0    0  160 /  500    55.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  161    0    0  161 /  500    55.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  162    0    0  162 /  500    55.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  163    0    0  163 /  500    56.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  164    0    0  164 /  500    56.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  165    0    0  165 /  500    57.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  166    0    0  166 /  500    57.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  167    0    0  167 /  500    58.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  168    0    0  168 /  500    58.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  169    0    0  169 /  500    59.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  170    0    0  170 /  500    59.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  171    0    0  171 /  500    59.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  172    0    0  172 /  500    59.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  173    0    0  173 /  500    60.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  174    0    0  174 /  500    60.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  175    0    0  175 /  500    60.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  176    0    0  176 /  500    60.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  177    0    0  177 /  500    61.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  178    0    0  178 /  500    61.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  179    0    0  179 /  500    63.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  180    0    0  180 /  500    63.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  181    0    0  181 /  500    64.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  182    0    0  182 /  500    66.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  183    0    0  183 /  500    67.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  184    0    0  184 /  500    69.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  185    0    0  185 /  500    70.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  186    0    0  186 /  500    71.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  187    0    0  187 /  500    72.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  188    0    0  188 /  500    73.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  189    0    0  189 /  500    74.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  190    0    0  190 /  500    75.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  191    0    0  191 /  500    76.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  192    0    0  192 /  500    77.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  193    0    0  193 /  500    78.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  194    0    0  194 /  500    79.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  195    0    0  195 /  500    79.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  196    0    0  196 /  500    80.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  197    0    0  197 /  500    80.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  198    0    0  198 /  500    80.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  199    0    0  199 /  500    81.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  200    0    0  200 /  500    82.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  201    0    0  201 /  500    83.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  202    0    0  202 /  500    83.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  203    0    0  203 /  500    84.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  204    0    0  204 /  500    85.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  205    0    0  205 /  500    86.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  206    0    0  206 /  500    86.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  207    0    0  207 /  500    87.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  208    0    0  208 /  500    87.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  209    0    0  209 /  500    88.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  210    0    0  210 /  500    88.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  211    0    0  211 /  500    89.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  212    0    0  212 /  500    89.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  213    0    0  213 /  500    90.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  214    0    0  214 /  500    91.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  215    0    0  215 /  500    92.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  216    0    0  216 /  500    93.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  217    0    0  217 /  500    94.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  218    0    0  218 /  500    94.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  219    0    0  219 /  500    95.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  220    0    0  220 /  500    96.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  221    0    0  221 /  500    97.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  222    0    0  222 /  500    98.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  223    0    0  223 /  500    99.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  224    0    0  224 /  500   100.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  225    0    0  225 /  500   101.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  226    0    0  226 /  500   101.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  227    0    0  227 /  500   102.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  228    0    0  228 /  500   104.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  229    0    0  229 /  500   105.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  230    0    0  230 /  500   106.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  231    0    0  231 /  500   107.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  232    0    0  232 /  500   108.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  233    0    0  233 /  500   109.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  234    0    0  234 /  500   111.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  235    0    0  235 /  500   112.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  236    0    0  236 /  500   112.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  237    0    0  237 /  500   113.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  238    0    0  238 /  500   114.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  239    0    0  239 /  500   115.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  240    0    0  240 /  500   115.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  241    0    0  241 /  500   116.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  242    0    0  242 /  500   116.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  243    0    0  243 /  500   118.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  244    0    0  244 /  500   118.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  245    0    0  245 /  500   119.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  246    0    0  246 /  500   120.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  247    0    0  247 /  500   120.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  248    0    0  248 /  500   121.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  249    0    0  249 /  500   121.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  250    0    0  250 /  500   121.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  251    0    0  251 /  500   121.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  252    0    0  252 /  500   121.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  253    0    0  253 /  500   121.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  254    0    0  254 /  500   122.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  255    0    0  255 /  500   122.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  256    0    0  256 /  500   122.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  257    0    0  257 /  500   123.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  258    0    0  258 /  500   123.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  259    0    0  259 /  500   124.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  260    0    0  260 /  500   124.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  261    0    0  261 /  500   124.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  262    0    0  262 /  500   124.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  263    0    0  263 /  500   125.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  264    0    0  264 /  500   126.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  265    0    0  265 /  500   126.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  266    0    0  266 /  500   127.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  267    0    0  267 /  500   127.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  268    0    0  268 /  500   127.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  269    0    0  269 /  500   128.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  270    0    0  270 /  500   128.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  271    0    0  271 /  500   129.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  272    0    0  272 /  500   130.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  273    0    0  273 /  500   130.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  274    0    0  274 /  500   131.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  275    0    0  275 /  500   131.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  276    0    0  276 /  500   131.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  277    0    0  277 /  500   132.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  278    0    0  278 /  500   132.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  279    0    0  279 /  500   132.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  280    0    0  280 /  500   133.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  281    0    0  281 /  500   133.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  282    0    0  282 /  500   133.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  283    0    0  283 /  500   133.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  284    0    0  284 /  500   134.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  285    0    0  285 /  500   134.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  286    0    0  286 /  500   135.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  287    0    0  287 /  500   135.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  288    0    0  288 /  500   135.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  289    0    0  289 /  500   136.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  290    0    0  290 /  500   136.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  291    0    0  291 /  500   136.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  292    0    0  292 /  500   137.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  293    0    0  293 /  500   137.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  294    0    0  294 /  500   137.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  295    0    0  295 /  500   138.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  296    0    0  296 /  500   138.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  297    0    0  297 /  500   138.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  298    0    0  298 /  500   139.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  299    0    0  299 /  500   139.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  300    0    0  300 /  500   140.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  301    0    0  301 /  500   140.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  302    0    0  302 /  500   140.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  303    0    0  303 /  500   140.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  304    0    0  304 /  500   140.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  305    0    0  305 /  500   141.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  306    0    0  306 /  500   141.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  307    0    0  307 /  500   141.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  308    0    0  308 /  500   141.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  309    0    0  309 /  500   142.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  310    0    0  310 /  500   142.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  311    0    0  311 /  500   143.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  312    0    0  312 /  500   143.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  313    0    0  313 /  500   143.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  314    0    0  314 /  500   144.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  315    0    0  315 /  500   144.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  316    0    0  316 /  500   144.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  317    0    0  317 /  500   145.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  318    0    0  318 /  500   145.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  319    0    0  319 /  500   145.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  320    0    0  320 /  500   146.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  321    0    0  321 /  500   146.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  322    0    0  322 /  500   146.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  323    0    0  323 /  500   146.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  324    0    0  324 /  500   147.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  326    0    0  326 /  500   147.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  327    0    0  327 /  500   147.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  328    0    0  328 /  500   147.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  329    0    0  329 /  500   148.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  330    0    0  330 /  500   148.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  331    0    0  331 /  500   148.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  332    0    0  332 /  500   148.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  333    0    0  333 /  500   148.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  334    0    0  334 /  500   149.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  335    0    0  335 /  500   149.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  336    0    0  336 /  500   149.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  337    0    0  337 /  500   149.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  338    0    0  338 /  500   149.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  339    0    0  339 /  500   150.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  340    0    0  340 /  500   150.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  341    0    0  341 /  500   151.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  342    0    0  342 /  500   151.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  343    0    0  343 /  500   151.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  344    0    0  344 /  500   152.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  345    0    0  345 /  500   152.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  346    0    0  346 /  500   152.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  347    0    0  347 /  500   153.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  348    0    0  348 /  500   153.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  349    0    0  349 /  500   153.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  350    0    0  350 /  500   153.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  351    0    0  351 /  500   154.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  352    0    0  352 /  500   154.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  353    0    0  353 /  500   154.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  354    0    0  354 /  500   154.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  355    0    0  355 /  500   155.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  356    0    0  356 /  500   155.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  357    0    0  357 /  500   155.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  358    0    0  358 /  500   156.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  359    0    0  359 /  500   156.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  360    0    0  360 /  500   156.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  361    0    0  361 /  500   157.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  362    0    0  362 /  500   157.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  363    0    0  363 /  500   157.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  364    0    0  364 /  500   157.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  365    0    0  365 /  500   158.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  366    0    0  366 /  500   159.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  367    0    0  367 /  500   159.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  368    0    0  368 /  500   159.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  369    0    0  369 /  500   159.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  370    0    0  370 /  500   159.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  371    0    0  371 /  500   160.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  372    0    0  372 /  500   160.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  373    0    0  373 /  500   161.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  374    0    0  374 /  500   162.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  375    0    0  375 /  500   162.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  376    0    0  376 /  500   163.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  377    0    0  377 /  500   163.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  378    0    0  378 /  500   163.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  379    0    0  379 /  500   163.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  380    0    0  380 /  500   164.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  381    0    0  381 /  500   165.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  382    0    0  382 /  500   165.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  383    0    0  383 /  500   165.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  384    0    0  384 /  500   166.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  385    0    0  385 /  500   166.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  386    0    0  386 /  500   166.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  387    0    0  387 /  500   166.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  388    0    0  388 /  500   166.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  389    0    0  389 /  500   167.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  390    0    0  390 /  500   167.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  391    0    0  391 /  500   167.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  392    0    0  392 /  500   167.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  394    0    0  394 /  500   168.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  395    0    0  395 /  500   168.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  396    0    0  396 /  500   168.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  397    0    0  397 /  500   168.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  398    0    0  398 /  500   168.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  400    0    0  400 /  500   169.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  402    0    0  402 /  500   169.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  403    0    0  403 /  500   170.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  405    0    0  405 /  500   170.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  406    0    0  406 /  500   170.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  408    0    0  408 /  500   170.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  410    0    0  410 /  500   171.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  411    0    0  411 /  500   171.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  415    0    0  415 /  500   171.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  417    0    0  417 /  500   171.7s Saturn_lockfree.Treiber_stack concurrent
[ ]  418    0    0  418 /  500   171.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  421    0    0  421 /  500   172.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  422    0    0  422 /  500   172.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  423    0    0  423 /  500   172.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  424    0    0  424 /  500   172.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  426    0    0  426 /  500   173.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  427    0    0  427 /  500   173.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  429    0    0  429 /  500   173.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  431    0    0  431 /  500   173.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  433    0    0  433 /  500   173.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  436    0    0  436 /  500   173.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  437    0    0  437 /  500   174.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  440    0    0  440 /  500   174.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  442    0    0  442 /  500   174.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  444    0    0  444 /  500   174.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  448    0    0  448 /  500   175.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  453    0    0  453 /  500   175.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  457    0    0  457 /  500   175.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  459    0    0  459 /  500   175.8s Saturn_lockfree.Treiber_stack concurrent
[ ]  464    0    0  464 /  500   175.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  466    0    0  466 /  500   176.2s Saturn_lockfree.Treiber_stack concurrent
[ ]  468    0    0  468 /  500   176.3s Saturn_lockfree.Treiber_stack concurrent
[ ]  472    0    0  472 /  500   176.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  477    0    0  477 /  500   176.5s Saturn_lockfree.Treiber_stack concurrent
[ ]  480    0    0  480 /  500   176.9s Saturn_lockfree.Treiber_stack concurrent
[ ]  483    0    0  483 /  500   177.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  487    0    0  487 /  500   177.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  489    0    0  489 /  500   177.6s Saturn_lockfree.Treiber_stack concurrent
[ ]  491    0    0  491 /  500   178.0s Saturn_lockfree.Treiber_stack concurrent
[ ]  496    0    0  496 /  500   178.1s Saturn_lockfree.Treiber_stack concurrent
[ ]  498    0    0  498 /  500   178.4s Saturn_lockfree.Treiber_stack concurrent
[ ]  500    0    0  500 /  500   178.6s Saturn_lockfree.Treiber_stack concurrent
[]  500    0    0  500 /  500   178.6s Saturn_lockfree.Treiber_stack concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/two_stack_queue && ./stm_two_stack_queue.exe --verbose)
random seed: 445405931
generated error fail pass / total     time test name
[ ]    0    0    0    0 / 1000     0.0s Two_stack_queue sequential
[ ]    0    0    0    0 / 1000     0.0s Two_stack_queue sequential (generating)
[] 1000    0    0 1000 / 1000     0.0s Two_stack_queue sequential
[ ]    0    0    0    0 / 1000     0.0s Two_stack_queue concurrent
[ ]    1    0    0    1 / 1000     2.0s Two_stack_queue concurrent
[ ]    2    0    0    2 / 1000     2.9s Two_stack_queue concurrent
[ ]    3    0    0    3 / 1000     3.9s Two_stack_queue concurrent
[ ]    4    0    0    4 / 1000     4.3s Two_stack_queue concurrent
[ ]    5    0    0    5 / 1000     4.9s Two_stack_queue concurrent
[ ]    6    0    0    6 / 1000     5.7s Two_stack_queue concurrent
[ ]    7    0    0    7 / 1000     6.0s Two_stack_queue concurrent
[ ]    8    0    0    8 / 1000     6.6s Two_stack_queue concurrent
[ ]    9    0    0    9 / 1000     6.9s Two_stack_queue concurrent
[ ]   10    0    0   10 / 1000     7.3s Two_stack_queue concurrent
[ ]   11    0    0   11 / 1000     7.4s Two_stack_queue concurrent
[ ]   12    0    0   12 / 1000     7.8s Two_stack_queue concurrent
[ ]   13    0    0   13 / 1000     8.3s Two_stack_queue concurrent
[ ]   14    0    0   14 / 1000     8.9s Two_stack_queue concurrent
[ ]   15    0    0   15 / 1000     9.3s Two_stack_queue concurrent
[ ]   16    0    0   16 / 1000     9.5s Two_stack_queue concurrent
[ ]   17    0    0   17 / 1000    10.8s Two_stack_queue concurrent
[ ]   18    0    0   18 / 1000    11.3s Two_stack_queue concurrent
[ ]   19    0    0   19 / 1000    11.7s Two_stack_queue concurrent
[ ]   20    0    0   20 / 1000    12.4s Two_stack_queue concurrent
[ ]   21    0    0   21 / 1000    13.2s Two_stack_queue concurrent
[ ]   22    0    0   22 / 1000    13.7s Two_stack_queue concurrent
[ ]   23    0    0   23 / 1000    15.0s Two_stack_queue concurrent
[ ]   24    0    0   24 / 1000    16.4s Two_stack_queue concurrent
[ ]   25    0    0   25 / 1000    17.2s Two_stack_queue concurrent
[ ]   26    0    0   26 / 1000    18.0s Two_stack_queue concurrent
[ ]   27    0    0   27 / 1000    18.4s Two_stack_queue concurrent
[ ]   28    0    0   28 / 1000    18.6s Two_stack_queue concurrent
[ ]   29    0    0   29 / 1000    18.8s Two_stack_queue concurrent
[ ]   30    0    0   30 / 1000    19.0s Two_stack_queue concurrent
[ ]   31    0    0   31 / 1000    19.3s Two_stack_queue concurrent
[ ]   32    0    0   32 / 1000    19.8s Two_stack_queue concurrent
[ ]   33    0    0   33 / 1000    20.0s Two_stack_queue concurrent
[ ]   35    0    0   35 / 1000    20.1s Two_stack_queue concurrent
[ ]   36    0    0   36 / 1000    20.2s Two_stack_queue concurrent
[ ]   37    0    0   37 / 1000    20.8s Two_stack_queue concurrent
[ ]   38    0    0   38 / 1000    21.2s Two_stack_queue concurrent
[ ]   39    0    0   39 / 1000    21.6s Two_stack_queue concurrent
[ ]   40    0    0   40 / 1000    21.8s Two_stack_queue concurrent
[ ]   41    0    0   41 / 1000    22.4s Two_stack_queue concurrent
[ ]   42    0    0   42 / 1000    22.6s Two_stack_queue concurrent
[ ]   43    0    0   43 / 1000    23.0s Two_stack_queue concurrent
[ ]   45    0    0   45 / 1000    23.4s Two_stack_queue concurrent
[ ]   46    0    0   46 / 1000    24.0s Two_stack_queue concurrent
[ ]   47    0    0   47 / 1000    24.8s Two_stack_queue concurrent
[ ]   48    0    0   48 / 1000    25.9s Two_stack_queue concurrent
[ ]   49    0    0   49 / 1000    26.3s Two_stack_queue concurrent
[ ]   50    0    0   50 / 1000    26.6s Two_stack_queue concurrent
[ ]   51    0    0   51 / 1000    27.7s Two_stack_queue concurrent
[ ]   52    0    0   52 / 1000    27.9s Two_stack_queue concurrent
[ ]   53    0    0   53 / 1000    28.0s Two_stack_queue concurrent
[ ]   54    0    0   54 / 1000    28.1s Two_stack_queue concurrent
[ ]   55    0    0   55 / 1000    28.9s Two_stack_queue concurrent
[ ]   56    0    0   56 / 1000    29.2s Two_stack_queue concurrent
[ ]   57    0    0   57 / 1000    30.1s Two_stack_queue concurrent
[ ]   58    0    0   58 / 1000    30.4s Two_stack_queue concurrent
[ ]   59    0    0   59 / 1000    30.6s Two_stack_queue concurrent
[ ]   60    0    0   60 / 1000    30.8s Two_stack_queue concurrent
[ ]   61    0    0   61 / 1000    31.0s Two_stack_queue concurrent
[ ]   62    0    0   62 / 1000    31.6s Two_stack_queue concurrent
[ ]   63    0    0   63 / 1000    32.1s Two_stack_queue concurrent
[ ]   64    0    0   64 / 1000    32.7s Two_stack_queue concurrent
[ ]   65    0    0   65 / 1000    33.0s Two_stack_queue concurrent
[ ]   66    0    0   66 / 1000    33.1s Two_stack_queue concurrent
[ ]   67    0    0   67 / 1000    33.5s Two_stack_queue concurrent
[ ]   68    0    0   68 / 1000    33.6s Two_stack_queue concurrent
[ ]   69    0    0   69 / 1000    34.0s Two_stack_queue concurrent
[ ]   70    0    0   70 / 1000    34.2s Two_stack_queue concurrent
[ ]   71    0    0   71 / 1000    34.4s Two_stack_queue concurrent
[ ]   72    0    0   72 / 1000    34.8s Two_stack_queue concurrent
[ ]   73    0    0   73 / 1000    35.1s Two_stack_queue concurrent
[ ]   74    0    0   74 / 1000    35.6s Two_stack_queue concurrent
[ ]   75    0    0   75 / 1000    35.7s Two_stack_queue concurrent
[ ]   76    0    0   76 / 1000    36.0s Two_stack_queue concurrent
[ ]   77    0    0   77 / 1000    36.1s Two_stack_queue concurrent
[ ]   78    0    0   78 / 1000    36.3s Two_stack_queue concurrent
[ ]   79    0    0   79 / 1000    36.5s Two_stack_queue concurrent
[ ]   80    0    0   80 / 1000    36.6s Two_stack_queue concurrent
[ ]   81    0    0   81 / 1000    36.7s Two_stack_queue concurrent
[ ]   83    0    0   83 / 1000    36.8s Two_stack_queue concurrent
[ ]   85    0    0   85 / 1000    37.0s Two_stack_queue concurrent
[ ]   86    0    0   86 / 1000    37.3s Two_stack_queue concurrent
[ ]   87    0    0   87 / 1000    37.4s Two_stack_queue concurrent
[ ]   89    0    0   89 / 1000    38.0s Two_stack_queue concurrent
[ ]   90    0    0   90 / 1000    38.1s Two_stack_queue concurrent
[ ]   92    0    0   92 / 1000    38.3s Two_stack_queue concurrent
[ ]   93    0    0   93 / 1000    38.6s Two_stack_queue concurrent
[ ]   94    0    0   94 / 1000    39.0s Two_stack_queue concurrent
[ ]   95    0    0   95 / 1000    39.3s Two_stack_queue concurrent
[ ]   96    0    0   96 / 1000    39.7s Two_stack_queue concurrent
[ ]   97    0    0   97 / 1000    39.9s Two_stack_queue concurrent
[ ]   98    0    0   98 / 1000    40.3s Two_stack_queue concurrent
[ ]   99    0    0   99 / 1000    40.6s Two_stack_queue concurrent
[ ]  101    0    0  101 / 1000    40.8s Two_stack_queue concurrent
[ ]  102    0    0  102 / 1000    41.0s Two_stack_queue concurrent
[ ]  103    0    0  103 / 1000    41.2s Two_stack_queue concurrent
[ ]  104    0    0  104 / 1000    41.5s Two_stack_queue concurrent
[ ]  105    0    0  105 / 1000    41.7s Two_stack_queue concurrent
[ ]  106    0    0  106 / 1000    41.9s Two_stack_queue concurrent
[ ]  107    0    0  107 / 1000    42.1s Two_stack_queue concurrent
[ ]  108    0    0  108 / 1000    42.7s Two_stack_queue concurrent
[ ]  109    0    0  109 / 1000    42.9s Two_stack_queue concurrent
[ ]  110    0    0  110 / 1000    43.0s Two_stack_queue concurrent
[ ]  111    0    0  111 / 1000    45.6s Two_stack_queue concurrent
[ ]  112    0    0  112 / 1000    46.0s Two_stack_queue concurrent
[ ]  113    0    0  113 / 1000    46.7s Two_stack_queue concurrent
[ ]  114    0    0  114 / 1000    47.1s Two_stack_queue concurrent
[ ]  115    0    0  115 / 1000    48.2s Two_stack_queue concurrent
[ ]  116    0    0  116 / 1000    48.6s Two_stack_queue concurrent
[ ]  117    0    0  117 / 1000    48.9s Two_stack_queue concurrent
[ ]  118    0    0  118 / 1000    49.3s Two_stack_queue concurrent
[ ]  119    0    0  119 / 1000    50.1s Two_stack_queue concurrent
[ ]  120    0    0  120 / 1000    50.8s Two_stack_queue concurrent
[ ]  121    0    0  121 / 1000    51.2s Two_stack_queue concurrent
[ ]  122    0    0  122 / 1000    51.5s Two_stack_queue concurrent
[ ]  124    0    0  124 / 1000    51.6s Two_stack_queue concurrent
[ ]  125    0    0  125 / 1000    52.0s Two_stack_queue concurrent
[ ]  126    0    0  126 / 1000    52.3s Two_stack_queue concurrent
[ ]  129    0    0  129 / 1000    52.5s Two_stack_queue concurrent
[ ]  132    0    0  132 / 1000    52.7s Two_stack_queue concurrent
[ ]  134    0    0  134 / 1000    52.9s Two_stack_queue concurrent
[ ]  136    0    0  136 / 1000    53.0s Two_stack_queue concurrent
[ ]  139    0    0  139 / 1000    53.2s Two_stack_queue concurrent
[ ]  142    0    0  142 / 1000    53.7s Two_stack_queue concurrent
[ ]  143    0    0  143 / 1000    53.9s Two_stack_queue concurrent
[ ]  145    0    0  145 / 1000    54.0s Two_stack_queue concurrent
[ ]  147    0    0  147 / 1000    54.2s Two_stack_queue concurrent
[ ]  149    0    0  149 / 1000    54.3s Two_stack_queue concurrent
[ ]  150    0    0  150 / 1000    54.4s Two_stack_queue concurrent
[ ]  154    0    0  154 / 1000    54.6s Two_stack_queue concurrent
[ ]  156    0    0  156 / 1000    54.7s Two_stack_queue concurrent
[ ]  159    0    0  159 / 1000    54.8s Two_stack_queue concurrent
[ ]  160    0    0  160 / 1000    55.0s Two_stack_queue concurrent
[ ]  161    0    0  161 / 1000    55.4s Two_stack_queue concurrent
[ ]  162    0    0  162 / 1000    55.6s Two_stack_queue concurrent
[ ]  164    0    0  164 / 1000    55.7s Two_stack_queue concurrent
[ ]  166    0    0  166 / 1000    55.8s Two_stack_queue concurrent
[ ]  167    0    0  167 / 1000    55.9s Two_stack_queue concurrent
[ ]  168    0    0  168 / 1000    56.1s Two_stack_queue concurrent
[ ]  169    0    0  169 / 1000    56.2s Two_stack_queue concurrent
[ ]  171    0    0  171 / 1000    56.3s Two_stack_queue concurrent
[ ]  173    0    0  173 / 1000    56.7s Two_stack_queue concurrent
[ ]  174    0    0  174 / 1000    58.5s Two_stack_queue concurrent
[ ]  175    0    0  175 / 1000    58.8s Two_stack_queue concurrent
[ ]  176    0    0  176 / 1000    59.1s Two_stack_queue concurrent
[ ]  177    0    0  177 / 1000    59.5s Two_stack_queue concurrent
[ ]  178    0    0  178 / 1000    59.9s Two_stack_queue concurrent
[ ]  179    0    0  179 / 1000    60.2s Two_stack_queue concurrent
[ ]  180    0    0  180 / 1000    60.3s Two_stack_queue concurrent
[ ]  181    0    0  181 / 1000    60.5s Two_stack_queue concurrent
[ ]  182    0    0  182 / 1000    60.8s Two_stack_queue concurrent
[ ]  183    0    0  183 / 1000    61.0s Two_stack_queue concurrent
[ ]  184    0    0  184 / 1000    61.5s Two_stack_queue concurrent
[ ]  185    0    0  185 / 1000    62.0s Two_stack_queue concurrent
[ ]  186    0    0  186 / 1000    62.3s Two_stack_queue concurrent
[ ]  187    0    0  187 / 1000    63.1s Two_stack_queue concurrent
[ ]  188    0    0  188 / 1000    64.2s Two_stack_queue concurrent
[ ]  189    0    0  189 / 1000    65.1s Two_stack_queue concurrent
[ ]  190    0    0  190 / 1000    66.1s Two_stack_queue concurrent
[ ]  191    0    0  191 / 1000    66.6s Two_stack_queue concurrent
[ ]  192    0    0  192 / 1000    67.3s Two_stack_queue concurrent
[ ]  193    0    0  193 / 1000    68.4s Two_stack_queue concurrent
[ ]  194    0    0  194 / 1000    70.4s Two_stack_queue concurrent
[ ]  195    0    0  195 / 1000    71.4s Two_stack_queue concurrent
[ ]  196    0    0  196 / 1000    72.6s Two_stack_queue concurrent
[ ]  197    0    0  197 / 1000    73.4s Two_stack_queue concurrent
[ ]  198    0    0  198 / 1000    74.4s Two_stack_queue concurrent
[ ]  199    0    0  199 / 1000    75.7s Two_stack_queue concurrent
[ ]  200    0    0  200 / 1000    77.8s Two_stack_queue concurrent
[ ]  201    0    0  201 / 1000    78.5s Two_stack_queue concurrent
[ ]  202    0    0  202 / 1000    78.9s Two_stack_queue concurrent
[ ]  203    0    0  203 / 1000    79.5s Two_stack_queue concurrent
[ ]  204    0    0  204 / 1000    79.9s Two_stack_queue concurrent
[ ]  205    0    0  205 / 1000    80.4s Two_stack_queue concurrent
[ ]  206    0    0  206 / 1000    80.9s Two_stack_queue concurrent
[ ]  207    0    0  207 / 1000    81.4s Two_stack_queue concurrent
[ ]  208    0    0  208 / 1000    82.3s Two_stack_queue concurrent
[ ]  209    0    0  209 / 1000    83.1s Two_stack_queue concurrent
[ ]  210    0    0  210 / 1000    83.9s Two_stack_queue concurrent
[ ]  211    0    0  211 / 1000    84.6s Two_stack_queue concurrent
[ ]  212    0    0  212 / 1000    85.9s Two_stack_queue concurrent
[ ]  213    0    0  213 / 1000    86.7s Two_stack_queue concurrent
[ ]  214    0    0  214 / 1000    87.4s Two_stack_queue concurrent
[ ]  215    0    0  215 / 1000    88.1s Two_stack_queue concurrent
[ ]  216    0    0  216 / 1000    88.6s Two_stack_queue concurrent
[ ]  217    0    0  217 / 1000    88.8s Two_stack_queue concurrent
[ ]  218    0    0  218 / 1000    89.0s Two_stack_queue concurrent
[ ]  219    0    0  219 / 1000    89.2s Two_stack_queue concurrent
[ ]  220    0    0  220 / 1000    89.5s Two_stack_queue concurrent
[ ]  221    0    0  221 / 1000    89.8s Two_stack_queue concurrent
[ ]  222    0    0  222 / 1000    90.1s Two_stack_queue concurrent
[ ]  223    0    0  223 / 1000    90.3s Two_stack_queue concurrent
[ ]  224    0    0  224 / 1000    91.1s Two_stack_queue concurrent
[ ]  225    0    0  225 / 1000    91.4s Two_stack_queue concurrent
[ ]  226    0    0  226 / 1000    91.8s Two_stack_queue concurrent
[ ]  227    0    0  227 / 1000    92.1s Two_stack_queue concurrent
[ ]  228    0    0  228 / 1000    92.7s Two_stack_queue concurrent
[ ]  229    0    0  229 / 1000    93.9s Two_stack_queue concurrent
[ ]  230    0    0  230 / 1000    94.5s Two_stack_queue concurrent
[ ]  231    0    0  231 / 1000    95.2s Two_stack_queue concurrent
[ ]  232    0    0  232 / 1000    95.9s Two_stack_queue concurrent
[ ]  233    0    0  233 / 1000    96.8s Two_stack_queue concurrent
[ ]  234    0    0  234 / 1000    97.7s Two_stack_queue concurrent
[ ]  235    0    0  235 / 1000    99.1s Two_stack_queue concurrent
[ ]  236    0    0  236 / 1000    99.6s Two_stack_queue concurrent
[ ]  237    0    0  237 / 1000   100.6s Two_stack_queue concurrent
[ ]  238    0    0  238 / 1000   102.3s Two_stack_queue concurrent
[ ]  239    0    0  239 / 1000   103.4s Two_stack_queue concurrent
[ ]  240    0    0  240 / 1000   104.1s Two_stack_queue concurrent
[ ]  241    0    0  241 / 1000   105.3s Two_stack_queue concurrent
[ ]  242    0    0  242 / 1000   106.4s Two_stack_queue concurrent
[ ]  243    0    0  243 / 1000   107.3s Two_stack_queue concurrent
[ ]  244    0    0  244 / 1000   109.0s Two_stack_queue concurrent
[ ]  245    0    0  245 / 1000   110.5s Two_stack_queue concurrent
[ ]  246    0    0  246 / 1000   111.9s Two_stack_queue concurrent
[ ]  247    0    0  247 / 1000   112.8s Two_stack_queue concurrent
[ ]  248    0    0  248 / 1000   113.6s Two_stack_queue concurrent
[ ]  249    0    0  249 / 1000   114.6s Two_stack_queue concurrent
[ ]  250    0    0  250 / 1000   115.3s Two_stack_queue concurrent
[ ]  251    0    0  251 / 1000   115.9s Two_stack_queue concurrent
[ ]  252    0    0  252 / 1000   116.6s Two_stack_queue concurrent
[ ]  253    0    0  253 / 1000   117.7s Two_stack_queue concurrent
[ ]  254    0    0  254 / 1000   118.3s Two_stack_queue concurrent
[ ]  255    0    0  255 / 1000   119.1s Two_stack_queue concurrent
[ ]  256    0    0  256 / 1000   119.9s Two_stack_queue concurrent
[ ]  257    0    0  257 / 1000   120.2s Two_stack_queue concurrent
[ ]  258    0    0  258 / 1000   121.0s Two_stack_queue concurrent
[ ]  259    0    0  259 / 1000   121.7s Two_stack_queue concurrent
[ ]  260    0    0  260 / 1000   122.2s Two_stack_queue concurrent
[ ]  261    0    0  261 / 1000   122.7s Two_stack_queue concurrent
[ ]  262    0    0  262 / 1000   123.0s Two_stack_queue concurrent
[ ]  263    0    0  263 / 1000   123.5s Two_stack_queue concurrent
[ ]  264    0    0  264 / 1000   123.8s Two_stack_queue concurrent
[ ]  265    0    0  265 / 1000   124.2s Two_stack_queue concurrent
[ ]  266    0    0  266 / 1000   124.6s Two_stack_queue concurrent
[ ]  267    0    0  267 / 1000   125.3s Two_stack_queue concurrent
[ ]  268    0    0  268 / 1000   125.7s Two_stack_queue concurrent
[ ]  269    0    0  269 / 1000   126.0s Two_stack_queue concurrent
[ ]  270    0    0  270 / 1000   126.2s Two_stack_queue concurrent
[ ]  271    0    0  271 / 1000   126.8s Two_stack_queue concurrent
[ ]  272    0    0  272 / 1000   127.0s Two_stack_queue concurrent
[ ]  273    0    0  273 / 1000   127.3s Two_stack_queue concurrent
[ ]  274    0    0  274 / 1000   127.9s Two_stack_queue concurrent
[ ]  275    0    0  275 / 1000   128.4s Two_stack_queue concurrent
[ ]  276    0    0  276 / 1000   128.8s Two_stack_queue concurrent
[ ]  277    0    0  277 / 1000   129.5s Two_stack_queue concurrent
[ ]  278    0    0  278 / 1000   129.7s Two_stack_queue concurrent
[ ]  279    0    0  279 / 1000   130.7s Two_stack_queue concurrent
[ ]  280    0    0  280 / 1000   131.6s Two_stack_queue concurrent
[ ]  281    0    0  281 / 1000   131.9s Two_stack_queue concurrent
[ ]  282    0    0  282 / 1000   132.3s Two_stack_queue concurrent
[ ]  283    0    0  283 / 1000   132.8s Two_stack_queue concurrent
[ ]  284    0    0  284 / 1000   133.0s Two_stack_queue concurrent
[ ]  285    0    0  285 / 1000   133.7s Two_stack_queue concurrent
[ ]  286    0    0  286 / 1000   134.0s Two_stack_queue concurrent
[ ]  287    0    0  287 / 1000   134.2s Two_stack_queue concurrent
[ ]  288    0    0  288 / 1000   134.4s Two_stack_queue concurrent
[ ]  289    0    0  289 / 1000   134.8s Two_stack_queue concurrent
[ ]  290    0    0  290 / 1000   135.5s Two_stack_queue concurrent
[ ]  291    0    0  291 / 1000   135.8s Two_stack_queue concurrent
[ ]  292    0    0  292 / 1000   136.2s Two_stack_queue concurrent
[ ]  293    0    0  293 / 1000   136.5s Two_stack_queue concurrent
[ ]  294    0    0  294 / 1000   136.8s Two_stack_queue concurrent
[ ]  295    0    0  295 / 1000   137.1s Two_stack_queue concurrent
[ ]  296    0    0  296 / 1000   137.3s Two_stack_queue concurrent
[ ]  297    0    0  297 / 1000   137.6s Two_stack_queue concurrent
[ ]  298    0    0  298 / 1000   138.1s Two_stack_queue concurrent
[ ]  299    0    0  299 / 1000   138.3s Two_stack_queue concurrent
[ ]  300    0    0  300 / 1000   138.5s Two_stack_queue concurrent
[ ]  301    0    0  301 / 1000   138.9s Two_stack_queue concurrent
[ ]  302    0    0  302 / 1000   139.3s Two_stack_queue concurrent
[ ]  303    0    0  303 / 1000   139.5s Two_stack_queue concurrent
[ ]  304    0    0  304 / 1000   140.2s Two_stack_queue concurrent
[ ]  305    0    0  305 / 1000   140.6s Two_stack_queue concurrent
[ ]  306    0    0  306 / 1000   141.1s Two_stack_queue concurrent
[ ]  307    0    0  307 / 1000   141.3s Two_stack_queue concurrent
[ ]  308    0    0  308 / 1000   141.5s Two_stack_queue concurrent
[ ]  309    0    0  309 / 1000   141.8s Two_stack_queue concurrent
[ ]  310    0    0  310 / 1000   142.3s Two_stack_queue concurrent
[ ]  311    0    0  311 / 1000   142.4s Two_stack_queue concurrent
[ ]  312    0    0  312 / 1000   142.6s Two_stack_queue concurrent
[ ]  313    0    0  313 / 1000   142.9s Two_stack_queue concurrent
[ ]  314    0    0  314 / 1000   143.2s Two_stack_queue concurrent
[ ]  315    0    0  315 / 1000   143.8s Two_stack_queue concurrent
[ ]  316    0    0  316 / 1000   144.3s Two_stack_queue concurrent
[ ]  317    0    0  317 / 1000   145.4s Two_stack_queue concurrent
[ ]  318    0    0  318 / 1000   145.7s Two_stack_queue concurrent
[ ]  319    0    0  319 / 1000   146.1s Two_stack_queue concurrent
[ ]  320    0    0  320 / 1000   146.3s Two_stack_queue concurrent
[ ]  321    0    0  321 / 1000   146.8s Two_stack_queue concurrent
[ ]  322    0    0  322 / 1000   146.9s Two_stack_queue concurrent
[ ]  323    0    0  323 / 1000   147.1s Two_stack_queue concurrent
[ ]  324    0    0  324 / 1000   147.3s Two_stack_queue concurrent
[ ]  325    0    0  325 / 1000   147.7s Two_stack_queue concurrent
[ ]  326    0    0  326 / 1000   148.4s Two_stack_queue concurrent
[ ]  327    0    0  327 / 1000   148.8s Two_stack_queue concurrent
[ ]  328    0    0  328 / 1000   148.9s Two_stack_queue concurrent
[ ]  329    0    0  329 / 1000   149.5s Two_stack_queue concurrent
[ ]  330    0    0  330 / 1000   149.6s Two_stack_queue concurrent
[ ]  331    0    0  331 / 1000   149.8s Two_stack_queue concurrent
[ ]  332    0    0  332 / 1000   150.1s Two_stack_queue concurrent
[ ]  333    0    0  333 / 1000   150.2s Two_stack_queue concurrent
[ ]  334    0    0  334 / 1000   150.4s Two_stack_queue concurrent
[ ]  335    0    0  335 / 1000   150.7s Two_stack_queue concurrent
[ ]  336    0    0  336 / 1000   151.1s Two_stack_queue concurrent
[ ]  337    0    0  337 / 1000   151.3s Two_stack_queue concurrent
[ ]  338    0    0  338 / 1000   151.4s Two_stack_queue concurrent
[ ]  339    0    0  339 / 1000   151.6s Two_stack_queue concurrent
[ ]  340    0    0  340 / 1000   151.8s Two_stack_queue concurrent
[ ]  341    0    0  341 / 1000   152.3s Two_stack_queue concurrent
[ ]  343    0    0  343 / 1000   152.6s Two_stack_queue concurrent
[ ]  344    0    0  344 / 1000   152.9s Two_stack_queue concurrent
[ ]  345    0    0  345 / 1000   153.0s Two_stack_queue concurrent
[ ]  346    0    0  346 / 1000   153.2s Two_stack_queue concurrent
[ ]  347    0    0  347 / 1000   153.4s Two_stack_queue concurrent
[ ]  348    0    0  348 / 1000   153.6s Two_stack_queue concurrent
[ ]  349    0    0  349 / 1000   153.8s Two_stack_queue concurrent
[ ]  350    0    0  350 / 1000   154.1s Two_stack_queue concurrent
[ ]  351    0    0  351 / 1000   154.3s Two_stack_queue concurrent
[ ]  352    0    0  352 / 1000   154.6s Two_stack_queue concurrent
[ ]  353    0    0  353 / 1000   154.7s Two_stack_queue concurrent
[ ]  354    0    0  354 / 1000   155.0s Two_stack_queue concurrent
[ ]  356    0    0  356 / 1000   155.2s Two_stack_queue concurrent
[ ]  357    0    0  357 / 1000   155.4s Two_stack_queue concurrent
[ ]  358    0    0  358 / 1000   156.6s Two_stack_queue concurrent
[ ]  359    0    0  359 / 1000   156.8s Two_stack_queue concurrent
[ ]  360    0    0  360 / 1000   157.1s Two_stack_queue concurrent
[ ]  361    0    0  361 / 1000   157.6s Two_stack_queue concurrent
[ ]  362    0    0  362 / 1000   158.1s Two_stack_queue concurrent
[ ]  363    0    0  363 / 1000   158.5s Two_stack_queue concurrent
[ ]  364    0    0  364 / 1000   158.6s Two_stack_queue concurrent
[ ]  365    0    0  365 / 1000   159.5s Two_stack_queue concurrent
[ ]  366    0    0  366 / 1000   160.0s Two_stack_queue concurrent
[ ]  367    0    0  367 / 1000   160.9s Two_stack_queue concurrent
[ ]  368    0    0  368 / 1000   161.0s Two_stack_queue concurrent
[ ]  369    0    0  369 / 1000   161.7s Two_stack_queue concurrent
[ ]  370    0    0  370 / 1000   163.0s Two_stack_queue concurrent
[ ]  371    0    0  371 / 1000   163.4s Two_stack_queue concurrent
[ ]  372    0    0  372 / 1000   163.6s Two_stack_queue concurrent
[ ]  373    0    0  373 / 1000   164.0s Two_stack_queue concurrent
[ ]  374    0    0  374 / 1000   164.1s Two_stack_queue concurrent
[ ]  375    0    0  375 / 1000   164.4s Two_stack_queue concurrent
[ ]  376    0    0  376 / 1000   164.6s Two_stack_queue concurrent
[ ]  377    0    0  377 / 1000   165.0s Two_stack_queue concurrent
[ ]  378    0    0  378 / 1000   165.5s Two_stack_queue concurrent
[ ]  379    0    0  379 / 1000   165.9s Two_stack_queue concurrent
[ ]  380    0    0  380 / 1000   166.0s Two_stack_queue concurrent
[ ]  381    0    0  381 / 1000   166.3s Two_stack_queue concurrent
[ ]  383    0    0  383 / 1000   166.7s Two_stack_queue concurrent
[ ]  384    0    0  384 / 1000   166.9s Two_stack_queue concurrent
[ ]  386    0    0  386 / 1000   167.1s Two_stack_queue concurrent
[ ]  387    0    0  387 / 1000   167.4s Two_stack_queue concurrent
[ ]  389    0    0  389 / 1000   167.8s Two_stack_queue concurrent
[ ]  390    0    0  390 / 1000   168.7s Two_stack_queue concurrent
[ ]  391    0    0  391 / 1000   168.9s Two_stack_queue concurrent
[ ]  392    0    0  392 / 1000   169.0s Two_stack_queue concurrent
[ ]  393    0    0  393 / 1000   169.2s Two_stack_queue concurrent
[ ]  395    0    0  395 / 1000   169.4s Two_stack_queue concurrent
[ ]  396    0    0  396 / 1000   170.2s Two_stack_queue concurrent
[ ]  397    0    0  397 / 1000   170.4s Two_stack_queue concurrent
[ ]  399    0    0  399 / 1000   171.1s Two_stack_queue concurrent
[ ]  401    0    0  401 / 1000   171.2s Two_stack_queue concurrent
[ ]  403    0    0  403 / 1000   171.4s Two_stack_queue concurrent
[ ]  405    0    0  405 / 1000   171.5s Two_stack_queue concurrent
[ ]  407    0    0  407 / 1000   172.1s Two_stack_queue concurrent
[ ]  408    0    0  408 / 1000   172.8s Two_stack_queue concurrent
[ ]  410    0    0  410 / 1000   173.0s Two_stack_queue concurrent
[ ]  413    0    0  413 / 1000   173.1s Two_stack_queue concurrent
[ ]  415    0    0  415 / 1000   173.3s Two_stack_queue concurrent
[ ]  417    0    0  417 / 1000   173.5s Two_stack_queue concurrent
[ ]  418    0    0  418 / 1000   173.8s Two_stack_queue concurrent
[ ]  419    0    0  419 / 1000   173.9s Two_stack_queue concurrent
[ ]  420    0    0  420 / 1000   174.0s Two_stack_queue concurrent
[ ]  421    0    0  421 / 1000   174.2s Two_stack_queue concurrent
[ ]  423    0    0  423 / 1000   174.3s Two_stack_queue concurrent
[ ]  425    0    0  425 / 1000   174.4s Two_stack_queue concurrent
[ ]  429    0    0  429 / 1000   174.6s Two_stack_queue concurrent
[ ]  431    0    0  431 / 1000   174.7s Two_stack_queue concurrent
[ ]  433    0    0  433 / 1000   174.9s Two_stack_queue concurrent
[ ]  435    0    0  435 / 1000   175.2s Two_stack_queue concurrent
[ ]  438    0    0  438 / 1000   175.5s Two_stack_queue concurrent
[ ]  441    0    0  441 / 1000   175.6s Two_stack_queue concurrent
[ ]  444    0    0  444 / 1000   175.7s Two_stack_queue concurrent
[ ]  448    0    0  448 / 1000   175.8s Two_stack_queue concurrent
[ ]  449    0    0  449 / 1000   175.9s Two_stack_queue concurrent
[ ]  454    0    0  454 / 1000   176.0s Two_stack_queue concurrent
[ ]  455    0    0  455 / 1000   176.2s Two_stack_queue concurrent
[ ]  458    0    0  458 / 1000   176.4s Two_stack_queue concurrent
[ ]  463    0    0  463 / 1000   176.7s Two_stack_queue concurrent
[ ]  465    0    0  465 / 1000   176.8s Two_stack_queue concurrent
[ ]  467    0    0  467 / 1000   177.0s Two_stack_queue concurrent
[ ]  468    0    0  468 / 1000   177.1s Two_stack_queue concurrent
[ ]  471    0    0  471 / 1000   177.3s Two_stack_queue concurrent
[ ]  476    0    0  476 / 1000   177.4s Two_stack_queue concurrent
[ ]  482    0    0  482 / 1000   177.5s Two_stack_queue concurrent
[ ]  486    0    0  486 / 1000   177.7s Two_stack_queue concurrent
[ ]  491    0    0  491 / 1000   177.8s Two_stack_queue concurrent
[ ]  495    0    0  495 / 1000   177.9s Two_stack_queue concurrent
[ ]  498    0    0  498 / 1000   178.2s Two_stack_queue concurrent
[ ]  502    0    0  502 / 1000   178.3s Two_stack_queue concurrent
[ ]  507    0    0  507 / 1000   178.4s Two_stack_queue concurrent
[ ]  511    0    0  511 / 1000   178.5s Two_stack_queue concurrent
[ ]  517    0    0  517 / 1000   178.6s Two_stack_queue concurrent
[ ]  520    0    0  520 / 1000   178.8s Two_stack_queue concurrent
[ ]  523    0    0  523 / 1000   179.0s Two_stack_queue concurrent
[ ]  525    0    0  525 / 1000   179.2s Two_stack_queue concurrent
[ ]  528    0    0  528 / 1000   179.3s Two_stack_queue concurrent
[ ]  531    0    0  531 / 1000   179.8s Two_stack_queue concurrent
[ ]  537    0    0  537 / 1000   180.0s Two_stack_queue concurrent
[ ]  538    0    0  538 / 1000   180.2s Two_stack_queue concurrent
[ ]  542    0    0  542 / 1000   180.5s Two_stack_queue concurrent
[ ]  544    0    0  544 / 1000   180.8s Two_stack_queue concurrent
[ ]  548    0    0  548 / 1000   181.0s Two_stack_queue concurrent
[ ]  549    0    0  549 / 1000   181.1s Two_stack_queue concurrent
[ ]  553    0    0  553 / 1000   181.5s Two_stack_queue concurrent
[ ]  562    0    0  562 / 1000   181.6s Two_stack_queue concurrent
[ ]  566    0    0  566 / 1000   181.7s Two_stack_queue concurrent
[ ]  573    0    0  573 / 1000   181.9s Two_stack_queue concurrent
[ ]  580    0    0  580 / 1000   182.0s Two_stack_queue concurrent
[ ]  586    0    0  586 / 1000   182.1s Two_stack_queue concurrent
[ ]  590    0    0  590 / 1000   182.2s Two_stack_queue concurrent
[ ]  593    0    0  593 / 1000   182.3s Two_stack_queue concurrent
[ ]  600    0    0  600 / 1000   182.7s Two_stack_queue concurrent
[ ]  603    0    0  603 / 1000   182.8s Two_stack_queue concurrent
[ ]  604    0    0  604 / 1000   183.3s Two_stack_queue concurrent
[ ]  605    0    0  605 / 1000   183.4s Two_stack_queue concurrent
[ ]  608    0    0  608 / 1000   183.5s Two_stack_queue concurrent
[ ]  610    0    0  610 / 1000   183.6s Two_stack_queue concurrent
[ ]  612    0    0  612 / 1000   183.8s Two_stack_queue concurrent
[ ]  613    0    0  613 / 1000   184.1s Two_stack_queue concurrent
[ ]  618    0    0  618 / 1000   184.3s Two_stack_queue concurrent
[ ]  623    0    0  623 / 1000   184.4s Two_stack_queue concurrent
[ ]  625    0    0  625 / 1000   184.6s Two_stack_queue concurrent
[ ]  630    0    0  630 / 1000   184.7s Two_stack_queue concurrent
[ ]  631    0    0  631 / 1000   184.9s Two_stack_queue concurrent
[ ]  633    0    0  633 / 1000   185.1s Two_stack_queue concurrent
[ ]  637    0    0  637/ 1000   185.2s Two_stack_queue concurrent
[ ]  641    0    0  641 / 1000   185.3s Two_stack_queue concurrent
[ ]  643    0    0  643 / 1000   185.4s Two_stack_queue concurrent
[ ]  647    0    0  647 / 1000   185.6s Two_stack_queue concurrent
[ ]  649    0    0  649 / 1000   185.8s Two_stack_queue concurrent
[ ]  654    0    0  654 / 1000   185.9s Two_stack_queue concurrent
[ ]  657    0    0  657 / 1000   186.3s Two_stack_queue concurrent
[ ]  663    0    0  663 / 1000   186.4s Two_stack_queue concurrent
[ ]  664    0    0  664 / 1000   186.7s Two_stack_queue concurrent
[ ]  667    0    0  667 / 1000   186.9s Two_stack_queue concurrent
[ ]  668    0    0  668 / 1000   187.0s Two_stack_queue concurrent
[ ]  670    0    0  670 / 1000   187.2s Two_stack_queue concurrent
[ ]  671    0    0  671 / 1000   187.3s Two_stack_queue concurrent
[ ]  674    0    0  674 / 1000   187.4s Two_stack_queue concurrent
[ ]  676    0    0  676 / 1000   188.0s Two_stack_queue concurrent
[ ]  681    0    0  681 / 1000   188.1s Two_stack_queue concurrent
[ ]  687    0    0  687 / 1000   188.2s Two_stack_queue concurrent
[ ]  689    0    0  689 / 1000   188.3s Two_stack_queue concurrent
[ ]  691    0    0  691 / 1000   188.6s Two_stack_queue concurrent
[ ]  694    0    0  694 / 1000   188.7s Two_stack_queue concurrent
[ ]  698    0    0  698 / 1000   188.8s Two_stack_queue concurrent
[ ]  702    0    0  702 / 1000   188.9s Two_stack_queue concurrent
[ ]  708    0    0  708 / 1000   189.0s Two_stack_queue concurrent
[ ]  715    0    0  715 / 1000   189.2s Two_stack_queue concurrent
[ ]  719    0    0  719 / 1000   189.3s Two_stack_queue concurrent
[ ]  720    0    0  720 / 1000   189.6s Two_stack_queue concurrent
[ ]  722    0    0  722 / 1000   189.9s Two_stack_queue concurrent
[ ]  726    0    0  726 / 1000   190.3s Two_stack_queue concurrent
[ ]  734    0    0  734 / 1000   190.6s Two_stack_queue concurrent
[ ]  736    0    0  736 / 1000   190.7s Two_stack_queue concurrent
[ ]  738    0    0  738 / 1000   191.4s Two_stack_queue concurrent
[ ]  739    0    0  739 / 1000   192.3s Two_stack_queue concurrent
[ ]  740    0    0  740 / 1000   192.5s Two_stack_queue concurrent
[ ]  742    0    0  742 / 1000   192.6s Two_stack_queue concurrent
[ ]  745    0    0  745 / 1000   192.9s Two_stack_queue concurrent
[ ]  746    0    0  746 / 1000   193.2s Two_stack_queue concurrent
[ ]  747    0    0  747 / 1000   193.3s Two_stack_queue concurrent
[ ]  752    0    0  752 / 1000   193.4s Two_stack_queue concurrent
[ ]  753    0    0  753 / 1000   193.6s Two_stack_queue concurrent
[ ]  756    0    0  756 / 1000   193.7s Two_stack_queue concurrent
[ ]  761    0    0  761 / 1000   193.8s Two_stack_queue concurrent
[ ]  764    0    0  764 / 1000   194.2s Two_stack_queue concurrent
[ ]  770    0    0  770 / 1000   194.3s Two_stack_queue concurrent
[ ]  774    0    0  774 / 1000   194.4s Two_stack_queue concurrent
[ ]  775    0    0  775 / 1000   194.5s Two_stack_queue concurrent
[ ]  779    0    0  779 / 1000   194.6s Two_stack_queue concurrent
[ ]  784    0    0  784 / 1000   194.7s Two_stack_queue concurrent
[ ]  788    0    0  788 / 1000   194.9s Two_stack_queue concurrent
[ ]  792    0    0  792 / 1000   195.0s Two_stack_queue concurrent
[ ]  794    0    0  794 / 1000   195.8s Two_stack_queue concurrent
[ ]  795    0    0  795 / 1000   196.0s Two_stack_queue concurrent
[ ]  799    0    0  799 / 1000   196.1s Two_stack_queue concurrent
[ ]  803    0    0  803 / 1000   196.2s Two_stack_queue concurrent
[ ]  808    0    0  808 / 1000   196.3s Two_stack_queue concurrent
[ ]  812    0    0  812 / 1000   196.5s Two_stack_queue concurrent
[ ]  815    0    0  815 / 1000   196.6s Two_stack_queue concurrent
[ ]  817    0    0  817 / 1000   196.8s Two_stack_queue concurrent
[ ]  821    0    0  821 / 1000   196.9s Two_stack_queue concurrent
[ ]  825    0    0  825 / 1000   197.1s Two_stack_queue concurrent
[ ]  830    0    0  830 / 1000   197.2s Two_stack_queue concurrent
[ ]  831    0    0  831 / 1000   197.5s Two_stack_queue concurrent
[ ]  838    0    0  838 / 1000   197.6s Two_stack_queue concurrent
[ ]  843    0    0  843 / 1000   197.7s Two_stack_queue concurrent
[ ]  847    0    0  847 / 1000   197.9s Two_stack_queue concurrent
[ ]  852    0    0  852 / 1000   198.0s Two_stack_queue concurrent
[ ]  853    0    0  853 / 1000   198.1s Two_stack_queue concurrent
[ ]  855    0    0  855 / 1000   198.2s Two_stack_queue concurrent
[ ]  860    0    0  860 / 1000   198.3s Two_stack_queue concurrent
[ ]  864    0    0  864 / 1000   198.4s Two_stack_queue concurrent
[ ]  869    0    0  869 / 1000   198.5s Two_stack_queue concurrent
[ ]  873    0    0  873 / 1000   198.6s Two_stack_queue concurrent
[ ]  875    0    0  875 / 1000   198.9s Two_stack_queue concurrent
[ ]  879    0    0  879 / 1000   199.0s Two_stack_queue concurrent
[ ]  882    0    0  882 / 1000   199.1s Two_stack_queue concurrent
[ ]  887    0    0  887 / 1000   199.3s Two_stack_queue concurrent
[ ]  891    0    0  891 / 1000   199.4s Two_stack_queue concurrent
[ ]  892    0    0  892 / 1000   199.6s Two_stack_queue concurrent
[ ]  897    0    0  897 / 1000   199.9s Two_stack_queue concurrent
[ ]  901    0    0  901 / 1000   200.0s Two_stack_queue concurrent
[ ]  904    0    0  904 / 1000   200.4s Two_stack_queue concurrent
[ ]  910    0    0  910 / 1000   200.8s Two_stack_queue concurrent
[ ]  912    0    0  912 / 1000   201.0s Two_stack_queue concurrent
[ ]  916    0    0  916 / 1000   201.1s Two_stack_queue concurrent
[ ]  921    0    0  921 / 1000   201.3s Two_stack_queue concurrent
[ ]  924    0    0  924 / 1000   201.7s Two_stack_queue concurrent
[ ]  926    0    0  926 / 1000   201.8s Two_stack_queue concurrent
[ ]  931    0    0  931 / 1000   202.0s Two_stack_queue concurrent
[ ]  935    0    0  935 / 1000   202.1s Two_stack_queue concurrent
[ ]  941    0    0  941 / 1000   202.2s Two_stack_queue concurrent
[ ]  942    0    0  942 / 1000   202.4s Two_stack_queue concurrent
[ ]  949    0    0  949 / 1000   202.5s Two_stack_queue concurrent
[ ]  953    0    0  953 / 1000   202.9s Two_stack_queue concurrent
[ ]  957    0    0  957 / 1000   203.1s Two_stack_queue concurrent
[ ]  958    0    0  958 / 1000   203.2s Two_stack_queue concurrent
[ ]  963    0    0  963 / 1000   203.4s Two_stack_queue concurrent
[ ]  968    0    0  968 / 1000   203.5s Two_stack_queue concurrent
[ ]  970    0    0  970 / 1000   203.6s Two_stack_queue concurrent
[ ]  975    0    0  975 / 1000   203.7s Two_stack_queue concurrent
[ ]  979    0    0  979 / 1000   204.4s Two_stack_queue concurrent
[ ]  981    0    0  981 / 1000   204.5s Two_stack_queue concurrent
[ ]  983    0    0  983 / 1000   204.7s Two_stack_queue concurrent
[ ]  987    0    0  987 / 1000   204.8s Two_stack_queue concurrent
[ ]  991    0    0  991 / 1000   204.9s Two_stack_queue concurrent
[ ]  993    0    0  993 / 1000   205.3s Two_stack_queue concurrent
[ ]  995    0    0  995 / 1000   205.8s Two_stack_queue concurrent
[ ]  998    0    0  998 / 1000   205.9s Two_stack_queue concurrent
[] 1000    0    0 1000 / 1000   206.0s Two_stack_queue concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)
random seed: 162866043
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     1.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    2    0    0    2 /  500     2.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    3    0    0    3 /  500     4.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    4    0    0    4 /  500     5.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    5    0    0    5 /  500     5.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    6    0    0    6 /  500     5.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    7    0    0    7 /  500     6.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]    8    0    0    8 /  500     6.3s 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.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   11    0    0   11 /  500     7.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   12    0    0   12 /  500     8.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   13    0    0   13 /  500     9.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   14    0    0   14 /  500    10.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   15    0    0   15 /  500    10.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   16    0    0   16 /  500    11.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   17    0    0   17 /  500    11.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   18    0    0   18 /  500    12.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   19    0    0   19 /  500    12.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   20    0    0   20 /  500    13.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   21    0    0   21 /  500    13.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   22    0    0   22 /  500    14.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   23    0    0   23 /  500    16.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   24    0    0   24 /  500    17.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   25    0    0   25 /  500    17.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   26    0    0   26 /  500    17.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   27    0    0   27 /  500    18.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   28    0    0   28 /  500    18.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   29    0    0   29 /  500    18.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   30    0    0   30 /  500    19.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   31    0    0   31 /  500    19.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   32    0    0   32 /  500    20.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   33    0    0   33 /  500    21.5s 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    21.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   36    0    0   36 /  500    22.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   37    0    0   37 /  500    22.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   38    0    0   38 /  500    22.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   39    0    0   39 /  500    22.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   40    0    0   40 /  500    23.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   41    0    0   41 /  500    25.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   42    0    0   42 /  500    25.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   43    0    0   43 /  500    25.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   44    0    0   44 /  500    26.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   45    0    0   45 /  500    26.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   46    0    0   46 /  500    27.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   47    0    0   47 /  500    27.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   48    0    0   48 /  500    27.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   49    0    0   49 /  500    30.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   51    0    0   51 /  500    30.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   52    0    0   52 /  500    30.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   53    0    0   53 /  500    31.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   54    0    0   54 /  500    32.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   55    0    0   55 /  500    32.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   56    0    0   56 /  500    32.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   57    0    0   57 /  500    32.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   58    0    0   58 /  500    32.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   59    0    0   59 /  500    33.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   60    0    0   60 /  500    33.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   61    0    0   61 /  500    34.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   62    0    0   62 /  500    34.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   63    0    0   63 /  500    35.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   64    0    0   64 /  500    35.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   65    0    0   65 /  500    35.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   66    0    0   66 /  500    35.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   68    0    0   68 /  500    35.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   70    0    0   70 /  500    36.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   71    0    0   71 /  500    36.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   73    0    0   73 /  500    36.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   75    0    0   75 /  500    36.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   78    0    0   78 /  500    36.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   80    0    0   80 /  500    36.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   83    0    0   83 /  500    37.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   85    0    0   85 /  500    37.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   86    0    0   86 /  500    37.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   87    0    0   87 /  500    37.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   88    0    0   88 /  500    38.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   89    0    0   89 /  500    38.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   90    0    0   90 /  500    39.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   91    0    0   91 /  500    39.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   92    0    0   92 /  500    39.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   93    0    0   93 /  500    40.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   95    0    0   95 /  500    40.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   96    0    0   96 /  500    40.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]   97    0    0   97 /  500    40.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  100    0    0  100 /  500    41.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  102    0    0  102 /  500    41.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  103    0    0  103 /  500    42.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  104    0    0  104 /  500    42.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  105    0    0  105 /  500    42.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  106    0    0  106 /  500    44.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  107    0    0  107 /  500    45.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  108    0    0  108 /  500    46.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  109    0    0  109 /  500    47.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  110    0    0  110 /  500    47.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  111    0    0  111 /  500    48.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  112    0    0  112 /  500    48.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  113    0    0  113 /  500    48.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  114    0    0  114 /  500    49.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  115    0    0  115 /  500    50.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  116    0    0  116 /  500    50.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  117    0    0  117 /  500    50.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  118    0    0  118 /  500    50.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  119    0    0  119 /  500    51.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  121    0    0  121 /  500    51.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  125    0    0  125 /  500    51.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  129    0    0  129 /  500    51.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  134    0    0  134 /  500    51.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  136    0    0  136 /  500    51.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  137    0    0  137 /  500    52.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  140    0    0  140 /  500    52.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  144    0    0  144 /  500    53.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  145    0    0  145 /  500    53.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  147    0    0  147 /  500    53.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  152    0    0  152 /  500    53.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  156    0    0  156 /  500    53.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  158    0    0  158 /  500    54.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  161    0    0  161 /  500    54.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  165    0    0  165 /  500    54.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  167    0    0  167 /  500    54.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  168    0    0  168 /  500    54.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  170    0    0  170 /  500    55.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  172    0    0  172 /  500    55.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  173    0    0  173 /  500    56.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  174    0    0  174 /  500    56.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  175    0    0  175 /  500    57.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  176    0    0  176 /  500    57.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  177    0    0  177 /  500    57.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  178    0    0  178 /  500    58.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  179    0    0  179 /  500    58.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  180    0    0  180 /  500    59.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  181    0    0  181 /  500    59.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  182    0    0  182 /  500    60.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  183    0    0  183 /  500    60.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  184    0    0  184 /  500    61.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  185    0    0  185 /  500    61.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  186    0    0  186 /  500    61.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  187    0    0  187 /  500    62.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  188    0    0  188 /  500    63.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  189    0    0  189 /  500    63.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  190    0    0  190 /  500    63.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  191    0    0  191 /  500    64.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  192    0    0  192 /  500    65.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  193    0    0  193 /  500    66.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  194    0    0  194 /  500    67.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  195    0    0  195 /  500    69.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  196    0    0  196 /  500    70.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  197    0    0  197 /  500    71.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  198    0    0  198 /  500    73.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  199    0    0  199 /  500    75.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  200    0    0  200 /  500    76.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  201    0    0  201 /  500    78.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  202    0    0  202 /  500    79.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  203    0    0  203 /  500    80.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  204    0    0  204 /  500    81.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  205    0    0  205 /  500    82.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  206    0    0  206 /  500    83.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  207    0    0  207 /  500    84.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  208    0    0  208 /  500    85.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  209    0    0  209 /  500    86.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  210    0    0  210 /  500    87.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  211    0    0  211 /  500    87.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  212    0    0  212 /  500    88.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  213    0    0  213 /  500    88.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  214    0    0  214 /  500    89.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  215    0    0  215 /  500    89.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  216    0    0  216 /  500    89.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  217    0    0  217 /  500    90.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  218    0    0  218 /  500    90.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  219    0    0  219 /  500    91.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  220    0    0  220 /  500    91.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  221    0    0  221 /  500    93.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  222    0    0  222 /  500    94.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  223    0    0  223 /  500    95.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  224    0    0  224 /  500    96.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  225    0    0  225 /  500    98.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  226    0    0  226 /  500    98.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  227    0    0  227 /  500    99.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  228    0    0  228 /  500    99.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  229    0    0  229 /  500   100.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  230    0    0  230 /  500   100.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  231    0    0  231 /  500   101.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  232    0    0  232 /  500   102.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  233    0    0  233 /  500   103.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  234    0    0  234 /  500   104.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  235    0    0  235 /  500   105.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  236    0    0  236 /  500   106.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  237    0    0  237 /  500   107.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  238    0    0  238 /  500   108.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  239    0    0  239 /  500   109.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  240    0    0  240 /  500   110.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  241    0    0  241 /  500   111.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  242    0    0  242 /  500   112.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  243    0    0  243 /  500   112.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  244    0    0  244 /  500   113.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  245    0    0  245 /  500   114.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  246    0    0  246 /  500   115.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  247    0    0  247 /  500   116.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  248    0    0  248 /  500   116.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  249    0    0  249 /  500   117.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  250    0    0  250 /  500   117.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  251    0    0  251 /  500   117.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  252    0    0  252 /  500   118.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  253    0    0  253 /  500   118.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  254    0    0  254 /  500   118.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  255    0    0  255 /  500   118.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  256    0    0  256 /  500   119.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  257    0    0  257 /  500   119.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  258    0    0  258 /  500   120.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  259    0    0  259 /  500   120.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  260    0    0  260 /  500   120.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  261    0    0  261 /  500   120.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  262    0    0  262 /  500   121.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  263    0    0  263 /  500   121.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  264    0    0  264 /  500   121.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  265    0    0  265 /  500   121.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  266    0    0  266 /  500   121.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  267    0    0  267 /  500   122.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  269    0    0  269 /  500   122.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  270    0    0  270 /  500   122.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  271    0    0  271 /  500   123.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  272    0    0  272 /  500   123.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  273    0    0  273 /  500   123.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  275    0    0  275 /  500   123.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  276    0    0  276 /  500   124.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  277    0    0  277 /  500   125.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  278    0    0  278 /  500   125.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  279    0    0  279 /  500   125.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  280    0    0  280 /  500   125.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  281    0    0  281 /  500   126.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  282    0    0  282 /  500   126.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  283    0    0  283 /  500   126.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  284    0    0  284 /  500   127.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  285    0    0  285 /  500   127.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  286    0    0  286 /  500   127.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  287    0    0  287 /  500   127.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  288    0    0  288 /  500   128.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  289    0    0  289 /  500   128.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  290    0    0  290 /  500   129.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  291    0    0  291 /  500   129.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  292    0    0  292 /  500   129.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  293    0    0  293 /  500   130.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  294    0    0  294 /  500   130.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  295    0    0  295 /  500   130.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  296    0    0  296 /  500   131.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  297    0    0  297 /  500   131.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  298    0    0  298 /  500   131.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  299    0    0  299 /  500   131.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  300    0    0  300 /  500   132.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  301    0    0  301 /  500   132.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  302    0    0  302 /  500   133.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  303    0    0  303 /  500   133.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  304    0    0  304 /  500   133.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  305    0    0  305 /  500   134.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  306    0    0  306 /  500   134.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  307    0    0  307 /  500   135.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  308    0    0  308 /  500   135.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  309    0    0  309 /  500   135.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  310    0    0  310 /  500   136.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  312    0    0  312 /  500   136.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  313    0    0  313 /  500   136.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  314    0    0  314 /  500   136.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  315    0    0  315 /  500   137.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  316    0    0  316 /  500   137.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  317    0    0  317 /  500   137.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  318    0    0  318 /  500   138.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  319    0    0  319 /  500   138.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  320    0    0  320 /  500   138.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  321    0    0  321 /  500   138.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  322    0    0  322 /  500   138.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  323    0    0  323 /  500   138.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  324    0    0  324 /  500   139.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  325    0    0  325 /  500   139.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  327    0    0  327 /  500   139.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  328    0    0  328 /  500   140.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  330    0    0  330 /  500   140.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  331    0    0  331 /  500   140.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  332    0    0  332 /  500   140.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  333    0    0  333 /  500   141.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  334    0    0  334 /  500   141.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  335    0    0  335 /  500   141.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  336    0    0  336 /  500   141.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  337    0    0  337 /  500   142.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  338    0    0  338 /  500   143.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  339    0    0  339 /  500   143.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  340    0    0  340 /  500   144.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  341    0    0  341 /  500   144.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  342    0    0  342 /  500   145.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  343    0    0  343 /  500   145.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  344    0    0  344 /  500   146.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  345    0    0  345 /  500   146.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  346    0    0  346 /  500   146.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  347    0    0  347 /  500   147.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  348    0    0  348 /  500   147.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  349    0    0  349 /  500   148.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  350    0    0  350 /  500   148.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  351    0    0  351 /  500   149.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  352    0    0  352 /  500   149.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  353    0    0  353 /  500   150.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  354    0    0  354 /  500   150.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  355    0    0  355 /  500   151.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  356    0    0  356 /  500   151.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  357    0    0  357 /  500   152.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  358    0    0  358 /  500   152.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  359    0    0  359 /  500   153.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  360    0    0  360 /  500   153.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  361    0    0  361 /  500   153.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  362    0    0  362 /  500   153.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  363    0    0  363 /  500   154.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  364    0    0  364 /  500   154.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  365    0    0  365 /  500   155.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  366    0    0  366 /  500   156.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  368    0    0  368 /  500   156.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  369    0    0  369 /  500   156.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  370    0    0  370 /  500   156.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  371    0    0  371 /  500   157.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  372    0    0  372 /  500   157.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  373    0    0  373 /  500   158.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  374    0    0  374 /  500   158.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  375    0    0  375 /  500   158.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  376    0    0  376 /  500   158.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  377    0    0  377 /  500   158.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  378    0    0  378 /  500   160.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  379    0    0  379 /  500   160.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  380    0    0  380 /  500   161.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  381    0    0  381 /  500   162.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  382    0    0  382 /  500   162.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  383    0    0  383 /  500   163.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  384    0    0  384 /  500   163.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  385    0    0  385 /  500   163.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  386    0    0  386 /  500   165.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  387    0    0  387 /  500   165.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  388    0    0  388 /  500   166.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  389    0    0  389 /  500   166.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  390    0    0  390 /  500   167.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  392    0    0  392 /  500   167.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  394    0    0  394 /  500   168.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  395    0    0  395 /  500   168.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  396    0    0  396 /  500   168.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  399    0    0  399 /  500   168.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  400    0    0  400 /  500   168.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  401    0    0  401 /  500   169.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  403    0    0  403 /  500   169.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  404    0    0  404 /  500   170.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  407    0    0  407 /  500   170.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  410    0    0  410 /  500   170.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  413    0    0  413 /  500   170.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  414    0    0  414 /  500   170.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  415    0    0  415 /  500   170.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  416    0    0  416 /  500   170.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  417    0    0  417 /  500   171.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  419    0    0  419 /  500   171.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  423    0    0  423 /  500   171.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  425    0    0  425 /  500   172.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  427    0    0  427 /  500   172.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  428    0    0  428 /  500   173.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  430    0    0  430 /  500   173.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  432    0    0  432 /  500   173.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  434    0    0  434 /  500   173.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  438    0    0  438 /  500   173.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  440    0    0  440 /  500   173.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  443    0    0  443 /  500   174.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  446    0    0  446 /  500   174.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  448    0    0  448 /  500   174.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  451    0    0  451 /  500   174.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  454    0    0  454 /  500   174.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  456    0    0  456 /  500   175.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  458    0    0  458 /  500   175.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  460    0    0  460 /  500   175.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  461    0    0  461 /  500   176.6s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  463    0    0  463 /  500   176.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  468    0    0  468 /  500   176.8s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  473    0    0  473 /  500   176.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  474    0    0  474 /  500   177.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  478    0    0  478 /  500   177.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  483    0    0  483 /  500   177.4s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  485    0    0  485 /  500   177.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  488    0    0  488 /  500   178.0s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  489    0    0  489 /  500   178.1s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  491    0    0  491 /  500   178.2s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  493    0    0  493 /  500   178.3s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  494    0    0  494 /  500   178.5s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  495    0    0  495 /  500   178.7s Saturn_lockfree.michael_scott_queue_safe concurrent
[ ]  500    0    0  500 /  500   178.9s Saturn_lockfree.michael_scott_queue_safe concurrent
[]  500    0    0  500 /  500   178.9s 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
[ ]    3    0    0    3 /  500     0.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]    7    0    0    7 /  500     0.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   12    0    0   12 /  500     0.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   18    0    0   18 /  500     0.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   23    0    0   23 /  500     1.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   28    0    0   28 /  500     1.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   29    0    0   29 /  500     1.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   30    0    0   30 /  500     1.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   32    0    0   32 /  500     1.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   36    0    0   36 /  500     1.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   41    0    0   41 /  500     2.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   45    0    0   45 /  500     2.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   48    0    0   48 /  500     2.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   49    0    0   49 /  500     4.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   52    0    0   52 /  500     4.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   53    0    0   53 /  500     4.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   58    0    0   58 /  500     4.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   61    0    0   61 /  500     4.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   66    0    0   66 /  500     4.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   70    0    0   70 /  500     4.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   76    0    0   76 /  500     5.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   80    0    0   80 /  500     5.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   86    0    0   86 /  500     5.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   87    0    0   87 /  500     5.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   89    0    0   89 /  500     5.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]   95    0    0   95 /  500     5.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  100    0    0  100 /  500     6.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  105    0    0  105 /  500     6.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  106    0    0  106 /  500     6.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  112    0    0  112 /  500     6.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  118    0    0  118 /  500     6.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  119    0    0  119 /  500     6.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  125    0    0  125 /  500     6.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  131    0    0  131 /  500     6.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  137    0    0  137 /  500     7.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  139    0    0  139 /  500     7.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  140    0    0  140 /  500     8.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  143    0    0  143 /  500     8.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  144    0    0  144 /  500     8.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  145    0    0  145 /  500     9.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  147    0    0  147 /  500     9.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  153    0    0  153 /  500     9.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  158    0    0  158 /  500     9.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  164    0    0  164 /  500     9.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  168    0    0  168 /  500     9.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  172    0    0  172 /  500    10.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  173    0    0  173 /  500    10.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  175    0    0  175 /  500    10.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  179    0    0  179 /  500    11.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  183    0    0  183 /  500    11.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  184    0    0  184 /  500    12.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  185    0    0  185 /  500    13.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  190    0    0  190 /  500    13.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  193    0    0  193 /  500    13.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  196    0    0  196 /  500    13.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  197    0    0  197 /  500    13.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  198    0    0  198 /  500    14.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  201    0    0  201 /  500    14.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  202    0    0  202 /  500    14.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  205    0    0  205 /  500    15.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  208    0    0  208 /  500    15.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  213    0    0  213 /  500    15.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  216    0    0  216 /  500    16.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  217    0    0  217 /  500    16.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  218    0    0  218 /  500    16.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  220    0    0  220 /  500    16.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  221    0    0  221 /  500    16.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  225    0    0  225 /  500    17.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  226    0    0  226 /  500    17.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  230    0    0  230 /  500    17.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  234    0    0  234 /  500    17.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  237    0    0  237 /  500    17.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  244    0    0  244 /  500    17.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  245    0    0  245 /  500    18.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  251    0    0  251 /  500    18.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  255    0    0  255 /  500    18.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  261    0    0  261 /  500    18.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  265    0    0  265 /  500    18.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  269    0    0  269 /  500    18.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  270    0    0  270 /  500    18.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  273    0    0  273 /  500    19.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  276    0    0  276 /  500    19.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  277    0    0  277 /  500    19.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  282    0    0  282 /  500    19.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  286    0    0  286 /  500    19.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  290    0    0  290 /  500    19.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  297    0    0  297 /  500    20.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  300    0    0  300 /  500    20.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  303    0    0  303 /  500    20.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  306    0    0  306 /  500    20.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  307    0    0  307 /  500    21.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  309    0    0  309 /  500    21.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  315    0    0  315 /  500    21.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  316    0    0  316 /  500    21.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  322    0    0  322 /  500    21.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  325    0    0  325 /  500    21.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  329    0    0  329 /  500    21.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  335    0    0  335 /  500    22.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  339    0    0  339 /  500    22.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  341    0    0  341 /  500    22.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  346    0    0  346 /  500    22.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  348    0    0  348 /  500    22.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  352    0    0  352 /  500    22.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  359    0    0  359 /  500    22.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  366    0    0  366 /  500    23.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  369    0    0  369 /  500    23.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  375    0    0  375 /  500    23.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  378    0    0  378 /  500    23.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  381    0    0  381 /  500    24.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  386    0    0  386 /  500    24.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  390    0    0  390 /  500    24.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  396    0    0  396 /  500    25.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  399    0    0  399 /  500    25.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  401    0    0  401 /  500    25.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  404    0    0  404 /  500    25.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  410    0    0  410 /  500    26.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  416    0    0  416 /  500    26.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  423    0    0  423 /  500    26.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  425    0    0  425 /  500    26.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  427    0    0  427 /  500    26.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  428    0    0  428 /  500    26.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  433    0    0  433 /  500    26.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  440    0    0  440 /  500    27.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  446    0    0  446 /  500    27.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  450    0    0  450 /  500    27.4s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  454    0    0  454 /  500    27.6s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  458    0    0  458 /  500    27.8s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  460    0    0  460 /  500    28.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  461    0    0  461 /  500    28.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  467    0    0  467 /  500    28.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  474    0    0  474 /  500    29.1s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  478    0    0  478 /  500    29.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  485    0    0  485 /  500    29.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  488    0    0  488 /  500    29.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  489    0    0  489 /  500    30.0s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  491    0    0  491 /  500    30.2s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  492    0    0  492 /  500    30.3s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  494    0    0  494 /  500    30.5s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  495    0    0  495 /  500    30.7s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[ ]  500    0    0  500 /  500    30.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
[]  500    0    0  500 /  500    30.9s Saturn_lockfree.michael_scott_queue_unsafe concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)
random seed: 432852106
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.6s Lockfree.Skiplist concurrent
[ ]    2    0    0    2 / 1000     4.1s Lockfree.Skiplist concurrent
[ ]    3    0    0    3 / 1000     5.4s Lockfree.Skiplist concurrent
[ ]    4    0    0    4 / 1000     5.8s Lockfree.Skiplist concurrent
[ ]    5    0    0    5 / 1000     6.2s Lockfree.Skiplist concurrent
[ ]    6    0    0    6 / 1000     6.8s 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     7.9s Lockfree.Skiplist concurrent
[ ]   10    0    0   10 / 1000    10.2s Lockfree.Skiplist concurrent
[ ]   11    0    0   11 / 1000    10.8s Lockfree.Skiplist concurrent
[ ]   12    0    0   12 / 1000    11.2s Lockfree.Skiplist concurrent
[ ]   13    0    0   13 / 1000    11.6s Lockfree.Skiplist concurrent
[ ]   14    0    0   14 / 1000    13.2s Lockfree.Skiplist concurrent
[ ]   15    0    0   15 / 1000    14.2s Lockfree.Skiplist concurrent
[ ]   16    0    0   16 / 1000    15.0s Lockfree.Skiplist concurrent
[ ]   17    0    0   17 / 1000    16.7s Lockfree.Skiplist concurrent
[ ]   18    0    0   18 / 1000    17.4s Lockfree.Skiplist concurrent
[ ]   19    0    0   19 / 1000    19.2s Lockfree.Skiplist concurrent
[ ]   20    0    0   20 / 1000    19.5s Lockfree.Skiplist concurrent
[ ]   21    0    0   21 / 1000    21.3s Lockfree.Skiplist concurrent
[ ]   22    0    0   22 / 1000    21.9s Lockfree.Skiplist concurrent
[ ]   23    0    0   23 / 1000    22.1s Lockfree.Skiplist concurrent
[ ]   24    0    0   24 / 1000    22.3s Lockfree.Skiplist concurrent
[ ]   25    0    0   25 / 1000    22.7s Lockfree.Skiplist concurrent
[ ]   26    0    0   26 / 1000    23.2s Lockfree.Skiplist concurrent
[ ]   27    0    0   27 / 1000    25.4s Lockfree.Skiplist concurrent
[ ]   28    0    0   28 / 1000    26.1s Lockfree.Skiplist concurrent
[ ]   29    0    0   29 / 1000    26.2s Lockfree.Skiplist concurrent
[ ]   30    0    0   30 / 1000    26.8s Lockfree.Skiplist concurrent
[ ]   31    0    0   31 / 1000    27.1s Lockfree.Skiplist concurrent
[ ]   32    0    0   32 / 1000    27.3s Lockfree.Skiplist concurrent
[ ]   33    0    0   33 / 1000    27.4s Lockfree.Skiplist concurrent
[ ]   34    0    0   34 / 1000    27.5s Lockfree.Skiplist concurrent
[ ]   35    0    0   35 / 1000    27.7s Lockfree.Skiplist concurrent
[ ]   36    0    0   36 / 1000    27.9s Lockfree.Skiplist concurrent
[ ]   37    0    0   37 / 1000    28.2s Lockfree.Skiplist concurrent
[ ]   38    0    0   38 / 1000    28.4s Lockfree.Skiplist concurrent
[ ]   39    0    0   39 / 1000    28.7s Lockfree.Skiplist concurrent
[ ]   40    0    0   40 / 1000    28.8s Lockfree.Skiplist concurrent
[ ]   42    0    0   42 / 1000    29.8s Lockfree.Skiplist concurrent
[ ]   43    0    0   43 / 1000    30.0s Lockfree.Skiplist concurrent
[ ]   45    0    0   45 / 1000    30.1s Lockfree.Skiplist concurrent
[ ]   46    0    0   46 / 1000    30.3s Lockfree.Skiplist concurrent
[ ]   47    0    0   47 / 1000    30.5s Lockfree.Skiplist concurrent
[ ]   48    0    0   48 / 1000    30.6s Lockfree.Skiplist concurrent
[ ]   49    0    0   49 / 1000    32.3s Lockfree.Skiplist concurrent
[ ]   50    0    0   50 / 1000    32.6s Lockfree.Skiplist concurrent
[ ]   51    0    0   51 / 1000    32.8s Lockfree.Skiplist concurrent
[ ]   52    0    0   52 / 1000    33.1s Lockfree.Skiplist concurrent
[ ]   53    0    0   53 / 1000    33.6s Lockfree.Skiplist concurrent
[ ]   54    0    0   54 / 1000    33.8s Lockfree.Skiplist concurrent
[ ]   55    0    0   55 / 1000    34.0s Lockfree.Skiplist concurrent
[ ]   56    0    0   56 / 1000    34.7s Lockfree.Skiplist concurrent
[ ]   57    0    0   57 / 1000    35.0s Lockfree.Skiplist concurrent
[ ]   58    0    0   58 / 1000    35.2s Lockfree.Skiplist concurrent
[ ]   59    0    0   59 / 1000    35.4s Lockfree.Skiplist concurrent
[ ]   60    0    0   60 / 1000    35.5s Lockfree.Skiplist concurrent
[ ]   61    0    0   61 / 1000    35.8s Lockfree.Skiplist concurrent
[ ]   62    0    0   62 / 1000    36.0s Lockfree.Skiplist concurrent
[ ]   64    0    0   64 / 1000    36.1s Lockfree.Skiplist concurrent
[ ]   65    0    0   65 / 1000    36.4s Lockfree.Skiplist concurrent
[ ]   66    0    0   66 / 1000    36.5s Lockfree.Skiplist concurrent
[ ]   68    0    0   68 / 1000    37.2s Lockfree.Skiplist concurrent
[ ]   69    0    0   69 / 1000    37.5s Lockfree.Skiplist concurrent
[ ]   71    0    0   71 / 1000    37.6s Lockfree.Skiplist concurrent
[ ]   72    0    0   72 / 1000    37.8s Lockfree.Skiplist concurrent
[ ]   73    0    0   73 / 1000    37.9s Lockfree.Skiplist concurrent
[ ]   74    0    0   74 / 1000    38.5s Lockfree.Skiplist concurrent
[ ]   75    0    0   75 / 1000    38.9s Lockfree.Skiplist concurrent
[ ]   76    0    0   76 / 1000    39.1s Lockfree.Skiplist concurrent
[ ]   77    0    0   77 / 1000    39.4s Lockfree.Skiplist concurrent
[ ]   78    0    0   78 / 1000    39.9s Lockfree.Skiplist concurrent
[ ]   79    0    0   79 / 1000    40.2s Lockfree.Skiplist concurrent
[ ]   81    0    0   81 / 1000    40.3s Lockfree.Skiplist concurrent
[ ]   83    0    0   83 / 1000    40.5s Lockfree.Skiplist concurrent
[ ]   84    0    0   84 / 1000    40.8s Lockfree.Skiplist concurrent
[ ]   85    0    0   85 / 1000    40.9s Lockfree.Skiplist concurrent
[ ]   87    0    0   87 / 1000    41.1s Lockfree.Skiplist concurrent
[ ]   88    0    0   88 / 1000    41.4s Lockfree.Skiplist concurrent
[ ]   90    0    0   90 / 1000    41.8s Lockfree.Skiplist concurrent
[ ]   91    0    0   91 / 1000    42.0s Lockfree.Skiplist concurrent
[ ]   92    0    0   92 / 1000    42.1s Lockfree.Skiplist concurrent
[ ]   93    0    0   93 / 1000    42.3s Lockfree.Skiplist concurrent
[ ]   94    0    0   94 / 1000    44.9s Lockfree.Skiplist concurrent
[ ]   95    0    0   95 / 1000    46.3s Lockfree.Skiplist concurrent
[ ]   96    0    0   96 / 1000    46.9s Lockfree.Skiplist concurrent
[ ]   97    0    0   97 / 1000    47.4s Lockfree.Skiplist concurrent
[ ]   98    0    0   98 / 1000    48.0s Lockfree.Skiplist concurrent
[ ]   99    0    0   99 / 1000    48.2s Lockfree.Skiplist concurrent
[ ]  100    0    0  100 / 1000    48.7s Lockfree.Skiplist concurrent
[ ]  102    0    0  102 / 1000    50.0s Lockfree.Skiplist concurrent
[ ]  103    0    0  103 / 1000    50.5s Lockfree.Skiplist concurrent
[ ]  104    0    0  104 / 1000    51.0s Lockfree.Skiplist concurrent
[ ]  106    0    0  106 / 1000    51.2s Lockfree.Skiplist concurrent
[ ]  109    0    0  109 / 1000    51.4s Lockfree.Skiplist concurrent
[ ]  111    0    0  111 / 1000    52.2s Lockfree.Skiplist concurrent
[ ]  114    0    0  114 / 1000    52.3s Lockfree.Skiplist concurrent
[ ]  117    0    0  117 / 1000    52.5s Lockfree.Skiplist concurrent
[ ]  121    0    0  121 / 1000    52.7s Lockfree.Skiplist concurrent
[ ]  125    0    0  125 / 1000    52.9s Lockfree.Skiplist concurrent
[ ]  126    0    0  126 / 1000    53.0s Lockfree.Skiplist concurrent
[ ]  128    0    0  128 / 1000    53.2s Lockfree.Skiplist concurrent
[ ]  132    0    0  132 / 1000    53.7s Lockfree.Skiplist concurrent
[ ]  136    0    0  136 / 1000    53.8s Lockfree.Skiplist concurrent
[ ]  137    0    0  137 / 1000    53.9s Lockfree.Skiplist concurrent
[ ]  141    0    0  141 / 1000    54.1s Lockfree.Skiplist concurrent
[ ]  144    0    0  144 / 1000    54.2s Lockfree.Skiplist concurrent
[ ]  148    0    0  148 / 1000    54.3s Lockfree.Skiplist concurrent
[ ]  150    0    0  150 / 1000    54.4s Lockfree.Skiplist concurrent
[ ]  152    0    0  152 / 1000    54.7s Lockfree.Skiplist concurrent
[ ]  153    0    0  153 / 1000    54.9s Lockfree.Skiplist concurrent
[ ]  155    0    0  155 / 1000    55.1s Lockfree.Skiplist concurrent
[ ]  157    0    0  157 / 1000    55.2s Lockfree.Skiplist concurrent
[ ]  159    0    0  159 / 1000    55.5s Lockfree.Skiplist concurrent
[ ]  161    0    0  161 / 1000    55.6s Lockfree.Skiplist concurrent
[ ]  163    0    0  163 / 1000    55.8s Lockfree.Skiplist concurrent
[ ]  164    0    0  164 / 1000    56.8s Lockfree.Skiplist concurrent
[ ]  165    0    0  165 / 1000    57.0s Lockfree.Skiplist concurrent
[ ]  166    0    0  166 / 1000    57.4s Lockfree.Skiplist concurrent
[ ]  167    0    0  167 / 1000    57.9s Lockfree.Skiplist concurrent
[ ]  168    0    0  168 / 1000    58.0s Lockfree.Skiplist concurrent
[ ]  169    0    0  169 / 1000    58.2s Lockfree.Skiplist concurrent
[ ]  170    0    0  170 / 1000    58.4s Lockfree.Skiplist concurrent
[ ]  171    0    0  171 / 1000    58.7s Lockfree.Skiplist concurrent
[ ]  172    0    0  172 / 1000    58.9s Lockfree.Skiplist concurrent
[ ]  173    0    0  173 / 1000    59.6s Lockfree.Skiplist concurrent
[ ]  174    0    0  174 / 1000    60.2s Lockfree.Skiplist concurrent
[ ]  175    0    0  175 / 1000    60.5s Lockfree.Skiplist concurrent
[ ]  176    0    0  176 / 1000    60.7s Lockfree.Skiplist concurrent
[ ]  177    0    0  177 / 1000    60.9s Lockfree.Skiplist concurrent
[ ]  178    0    0  178 / 1000    61.3s Lockfree.Skiplist concurrent
[ ]  179    0    0  179 / 1000    61.6s Lockfree.Skiplist concurrent
[ ]  180    0    0  180 / 1000    61.9s Lockfree.Skiplist concurrent
[ ]  181    0    0  181 / 1000    62.6s Lockfree.Skiplist concurrent
[ ]  182    0    0  182 / 1000    63.0s Lockfree.Skiplist concurrent
[ ]  183    0    0  183 / 1000    63.3s Lockfree.Skiplist concurrent
[ ]  184    0    0  184 / 1000    63.6s Lockfree.Skiplist concurrent
[ ]  185    0    0  185 / 1000    65.9s Lockfree.Skiplist concurrent
[ ]  186    0    0  186 / 1000    66.9s Lockfree.Skiplist concurrent
[ ]  187    0    0  187 / 1000    68.8s Lockfree.Skiplist concurrent
[ ]  188    0    0  188 / 1000    69.8s Lockfree.Skiplist concurrent
[ ]  189    0    0  189 / 1000    70.7s Lockfree.Skiplist concurrent
[ ]  190    0    0  190 / 1000    72.0s Lockfree.Skiplist concurrent
[ ]  191    0    0  191 / 1000    73.0s Lockfree.Skiplist concurrent
[ ]  192    0    0  192 / 1000    74.8s Lockfree.Skiplist concurrent
[ ]  193    0    0  193 / 1000    76.9s Lockfree.Skiplist concurrent
[ ]  194    0    0  194 / 1000    78.7s Lockfree.Skiplist concurrent
[ ]  195    0    0  195 / 1000    80.0s Lockfree.Skiplist concurrent
[ ]  196    0    0  196 / 1000    81.2s Lockfree.Skiplist concurrent
[ ]  197    0    0  197 / 1000    82.1s Lockfree.Skiplist concurrent
[ ]  198    0    0  198 / 1000    83.2s Lockfree.Skiplist concurrent
[ ]  199    0    0  199 / 1000    84.2s Lockfree.Skiplist concurrent
[ ]  200    0    0  200 / 1000    85.5s Lockfree.Skiplist concurrent
[ ]  201    0    0  201 / 1000    86.2s Lockfree.Skiplist concurrent
[ ]  202    0    0  202 / 1000    86.8s Lockfree.Skiplist concurrent
[ ]  203    0    0  203 / 1000    88.0s Lockfree.Skiplist concurrent
[ ]  204    0    0  204 / 1000    88.3s Lockfree.Skiplist concurrent
[ ]  205    0    0  205 / 1000    89.0s Lockfree.Skiplist concurrent
[ ]  206    0    0  206 / 1000    89.5s Lockfree.Skiplist concurrent
[ ]  207    0    0  207 / 1000    89.7s Lockfree.Skiplist concurrent
[ ]  208    0    0  208 / 1000    90.3s Lockfree.Skiplist concurrent
[ ]  209    0    0  209 / 1000    91.1s Lockfree.Skiplist concurrent
[ ]  210    0    0  210 / 1000    91.5s Lockfree.Skiplist concurrent
[ ]  211    0    0  211 / 1000    91.9s Lockfree.Skiplist concurrent
[ ]  212    0    0  212 / 1000    92.8s Lockfree.Skiplist concurrent
[ ]  213    0    0  213 / 1000    94.3s Lockfree.Skiplist concurrent
[ ]  214    0    0  214 / 1000    95.1s Lockfree.Skiplist concurrent
[ ]  215    0    0  215 / 1000    96.2s Lockfree.Skiplist concurrent
[ ]  216    0    0  216 / 1000    97.7s Lockfree.Skiplist concurrent
[ ]  217    0    0  217 / 1000    98.9s Lockfree.Skiplist concurrent
[ ]  218    0    0  218 / 1000    99.7s Lockfree.Skiplist concurrent
[ ]  219    0    0  219 / 1000   100.6s Lockfree.Skiplist concurrent
[ ]  220    0    0  220 / 1000   101.3s Lockfree.Skiplist concurrent
[ ]  221    0    0  221 / 1000   102.3s Lockfree.Skiplist concurrent
[ ]  222    0    0  222 / 1000   103.3s Lockfree.Skiplist concurrent
[ ]  223    0    0  223 / 1000   104.3s Lockfree.Skiplist concurrent
[ ]  224    0    0  224 / 1000   105.4s Lockfree.Skiplist concurrent
[ ]  225    0    0  225 / 1000   106.3s Lockfree.Skiplist concurrent
[ ]  226    0    0  226 / 1000   107.3s Lockfree.Skiplist concurrent
[ ]  227    0    0  227 / 1000   108.1s Lockfree.Skiplist concurrent
[ ]  228    0    0  228 / 1000   109.0s Lockfree.Skiplist concurrent
[ ]  229    0    0  229 / 1000   109.9s Lockfree.Skiplist concurrent
[ ]  230    0    0  230 / 1000   110.3s Lockfree.Skiplist concurrent
[ ]  231    0    0  231 / 1000   111.1s Lockfree.Skiplist concurrent
[ ]  232    0    0  232 / 1000   111.9s Lockfree.Skiplist concurrent
[ ]  233    0    0  233 / 1000   112.3s Lockfree.Skiplist concurrent
[ ]  234    0    0  234 / 1000   113.1s Lockfree.Skiplist concurrent
[ ]  235    0    0  235 / 1000   117.1s Lockfree.Skiplist concurrent
[ ]  236    0    0  236 / 1000   117.5s Lockfree.Skiplist concurrent
[ ]  237    0    0  237 / 1000   118.0s Lockfree.Skiplist concurrent
[ ]  238    0    0  238 / 1000   118.3s Lockfree.Skiplist concurrent
[ ]  239    0    0  239 / 1000   118.5s Lockfree.Skiplist concurrent
[ ]  240    0    0  240 / 1000   118.8s Lockfree.Skiplist concurrent
[ ]  241    0    0  241 / 1000   119.0s Lockfree.Skiplist concurrent
[ ]  242    0    0  242 / 1000   119.5s Lockfree.Skiplist concurrent
[ ]  243    0    0  243 / 1000   120.0s Lockfree.Skiplist concurrent
[ ]  244    0    0  244 / 1000   120.6s Lockfree.Skiplist concurrent
[ ]  245    0    0  245 / 1000   120.8s Lockfree.Skiplist concurrent
[ ]  246    0    0  246 / 1000   121.0s Lockfree.Skiplist concurrent
[ ]  247    0    0  247 / 1000   121.1s Lockfree.Skiplist concurrent
[ ]  248    0    0  248 / 1000   121.4s Lockfree.Skiplist concurrent
[ ]  249    0    0  249 / 1000   121.6s Lockfree.Skiplist concurrent
[ ]  250    0    0  250 / 1000   122.0s Lockfree.Skiplist concurrent
[ ]  251    0    0  251 / 1000   122.1s Lockfree.Skiplist concurrent
[ ]  252    0    0  252 / 1000   122.2s Lockfree.Skiplist concurrent
[ ]  253    0    0  253 / 1000   122.4s Lockfree.Skiplist concurrent
[ ]  254    0    0  254 / 1000   122.7s Lockfree.Skiplist concurrent
[ ]  255    0    0  255 / 1000   123.0s Lockfree.Skiplist concurrent
[ ]  256    0    0  256 / 1000   123.3s Lockfree.Skiplist concurrent
[ ]  257    0    0  257 / 1000   123.4s Lockfree.Skiplist concurrent
[ ]  258    0    0  258 / 1000   123.6s Lockfree.Skiplist concurrent
[ ]  260    0    0  260 / 1000   123.7s Lockfree.Skiplist concurrent
[ ]  262    0    0  262 / 1000   124.1s Lockfree.Skiplist concurrent
[ ]  263    0    0  263 / 1000   124.3s Lockfree.Skiplist concurrent
[ ]  264    0    0  264 / 1000   124.9s Lockfree.Skiplist concurrent
[ ]  265    0    0  265 / 1000   125.3s Lockfree.Skiplist concurrent
[ ]  266    0    0  266 / 1000   125.5s Lockfree.Skiplist concurrent
[ ]  267    0    0  267 / 1000   125.7s Lockfree.Skiplist concurrent
[ ]  268    0    0  268 / 1000   126.5s Lockfree.Skiplist concurrent
[ ]  269    0    0  269 / 1000   126.9s Lockfree.Skiplist concurrent
[ ]  270    0    0  270 / 1000   127.4s Lockfree.Skiplist concurrent
[ ]  271    0    0  271 / 1000   127.6s Lockfree.Skiplist concurrent
[ ]  272    0    0  272 / 1000   128.0s Lockfree.Skiplist concurrent
[ ]  273    0    0  273 / 1000   128.2s Lockfree.Skiplist concurrent
[ ]  274    0    0  274 / 1000   128.5s Lockfree.Skiplist concurrent
[ ]  275    0    0  275 / 1000   128.9s Lockfree.Skiplist concurrent
[ ]  276    0    0  276 / 1000   129.4s Lockfree.Skiplist concurrent
[ ]  277    0    0  277 / 1000   129.9s Lockfree.Skiplist concurrent
[ ]  278    0    0  278 / 1000   130.1s Lockfree.Skiplist concurrent
[ ]  279    0    0  279 / 1000   131.5s Lockfree.Skiplist concurrent
[ ]  280    0    0  280 / 1000   131.9s Lockfree.Skiplist concurrent
[ ]  281    0    0  281 / 1000   132.0s Lockfree.Skiplist concurrent
[ ]  282    0    0  282 / 1000   132.3s Lockfree.Skiplist concurrent
[ ]  283    0    0  283 / 1000   132.4s Lockfree.Skiplist concurrent
[ ]  284    0    0  284 / 1000   134.3s Lockfree.Skiplist concurrent
[ ]  285    0    0  285 / 1000   134.4s Lockfree.Skiplist concurrent
[ ]  286    0    0  286 / 1000   134.7s Lockfree.Skiplist concurrent
[ ]  287    0    0  287 / 1000   135.0s Lockfree.Skiplist concurrent
[ ]  288    0    0  288 / 1000   135.2s Lockfree.Skiplist concurrent
[ ]  289    0    0  289 / 1000   135.4s Lockfree.Skiplist concurrent
[ ]  290    0    0  290 / 1000   136.2s Lockfree.Skiplist concurrent
[ ]  291    0    0  291 / 1000   137.1s Lockfree.Skiplist concurrent
[ ]  292    0    0  292 / 1000   137.3s Lockfree.Skiplist concurrent
[ ]  293    0    0  293 / 1000   137.6s Lockfree.Skiplist concurrent
[ ]  294    0    0  294 / 1000   137.8s Lockfree.Skiplist concurrent
[ ]  295    0    0  295 / 1000   138.1s Lockfree.Skiplist concurrent
[ ]  296    0    0  296 / 1000   138.4s Lockfree.Skiplist concurrent
[ ]  297    0    0  297 / 1000   138.5s Lockfree.Skiplist concurrent
[ ]  298    0    0  298 / 1000   138.6s Lockfree.Skiplist concurrent
[ ]  299    0    0  299 / 1000   139.8s Lockfree.Skiplist concurrent
[ ]  301    0    0  301 / 1000   140.0s Lockfree.Skiplist concurrent
[ ]  302    0    0  302 / 1000   140.1s Lockfree.Skiplist concurrent
[ ]  303    0    0  303 / 1000   140.5s Lockfree.Skiplist concurrent
[ ]  304    0    0  304 / 1000   140.8s Lockfree.Skiplist concurrent
[ ]  305    0    0  305 / 1000   141.0s Lockfree.Skiplist concurrent
[ ]  306    0    0  306 / 1000   141.2s Lockfree.Skiplist concurrent
[ ]  307    0    0  307 / 1000   141.4s Lockfree.Skiplist concurrent
[ ]  308    0    0  308 / 1000   141.8s Lockfree.Skiplist concurrent
[ ]  309    0    0  309 / 1000   142.5s Lockfree.Skiplist concurrent
[ ]  310    0    0  310 / 1000   142.8s Lockfree.Skiplist concurrent
[ ]  311    0    0  311 / 1000   143.4s Lockfree.Skiplist concurrent
[ ]  312    0    0  312 / 1000   144.0s Lockfree.Skiplist concurrent
[ ]  313    0    0  313 / 1000   144.5s Lockfree.Skiplist concurrent
[ ]  314    0    0  314 / 1000   144.9s Lockfree.Skiplist concurrent
[ ]  315    0    0  315 / 1000   145.6s Lockfree.Skiplist concurrent
[ ]  316    0    0  316 / 1000   146.1s Lockfree.Skiplist concurrent
[ ]  317    0    0  317 / 1000   146.5s Lockfree.Skiplist concurrent
[ ]  318    0    0  318 / 1000   146.7s Lockfree.Skiplist concurrent
[ ]  319    0    0  319 / 1000   147.0s Lockfree.Skiplist concurrent
[ ]  320    0    0  320 / 1000   147.2s Lockfree.Skiplist concurrent
[ ]  321    0    0  321 / 1000   147.5s Lockfree.Skiplist concurrent
[ ]  323    0    0  323 / 1000   147.9s Lockfree.Skiplist concurrent
[ ]  324    0    0  324 / 1000   148.8s Lockfree.Skiplist concurrent
[ ]  325    0    0  325 / 1000   149.6s Lockfree.Skiplist concurrent
[ ]  326    0    0  326 / 1000   150.0s Lockfree.Skiplist concurrent
[ ]  327    0    0  327 / 1000   150.4s Lockfree.Skiplist concurrent
[ ]  328    0    0  328 / 1000   152.2s Lockfree.Skiplist concurrent
[ ]  329    0    0  329 / 1000   152.9s Lockfree.Skiplist concurrent
[ ]  330    0    0  330 / 1000   153.2s Lockfree.Skiplist concurrent
[ ]  331    0    0  331 / 1000   153.3s Lockfree.Skiplist concurrent
[ ]  332    0    0  332 / 1000   153.6s Lockfree.Skiplist concurrent
[ ]  333    0    0  333 / 1000   153.8s Lockfree.Skiplist concurrent
[ ]  334    0    0  334 / 1000   155.6s Lockfree.Skiplist concurrent
[ ]  335    0    0  335 / 1000   155.9s Lockfree.Skiplist concurrent
[ ]  336    0    0  336 / 1000   156.1s Lockfree.Skiplist concurrent
[ ]  337    0    0  337 / 1000   156.2s Lockfree.Skiplist concurrent
[ ]  338    0    0  338 / 1000   156.5s Lockfree.Skiplist concurrent
[ ]  339    0    0  339 / 1000   156.8s Lockfree.Skiplist concurrent
[ ]  340    0    0  340 / 1000   157.1s Lockfree.Skiplist concurrent
[ ]  341    0    0  341 / 1000   157.4s Lockfree.Skiplist concurrent
[ ]  342    0    0  342 / 1000   157.6s Lockfree.Skiplist concurrent
[ ]  343    0    0  343 / 1000   158.8s Lockfree.Skiplist concurrent
[ ]  344    0    0  344 / 1000   159.4s Lockfree.Skiplist concurrent
[ ]  345    0    0  345 / 1000   160.2s Lockfree.Skiplist concurrent
[ ]  346    0    0  346 / 1000   160.8s Lockfree.Skiplist concurrent
[ ]  347    0    0  347 / 1000   161.0s Lockfree.Skiplist concurrent
[ ]  348    0    0  348 / 1000   161.5s Lockfree.Skiplist concurrent
[ ]  349    0    0  349 / 1000   163.0s Lockfree.Skiplist concurrent
[ ]  350    0    0  350 / 1000   163.3s Lockfree.Skiplist concurrent
[ ]  351    0    0  351 / 1000   163.5s Lockfree.Skiplist concurrent
[ ]  352    0    0  352 / 1000   163.7s Lockfree.Skiplist concurrent
[ ]  353    0    0  353 / 1000   163.9s Lockfree.Skiplist concurrent
[ ]  354    0    0  354 / 1000   164.2s Lockfree.Skiplist concurrent
[ ]  355    0    0  355 / 1000   164.8s Lockfree.Skiplist concurrent
[ ]  356    0    0  356 / 1000   165.5s Lockfree.Skiplist concurrent
[ ]  357    0    0  357 / 1000   165.7s Lockfree.Skiplist concurrent
[ ]  358    0    0  358 / 1000   166.2s Lockfree.Skiplist concurrent
[ ]  359    0    0  359 / 1000   166.6s Lockfree.Skiplist concurrent
[ ]  360    0    0  360 / 1000   166.9s Lockfree.Skiplist concurrent
[ ]  361    0    0  361 / 1000   167.1s Lockfree.Skiplist concurrent
[ ]  362    0    0  362 / 1000   167.3s Lockfree.Skiplist concurrent
[ ]  363    0    0  363 / 1000   167.5s Lockfree.Skiplist concurrent
[ ]  364    0    0  364 / 1000   167.7s Lockfree.Skiplist concurrent
[ ]  365    0    0  365 / 1000   167.8s Lockfree.Skiplist concurrent
[ ]  366    0    0  366 / 1000   168.9s Lockfree.Skiplist concurrent
[ ]  367    0    0  367 / 1000   169.0s Lockfree.Skiplist concurrent
[ ]  369    0    0  369 / 1000   169.6s Lockfree.Skiplist concurrent
[ ]  372    0    0  372 / 1000   170.2s Lockfree.Skiplist concurrent
[ ]  373    0    0  373 / 1000   170.3s Lockfree.Skiplist concurrent
[ ]  375    0    0  375 / 1000   170.5s Lockfree.Skiplist concurrent
[ ]  377    0    0  377 / 1000   170.6s Lockfree.Skiplist concurrent
[ ]  379    0    0  379 / 1000   171.3s Lockfree.Skiplist concurrent
[ ]  380    0    0  380 / 1000   171.4s Lockfree.Skiplist concurrent
[ ]  383    0    0  383 / 1000   171.6s Lockfree.Skiplist concurrent
[ ]  385    0    0  385 / 1000   173.3s Lockfree.Skiplist concurrent
[ ]  387    0    0  387 / 1000   173.5s Lockfree.Skiplist concurrent
[ ]  389    0    0  389 / 1000   173.6s Lockfree.Skiplist concurrent
[ ]  391    0    0  391 / 1000   173.7s Lockfree.Skiplist concurrent
[ ]  393    0    0  393 / 1000   173.9s Lockfree.Skiplist concurrent
[ ]  395    0    0  395 / 1000   174.0s Lockfree.Skiplist concurrent
[ ]  398    0    0  398 / 1000   174.1s Lockfree.Skiplist concurrent
[ ]  400    0    0  400 / 1000   174.2s Lockfree.Skiplist concurrent
[ ]  401    0    0  401 / 1000   174.7s Lockfree.Skiplist concurrent
[ ]  403    0    0  403 / 1000   174.8s Lockfree.Skiplist concurrent
[ ]  406    0    0  406 / 1000   174.9s Lockfree.Skiplist concurrent
[ ]  408    0    0  408 / 1000   175.0s Lockfree.Skiplist concurrent
[ ]  410    0    0  410 / 1000   175.2s Lockfree.Skiplist concurrent
[ ]  411    0    0  411 / 1000   175.5s Lockfree.Skiplist concurrent
[ ]  414    0    0  414 / 1000   175.7s Lockfree.Skiplist concurrent
[ ]  419    0    0  419 / 1000   175.8s Lockfree.Skiplist concurrent
[ ]  424    0    0  424 / 1000   175.9s Lockfree.Skiplist concurrent
[ ]  430    0    0  430 / 1000   176.0s Lockfree.Skiplist concurrent
[ ]  435    0    0  435 / 1000   176.1s Lockfree.Skiplist concurrent
[ ]  438    0    0  438 / 1000   176.2s Lockfree.Skiplist concurrent
[ ]  439    0    0  439 / 1000   176.6s Lockfree.Skiplist concurrent
[ ]  442    0    0  442 / 1000   176.8s Lockfree.Skiplist concurrent
[ ]  446    0    0  446 / 1000   176.9s Lockfree.Skiplist concurrent
[ ]  450    0    0  450 / 1000   177.2s Lockfree.Skiplist concurrent
[ ]  454    0    0  454 / 1000   177.3s Lockfree.Skiplist concurrent
[ ]  458    0    0  458 / 1000   177.4s Lockfree.Skiplist concurrent
[ ]  459    0    0  459 / 1000   177.6s Lockfree.Skiplist concurrent
[ ]  461    0    0  461 / 1000   177.7s Lockfree.Skiplist concurrent
[ ]  464    0    0  464 / 1000   177.9s Lockfree.Skiplist concurrent
[ ]  468    0    0  468 / 1000   178.1s Lockfree.Skiplist concurrent
[ ]  471    0    0  471 / 1000   178.4s Lockfree.Skiplist concurrent
[ ]  474    0    0  474 / 1000   178.6s Lockfree.Skiplist concurrent
[ ]  475    0    0  475 / 1000   178.9s Lockfree.Skiplist concurrent
[ ]  479    0    0  479 / 1000   179.0s Lockfree.Skiplist concurrent
[ ]  482    0    0  482 / 1000   179.1s Lockfree.Skiplist concurrent
[ ]  486    0    0  486 / 1000   179.3s Lockfree.Skiplist concurrent
[ ]  487    0    0  487 / 1000   179.4s Lockfree.Skiplist concurrent
[ ]  490    0    0  490 / 1000   179.5s Lockfree.Skiplist concurrent
[ ]  493    0    0  493 / 1000   180.3s Lockfree.Skiplist concurrent
[ ]  496    0    0  496 / 1000   181.1s Lockfree.Skiplist concurrent
[ ]  501    0    0  501 / 1000   181.3s Lockfree.Skiplist concurrent
[ ]  503    0    0  503 / 1000   181.5s Lockfree.Skiplist concurrent
[ ]  505    0    0  505 / 1000   181.7s Lockfree.Skiplist concurrent
[ ]  508    0    0  508 / 1000   182.1s Lockfree.Skiplist concurrent
[ ]  511    0    0  511 / 1000   182.6s Lockfree.Skiplist concurrent
[ ]  512    0    0  512 / 1000   182.8s Lockfree.Skiplist concurrent
[ ]  515    0    0  515 / 1000   182.9s Lockfree.Skiplist concurrent
[ ]  519    0    0  519 / 1000   183.0s Lockfree.Skiplist concurrent
[ ]  522    0    0  522 / 1000   183.2s Lockfree.Skiplist concurrent
[ ]  524    0    0  524 / 1000   183.3s Lockfree.Skiplist concurrent
[ ]  526    0    0  526 / 1000   183.6s Lockfree.Skiplist concurrent
[ ]  530    0    0  530 / 1000   183.7s Lockfree.Skiplist concurrent
[ ]  532    0    0  532 / 1000   183.8s Lockfree.Skiplist concurrent
[ ]  537    0    0  537 / 1000   183.9s Lockfree.Skiplist concurrent
[ ]  541    0    0  541 / 1000   184.1s Lockfree.Skiplist concurrent
[ ]  546    0    0  546 / 1000   184.5s Lockfree.Skiplist concurrent
[ ]  547    0    0  547 / 1000   184.7s Lockfree.Skiplist concurrent
[ ]  552    0    0  552 / 1000   185.0s Lockfree.Skiplist concurrent
[ ]  559    0    0  559 / 1000   185.1s Lockfree.Skiplist concurrent
[ ]  563    0    0  563 / 1000   185.2s Lockfree.Skiplist concurrent
[ ]  565    0    0  565 / 1000   185.3s Lockfree.Skiplist concurrent
[ ]  566    0    0  566 / 1000   185.7s Lockfree.Skiplist concurrent
[ ]  569    0    0  569 / 1000   185.8s Lockfree.Skiplist concurrent
[ ]  573    0    0  573 / 1000   185.9s Lockfree.Skiplist concurrent
[ ]  575    0    0  575 / 1000   186.4s Lockfree.Skiplist concurrent
[ ]  576    0    0  576 / 1000   186.5s Lockfree.Skiplist concurrent
[ ]  577    0    0  577 / 1000   186.7s Lockfree.Skiplist concurrent
[ ]  578    0    0  578 / 1000   186.9s Lockfree.Skiplist concurrent
[ ]  581    0    0  581 / 1000   187.1s Lockfree.Skiplist concurrent
[ ]  583    0    0  583 / 1000   187.2s Lockfree.Skiplist concurrent
[ ]  585    0    0  585 / 1000   187.3s Lockfree.Skiplist concurrent
[ ]  587    0    0  587 / 1000   187.4s Lockfree.Skiplist concurrent
[ ]  591    0    0  591 / 1000   187.5s Lockfree.Skiplist concurrent
[ ]  592    0    0  592 / 1000   187.6s Lockfree.Skiplist concurrent
[ ]  596    0    0  596 / 1000   188.3s Lockfree.Skiplist concurrent
[ ]  598    0    0  598 / 1000   188.5s Lockfree.Skiplist concurrent
[ ]  602    0    0  602 / 1000   189.2s Lockfree.Skiplist concurrent
[ ]  606    0    0  606 / 1000   189.3s Lockfree.Skiplist concurrent
[ ]  609    0    0  609 / 1000   189.4s Lockfree.Skiplist concurrent
[ ]  610    0    0  610 / 1000   189.6s Lockfree.Skiplist concurrent
[ ]  613    0    0  613 / 1000   189.7s Lockfree.Skiplist concurrent
[ ]  618    0    0  618 / 1000   189.8s Lockfree.Skiplist concurrent
[ ]  623    0    0  623 / 1000   190.1s Lockfree.Skiplist concurrent
[ ]  626    0    0  626 / 1000   190.2s Lockfree.Skiplist concurrent
[ ]  630    0    0  630 / 1000   190.3s Lockfree.Skiplist concurrent
[ ]  632    0    0  632 / 1000   190.4s Lockfree.Skiplist concurrent
[ ]  633    0    0  633 / 1000   190.6s Lockfree.Skiplist concurrent
[ ]  634    0    0  634 / 1000   191.9s Lockfree.Skiplist concurrent
[ ]  635    0    0  635 / 1000   192.1s Lockfree.Skiplist concurrent
[ ]  638    0    0  638 / 1000   192.4s Lockfree.Skiplist concurrent
[ ]  642    0    0  642 / 1000   192.5s Lockfree.Skiplist concurrent
[ ]  643    0    0  643 / 1000   192.7s Lockfree.Skiplist concurrent
[ ]  645    0    0  645 / 1000   193.6s Lockfree.Skiplist concurrent
[ ]  648    0    0  648 / 1000   193.7s Lockfree.Skiplist concurrent
[ ]  650    0    0  650 / 1000   194.2s Lockfree.Skiplist concurrent
[ ]  652    0    0  652 / 1000   194.5s Lockfree.Skiplist concurrent
[ ]  653    0    0  653 / 1000   194.7s Lockfree.Skiplist concurrent
[ ]  654    0    0  654 / 1000   195.2s Lockfree.Skiplist concurrent
[ ]  655    0    0  655 / 1000   195.5s Lockfree.Skiplist concurrent
[ ]  657    0    0  657 / 1000   195.7s Lockfree.Skiplist concurrent
[ ]  660    0    0  660 / 1000   195.8s Lockfree.Skiplist concurrent
[ ]  664    0    0  664 / 1000   195.9s Lockfree.Skiplist concurrent
[ ]  667    0    0  667 / 1000   196.0s Lockfree.Skiplist concurrent
[ ]  669    0    0  669 / 1000   196.3s Lockfree.Skiplist concurrent
[ ]  673    0    0  673 / 1000   196.4s Lockfree.Skiplist concurrent
[ ]  676    0    0  676 / 1000   196.8s Lockfree.Skiplist concurrent
[ ]  677    0    0  677 / 1000   197.6s Lockfree.Skiplist concurrent
[ ]  679    0    0  679 / 1000   197.7s Lockfree.Skiplist concurrent
[ ]  682    0    0  682 / 1000   197.8s Lockfree.Skiplist concurrent
[ ]  686    0    0  686 / 1000   197.9s Lockfree.Skiplist concurrent
[ ]  693    0    0  693 / 1000   198.0s Lockfree.Skiplist concurrent
[ ]  694    0    0  694 / 1000   198.4s Lockfree.Skiplist concurrent
[ ]  696    0    0  696 / 1000   198.6s Lockfree.Skiplist concurrent
[ ]  699    0    0  699 / 1000   198.7s Lockfree.Skiplist concurrent
[ ]  701    0    0  701 / 1000   199.5s Lockfree.Skiplist concurrent
[ ]  704    0    0  704 / 1000   200.0s Lockfree.Skiplist concurrent
[ ]  708    0    0  708 / 1000   200.1s Lockfree.Skiplist concurrent
[ ]  714    0    0  714 / 1000   200.2s Lockfree.Skiplist concurrent
[ ]  719    0    0  719 / 1000   200.3s Lockfree.Skiplist concurrent
[ ]  720    0    0  720 / 1000   200.4s Lockfree.Skiplist concurrent
[ ]  727    0    0  727 / 1000   201.1s Lockfree.Skiplist concurrent
[ ]  731    0    0  731 / 1000   201.3s Lockfree.Skiplist concurrent
[ ]  732    0    0  732 / 1000   201.4s Lockfree.Skiplist concurrent
[ ]  733    0    0  733 / 1000   201.9s Lockfree.Skiplist concurrent
[ ]  735    0    0  735 / 1000   202.1s Lockfree.Skiplist concurrent
[ ]  736    0    0  736 / 1000   202.2s Lockfree.Skiplist concurrent
[ ]  742    0    0  742 / 1000   202.4s Lockfree.Skiplist concurrent
[ ]  749    0    0  749 / 1000   202.6s Lockfree.Skiplist concurrent
[ ]  751    0    0  751 / 1000   203.4s Lockfree.Skiplist concurrent
[ ]  754    0    0  754 / 1000   203.6s Lockfree.Skiplist concurrent
[ ]  756    0    0  756 / 1000   204.4s Lockfree.Skiplist concurrent
[ ]  760    0    0  760 / 1000   204.5s Lockfree.Skiplist concurrent
[ ]  764    0    0  764 / 1000   204.6s Lockfree.Skiplist concurrent
[ ]  770    0    0  770 / 1000   204.7s Lockfree.Skiplist concurrent
[ ]  773    0    0  773 / 1000   204.9s Lockfree.Skiplist concurrent
[ ]  779    0    0  779 / 1000   205.1s Lockfree.Skiplist concurrent
[ ]  786    0    0  786 / 1000   205.2s Lockfree.Skiplist concurrent
[ ]  790    0    0  790 / 1000   205.8s Lockfree.Skiplist concurrent
[ ]  791    0    0  791 / 1000   206.4s Lockfree.Skiplist concurrent
[ ]  793    0    0  793 / 1000   206.5s Lockfree.Skiplist concurrent
[ ]  794    0    0  794 / 1000   206.7s Lockfree.Skiplist concurrent
[ ]  795    0    0  795 / 1000   206.8s Lockfree.Skiplist concurrent
[ ]  799    0    0  799 / 1000   207.1s Lockfree.Skiplist concurrent
[ ]  802    0    0  802 / 1000   207.2s Lockfree.Skiplist concurrent
[ ]  811    0    0  811 / 1000   207.4s Lockfree.Skiplist concurrent
[ ]  817    0    0  817 / 1000   207.5s Lockfree.Skiplist concurrent
[ ]  823    0    0  823 / 1000   207.6s Lockfree.Skiplist concurrent
[ ]  829    0    0  829 / 1000   208.1s Lockfree.Skiplist concurrent
[ ]  835    0    0  835 / 1000   208.5s Lockfree.Skiplist concurrent
[ ]  839    0    0  839 / 1000   208.9s Lockfree.Skiplist concurrent
[ ]  840    0    0  840 / 1000   209.1s Lockfree.Skiplist concurrent
[ ]  841    0    0  841 / 1000   209.2s Lockfree.Skiplist concurrent
[ ]  843    0    0  843 / 1000   209.5s Lockfree.Skiplist concurrent
[ ]  844    0    0  844 / 1000   209.6s Lockfree.Skiplist concurrent
[ ]  846    0    0  846 / 1000   209.8s Lockfree.Skiplist concurrent
[ ]  848    0    0  848 / 1000   209.9s Lockfree.Skiplist concurrent
[ ]  853    0    0  853 / 1000   210.0s Lockfree.Skiplist concurrent
[ ]  857    0    0  857 / 1000   210.1s Lockfree.Skiplist concurrent
[ ]  861    0    0  861 / 1000   210.5s Lockfree.Skiplist concurrent
[ ]  865    0    0  865 / 1000   210.6s Lockfree.Skiplist concurrent
[ ]  871    0    0  871 / 1000   210.7s Lockfree.Skiplist concurrent
[ ]  875    0    0  875 / 1000   211.5s Lockfree.Skiplist concurrent
[ ]  878    0    0  878 / 1000   211.6s Lockfree.Skiplist concurrent
[ ]  879    0    0  879 / 1000   211.9s Lockfree.Skiplist concurrent
[ ]  881    0    0  881 / 1000   212.0s Lockfree.Skiplist concurrent
[ ]  884    0    0  884 / 1000   212.2s Lockfree.Skiplist concurrent
[ ]  888    0    0  888 / 1000   212.4s Lockfree.Skiplist concurrent
[ ]  894    0    0  894 / 1000   212.5s Lockfree.Skiplist concurrent
[ ]  898    0    0  898 / 1000   212.7s Lockfree.Skiplist concurrent
[ ]  899    0    0  899 / 1000   212.8s Lockfree.Skiplist concurrent
[ ]  901    0    0  901 / 1000   213.0s Lockfree.Skiplist concurrent
[ ]  904    0    0  904 / 1000   213.1s Lockfree.Skiplist concurrent
[ ]  906    0    0  906 / 1000   213.4s Lockfree.Skiplist concurrent
[ ]  912    0    0  912 / 1000   213.5s Lockfree.Skiplist concurrent
[ ]  913    0    0  913 / 1000   213.8s Lockfree.Skiplist concurrent
[ ]  915    0    0  915 / 1000   213.9s Lockfree.Skiplist concurrent
[ ]  919    0    0  919 / 1000   214.2s Lockfree.Skiplist concurrent
[ ]  924    0    0  924 / 1000   214.3s Lockfree.Skiplist concurrent
[ ]  927    0    0  927 / 1000   214.4s Lockfree.Skiplist concurrent
[ ]  929    0    0  929 / 1000   214.6s Lockfree.Skiplist concurrent
[ ]  930    0    0  930 / 1000   214.9s Lockfree.Skiplist concurrent
[ ]  934    0    0  934 / 1000   215.5s Lockfree.Skiplist concurrent
[ ]  936    0    0  936 / 1000   216.0s Lockfree.Skiplist concurrent
[ ]  938    0    0  938 / 1000   216.6s Lockfree.Skiplist concurrent
[ ]  941    0    0  941 / 1000   216.7s Lockfree.Skiplist concurrent
[ ]  948    0    0  948 / 1000   216.9s Lockfree.Skiplist concurrent
[ ]  951    0    0  951 / 1000   217.4s Lockfree.Skiplist concurrent
[ ]  954    0    0  954 / 1000   217.6s Lockfree.Skiplist concurrent
[ ]  960    0    0  960 / 1000   218.3s Lockfree.Skiplist concurrent
[ ]  965    0    0  965 / 1000   218.4s Lockfree.Skiplist concurrent
[ ]  972    0    0  972 / 1000   219.8s Lockfree.Skiplist concurrent
[ ]  976    0    0  976 / 1000   219.9s Lockfree.Skiplist concurrent
[ ]  981    0    0  981 / 1000   221.0s Lockfree.Skiplist concurrent
[ ]  987    0    0  987 / 1000   221.1s Lockfree.Skiplist concurrent
[ ]  993    0    0  993 / 1000   221.2s Lockfree.Skiplist concurrent
[ ] 1000    0    0 1000 / 1000   221.3s Lockfree.Skiplist concurrent
[] 1000    0    0 1000 / 1000   221.3s Lockfree.Skiplist concurrent
================================================================================
success (ran 2 tests)
(cd _build/default/test/size && ./stm_size.exe)
random seed: 484634417
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     1.3s Saturn_lockfree.Size concurrent
[ ]    2    0    0    2 / 1000     2.1s Saturn_lockfree.Size concurrent
[ ]    3    0    0    3 / 1000     3.2s Saturn_lockfree.Size concurrent
[ ]    4    0    0    4 / 1000     4.2s Saturn_lockfree.Size concurrent
[ ]    5    0    0    5 / 1000     5.0s Saturn_lockfree.Size concurrent
[ ]    6    0    0    6 / 1000     5.8s Saturn_lockfree.Size concurrent
[ ]    7    0    0    7 / 1000     6.3s Saturn_lockfree.Size concurrent
[ ]    8    0    0    8 / 1000     7.9s Saturn_lockfree.Size concurrent
[ ]    9    0    0    9 / 1000     8.4s Saturn_lockfree.Size concurrent
[ ]   10    0    0   10 / 1000     9.5s Saturn_lockfree.Size concurrent
[ ]   11    0    0   11 / 1000    10.4s Saturn_lockfree.Size concurrent
[ ]   12    0    0   12 / 1000    10.8s Saturn_lockfree.Size concurrent
[ ]   13    0    0   13 / 1000    11.2s Saturn_lockfree.Size concurrent
[ ]   14    0    0   14 / 1000    11.6s Saturn_lockfree.Size concurrent
[ ]   15    0    0   15 / 1000    12.8s Saturn_lockfree.Size concurrent
[ ]   16    0    0   16 / 1000    13.0s Saturn_lockfree.Size concurrent
[ ]   17    0    0   17 / 1000    13.4s Saturn_lockfree.Size concurrent
[ ]   18    0    0   18 / 1000    14.4s Saturn_lockfree.Size concurrent
[ ]   19    0    0   19 / 1000    16.3s Saturn_lockfree.Size concurrent
[ ]   20    0    0   20 / 1000    16.8s Saturn_lockfree.Size concurrent
[ ]   21    0    0   21 / 1000    17.3s Saturn_lockfree.Size concurrent
[ ]   22    0    0   22 / 1000    17.9s Saturn_lockfree.Size concurrent
[ ]   23    0    0   23 / 1000    18.4s Saturn_lockfree.Size concurrent
[ ]   24    0    0   24 / 1000    18.5s Saturn_lockfree.Size concurrent
[ ]   25    0    0   25 / 1000    18.8s Saturn_lockfree.Size concurrent
[ ]   26    0    0   26 / 1000    19.1s Saturn_lockfree.Size concurrent
[ ]   27    0    0   27 / 1000    19.4s Saturn_lockfree.Size concurrent
[ ]   28    0    0   28 / 1000    19.7s Saturn_lockfree.Size concurrent
[ ]   29    0    0   29 / 1000    19.8s Saturn_lockfree.Size concurrent
[ ]   30    0    0   30 / 1000    20.6s Saturn_lockfree.Size concurrent
[ ]   31    0    0   31 / 1000    21.1s Saturn_lockfree.Size concurrent
[ ]   32    0    0   32 / 1000    21.5s Saturn_lockfree.Size concurrent
[ ]   33    0    0   33 / 1000    22.2s Saturn_lockfree.Size concurrent
[ ]   34    0    0   34 / 1000    22.4s Saturn_lockfree.Size concurrent
[ ]   35    0    0   35 / 1000    22.8s Saturn_lockfree.Size concurrent
[ ]   36    0    0   36 / 1000    23.0s Saturn_lockfree.Size concurrent
[ ]   37    0    0   37 / 1000    23.5s Saturn_lockfree.Size concurrent
[ ]   38    0    0   38 / 1000    24.2s Saturn_lockfree.Size concurrent
[ ]   39    0    0   39 / 1000    25.5s Saturn_lockfree.Size concurrent
[ ]   40    0    0   40 / 1000    26.3s Saturn_lockfree.Size concurrent
[ ]   41    0    0   41 / 1000    26.4s Saturn_lockfree.Size concurrent
[ ]   42    0    0   42 / 1000    26.8s Saturn_lockfree.Size concurrent
[ ]   43    0    0   43 / 1000    27.3s Saturn_lockfree.Size concurrent
[ ]   44    0    0   44 / 1000    27.5s Saturn_lockfree.Size concurrent
[ ]   45    0    0   45 / 1000    27.6s Saturn_lockfree.Size concurrent
[ ]   46    0    0   46 / 1000    27.7s Saturn_lockfree.Size concurrent
[ ]   47    0    0   47 / 1000    27.9s Saturn_lockfree.Size concurrent
[ ]   48    0    0   48 / 1000    28.9s Saturn_lockfree.Size concurrent
[ ]   49    0    0   49 / 1000    29.1s Saturn_lockfree.Size concurrent
[ ]   50    0    0   50 / 1000    29.3s Saturn_lockfree.Size concurrent
[ ]   51    0    0   51 / 1000    29.4s Saturn_lockfree.Size concurrent
[ ]   52    0    0   52 / 1000    32.2s Saturn_lockfree.Size concurrent
[ ]   53    0    0   53 / 1000    32.5s Saturn_lockfree.Size concurrent
[ ]   54    0    0   54 / 1000    33.1s Saturn_lockfree.Size concurrent
[ ]   56    0    0   56 / 1000    33.8s Saturn_lockfree.Size concurrent
[ ]   57    0    0   57 / 1000    34.0s Saturn_lockfree.Size concurrent
[ ]   58    0    0   58 / 1000    34.9s Saturn_lockfree.Size concurrent
[ ]   59    0    0   59 / 1000    35.1s 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
[ ]   63    0    0   63 / 1000    35.7s Saturn_lockfree.Size concurrent
[ ]   64    0    0   64 / 1000    36.0s Saturn_lockfree.Size concurrent
[ ]   65    0    0   65 / 1000    36.2s Saturn_lockfree.Size concurrent
[ ]   66    0    0   66 / 1000    36.6s Saturn_lockfree.Size concurrent
[ ]   67    0    0   67 / 1000    37.2s Saturn_lockfree.Size concurrent
[ ]   69    0    0   69 / 1000    37.3s Saturn_lockfree.Size concurrent
[ ]   71    0    0   71 / 1000    37.6s Saturn_lockfree.Size concurrent
[ ]   72    0    0   72 / 1000    37.8s Saturn_lockfree.Size concurrent
[ ]   74    0    0   74 / 1000    37.9s Saturn_lockfree.Size concurrent
[ ]   75    0    0   75 / 1000    38.5s Saturn_lockfree.Size concurrent
[ ]   76    0    0   76 / 1000    38.9s Saturn_lockfree.Size concurrent
[ ]   77    0    0   77 / 1000    39.4s Saturn_lockfree.Size concurrent
[ ]   78    0    0   78 / 1000    40.2s Saturn_lockfree.Size concurrent
[ ]   79    0    0   79 / 1000    40.3s Saturn_lockfree.Size concurrent
[ ]   81    0    0   81 / 1000    40.6s Saturn_lockfree.Size concurrent
[ ]   83    0    0   83 / 1000    40.8s Saturn_lockfree.Size concurrent
[ ]   84    0    0   84 / 1000    41.0s Saturn_lockfree.Size concurrent
[ ]   86    0    0   86 / 1000    41.1s Saturn_lockfree.Size concurrent
[ ]   87    0    0   87 / 1000    41.5s Saturn_lockfree.Size concurrent
[ ]   88    0    0   88 / 1000    41.8s Saturn_lockfree.Size concurrent
[ ]   89    0    0   89 / 1000    42.3s Saturn_lockfree.Size concurrent
[ ]   90    0    0   90 / 1000    42.6s Saturn_lockfree.Size concurrent
[ ]   91    0    0   91 / 1000    42.9s Saturn_lockfree.Size concurrent
[ ]   92    0    0   92 / 1000    43.8s Saturn_lockfree.Size concurrent
[ ]   93    0    0   93 / 1000    45.3s Saturn_lockfree.Size concurrent
[ ]   94    0    0   94 / 1000    46.0s Saturn_lockfree.Size concurrent
[ ]   95    0    0   95 / 1000    46.3s Saturn_lockfree.Size concurrent
[ ]   96    0    0   96 / 1000    46.7s Saturn_lockfree.Size concurrent
[ ]   97    0    0   97 / 1000    48.1s Saturn_lockfree.Size concurrent
[ ]   98    0    0   98 / 1000    48.4s Saturn_lockfree.Size concurrent
[ ]   99    0    0   99 / 1000    48.7s Saturn_lockfree.Size concurrent
[ ]  100    0    0  100 / 1000    48.9s Saturn_lockfree.Size concurrent
[ ]  101    0    0  101 / 1000    49.6s Saturn_lockfree.Size concurrent
[ ]  102    0    0  102 / 1000    50.4s Saturn_lockfree.Size concurrent
[ ]  103    0    0  103 / 1000    50.8s Saturn_lockfree.Size concurrent
[ ]  104    0    0  104 / 1000    51.2s Saturn_lockfree.Size concurrent
[ ]  105    0    0  105 / 1000    51.3s Saturn_lockfree.Size concurrent
[ ]  106    0    0  106 / 1000    51.4s Saturn_lockfree.Size concurrent
[ ]  107    0    0  107 / 1000    51.7s Saturn_lockfree.Size concurrent
[ ]  109    0    0  109 / 1000    51.8s Saturn_lockfree.Size concurrent
[ ]  110    0    0  110 / 1000    52.0s Saturn_lockfree.Size concurrent
[ ]  112    0    0  112 / 1000    52.1s Saturn_lockfree.Size concurrent
[ ]  115    0    0  115 / 1000    52.6s Saturn_lockfree.Size concurrent
[ ]  117    0    0  117 / 1000    53.4s Saturn_lockfree.Size concurrent
[ ]  120    0    0  120 / 1000    53.6s Saturn_lockfree.Size concurrent
[ ]  121    0    0  121 / 1000    53.7s Saturn_lockfree.Size concurrent
[ ]  123    0    0  123 / 1000    53.9s Saturn_lockfree.Size concurrent
[ ]  125    0    0  125 / 1000    54.4s Saturn_lockfree.Size concurrent
[ ]  127    0    0  127 / 1000    56.1s Saturn_lockfree.Size concurrent
[ ]  128    0    0  128 / 1000    57.1s Saturn_lockfree.Size concurrent
[ ]  129    0    0  129 / 1000    57.5s Saturn_lockfree.Size concurrent
[ ]  130    0    0  130 / 1000    58.2s Saturn_lockfree.Size concurrent
[ ]  131    0    0  131 / 1000    58.4s Saturn_lockfree.Size concurrent
[ ]  132    0    0  132 / 1000    59.0s Saturn_lockfree.Size concurrent
[ ]  133    0    0  133 / 10009.8s Saturn_lockfree.Size concurrent
[ ]  134    0    0  134 / 1000    60.0s Saturn_lockfree.Size concurrent
[ ]  135    0    0  135 / 1000    61.6s Saturn_lockfree.Size concurrent
[ ]  136    0    0  136 / 1000    62.1s Saturn_lockfree.Size concurrent
[ ]  137    0    0  137 / 1000    62.9s Saturn_lockfree.Size concurrent
[ ]  138    0    0  138 / 1000    63.6s Saturn_lockfree.Size concurrent
[ ]  139    0    0  139 / 1000    64.7s Saturn_lockfree.Size concurrent
[ ]  140    0    0  140 / 1000    66.0s Saturn_lockfree.Size concurrent
[ ]  141    0    0  141 / 1000    67.0s Saturn_lockfree.Size concurrent
[ ]  142    0    0  142 / 1000    69.0s Saturn_lockfree.Size concurrent
[ ]  143    0    0  143 / 1000    70.3s Saturn_lockfree.Size concurrent
[ ]  144    0    0  144 / 1000    70.7s Saturn_lockfree.Size concurrent
[ ]  145    0    0  145 / 1000    71.4s Saturn_lockfree.Size concurrent
[ ]  146    0    0  146 / 1000    72.2s Saturn_lockfree.Size concurrent
[ ]  147    0    0  147 / 1000    73.6s Saturn_lockfree.Size concurrent
[ ]  148    0    0  148 / 1000    74.7s Saturn_lockfree.Size concurrent
[ ]  149    0    0  149 / 1000    75.9s Saturn_lockfree.Size concurrent
[ ]  150    0    0  150 / 1000    77.0s Saturn_lockfree.Size concurrent
[ ]  151    0    0  151 / 1000    78.0s Saturn_lockfree.Size concurrent
[ ]  152    0    0  152 / 1000    78.5s Saturn_lockfree.Size concurrent
[ ]  153    0    0  153 / 1000    79.1s Saturn_lockfree.Size concurrent
[ ]  154    0    0  154 / 1000    79.4s Saturn_lockfree.Size concurrent
[ ]  155    0    0  155 / 1000    79.7s Saturn_lockfree.Size concurrent
[ ]  156    0    0  156 / 1000    80.5s Saturn_lockfree.Size concurrent
[ ]  157    0    0  157 / 1000    80.9s Saturn_lockfree.Size concurrent
[ ]  158    0    0  158 / 1000    81.3s Saturn_lockfree.Size concurrent
[ ]  159    0    0  159 / 1000    81.5s Saturn_lockfree.Size concurrent
[ ]  160    0    0  160 / 1000    81.8s Saturn_lockfree.Size concurrent
[ ]  161    0    0  161 / 1000    82.3s Saturn_lockfree.Size concurrent
[ ]  162    0    0  162 / 1000    82.8s Saturn_lockfree.Size concurrent
[ ]  163    0    0  163 / 1000    83.5s Saturn_lockfree.Size concurrent
[ ]  164    0    0  164 / 1000    85.2s Saturn_lockfree.Size concurrent
[ ]  165    0    0  165 / 1000    86.1s Saturn_lockfree.Size concurrent
[ ]  166    0    0  166 / 1000    86.7s Saturn_lockfree.Size concurrent
[ ]  167    0    0  167 / 1000    87.2s Saturn_lockfree.Size concurrent
[ ]  168    0    0  168 / 1000    87.8s Saturn_lockfree.Size concurrent
[ ]  169    0    0  169 / 1000    88.5s Saturn_lockfree.Size concurrent
[ ]  170    0    0  170 / 1000    88.8s Saturn_lockfree.Size concurrent
[ ]  171    0    0  171 / 1000    89.1s Saturn_lockfree.Size concurrent
[ ]  172    0    0  172 / 1000    89.5s Saturn_lockfree.Size concurrent
[ ]  173    0    0  173 / 1000    89.8s Saturn_lockfree.Size concurrent
[ ]  174    0    0  174 / 1000    90.0s Saturn_lockfree.Size concurrent
[ ]  175    0    0  175 / 1000    91.3s Saturn_lockfree.Size concurrent
[ ]  176    0    0  176 / 1000    92.6s Saturn_lockfree.Size concurrent
[ ]  177    0    0  177 / 1000    93.4s Saturn_lockfree.Size concurrent
[ ]  178    0    0  178 / 1000    93.8s Saturn_lockfree.Size concurrent
[ ]  179    0    0  179 / 1000    94.3s Saturn_lockfree.Size concurrent
[ ]  180    0    0  180 / 1000    95.5s Saturn_lockfree.Size concurrent
[ ]  181    0    0  181 / 1000    96.2s Saturn_lockfree.Size concurrent
[ ]  182    0    0  182 / 1000    96.7s Saturn_lockfree.Size concurrent
[ ]  183    0    0  183 / 1000    97.4s Saturn_lockfree.Size concurrent
[ ]  184    0    0  184 / 1000    98.8s Saturn_lockfree.Size concurrent
[ ]  185    0    0  185 / 1000    99.5s Saturn_lockfree.Size concurrent
[ ]  186    0    0  186 / 1000   100.5s Saturn_lockfree.Size concurrent
[ ]  187    0    0  187 / 1000   101.3s Saturn_lockfree.Size concurrent
[ ]  188    0    0  188 / 1000   103.5s Saturn_lockfree.Size concurrent
[ ]  189    0    0  189 / 1000   104.4s Saturn_lockfree.Size concurrent
[ ]  190    0    0  190 / 1000   105.9s Saturn_lockfree.Size concurrent
[ ]  191    0    0  191 / 1000   107.2s Saturn_lockfree.Size concurrent
[ ]  192    0    0  192 / 1000   108.9s Saturn_lockfree.Size concurrent
[ ]  193    0    0  193 / 1000   109.6s Saturn_lockfree.Size concurrent
[ ]  194    0    0  194 / 1000   111.6s Saturn_lockfree.Size concurrent
[ ]  195    0    0  195 / 1000   112.6s Saturn_lockfree.Size concurrent
[ ]  196    0    0  196 / 1000   113.6s Saturn_lockfree.Size concurrent
[ ]  197    0    0  197 / 1000   114.4s Saturn_lockfree.Size concurrent
[ ]  198    0    0  198 / 1000   115.0s Saturn_lockfree.Size concurrent
[ ]  199    0    0  199 / 1000   115.5s Saturn_lockfree.Size concurrent
[ ]  200    0    0  200 / 1000   116.2s Saturn_lockfree.Size concurrent
[ ]  201    0    0  201 / 1000   116.8s Saturn_lockfree.Size concurrent
[ ]  202    0    0  202 / 1000   117.8s Saturn_lockfree.Size concurrent
[ ]  203    0    0  203 / 1000   118.4s Saturn_lockfree.Size concurrent
[ ]  204    0    0  204 / 1000   119.1s Saturn_lockfree.Size concurrent
[ ]  205    0    0  205 / 1000   119.6s Saturn_lockfree.Size concurrent
[ ]  206    0    0  206 / 1000   120.2s Saturn_lockfree.Size concurrent
[ ]  207    0    0  207 / 1000   120.8s Saturn_lockfree.Size concurrent
[ ]  208    0    0  208 / 1000   121.3s Saturn_lockfree.Size concurrent
[ ]  209    0    0  209 / 1000   121.8s Saturn_lockfree.Size concurrent
[ ]  210    0    0  210 / 1000   122.6s Saturn_lockfree.Size concurrent
[ ]  211    0    0  211 / 1000   123.0s Saturn_lockfree.Size concurrent
[ ]  212    0    0  212 / 1000   123.3s Saturn_lockfree.Size concurrent
[ ]  213    0    0  213 / 1000   123.8s Saturn_lockfree.Size concurrent
[ ]  214    0    0  214 / 1000   124.6s Saturn_lockfree.Size concurrent
[ ]  215    0    0  215 / 1000   124.7s Saturn_lockfree.Size concurrent
[ ]  216    0    0  216 / 1000   125.0s Saturn_lockfree.Size concurrent
[ ]  217    0    0  217 / 1000   125.1s Saturn_lockfree.Size concurrent
[ ]  218    0    0  218 / 1000   125.2s Saturn_lockfree.Size concurrent
[ ]  219    0    0  219 / 1000   126.0s Saturn_lockfree.Size concurrent
[ ]  220    0    0  220 / 1000   126.4s Saturn_lockfree.Size concurrent
[ ]  221    0    0  221 / 1000   126.8s Saturn_lockfree.Size concurrent
[ ]  222    0    0  222 / 1000   127.1s Saturn_lockfree.Size concurrent
[ ]  223    0    0  223 / 1000   127.5s Saturn_lockfree.Size concurrent
[ ]  224    0    0  224 / 1000   128.0s Saturn_lockfree.Size concurrent
[ ]  225    0    0  225 / 1000   128.6s Saturn_lockfree.Size concurrent
[ ]  226    0    0  226 / 1000   129.0s Saturn_lockfree.Size concurrent
[ ]  227    0    0  227 / 1000   129.3s Saturn_lockfree.Size concurrent
[ ]  228    0    0  228 / 1000   129.9s Saturn_lockfree.Size concurrent
[ ]  229    0    0  229 / 1000   130.3s Saturn_lockfree.Size concurrent
[ ]  230    0    0  230 / 1000   130.6s Saturn_lockfree.Size concurrent
[ ]  231    0    0  231 / 1000   130.9s Saturn_lockfree.Size concurrent
[ ]  232    0    0  232 / 1000   131.3s Saturn_lockfree.Size concurrent
[ ]  233    0    0  233 / 1000   131.6s Saturn_lockfree.Size concurrent
[ ]  234    0    0  234 / 1000   131.9s Saturn_lockfree.Size concurrent
[ ]  235    0    0  235 / 1000   132.5s Saturn_lockfree.Size concurrent
[ ]  236    0    0  236 / 1000   132.8s Saturn_lockfree.Size concurrent
[ ]  237    0    0  237 / 1000   133.1s Saturn_lockfree.Size concurrent
[ ]  238    0    0  238 / 1000   133.5s Saturn_lockfree.Size concurrent
[ ]  239    0    0  239 / 1000   133.9s Saturn_lockfree.Size concurrent
[ ]  240    0    0  240 / 1000   134.1s Saturn_lockfree.Size concurrent
[ ]  242    0    0  242 / 1000   135.5s Saturn_lockfree.Size concurrent
[ ]  243    0    0  243 / 1000   135.7s Saturn_lockfree.Size concurrent
[ ]  244    0    0  244 / 1000   136.4s Saturn_lockfree.Size concurrent
[ ]  245    0    0  245 / 1000   136.6s Saturn_lockfree.Size concurrent
[ ]  246    0    0  246 / 1000   136.9s Saturn_lockfree.Size concurrent
[ ]  247    0    0  247 / 1000   137.0s Saturn_lockfree.Size concurrent
[ ]  248    0    0  248 / 1000   137.4s Saturn_lockfree.Size concurrent
[ ]  249    0    0  249 / 1000   137.6s Saturn_lockfree.Size concurrent
[ ]  250    0    0  250 / 1000   138.1s Saturn_lockfree.Size concurrent
[ ]  251    0    0  251 / 1000   138.5s Saturn_lockfree.Size concurrent
[ ]  252    0    0  252 / 1000   138.9s Saturn_lockfree.Size concurrent
[ ]  253    0    0  253 / 1000   139.3s Saturn_lockfree.Size concurrent
[ ]  254    0    0  254 / 1000   139.5s Saturn_lockfree.Size concurrent
[ ]  255    0    0  255 / 1000   140.5s Saturn_lockfree.Size concurrent
[ ]  256    0    0  256 / 1000   140.8s Saturn_lockfree.Size concurrent
[ ]  257    0    0  257 / 1000   141.7s Saturn_lockfree.Size concurrent
[ ]  258    0    0  258 / 1000   142.1s Saturn_lockfree.Size concurrent
[ ]  259    0    0  259 / 1000   142.4s Saturn_lockfree.Size concurrent
[ ]  260    0    0  260 / 1000   142.8s Saturn_lockfree.Size concurrent
[ ]  261    0    0  261 / 1000   143.2s Saturn_lockfree.Size concurrent
[ ]  262    0    0  262 / 1000   143.7s Saturn_lockfree.Size concurrent
[ ]  263    0    0  263 / 1000   144.2s Saturn_lockfree.Size concurrent
[ ]  264    0    0  264 / 1000   145.2s Saturn_lockfree.Size concurrent
[ ]  265    0    0  265 / 1000   145.6s Saturn_lockfree.Size concurrent
[ ]  266    0    0  266 / 1000   145.7s Saturn_lockfree.Size concurrent
[ ]  267    0    0  267 / 1000   145.9s Saturn_lockfree.Size concurrent
[ ]  269    0    0  269 / 1000   146.1s Saturn_lockfree.Size concurrent
[ ]  270    0    0  270 / 1000   146.4s Saturn_lockfree.Size concurrent
[ ]  271    0    0  271 / 1000   146.5s Saturn_lockfree.Size concurrent
[ ]  272    0    0  272 / 1000   146.7s Saturn_lockfree.Size concurrent
[ ]  273    0    0  273 / 1000   147.8s Saturn_lockfree.Size concurrent
[ ]  274    0    0  274 / 1000   148.0s Saturn_lockfree.Size concurrent
[ ]  275    0    0  275 / 1000   148.3s Saturn_lockfree.Size concurrent
[ ]  276    0    0  276 / 1000   148.6s Saturn_lockfree.Size concurrent
[ ]  277    0    0  277 / 1000   148.7s Saturn_lockfree.Size concurrent
[ ]  278    0    0  278 / 1000   148.9s Saturn_lockfree.Size concurrent
[ ]  279    0    0  279 / 1000   149.0s Saturn_lockfree.Size concurrent
[ ]  280    0    0  280 / 1000   149.2s Saturn_lockfree.Size concurrent
[ ]  281    0    0  281 / 1000   149.5s Saturn_lockfree.Size concurrent
[ ]  282    0    0  282 / 1000   149.6s Saturn_lockfree.Size concurrent
[ ]  283    0    0  283 / 1000   149.8s Saturn_lockfree.Size concurrent
[ ]  284    0    0  284 / 1000   150.1s Saturn_lockfree.Size concurrent
[ ]  285    0    0  285 / 1000   150.3s Saturn_lockfree.Size concurrent
[ ]  286    0    0  286 / 1000   150.6s Saturn_lockfree.Size concurrent
[ ]  287    0    0  287 / 1000   150.9s Saturn_lockfree.Size concurrent
[ ]  288    0    0  288 / 1000   151.3s Saturn_lockfree.Size concurrent
[ ]  289    0    0  289 / 1000   151.5s Saturn_lockfree.Size concurrent
[ ]  290    0    0  290 / 1000   151.6s Saturn_lockfree.Size concurrent
[ ]  291    0    0  291 / 1000   152.0s Saturn_lockfree.Size concurrent
[ ]  292    0    0  292 / 1000   152.4s Saturn_lockfree.Size concurrent
[ ]  293    0    0  293 / 1000   152.6s Saturn_lockfree.Size concurrent
[ ]  294    0    0  294 / 1000   152.8s Saturn_lockfree.Size concurrent
[ ]  295    0    0  295 / 1000   152.9s Saturn_lockfree.Size concurrent
[ ]  296    0    0  296 / 1000   153.3s Saturn_lockfree.Size concurrent
[ ]  297    0    0  297 / 1000   153.6s Saturn_lockfree.Size concurrent
[ ]  298    0    0  298 / 1000   154.0s Saturn_lockfree.Size concurrent
[ ]  299    0    0  299 / 1000   154.3s Saturn_lockfree.Size concurrent
[ ]  300    0    0  300 / 1000   154.6s Saturn_lockfree.Size concurrent
[ ]  301    0    0  301 / 1000   154.7s Saturn_lockfree.Size concurrent
[ ]  302    0    0  302 / 1000   155.0s Saturn_lockfree.Size concurrent
[ ]  303    0    0  303 / 1000   155.2s Saturn_lockfree.Size concurrent
[ ]  304    0    0  304 / 1000   155.4s Saturn_lockfree.Size concurrent
[ ]  305    0    0  305 / 1000   155.8s Saturn_lockfree.Size concurrent
[ ]  306    0    0  306 / 1000   156.2s Saturn_lockfree.Size concurrent
[ ]  307    0    0  307 / 1000   156.4s Saturn_lockfree.Size concurrent
[ ]  308    0    0  308 / 1000   156.6s Saturn_lockfree.Size concurrent
[ ]  309    0    0  309 / 1000   156.9s Saturn_lockfree.Size concurrent
[ ]  310    0    0  310 / 1000   157.3s Saturn_lockfree.Size concurrent
[ ]  311    0    0  311 / 1000   157.6s Saturn_lockfree.Size concurrent
[ ]  312    0    0  312 / 1000   158.0s Saturn_lockfree.Size concurrent
[ ]  313    0    0  313 / 1000   158.7s Saturn_lockfree.Size concurrent
[ ]  315    0    0  315 / 1000   158.8s Saturn_lockfree.Size concurrent
[ ]  316    0    0  316 / 1000   159.0s Saturn_lockfree.Size concurrent
[ ]  317    0    0  317 / 1000   159.2s Saturn_lockfree.Size concurrent
[ ]  318    0    0  318 / 1000   159.5s Saturn_lockfree.Size concurrent
[ ]  319    0    0  319 / 1000   159.8s Saturn_lockfree.Size concurrent
[ ]  320    0    0  320 / 1000   160.0s Saturn_lockfree.Size concurrent
[ ]  321    0    0  321 / 1000   161.4s Saturn_lockfree.Size concurrent
[ ]  322    0    0  322 / 1000   163.1s Saturn_lockfree.Size concurrent
[ ]  323    0    0  323 / 1000   163.7s Saturn_lockfree.Size concurrent
[ ]  324    0    0  324 / 1000   163.8s Saturn_lockfree.Size concurrent
[ ]  325    0    0  325 / 1000   164.2s Saturn_lockfree.Size concurrent
[ ]  326    0    0  326 / 1000   164.4s Saturn_lockfree.Size concurrent
[ ]  327    0    0  327 / 1000   164.7s Saturn_lockfree.Size concurrent
[ ]  328    0    0  328 / 1000   165.4s Saturn_lockfree.Size concurrent
[ ]  329    0    0  329 / 1000   165.6s Saturn_lockfree.Size concurrent
[ ]  330    0    0  330 / 1000   165.9s Saturn_lockfree.Size concurrent
[ ]  331    0    0  331 / 1000   166.1s Saturn_lockfree.Size concurrent
[ ]  332    0    0  332 / 1000   166.3s Saturn_lockfree.Size concurrent
[ ]  333    0    0  333 / 1000   166.6s Saturn_lockfree.Size concurrent
[ ]  334    0    0  334 / 1000   166.7s Saturn_lockfree.Size concurrent
[ ]  335    0    0  335 / 1000   167.3s Saturn_lockfree.Size concurrent
[ ]  336    0    0  336 / 1000   167.4s Saturn_lockfree.Size concurrent
[ ]  337    0    0  337 / 1000   167.5s Saturn_lockfree.Size concurrent
[ ]  338    0    0  338 / 1000   168.0s Saturn_lockfree.Size concurrent
[ ]  339    0    0  339 / 1000   168.1s Saturn_lockfree.Size concurrent
[ ]  340    0    0  340 / 1000   168.2s Saturn_lockfree.Size concurrent
[ ]  341    0    0  341 / 1000   168.4s Saturn_lockfree.Size concurrent
[ ]  342    0    0  342 / 1000   169.4s Saturn_lockfree.Size concurrent
[ ]  343    0    0  343 / 1000   169.9s Saturn_lockfree.Size concurrent
[ ]  346    0    0  346 / 1000   170.1s Saturn_lockfree.Size concurrent
[ ]  347    0    0  347 / 1000   170.7s Saturn_lockfree.Size concurrent
[ ]  349    0    0  349 / 1000   170.8s Saturn_lockfree.Size concurrent
[ ]  351    0    0  351 / 1000   171.0s Saturn_lockfree.Size concurrent
[ ]  353    0    0  353 / 1000   171.1s Saturn_lockfree.Size concurrent
[ ]  355    0    0  355 / 1000   171.4s Saturn_lockfree.Size concurrent
[ ]  356    0    0  356 / 1000   172.4s Saturn_lockfree.Size concurrent
[ ]  359    0    0  359 / 1000   172.6s Saturn_lockfree.Size concurrent
[ ]  360    0    0  360 / 1000   173.0s Saturn_lockfree.Size concurrent
[ ]  362    0    0  362 / 1000   173.2s Saturn_lockfree.Size concurrent
[ ]  364    0    0  364 / 1000   173.3s Saturn_lockfree.Size concurrent
[ ]  365    0    0  365 / 1000   173.6s Saturn_lockfree.Size concurrent
[ ]  366    0    0  366 / 1000   173.8s Saturn_lockfree.Size concurrent
[ ]  367    0    0  367 / 1000   173.9s Saturn_lockfree.Size concurrent
[ ]  368    0    0  368 / 1000   174.0s Saturn_lockfree.Size concurrent
[ ]  371    0    0  371 / 1000   174.2s Saturn_lockfree.Size concurrent
[ ]  374    0    0  374 / 1000   174.3s Saturn_lockfree.Size concurrent
[ ]  375    0    0  375 / 1000   174.5s Saturn_lockfree.Size concurrent
[ ]  377    0    0  377 / 1000   174.6s Saturn_lockfree.Size concurrent
[ ]  378    0    0  378 / 1000   174.9s Saturn_lockfree.Size concurrent
[ ]  379    0    0  379 / 1000   175.1s Saturn_lockfree.Size concurrent
[ ]  384    0    0  384 / 1000   175.2s Saturn_lockfree.Size concurrent
[ ]  385    0    0  385 / 1000   175.5s Saturn_lockfree.Size concurrent
[ ]  389    0    0  389 / 1000   176.2s Saturn_lockfree.Size concurrent
[ ]  391    0    0  391 / 1000   176.4s Saturn_lockfree.Size concurrent
[ ]  393    0    0  393 / 1000   176.5s Saturn_lockfree.Size concurrent
[ ]  395    0    0  395 / 1000   176.7s Saturn_lockfree.Size concurrent
[ ]  397    0    0  397 / 1000   177.0s Saturn_lockfree.Size concurrent
[ ]  399    0    0  399 / 1000   177.9s Saturn_lockfree.Size concurrent
[ ]  400    0    0  400 / 1000   178.5s Saturn_lockfree.Size concurrent
[ ]  401    0    0  401 / 1000   178.6s Saturn_lockfree.Size concurrent
[ ]  402    0    0  402 / 1000   178.9s Saturn_lockfree.Size concurrent
[ ]  405    0    0  405 / 1000   179.0s Saturn_lockfree.Size concurrent
[ ]  406    0    0  406 / 1000   179.2s Saturn_lockfree.Size concurrent
[ ]  409    0    0  409 / 1000   179.3s Saturn_lockfree.Size concurrent
[ ]  415    0    0  415 / 1000   179.4s Saturn_lockfree.Size concurrent
[ ]  419    0    0  419 / 1000   180.4s Saturn_lockfree.Size concurrent
[ ]  422    0    0  422 / 1000   180.5s Saturn_lockfree.Size concurrent
[ ]  424    0    0  424 / 1000   180.6s Saturn_lockfree.Size concurrent
[ ]  428    0    0  428 / 1000   180.7s Saturn_lockfree.Size concurrent
[ ]  434    0    0  434 / 1000   181.2s Saturn_lockfree.Size concurrent
[ ]  437    0    0  437 / 1000   181.7s Saturn_lockfree.Size concurrent
[ ]  443    0    0  443 / 1000   181.8s Saturn_lockfree.Size concurrent
[ ]  449    0    0  449 / 1000   182.0s Saturn_lockfree.Size concurrent
[ ]  450    0    0  450 / 1000   182.2s Saturn_lockfree.Size concurrent
[ ]  451    0    0  451 / 1000   182.3s Saturn_lockfree.Size concurrent
[ ]  454    0    0  454 / 1000   182.6s Saturn_lockfree.Size concurrent
[ ]  455    0    0  455 / 1000   183.3s Saturn_lockfree.Size concurrent
[ ]  457    0    0  457 / 1000   183.6s Saturn_lockfree.Size concurrent
[ ]  460    0    0  460 / 1000   183.7s Saturn_lockfree.Size concurrent
[ ]  462    0    0  462 / 1000   183.8s Saturn_lockfree.Size concurrent
[ ]  466    0    0  466 / 1000   183.9s Saturn_lockfree.Size concurrent
[ ]  467    0    0  467 / 1000   184.6s Saturn_lockfree.Size concurrent
[ ]  472    0    0  472 / 1000   184.7s Saturn_lockfree.Size concurrent
[ ]  476    0    0  476 / 1000   185.0s Saturn_lockfree.Size concurrent
[ ]  483    0    0  483 / 1000   185.2s Saturn_lockfree.Size concurrent
[ ]  488    0    0  488 / 1000   185.3s Saturn_lockfree.Size concurrent
[ ]  494    0    0  494 / 1000   185.4s Saturn_lockfree.Size concurrent
[ ]  497    0    0  497 / 1000   185.5s Saturn_lockfree.Size concurrent
[ ]  505    0    0  505 / 1000   185.7s Saturn_lockfree.Size concurrent
[ ]  512    0    0  512 / 1000   185.8s Saturn_lockfree.Size concurrent
[ ]  517    0    0  517 / 1000   185.9s Saturn_lockfree.Size concurrent
[ ]  521    0    0  521 / 1000   186.5s Saturn_lockfree.Size concurrent
[ ]  523    0    0  523 / 1000   186.7s Saturn_lockfree.Size concurrent
[ ]  525    0    0  525 / 1000   186.9s Saturn_lockfree.Size concurrent
[ ]  529    0    0  529 / 1000   187.0s Saturn_lockfree.Size concurrent
[ ]  533    0    0  533 / 1000   187.1s Saturn_lockfree.Size concurrent
[ ]  537    0    0  537 / 1000   187.2s Saturn_lockfree.Size concurrent
[ ]  538    0    0  538 / 1000   187.9s Saturn_lockfree.Size concurrent
[ ]  543    0    0  543 / 1000   188.0s Saturn_lockfree.Size concurrent
[ ]  550    0    0  550 / 1000   188.1s Saturn_lockfree.Size concurrent
[ ]  551    0    0  551 / 1000   188.6s Saturn_lockfree.Size concurrent
[ ]  556    0    0  556 / 1000   188.7s Saturn_lockfree.Size concurrent
[ ]  561    0    0  561 / 1000   188.9s Saturn_lockfree.Size concurrent
[ ]  568    0    0  568 / 1000   189.0s Saturn_lockfree.Size concurrent
[ ]  570    0    0  570 / 1000   189.4s Saturn_lockfree.Size concurrent
[ ]  572    0    0  572 / 1000   189.8s Saturn_lockfree.Size concurrent
[ ]  576    0    0  576 / 1000   191.0s Saturn_lockfree.Size concurrent
[ ]  579    0    0  579 / 1000   191.3s Saturn_lockfree.Size concurrent
[ ]  580    0    0  580 / 1000   191.7s Saturn_lockfree.Size concurrent
[ ]  582    0    0  582 / 1000   192.1s Saturn_lockfree.Size concurrent
[ ]  583    0    0  583 / 1000   192.3s Saturn_lockfree.Size concurrent
[ ]  584    0    0  584 / 1000   192.5s Saturn_lockfree.Size concurrent
[ ]  585    0    0  585 / 1000   192.6s Saturn_lockfree.Size concurrent
[ ]  587    0    0  587 / 1000   192.8s Saturn_lockfree.Size concurrent
[ ]  590    0    0  590 / 1000   192.9s Saturn_lockfree.Size concurrent
[ ]  594    0    0  594 / 1000   193.5s Saturn_lockfree.Size concurrent
[ ]  596    0    0  596 / 1000   194.0s Saturn_lockfree.Size concurrent
[ ]  602    0    0  602 / 1000   194.1s Saturn_lockfree.Size concurrent
[ ]  606    0    0  606 / 1000   194.2s Saturn_lockfree.Size concurrent
[ ]  608    0    0  608 / 1000   194.5s Saturn_lockfree.Size concurrent
[ ]  611    0    0  611 / 1000   195.8s Saturn_lockfree.Size concurrent
[ ]  612    0    0  612 / 1000   196.1s Saturn_lockfree.Size concurrent
[ ]  616    0    0  616 / 1000   196.3s Saturn_lockfree.Size concurrent
[ ]  619    0    0  619 / 1000   196.4s Saturn_lockfree.Size concurrent
[ ]  622    0    0  622 / 1000   196.6s Saturn_lockfree.Size concurrent
[ ]  625    0    0  625 / 1000   196.7s Saturn_lockfree.Size concurrent
[ ]  626    0    0  626 / 1000   196.9s Saturn_lockfree.Size concurrent
[ ]  628    0    0  628 / 1000   197.0s Saturn_lockfree.Size concurrent
[ ]  632    0    0  632 / 1000   197.1s Saturn_lockfree.Size concurrent
[ ]  633    0    0  633 / 1000   197.4s Saturn_lockfree.Size concurrent
[ ]  636    0    0  636 / 1000   198.0s Saturn_lockfree.Size concurrent
[ ]  641    0    0  641 / 1000   198.1s Saturn_lockfree.Size concurrent
[ ]  648    0    0  648 / 1000   198.2s Saturn_lockfree.Size concurrent
[ ]  650    0    0  650 / 1000   198.8s Saturn_lockfree.Size concurrent
[ ]  654    0    0  654 / 1000   198.9s Saturn_lockfree.Size concurrent
[ ]  656    0    0  656 / 1000   199.1s Saturn_lockfree.Size concurrent
[ ]  659    0    0  659 / 1000   199.8s Saturn_lockfree.Size concurrent
[ ]  664    0    0  664 / 1000   200.0s Saturn_lockfree.Size concurrent
[ ]  666    0    0  666 / 1000   200.1s Saturn_lockfree.Size concurrent
[ ]  668    0    0  668 / 1000   200.8s Saturn_lockfree.Size concurrent
[ ]  670    0    0  670 / 1000   201.0s Saturn_lockfree.Size concurrent
[ ]  672    0    0  672 / 1000   201.1s Saturn_lockfree.Size concurrent
[ ]  675    0    0  675 / 1000   201.8s Saturn_lockfree.Size concurrent
[ ]  680    0    0  680 / 1000   202.0s Saturn_lockfree.Size concurrent
[ ]  684    0    0  684 / 1000   202.3s Saturn_lockfree.Size concurrent
[ ]  687    0    0  687 / 1000   202.4s Saturn_lockfree.Size concurrent
[ ]  691    0    0  691 / 1000   202.6s Saturn_lockfree.Size concurrent
[ ]  692    0    0  692 / 1000   202.9s Saturn_lockfree.Size concurrent
[ ]  697    0    0  697 / 1000   203.0s Saturn_lockfree.Size concurrent
[ ]  698    0    0  698 / 1000   203.5s Saturn_lockfree.Size concurrent
[ ]  700    0    0  700 / 1000   203.7s Saturn_lockfree.Size concurrent
[ ]  702    0    0  702 / 1000   203.9s Saturn_lockfree.Size concurrent
[ ]  705    0    0  705 / 1000   204.0s Saturn_lockfree.Size concurrent
[ ]  708    0    0  708 / 1000   204.4s Saturn_lockfree.Size concurrent
[ ]  712    0    0  712 / 1000   204.8s Saturn_lockfree.Size concurrent
[ ]  713    0    0  713 / 1000   205.0s Saturn_lockfree.Size concurrent
[ ]  717    0    0  717 / 1000   205.3s Saturn_lockfree.Size concurrent
[ ]  721    0    0  721 / 1000   205.4s Saturn_lockfree.Size concurrent
[ ]  723    0    0  723 / 1000   205.6s Saturn_lockfree.Size concurrent
[ ]  727    0    0  727 / 1000   205.7s Saturn_lockfree.Size concurrent
[ ]  731    0    0  731 / 1000   205.8s Saturn_lockfree.Size concurrent
[ ]  737    0    0  737 / 1000   205.9s Saturn_lockfree.Size concurrent
[ ]  742    0    0  742 / 1000   206.0s Saturn_lockfree.Size concurrent
[ ]  743    0    0  743 / 1000   206.4s Saturn_lockfree.Size concurrent
[ ]  745    0    0  745 / 1000   206.6s Saturn_lockfree.Size concurrent
[ ]  746    0    0  746 / 1000   206.8s Saturn_lockfree.Size concurrent
[ ]  747    0    0  747 / 1000   206.9s Saturn_lockfree.Size concurrent
[ ]  749    0    0  749 / 1000   207.0s Saturn_lockfree.Size concurrent
[ ]  752    0    0  752 / 1000   207.1s Saturn_lockfree.Size concurrent
[ ]  755    0    0  755 / 1000   207.6s Saturn_lockfree.Size concurrent
[ ]  757    0    0  757 / 1000   207.8s Saturn_lockfree.Size concurrent
[ ]  760    0    0  760 / 1000   208.0s Saturn_lockfree.Size concurrent
[ ]  767    0    0  767 / 1000   208.1s Saturn_lockfree.Size concurrent
[ ]  770    0    0  770 / 1000   208.2s Saturn_lockfree.Size concurrent
[ ]  773    0    0  773 / 1000   208.4s Saturn_lockfree.Size concurrent
[ ]  780    0    0  780 / 1000   208.5s Saturn_lockfree.Size concurrent
[ ]  781    0    0  781 / 1000   209.6s Saturn_lockfree.Size concurrent
[ ]  784    0    0  784 / 1000   209.7s Saturn_lockfree.Size concurrent
[ ]  788    0    0  788 / 1000   209.9s Saturn_lockfree.Size concurrent
[ ]  789    0    0  789 / 1000   210.0s Saturn_lockfree.Size concurrent
[ ]  791    0    0  791 / 1000   210.1s Saturn_lockfree.Size concurrent
[ ]  796    0    0  796 / 1000   210.3s Saturn_lockfree.Size concurrent
[ ]  801    0    0  801 / 1000   210.4s Saturn_lockfree.Size concurrent
[ ]  802    0    0  802 / 1000   210.6s Saturn_lockfree.Size concurrent
[ ]  805    0    0  805 / 1000   210.8s Saturn_lockfree.Size concurrent
[ ]  807    0    0  807 / 1000   210.9s Saturn_lockfree.Size concurrent
[ ]  811    0    0  811 / 1000   211.0s Saturn_lockfree.Size concurrent
[ ]  814    0    0  814 / 1000   211.1s Saturn_lockfree.Size concurrent
[ ]  821    0    0  821 / 1000   211.3s Saturn_lockfree.Size concurrent
[ ]  824    0    0  824 / 1000   211.4s Saturn_lockfree.Size concurrent
[ ]  826    0    0  826 / 1000   211.7s Saturn_lockfree.Size concurrent
[ ]  833    0    0  833 / 1000   212.2s Saturn_lockfree.Size concurrent
[ ]  834    0    0  834 / 1000   212.4s Saturn_lockfree.Size concurrent
[ ]  836    0    0  836 / 1000   212.5s Saturn_lockfree.Size concurrent
[ ]  838    0    0  838 / 1000   212.6s Saturn_lockfree.Size concurrent
[ ]  845    0    0  845 / 1000   212.7s Saturn_lockfree.Size concurrent
[ ]  852    0    0  852 / 1000   212.8s Saturn_lockfree.Size concurrent
[ ]  856    0    0  856 / 1000   212.9s Saturn_lockfree.Size concurrent
[ ]  858    0    0  858 / 1000   213.2s Saturn_lockfree.Size concurrent
[ ]  860    0    0  860 / 1000   213.4s Saturn_lockfree.Size concurrent
[ ]  865    0    0  865 / 1000   213.5s Saturn_lockfree.Size concurrent
[ ]  869    0    0  869 / 1000   213.6s Saturn_lockfree.Size concurrent
[ ]  871    0    0  871 / 1000   213.9s Saturn_lockfree.Size concurrent
[ ]  872    0    0  872 / 1000   214.0s Saturn_lockfree.Size concurrent
[ ]  874    0    0  874 / 1000   214.2s Saturn_lockfree.Size concurrent
[ ]  875    0    0  875 / 1000   214.3s Saturn_lockfree.Size concurrent
[ ]  877    0    0  877 / 1000   214.4s Saturn_lockfree.Size concurrent
[ ]  878    0    0  878 / 1000   214.9s Saturn_lockfree.Size concurrent
[ ]  882    0    0  882 / 1000   215.1s Saturn_lockfree.Size concurrent
[ ]  883    0    0  883 / 1000   215.5s Saturn_lockfree.Size concurrent
[ ]  886    0    0  886 / 1000   215.9s Saturn_lockfree.Size concurrent
[ ]  888    0    0  888 / 1000   216.4s Saturn_lockfree.Size concurrent
[ ]  891    0    0  891 / 1000   216.6s Saturn_lockfree.Size concurrent
[ ]  892    0    0  892 / 1000   216.9s Saturn_lockfree.Size concurrent
[ ]  895    0    0  895 / 1000   217.5s Saturn_lockfree.Size concurrent
[ ]  896    0    0  896 / 1000   217.8s Saturn_lockfree.Size concurrent
[ ]  897    0    0  897 / 1000   218.7s Saturn_lockfree.Size concurrent
[ ]  900    0    0  900 / 1000   218.9s Saturn_lockfree.Size concurrent
[ ]  902    0    0  902 / 1000   219.0s Saturn_lockfree.Size concurrent
[ ]  907    0    0  907 / 1000   219.1s Saturn_lockfree.Size concurrent
[ ]  909    0    0  909 / 1000   219.4s Saturn_lockfree.Size concurrent
[ ]  912    0    0  912 / 1000   219.8s Saturn_lockfree.Size concurrent
[ ]  915    0    0  915 / 1000   220.0s Saturn_lockfree.Size concurrent
[ ]  916    0    0  916 / 1000   220.1s Saturn_lockfree.Size concurrent
[ ]  921    0    0  921 / 1000   221.1s Saturn_lockfree.Size concurrent
[ ]  924    0    0  924 / 1000   221.2s Saturn_lockfree.Size concurrent
[ ]  925    0    0  925 / 1000   221.3s Saturn_lockfree.Size concurrent
[ ]  929    0    0  929 / 1000   221.5s Saturn_lockfree.Size concurrent
[ ]  934    0    0  934 / 1000   221.7s Saturn_lockfree.Size concurrent
[ ]  936    0    0  936 / 1000   222.1s Saturn_lockfree.Size concurrent
[ ]  940    0    0  940 / 1000   222.7s Saturn_lockfree.Size concurrent
[ ]  949    0    0  949 / 1000   224.2s Saturn_lockfree.Size concurrent
[ ]  953    0    0  953 / 1000   224.4s Saturn_lockfree.Size concurrent
[ ]  956    0    0  956 / 1000   224.5s Saturn_lockfree.Size concurrent
[ ]  963    0    0  963 / 1000   225.0s Saturn_lockfree.Size concurrent
[ ]  966    0    0  966 / 1000   225.5s Saturn_lockfree.Size concurrent
[ ]  972    0    0  972 / 1000   225.8s Saturn_lockfree.Size concurrent
[ ]  980    0    0  980 / 1000   225.9s Saturn_lockfree.Size concurrent
[ ]  987    0    0  987 / 1000   226.0s Saturn_lockfree.Size concurrent
[ ]  989    0    0  989 / 1000   226.6s Saturn_lockfree.Size concurrent
[ ]  990    0    0  990 / 1000   226.7s Saturn_lockfree.Size concurrent
[ ]  992    0    0  992 / 1000   226.8s Saturn_lockfree.Size concurrent
[ ]  996    0    0  996 / 1000   227.0s Saturn_lockfree.Size concurrent
[ ]  997    0    0  997 / 1000   227.5s Saturn_lockfree.Size concurrent
[] 1000    0    0 1000 / 1000   227.5s Saturn_lockfree.Size concurrent
================================================================================
success (ran 2 tests)
2024-11-04 17:22.32 ---> saved as "8317623868803c353e1d223b0f5b30258cddeec3e8964a62c6e9e8ce48c5f779"
Job succeeded
2024-11-04 17:22.33: Job succeeded