I: pbuilder: network access will be disabled during build
I: Current time: Tue Mar 17 15:33:09 +14 2026
I: pbuilder-time-stamp: 1773711189
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: Copying source file
I: copying [ocaml-saturn_0.5.0-1.dsc]
I: copying [./ocaml-saturn_0.5.0.orig.tar.gz]
I: copying [./ocaml-saturn_0.5.0-1.debian.tar.xz]
I: Extracting source
dpkg-source: warning: cannot verify inline signature for ./ocaml-saturn_0.5.0-1.dsc: unsupported subcommand
dpkg-source: info: extracting ocaml-saturn in ocaml-saturn-0.5.0
dpkg-source: info: unpacking ocaml-saturn_0.5.0.orig.tar.gz
dpkg-source: info: unpacking ocaml-saturn_0.5.0-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying 0001-Remove-domain_shim-for-OCaml-4.patch
dpkg-source: info: applying 0002-Disable-qcheck-alcotest-dependent-tests.patch
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/D01_modify_environment starting
debug: Running on ionos15-amd64.
I: Changing host+domainname to test build reproducibility
I: Adding a custom variable just for the fun of it...
I: Changing /bin/sh to bash
'/bin/sh' -> '/bin/bash'
lrwxrwxrwx 1 root root 9 Mar 17 01:33 /bin/sh -> /bin/bash
I: Setting pbuilder2's login shell to /bin/bash
I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/D01_modify_environment finished
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/D02_print_environment starting
I: set
  BASH=/bin/sh
  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
  BASH_ALIASES=()
  BASH_ARGC=()
  BASH_ARGV=()
  BASH_CMDS=()
  BASH_LINENO=([0]="12" [1]="0")
  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
  BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu")
  BASH_VERSION='5.2.37(1)-release'
  BUILDDIR=/build/reproducible-path
  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
  BUILDUSERNAME=pbuilder2
  BUILD_ARCH=amd64
  DEBIAN_FRONTEND=noninteractive
  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 '
  DIRSTACK=()
  DISTRIBUTION=unstable
  EUID=0
  FUNCNAME=([0]="Echo" [1]="main")
  GROUPS=()
  HOME=/root
  HOSTNAME=i-capture-the-hostname
  HOSTTYPE=x86_64
  HOST_ARCH=amd64
  IFS=' 	
  '
  INVOCATION_ID=764ee464514c4434953d119515293561
  LANG=C
  LANGUAGE=et_EE:et
  LC_ALL=C
  MACHTYPE=x86_64-pc-linux-gnu
  MAIL=/var/mail/root
  OPTERR=1
  OPTIND=1
  OSTYPE=linux-gnu
  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
  PBCURRENTCOMMANDLINEOPERATION=build
  PBUILDER_OPERATION=build
  PBUILDER_PKGDATADIR=/usr/share/pbuilder
  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
  PBUILDER_SYSCONFDIR=/etc
  PIPESTATUS=([0]="0")
  POSIXLY_CORRECT=y
  PPID=3102195
  PS4='+ '
  PWD=/
  SHELL=/bin/bash
  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
  SHLVL=3
  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.zN8q177p/pbuilderrc_heAN --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.zN8q177p/b2 --logfile b2/build.log ocaml-saturn_0.5.0-1.dsc'
  SUDO_GID=111
  SUDO_UID=106
  SUDO_USER=jenkins
  TERM=unknown
  TZ=/usr/share/zoneinfo/Etc/GMT-14
  UID=0
  USER=root
  _='I: set'
  http_proxy=http://213.165.73.152:3128
I: uname -a
  Linux i-capture-the-hostname 6.12.9+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.9-1~bpo12+1 (2025-01-19) x86_64 GNU/Linux
I: ls -l /bin
  lrwxrwxrwx 1 root root 7 Nov 22  2024 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/D02_print_environment finished
 -> Attempting to satisfy build-dependencies
 -> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: amd64
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder
 This package was created automatically by pbuilder to satisfy the
 build-dependencies of the package being currently built.
Depends: debhelper-compat (= 13), dh-ocaml (>= 1.2.2), libalcotest-ocaml-dev (>= 1.7.0), libbackoff-ocaml-dev, libdscheck-ocaml-dev, libmulticore-bench-ocaml-dev, libmulticore-magic-dscheck-ocaml-dev, libmulticore-magic-ocaml-dev, libqcheck-core-ocaml-dev (>= 0.21.3), libqcheck-stm-ocaml-dev, libyojson-ocaml-dev (>= 2.0.2), ocaml, ocaml-dune (>= 2.8.0), ocaml-findlib, pkgconf
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19806 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested:
 pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however:
  Package debhelper-compat is not installed.
 pbuilder-satisfydepends-dummy depends on dh-ocaml (>= 1.2.2); however:
  Package dh-ocaml is not installed.
 pbuilder-satisfydepends-dummy depends on libalcotest-ocaml-dev (>= 1.7.0); however:
  Package libalcotest-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libbackoff-ocaml-dev; however:
  Package libbackoff-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libdscheck-ocaml-dev; however:
  Package libdscheck-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libmulticore-bench-ocaml-dev; however:
  Package libmulticore-bench-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libmulticore-magic-dscheck-ocaml-dev; however:
  Package libmulticore-magic-dscheck-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libmulticore-magic-ocaml-dev; however:
  Package libmulticore-magic-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libqcheck-core-ocaml-dev (>= 0.21.3); however:
  Package libqcheck-core-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libqcheck-stm-ocaml-dev; however:
  Package libqcheck-stm-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libyojson-ocaml-dev (>= 2.0.2); however:
  Package libyojson-ocaml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on ocaml; however:
  Package ocaml is not installed.
 pbuilder-satisfydepends-dummy depends on ocaml-dune (>= 2.8.0); however:
  Package ocaml-dune is not installed.
 pbuilder-satisfydepends-dummy depends on ocaml-findlib; however:
  Package ocaml-findlib is not installed.
 pbuilder-satisfydepends-dummy depends on pkgconf; however:
  Package pkgconf is not installed.

Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
  autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libpkgconf3{a} libtool{a} libuchardet0{a} libunistring5{a} libxml2{a} m4{a} man-db{a} ocaml-dune{a} pkgconf{a} pkgconf-bin{a} po-debconf{a} sensible-utils{a} 
The following packages are RECOMMENDED but will NOT be installed:
  curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget 
0 packages upgraded, 36 newly installed, 0 to remove and 0 not upgraded.
Need to get 25.6 MB of archives. After unpacking 98.3 MB will be used.
The following packages have unmet dependencies:
 pbuilder-satisfydepends-dummy : Depends: libalcotest-ocaml-dev (>= 1.7.0) but it is not installable
                                 Depends: libbackoff-ocaml-dev but it is not installable
                                 Depends: libdscheck-ocaml-dev but it is not installable
                                 Depends: libmulticore-bench-ocaml-dev but it is not installable
                                 Depends: libmulticore-magic-dscheck-ocaml-dev but it is not installable
                                 Depends: libmulticore-magic-ocaml-dev but it is not installable
                                 Depends: libqcheck-core-ocaml-dev (>= 0.21.3) but it is not installable
                                 Depends: libqcheck-stm-ocaml-dev but it is not installable
                                 Depends: libyojson-ocaml-dev (>= 2.0.2) but it is not installable
                                 Depends: ocaml but it is not installable
                                 Depends: ocaml-findlib but it is not installable
The following actions will resolve these dependencies:

      Install the following packages:                                
1)      libalcotest-ocaml-dev [1.8.0-2 (unstable)]                   
2)      libastring-ocaml [0.8.5-2+b3 (unstable)]                     
3)      libastring-ocaml-dev [0.8.5-2+b3 (unstable)]                 
4)      libbackoff-ocaml-dev [0.1.1-1+b2 (unstable)]                 
5)      libcmdliner-ocaml-dev [1.3.0-2+b2 (unstable)]                
6)      libcompiler-libs-ocaml-dev [5.3.0-2 (unstable)]              
7)      libcontainers-ocaml-dev [3.15+dfsg-1+b1 (unstable)]          
8)      libdomain-local-await-ocaml-dev [1.0.1-1+b2 (unstable)]      
9)      libdscheck-ocaml-dev [0.5.0-2+b2 (unstable)]                 
10)     libfindlib-ocaml [1.9.6-3+b1 (unstable)]                     
11)     libfmt-ocaml [0.9.0-3+b4 (unstable)]                         
12)     libfmt-ocaml-dev [0.9.0-3+b4 (unstable)]                     
13)     libmtime-ocaml [2.1.0-2+b1 (unstable)]                       
14)     libmtime-ocaml-dev [2.1.0-2+b1 (unstable)]                   
15)     libmulticore-bench-ocaml-dev [0.1.7-1+b2 (unstable)]         
16)     libmulticore-magic-dscheck-ocaml-dev [2.3.1-2 (unstable)]    
17)     libmulticore-magic-ocaml [2.3.1-2 (unstable)]                
18)     libmulticore-magic-ocaml-dev [2.3.1-2 (unstable)]            
19)     libncurses-dev [6.5+20250125-2 (unstable)]                   
20)     libncurses6 [6.5+20250125-2 (unstable)]                      
21)     liboseq-ocaml-dev [0.5.1-2+b1 (unstable)]                    
22)     libqcheck-core-ocaml [0.23-1+b1 (unstable)]                  
23)     libqcheck-core-ocaml-dev [0.23-1+b1 (unstable)]              
24)     libqcheck-multicoretests-util-ocaml-dev [0.4-2+b2 (unstable)]
25)     libqcheck-stm-ocaml-dev [0.4-2+b2 (unstable)]                
26)     libre-ocaml-dev [1.12.0+really1.11.0-1+b1 (unstable)]        
27)     libstdlib-ocaml [5.3.0-2 (unstable)]                         
28)     libstdlib-ocaml-dev [5.3.0-2 (unstable)]                     
29)     libthread-table-ocaml-dev [1.0.0-1+b2 (unstable)]            
30)     libuutf-ocaml [1.0.3-1+b4 (unstable)]                        
31)     libuutf-ocaml-dev [1.0.3-1+b4 (unstable)]                    
32)     libyojson-ocaml [2.2.2-1+b1 (unstable)]                      
33)     libyojson-ocaml-dev [2.2.2-1+b1 (unstable)]                  
34)     libzstd-dev [1.5.6+dfsg-2 (unstable)]                        
35)     ocaml [5.3.0-2 (unstable)]                                   
36)     ocaml-base [5.3.0-2 (unstable)]                              
37)     ocaml-findlib [1.9.6-3+b1 (unstable)]                        
38)     ocaml-interp [5.3.0-2 (unstable)]                            



The following NEW packages will be installed:
  autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libalcotest-ocaml-dev{a} libarchive-zip-perl{a} libastring-ocaml{a} libastring-ocaml-dev{a} libbackoff-ocaml-dev{a} libcmdliner-ocaml-dev{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcontainers-ocaml-dev{a} libdebhelper-perl{a} libdomain-local-await-ocaml-dev{a} libdscheck-ocaml-dev{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfmt-ocaml{a} libfmt-ocaml-dev{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libmtime-ocaml{a} libmtime-ocaml-dev{a} libmulticore-bench-ocaml-dev{a} libmulticore-magic-dscheck-ocaml-dev{a} libmulticore-magic-ocaml{a} libmulticore-magic-ocaml-dev{a} libncurses-dev{a} libncurses6{a} liboseq-ocaml-dev{a} libpipeline1{a} libpkgconf3{a} libqcheck-core-ocaml{a} libqcheck-core-ocaml-dev{a} libqcheck-multicoretests-util-ocaml-dev{a} libqcheck-stm-ocaml-dev{a} libre-ocaml-dev{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libthread-table-ocaml-dev{a} libtool{a} libuchardet0{a} libunistring5{a} libuutf-ocaml{a} libuutf-ocaml-dev{a} libxml2{a} libyojson-ocaml{a} libyojson-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} ocaml{a} ocaml-base{a} ocaml-dune{a} ocaml-findlib{a} ocaml-interp{a} pkgconf{a} pkgconf-bin{a} po-debconf{a} sensible-utils{a} 
The following packages are RECOMMENDED but will NOT be installed:
  curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 
0 packages upgraded, 74 newly installed, 0 to remove and 0 not upgraded.
Need to get 126 MB of archives. After unpacking 385 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get: 2 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get: 3 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get: 4 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get: 5 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-1 [243 kB]
Get: 6 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get: 7 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-7 [1185 kB]
Get: 8 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.4-3 [92.1 kB]
Get: 9 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get: 10 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get: 11 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-5 [294 kB]
Get: 12 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get: 13 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 14 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.17-3 [862 kB]
Get: 15 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-1 [770 kB]
Get: 16 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.24.1 [90.9 kB]
Get: 17 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-3 [539 kB]
Get: 18 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 19 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 20 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.1-2 [19.7 kB]
Get: 21 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.1-2 [8620 B]
Get: 22 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get: 23 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get: 24 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-1 [476 kB]
Get: 25 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-6 [9421 kB]
Get: 26 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get: 27 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-1 [1680 kB]
Get: 28 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 29 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 30 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.24.1 [920 kB]
Get: 31 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get: 32 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB]
Get: 33 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.3.0-2 [605 kB]
Get: 34 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.3.0-2 [495 kB]
Get: 35 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml amd64 0.8.5-2+b3 [192 kB]
Get: 36 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.3.0-2 [7886 kB]
Get: 37 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-2 [48.2 MB]
Get: 38 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.3.0-2 [7106 kB]
Get: 39 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5+20250125-2 [105 kB]
Get: 40 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5+20250125-2 [353 kB]
Get: 41 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-2 [365 kB]
Get: 42 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.3.0-2 [18.0 MB]
Get: 43 http://deb.debian.org/debian unstable/main amd64 libastring-ocaml-dev amd64 0.8.5-2+b3 [165 kB]
Get: 44 http://deb.debian.org/debian unstable/main amd64 libcmdliner-ocaml-dev amd64 1.3.0-2+b2 [543 kB]
Get: 45 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml amd64 0.9.0-3+b4 [132 kB]
Get: 46 http://deb.debian.org/debian unstable/main amd64 libfmt-ocaml-dev amd64 0.9.0-3+b4 [127 kB]
Get: 47 http://deb.debian.org/debian unstable/main amd64 libre-ocaml-dev amd64 1.12.0+really1.11.0-1+b1 [1288 kB]
Get: 48 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml amd64 1.0.3-1+b4 [76.9 kB]
Get: 49 http://deb.debian.org/debian unstable/main amd64 libuutf-ocaml-dev amd64 1.0.3-1+b4 [603 kB]
Get: 50 http://deb.debian.org/debian unstable/main amd64 libalcotest-ocaml-dev amd64 1.8.0-2 [1175 kB]
Get: 51 http://deb.debian.org/debian unstable/main amd64 libbackoff-ocaml-dev amd64 0.1.1-1+b2 [30.2 kB]
Get: 52 http://deb.debian.org/debian unstable/main amd64 libcontainers-ocaml-dev amd64 3.15+dfsg-1+b1 [5759 kB]
Get: 53 http://deb.debian.org/debian unstable/main amd64 libthread-table-ocaml-dev amd64 1.0.0-1+b2 [70.8 kB]
Get: 54 http://deb.debian.org/debian unstable/main amd64 libdomain-local-await-ocaml-dev amd64 1.0.1-1+b2 [59.0 kB]
Get: 55 http://deb.debian.org/debian unstable/main amd64 liboseq-ocaml-dev amd64 0.5.1-2+b1 [424 kB]
Get: 56 http://deb.debian.org/debian unstable/main amd64 libdscheck-ocaml-dev amd64 0.5.0-2+b2 [300 kB]
Get: 57 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-3+b1 [181 kB]
Get: 58 http://deb.debian.org/debian unstable/main amd64 libmtime-ocaml amd64 2.1.0-2+b1 [36.9 kB]
Get: 59 http://deb.debian.org/debian unstable/main amd64 libmtime-ocaml-dev amd64 2.1.0-2+b1 [44.3 kB]
Get: 60 http://deb.debian.org/debian unstable/main amd64 libmulticore-magic-ocaml amd64 2.3.1-2 [4108 B]
Get: 61 http://deb.debian.org/debian unstable/main amd64 libmulticore-magic-ocaml-dev amd64 2.3.1-2 [133 kB]
Get: 62 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml amd64 2.2.2-1+b1 [525 kB]
Get: 63 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml-dev amd64 2.2.2-1+b1 [1528 kB]
Get: 64 http://deb.debian.org/debian unstable/main amd64 libmulticore-bench-ocaml-dev amd64 0.1.7-1+b2 [433 kB]
Get: 65 http://deb.debian.org/debian unstable/main amd64 libmulticore-magic-dscheck-ocaml-dev amd64 2.3.1-2 [41.1 kB]
Get: 66 http://deb.debian.org/debian unstable/main amd64 libpkgconf3 amd64 1.8.1-4 [36.4 kB]
Get: 67 http://deb.debian.org/debian unstable/main amd64 libqcheck-core-ocaml amd64 0.23-1+b1 [568 kB]
Get: 68 http://deb.debian.org/debian unstable/main amd64 libqcheck-core-ocaml-dev amd64 0.23-1+b1 [1520 kB]
Get: 69 http://deb.debian.org/debian unstable/main amd64 libqcheck-multicoretests-util-ocaml-dev amd64 0.4-2+b2 [207 kB]
Get: 70 http://deb.debian.org/debian unstable/main amd64 libqcheck-stm-ocaml-dev amd64 0.4-2+b2 [306 kB]
Get: 71 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64 3.17.1-2+b1 [4840 kB]
Get: 72 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3+b1 [582 kB]
Get: 73 http://deb.debian.org/debian unstable/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB]
Get: 74 http://deb.debian.org/debian unstable/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB]
Fetched 126 MB in 3s (41.7 MB/s)
Preconfiguring packages ...
Selecting previously unselected package sensible-utils.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19806 files and directories currently installed.)
Preparing to unpack .../00-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../01-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../02-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../03-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../04-gettext-base_0.23.1-1_amd64.deb ...
Unpacking gettext-base (0.23.1-1) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../05-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../06-groff-base_1.23.0-7_amd64.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../07-bsdextrautils_2.40.4-3_amd64.deb ...
Unpacking bsdextrautils (2.40.4-3) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../08-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../09-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../10-m4_1.4.19-5_amd64.deb ...
Unpacking m4 (1.4.19-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../11-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../13-automake_1%3a1.17-3_all.deb ...
Unpacking automake (1:1.17-3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../14-autopoint_0.23.1-1_all.deb ...
Unpacking autopoint (0.23.1-1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../15-libdebhelper-perl_13.24.1_all.deb ...
Unpacking libdebhelper-perl (13.24.1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../16-libtool_2.5.4-3_all.deb ...
Unpacking libtool (2.5.4-3) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../17-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../18-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../19-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../20-dh-strip-nondeterminism_1.14.1-2_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.1-2) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../21-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../22-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libunistring5:amd64.
Preparing to unpack .../23-libunistring5_1.3-1_amd64.deb ...
Unpacking libunistring5:amd64 (1.3-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../24-libicu72_72.1-6_amd64.deb ...
Unpacking libicu72:amd64 (72.1-6) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../25-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_0.23.1-1_amd64.deb ...
Unpacking gettext (0.23.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../29-debhelper_13.24.1_all.deb ...
Unpacking debhelper (13.24.1) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../30-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../31-dh-ocaml_2.4_all.deb ...
Unpacking dh-ocaml (2.4) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../32-libstdlib-ocaml_5.3.0-2_amd64.deb ...
Unpacking libstdlib-ocaml (5.3.0-2) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../33-ocaml-base_5.3.0-2_amd64.deb ...
Unpacking ocaml-base (5.3.0-2) ...
Selecting previously unselected package libastring-ocaml.
Preparing to unpack .../34-libastring-ocaml_0.8.5-2+b3_amd64.deb ...
Unpacking libastring-ocaml (0.8.5-2+b3) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../35-libstdlib-ocaml-dev_5.3.0-2_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.3.0-2) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../36-libcompiler-libs-ocaml-dev_5.3.0-2_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.3.0-2) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../37-ocaml-interp_5.3.0-2_amd64.deb ...
Unpacking ocaml-interp (5.3.0-2) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../38-libncurses6_6.5+20250125-2_amd64.deb ...
Unpacking libncurses6:amd64 (6.5+20250125-2) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../39-libncurses-dev_6.5+20250125-2_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5+20250125-2) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../40-libzstd-dev_1.5.6+dfsg-2_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../41-ocaml_5.3.0-2_amd64.deb ...
Unpacking ocaml (5.3.0-2) ...
Selecting previously unselected package libastring-ocaml-dev.
Preparing to unpack .../42-libastring-ocaml-dev_0.8.5-2+b3_amd64.deb ...
Unpacking libastring-ocaml-dev (0.8.5-2+b3) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../43-libcmdliner-ocaml-dev_1.3.0-2+b2_amd64.deb ...
Unpacking libcmdliner-ocaml-dev (1.3.0-2+b2) ...
Selecting previously unselected package libfmt-ocaml.
Preparing to unpack .../44-libfmt-ocaml_0.9.0-3+b4_amd64.deb ...
Unpacking libfmt-ocaml (0.9.0-3+b4) ...
Selecting previously unselected package libfmt-ocaml-dev.
Preparing to unpack .../45-libfmt-ocaml-dev_0.9.0-3+b4_amd64.deb ...
Unpacking libfmt-ocaml-dev (0.9.0-3+b4) ...
Selecting previously unselected package libre-ocaml-dev.
Preparing to unpack .../46-libre-ocaml-dev_1.12.0+really1.11.0-1+b1_amd64.deb ...
Unpacking libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ...
Selecting previously unselected package libuutf-ocaml.
Preparing to unpack .../47-libuutf-ocaml_1.0.3-1+b4_amd64.deb ...
Unpacking libuutf-ocaml (1.0.3-1+b4) ...
Selecting previously unselected package libuutf-ocaml-dev.
Preparing to unpack .../48-libuutf-ocaml-dev_1.0.3-1+b4_amd64.deb ...
Unpacking libuutf-ocaml-dev (1.0.3-1+b4) ...
Selecting previously unselected package libalcotest-ocaml-dev.
Preparing to unpack .../49-libalcotest-ocaml-dev_1.8.0-2_amd64.deb ...
Unpacking libalcotest-ocaml-dev (1.8.0-2) ...
Selecting previously unselected package libbackoff-ocaml-dev.
Preparing to unpack .../50-libbackoff-ocaml-dev_0.1.1-1+b2_amd64.deb ...
Unpacking libbackoff-ocaml-dev (0.1.1-1+b2) ...
Selecting previously unselected package libcontainers-ocaml-dev.
Preparing to unpack .../51-libcontainers-ocaml-dev_3.15+dfsg-1+b1_amd64.deb ...
Unpacking libcontainers-ocaml-dev (3.15+dfsg-1+b1) ...
Selecting previously unselected package libthread-table-ocaml-dev.
Preparing to unpack .../52-libthread-table-ocaml-dev_1.0.0-1+b2_amd64.deb ...
Unpacking libthread-table-ocaml-dev (1.0.0-1+b2) ...
Selecting previously unselected package libdomain-local-await-ocaml-dev.
Preparing to unpack .../53-libdomain-local-await-ocaml-dev_1.0.1-1+b2_amd64.deb ...
Unpacking libdomain-local-await-ocaml-dev (1.0.1-1+b2) ...
Selecting previously unselected package liboseq-ocaml-dev.
Preparing to unpack .../54-liboseq-ocaml-dev_0.5.1-2+b1_amd64.deb ...
Unpacking liboseq-ocaml-dev (0.5.1-2+b1) ...
Selecting previously unselected package libdscheck-ocaml-dev.
Preparing to unpack .../55-libdscheck-ocaml-dev_0.5.0-2+b2_amd64.deb ...
Unpacking libdscheck-ocaml-dev (0.5.0-2+b2) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../56-libfindlib-ocaml_1.9.6-3+b1_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3+b1) ...
Selecting previously unselected package libmtime-ocaml.
Preparing to unpack .../57-libmtime-ocaml_2.1.0-2+b1_amd64.deb ...
Unpacking libmtime-ocaml (2.1.0-2+b1) ...
Selecting previously unselected package libmtime-ocaml-dev.
Preparing to unpack .../58-libmtime-ocaml-dev_2.1.0-2+b1_amd64.deb ...
Unpacking libmtime-ocaml-dev (2.1.0-2+b1) ...
Selecting previously unselected package libmulticore-magic-ocaml.
Preparing to unpack .../59-libmulticore-magic-ocaml_2.3.1-2_amd64.deb ...
Unpacking libmulticore-magic-ocaml (2.3.1-2) ...
Selecting previously unselected package libmulticore-magic-ocaml-dev.
Preparing to unpack .../60-libmulticore-magic-ocaml-dev_2.3.1-2_amd64.deb ...
Unpacking libmulticore-magic-ocaml-dev (2.3.1-2) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../61-libyojson-ocaml_2.2.2-1+b1_amd64.deb ...
Unpacking libyojson-ocaml (2.2.2-1+b1) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../62-libyojson-ocaml-dev_2.2.2-1+b1_amd64.deb ...
Unpacking libyojson-ocaml-dev (2.2.2-1+b1) ...
Selecting previously unselected package libmulticore-bench-ocaml-dev.
Preparing to unpack .../63-libmulticore-bench-ocaml-dev_0.1.7-1+b2_amd64.deb ...
Unpacking libmulticore-bench-ocaml-dev (0.1.7-1+b2) ...
Selecting previously unselected package libmulticore-magic-dscheck-ocaml-dev.
Preparing to unpack .../64-libmulticore-magic-dscheck-ocaml-dev_2.3.1-2_amd64.deb ...
Unpacking libmulticore-magic-dscheck-ocaml-dev (2.3.1-2) ...
Selecting previously unselected package libpkgconf3:amd64.
Preparing to unpack .../65-libpkgconf3_1.8.1-4_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-4) ...
Selecting previously unselected package libqcheck-core-ocaml.
Preparing to unpack .../66-libqcheck-core-ocaml_0.23-1+b1_amd64.deb ...
Unpacking libqcheck-core-ocaml (0.23-1+b1) ...
Selecting previously unselected package libqcheck-core-ocaml-dev.
Preparing to unpack .../67-libqcheck-core-ocaml-dev_0.23-1+b1_amd64.deb ...
Unpacking libqcheck-core-ocaml-dev (0.23-1+b1) ...
Selecting previously unselected package libqcheck-multicoretests-util-ocaml-dev.
Preparing to unpack .../68-libqcheck-multicoretests-util-ocaml-dev_0.4-2+b2_amd64.deb ...
Unpacking libqcheck-multicoretests-util-ocaml-dev (0.4-2+b2) ...
Selecting previously unselected package libqcheck-stm-ocaml-dev.
Preparing to unpack .../69-libqcheck-stm-ocaml-dev_0.4-2+b2_amd64.deb ...
Unpacking libqcheck-stm-ocaml-dev (0.4-2+b2) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../70-ocaml-dune_3.17.1-2+b1_amd64.deb ...
Unpacking ocaml-dune (3.17.1-2+b1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../71-ocaml-findlib_1.9.6-3+b1_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3+b1) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../72-pkgconf-bin_1.8.1-4_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-4) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../73-pkgconf_1.8.1-4_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-4) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libicu72:amd64 (72.1-6) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-2) ...
Setting up bsdextrautils (2.40.4-3) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.24.1) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.23.1-1) ...
Setting up m4 (1.4.19-5) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up ocaml-dune (3.17.1-2+b1) ...
Setting up autotools-dev (20220109.1) ...
Setting up libpkgconf3:amd64 (1.8.1-4) ...
Setting up libncurses6:amd64 (6.5+20250125-2) ...
Setting up libstdlib-ocaml (5.3.0-2) ...
Setting up libunistring5:amd64 (1.3-1) ...
Setting up autopoint (0.23.1-1) ...
Setting up ocaml-base (5.3.0-2) ...
Setting up pkgconf-bin (1.8.1-4) ...
Setting up autoconf (2.72-3) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up libfmt-ocaml (0.9.0-3+b4) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up automake (1:1.17-3) ...
update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.1-2) ...
Setting up libqcheck-core-ocaml (0.23-1+b1) ...
Setting up libastring-ocaml (0.8.5-2+b3) ...
Setting up libncurses-dev:amd64 (6.5+20250125-2) ...
Setting up gettext (0.23.1-1) ...
Setting up libtool (2.5.4-3) ...
Setting up libstdlib-ocaml-dev (5.3.0-2) ...
Setting up libyojson-ocaml (2.2.2-1+b1) ...
Setting up libuutf-ocaml (1.0.3-1+b4) ...
Setting up dh-ocaml (2.4) ...
Setting up libfindlib-ocaml (1.9.6-3+b1) ...
Setting up pkgconf:amd64 (1.8.1-4) ...
Setting up libmulticore-magic-ocaml (2.3.1-2) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.3.0-2) ...
Setting up ocaml-interp (5.3.0-2) ...
Setting up ocaml-findlib (1.9.6-3+b1) ...
Setting up libmtime-ocaml (2.1.0-2+b1) ...
Setting up dh-strip-nondeterminism (1.14.1-2) ...
Setting up groff-base (1.23.0-7) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up ocaml (5.3.0-2) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libmtime-ocaml-dev (2.1.0-2+b1) ...
Setting up libre-ocaml-dev (1.12.0+really1.11.0-1+b1) ...
Setting up libcontainers-ocaml-dev (3.15+dfsg-1+b1) ...
Setting up libyojson-ocaml-dev (2.2.2-1+b1) ...
Setting up libthread-table-ocaml-dev (1.0.0-1+b2) ...
Setting up libbackoff-ocaml-dev (0.1.1-1+b2) ...
Setting up libqcheck-multicoretests-util-ocaml-dev (0.4-2+b2) ...
Setting up libcmdliner-ocaml-dev (1.3.0-2+b2) ...
Setting up libmulticore-magic-ocaml-dev (2.3.1-2) ...
Setting up libastring-ocaml-dev (0.8.5-2+b3) ...
Setting up liboseq-ocaml-dev (0.5.1-2+b1) ...
Setting up libqcheck-core-ocaml-dev (0.23-1+b1) ...
Setting up libuutf-ocaml-dev (1.0.3-1+b4) ...
Setting up debhelper (13.24.1) ...
Setting up libdscheck-ocaml-dev (0.5.0-2+b2) ...
Setting up libfmt-ocaml-dev (0.9.0-3+b4) ...
Setting up libdomain-local-await-ocaml-dev (1.0.1-1+b2) ...
Setting up libmulticore-bench-ocaml-dev (0.1.7-1+b2) ...
Setting up libqcheck-stm-ocaml-dev (0.4-2+b2) ...
Setting up libmulticore-magic-dscheck-ocaml-dev (2.3.1-2) ...
Setting up libalcotest-ocaml-dev (1.8.0-2) ...
Processing triggers for libc-bin (2.40-6) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
 -> Finished parsing the build-deps
I: Building the package
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/A99_set_merged_usr starting
Not re-configuring usrmerge for unstable
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/A99_set_merged_usr finished
hostname: Name or service not known
I: Running cd /build/reproducible-path/ocaml-saturn-0.5.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../ocaml-saturn_0.5.0-1_source.changes
dpkg-buildpackage: info: source package ocaml-saturn
dpkg-buildpackage: info: source version 0.5.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Kyle Robbertze <paddatrapper@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with ocaml --buildsystem ocaml_dune
   dh_auto_clean -O--buildsystem=ocaml_dune
	dune clean
   dh_autoreconf_clean -O--buildsystem=ocaml_dune
   dh_ocamlclean -O--buildsystem=ocaml_dune
   dh_clean -O--buildsystem=ocaml_dune
 debian/rules binary
dh binary --with ocaml --buildsystem ocaml_dune
   dh_update_autotools_config -O--buildsystem=ocaml_dune
   dh_autoreconf -O--buildsystem=ocaml_dune
   dh_ocamlinit -O--buildsystem=ocaml_dune
   dh_auto_configure -O--buildsystem=ocaml_dune
   dh_auto_build -O--buildsystem=ocaml_dune
	dune build -j 42 -p saturn,saturn_lockfree
   dh_auto_test -O--buildsystem=ocaml_dune
	dune runtest -j 42 -p saturn,saturn_lockfree
(cd _build/default/test/spsc_queue && ./test_spsc_queue.exe)
test_Spsc_queue_empty: ok
test_Spsc_queue_full: ok
test_Spsc_queue_parallel: ok (transferred = 100000)
test_Spsc_queue_unsafe_empty: ok
test_Spsc_queue_unsafe_full: ok
test_Spsc_queue_unsafe_parallel: ok (transferred = 100000)
(cd _build/default/test/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 = 71891, stolen = 28109)
(cd _build/default/test/mpsc_queue && ./mpsc_queue_dscheck.exe)
Testing `mpsc_queue_dscheck'.
This run has ID `FW5H96J0'.

  [OK]          basic          0   1-producer-1-consumer.
  [OK]          basic          1   1-producer-1-consumer-peek.
  [OK]          basic          2   2-producers.

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/mpsc_queue/_build/_tests/mpsc_queue_dscheck'.
Test Successful in 0.016s. 3 tests run.
(cd _build/default/test/size && ./dscheck_size.exe)
Testing `dscheck_size'.
This run has ID `NCRACOUE'.

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

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/size/_build/_tests/dscheck_size'.
Test Successful in 0.023s. 6 tests run.
(cd _build/default/test/ws_deque && ./ws_deque_dscheck.exe)
Testing `ws_deque_dscheck'.
This run has ID `QT1JQX5W'.

  [OK]          basic          0   1-owner-1-stealer.
  [OK]          basic          1   1-pusher-2-stealers.

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/ws_deque/_build/_tests/ws_deque_dscheck'.
Test Successful in 0.002s. 2 tests run.
(cd _build/default/test/spsc_queue && ./spsc_queue_dscheck.exe)
Testing `spsc_queue_dscheck'.
This run has ID `T61LOMIM'.

  [OK]          basic_safe                   0   simple-test.
  [OK]          wrap-arounds_safe            0   shift-by-1.
  [OK]          wrap-arounds_safe            1   shift-by-6.
  [OK]          wrap-arounds_safe            2   shift-by-11.
  [OK]          size_safe                    0   linearizes-with-1-thr.
  [OK]          basic_unsafe                 0   simple-test.
  [OK]          wrap-arounds_unsafe          0   shift-by-1.
  [OK]          wrap-arounds_unsafe          1   shift-by-6.
  [OK]          wrap-arounds_unsafe          2   shift-by-11.
  [OK]          size_unsafe                  0   linearizes-with-1-thr.

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/spsc_queue/_build/_tests/spsc_queue_dscheck'.
Test Successful in 0.074s. 10 tests run.
(cd _build/default/test/treiber_stack && ./treiber_stack_dscheck.exe)
Testing `treiber_stack_dscheck'.
This run has ID `MDFXDJKE'.

  [OK]          basic          0   1-producer-1-consumer.
  [OK]          basic          1   2-producers.
  [OK]          basic          2   2-consumers.
  [OK]          basic          3   2-domains.
  [OK]          basic          4   2-domains-more-pops.

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/treiber_stack/_build/_tests/treiber_stack_dscheck'.
Test Successful in 0.122s. 5 tests run.
(cd _build/default/test/michael_scott_queue && ./michael_scott_queue_dscheck.exe)
Testing `michael_scott_queue_dscheck'.
This run has ID `TNJQG569'.

  [OK]          basic_safe            0   1-producer-1-consumer.
  [OK]          basic_safe            1   1-producer-1-consumer-peek.
  [OK]          basic_safe            2   2-producers.
  [OK]          basic_safe            3   2-domains.
  [OK]          basic_unsafe          0   1-producer-1-consumer.
  [OK]          basic_unsafe          1   1-producer-1-consumer-peek.
  [OK]          basic_unsafe          2   2-producers.
  [OK]          basic_unsafe          3   2-domains.

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/michael_scott_queue/_build/_tests/michael_scott_queue_dscheck'.
Test Successful in 0.060s. 8 tests run.
(cd _build/default/test/skiplist && ./dscheck_skiplist.exe)
Testing `DSCheck Skiplist'.
This run has ID `JZ6S8HDX'.

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

Full test results in `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/skiplist/_build/_tests/DSCheck Skiplist'.
Test Successful in 0.031s. 6 tests run.
(cd _build/default/bench && ./main.exe -brief)
Saturn Relaxed_queue:
  messages over time/1 adder, 1 taker (cas):
    2.87 M/s
  messages over time/1 adder, 1 taker (not lf):
    3.34 M/s
  messages over time/1 adder, 1 taker (spin):
    4.40 M/s
  messages over time/1 adder, 2 takers (cas):
    2.46 M/s
  messages over time/1 adder, 2 takers (not lf):
    3.33 M/s
  messages over time/1 adder, 2 takers (spin):
    3.30 M/s
  messages over time/2 adders, 1 taker (cas):
    4.29 M/s
  messages over time/2 adders, 1 taker (not lf):
    2.51 M/s
  messages over time/2 adders, 1 taker (spin):
    6.71 M/s
  messages over time/2 adders, 2 takers (cas):
    3.39 M/s
  messages over time/2 adders, 2 takers (not lf):
    3.73 M/s
  messages over time/2 adders, 2 takers (spin):
    5.47 M/s
  time per message/1 adder, 1 taker (cas):
    697.06 ns
  time per message/1 adder, 1 taker (not lf):
    599.14 ns
  time per message/1 adder, 1 taker (spin):
    454.80 ns
  time per message/1 adder, 2 takers (cas):
    1218.08 ns
  time per message/1 adder, 2 takers (not lf):
    901.10 ns
  time per message/1 adder, 2 takers (spin):
    909.09 ns
  time per message/2 adders, 1 taker (cas):
    698.73 ns
  time per message/2 adders, 1 taker (not lf):
    1193.65 ns
  time per message/2 adders, 1 taker (spin):
    446.95 ns
  time per message/2 adders, 2 takers (cas):
    1179.23 ns
  time per message/2 adders, 2 takers (not lf):
    1072.00 ns
  time per message/2 adders, 2 takers (spin):
    731.29 ns
Saturn_lockfree Queue:
  messages over time/1 nb adder, 1 nb taker:
    33.07 M/s
  messages over time/1 nb adder, 2 nb takers:
    9.34 M/s
  messages over time/2 nb adders, 1 nb taker:
    5.98 M/s
  messages over time/2 nb adders, 2 nb takers:
    6.89 M/s
  messages over time/one domain:
    9.56 M/s
  time per message/1 nb adder, 1 nb taker:
    60.48 ns
  time per message/1 nb adder, 2 nb takers:
    321.06 ns
  time per message/2 nb adders, 1 nb taker:
    501.69 ns
  time per message/2 nb adders, 2 nb takers:
    580.24 ns
  time per message/one domain:
    104.60 ns
Saturn_lockfree Single_prod_single_cons_queue:
  messages over time/2 workers, capacity 1:
    1.55 M/s
  messages over time/2 workers, capacity 1 (unsafe):
    3.35 M/s
  messages over time/2 workers, capacity 32768:
    31.93 M/s
  messages over time/2 workers, capacity 32768 (unsafe):
    56.34 M/s
  messages over time/2 workers, capacity 4096:
    6.65 M/s
  messages over time/2 workers, capacity 4096 (unsafe):
    52.83 M/s
  messages over time/2 workers, capacity 512:
    9.33 M/s
  messages over time/2 workers, capacity 512 (unsafe):
    46.63 M/s
  messages over time/2 workers, capacity 64:
    3.60 M/s
  messages over time/2 workers, capacity 64 (unsafe):
    16.18 M/s
  messages over time/2 workers, capacity 8:
    8.06 M/s
  messages over time/2 workers, capacity 8 (unsafe):
    5.99 M/s
  time per message/2 workers, capacity 1:
    1288.08 ns
  time per message/2 workers, capacity 1 (unsafe):
    596.85 ns
  time per message/2 workers, capacity 32768:
    62.63 ns
  time per message/2 workers, capacity 32768 (unsafe):
    35.50 ns
  time per message/2 workers, capacity 4096:
    300.58 ns
  time per message/2 workers, capacity 4096 (unsafe):
    37.86 ns
  time per message/2 workers, capacity 512:
    214.38 ns
  time per message/2 workers, capacity 512 (unsafe):
    42.89 ns
  time per message/2 workers, capacity 64:
    554.88 ns
  time per message/2 workers, capacity 64 (unsafe):
    123.64 ns
  time per message/2 workers, capacity 8:
    248.14 ns
  time per message/2 workers, capacity 8 (unsafe):
    334.10 ns
Saturn_lockfree Size:
  operations over time/1 worker:
    42.87 M/s
  operations over time/2 workers:
    80.20 M/s
  operations over time/4 workers:
    88.87 M/s
  time per operation/1 worker:
    23.33 ns
  time per operation/2 workers:
    24.94 ns
  time per operation/4 workers:
    45.01 ns
Saturn_lockfree Skiplist:
  operations over time/1 workers, 10% mem 45% add 45% rem:
    1.53 M/s
  operations over time/1 workers, 50% mem 25% add 25% rem:
    1.65 M/s
  operations over time/1 workers, 90% mem 5% add 5% rem:
    2.01 M/s
  operations over time/2 workers, 10% mem 45% add 45% rem:
    2.71 M/s
  operations over time/2 workers, 50% mem 25% add 25% rem:
    3.66 M/s
  operations over time/2 workers, 90% mem 5% add 5% rem:
    3.75 M/s
  operations over time/4 workers, 10% mem 45% add 45% rem:
    3.78 M/s
  operations over time/4 workers, 50% mem 25% add 25% rem:
    7.04 M/s
  operations over time/4 workers, 90% mem 5% add 5% rem:
    7.11 M/s
  time per operation/1 workers, 10% mem 45% add 45% rem:
    655.31 ns
  time per operation/1 workers, 50% mem 25% add 25% rem:
    605.09 ns
  time per operation/1 workers, 90% mem 5% add 5% rem:
    497.27 ns
  time per operation/2 workers, 10% mem 45% add 45% rem:
    738.27 ns
  time per operation/2 workers, 50% mem 25% add 25% rem:
    546.51 ns
  time per operation/2 workers, 90% mem 5% add 5% rem:
    533.96 ns
  time per operation/4 workers, 10% mem 45% add 45% rem:
    1058.25 ns
  time per operation/4 workers, 50% mem 25% add 25% rem:
    568.26 ns
  time per operation/4 workers, 90% mem 5% add 5% rem:
    562.82 ns
Saturn_lockfree Stack:
  messages over time/1 adder, 1 taker:
    6.43 M/s
  messages over time/1 adder, 2 takers:
    7.35 M/s
  messages over time/2 adders, 1 taker:
    6.69 M/s
  messages over time/2 adders, 2 takers:
    28.01 M/s
  messages over time/one domain:
    19.61 M/s
  time per message/1 adder, 1 taker:
    310.83 ns
  time per message/1 adder, 2 takers:
    408.03 ns
  time per message/2 adders, 1 taker:
    448.27 ns
  time per message/2 adders, 2 takers:
    142.79 ns
  time per message/one domain:
    50.98 ns
Saturn_lockfree Work_stealing_deque:
  messages over time/1 adder, 1 taker:
    9.01 M/s
  messages over time/1 adder, 2 takers:
    6.52 M/s
  messages over time/1 adder, 4 takers:
    1.85 M/s
  messages over time/one domain (FIFO):
    21.37 M/s
  messages over time/one domain (LIFO):
    20.17 M/s
  spawns over time/1 worker:
    15.47 M/s
  spawns over time/2 workers:
    15.10 M/s
  spawns over time/4 workers:
    13.14 M/s
  spawns over time/8 workers:
    20.43 M/s
  time per message/1 adder, 1 taker:
    222.06 ns
  time per message/1 adder, 2 takers:
    460.36 ns
  time per message/1 adder, 4 takers:
    2706.06 ns
  time per message/one domain (FIFO):
    46.79 ns
  time per message/one domain (LIFO):
    49.59 ns
  time per spawn/1 worker:
    64.65 ns
  time per spawn/2 workers:
    132.44 ns
  time per spawn/4 workers:
    304.36 ns
  time per spawn/8 workers:
    391.58 ns
(cd _build/default/test/mpmc_relaxed_queue && ./test_mpmc_relaxed_queue.exe)
Testing `Mpmc_queue'.
This run has ID `KLQJSF3V'.

  [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 `/build/reproducible-path/ocaml-saturn-0.5.0/_build/default/test/mpmc_relaxed_queue/_build/_tests/Mpmc_queue'.
Test Successful in 12.660s. 9 tests run.
(cd _build/default/test/treiber_stack && ./stm_treiber_stack.exe)

random seed: 332736381
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 parallel
[ ]    3    0    0    3 /  500     0.1s Saturn_lockfree.Treiber_stack parallel
[ ]    6    0    0    6 /  500     0.2s Saturn_lockfree.Treiber_stack parallel
[ ]   10    0    0   10 /  500     0.4s Saturn_lockfree.Treiber_stack parallel
[ ]   14    0    0   14 /  500     0.6s Saturn_lockfree.Treiber_stack parallel
[ ]   17    0    0   17 /  500     0.7s Saturn_lockfree.Treiber_stack parallel
[ ]   20    0    0   20 /  500     0.8s Saturn_lockfree.Treiber_stack parallel
[ ]   23    0    0   23 /  500     0.9s Saturn_lockfree.Treiber_stack parallel
[ ]   27    0    0   27 /  500     1.0s Saturn_lockfree.Treiber_stack parallel
[ ]   29    0    0   29 /  500     1.1s Saturn_lockfree.Treiber_stack parallel
[ ]   33    0    0   33 /  500     1.3s Saturn_lockfree.Treiber_stack parallel
[ ]   37    0    0   37 /  500     1.4s Saturn_lockfree.Treiber_stack parallel
[ ]   40    0    0   40 /  500     1.5s Saturn_lockfree.Treiber_stack parallel
[ ]   44    0    0   44 /  500     1.6s Saturn_lockfree.Treiber_stack parallel
[ ]   48    0    0   48 /  500     1.7s Saturn_lockfree.Treiber_stack parallel
[ ]   51    0    0   51 /  500     1.9s Saturn_lockfree.Treiber_stack parallel
[ ]   53    0    0   53 /  500     2.0s Saturn_lockfree.Treiber_stack parallel
[ ]   56    0    0   56 /  500     2.2s Saturn_lockfree.Treiber_stack parallel
[ ]   59    0    0   59 /  500     2.3s Saturn_lockfree.Treiber_stack parallel
[ ]   62    0    0   62 /  500     2.4s Saturn_lockfree.Treiber_stack parallel
[ ]   63    0    0   63 /  500     2.6s Saturn_lockfree.Treiber_stack parallel
[ ]   66    0    0   66 /  500     2.7s Saturn_lockfree.Treiber_stack parallel
[ ]   69    0    0   69 /  500     2.8s Saturn_lockfree.Treiber_stack parallel
[ ]   73    0    0   73 /  500     2.9s Saturn_lockfree.Treiber_stack parallel
[ ]   76    0    0   76 /  500     3.1s Saturn_lockfree.Treiber_stack parallel
[ ]   79    0    0   79 /  500     3.2s Saturn_lockfree.Treiber_stack parallel
[ ]   83    0    0   83 /  500     3.3s Saturn_lockfree.Treiber_stack parallel
[ ]   87    0    0   87 /  500     3.4s Saturn_lockfree.Treiber_stack parallel
[ ]   90    0    0   90 /  500     3.6s Saturn_lockfree.Treiber_stack parallel
[ ]   92    0    0   92 /  500     3.7s Saturn_lockfree.Treiber_stack parallel
[ ]   95    0    0   95 /  500     3.8s Saturn_lockfree.Treiber_stack parallel
[ ]   98    0    0   98 /  500     3.9s Saturn_lockfree.Treiber_stack parallel
[ ]  102    0    0  102 /  500     4.1s Saturn_lockfree.Treiber_stack parallel
[ ]  106    0    0  106 /  500     4.2s Saturn_lockfree.Treiber_stack parallel
[ ]  110    0    0  110 /  500     4.3s Saturn_lockfree.Treiber_stack parallel
[ ]  113    0    0  113 /  500     4.4s Saturn_lockfree.Treiber_stack parallel
[ ]  116    0    0  116 /  500     4.5s Saturn_lockfree.Treiber_stack parallel
[ ]  119    0    0  119 /  500     4.7s Saturn_lockfree.Treiber_stack parallel
[ ]  122    0    0  122 /  500     4.8s Saturn_lockfree.Treiber_stack parallel
[ ]  125    0    0  125 /  500     4.9s Saturn_lockfree.Treiber_stack parallel
[ ]  127    0    0  127 /  500     5.1s Saturn_lockfree.Treiber_stack parallel
[ ]  130    0    0  130 /  500     5.2s Saturn_lockfree.Treiber_stack parallel
[ ]  133    0    0  133 /  500     5.3s Saturn_lockfree.Treiber_stack parallel
[ ]  137    0    0  137 /  500     5.5s Saturn_lockfree.Treiber_stack parallel
[ ]  140    0    0  140 /  500     5.6s Saturn_lockfree.Treiber_stack parallel
[ ]  143    0    0  143 /  500     5.8s Saturn_lockfree.Treiber_stack parallel
[ ]  146    0    0  146 /  500     5.9s Saturn_lockfree.Treiber_stack parallel
[ ]  149    0    0  149 /  500     6.0s Saturn_lockfree.Treiber_stack parallel
[ ]  151    0    0  151 /  500     6.1s Saturn_lockfree.Treiber_stack parallel
[ ]  154    0    0  154 /  500     6.2s Saturn_lockfree.Treiber_stack parallel
[ ]  157    0    0  157 /  500     6.3s Saturn_lockfree.Treiber_stack parallel
[ ]  160    0    0  160 /  500     6.5s Saturn_lockfree.Treiber_stack parallel
[ ]  161    0    0  161 /  500     6.6s Saturn_lockfree.Treiber_stack parallel
[ ]  163    0    0  163 /  500     6.7s Saturn_lockfree.Treiber_stack parallel
[ ]  166    0    0  166 /  500     6.9s Saturn_lockfree.Treiber_stack parallel
[ ]  169    0    0  169 /  500     7.0s Saturn_lockfree.Treiber_stack parallel
[ ]  172    0    0  172 /  500     7.2s Saturn_lockfree.Treiber_stack parallel
[ ]  176    0    0  176 /  500     7.3s Saturn_lockfree.Treiber_stack parallel
[ ]  179    0    0  179 /  500     7.4s Saturn_lockfree.Treiber_stack parallel
[ ]  183    0    0  183 /  500     7.5s Saturn_lockfree.Treiber_stack parallel
[ ]  187    0    0  187 /  500     7.6s Saturn_lockfree.Treiber_stack parallel
[ ]  192    0    0  192 /  500     7.7s Saturn_lockfree.Treiber_stack parallel
[ ]  196    0    0  196 /  500     8.0s Saturn_lockfree.Treiber_stack parallel
[ ]  197    0    0  197 /  500     8.1s Saturn_lockfree.Treiber_stack parallel
[ ]  199    0    0  199 /  500     8.3s Saturn_lockfree.Treiber_stack parallel
[ ]  200    0    0  200 /  500     8.4s Saturn_lockfree.Treiber_stack parallel
[ ]  203    0    0  203 /  500     8.5s Saturn_lockfree.Treiber_stack parallel
[ ]  205    0    0  205 /  500     8.7s Saturn_lockfree.Treiber_stack parallel
[ ]  209    0    0  209 /  500     8.8s Saturn_lockfree.Treiber_stack parallel
[ ]  213    0    0  213 /  500     9.0s Saturn_lockfree.Treiber_stack parallel
[ ]  215    0    0  215 /  500     9.2s Saturn_lockfree.Treiber_stack parallel
[ ]  218    0    0  218 /  500     9.3s Saturn_lockfree.Treiber_stack parallel
[ ]  220    0    0  220 /  500     9.5s Saturn_lockfree.Treiber_stack parallel
[ ]  224    0    0  224 /  500     9.6s Saturn_lockfree.Treiber_stack parallel
[ ]  227    0    0  227 /  500     9.7s Saturn_lockfree.Treiber_stack parallel
[ ]  231    0    0  231 /  500    10.0s Saturn_lockfree.Treiber_stack parallel
[ ]  234    0    0  234 /  500    10.1s Saturn_lockfree.Treiber_stack parallel
[ ]  237    0    0  237 /  500    10.2s Saturn_lockfree.Treiber_stack parallel
[ ]  241    0    0  241 /  500    10.3s Saturn_lockfree.Treiber_stack parallel
[ ]  244    0    0  244 /  500    10.4s Saturn_lockfree.Treiber_stack parallel
[ ]  248    0    0  248 /  500    10.5s Saturn_lockfree.Treiber_stack parallel
[ ]  252    0    0  252 /  500    10.7s Saturn_lockfree.Treiber_stack parallel
[ ]  255    0    0  255 /  500    10.8s Saturn_lockfree.Treiber_stack parallel
[ ]  259    0    0  259 /  500    10.9s Saturn_lockfree.Treiber_stack parallel
[ ]  262    0    0  262 /  500    11.0s Saturn_lockfree.Treiber_stack parallel
[ ]  266    0    0  266 /  500    11.1s Saturn_lockfree.Treiber_stack parallel
[ ]  269    0    0  269 /  500    11.2s Saturn_lockfree.Treiber_stack parallel
[ ]  272    0    0  272 /  500    11.3s Saturn_lockfree.Treiber_stack parallel
[ ]  276    0    0  276 /  500    11.5s Saturn_lockfree.Treiber_stack parallel
[ ]  279    0    0  279 /  500    11.6s Saturn_lockfree.Treiber_stack parallel
[ ]  282    0    0  282 /  500    11.7s Saturn_lockfree.Treiber_stack parallel
[ ]  285    0    0  285 /  500    11.8s Saturn_lockfree.Treiber_stack parallel
[ ]  288    0    0  288 /  500    11.9s Saturn_lockfree.Treiber_stack parallel
[ ]  291    0    0  291 /  500    12.0s Saturn_lockfree.Treiber_stack parallel
[ ]  294    0    0  294 /  500    12.2s Saturn_lockfree.Treiber_stack parallel
[ ]  297    0    0  297 /  500    12.3s Saturn_lockfree.Treiber_stack parallel
[ ]  299    0    0  299 /  500    12.4s Saturn_lockfree.Treiber_stack parallel
[ ]  303    0    0  303 /  500    12.6s Saturn_lockfree.Treiber_stack parallel
[ ]  306    0    0  306 /  500    12.7s Saturn_lockfree.Treiber_stack parallel
[ ]  309    0    0  309 /  500    12.8s Saturn_lockfree.Treiber_stack parallel
[ ]  313    0    0  313 /  500    12.9s Saturn_lockfree.Treiber_stack parallel
[ ]  317    0    0  317 /  500    13.1s Saturn_lockfree.Treiber_stack parallel
[ ]  321    0    0  321 /  500    13.2s Saturn_lockfree.Treiber_stack parallel
[ ]  324    0    0  324 /  500    13.4s Saturn_lockfree.Treiber_stack parallel
[ ]  327    0    0  327 /  500    13.5s Saturn_lockfree.Treiber_stack parallel
[ ]  330    0    0  330 /  500    13.6s Saturn_lockfree.Treiber_stack parallel
[ ]  333    0    0  333 /  500    13.7s Saturn_lockfree.Treiber_stack parallel
[ ]  335    0    0  335 /  500    13.8s Saturn_lockfree.Treiber_stack parallel
[ ]  337    0    0  337 /  500    13.9s Saturn_lockfree.Treiber_stack parallel
[ ]  339    0    0  339 /  500    14.0s Saturn_lockfree.Treiber_stack parallel
[ ]  342    0    0  342 /  500    14.1s Saturn_lockfree.Treiber_stack parallel
[ ]  346    0    0  346 /  500    14.3s Saturn_lockfree.Treiber_stack parallel
[ ]  347    0    0  347 /  500    14.5s Saturn_lockfree.Treiber_stack parallel
[ ]  349    0    0  349 /  500    14.6s Saturn_lockfree.Treiber_stack parallel
[ ]  351    0    0  351 /  500    14.8s Saturn_lockfree.Treiber_stack parallel
[ ]  354    0    0  354 /  500    15.0s Saturn_lockfree.Treiber_stack parallel
[ ]  358    0    0  358 /  500    15.1s Saturn_lockfree.Treiber_stack parallel
[ ]  362    0    0  362 /  500    15.2s Saturn_lockfree.Treiber_stack parallel
[ ]  365    0    0  365 /  500    15.4s Saturn_lockfree.Treiber_stack parallel
[ ]  368    0    0  368 /  500    15.6s Saturn_lockfree.Treiber_stack parallel
[ ]  370    0    0  370 /  500    15.8s Saturn_lockfree.Treiber_stack parallel
[ ]  372    0    0  372 /  500    15.9s Saturn_lockfree.Treiber_stack parallel
[ ]  374    0    0  374 /  500    16.0s Saturn_lockfree.Treiber_stack parallel
[ ]  377    0    0  377 /  500    16.1s Saturn_lockfree.Treiber_stack parallel
[ ]  380    0    0  380 /  500    16.2s Saturn_lockfree.Treiber_stack parallel
[ ]  384    0    0  384 /  500    16.3s Saturn_lockfree.Treiber_stack parallel
[ ]  387    0    0  387 /  500    16.5s Saturn_lockfree.Treiber_stack parallel
[ ]  389    0    0  389 /  500    16.6s Saturn_lockfree.Treiber_stack parallel
[ ]  393    0    0  393 /  500    16.7s Saturn_lockfree.Treiber_stack parallel
[ ]  397    0    0  397 /  500    16.8s Saturn_lockfree.Treiber_stack parallel
[ ]  401    0    0  401 /  500    17.0s Saturn_lockfree.Treiber_stack parallel
[ ]  404    0    0  404 /  500    17.1s Saturn_lockfree.Treiber_stack parallel
[ ]  408    0    0  408 /  500    17.2s Saturn_lockfree.Treiber_stack parallel
[ ]  412    0    0  412 /  500    17.4s Saturn_lockfree.Treiber_stack parallel
[ ]  415    0    0  415 /  500    17.5s Saturn_lockfree.Treiber_stack parallel
[ ]  419    0    0  419 /  500    17.7s Saturn_lockfree.Treiber_stack parallel
[ ]  423    0    0  423 /  500    17.8s Saturn_lockfree.Treiber_stack parallel
[ ]  426    0    0  426 /  500    17.9s Saturn_lockfree.Treiber_stack parallel
[ ]  428    0    0  428 /  500    18.0s Saturn_lockfree.Treiber_stack parallel
[ ]  432    0    0  432 /  500    18.2s Saturn_lockfree.Treiber_stack parallel
[ ]  435    0    0  435 /  500    18.3s Saturn_lockfree.Treiber_stack parallel
[ ]  439    0    0  439 /  500    18.4s Saturn_lockfree.Treiber_stack parallel
[ ]  442    0    0  442 /  500    18.5s Saturn_lockfree.Treiber_stack parallel
[ ]  445    0    0  445 /  500    18.6s Saturn_lockfree.Treiber_stack parallel
[ ]  446    0    0  446 /  500    18.8s Saturn_lockfree.Treiber_stack parallel
[ ]  449    0    0  449 /  500    18.9s Saturn_lockfree.Treiber_stack parallel
[ ]  452    0    0  452 /  500    19.0s Saturn_lockfree.Treiber_stack parallel
[ ]  456    0    0  456 /  500    19.1s Saturn_lockfree.Treiber_stack parallel
[ ]  459    0    0  459 /  500    19.2s Saturn_lockfree.Treiber_stack parallel
[ ]  462    0    0  462 /  500    19.3s Saturn_lockfree.Treiber_stack parallel
[ ]  465    0    0  465 /  500    19.5s Saturn_lockfree.Treiber_stack parallel
[ ]  467    0    0  467 /  500    19.6s Saturn_lockfree.Treiber_stack parallel
[ ]  469    0    0  469 /  500    19.7s Saturn_lockfree.Treiber_stack parallel
[ ]  473    0    0  473 /  500    19.9s Saturn_lockfree.Treiber_stack parallel
[ ]  476    0    0  476 /  500    20.0s Saturn_lockfree.Treiber_stack parallel
[ ]  479    0    0  479 /  500    20.1s Saturn_lockfree.Treiber_stack parallel
[ ]  480    0    0  480 /  500    20.2s Saturn_lockfree.Treiber_stack parallel
[ ]  483    0    0  483 /  500    20.3s Saturn_lockfree.Treiber_stack parallel
[ ]  487    0    0  487 /  500    20.4s Saturn_lockfree.Treiber_stack parallel
[ ]  491    0    0  491 /  500    20.6s Saturn_lockfree.Treiber_stack parallel
[ ]  495    0    0  495 /  500    20.7s Saturn_lockfree.Treiber_stack parallel
[ ]  499    0    0  499 /  500    20.8s Saturn_lockfree.Treiber_stack parallel
[✓]  500    0    0  500 /  500    20.9s Saturn_lockfree.Treiber_stack parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/ws_deque && ./stm_ws_deque.exe)

random seed: 336973749
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

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Ws_deque parallel
[ ]    6    0    0    6 / 1000     0.1s Saturn_lockfree.Ws_deque parallel
[ ]   13    0    0   13 / 1000     0.2s Saturn_lockfree.Ws_deque parallel
[ ]   19    0    0   19 / 1000     0.4s Saturn_lockfree.Ws_deque parallel
[ ]   24    0    0   24 / 1000     0.6s Saturn_lockfree.Ws_deque parallel
[ ]   31    0    0   31 / 1000     0.7s Saturn_lockfree.Ws_deque parallel
[ ]   39    0    0   39 / 1000     0.8s Saturn_lockfree.Ws_deque parallel
[ ]   47    0    0   47 / 1000     1.0s Saturn_lockfree.Ws_deque parallel
[ ]   55    0    0   55 / 1000     1.1s Saturn_lockfree.Ws_deque parallel
[ ]   59    0    0   59 / 1000     1.2s Saturn_lockfree.Ws_deque parallel
[ ]   67    0    0   67 / 1000     1.3s Saturn_lockfree.Ws_deque parallel
[ ]   74    0    0   74 / 1000     1.4s Saturn_lockfree.Ws_deque parallel
[ ]   78    0    0   78 / 1000     1.5s Saturn_lockfree.Ws_deque parallel
[ ]   86    0    0   86 / 1000     1.7s Saturn_lockfree.Ws_deque parallel
[ ]   96    0    0   96 / 1000     1.8s Saturn_lockfree.Ws_deque parallel
[ ]  100    0    0  100 / 1000     1.9s Saturn_lockfree.Ws_deque parallel
[ ]  109    0    0  109 / 1000     2.0s Saturn_lockfree.Ws_deque parallel
[ ]  117    0    0  117 / 1000     2.1s Saturn_lockfree.Ws_deque parallel
[ ]  123    0    0  123 / 1000     2.2s Saturn_lockfree.Ws_deque parallel
[ ]  126    0    0  126 / 1000     2.3s Saturn_lockfree.Ws_deque parallel
[ ]  130    0    0  130 / 1000     2.5s Saturn_lockfree.Ws_deque parallel
[ ]  135    0    0  135 / 1000     2.6s Saturn_lockfree.Ws_deque parallel
[ ]  143    0    0  143 / 1000     2.7s Saturn_lockfree.Ws_deque parallel
[ ]  151    0    0  151 / 1000     2.9s Saturn_lockfree.Ws_deque parallel
[ ]  157    0    0  157 / 1000     3.0s Saturn_lockfree.Ws_deque parallel
[ ]  164    0    0  164 / 1000     3.1s Saturn_lockfree.Ws_deque parallel
[ ]  172    0    0  172 / 1000     3.3s Saturn_lockfree.Ws_deque parallel
[ ]  180    0    0  180 / 1000     3.4s Saturn_lockfree.Ws_deque parallel
[ ]  184    0    0  184 / 1000     3.5s Saturn_lockfree.Ws_deque parallel
[ ]  189    0    0  189 / 1000     3.6s Saturn_lockfree.Ws_deque parallel
[ ]  192    0    0  192 / 1000     3.7s Saturn_lockfree.Ws_deque parallel
[ ]  196    0    0  196 / 1000     3.8s Saturn_lockfree.Ws_deque parallel
[ ]  198    0    0  198 / 1000     4.0s Saturn_lockfree.Ws_deque parallel
[ ]  204    0    0  204 / 1000     4.2s Saturn_lockfree.Ws_deque parallel
[ ]  210    0    0  210 / 1000     4.4s Saturn_lockfree.Ws_deque parallel
[ ]  215    0    0  215 / 1000     4.5s Saturn_lockfree.Ws_deque parallel
[ ]  222    0    0  222 / 1000     4.6s Saturn_lockfree.Ws_deque parallel
[ ]  227    0    0  227 / 1000     4.7s Saturn_lockfree.Ws_deque parallel
[ ]  235    0    0  235 / 1000     4.8s Saturn_lockfree.Ws_deque parallel
[ ]  241    0    0  241 / 1000     4.9s Saturn_lockfree.Ws_deque parallel
[ ]  249    0    0  249 / 1000     5.0s Saturn_lockfree.Ws_deque parallel
[ ]  250    0    0  250 / 1000     5.2s Saturn_lockfree.Ws_deque parallel
[ ]  258    0    0  258 / 1000     5.3s Saturn_lockfree.Ws_deque parallel
[ ]  265    0    0  265 / 1000     5.4s Saturn_lockfree.Ws_deque parallel
[ ]  272    0    0  272 / 1000     5.5s Saturn_lockfree.Ws_deque parallel
[ ]  279    0    0  279 / 1000     5.7s Saturn_lockfree.Ws_deque parallel
[ ]  285    0    0  285 / 1000     5.9s Saturn_lockfree.Ws_deque parallel
[ ]  291    0    0  291 / 1000     6.0s Saturn_lockfree.Ws_deque parallel
[ ]  293    0    0  293 / 1000     6.1s Saturn_lockfree.Ws_deque parallel
[ ]  298    0    0  298 / 1000     6.2s Saturn_lockfree.Ws_deque parallel
[ ]  306    0    0  306 / 1000     6.4s Saturn_lockfree.Ws_deque parallel
[ ]  313    0    0  313 / 1000     6.5s Saturn_lockfree.Ws_deque parallel
[ ]  320    0    0  320 / 1000     6.6s Saturn_lockfree.Ws_deque parallel
[ ]  327    0    0  327 / 1000     6.7s Saturn_lockfree.Ws_deque parallel
[ ]  334    0    0  334 / 1000     6.8s Saturn_lockfree.Ws_deque parallel
[ ]  338    0    0  338 / 1000     7.0s Saturn_lockfree.Ws_deque parallel
[ ]  340    0    0  340 / 1000     7.2s Saturn_lockfree.Ws_deque parallel
[ ]  347    0    0  347 / 1000     7.3s Saturn_lockfree.Ws_deque parallel
[ ]  355    0    0  355 / 1000     7.4s Saturn_lockfree.Ws_deque parallel
[ ]  357    0    0  357 / 1000     7.5s Saturn_lockfree.Ws_deque parallel
[ ]  360    0    0  360 / 1000     7.7s Saturn_lockfree.Ws_deque parallel
[ ]  368    0    0  368 / 1000     7.8s Saturn_lockfree.Ws_deque parallel
[ ]  376    0    0  376 / 1000     7.9s Saturn_lockfree.Ws_deque parallel
[ ]  380    0    0  380 / 1000     8.0s Saturn_lockfree.Ws_deque parallel
[ ]  387    0    0  387 / 1000     8.1s Saturn_lockfree.Ws_deque parallel
[ ]  394    0    0  394 / 1000     8.2s Saturn_lockfree.Ws_deque parallel
[ ]  400    0    0  400 / 1000     8.3s Saturn_lockfree.Ws_deque parallel
[ ]  403    0    0  403 / 1000     8.4s Saturn_lockfree.Ws_deque parallel
[ ]  404    0    0  404 / 1000     8.6s Saturn_lockfree.Ws_deque parallel
[ ]  410    0    0  410 / 1000     8.9s Saturn_lockfree.Ws_deque parallel
[ ]  418    0    0  418 / 1000     9.0s Saturn_lockfree.Ws_deque parallel
[ ]  421    0    0  421 / 1000     9.1s Saturn_lockfree.Ws_deque parallel
[ ]  425    0    0  425 / 1000     9.4s Saturn_lockfree.Ws_deque parallel
[ ]  429    0    0  429 / 1000     9.5s Saturn_lockfree.Ws_deque parallel
[ ]  430    0    0  430 / 1000     9.6s Saturn_lockfree.Ws_deque parallel
[ ]  435    0    0  435 / 1000     9.7s Saturn_lockfree.Ws_deque parallel
[ ]  440    0    0  440 / 1000     9.9s Saturn_lockfree.Ws_deque parallel
[ ]  447    0    0  447 / 1000    10.0s Saturn_lockfree.Ws_deque parallel
[ ]  450    0    0  450 / 1000    10.2s Saturn_lockfree.Ws_deque parallel
[ ]  459    0    0  459 / 1000    10.3s Saturn_lockfree.Ws_deque parallel
[ ]  460    0    0  460 / 1000    10.4s Saturn_lockfree.Ws_deque parallel
[ ]  465    0    0  465 / 1000    10.5s Saturn_lockfree.Ws_deque parallel
[ ]  466    0    0  466 / 1000    10.7s Saturn_lockfree.Ws_deque parallel
[ ]  472    0    0  472 / 1000    10.8s Saturn_lockfree.Ws_deque parallel
[ ]  481    0    0  481 / 1000    10.9s Saturn_lockfree.Ws_deque parallel
[ ]  489    0    0  489 / 1000    11.0s Saturn_lockfree.Ws_deque parallel
[ ]  495    0    0  495 / 1000    11.2s Saturn_lockfree.Ws_deque parallel
[ ]  504    0    0  504 / 1000    11.3s Saturn_lockfree.Ws_deque parallel
[ ]  508    0    0  508 / 1000    11.4s Saturn_lockfree.Ws_deque parallel
[ ]  511    0    0  511 / 1000    11.5s Saturn_lockfree.Ws_deque parallel
[ ]  518    0    0  518 / 1000    11.6s Saturn_lockfree.Ws_deque parallel
[ ]  524    0    0  524 / 1000    11.8s Saturn_lockfree.Ws_deque parallel
[ ]  531    0    0  531 / 1000    11.9s Saturn_lockfree.Ws_deque parallel
[ ]  539    0    0  539 / 1000    12.0s Saturn_lockfree.Ws_deque parallel
[ ]  547    0    0  547 / 1000    12.1s Saturn_lockfree.Ws_deque parallel
[ ]  556    0    0  556 / 1000    12.2s Saturn_lockfree.Ws_deque parallel
[ ]  563    0    0  563 / 1000    12.3s Saturn_lockfree.Ws_deque parallel
[ ]  571    0    0  571 / 1000    12.4s Saturn_lockfree.Ws_deque parallel
[ ]  579    0    0  579 / 1000    12.5s Saturn_lockfree.Ws_deque parallel
[ ]  581    0    0  581 / 1000    12.7s Saturn_lockfree.Ws_deque parallel
[ ]  589    0    0  589 / 1000    12.8s Saturn_lockfree.Ws_deque parallel
[ ]  593    0    0  593 / 1000    12.9s Saturn_lockfree.Ws_deque parallel
[ ]  597    0    0  597 / 1000    13.0s Saturn_lockfree.Ws_deque parallel
[ ]  603    0    0  603 / 1000    13.2s Saturn_lockfree.Ws_deque parallel
[ ]  607    0    0  607 / 1000    13.3s Saturn_lockfree.Ws_deque parallel
[ ]  615    0    0  615 / 1000    13.4s Saturn_lockfree.Ws_deque parallel
[ ]  623    0    0  623 / 1000    13.6s Saturn_lockfree.Ws_deque parallel
[ ]  627    0    0  627 / 1000    13.7s Saturn_lockfree.Ws_deque parallel
[ ]  634    0    0  634 / 1000    13.8s Saturn_lockfree.Ws_deque parallel
[ ]  642    0    0  642 / 1000    13.9s Saturn_lockfree.Ws_deque parallel
[ ]  649    0    0  649 / 1000    14.0s Saturn_lockfree.Ws_deque parallel
[ ]  657    0    0  657 / 1000    14.1s Saturn_lockfree.Ws_deque parallel
[ ]  662    0    0  662 / 1000    14.3s Saturn_lockfree.Ws_deque parallel
[ ]  670    0    0  670 / 1000    14.4s Saturn_lockfree.Ws_deque parallel
[ ]  675    0    0  675 / 1000    14.5s Saturn_lockfree.Ws_deque parallel
[ ]  681    0    0  681 / 1000    14.7s Saturn_lockfree.Ws_deque parallel
[ ]  683    0    0  683 / 1000    14.8s Saturn_lockfree.Ws_deque parallel
[ ]  684    0    0  684 / 1000    15.0s Saturn_lockfree.Ws_deque parallel
[ ]  690    0    0  690 / 1000    15.2s Saturn_lockfree.Ws_deque parallel
[ ]  697    0    0  697 / 1000    15.3s Saturn_lockfree.Ws_deque parallel
[ ]  701    0    0  701 / 1000    15.4s Saturn_lockfree.Ws_deque parallel
[ ]  707    0    0  707 / 1000    15.5s Saturn_lockfree.Ws_deque parallel
[ ]  713    0    0  713 / 1000    15.6s Saturn_lockfree.Ws_deque parallel
[ ]  716    0    0  716 / 1000    15.8s Saturn_lockfree.Ws_deque parallel
[ ]  725    0    0  725 / 1000    15.9s Saturn_lockfree.Ws_deque parallel
[ ]  732    0    0  732 / 1000    16.0s Saturn_lockfree.Ws_deque parallel
[ ]  739    0    0  739 / 1000    16.2s Saturn_lockfree.Ws_deque parallel
[ ]  745    0    0  745 / 1000    16.3s Saturn_lockfree.Ws_deque parallel
[ ]  752    0    0  752 / 1000    16.4s Saturn_lockfree.Ws_deque parallel
[ ]  754    0    0  754 / 1000    16.5s Saturn_lockfree.Ws_deque parallel
[ ]  757    0    0  757 / 1000    16.7s Saturn_lockfree.Ws_deque parallel
[ ]  761    0    0  761 / 1000    16.9s Saturn_lockfree.Ws_deque parallel
[ ]  763    0    0  763 / 1000    17.0s Saturn_lockfree.Ws_deque parallel
[ ]  764    0    0  764 / 1000    17.1s Saturn_lockfree.Ws_deque parallel
[ ]  771    0    0  771 / 1000    17.3s Saturn_lockfree.Ws_deque parallel
[ ]  778    0    0  778 / 1000    17.4s Saturn_lockfree.Ws_deque parallel
[ ]  785    0    0  785 / 1000    17.5s Saturn_lockfree.Ws_deque parallel
[ ]  792    0    0  792 / 1000    17.6s Saturn_lockfree.Ws_deque parallel
[ ]  799    0    0  799 / 1000    17.7s Saturn_lockfree.Ws_deque parallel
[ ]  807    0    0  807 / 1000    17.8s Saturn_lockfree.Ws_deque parallel
[ ]  810    0    0  810 / 1000    17.9s Saturn_lockfree.Ws_deque parallel
[ ]  816    0    0  816 / 1000    18.0s Saturn_lockfree.Ws_deque parallel
[ ]  823    0    0  823 / 1000    18.1s Saturn_lockfree.Ws_deque parallel
[ ]  827    0    0  827 / 1000    18.3s Saturn_lockfree.Ws_deque parallel
[ ]  834    0    0  834 / 1000    18.4s Saturn_lockfree.Ws_deque parallel
[ ]  841    0    0  841 / 1000    18.5s Saturn_lockfree.Ws_deque parallel
[ ]  844    0    0  844 / 1000    18.7s Saturn_lockfree.Ws_deque parallel
[ ]  849    0    0  849 / 1000    18.8s Saturn_lockfree.Ws_deque parallel
[ ]  855    0    0  855 / 1000    18.9s Saturn_lockfree.Ws_deque parallel
[ ]  863    0    0  863 / 1000    19.0s Saturn_lockfree.Ws_deque parallel
[ ]  867    0    0  867 / 1000    19.1s Saturn_lockfree.Ws_deque parallel
[ ]  874    0    0  874 / 1000    19.2s Saturn_lockfree.Ws_deque parallel
[ ]  878    0    0  878 / 1000    19.4s Saturn_lockfree.Ws_deque parallel
[ ]  883    0    0  883 / 1000    19.6s Saturn_lockfree.Ws_deque parallel
[ ]  891    0    0  891 / 1000    19.7s Saturn_lockfree.Ws_deque parallel
[ ]  899    0    0  899 / 1000    19.8s Saturn_lockfree.Ws_deque parallel
[ ]  903    0    0  903 / 1000    20.0s Saturn_lockfree.Ws_deque parallel
[ ]  909    0    0  909 / 1000    20.1s Saturn_lockfree.Ws_deque parallel
[ ]  917    0    0  917 / 1000    20.2s Saturn_lockfree.Ws_deque parallel
[ ]  920    0    0  920 / 1000    20.3s Saturn_lockfree.Ws_deque parallel
[ ]  921    0    0  921 / 1000    20.5s Saturn_lockfree.Ws_deque parallel
[ ]  924    0    0  924 / 1000    20.6s Saturn_lockfree.Ws_deque parallel
[ ]  929    0    0  929 / 1000    20.7s Saturn_lockfree.Ws_deque parallel
[ ]  938    0    0  938 / 1000    20.8s Saturn_lockfree.Ws_deque parallel
[ ]  946    0    0  946 / 1000    21.0s Saturn_lockfree.Ws_deque parallel
[ ]  951    0    0  951 / 1000    21.1s Saturn_lockfree.Ws_deque parallel
[ ]  955    0    0  955 / 1000    21.2s Saturn_lockfree.Ws_deque parallel
[ ]  962    0    0  962 / 1000    21.4s Saturn_lockfree.Ws_deque parallel
[ ]  968    0    0  968 / 1000    21.5s Saturn_lockfree.Ws_deque parallel
[ ]  972    0    0  972 / 1000    21.6s Saturn_lockfree.Ws_deque parallel
[ ]  977    0    0  977 / 1000    21.7s Saturn_lockfree.Ws_deque parallel
[ ]  981    0    0  981 / 1000    21.8s Saturn_lockfree.Ws_deque parallel
[ ]  985    0    0  985 / 1000    22.0s Saturn_lockfree.Ws_deque parallel
[ ]  992    0    0  992 / 1000    22.1s Saturn_lockfree.Ws_deque parallel
[ ]  999    0    0  999 / 1000    22.2s Saturn_lockfree.Ws_deque parallel
[✓] 1000    0    0 1000 / 1000    22.3s Saturn_lockfree.Ws_deque parallel

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Ws_deque parallel, negative
[ ]    0    0    0    0 / 1000     0.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking:    6)
[ ]    0    0    0    0 / 1000     0.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   23.0002)
[ ]    0    0    0    0 / 1000     0.9s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   24.0002)
[ ]    0    0    0    0 / 1000     1.2s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   24.0003)
[ ]    0    0    0    0 / 1000     1.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   24.0004)
[ ]    0    0    0    0 / 1000     1.8s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   24.0005)
[ ]    0    0    0    0 / 1000     2.2s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   25.0002)
[ ]    0    0    0    0 / 1000     2.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   25.0003)
[ ]    0    0    0    0 / 1000     2.8s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   25.0004)
[ ]    0    0    0    0 / 1000     3.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   25.0005)
[ ]    0    0    0    0 / 1000     3.4s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   25.0006)
[ ]    0    0    0    0 / 1000     3.7s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0002)
[ ]    0    0    0    0 / 1000     4.0s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0003)
[ ]    0    0    0    0 / 1000     4.3s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0004)
[ ]    0    0    0    0 / 1000     4.6s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0005)
[ ]    0    0    0    0 / 1000     4.9s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0006)
[ ]    0    0    0    0 / 1000     5.2s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0007)
[ ]    0    0    0    0 / 1000     5.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   26.0008)
[ ]    0    0    0    0 / 1000     5.9s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   27.0002)
[ ]    0    0    0    0 / 1000     6.2s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   27.0003)
[ ]    0    0    0    0 / 1000     6.5s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0002)
[ ]    0    0    0    0 / 1000     6.8s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0003)
[ ]    0    0    0    0 / 1000     7.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0004)
[ ]    0    0    0    0 / 1000     7.4s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0005)
[ ]    0    0    0    0 / 1000     7.7s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0006)
[ ]    0    0    0    0 / 1000     8.1s Saturn_lockfree.Ws_deque parallel, negative (shrinking:   28.0007)
[ ]    1    0    1    0 / 1000     8.4s Saturn_lockfree.Ws_deque parallel, negative
[✓]    1    0    1    0 / 1000     8.4s Saturn_lockfree.Ws_deque parallel, negative

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

Negative test Saturn_lockfree.Ws_deque parallel, negative failed as expected (28 shrink steps):

                       |                 
                     Push 0              
                     Push 2              
                       |                 
            .---------------------.
            |                     |                 
           Pop                   Pop                


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

Messages for test Saturn_lockfree.Ws_deque parallel, negative:

  Results incompatible with linearized model

                             |                             
                        Push 0 : ()                        
                        Push 2 : ()                        
                             |                             
          .------------------------------------.
          |                                    |                             
     Pop : Ok (2)                         Pop : Ok (2)                       

================================================================================
success (ran 3 tests)
(cd _build/default/test/michael_scott_queue && ./stm_michael_scott_queue.exe)

random seed: 220106986
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 parallel
[ ]    3    0    0    3 /  500     0.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]    7    0    0    7 /  500     0.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   11    0    0   11 /  500     0.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   14    0    0   14 /  500     0.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   18    0    0   18 /  500     0.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   22    0    0   22 /  500     0.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   25    0    0   25 /  500     0.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   28    0    0   28 /  500     1.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   32    0    0   32 /  500     1.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   35    0    0   35 /  500     1.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   38    0    0   38 /  500     1.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   41    0    0   41 /  500     1.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   44    0    0   44 /  500     1.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   46    0    0   46 /  500     1.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   49    0    0   49 /  500     2.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   53    0    0   53 /  500     2.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   55    0    0   55 /  500     2.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   58    0    0   58 /  500     2.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   61    0    0   61 /  500     2.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   64    0    0   64 /  500     2.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   67    0    0   67 /  500     2.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   69    0    0   69 /  500     3.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   71    0    0   71 /  500     3.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   75    0    0   75 /  500     3.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   78    0    0   78 /  500     3.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   81    0    0   81 /  500     3.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   84    0    0   84 /  500     3.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   87    0    0   87 /  500     3.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   90    0    0   90 /  500     3.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   93    0    0   93 /  500     4.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   96    0    0   96 /  500     4.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]   99    0    0   99 /  500     4.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  103    0    0  103 /  500     4.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  106    0    0  106 /  500     4.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  109    0    0  109 /  500     4.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  112    0    0  112 /  500     4.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  115    0    0  115 /  500     4.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  118    0    0  118 /  500     5.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  122    0    0  122 /  500     5.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  126    0    0  126 /  500     5.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  129    0    0  129 /  500     5.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  132    0    0  132 /  500     5.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  135    0    0  135 /  500     5.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  138    0    0  138 /  500     5.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  142    0    0  142 /  500     5.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  145    0    0  145 /  500     6.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  149    0    0  149 /  500     6.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  152    0    0  152 /  500     6.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  156    0    0  156 /  500     6.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  160    0    0  160 /  500     6.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  163    0    0  163 /  500     6.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  167    0    0  167 /  500     6.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  170    0    0  170 /  500     6.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  173    0    0  173 /  500     7.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  174    0    0  174 /  500     7.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  177    0    0  177 /  500     7.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  180    0    0  180 /  500     7.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  183    0    0  183 /  500     7.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  185    0    0  185 /  500     7.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  189    0    0  189 /  500     7.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  192    0    0  192 /  500     8.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  193    0    0  193 /  500     8.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  195    0    0  195 /  500     8.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  198    0    0  198 /  500     8.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  201    0    0  201 /  500     8.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  205    0    0  205 /  500     8.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  209    0    0  209 /  500     8.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  212    0    0  212 /  500     9.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  215    0    0  215 /  500     9.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  216    0    0  216 /  500     9.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  219    0    0  219 /  500     9.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  222    0    0  222 /  500     9.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  226    0    0  226 /  500     9.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  229    0    0  229 /  500     9.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  230    0    0  230 /  500    10.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  232    0    0  232 /  500    10.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  234    0    0  234 /  500    10.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  238    0    0  238 /  500    10.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  242    0    0  242 /  500    10.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  245    0    0  245 /  500    10.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  249    0    0  249 /  500    10.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  252    0    0  252 /  500    10.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  254    0    0  254 /  500    11.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  258    0    0  258 /  500    11.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  262    0    0  262 /  500    11.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  265    0    0  265 /  500    11.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  268    0    0  268 /  500    11.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  271    0    0  271 /  500    11.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  274    0    0  274 /  500    11.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  278    0    0  278 /  500    12.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  281    0    0  281 /  500    12.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  284    0    0  284 /  500    12.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  287    0    0  287 /  500    12.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  290    0    0  290 /  500    12.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  293    0    0  293 /  500    12.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  297    0    0  297 /  500    12.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  301    0    0  301 /  500    13.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  304    0    0  304 /  500    13.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  307    0    0  307 /  500    13.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  310    0    0  310 /  500    13.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  313    0    0  313 /  500    13.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  317    0    0  317 /  500    13.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  320    0    0  320 /  500    13.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  324    0    0  324 /  500    13.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  328    0    0  328 /  500    13.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  332    0    0  332 /  500    14.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  335    0    0  335 /  500    14.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  339    0    0  339 /  500    14.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  343    0    0  343 /  500    14.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  344    0    0  344 /  500    14.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  347    0    0  347 /  500    14.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  351    0    0  351 /  500    15.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  355    0    0  355 /  500    15.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  357    0    0  357 /  500    15.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  359    0    0  359 /  500    15.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  362    0    0  362 /  500    15.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  366    0    0  366 /  500    15.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  369    0    0  369 /  500    15.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  373    0    0  373 /  500    16.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  375    0    0  375 /  500    16.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  377    0    0  377 /  500    16.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  381    0    0  381 /  500    16.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  382    0    0  382 /  500    16.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  385    0    0  385 /  500    16.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  387    0    0  387 /  500    16.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  391    0    0  391 /  500    17.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  395    0    0  395 /  500    17.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  398    0    0  398 /  500    17.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  402    0    0  402 /  500    17.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  405    0    0  405 /  500    17.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  408    0    0  408 /  500    17.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  412    0    0  412 /  500    17.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  414    0    0  414 /  500    18.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  417    0    0  417 /  500    18.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  420    0    0  420 /  500    18.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  424    0    0  424 /  500    18.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  427    0    0  427 /  500    18.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  430    0    0  430 /  500    18.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  433    0    0  433 /  500    18.7s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  437    0    0  437 /  500    18.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  439    0    0  439 /  500    18.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  443    0    0  443 /  500    19.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  446    0    0  446 /  500    19.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  450    0    0  450 /  500    19.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  453    0    0  453 /  500    19.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  456    0    0  456 /  500    19.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  458    0    0  458 /  500    19.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  462    0    0  462 /  500    19.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  464    0    0  464 /  500    20.0s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  467    0    0  467 /  500    20.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  471    0    0  471 /  500    20.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  475    0    0  475 /  500    20.3s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  479    0    0  479 /  500    20.5s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  482    0    0  482 /  500    20.6s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  485    0    0  485 /  500    20.8s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  488    0    0  488 /  500    20.9s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  489    0    0  489 /  500    21.1s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  490    0    0  490 /  500    21.2s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  494    0    0  494 /  500    21.4s Saturn_lockfree.michael_scott_queue_safe parallel
[ ]  498    0    0  498 /  500    21.5s Saturn_lockfree.michael_scott_queue_safe parallel
[✓]  500    0    0  500 /  500    21.6s Saturn_lockfree.michael_scott_queue_safe parallel
================================================================================
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 parallel
[ ]    2    0    0    2 /  500     0.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]    5    0    0    5 /  500     0.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]    8    0    0    8 /  500     0.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   11    0    0   11 /  500     0.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   14    0    0   14 /  500     0.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   18    0    0   18 /  500     0.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   22    0    0   22 /  500     0.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   25    0    0   25 /  500     0.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   28    0    0   28 /  500     1.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   32    0    0   32 /  500     1.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   35    0    0   35 /  500     1.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   38    0    0   38 /  500     1.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   42    0    0   42 /  500     1.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   44    0    0   44 /  500     1.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   46    0    0   46 /  500     1.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   49    0    0   49 /  500     2.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   52    0    0   52 /  500     2.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   55    0    0   55 /  500     2.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   58    0    0   58 /  500     2.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   62    0    0   62 /  500     2.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   65    0    0   65 /  500     2.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   68    0    0   68 /  500     2.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   70    0    0   70 /  500     3.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   72    0    0   72 /  500     3.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   75    0    0   75 /  500     3.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   78    0    0   78 /  500     3.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   81    0    0   81 /  500     3.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   84    0    0   84 /  500     3.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   88    0    0   88 /  500     3.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   91    0    0   91 /  500     3.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   94    0    0   94 /  500     4.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]   98    0    0   98 /  500     4.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  102    0    0  102 /  500     4.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  106    0    0  106 /  500     4.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  110    0    0  110 /  500     4.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  114    0    0  114 /  500     4.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  116    0    0  116 /  500     4.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  119    0    0  119 /  500     4.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  123    0    0  123 /  500     5.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  127    0    0  127 /  500     5.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  130    0    0  130 /  500     5.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  134    0    0  134 /  500     5.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  137    0    0  137 /  500     5.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  139    0    0  139 /  500     5.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  143    0    0  143 /  500     5.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  147    0    0  147 /  500     5.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  150    0    0  150 /  500     6.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  153    0    0  153 /  500     6.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  157    0    0  157 /  500     6.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  160    0    0  160 /  500     6.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  163    0    0  163 /  500     6.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  167    0    0  167 /  500     6.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  170    0    0  170 /  500     6.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  173    0    0  173 /  500     6.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  174    0    0  174 /  500     6.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  177    0    0  177 /  500     7.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  180    0    0  180 /  500     7.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  183    0    0  183 /  500     7.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  185    0    0  185 /  500     7.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  189    0    0  189 /  500     7.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  192    0    0  192 /  500     7.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  193    0    0  193 /  500     7.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  195    0    0  195 /  500     7.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  199    0    0  199 /  500     8.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  201    0    0  201 /  500     8.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  205    0    0  205 /  500     8.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  209    0    0  209 /  500     8.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  212    0    0  212 /  500     8.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  216    0    0  216 /  500     8.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  219    0    0  219 /  500     9.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  222    0    0  222 /  500     9.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  226    0    0  226 /  500     9.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  229    0    0  229 /  500     9.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  230    0    0  230 /  500     9.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  233    0    0  233 /  500     9.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  234    0    0  234 /  500     9.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  238    0    0  238 /  500     9.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  242    0    0  242 /  500    10.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  245    0    0  245 /  500    10.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  249    0    0  249 /  500    10.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  252    0    0  252 /  500    10.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  254    0    0  254 /  500    10.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  258    0    0  258 /  500    10.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  262    0    0  262 /  500    10.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  265    0    0  265 /  500    10.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  268    0    0  268 /  500    11.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  271    0    0  271 /  500    11.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  275    0    0  275 /  500    11.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  279    0    0  279 /  500    11.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  282    0    0  282 /  500    11.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  285    0    0  285 /  500    11.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  289    0    0  289 /  500    11.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  291    0    0  291 /  500    11.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  294    0    0  294 /  500    12.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  297    0    0  297 /  500    12.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  301    0    0  301 /  500    12.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  305    0    0  305 /  500    12.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  309    0    0  309 /  500    12.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  312    0    0  312 /  500    12.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  316    0    0  316 /  500    12.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  319    0    0  319 /  500    13.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  323    0    0  323 /  500    13.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  327    0    0  327 /  500    13.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  331    0    0  331 /  500    13.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  333    0    0  333 /  500    13.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  335    0    0  335 /  500    13.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  339    0    0  339 /  500    13.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  343    0    0  343 /  500    13.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  344    0    0  344 /  500    14.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  347    0    0  347 /  500    14.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  351    0    0  351 /  500    14.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  354    0    0  354 /  500    14.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  356    0    0  356 /  500    14.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  359    0    0  359 /  500    14.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  362    0    0  362 /  500    14.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  366    0    0  366 /  500    14.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  369    0    0  369 /  500    15.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  373    0    0  373 /  500    15.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  376    0    0  376 /  500    15.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  378    0    0  378 /  500    15.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  382    0    0  382 /  500    15.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  385    0    0  385 /  500    15.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  387    0    0  387 /  500    16.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  391    0    0  391 /  500    16.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  395    0    0  395 /  500    16.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  398    0    0  398 /  500    16.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  402    0    0  402 /  500    16.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  405    0    0  405 /  500    16.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  409    0    0  409 /  500    17.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  413    0    0  413 /  500    17.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  415    0    0  415 /  500    17.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  419    0    0  419 /  500    17.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  423    0    0  423 /  500    17.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  427    0    0  427 /  500    17.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  430    0    0  430 /  500    17.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  433    0    0  433 /  500    17.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  437    0    0  437 /  500    18.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  440    0    0  440 /  500    18.1s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  443    0    0  443 /  500    18.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  446    0    0  446 /  500    18.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  450    0    0  450 /  500    18.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  454    0    0  454 /  500    18.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  457    0    0  457 /  500    18.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  460    0    0  460 /  500    18.9s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  462    0    0  462 /  500    19.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  464    0    0  464 /  500    19.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  468    0    0  468 /  500    19.3s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  472    0    0  472 /  500    19.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  476    0    0  476 /  500    19.6s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  480    0    0  480 /  500    19.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  483    0    0  483 /  500    19.8s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  485    0    0  485 /  500    20.0s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  489    0    0  489 /  500    20.2s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  490    0    0  490 /  500    20.4s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  494    0    0  494 /  500    20.5s Saturn_lockfree.michael_scott_queue_unsafe parallel
[ ]  498    0    0  498 /  500    20.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
[✓]  500    0    0  500 /  500    20.7s Saturn_lockfree.michael_scott_queue_unsafe parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/mpsc_queue && ./stm_mpsc_queue.exe)

random seed: 322001775
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

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Mpsc_queue parallel
[ ]    3    0    0    3 / 1000     0.1s Saturn_lockfree.Mpsc_queue parallel
[ ]    7    0    0    7 / 1000     0.2s Saturn_lockfree.Mpsc_queue parallel
[ ]   11    0    0   11 / 1000     0.3s Saturn_lockfree.Mpsc_queue parallel
[ ]   15    0    0   15 / 1000     0.5s Saturn_lockfree.Mpsc_queue parallel
[ ]   17    0    0   17 / 1000     0.6s Saturn_lockfree.Mpsc_queue parallel
[ ]   21    0    0   21 / 1000     0.7s Saturn_lockfree.Mpsc_queue parallel
[ ]   25    0    0   25 / 1000     0.8s Saturn_lockfree.Mpsc_queue parallel
[ ]   26    0    0   26 / 1000     0.9s Saturn_lockfree.Mpsc_queue parallel
[ ]   30    0    0   30 / 1000     1.1s Saturn_lockfree.Mpsc_queue parallel
[ ]   34    0    0   34 / 1000     1.2s Saturn_lockfree.Mpsc_queue parallel
[ ]   37    0    0   37 / 1000     1.3s Saturn_lockfree.Mpsc_queue parallel
[ ]   41    0    0   41 / 1000     1.5s Saturn_lockfree.Mpsc_queue parallel
[ ]   43    0    0   43 / 1000     1.6s Saturn_lockfree.Mpsc_queue parallel
[ ]   47    0    0   47 / 1000     1.7s Saturn_lockfree.Mpsc_queue parallel
[ ]   50    0    0   50 / 1000     1.9s Saturn_lockfree.Mpsc_queue parallel
[ ]   53    0    0   53 / 1000     2.0s Saturn_lockfree.Mpsc_queue parallel
[ ]   57    0    0   57 / 1000     2.1s Saturn_lockfree.Mpsc_queue parallel
[ ]   61    0    0   61 / 1000     2.2s Saturn_lockfree.Mpsc_queue parallel
[ ]   65    0    0   65 / 1000     2.4s Saturn_lockfree.Mpsc_queue parallel
[ ]   68    0    0   68 / 1000     2.5s Saturn_lockfree.Mpsc_queue parallel
[ ]   70    0    0   70 / 1000     2.6s Saturn_lockfree.Mpsc_queue parallel
[ ]   74    0    0   74 / 1000     2.7s Saturn_lockfree.Mpsc_queue parallel
[ ]   76    0    0   76 / 1000     2.9s Saturn_lockfree.Mpsc_queue parallel
[ ]   79    0    0   79 / 1000     3.0s Saturn_lockfree.Mpsc_queue parallel
[ ]   82    0    0   82 / 1000     3.1s Saturn_lockfree.Mpsc_queue parallel
[ ]   84    0    0   84 / 1000     3.2s Saturn_lockfree.Mpsc_queue parallel
[ ]   88    0    0   88 / 1000     3.3s Saturn_lockfree.Mpsc_queue parallel
[ ]   91    0    0   91 / 1000     3.4s Saturn_lockfree.Mpsc_queue parallel
[ ]   95    0    0   95 / 1000     3.6s Saturn_lockfree.Mpsc_queue parallel
[ ]   97    0    0   97 / 1000     3.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  100    0    0  100 / 1000     3.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  103    0    0  103 / 1000     3.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  105    0    0  105 / 1000     4.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  108    0    0  108 / 1000     4.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  112    0    0  112 / 1000     4.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  114    0    0  114 / 1000     4.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  117    0    0  117 / 1000     4.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  120    0    0  120 / 1000     4.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  124    0    0  124 / 1000     5.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  127    0    0  127 / 1000     5.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  130    0    0  130 / 1000     5.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  133    0    0  133 / 1000     5.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  136    0    0  136 / 1000     5.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  140    0    0  140 / 1000     5.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  143    0    0  143 / 1000     5.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  146    0    0  146 / 1000     6.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  150    0    0  150 / 1000     6.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  153    0    0  153 / 1000     6.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  156    0    0  156 / 1000     6.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  160    0    0  160 / 1000     6.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  163    0    0  163 / 1000     6.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  167    0    0  167 / 1000     7.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  170    0    0  170 / 1000     7.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  174    0    0  174 / 1000     7.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  177    0    0  177 / 1000     7.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  181    0    0  181 / 1000     7.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  182    0    0  182 / 1000     7.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  183    0    0  183 / 1000     7.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  187    0    0  187 / 1000     7.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  190    0    0  190 / 1000     8.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  193    0    0  193 / 1000     8.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  196    0    0  196 / 1000     8.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  199    0    0  199 / 1000     8.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  201    0    0  201 / 1000     8.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  202    0    0  202 / 1000     8.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  205    0    0  205 / 1000     9.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  208    0    0  208 / 1000     9.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  211    0    0  211 / 1000     9.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  214    0    0  214 / 1000     9.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  215    0    0  215 / 1000     9.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  218    0    0  218 / 1000     9.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  222    0    0  222 / 1000     9.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  226    0    0  226 / 1000     9.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  229    0    0  229 / 1000    10.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  232    0    0  232 / 1000    10.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  236    0    0  236 / 1000    10.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  239    0    0  239 / 1000    10.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  243    0    0  243 / 1000    10.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  247    0    0  247 / 1000    10.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  250    0    0  250 / 1000    10.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  254    0    0  254 / 1000    11.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  257    0    0  257 / 1000    11.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  261    0    0  261 / 1000    11.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  264    0    0  264 / 1000    11.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  268    0    0  268 / 1000    11.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  271    0    0  271 / 1000    11.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  275    0    0  275 / 1000    11.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  279    0    0  279 / 1000    11.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  283    0    0  283 / 1000    12.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  286    0    0  286 / 1000    12.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  290    0    0  290 / 1000    12.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  291    0    0  291 / 1000    12.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  292    0    0  292 / 1000    12.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  295    0    0  295 / 1000    12.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  296    0    0  296 / 1000    12.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  298    0    0  298 / 1000    13.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  302    0    0  302 / 1000    13.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  306    0    0  306 / 1000    13.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  310    0    0  310 / 1000    13.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  313    0    0  313 / 1000    13.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  317    0    0  317 / 1000    13.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  320    0    0  320 / 1000    13.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  323    0    0  323 / 1000    13.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  326    0    0  326 / 1000    14.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  329    0    0  329 / 1000    14.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  333    0    0  333 / 1000    14.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  335    0    0  335 / 1000    14.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  338    0    0  338 / 1000    14.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  340    0    0  340 / 1000    14.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  343    0    0  343 / 1000    14.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  344    0    0  344 / 1000    15.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  347    0    0  347 / 1000    15.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  349    0    0  349 / 1000    15.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  352    0    0  352 / 1000    15.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  356    0    0  356 / 1000    15.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  358    0    0  358 / 1000    15.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  361    0    0  361 / 1000    15.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  365    0    0  365 / 1000    16.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  369    0    0  369 / 1000    16.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  373    0    0  373 / 1000    16.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  376    0    0  376 / 1000    16.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  379    0    0  379 / 1000    16.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  383    0    0  383 / 1000    16.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  387    0    0  387 / 1000    16.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  388    0    0  388 / 1000    16.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  391    0    0  391 / 1000    17.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  395    0    0  395 / 1000    17.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  398    0    0  398 / 1000    17.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  401    0    0  401 / 1000    17.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  404    0    0  404 / 1000    17.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  408    0    0  408 / 1000    17.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  409    0    0  409 / 1000    17.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  413    0    0  413 / 1000    17.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  416    0    0  416 / 1000    18.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  420    0    0  420 / 1000    18.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  424    0    0  424 / 1000    18.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  427    0    0  427 / 1000    18.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  429    0    0  429 / 1000    18.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  433    0    0  433 / 1000    18.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  436    0    0  436 / 1000    18.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  439    0    0  439 / 1000    19.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  442    0    0  442 / 1000    19.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  446    0    0  446 / 1000    19.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  448    0    0  448 / 1000    19.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  452    0    0  452 / 1000    19.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  456    0    0  456 / 1000    19.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  460    0    0  460 / 1000    19.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  464    0    0  464 / 1000    19.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  468    0    0  468 / 1000    20.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  472    0    0  472 / 1000    20.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  473    0    0  473 / 1000    20.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  476    0    0  476 / 1000    20.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  479    0    0  479 / 1000    20.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  483    0    0  483 / 1000    20.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  487    0    0  487 / 1000    20.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  490    0    0  490 / 1000    20.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  494    0    0  494 / 1000    21.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  498    0    0  498 / 1000    21.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  502    0    0  502 / 1000    21.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  505    0    0  505 / 1000    21.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  508    0    0  508 / 1000    21.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  512    0    0  512 / 1000    21.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  513    0    0  513 / 1000    21.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  516    0    0  516 / 1000    21.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  519    0    0  519 / 1000    22.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  523    0    0  523 / 1000    22.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  527    0    0  527 / 1000    22.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  530    0    0  530 / 1000    22.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  532    0    0  532 / 1000    22.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  535    0    0  535 / 1000    22.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  538    0    0  538 / 1000    22.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  541    0    0  541 / 1000    23.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  544    0    0  544 / 1000    23.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  548    0    0  548 / 1000    23.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  552    0    0  552 / 1000    23.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  556    0    0  556 / 1000    23.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  559    0    0  559 / 1000    23.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  562    0    0  562 / 1000    23.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  566    0    0  566 / 1000    23.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  568    0    0  568 / 1000    24.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  571    0    0  571 / 1000    24.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  575    0    0  575 / 1000    24.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  577    0    0  577 / 1000    24.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  580    0    0  580 / 1000    24.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  583    0    0  583 / 1000    24.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  584    0    0  584 / 1000    24.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  587    0    0  587 / 1000    25.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  590    0    0  590 / 1000    25.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  593    0    0  593 / 1000    25.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  596    0    0  596 / 1000    25.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  599    0    0  599 / 1000    25.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  601    0    0  601 / 1000    25.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  602    0    0  602 / 1000    25.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  605    0    0  605 / 1000    26.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  608    0    0  608 / 1000    26.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  611    0    0  611 / 1000    26.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  615    0    0  615 / 1000    26.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  619    0    0  619 / 1000    26.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  623    0    0  623 / 1000    26.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  627    0    0  627 / 1000    26.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  631    0    0  631 / 1000    26.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  635    0    0  635 / 1000    27.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  638    0    0  638 / 1000    27.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  641    0    0  641 / 1000    27.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  643    0    0  643 / 1000    27.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  646    0    0  646 / 1000    27.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  650    0    0  650 / 1000    27.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  651    0    0  651 / 1000    27.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  653    0    0  653 / 1000    27.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  656    0    0  656 / 1000    28.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  660    0    0  660 / 1000    28.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  663    0    0  663 / 1000    28.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  667    0    0  667 / 1000    28.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  670    0    0  670 / 1000    28.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  673    0    0  673 / 1000    28.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  676    0    0  676 / 1000    28.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  678    0    0  678 / 1000    28.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  682    0    0  682 / 1000    29.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  685    0    0  685 / 1000    29.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  688    0    0  688 / 1000    29.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  690    0    0  690 / 1000    29.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  694    0    0  694 / 1000    29.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  697    0    0  697 / 1000    29.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  700    0    0  700 / 1000    29.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  703    0    0  703 / 1000    29.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  707    0    0  707 / 1000    30.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  710    0    0  710 / 1000    30.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  713    0    0  713 / 1000    30.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  716    0    0  716 / 1000    30.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  719    0    0  719 / 1000    30.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  721    0    0  721 / 1000    30.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  723    0    0  723 / 1000    30.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  727    0    0  727 / 1000    31.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  729    0    0  729 / 1000    31.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  732    0    0  732 / 1000    31.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  736    0    0  736 / 1000    31.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  740    0    0  740 / 1000    31.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  743    0    0  743 / 1000    31.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  746    0    0  746 / 1000    31.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  749    0    0  749 / 1000    32.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  752    0    0  752 / 1000    32.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  755    0    0  755 / 1000    32.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  758    0    0  758 / 1000    32.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  762    0    0  762 / 1000    32.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  765    0    0  765 / 1000    32.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  769    0    0  769 / 1000    32.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  773    0    0  773 / 1000    33.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  776    0    0  776 / 1000    33.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  780    0    0  780 / 1000    33.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  784    0    0  784 / 1000    33.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  788    0    0  788 / 1000    33.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  790    0    0  790 / 1000    33.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  794    0    0  794 / 1000    33.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  798    0    0  798 / 1000    33.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  801    0    0  801 / 1000    34.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  803    0    0  803 / 1000    34.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  806    0    0  806 / 1000    34.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  809    0    0  809 / 1000    34.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  811    0    0  811 / 1000    34.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  812    0    0  812 / 1000    34.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  816    0    0  816 / 1000    34.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  819    0    0  819 / 1000    34.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  823    0    0  823 / 1000    35.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  827    0    0  827 / 1000    35.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  831    0    0  831 / 1000    35.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  835    0    0  835 / 1000    35.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  839    0    0  839 / 1000    35.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  842    0    0  842 / 1000    35.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  845    0    0  845 / 1000    35.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  848    0    0  848 / 1000    36.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  852    0    0  852 / 1000    36.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  856    0    0  856 / 1000    36.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  859    0    0  859 / 1000    36.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  861    0    0  861 / 1000    36.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  865    0    0  865 / 1000    36.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  868    0    0  868 / 1000    36.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  871    0    0  871 / 1000    36.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  875    0    0  875 / 1000    37.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  878    0    0  878 / 1000    37.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  881    0    0  881 / 1000    37.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  884    0    0  884 / 1000    37.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  887    0    0  887 / 1000    37.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  890    0    0  890 / 1000    37.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  894    0    0  894 / 1000    37.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  897    0    0  897 / 1000    37.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  900    0    0  900 / 1000    38.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  904    0    0  904 / 1000    38.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  908    0    0  908 / 1000    38.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  910    0    0  910 / 1000    38.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  913    0    0  913 / 1000    38.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  917    0    0  917 / 1000    38.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  921    0    0  921 / 1000    38.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  925    0    0  925 / 1000    39.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  929    0    0  929 / 1000    39.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  931    0    0  931 / 1000    39.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  934    0    0  934 / 1000    39.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  936    0    0  936 / 1000    39.6s Saturn_lockfree.Mpsc_queue parallel
[ ]  939    0    0  939 / 1000    39.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  943    0    0  943 / 1000    39.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  944    0    0  944 / 1000    39.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  948    0    0  948 / 1000    40.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  951    0    0  951 / 1000    40.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  953    0    0  953 / 1000    40.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  956    0    0  956 / 1000    40.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  959    0    0  959 / 1000    40.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  961    0    0  961 / 1000    40.8s Saturn_lockfree.Mpsc_queue parallel
[ ]  964    0    0  964 / 1000    40.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  966    0    0  966 / 1000    41.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  968    0    0  968 / 1000    41.2s Saturn_lockfree.Mpsc_queue parallel
[ ]  972    0    0  972 / 1000    41.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  975    0    0  975 / 1000    41.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  977    0    0  977 / 1000    41.5s Saturn_lockfree.Mpsc_queue parallel
[ ]  979    0    0  979 / 1000    41.7s Saturn_lockfree.Mpsc_queue parallel
[ ]  982    0    0  982 / 1000    41.9s Saturn_lockfree.Mpsc_queue parallel
[ ]  986    0    0  986 / 1000    42.0s Saturn_lockfree.Mpsc_queue parallel
[ ]  990    0    0  990 / 1000    42.1s Saturn_lockfree.Mpsc_queue parallel
[ ]  993    0    0  993 / 1000    42.3s Saturn_lockfree.Mpsc_queue parallel
[ ]  995    0    0  995 / 1000    42.4s Saturn_lockfree.Mpsc_queue parallel
[ ]  999    0    0  999 / 1000    42.5s Saturn_lockfree.Mpsc_queue parallel
[✓] 1000    0    0 1000 / 1000    42.6s Saturn_lockfree.Mpsc_queue parallel

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Mpsc_queue parallel, negative
[ ]    0    0    0    0 / 1000     0.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:    6)
[ ]    0    0    0    0 / 1000     0.5s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:    7.0002)
[ ]    0    0    0    0 / 1000     0.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:    9.0002)
[ ]    0    0    0    0 / 1000     1.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   11.0002)
[ ]    0    0    0    0 / 1000     1.5s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   13.0002)
[ ]    0    0    0    0 / 1000     1.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   15.0002)
[ ]    0    0    0    0 / 1000     2.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   17.0002)
[ ]    0    0    0    0 / 1000     2.2s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   19)
[ ]    0    0    0    0 / 1000     2.5s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   19.0002)
[ ]    0    0    0    0 / 1000     2.9s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   21.0002)
[ ]    0    0    0    0 / 1000     3.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   22)
[ ]    0    0    0    0 / 1000     3.4s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   22.0002)
[ ]    0    0    0    0 / 1000     3.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   23.0002)
[ ]    0    0    0    0 / 1000     4.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   24.0002)
[ ]    0    0    0    0 / 1000     4.4s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   25.0002)
[ ]    0    0    0    0 / 1000     4.7s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   26.0002)
[ ]    0    0    0    0 / 1000     5.0s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   27.0002)
[ ]    0    0    0    0 / 1000     5.3s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   28.0002)
[ ]    0    0    0    0 / 1000     5.6s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   28.0003)
[ ]    0    0    0    0 / 1000     5.8s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30)
[ ]    0    0    0    0 / 1000     6.1s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0002)
[ ]    0    0    0    0 / 1000     6.4s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0003)
[ ]    0    0    0    0 / 1000     6.7s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0004)
[ ]    0    0    0    0 / 1000     7.0s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0005)
[ ]    0    0    0    0 / 1000     7.3s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0006)
[ ]    0    0    0    0 / 1000     7.6s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0007)
[ ]    0    0    0    0 / 1000     7.9s Saturn_lockfree.Mpsc_queue parallel, negative (shrinking:   30.0008)
[ ]    1    0    1    0 / 1000     8.2s Saturn_lockfree.Mpsc_queue parallel, negative
[✓]    1    0    1    0 / 1000     8.2s Saturn_lockfree.Mpsc_queue parallel, negative

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

Negative test Saturn_lockfree.Mpsc_queue parallel, negative failed as expected (30 shrink steps):

                         |               
                         |               
              .---------------------.
              |                     |               
          Push_head1               Pop              
           Push 74                                  
           Is_empty                                 
             Peek                                   
           Is_empty                                 


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

Messages for test Saturn_lockfree.Mpsc_queue parallel, negative:

  Results incompatible with linearized model

                                  |                        
                                  |                        
               .------------------------------------.
               |                                    |                        
     Push_head1 : Ok (())                     Pop : Ok (1)                   
       Push 74 : Ok (())                                                     
     Is_empty : Ok (false)                                                   
         Peek : Ok (0)                                                       
     Is_empty : Ok (false)                                                   

================================================================================
success (ran 3 tests)
(cd _build/default/test/size && ./stm_size.exe)

random seed: 427450658
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 parallel
[ ]    2    0    0    2 / 1000     0.2s Saturn_lockfree.Size parallel
[ ]    6    0    0    6 / 1000     0.3s Saturn_lockfree.Size parallel
[ ]   10    0    0   10 / 1000     0.4s Saturn_lockfree.Size parallel
[ ]   13    0    0   13 / 1000     0.6s Saturn_lockfree.Size parallel
[ ]   14    0    0   14 / 1000     0.7s Saturn_lockfree.Size parallel
[ ]   18    0    0   18 / 1000     0.8s Saturn_lockfree.Size parallel
[ ]   21    0    0   21 / 1000     1.1s Saturn_lockfree.Size parallel
[ ]   24    0    0   24 / 1000     1.2s Saturn_lockfree.Size parallel
[ ]   26    0    0   26 / 1000     1.5s Saturn_lockfree.Size parallel
[ ]   29    0    0   29 / 1000     1.6s Saturn_lockfree.Size parallel
[ ]   32    0    0   32 / 1000     1.9s Saturn_lockfree.Size parallel
[ ]   35    0    0   35 / 1000     2.0s Saturn_lockfree.Size parallel
[ ]   38    0    0   38 / 1000     2.2s Saturn_lockfree.Size parallel
[ ]   41    0    0   41 / 1000     2.4s Saturn_lockfree.Size parallel
[ ]   44    0    0   44 / 1000     2.5s Saturn_lockfree.Size parallel
[ ]   46    0    0   46 / 1000     2.6s Saturn_lockfree.Size parallel
[ ]   49    0    0   49 / 1000     2.7s Saturn_lockfree.Size parallel
[ ]   51    0    0   51 / 1000     2.9s Saturn_lockfree.Size parallel
[ ]   54    0    0   54 / 1000     3.0s Saturn_lockfree.Size parallel
[ ]   57    0    0   57 / 1000     3.1s Saturn_lockfree.Size parallel
[ ]   58    0    0   58 / 1000     3.3s Saturn_lockfree.Size parallel
[ ]   61    0    0   61 / 1000     3.4s Saturn_lockfree.Size parallel
[ ]   64    0    0   64 / 1000     3.8s Saturn_lockfree.Size parallel
[ ]   67    0    0   67 / 1000     3.9s Saturn_lockfree.Size parallel
[ ]   70    0    0   70 / 1000     4.0s Saturn_lockfree.Size parallel
[ ]   71    0    0   71 / 1000     4.2s Saturn_lockfree.Size parallel
[ ]   75    0    0   75 / 1000     4.4s Saturn_lockfree.Size parallel
[ ]   76    0    0   76 / 1000     4.6s Saturn_lockfree.Size parallel
[ ]   77    0    0   77 / 1000     4.8s Saturn_lockfree.Size parallel
[ ]   79    0    0   79 / 1000     4.9s Saturn_lockfree.Size parallel
[ ]   82    0    0   82 / 1000     5.0s Saturn_lockfree.Size parallel
[ ]   83    0    0   83 / 1000     5.4s Saturn_lockfree.Size parallel
[ ]   86    0    0   86 / 1000     5.5s Saturn_lockfree.Size parallel
[ ]   89    0    0   89 / 1000     5.7s Saturn_lockfree.Size parallel
[ ]   92    0    0   92 / 1000     5.8s Saturn_lockfree.Size parallel
[ ]   95    0    0   95 / 1000     5.9s Saturn_lockfree.Size parallel
[ ]   98    0    0   98 / 1000     6.2s Saturn_lockfree.Size parallel
[ ]  100    0    0  100 / 1000     6.3s Saturn_lockfree.Size parallel
[ ]  102    0    0  102 / 1000     6.4s Saturn_lockfree.Size parallel
[ ]  106    0    0  106 / 1000     6.5s Saturn_lockfree.Size parallel
[ ]  109    0    0  109 / 1000     6.6s Saturn_lockfree.Size parallel
[ ]  111    0    0  111 / 1000     6.8s Saturn_lockfree.Size parallel
[ ]  114    0    0  114 / 1000     7.0s Saturn_lockfree.Size parallel
[ ]  117    0    0  117 / 1000     7.2s Saturn_lockfree.Size parallel
[ ]  120    0    0  120 / 1000     7.3s Saturn_lockfree.Size parallel
[ ]  123    0    0  123 / 1000     7.4s Saturn_lockfree.Size parallel
[ ]  127    0    0  127 / 1000     7.5s Saturn_lockfree.Size parallel
[ ]  130    0    0  130 / 1000     7.9s Saturn_lockfree.Size parallel
[ ]  131    0    0  131 / 1000     8.1s Saturn_lockfree.Size parallel
[ ]  134    0    0  134 / 1000     8.3s Saturn_lockfree.Size parallel
[ ]  137    0    0  137 / 1000     8.4s Saturn_lockfree.Size parallel
[ ]  140    0    0  140 / 1000     8.5s Saturn_lockfree.Size parallel
[ ]  143    0    0  143 / 1000     8.7s Saturn_lockfree.Size parallel
[ ]  147    0    0  147 / 1000     8.8s Saturn_lockfree.Size parallel
[ ]  149    0    0  149 / 1000     9.0s Saturn_lockfree.Size parallel
[ ]  152    0    0  152 / 1000     9.1s Saturn_lockfree.Size parallel
[ ]  156    0    0  156 / 1000     9.2s Saturn_lockfree.Size parallel
[ ]  160    0    0  160 / 1000     9.4s Saturn_lockfree.Size parallel
[ ]  162    0    0  162 / 1000     9.5s Saturn_lockfree.Size parallel
[ ]  165    0    0  165 / 1000     9.6s Saturn_lockfree.Size parallel
[ ]  166    0    0  166 / 1000     9.8s Saturn_lockfree.Size parallel
[ ]  169    0    0  169 / 1000    10.0s Saturn_lockfree.Size parallel
[ ]  172    0    0  172 / 1000    10.1s Saturn_lockfree.Size parallel
[ ]  176    0    0  176 / 1000    10.3s Saturn_lockfree.Size parallel
[ ]  177    0    0  177 / 1000    10.5s Saturn_lockfree.Size parallel
[ ]  181    0    0  181 / 1000    10.6s Saturn_lockfree.Size parallel
[ ]  185    0    0  185 / 1000    10.7s Saturn_lockfree.Size parallel
[ ]  188    0    0  188 / 1000    10.9s Saturn_lockfree.Size parallel
[ ]  189    0    0  189 / 1000    11.2s Saturn_lockfree.Size parallel
[ ]  192    0    0  192 / 1000    11.3s Saturn_lockfree.Size parallel
[ ]  195    0    0  195 / 1000    11.4s Saturn_lockfree.Size parallel
[ ]  199    0    0  199 / 1000    11.5s Saturn_lockfree.Size parallel
[ ]  203    0    0  203 / 1000    11.7s Saturn_lockfree.Size parallel
[ ]  207    0    0  207 / 1000    11.8s Saturn_lockfree.Size parallel
[ ]  210    0    0  210 / 1000    11.9s Saturn_lockfree.Size parallel
[ ]  213    0    0  213 / 1000    12.0s Saturn_lockfree.Size parallel
[ ]  214    0    0  214 / 1000    12.1s Saturn_lockfree.Size parallel
[ ]  218    0    0  218 / 1000    12.3s Saturn_lockfree.Size parallel
[ ]  221    0    0  221 / 1000    12.4s Saturn_lockfree.Size parallel
[ ]  225    0    0  225 / 1000    12.5s Saturn_lockfree.Size parallel
[ ]  227    0    0  227 / 1000    12.7s Saturn_lockfree.Size parallel
[ ]  229    0    0  229 / 1000    12.8s Saturn_lockfree.Size parallel
[ ]  230    0    0  230 / 1000    13.0s Saturn_lockfree.Size parallel
[ ]  233    0    0  233 / 1000    13.2s Saturn_lockfree.Size parallel
[ ]  237    0    0  237 / 1000    13.3s Saturn_lockfree.Size parallel
[ ]  240    0    0  240 / 1000    13.4s Saturn_lockfree.Size parallel
[ ]  243    0    0  243 / 1000    13.5s Saturn_lockfree.Size parallel
[ ]  247    0    0  247 / 1000    13.6s Saturn_lockfree.Size parallel
[ ]  248    0    0  248 / 1000    14.0s Saturn_lockfree.Size parallel
[ ]  252    0    0  252 / 1000    14.2s Saturn_lockfree.Size parallel
[ ]  255    0    0  255 / 1000    14.3s Saturn_lockfree.Size parallel
[ ]  257    0    0  257 / 1000    14.4s Saturn_lockfree.Size parallel
[ ]  261    0    0  261 / 1000    14.7s Saturn_lockfree.Size parallel
[ ]  263    0    0  263 / 1000    15.0s Saturn_lockfree.Size parallel
[ ]  266    0    0  266 / 1000    15.2s Saturn_lockfree.Size parallel
[ ]  269    0    0  269 / 1000    15.6s Saturn_lockfree.Size parallel
[ ]  272    0    0  272 / 1000    15.7s Saturn_lockfree.Size parallel
[ ]  274    0    0  274 / 1000    15.8s Saturn_lockfree.Size parallel
[ ]  278    0    0  278 / 1000    15.9s Saturn_lockfree.Size parallel
[ ]  282    0    0  282 / 1000    16.1s Saturn_lockfree.Size parallel
[ ]  285    0    0  285 / 1000    16.2s Saturn_lockfree.Size parallel
[ ]  288    0    0  288 / 1000    16.3s Saturn_lockfree.Size parallel
[ ]  291    0    0  291 / 1000    16.4s Saturn_lockfree.Size parallel
[ ]  293    0    0  293 / 1000    16.5s Saturn_lockfree.Size parallel
[ ]  295    0    0  295 / 1000    16.7s Saturn_lockfree.Size parallel
[ ]  296    0    0  296 / 1000    17.0s Saturn_lockfree.Size parallel
[ ]  299    0    0  299 / 1000    17.4s Saturn_lockfree.Size parallel
[ ]  303    0    0  303 / 1000    17.7s Saturn_lockfree.Size parallel
[ ]  307    0    0  307 / 1000    17.8s Saturn_lockfree.Size parallel
[ ]  308    0    0  308 / 1000    18.1s Saturn_lockfree.Size parallel
[ ]  311    0    0  311 / 1000    18.2s Saturn_lockfree.Size parallel
[ ]  314    0    0  314 / 1000    18.3s Saturn_lockfree.Size parallel
[ ]  318    0    0  318 / 1000    18.5s Saturn_lockfree.Size parallel
[ ]  322    0    0  322 / 1000    18.6s Saturn_lockfree.Size parallel
[ ]  325    0    0  325 / 1000    18.8s Saturn_lockfree.Size parallel
[ ]  327    0    0  327 / 1000    19.0s Saturn_lockfree.Size parallel
[ ]  330    0    0  330 / 1000    19.2s Saturn_lockfree.Size parallel
[ ]  333    0    0  333 / 1000    19.4s Saturn_lockfree.Size parallel
[ ]  336    0    0  336 / 1000    19.7s Saturn_lockfree.Size parallel
[ ]  337    0    0  337 / 1000    19.9s Saturn_lockfree.Size parallel
[ ]  341    0    0  341 / 1000    20.1s Saturn_lockfree.Size parallel
[ ]  343    0    0  343 / 1000    20.5s Saturn_lockfree.Size parallel
[ ]  345    0    0  345 / 1000    20.6s Saturn_lockfree.Size parallel
[ ]  348    0    0  348 / 1000    20.8s Saturn_lockfree.Size parallel
[ ]  352    0    0  352 / 1000    20.9s Saturn_lockfree.Size parallel
[ ]  355    0    0  355 / 1000    21.1s Saturn_lockfree.Size parallel
[ ]  358    0    0  358 / 1000    21.2s Saturn_lockfree.Size parallel
[ ]  362    0    0  362 / 1000    21.5s Saturn_lockfree.Size parallel
[ ]  365    0    0  365 / 1000    21.6s Saturn_lockfree.Size parallel
[ ]  369    0    0  369 / 1000    21.7s Saturn_lockfree.Size parallel
[ ]  372    0    0  372 / 1000    21.9s Saturn_lockfree.Size parallel
[ ]  375    0    0  375 / 1000    22.0s Saturn_lockfree.Size parallel
[ ]  378    0    0  378 / 1000    22.1s Saturn_lockfree.Size parallel
[ ]  382    0    0  382 / 1000    22.3s Saturn_lockfree.Size parallel
[ ]  383    0    0  383 / 1000    22.5s Saturn_lockfree.Size parallel
[ ]  386    0    0  386 / 1000    22.6s Saturn_lockfree.Size parallel
[ ]  390    0    0  390 / 1000    22.7s Saturn_lockfree.Size parallel
[ ]  393    0    0  393 / 1000    22.8s Saturn_lockfree.Size parallel
[ ]  395    0    0  395 / 1000    23.0s Saturn_lockfree.Size parallel
[ ]  398    0    0  398 / 1000    23.1s Saturn_lockfree.Size parallel
[ ]  401    0    0  401 / 1000    23.2s Saturn_lockfree.Size parallel
[ ]  402    0    0  402 / 1000    23.5s Saturn_lockfree.Size parallel
[ ]  406    0    0  406 / 1000    23.6s Saturn_lockfree.Size parallel
[ ]  408    0    0  408 / 1000    23.7s Saturn_lockfree.Size parallel
[ ]  412    0    0  412 / 1000    23.9s Saturn_lockfree.Size parallel
[ ]  415    0    0  415 / 1000    24.0s Saturn_lockfree.Size parallel
[ ]  418    0    0  418 / 1000    24.1s Saturn_lockfree.Size parallel
[ ]  420    0    0  420 / 1000    24.3s Saturn_lockfree.Size parallel
[ ]  423    0    0  423 / 1000    24.4s Saturn_lockfree.Size parallel
[ ]  425    0    0  425 / 1000    24.5s Saturn_lockfree.Size parallel
[ ]  428    0    0  428 / 1000    24.6s Saturn_lockfree.Size parallel
[ ]  430    0    0  430 / 1000    25.0s Saturn_lockfree.Size parallel
[ ]  433    0    0  433 / 1000    25.2s Saturn_lockfree.Size parallel
[ ]  434    0    0  434 / 1000    25.3s Saturn_lockfree.Size parallel
[ ]  438    0    0  438 / 1000    25.4s Saturn_lockfree.Size parallel
[ ]  442    0    0  442 / 1000    25.6s Saturn_lockfree.Size parallel
[ ]  446    0    0  446 / 1000    25.7s Saturn_lockfree.Size parallel
[ ]  450    0    0  450 / 1000    25.8s Saturn_lockfree.Size parallel
[ ]  454    0    0  454 / 1000    25.9s Saturn_lockfree.Size parallel
[ ]  456    0    0  456 / 1000    26.2s Saturn_lockfree.Size parallel
[ ]  460    0    0  460 / 1000    26.3s Saturn_lockfree.Size parallel
[ ]  463    0    0  463 / 1000    26.5s Saturn_lockfree.Size parallel
[ ]  467    0    0  467 / 1000    26.6s Saturn_lockfree.Size parallel
[ ]  468    0    0  468 / 1000    26.8s Saturn_lockfree.Size parallel
[ ]  471    0    0  471 / 1000    27.0s Saturn_lockfree.Size parallel
[ ]  474    0    0  474 / 1000    27.2s Saturn_lockfree.Size parallel
[ ]  477    0    0  477 / 1000    27.3s Saturn_lockfree.Size parallel
[ ]  480    0    0  480 / 1000    27.4s Saturn_lockfree.Size parallel
[ ]  482    0    0  482 / 1000    27.6s Saturn_lockfree.Size parallel
[ ]  485    0    0  485 / 1000    27.7s Saturn_lockfree.Size parallel
[ ]  489    0    0  489 / 1000    27.9s Saturn_lockfree.Size parallel
[ ]  491    0    0  491 / 1000    28.0s Saturn_lockfree.Size parallel
[ ]  493    0    0  493 / 1000    28.2s Saturn_lockfree.Size parallel
[ ]  495    0    0  495 / 1000    28.4s Saturn_lockfree.Size parallel
[ ]  499    0    0  499 / 1000    28.5s Saturn_lockfree.Size parallel
[ ]  503    0    0  503 / 1000    28.6s Saturn_lockfree.Size parallel
[ ]  506    0    0  506 / 1000    28.9s Saturn_lockfree.Size parallel
[ ]  509    0    0  509 / 1000    29.0s Saturn_lockfree.Size parallel
[ ]  513    0    0  513 / 1000    29.1s Saturn_lockfree.Size parallel
[ ]  515    0    0  515 / 1000    29.3s Saturn_lockfree.Size parallel
[ ]  519    0    0  519 / 1000    29.4s Saturn_lockfree.Size parallel
[ ]  522    0    0  522 / 1000    29.6s Saturn_lockfree.Size parallel
[ ]  526    0    0  526 / 1000    29.8s Saturn_lockfree.Size parallel
[ ]  528    0    0  528 / 1000    30.0s Saturn_lockfree.Size parallel
[ ]  532    0    0  532 / 1000    30.2s Saturn_lockfree.Size parallel
[ ]  534    0    0  534 / 1000    30.3s Saturn_lockfree.Size parallel
[ ]  538    0    0  538 / 1000    30.4s Saturn_lockfree.Size parallel
[ ]  541    0    0  541 / 1000    30.5s Saturn_lockfree.Size parallel
[ ]  544    0    0  544 / 1000    30.6s Saturn_lockfree.Size parallel
[ ]  546    0    0  546 / 1000    30.8s Saturn_lockfree.Size parallel
[ ]  549    0    0  549 / 1000    30.9s Saturn_lockfree.Size parallel
[ ]  553    0    0  553 / 1000    31.1s Saturn_lockfree.Size parallel
[ ]  556    0    0  556 / 1000    31.2s Saturn_lockfree.Size parallel
[ ]  559    0    0  559 / 1000    31.4s Saturn_lockfree.Size parallel
[ ]  563    0    0  563 / 1000    31.6s Saturn_lockfree.Size parallel
[ ]  566    0    0  566 / 1000    31.7s Saturn_lockfree.Size parallel
[ ]  568    0    0  568 / 1000    31.9s Saturn_lockfree.Size parallel
[ ]  569    0    0  569 / 1000    32.1s Saturn_lockfree.Size parallel
[ ]  572    0    0  572 / 1000    32.2s Saturn_lockfree.Size parallel
[ ]  574    0    0  574 / 1000    32.4s Saturn_lockfree.Size parallel
[ ]  577    0    0  577 / 1000    32.5s Saturn_lockfree.Size parallel
[ ]  579    0    0  579 / 1000    32.7s Saturn_lockfree.Size parallel
[ ]  583    0    0  583 / 1000    32.8s Saturn_lockfree.Size parallel
[ ]  587    0    0  587 / 1000    32.9s Saturn_lockfree.Size parallel
[ ]  591    0    0  591 / 1000    33.1s Saturn_lockfree.Size parallel
[ ]  594    0    0  594 / 1000    33.2s Saturn_lockfree.Size parallel
[ ]  597    0    0  597 / 1000    33.3s Saturn_lockfree.Size parallel
[ ]  600    0    0  600 / 1000    33.4s Saturn_lockfree.Size parallel
[ ]  601    0    0  601 / 1000    33.7s Saturn_lockfree.Size parallel
[ ]  605    0    0  605 / 1000    33.8s Saturn_lockfree.Size parallel
[ ]  609    0    0  609 / 1000    33.9s Saturn_lockfree.Size parallel
[ ]  613    0    0  613 / 1000    34.1s Saturn_lockfree.Size parallel
[ ]  615    0    0  615 / 1000    34.2s Saturn_lockfree.Size parallel
[ ]  618    0    0  618 / 1000    34.3s Saturn_lockfree.Size parallel
[ ]  622    0    0  622 / 1000    34.4s Saturn_lockfree.Size parallel
[ ]  625    0    0  625 / 1000    34.6s Saturn_lockfree.Size parallel
[ ]  628    0    0  628 / 1000    34.7s Saturn_lockfree.Size parallel
[ ]  629    0    0  629 / 1000    34.9s Saturn_lockfree.Size parallel
[ ]  633    0    0  633 / 1000    35.0s Saturn_lockfree.Size parallel
[ ]  637    0    0  637 / 1000    35.1s Saturn_lockfree.Size parallel
[ ]  640    0    0  640 / 1000    35.2s Saturn_lockfree.Size parallel
[ ]  643    0    0  643 / 1000    35.4s Saturn_lockfree.Size parallel
[ ]  647    0    0  647 / 1000    35.5s Saturn_lockfree.Size parallel
[ ]  648    0    0  648 / 1000    35.7s Saturn_lockfree.Size parallel
[ ]  650    0    0  650 / 1000    36.2s Saturn_lockfree.Size parallel
[ ]  654    0    0  654 / 1000    36.3s Saturn_lockfree.Size parallel
[ ]  657    0    0  657 / 1000    36.4s Saturn_lockfree.Size parallel
[ ]  660    0    0  660 / 1000    36.5s Saturn_lockfree.Size parallel
[ ]  663    0    0  663 / 1000    36.7s Saturn_lockfree.Size parallel
[ ]  664    0    0  664 / 1000    36.8s Saturn_lockfree.Size parallel
[ ]  667    0    0  667 / 1000    36.9s Saturn_lockfree.Size parallel
[ ]  671    0    0  671 / 1000    37.1s Saturn_lockfree.Size parallel
[ ]  674    0    0  674 / 1000    37.2s Saturn_lockfree.Size parallel
[ ]  678    0    0  678 / 1000    37.4s Saturn_lockfree.Size parallel
[ ]  681    0    0  681 / 1000    37.5s Saturn_lockfree.Size parallel
[ ]  684    0    0  684 / 1000    37.6s Saturn_lockfree.Size parallel
[ ]  686    0    0  686 / 1000    37.7s Saturn_lockfree.Size parallel
[ ]  690    0    0  690 / 1000    37.9s Saturn_lockfree.Size parallel
[ ]  694    0    0  694 / 1000    38.0s Saturn_lockfree.Size parallel
[ ]  698    0    0  698 / 1000    38.1s Saturn_lockfree.Size parallel
[ ]  702    0    0  702 / 1000    38.4s Saturn_lockfree.Size parallel
[ ]  703    0    0  703 / 1000    38.8s Saturn_lockfree.Size parallel
[ ]  705    0    0  705 / 1000    39.0s Saturn_lockfree.Size parallel
[ ]  709    0    0  709 / 1000    39.1s Saturn_lockfree.Size parallel
[ ]  713    0    0  713 / 1000    39.5s Saturn_lockfree.Size parallel
[ ]  716    0    0  716 / 1000    39.6s Saturn_lockfree.Size parallel
[ ]  718    0    0  718 / 1000    39.7s Saturn_lockfree.Size parallel
[ ]  722    0    0  722 / 1000    39.9s Saturn_lockfree.Size parallel
[ ]  725    0    0  725 / 1000    40.0s Saturn_lockfree.Size parallel
[ ]  729    0    0  729 / 1000    40.1s Saturn_lockfree.Size parallel
[ ]  732    0    0  732 / 1000    40.2s Saturn_lockfree.Size parallel
[ ]  734    0    0  734 / 1000    40.4s Saturn_lockfree.Size parallel
[ ]  737    0    0  737 / 1000    40.5s Saturn_lockfree.Size parallel
[ ]  740    0    0  740 / 1000    40.9s Saturn_lockfree.Size parallel
[ ]  743    0    0  743 / 1000    41.2s Saturn_lockfree.Size parallel
[ ]  746    0    0  746 / 1000    41.5s Saturn_lockfree.Size parallel
[ ]  749    0    0  749 / 1000    41.6s Saturn_lockfree.Size parallel
[ ]  752    0    0  752 / 1000    41.9s Saturn_lockfree.Size parallel
[ ]  754    0    0  754 / 1000    42.0s Saturn_lockfree.Size parallel
[ ]  757    0    0  757 / 1000    42.1s Saturn_lockfree.Size parallel
[ ]  760    0    0  760 / 1000    42.3s Saturn_lockfree.Size parallel
[ ]  764    0    0  764 / 1000    42.4s Saturn_lockfree.Size parallel
[ ]  767    0    0  767 / 1000    42.6s Saturn_lockfree.Size parallel
[ ]  768    0    0  768 / 1000    42.9s Saturn_lockfree.Size parallel
[ ]  771    0    0  771 / 1000    43.0s Saturn_lockfree.Size parallel
[ ]  774    0    0  774 / 1000    43.2s Saturn_lockfree.Size parallel
[ ]  778    0    0  778 / 1000    43.3s Saturn_lockfree.Size parallel
[ ]  781    0    0  781 / 1000    43.4s Saturn_lockfree.Size parallel
[ ]  783    0    0  783 / 1000    43.6s Saturn_lockfree.Size parallel
[ ]  785    0    0  785 / 1000    43.7s Saturn_lockfree.Size parallel
[ ]  788    0    0  788 / 1000    43.8s Saturn_lockfree.Size parallel
[ ]  790    0    0  790 / 1000    44.1s Saturn_lockfree.Size parallel
[ ]  793    0    0  793 / 1000    44.2s Saturn_lockfree.Size parallel
[ ]  797    0    0  797 / 1000    44.4s Saturn_lockfree.Size parallel
[ ]  801    0    0  801 / 1000    44.6s Saturn_lockfree.Size parallel
[ ]  802    0    0  802 / 1000    44.8s Saturn_lockfree.Size parallel
[ ]  804    0    0  804 / 1000    45.0s Saturn_lockfree.Size parallel
[ ]  807    0    0  807 / 1000    45.1s Saturn_lockfree.Size parallel
[ ]  808    0    0  808 / 1000    45.4s Saturn_lockfree.Size parallel
[ ]  810    0    0  810 / 1000    45.5s Saturn_lockfree.Size parallel
[ ]  814    0    0  814 / 1000    45.6s Saturn_lockfree.Size parallel
[ ]  817    0    0  817 / 1000    45.8s Saturn_lockfree.Size parallel
[ ]  821    0    0  821 / 1000    45.9s Saturn_lockfree.Size parallel
[ ]  824    0    0  824 / 1000    46.2s Saturn_lockfree.Size parallel
[ ]  827    0    0  827 / 1000    46.3s Saturn_lockfree.Size parallel
[ ]  830    0    0  830 / 1000    46.4s Saturn_lockfree.Size parallel
[ ]  833    0    0  833 / 1000    46.5s Saturn_lockfree.Size parallel
[ ]  835    0    0  835 / 1000    46.6s Saturn_lockfree.Size parallel
[ ]  838    0    0  838 / 1000    46.7s Saturn_lockfree.Size parallel
[ ]  842    0    0  842 / 1000    47.0s Saturn_lockfree.Size parallel
[ ]  846    0    0  846 / 1000    47.1s Saturn_lockfree.Size parallel
[ ]  850    0    0  850 / 1000    47.2s Saturn_lockfree.Size parallel
[ ]  854    0    0  854 / 1000    47.3s Saturn_lockfree.Size parallel
[ ]  857    0    0  857 / 1000    47.5s Saturn_lockfree.Size parallel
[ ]  860    0    0  860 / 1000    47.8s Saturn_lockfree.Size parallel
[ ]  864    0    0  864 / 1000    47.9s Saturn_lockfree.Size parallel
[ ]  868    0    0  868 / 1000    48.0s Saturn_lockfree.Size parallel
[ ]  871    0    0  871 / 1000    48.2s Saturn_lockfree.Size parallel
[ ]  875    0    0  875 / 1000    48.3s Saturn_lockfree.Size parallel
[ ]  879    0    0  879 / 1000    48.4s Saturn_lockfree.Size parallel
[ ]  882    0    0  882 / 1000    48.6s Saturn_lockfree.Size parallel
[ ]  886    0    0  886 / 1000    48.7s Saturn_lockfree.Size parallel
[ ]  888    0    0  888 / 1000    48.8s Saturn_lockfree.Size parallel
[ ]  891    0    0  891 / 1000    49.0s Saturn_lockfree.Size parallel
[ ]  894    0    0  894 / 1000    49.1s Saturn_lockfree.Size parallel
[ ]  897    0    0  897 / 1000    49.2s Saturn_lockfree.Size parallel
[ ]  901    0    0  901 / 1000    49.3s Saturn_lockfree.Size parallel
[ ]  905    0    0  905 / 1000    49.8s Saturn_lockfree.Size parallel
[ ]  909    0    0  909 / 1000    49.9s Saturn_lockfree.Size parallel
[ ]  911    0    0  911 / 1000    50.0s Saturn_lockfree.Size parallel
[ ]  915    0    0  915 / 1000    50.1s Saturn_lockfree.Size parallel
[ ]  919    0    0  919 / 1000    50.3s Saturn_lockfree.Size parallel
[ ]  922    0    0  922 / 1000    50.4s Saturn_lockfree.Size parallel
[ ]  925    0    0  925 / 1000    50.5s Saturn_lockfree.Size parallel
[ ]  929    0    0  929 / 1000    50.6s Saturn_lockfree.Size parallel
[ ]  932    0    0  932 / 1000    50.8s Saturn_lockfree.Size parallel
[ ]  936    0    0  936 / 1000    51.0s Saturn_lockfree.Size parallel
[ ]  940    0    0  940 / 1000    51.1s Saturn_lockfree.Size parallel
[ ]  943    0    0  943 / 1000    51.3s Saturn_lockfree.Size parallel
[ ]  946    0    0  946 / 1000    51.4s Saturn_lockfree.Size parallel
[ ]  950    0    0  950 / 1000    51.8s Saturn_lockfree.Size parallel
[ ]  954    0    0  954 / 1000    51.9s Saturn_lockfree.Size parallel
[ ]  956    0    0  956 / 1000    52.2s Saturn_lockfree.Size parallel
[ ]  960    0    0  960 / 1000    52.3s Saturn_lockfree.Size parallel
[ ]  961    0    0  961 / 1000    52.6s Saturn_lockfree.Size parallel
[ ]  965    0    0  965 / 1000    52.7s Saturn_lockfree.Size parallel
[ ]  968    0    0  968 / 1000    52.8s Saturn_lockfree.Size parallel
[ ]  972    0    0  972 / 1000    52.9s Saturn_lockfree.Size parallel
[ ]  976    0    0  976 / 1000    53.0s Saturn_lockfree.Size parallel
[ ]  978    0    0  978 / 1000    53.2s Saturn_lockfree.Size parallel
[ ]  981    0    0  981 / 1000    53.3s Saturn_lockfree.Size parallel
[ ]  983    0    0  983 / 1000    53.7s Saturn_lockfree.Size parallel
[ ]  986    0    0  986 / 1000    53.8s Saturn_lockfree.Size parallel
[ ]  988    0    0  988 / 1000    53.9s Saturn_lockfree.Size parallel
[ ]  991    0    0  991 / 1000    54.1s Saturn_lockfree.Size parallel
[ ]  995    0    0  995 / 1000    54.2s Saturn_lockfree.Size parallel
[ ]  999    0    0  999 / 1000    54.4s Saturn_lockfree.Size parallel
[ ] 1000    0    0 1000 / 1000    54.5s Saturn_lockfree.Size parallel
[✓] 1000    0    0 1000 / 1000    54.5s Saturn_lockfree.Size parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/skiplist && ./stm_skiplist.exe)

random seed: 403441266
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 parallel
[ ]    3    0    0    3 / 1000     0.1s Lockfree.Skiplist parallel
[ ]    7    0    0    7 / 1000     0.3s Lockfree.Skiplist parallel
[ ]   11    0    0   11 / 1000     0.5s Lockfree.Skiplist parallel
[ ]   12    0    0   12 / 1000     0.8s Lockfree.Skiplist parallel
[ ]   16    0    0   16 / 1000     1.0s Lockfree.Skiplist parallel
[ ]   20    0    0   20 / 1000     1.1s Lockfree.Skiplist parallel
[ ]   21    0    0   21 / 1000     1.2s Lockfree.Skiplist parallel
[ ]   25    0    0   25 / 1000     1.3s Lockfree.Skiplist parallel
[ ]   28    0    0   28 / 1000     1.5s Lockfree.Skiplist parallel
[ ]   31    0    0   31 / 1000     2.1s Lockfree.Skiplist parallel
[ ]   32    0    0   32 / 1000     2.2s Lockfree.Skiplist parallel
[ ]   35    0    0   35 / 1000     2.3s Lockfree.Skiplist parallel
[ ]   38    0    0   38 / 1000     2.4s Lockfree.Skiplist parallel
[ ]   41    0    0   41 / 1000     2.5s Lockfree.Skiplist parallel
[ ]   43    0    0   43 / 1000     2.6s Lockfree.Skiplist parallel
[ ]   45    0    0   45 / 1000     3.1s Lockfree.Skiplist parallel
[ ]   49    0    0   49 / 1000     3.2s Lockfree.Skiplist parallel
[ ]   53    0    0   53 / 1000     3.4s Lockfree.Skiplist parallel
[ ]   57    0    0   57 / 1000     3.6s Lockfree.Skiplist parallel
[ ]   59    0    0   59 / 1000     3.7s Lockfree.Skiplist parallel
[ ]   63    0    0   63 / 1000     4.1s Lockfree.Skiplist parallel
[ ]   66    0    0   66 / 1000     4.2s Lockfree.Skiplist parallel
[ ]   70    0    0   70 / 1000     4.3s Lockfree.Skiplist parallel
[ ]   73    0    0   73 / 1000     4.4s Lockfree.Skiplist parallel
[ ]   75    0    0   75 / 1000     4.6s Lockfree.Skiplist parallel
[ ]   78    0    0   78 / 1000     4.7s Lockfree.Skiplist parallel
[ ]   81    0    0   81 / 1000     4.8s Lockfree.Skiplist parallel
[ ]   84    0    0   84 / 1000     4.9s Lockfree.Skiplist parallel
[ ]   87    0    0   87 / 1000     5.1s Lockfree.Skiplist parallel
[ ]   91    0    0   91 / 1000     5.5s Lockfree.Skiplist parallel
[ ]   94    0    0   94 / 1000     5.6s Lockfree.Skiplist parallel
[ ]   97    0    0   97 / 1000     5.7s Lockfree.Skiplist parallel
[ ]   98    0    0   98 / 1000     5.8s Lockfree.Skiplist parallel
[ ]  101    0    0  101 / 1000     5.9s Lockfree.Skiplist parallel
[ ]  103    0    0  103 / 1000     6.3s Lockfree.Skiplist parallel
[ ]  107    0    0  107 / 1000     6.4s Lockfree.Skiplist parallel
[ ]  111    0    0  111 / 1000     6.6s Lockfree.Skiplist parallel
[ ]  115    0    0  115 / 1000     6.7s Lockfree.Skiplist parallel
[ ]  116    0    0  116 / 1000     7.0s Lockfree.Skiplist parallel
[ ]  117    0    0  117 / 1000     7.2s Lockfree.Skiplist parallel
[ ]  120    0    0  120 / 1000     7.3s Lockfree.Skiplist parallel
[ ]  123    0    0  123 / 1000     7.4s Lockfree.Skiplist parallel
[ ]  126    0    0  126 / 1000     7.5s Lockfree.Skiplist parallel
[ ]  128    0    0  128 / 1000     8.1s Lockfree.Skiplist parallel
[ ]  131    0    0  131 / 1000     8.2s Lockfree.Skiplist parallel
[ ]  134    0    0  134 / 1000     8.3s Lockfree.Skiplist parallel
[ ]  137    0    0  137 / 1000     8.4s Lockfree.Skiplist parallel
[ ]  140    0    0  140 / 1000     8.5s Lockfree.Skiplist parallel
[ ]  142    0    0  142 / 1000     8.7s Lockfree.Skiplist parallel
[ ]  143    0    0  143 / 1000     8.9s Lockfree.Skiplist parallel
[ ]  147    0    0  147 / 1000     9.0s Lockfree.Skiplist parallel
[ ]  150    0    0  150 / 1000     9.2s Lockfree.Skiplist parallel
[ ]  151    0    0  151 / 1000     9.8s Lockfree.Skiplist parallel
[ ]  155    0    0  155 / 1000     9.9s Lockfree.Skiplist parallel
[ ]  158    0    0  158 / 1000    10.0s Lockfree.Skiplist parallel
[ ]  161    0    0  161 / 1000    10.1s Lockfree.Skiplist parallel
[ ]  164    0    0  164 / 1000    10.2s Lockfree.Skiplist parallel
[ ]  168    0    0  168 / 1000    10.4s Lockfree.Skiplist parallel
[ ]  171    0    0  171 / 1000    10.5s Lockfree.Skiplist parallel
[ ]  175    0    0  175 / 1000    10.6s Lockfree.Skiplist parallel
[ ]  177    0    0  177 / 1000    10.8s Lockfree.Skiplist parallel
[ ]  181    0    0  181 / 1000    10.9s Lockfree.Skiplist parallel
[ ]  184    0    0  184 / 1000    11.0s Lockfree.Skiplist parallel
[ ]  187    0    0  187 / 1000    11.2s Lockfree.Skiplist parallel
[ ]  191    0    0  191 / 1000    11.3s Lockfree.Skiplist parallel
[ ]  194    0    0  194 / 1000    11.4s Lockfree.Skiplist parallel
[ ]  197    0    0  197 / 1000    11.5s Lockfree.Skiplist parallel
[ ]  199    0    0  199 / 1000    11.7s Lockfree.Skiplist parallel
[ ]  200    0    0  200 / 1000    11.9s Lockfree.Skiplist parallel
[ ]  203    0    0  203 / 1000    12.0s Lockfree.Skiplist parallel
[ ]  206    0    0  206 / 1000    12.2s Lockfree.Skiplist parallel
[ ]  209    0    0  209 / 1000    12.4s Lockfree.Skiplist parallel
[ ]  212    0    0  212 / 1000    12.5s Lockfree.Skiplist parallel
[ ]  213    0    0  213 / 1000    12.7s Lockfree.Skiplist parallel
[ ]  216    0    0  216 / 1000    12.8s Lockfree.Skiplist parallel
[ ]  217    0    0  217 / 1000    13.0s Lockfree.Skiplist parallel
[ ]  220    0    0  220 / 1000    13.1s Lockfree.Skiplist parallel
[ ]  224    0    0  224 / 1000    13.2s Lockfree.Skiplist parallel
[ ]  226    0    0  226 / 1000    13.4s Lockfree.Skiplist parallel
[ ]  230    0    0  230 / 1000    13.5s Lockfree.Skiplist parallel
[ ]  233    0    0  233 / 1000    13.6s Lockfree.Skiplist parallel
[ ]  236    0    0  236 / 1000    13.7s Lockfree.Skiplist parallel
[ ]  237    0    0  237 / 1000    13.9s Lockfree.Skiplist parallel
[ ]  241    0    0  241 / 1000    14.0s Lockfree.Skiplist parallel
[ ]  242    0    0  242 / 1000    14.1s Lockfree.Skiplist parallel
[ ]  245    0    0  245 / 1000    14.2s Lockfree.Skiplist parallel
[ ]  249    0    0  249 / 1000    14.4s Lockfree.Skiplist parallel
[ ]  253    0    0  253 / 1000    14.5s Lockfree.Skiplist parallel
[ ]  257    0    0  257 / 1000    14.6s Lockfree.Skiplist parallel
[ ]  258    0    0  258 / 1000    14.8s Lockfree.Skiplist parallel
[ ]  261    0    0  261 / 1000    14.9s Lockfree.Skiplist parallel
[ ]  263    0    0  263 / 1000    15.1s Lockfree.Skiplist parallel
[ ]  267    0    0  267 / 1000    15.2s Lockfree.Skiplist parallel
[ ]  271    0    0  271 / 1000    15.3s Lockfree.Skiplist parallel
[ ]  274    0    0  274 / 1000    15.4s Lockfree.Skiplist parallel
[ ]  278    0    0  278 / 1000    15.6s Lockfree.Skiplist parallel
[ ]  280    0    0  280 / 1000    15.8s Lockfree.Skiplist parallel
[ ]  282    0    0  282 / 1000    16.0s Lockfree.Skiplist parallel
[ ]  285    0    0  285 / 1000    16.2s Lockfree.Skiplist parallel
[ ]  287    0    0  287 / 1000    16.3s Lockfree.Skiplist parallel
[ ]  288    0    0  288 / 1000    16.4s Lockfree.Skiplist parallel
[ ]  290    0    0  290 / 1000    16.6s Lockfree.Skiplist parallel
[ ]  293    0    0  293 / 1000    16.8s Lockfree.Skiplist parallel
[ ]  296    0    0  296 / 1000    16.9s Lockfree.Skiplist parallel
[ ]  297    0    0  297 / 1000    17.2s Lockfree.Skiplist parallel
[ ]  300    0    0  300 / 1000    17.3s Lockfree.Skiplist parallel
[ ]  303    0    0  303 / 1000    17.5s Lockfree.Skiplist parallel
[ ]  305    0    0  305 / 1000    17.6s Lockfree.Skiplist parallel
[ ]  306    0    0  306 / 1000    18.1s Lockfree.Skiplist parallel
[ ]  307    0    0  307 / 1000    18.2s Lockfree.Skiplist parallel
[ ]  310    0    0  310 / 1000    18.3s Lockfree.Skiplist parallel
[ ]  314    0    0  314 / 1000    18.4s Lockfree.Skiplist parallel
[ ]  317    0    0  317 / 1000    18.6s Lockfree.Skiplist parallel
[ ]  320    0    0  320 / 1000    18.9s Lockfree.Skiplist parallel
[ ]  324    0    0  324 / 1000    19.2s Lockfree.Skiplist parallel
[ ]  327    0    0  327 / 1000    19.4s Lockfree.Skiplist parallel
[ ]  331    0    0  331 / 1000    19.5s Lockfree.Skiplist parallel
[ ]  332    0    0  332 / 1000    19.7s Lockfree.Skiplist parallel
[ ]  335    0    0  335 / 1000    20.0s Lockfree.Skiplist parallel
[ ]  338    0    0  338 / 1000    20.3s Lockfree.Skiplist parallel
[ ]  340    0    0  340 / 1000    20.6s Lockfree.Skiplist parallel
[ ]  342    0    0  342 / 1000    20.9s Lockfree.Skiplist parallel
[ ]  345    0    0  345 / 1000    21.0s Lockfree.Skiplist parallel
[ ]  349    0    0  349 / 1000    21.3s Lockfree.Skiplist parallel
[ ]  351    0    0  351 / 1000    21.6s Lockfree.Skiplist parallel
[ ]  354    0    0  354 / 1000    22.1s Lockfree.Skiplist parallel
[ ]  357    0    0  357 / 1000    22.2s Lockfree.Skiplist parallel
[ ]  361    0    0  361 / 1000    22.3s Lockfree.Skiplist parallel
[ ]  362    0    0  362 / 1000    22.5s Lockfree.Skiplist parallel
[ ]  364    0    0  364 / 1000    22.7s Lockfree.Skiplist parallel
[ ]  368    0    0  368 / 1000    22.9s Lockfree.Skiplist parallel
[ ]  369    0    0  369 / 1000    23.0s Lockfree.Skiplist parallel
[ ]  373    0    0  373 / 1000    23.1s Lockfree.Skiplist parallel
[ ]  376    0    0  376 / 1000    23.2s Lockfree.Skiplist parallel
[ ]  379    0    0  379 / 1000    23.3s Lockfree.Skiplist parallel
[ ]  382    0    0  382 / 1000    23.4s Lockfree.Skiplist parallel
[ ]  386    0    0  386 / 1000    23.6s Lockfree.Skiplist parallel
[ ]  390    0    0  390 / 1000    23.8s Lockfree.Skiplist parallel
[ ]  393    0    0  393 / 1000    24.1s Lockfree.Skiplist parallel
[ ]  395    0    0  395 / 1000    24.2s Lockfree.Skiplist parallel
[ ]  398    0    0  398 / 1000    24.3s Lockfree.Skiplist parallel
[ ]  400    0    0  400 / 1000    24.4s Lockfree.Skiplist parallel
[ ]  401    0    0  401 / 1000    24.7s Lockfree.Skiplist parallel
[ ]  404    0    0  404 / 1000    25.0s Lockfree.Skiplist parallel
[ ]  405    0    0  405 / 1000    25.3s Lockfree.Skiplist parallel
[ ]  408    0    0  408 / 1000    25.4s Lockfree.Skiplist parallel
[ ]  411    0    0  411 / 1000    25.5s Lockfree.Skiplist parallel
[ ]  415    0    0  415 / 1000    25.6s Lockfree.Skiplist parallel
[ ]  419    0    0  419 / 1000    25.9s Lockfree.Skiplist parallel
[ ]  422    0    0  422 / 1000    26.1s Lockfree.Skiplist parallel
[ ]  424    0    0  424 / 1000    26.2s Lockfree.Skiplist parallel
[ ]  428    0    0  428 / 1000    26.4s Lockfree.Skiplist parallel
[ ]  430    0    0  430 / 1000    26.7s Lockfree.Skiplist parallel
[ ]  434    0    0  434 / 1000    26.8s Lockfree.Skiplist parallel
[ ]  438    0    0  438 / 1000    27.0s Lockfree.Skiplist parallel
[ ]  440    0    0  440 / 1000    27.1s Lockfree.Skiplist parallel
[ ]  443    0    0  443 / 1000    27.2s Lockfree.Skiplist parallel
[ ]  446    0    0  446 / 1000    27.3s Lockfree.Skiplist parallel
[ ]  449    0    0  449 / 1000    27.4s Lockfree.Skiplist parallel
[ ]  452    0    0  452 / 1000    27.5s Lockfree.Skiplist parallel
[ ]  454    0    0  454 / 1000    27.7s Lockfree.Skiplist parallel
[ ]  457    0    0  457 / 1000    27.8s Lockfree.Skiplist parallel
[ ]  461    0    0  461 / 1000    27.9s Lockfree.Skiplist parallel
[ ]  464    0    0  464 / 1000    28.0s Lockfree.Skiplist parallel
[ ]  467    0    0  467 / 1000    28.1s Lockfree.Skiplist parallel
[ ]  471    0    0  471 / 1000    28.2s Lockfree.Skiplist parallel
[ ]  475    0    0  475 / 1000    28.4s Lockfree.Skiplist parallel
[ ]  479    0    0  479 / 1000    28.5s Lockfree.Skiplist parallel
[ ]  483    0    0  483 / 1000    28.6s Lockfree.Skiplist parallel
[ ]  486    0    0  486 / 1000    28.8s Lockfree.Skiplist parallel
[ ]  487    0    0  487 / 1000    28.9s Lockfree.Skiplist parallel
[ ]  489    0    0  489 / 1000    29.2s Lockfree.Skiplist parallel
[ ]  493    0    0  493 / 1000    29.3s Lockfree.Skiplist parallel
[ ]  497    0    0  497 / 1000    29.5s Lockfree.Skiplist parallel
[ ]  500    0    0  500 / 1000    29.7s Lockfree.Skiplist parallel
[ ]  504    0    0  504 / 1000    29.8s Lockfree.Skiplist parallel
[ ]  508    0    0  508 / 1000    29.9s Lockfree.Skiplist parallel
[ ]  509    0    0  509 / 1000    30.2s Lockfree.Skiplist parallel
[ ]  512    0    0  512 / 1000    30.3s Lockfree.Skiplist parallel
[ ]  515    0    0  515 / 1000    30.4s Lockfree.Skiplist parallel
[ ]  517    0    0  517 / 1000    30.6s Lockfree.Skiplist parallel
[ ]  521    0    0  521 / 1000    30.7s Lockfree.Skiplist parallel
[ ]  525    0    0  525 / 1000    30.8s Lockfree.Skiplist parallel
[ ]  528    0    0  528 / 1000    30.9s Lockfree.Skiplist parallel
[ ]  530    0    0  530 / 1000    31.1s Lockfree.Skiplist parallel
[ ]  532    0    0  532 / 1000    31.2s Lockfree.Skiplist parallel
[ ]  536    0    0  536 / 1000    31.4s Lockfree.Skiplist parallel
[ ]  538    0    0  538 / 1000    31.5s Lockfree.Skiplist parallel
[ ]  540    0    0  540 / 1000    31.8s Lockfree.Skiplist parallel
[ ]  543    0    0  543 / 1000    31.9s Lockfree.Skiplist parallel
[ ]  547    0    0  547 / 1000    32.0s Lockfree.Skiplist parallel
[ ]  551    0    0  551 / 1000    32.2s Lockfree.Skiplist parallel
[ ]  555    0    0  555 / 1000    32.4s Lockfree.Skiplist parallel
[ ]  558    0    0  558 / 1000    32.5s Lockfree.Skiplist parallel
[ ]  562    0    0  562 / 1000    32.6s Lockfree.Skiplist parallel
[ ]  564    0    0  564 / 1000    32.7s Lockfree.Skiplist parallel
[ ]  568    0    0  568 / 1000    33.1s Lockfree.Skiplist parallel
[ ]  571    0    0  571 / 1000    33.2s Lockfree.Skiplist parallel
[ ]  575    0    0  575 / 1000    33.3s Lockfree.Skiplist parallel
[ ]  578    0    0  578 / 1000    33.5s Lockfree.Skiplist parallel
[ ]  581    0    0  581 / 1000    33.6s Lockfree.Skiplist parallel
[ ]  583    0    0  583 / 1000    33.7s Lockfree.Skiplist parallel
[ ]  586    0    0  586 / 1000    33.8s Lockfree.Skiplist parallel
[ ]  590    0    0  590 / 1000    33.9s Lockfree.Skiplist parallel
[ ]  592    0    0  592 / 1000    34.1s Lockfree.Skiplist parallel
[ ]  596    0    0  596 / 1000    34.3s Lockfree.Skiplist parallel
[ ]  597    0    0  597 / 1000    34.5s Lockfree.Skiplist parallel
[ ]  601    0    0  601 / 1000    34.6s Lockfree.Skiplist parallel
[ ]  605    0    0  605 / 1000    34.8s Lockfree.Skiplist parallel
[ ]  608    0    0  608 / 1000    34.9s Lockfree.Skiplist parallel
[ ]  611    0    0  611 / 1000    35.1s Lockfree.Skiplist parallel
[ ]  614    0    0  614 / 1000    35.2s Lockfree.Skiplist parallel
[ ]  617    0    0  617 / 1000    35.3s Lockfree.Skiplist parallel
[ ]  620    0    0  620 / 1000    35.4s Lockfree.Skiplist parallel
[ ]  623    0    0  623 / 1000    35.5s Lockfree.Skiplist parallel
[ ]  625    0    0  625 / 1000    35.6s Lockfree.Skiplist parallel
[ ]  629    0    0  629 / 1000    35.8s Lockfree.Skiplist parallel
[ ]  632    0    0  632 / 1000    35.9s Lockfree.Skiplist parallel
[ ]  635    0    0  635 / 1000    36.0s Lockfree.Skiplist parallel
[ ]  637    0    0  637 / 1000    36.1s Lockfree.Skiplist parallel
[ ]  639    0    0  639 / 1000    36.2s Lockfree.Skiplist parallel
[ ]  642    0    0  642 / 1000    36.4s Lockfree.Skiplist parallel
[ ]  645    0    0  645 / 1000    36.5s Lockfree.Skiplist parallel
[ ]  648    0    0  648 / 1000    36.6s Lockfree.Skiplist parallel
[ ]  651    0    0  651 / 1000    36.8s Lockfree.Skiplist parallel
[ ]  654    0    0  654 / 1000    36.9s Lockfree.Skiplist parallel
[ ]  658    0    0  658 / 1000    37.0s Lockfree.Skiplist parallel
[ ]  662    0    0  662 / 1000    37.2s Lockfree.Skiplist parallel
[ ]  663    0    0  663 / 1000    37.5s Lockfree.Skiplist parallel
[ ]  664    0    0  664 / 1000    37.7s Lockfree.Skiplist parallel
[ ]  666    0    0  666 / 1000    37.9s Lockfree.Skiplist parallel
[ ]  670    0    0  670 / 1000    38.2s Lockfree.Skiplist parallel
[ ]  672    0    0  672 / 1000    38.3s Lockfree.Skiplist parallel
[ ]  675    0    0  675 / 1000    38.6s Lockfree.Skiplist parallel
[ ]  679    0    0  679 / 1000    38.7s Lockfree.Skiplist parallel
[ ]  682    0    0  682 / 1000    38.8s Lockfree.Skiplist parallel
[ ]  685    0    0  685 / 1000    38.9s Lockfree.Skiplist parallel
[ ]  689    0    0  689 / 1000    39.0s Lockfree.Skiplist parallel
[ ]  692    0    0  692 / 1000    39.2s Lockfree.Skiplist parallel
[ ]  696    0    0  696 / 1000    39.3s Lockfree.Skiplist parallel
[ ]  700    0    0  700 / 1000    39.4s Lockfree.Skiplist parallel
[ ]  703    0    0  703 / 1000    39.7s Lockfree.Skiplist parallel
[ ]  707    0    0  707 / 1000    39.8s Lockfree.Skiplist parallel
[ ]  711    0    0  711 / 1000    39.9s Lockfree.Skiplist parallel
[ ]  713    0    0  713 / 1000    40.2s Lockfree.Skiplist parallel
[ ]  716    0    0  716 / 1000    40.3s Lockfree.Skiplist parallel
[ ]  717    0    0  717 / 1000    40.6s Lockfree.Skiplist parallel
[ ]  718    0    0  718 / 1000    40.7s Lockfree.Skiplist parallel
[ ]  721    0    0  721 / 1000    40.8s Lockfree.Skiplist parallel
[ ]  725    0    0  725 / 1000    41.0s Lockfree.Skiplist parallel
[ ]  726    0    0  726 / 1000    41.2s Lockfree.Skiplist parallel
[ ]  728    0    0  728 / 1000    41.5s Lockfree.Skiplist parallel
[ ]  732    0    0  732 / 1000    41.6s Lockfree.Skiplist parallel
[ ]  734    0    0  734 / 1000    41.7s Lockfree.Skiplist parallel
[ ]  736    0    0  736 / 1000    41.8s Lockfree.Skiplist parallel
[ ]  740    0    0  740 / 1000    42.0s Lockfree.Skiplist parallel
[ ]  743    0    0  743 / 1000    42.1s Lockfree.Skiplist parallel
[ ]  747    0    0  747 / 1000    42.2s Lockfree.Skiplist parallel
[ ]  750    0    0  750 / 1000    42.4s Lockfree.Skiplist parallel
[ ]  754    0    0  754 / 1000    42.5s Lockfree.Skiplist parallel
[ ]  758    0    0  758 / 1000    42.7s Lockfree.Skiplist parallel
[ ]  759    0    0  759 / 1000    42.9s Lockfree.Skiplist parallel
[ ]  762    0    0  762 / 1000    43.1s Lockfree.Skiplist parallel
[ ]  766    0    0  766 / 1000    43.2s Lockfree.Skiplist parallel
[ ]  768    0    0  768 / 1000    43.3s Lockfree.Skiplist parallel
[ ]  772    0    0  772 / 1000    43.4s Lockfree.Skiplist parallel
[ ]  776    0    0  776 / 1000    43.6s Lockfree.Skiplist parallel
[ ]  779    0    0  779 / 1000    43.7s Lockfree.Skiplist parallel
[ ]  782    0    0  782 / 1000    44.0s Lockfree.Skiplist parallel
[ ]  785    0    0  785 / 1000    44.1s Lockfree.Skiplist parallel
[ ]  789    0    0  789 / 1000    44.2s Lockfree.Skiplist parallel
[ ]  792    0    0  792 / 1000    44.3s Lockfree.Skiplist parallel
[ ]  796    0    0  796 / 1000    44.5s Lockfree.Skiplist parallel
[ ]  800    0    0  800 / 1000    44.6s Lockfree.Skiplist parallel
[ ]  803    0    0  803 / 1000    44.8s Lockfree.Skiplist parallel
[ ]  807    0    0  807 / 1000    44.9s Lockfree.Skiplist parallel
[ ]  810    0    0  810 / 1000    45.0s Lockfree.Skiplist parallel
[ ]  812    0    0  812 / 1000    45.1s Lockfree.Skiplist parallel
[ ]  815    0    0  815 / 1000    45.2s Lockfree.Skiplist parallel
[ ]  818    0    0  818 / 1000    45.3s Lockfree.Skiplist parallel
[ ]  821    0    0  821 / 1000    45.7s Lockfree.Skiplist parallel
[ ]  823    0    0  823 / 1000    46.0s Lockfree.Skiplist parallel
[ ]  824    0    0  824 / 1000    46.2s Lockfree.Skiplist parallel
[ ]  828    0    0  828 / 1000    46.3s Lockfree.Skiplist parallel
[ ]  832    0    0  832 / 1000    46.5s Lockfree.Skiplist parallel
[ ]  836    0    0  836 / 1000    46.6s Lockfree.Skiplist parallel
[ ]  840    0    0  840 / 1000    46.7s Lockfree.Skiplist parallel
[ ]  843    0    0  843 / 1000    46.8s Lockfree.Skiplist parallel
[ ]  847    0    0  847 / 1000    47.0s Lockfree.Skiplist parallel
[ ]  850    0    0  850 / 1000    47.1s Lockfree.Skiplist parallel
[ ]  853    0    0  853 / 1000    47.2s Lockfree.Skiplist parallel
[ ]  855    0    0  855 / 1000    47.3s Lockfree.Skiplist parallel
[ ]  859    0    0  859 / 1000    47.5s Lockfree.Skiplist parallel
[ ]  860    0    0  860 / 1000    47.7s Lockfree.Skiplist parallel
[ ]  864    0    0  864 / 1000    47.8s Lockfree.Skiplist parallel
[ ]  867    0    0  867 / 1000    47.9s Lockfree.Skiplist parallel
[ ]  871    0    0  871 / 1000    48.2s Lockfree.Skiplist parallel
[ ]  875    0    0  875 / 1000    48.3s Lockfree.Skiplist parallel
[ ]  876    0    0  876 / 1000    48.6s Lockfree.Skiplist parallel
[ ]  880    0    0  880 / 1000    48.7s Lockfree.Skiplist parallel
[ ]  882    0    0  882 / 1000    48.8s Lockfree.Skiplist parallel
[ ]  885    0    0  885 / 1000    48.9s Lockfree.Skiplist parallel
[ ]  889    0    0  889 / 1000    49.0s Lockfree.Skiplist parallel
[ ]  893    0    0  893 / 1000    49.2s Lockfree.Skiplist parallel
[ ]  895    0    0  895 / 1000    49.3s Lockfree.Skiplist parallel
[ ]  896    0    0  896 / 1000    49.5s Lockfree.Skiplist parallel
[ ]  900    0    0  900 / 1000    49.6s Lockfree.Skiplist parallel
[ ]  901    0    0  901 / 1000    49.8s Lockfree.Skiplist parallel
[ ]  905    0    0  905 / 1000    50.0s Lockfree.Skiplist parallel
[ ]  909    0    0  909 / 1000    50.1s Lockfree.Skiplist parallel
[ ]  912    0    0  912 / 1000    50.3s Lockfree.Skiplist parallel
[ ]  913    0    0  913 / 1000    50.6s Lockfree.Skiplist parallel
[ ]  916    0    0  916 / 1000    50.7s Lockfree.Skiplist parallel
[ ]  920    0    0  920 / 1000    50.8s Lockfree.Skiplist parallel
[ ]  923    0    0  923 / 1000    51.1s Lockfree.Skiplist parallel
[ ]  926    0    0  926 / 1000    51.2s Lockfree.Skiplist parallel
[ ]  929    0    0  929 / 1000    51.4s Lockfree.Skiplist parallel
[ ]  930    0    0  930 / 1000    51.6s Lockfree.Skiplist parallel
[ ]  934    0    0  934 / 1000    51.7s Lockfree.Skiplist parallel
[ ]  936    0    0  936 / 1000    51.8s Lockfree.Skiplist parallel
[ ]  939    0    0  939 / 1000    52.0s Lockfree.Skiplist parallel
[ ]  943    0    0  943 / 1000    52.1s Lockfree.Skiplist parallel
[ ]  947    0    0  947 / 1000    52.6s Lockfree.Skiplist parallel
[ ]  951    0    0  951 / 1000    52.7s Lockfree.Skiplist parallel
[ ]  954    0    0  954 / 1000    52.8s Lockfree.Skiplist parallel
[ ]  957    0    0  957 / 1000    53.3s Lockfree.Skiplist parallel
[ ]  961    0    0  961 / 1000    53.4s Lockfree.Skiplist parallel
[ ]  965    0    0  965 / 1000    53.5s Lockfree.Skiplist parallel
[ ]  966    0    0  966 / 1000    53.8s Lockfree.Skiplist parallel
[ ]  968    0    0  968 / 1000    53.9s Lockfree.Skiplist parallel
[ ]  972    0    0  972 / 1000    54.0s Lockfree.Skiplist parallel
[ ]  975    0    0  975 / 1000    54.2s Lockfree.Skiplist parallel
[ ]  978    0    0  978 / 1000    54.3s Lockfree.Skiplist parallel
[ ]  979    0    0  979 / 1000    54.5s Lockfree.Skiplist parallel
[ ]  981    0    0  981 / 1000    54.7s Lockfree.Skiplist parallel
[ ]  982    0    0  982 / 1000    54.9s Lockfree.Skiplist parallel
[ ]  986    0    0  986 / 1000    55.0s Lockfree.Skiplist parallel
[ ]  988    0    0  988 / 1000    55.3s Lockfree.Skiplist parallel
[ ]  991    0    0  991 / 1000    55.4s Lockfree.Skiplist parallel
[ ]  995    0    0  995 / 1000    55.5s Lockfree.Skiplist parallel
[ ]  998    0    0  998 / 1000    55.9s Lockfree.Skiplist parallel
[ ]  999    0    0  999 / 1000    56.3s Lockfree.Skiplist parallel
[✓] 1000    0    0 1000 / 1000    56.3s Lockfree.Skiplist parallel
================================================================================
success (ran 2 tests)
(cd _build/default/test/spsc_queue && ./stm_spsc_queue.exe)

random seed: 192740044
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

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue parallel
[ ]    2    0    0    2 / 1000     0.2s Saturn_lockfree.Spsc_queue parallel
[ ]   11    0    0   11 / 1000     0.3s Saturn_lockfree.Spsc_queue parallel
[ ]   19    0    0   19 / 1000     0.4s Saturn_lockfree.Spsc_queue parallel
[ ]   24    0    0   24 / 1000     0.6s Saturn_lockfree.Spsc_queue parallel
[ ]   32    0    0   32 / 1000     0.7s Saturn_lockfree.Spsc_queue parallel
[ ]   38    0    0   38 / 1000     0.8s Saturn_lockfree.Spsc_queue parallel
[ ]   46    0    0   46 / 1000     0.9s Saturn_lockfree.Spsc_queue parallel
[ ]   53    0    0   53 / 1000     1.2s Saturn_lockfree.Spsc_queue parallel
[ ]   56    0    0   56 / 1000     1.3s Saturn_lockfree.Spsc_queue parallel
[ ]   62    0    0   62 / 1000     1.4s Saturn_lockfree.Spsc_queue parallel
[ ]   65    0    0   65 / 1000     1.7s Saturn_lockfree.Spsc_queue parallel
[ ]   73    0    0   73 / 1000     1.8s Saturn_lockfree.Spsc_queue parallel
[ ]   74    0    0   74 / 1000     2.1s Saturn_lockfree.Spsc_queue parallel
[ ]   76    0    0   76 / 1000     2.3s Saturn_lockfree.Spsc_queue parallel
[ ]   84    0    0   84 / 1000     2.5s Saturn_lockfree.Spsc_queue parallel
[ ]   89    0    0   89 / 1000     2.8s Saturn_lockfree.Spsc_queue parallel
[ ]   95    0    0   95 / 1000     2.9s Saturn_lockfree.Spsc_queue parallel
[ ]  102    0    0  102 / 1000     3.0s Saturn_lockfree.Spsc_queue parallel
[ ]  108    0    0  108 / 1000     3.2s Saturn_lockfree.Spsc_queue parallel
[ ]  110    0    0  110 / 1000     3.3s Saturn_lockfree.Spsc_queue parallel
[ ]  112    0    0  112 / 1000     3.4s Saturn_lockfree.Spsc_queue parallel
[ ]  114    0    0  114 / 1000     3.5s Saturn_lockfree.Spsc_queue parallel
[ ]  120    0    0  120 / 1000     3.6s Saturn_lockfree.Spsc_queue parallel
[ ]  122    0    0  122 / 1000     3.8s Saturn_lockfree.Spsc_queue parallel
[ ]  128    0    0  128 / 1000     4.0s Saturn_lockfree.Spsc_queue parallel
[ ]  129    0    0  129 / 1000     4.1s Saturn_lockfree.Spsc_queue parallel
[ ]  132    0    0  132 / 1000     4.4s Saturn_lockfree.Spsc_queue parallel
[ ]  137    0    0  137 / 1000     4.9s Saturn_lockfree.Spsc_queue parallel
[ ]  145    0    0  145 / 1000     5.0s Saturn_lockfree.Spsc_queue parallel
[ ]  149    0    0  149 / 1000     5.1s Saturn_lockfree.Spsc_queue parallel
[ ]  155    0    0  155 / 1000     5.4s Saturn_lockfree.Spsc_queue parallel
[ ]  161    0    0  161 / 1000     5.5s Saturn_lockfree.Spsc_queue parallel
[ ]  166    0    0  166 / 1000     5.6s Saturn_lockfree.Spsc_queue parallel
[ ]  173    0    0  173 / 1000     5.7s Saturn_lockfree.Spsc_queue parallel
[ ]  177    0    0  177 / 1000     5.8s Saturn_lockfree.Spsc_queue parallel
[ ]  180    0    0  180 / 1000     6.0s Saturn_lockfree.Spsc_queue parallel
[ ]  182    0    0  182 / 1000     6.1s Saturn_lockfree.Spsc_queue parallel
[ ]  188    0    0  188 / 1000     6.2s Saturn_lockfree.Spsc_queue parallel
[ ]  191    0    0  191 / 1000     6.6s Saturn_lockfree.Spsc_queue parallel
[ ]  193    0    0  193 / 1000     6.8s Saturn_lockfree.Spsc_queue parallel
[ ]  200    0    0  200 / 1000     6.9s Saturn_lockfree.Spsc_queue parallel
[ ]  204    0    0  204 / 1000     7.1s Saturn_lockfree.Spsc_queue parallel
[ ]  213    0    0  213 / 1000     7.2s Saturn_lockfree.Spsc_queue parallel
[ ]  214    0    0  214 / 1000     7.3s Saturn_lockfree.Spsc_queue parallel
[ ]  218    0    0  218 / 1000     7.4s Saturn_lockfree.Spsc_queue parallel
[ ]  223    0    0  223 / 1000     7.5s Saturn_lockfree.Spsc_queue parallel
[ ]  229    0    0  229 / 1000     7.8s Saturn_lockfree.Spsc_queue parallel
[ ]  236    0    0  236 / 1000     7.9s Saturn_lockfree.Spsc_queue parallel
[ ]  242    0    0  242 / 1000     8.1s Saturn_lockfree.Spsc_queue parallel
[ ]  248    0    0  248 / 1000     8.2s Saturn_lockfree.Spsc_queue parallel
[ ]  249    0    0  249 / 1000     8.4s Saturn_lockfree.Spsc_queue parallel
[ ]  250    0    0  250 / 1000     8.5s Saturn_lockfree.Spsc_queue parallel
[ ]  256    0    0  256 / 1000     9.5s Saturn_lockfree.Spsc_queue parallel
[ ]  262    0    0  262 / 1000     9.7s Saturn_lockfree.Spsc_queue parallel
[ ]  267    0    0  267 / 1000    10.0s Saturn_lockfree.Spsc_queue parallel
[ ]  272    0    0  272 / 1000    10.4s Saturn_lockfree.Spsc_queue parallel
[ ]  277    0    0  277 / 1000    10.6s Saturn_lockfree.Spsc_queue parallel
[ ]  283    0    0  283 / 1000    10.7s Saturn_lockfree.Spsc_queue parallel
[ ]  290    0    0  290 / 1000    10.8s Saturn_lockfree.Spsc_queue parallel
[ ]  293    0    0  293 / 1000    11.2s Saturn_lockfree.Spsc_queue parallel
[ ]  299    0    0  299 / 1000    11.4s Saturn_lockfree.Spsc_queue parallel
[ ]  307    0    0  307 / 1000    11.5s Saturn_lockfree.Spsc_queue parallel
[ ]  314    0    0  314 / 1000    11.6s Saturn_lockfree.Spsc_queue parallel
[ ]  317    0    0  317 / 1000    11.7s Saturn_lockfree.Spsc_queue parallel
[ ]  324    0    0  324 / 1000    11.8s Saturn_lockfree.Spsc_queue parallel
[ ]  328    0    0  328 / 1000    12.1s Saturn_lockfree.Spsc_queue parallel
[ ]  334    0    0  334 / 1000    12.2s Saturn_lockfree.Spsc_queue parallel
[ ]  340    0    0  340 / 1000    12.3s Saturn_lockfree.Spsc_queue parallel
[ ]  347    0    0  347 / 1000    12.4s Saturn_lockfree.Spsc_queue parallel
[ ]  352    0    0  352 / 1000    12.6s Saturn_lockfree.Spsc_queue parallel
[ ]  355    0    0  355 / 1000    12.9s Saturn_lockfree.Spsc_queue parallel
[ ]  363    0    0  363 / 1000    13.0s Saturn_lockfree.Spsc_queue parallel
[ ]  366    0    0  366 / 1000    13.1s Saturn_lockfree.Spsc_queue parallel
[ ]  373    0    0  373 / 1000    13.3s Saturn_lockfree.Spsc_queue parallel
[ ]  380    0    0  380 / 1000    13.7s Saturn_lockfree.Spsc_queue parallel
[ ]  382    0    0  382 / 1000    14.1s Saturn_lockfree.Spsc_queue parallel
[ ]  385    0    0  385 / 1000    14.5s Saturn_lockfree.Spsc_queue parallel
[ ]  387    0    0  387 / 1000    14.8s Saturn_lockfree.Spsc_queue parallel
[ ]  393    0    0  393 / 1000    14.9s Saturn_lockfree.Spsc_queue parallel
[ ]  399    0    0  399 / 1000    15.2s Saturn_lockfree.Spsc_queue parallel
[ ]  404    0    0  404 / 1000    15.4s Saturn_lockfree.Spsc_queue parallel
[ ]  405    0    0  405 / 1000    15.6s Saturn_lockfree.Spsc_queue parallel
[ ]  410    0    0  410 / 1000    15.7s Saturn_lockfree.Spsc_queue parallel
[ ]  412    0    0  412 / 1000    15.8s Saturn_lockfree.Spsc_queue parallel
[ ]  414    0    0  414 / 1000    16.1s Saturn_lockfree.Spsc_queue parallel
[ ]  420    0    0  420 / 1000    16.2s Saturn_lockfree.Spsc_queue parallel
[ ]  424    0    0  424 / 1000    16.3s Saturn_lockfree.Spsc_queue parallel
[ ]  427    0    0  427 / 1000    16.8s Saturn_lockfree.Spsc_queue parallel
[ ]  432    0    0  432 / 1000    16.9s Saturn_lockfree.Spsc_queue parallel
[ ]  435    0    0  435 / 1000    17.1s Saturn_lockfree.Spsc_queue parallel
[ ]  442    0    0  442 / 1000    17.4s Saturn_lockfree.Spsc_queue parallel
[ ]  450    0    0  450 / 1000    17.7s Saturn_lockfree.Spsc_queue parallel
[ ]  452    0    0  452 / 1000    18.1s Saturn_lockfree.Spsc_queue parallel
[ ]  459    0    0  459 / 1000    18.2s Saturn_lockfree.Spsc_queue parallel
[ ]  460    0    0  460 / 1000    18.4s Saturn_lockfree.Spsc_queue parallel
[ ]  461    0    0  461 / 1000    18.6s Saturn_lockfree.Spsc_queue parallel
[ ]  465    0    0  465 / 1000    18.8s Saturn_lockfree.Spsc_queue parallel
[ ]  466    0    0  466 / 1000    18.9s Saturn_lockfree.Spsc_queue parallel
[ ]  471    0    0  471 / 1000    19.0s Saturn_lockfree.Spsc_queue parallel
[ ]  472    0    0  472 / 1000    19.2s Saturn_lockfree.Spsc_queue parallel
[ ]  476    0    0  476 / 1000    19.4s Saturn_lockfree.Spsc_queue parallel
[ ]  478    0    0  478 / 1000    19.5s Saturn_lockfree.Spsc_queue parallel
[ ]  480    0    0  480 / 1000    19.6s Saturn_lockfree.Spsc_queue parallel
[ ]  484    0    0  484 / 1000    19.8s Saturn_lockfree.Spsc_queue parallel
[ ]  493    0    0  493 / 1000    20.2s Saturn_lockfree.Spsc_queue parallel
[ ]  501    0    0  501 / 1000    20.3s Saturn_lockfree.Spsc_queue parallel
[ ]  506    0    0  506 / 1000    20.4s Saturn_lockfree.Spsc_queue parallel
[ ]  509    0    0  509 / 1000    20.5s Saturn_lockfree.Spsc_queue parallel
[ ]  514    0    0  514 / 1000    20.7s Saturn_lockfree.Spsc_queue parallel
[ ]  515    0    0  515 / 1000    20.8s Saturn_lockfree.Spsc_queue parallel
[ ]  517    0    0  517 / 1000    21.0s Saturn_lockfree.Spsc_queue parallel
[ ]  525    0    0  525 / 1000    21.1s Saturn_lockfree.Spsc_queue parallel
[ ]  532    0    0  532 / 1000    21.2s Saturn_lockfree.Spsc_queue parallel
[ ]  536    0    0  536 / 1000    21.4s Saturn_lockfree.Spsc_queue parallel
[ ]  544    0    0  544 / 1000    21.5s Saturn_lockfree.Spsc_queue parallel
[ ]  545    0    0  545 / 1000    21.7s Saturn_lockfree.Spsc_queue parallel
[ ]  549    0    0  549 / 1000    21.8s Saturn_lockfree.Spsc_queue parallel
[ ]  553    0    0  553 / 1000    22.3s Saturn_lockfree.Spsc_queue parallel
[ ]  558    0    0  558 / 1000    22.4s Saturn_lockfree.Spsc_queue parallel
[ ]  561    0    0  561 / 1000    22.5s Saturn_lockfree.Spsc_queue parallel
[ ]  567    0    0  567 / 1000    22.6s Saturn_lockfree.Spsc_queue parallel
[ ]  570    0    0  570 / 1000    22.7s Saturn_lockfree.Spsc_queue parallel
[ ]  576    0    0  576 / 1000    22.8s Saturn_lockfree.Spsc_queue parallel
[ ]  578    0    0  578 / 1000    23.0s Saturn_lockfree.Spsc_queue parallel
[ ]  580    0    0  580 / 1000    23.2s Saturn_lockfree.Spsc_queue parallel
[ ]  581    0    0  581 / 1000    23.4s Saturn_lockfree.Spsc_queue parallel
[ ]  585    0    0  585 / 1000    23.5s Saturn_lockfree.Spsc_queue parallel
[ ]  589    0    0  589 / 1000    23.7s Saturn_lockfree.Spsc_queue parallel
[ ]  593    0    0  593 / 1000    23.9s Saturn_lockfree.Spsc_queue parallel
[ ]  596    0    0  596 / 1000    24.0s Saturn_lockfree.Spsc_queue parallel
[ ]  601    0    0  601 / 1000    24.3s Saturn_lockfree.Spsc_queue parallel
[ ]  608    0    0  608 / 1000    24.5s Saturn_lockfree.Spsc_queue parallel
[ ]  613    0    0  613 / 1000    24.6s Saturn_lockfree.Spsc_queue parallel
[ ]  620    0    0  620 / 1000    24.7s Saturn_lockfree.Spsc_queue parallel
[ ]  621    0    0  621 / 1000    24.8s Saturn_lockfree.Spsc_queue parallel
[ ]  630    0    0  630 / 1000    25.0s Saturn_lockfree.Spsc_queue parallel
[ ]  636    0    0  636 / 1000    25.1s Saturn_lockfree.Spsc_queue parallel
[ ]  640    0    0  640 / 1000    25.2s Saturn_lockfree.Spsc_queue parallel
[ ]  647    0    0  647 / 1000    25.3s Saturn_lockfree.Spsc_queue parallel
[ ]  653    0    0  653 / 1000    25.4s Saturn_lockfree.Spsc_queue parallel
[ ]  660    0    0  660 / 1000    25.5s Saturn_lockfree.Spsc_queue parallel
[ ]  661    0    0  661 / 1000    25.6s Saturn_lockfree.Spsc_queue parallel
[ ]  668    0    0  668 / 1000    25.7s Saturn_lockfree.Spsc_queue parallel
[ ]  673    0    0  673 / 1000    25.9s Saturn_lockfree.Spsc_queue parallel
[ ]  677    0    0  677 / 1000    26.1s Saturn_lockfree.Spsc_queue parallel
[ ]  680    0    0  680 / 1000    26.2s Saturn_lockfree.Spsc_queue parallel
[ ]  684    0    0  684 / 1000    26.7s Saturn_lockfree.Spsc_queue parallel
[ ]  690    0    0  690 / 1000    27.0s Saturn_lockfree.Spsc_queue parallel
[ ]  699    0    0  699 / 1000    27.1s Saturn_lockfree.Spsc_queue parallel
[ ]  703    0    0  703 / 1000    27.3s Saturn_lockfree.Spsc_queue parallel
[ ]  710    0    0  710 / 1000    27.4s Saturn_lockfree.Spsc_queue parallel
[ ]  717    0    0  717 / 1000    27.6s Saturn_lockfree.Spsc_queue parallel
[ ]  720    0    0  720 / 1000    27.8s Saturn_lockfree.Spsc_queue parallel
[ ]  728    0    0  728 / 1000    27.9s Saturn_lockfree.Spsc_queue parallel
[ ]  730    0    0  730 / 1000    28.1s Saturn_lockfree.Spsc_queue parallel
[ ]  733    0    0  733 / 1000    28.2s Saturn_lockfree.Spsc_queue parallel
[ ]  736    0    0  736 / 1000    28.4s Saturn_lockfree.Spsc_queue parallel
[ ]  741    0    0  741 / 1000    28.6s Saturn_lockfree.Spsc_queue parallel
[ ]  743    0    0  743 / 1000    28.8s Saturn_lockfree.Spsc_queue parallel
[ ]  745    0    0  745 / 1000    28.9s Saturn_lockfree.Spsc_queue parallel
[ ]  752    0    0  752 / 1000    29.0s Saturn_lockfree.Spsc_queue parallel
[ ]  757    0    0  757 / 1000    29.4s Saturn_lockfree.Spsc_queue parallel
[ ]  760    0    0  760 / 1000    29.5s Saturn_lockfree.Spsc_queue parallel
[ ]  763    0    0  763 / 1000    29.8s Saturn_lockfree.Spsc_queue parallel
[ ]  764    0    0  764 / 1000    30.1s Saturn_lockfree.Spsc_queue parallel
[ ]  772    0    0  772 / 1000    30.6s Saturn_lockfree.Spsc_queue parallel
[ ]  777    0    0  777 / 1000    30.7s Saturn_lockfree.Spsc_queue parallel
[ ]  785    0    0  785 / 1000    30.9s Saturn_lockfree.Spsc_queue parallel
[ ]  788    0    0  788 / 1000    31.0s Saturn_lockfree.Spsc_queue parallel
[ ]  790    0    0  790 / 1000    31.1s Saturn_lockfree.Spsc_queue parallel
[ ]  797    0    0  797 / 1000    31.2s Saturn_lockfree.Spsc_queue parallel
[ ]  799    0    0  799 / 1000    31.4s Saturn_lockfree.Spsc_queue parallel
[ ]  802    0    0  802 / 1000    31.7s Saturn_lockfree.Spsc_queue parallel
[ ]  803    0    0  803 / 1000    31.8s Saturn_lockfree.Spsc_queue parallel
[ ]  808    0    0  808 / 1000    32.2s Saturn_lockfree.Spsc_queue parallel
[ ]  816    0    0  816 / 1000    32.3s Saturn_lockfree.Spsc_queue parallel
[ ]  820    0    0  820 / 1000    32.5s Saturn_lockfree.Spsc_queue parallel
[ ]  821    0    0  821 / 1000    32.6s Saturn_lockfree.Spsc_queue parallel
[ ]  825    0    0  825 / 1000    32.7s Saturn_lockfree.Spsc_queue parallel
[ ]  829    0    0  829 / 1000    33.1s Saturn_lockfree.Spsc_queue parallel
[ ]  832    0    0  832 / 1000    33.2s Saturn_lockfree.Spsc_queue parallel
[ ]  833    0    0  833 / 1000    33.5s Saturn_lockfree.Spsc_queue parallel
[ ]  834    0    0  834 / 1000    33.6s Saturn_lockfree.Spsc_queue parallel
[ ]  838    0    0  838 / 1000    33.9s Saturn_lockfree.Spsc_queue parallel
[ ]  845    0    0  845 / 1000    34.0s Saturn_lockfree.Spsc_queue parallel
[ ]  849    0    0  849 / 1000    34.1s Saturn_lockfree.Spsc_queue parallel
[ ]  852    0    0  852 / 1000    34.4s Saturn_lockfree.Spsc_queue parallel
[ ]  856    0    0  856 / 1000    34.5s Saturn_lockfree.Spsc_queue parallel
[ ]  863    0    0  863 / 1000    34.6s Saturn_lockfree.Spsc_queue parallel
[ ]  868    0    0  868 / 1000    34.8s Saturn_lockfree.Spsc_queue parallel
[ ]  876    0    0  876 / 1000    34.9s Saturn_lockfree.Spsc_queue parallel
[ ]  881    0    0  881 / 1000    35.0s Saturn_lockfree.Spsc_queue parallel
[ ]  888    0    0  888 / 1000    35.1s Saturn_lockfree.Spsc_queue parallel
[ ]  892    0    0  892 / 1000    35.4s Saturn_lockfree.Spsc_queue parallel
[ ]  901    0    0  901 / 1000    35.5s Saturn_lockfree.Spsc_queue parallel
[ ]  907    0    0  907 / 1000    35.6s Saturn_lockfree.Spsc_queue parallel
[ ]  914    0    0  914 / 1000    35.7s Saturn_lockfree.Spsc_queue parallel
[ ]  921    0    0  921 / 1000    35.8s Saturn_lockfree.Spsc_queue parallel
[ ]  922    0    0  922 / 1000    36.0s Saturn_lockfree.Spsc_queue parallel
[ ]  925    0    0  925 / 1000    36.1s Saturn_lockfree.Spsc_queue parallel
[ ]  928    0    0  928 / 1000    36.4s Saturn_lockfree.Spsc_queue parallel
[ ]  931    0    0  931 / 1000    36.5s Saturn_lockfree.Spsc_queue parallel
[ ]  932    0    0  932 / 1000    36.7s Saturn_lockfree.Spsc_queue parallel
[ ]  939    0    0  939 / 1000    36.8s Saturn_lockfree.Spsc_queue parallel
[ ]  944    0    0  944 / 1000    36.9s Saturn_lockfree.Spsc_queue parallel
[ ]  948    0    0  948 / 1000    37.0s Saturn_lockfree.Spsc_queue parallel
[ ]  956    0    0  956 / 1000    37.1s Saturn_lockfree.Spsc_queue parallel
[ ]  961    0    0  961 / 1000    37.3s Saturn_lockfree.Spsc_queue parallel
[ ]  966    0    0  966 / 1000    37.4s Saturn_lockfree.Spsc_queue parallel
[ ]  972    0    0  972 / 1000    37.5s Saturn_lockfree.Spsc_queue parallel
[ ]  976    0    0  976 / 1000    37.6s Saturn_lockfree.Spsc_queue parallel
[ ]  981    0    0  981 / 1000    37.7s Saturn_lockfree.Spsc_queue parallel
[ ]  984    0    0  984 / 1000    37.8s Saturn_lockfree.Spsc_queue parallel
[ ]  988    0    0  988 / 1000    38.0s Saturn_lockfree.Spsc_queue parallel
[ ]  994    0    0  994 / 1000    38.1s Saturn_lockfree.Spsc_queue parallel
[✓] 1000    0    0 1000 / 1000    38.2s Saturn_lockfree.Spsc_queue parallel

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue parallel, negative
[ ]    1    0    0    1 / 1000     0.1s Saturn_lockfree.Spsc_queue parallel, negative
[ ]    1    0    0    1 / 1000     0.6s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:    8.0002)
[ ]    1    0    0    1 / 1000     0.9s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   10.0002)
[ ]    1    0    0    1 / 1000     1.2s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   12.0002)
[ ]    1    0    0    1 / 1000     1.5s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   14.0002)
[ ]    1    0    0    1 / 1000     1.9s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   15.0002)
[ ]    1    0    0    1 / 1000     2.2s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   15.0003)
[ ]    1    0    0    1 / 1000     2.5s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   15.0004)
[ ]    1    0    0    1 / 1000     2.9s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   16.0002)
[ ]    1    0    0    1 / 1000     3.1s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   16.0003)
[ ]    1    0    0    1 / 1000     3.4s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   16.0004)
[ ]    1    0    0    1 / 1000     3.8s Saturn_lockfree.Spsc_queue parallel, negative (shrinking:   16.0005)
[ ]    2    0    1    1 / 1000     4.1s Saturn_lockfree.Spsc_queue parallel, negative
[✓]    2    0    1    1 / 1000     4.1s Saturn_lockfree.Spsc_queue parallel, negative

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

Negative test Saturn_lockfree.Spsc_queue parallel, negative failed as expected (16 shrink steps):

                        |                
                     Push 73             
                        |                
             .---------------------.
             |                     |                
            Pop                  Peek               


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

Messages for test Saturn_lockfree.Spsc_queue parallel, negative:

  Results incompatible with linearized model

                                                       |                        
                                               Push 73 : Ok (())                
                                                       |                        
                             .--------------------------------------------------.
                             |                                                  |                        
                       Pop : Ok (73)                    Peek : Error (Invalid_argument("option is None"))

================================================================================
success (ran 3 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

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]    2    0    0    2 / 1000     0.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   10    0    0   10 / 1000     0.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   18    0    0   18 / 1000     0.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   22    0    0   22 / 1000     0.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   30    0    0   30 / 1000     0.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   35    0    0   35 / 1000     0.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   41    0    0   41 / 1000     1.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   48    0    0   48 / 1000     1.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   53    0    0   53 / 1000     1.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   56    0    0   56 / 1000     1.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   62    0    0   62 / 1000     1.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   65    0    0   65 / 1000     1.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   73    0    0   73 / 1000     1.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   74    0    0   74 / 1000     2.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   76    0    0   76 / 1000     2.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   84    0    0   84 / 1000     2.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   89    0    0   89 / 1000     2.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]   96    0    0   96 / 1000     2.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  103    0    0  103 / 1000     3.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  108    0    0  108 / 1000     3.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  110    0    0  110 / 1000     3.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  114    0    0  114 / 1000     3.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  120    0    0  120 / 1000     3.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  122    0    0  122 / 1000     3.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  128    0    0  128 / 1000     3.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  129    0    0  129 / 1000     4.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  132    0    0  132 / 1000     4.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  137    0    0  137 / 1000     4.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  145    0    0  145 / 1000     4.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  149    0    0  149 / 1000     5.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  155    0    0  155 / 1000     5.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  160    0    0  160 / 1000     5.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  166    0    0  166 / 1000     5.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  174    0    0  174 / 1000     5.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  177    0    0  177 / 1000     5.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  180    0    0  180 / 1000     5.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  184    0    0  184 / 1000     5.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  189    0    0  189 / 1000     6.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  191    0    0  191 / 1000     6.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  193    0    0  193 / 1000     6.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  200    0    0  200 / 1000     6.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  204    0    0  204 / 1000     6.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  212    0    0  212 / 1000     7.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  214    0    0  214 / 1000     7.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  219    0    0  219 / 1000     7.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  224    0    0  224 / 1000     7.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  229    0    0  229 / 1000     7.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  236    0    0  236 / 1000     7.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  242    0    0  242 / 1000     8.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  248    0    0  248 / 1000     8.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  249    0    0  249 / 1000     8.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  250    0    0  250 / 1000     8.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  256    0    0  256 / 1000     8.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  262    0    0  262 / 1000     8.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  267    0    0  267 / 1000     9.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  272    0    0  272 / 1000     9.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  277    0    0  277 / 1000     9.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  280    0    0  280 / 1000     9.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  288    0    0  288 / 1000     9.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  293    0    0  293 / 1000    10.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  299    0    0  299 / 1000    10.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  307    0    0  307 / 1000    10.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  314    0    0  314 / 1000    10.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  317    0    0  317 / 1000    10.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  324    0    0  324 / 1000    10.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  328    0    0  328 / 1000    11.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  334    0    0  334 / 1000    11.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  340    0    0  340 / 1000    11.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  347    0    0  347 / 1000    11.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  352    0    0  352 / 1000    11.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  355    0    0  355 / 1000    12.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  363    0    0  363 / 1000    12.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  366    0    0  366 / 1000    12.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  373    0    0  373 / 1000    12.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  379    0    0  379 / 1000    12.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  380    0    0  380 / 1000    12.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  382    0    0  382 / 1000    13.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  385    0    0  385 / 1000    13.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  387    0    0  387 / 1000    13.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  393    0    0  393 / 1000    13.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  398    0    0  398 / 1000    14.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  399    0    0  399 / 1000    14.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  404    0    0  404 / 1000    14.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  405    0    0  405 / 1000    14.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  410    0    0  410 / 1000    14.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  412    0    0  412 / 1000    14.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  414    0    0  414 / 1000    15.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  420    0    0  420 / 1000    15.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  425    0    0  425 / 1000    15.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  427    0    0  427 / 1000    15.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  432    0    0  432 / 1000    15.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  435    0    0  435 / 1000    16.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  442    0    0  442 / 1000    16.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  450    0    0  450 / 1000    16.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  452    0    0  452 / 1000    17.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  459    0    0  459 / 1000    17.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  460    0    0  460 / 1000    17.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  461    0    0  461 / 1000    17.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  465    0    0  465 / 1000    17.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  466    0    0  466 / 1000    17.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  471    0    0  471 / 1000    18.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  472    0    0  472 / 1000    18.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  476    0    0  476 / 1000    18.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  479    0    0  479 / 1000    18.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  484    0    0  484 / 1000    18.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  492    0    0  492 / 1000    18.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  493    0    0  493 / 1000    19.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  501    0    0  501 / 1000    19.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  506    0    0  506 / 1000    19.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  509    0    0  509 / 1000    19.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  514    0    0  514 / 1000    19.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  515    0    0  515 / 1000    19.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  517    0    0  517 / 1000    19.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  525    0    0  525 / 1000    20.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  531    0    0  531 / 1000    20.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  536    0    0  536 / 1000    20.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  544    0    0  544 / 1000    20.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  546    0    0  546 / 1000    20.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  550    0    0  550 / 1000    20.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  553    0    0  553 / 1000    21.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  558    0    0  558 / 1000    21.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  561    0    0  561 / 1000    21.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  568    0    0  568 / 1000    21.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  572    0    0  572 / 1000    21.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  577    0    0  577 / 1000    21.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  579    0    0  579 / 1000    21.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  580    0    0  580 / 1000    22.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  581    0    0  581 / 1000    22.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  585    0    0  585 / 1000    22.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  589    0    0  589 / 1000    22.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  593    0    0  593 / 1000    22.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  596    0    0  596 / 1000    22.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  601    0    0  601 / 1000    23.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  608    0    0  608 / 1000    23.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  613    0    0  613 / 1000    23.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  620    0    0  620 / 1000    23.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  621    0    0  621 / 1000    23.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  628    0    0  628 / 1000    23.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  636    0    0  636 / 1000    23.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  641    0    0  641 / 1000    24.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  648    0    0  648 / 1000    24.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  656    0    0  656 / 1000    24.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  661    0    0  661 / 1000    24.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  667    0    0  667 / 1000    24.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  673    0    0  673 / 1000    24.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  677    0    0  677 / 1000    24.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  680    0    0  680 / 1000    25.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  684    0    0  684 / 1000    25.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  690    0    0  690 / 1000    25.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  698    0    0  698 / 1000    25.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  703    0    0  703 / 1000    26.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  710    0    0  710 / 1000    26.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  717    0    0  717 / 1000    26.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  720    0    0  720 / 1000    26.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  728    0    0  728 / 1000    26.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  730    0    0  730 / 1000    27.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  733    0    0  733 / 1000    27.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  736    0    0  736 / 1000    27.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  741    0    0  741 / 1000    27.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  743    0    0  743 / 1000    27.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  745    0    0  745 / 1000    27.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  752    0    0  752 / 1000    27.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  757    0    0  757 / 1000    28.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  760    0    0  760 / 1000    28.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  763    0    0  763 / 1000    28.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  764    0    0  764 / 1000    29.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  772    0    0  772 / 1000    29.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  777    0    0  777 / 1000    29.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  785    0    0  785 / 1000    29.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  788    0    0  788 / 1000    29.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  790    0    0  790 / 1000    30.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  797    0    0  797 / 1000    30.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  799    0    0  799 / 1000    30.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  802    0    0  802 / 1000    30.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  803    0    0  803 / 1000    30.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  808    0    0  808 / 1000    30.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  816    0    0  816 / 1000    31.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  820    0    0  820 / 1000    31.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  821    0    0  821 / 1000    31.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  824    0    0  824 / 1000    31.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  829    0    0  829 / 1000    31.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  831    0    0  831 / 1000    31.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  833    0    0  833 / 1000    32.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  834    0    0  834 / 1000    32.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  838    0    0  838 / 1000    32.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  844    0    0  844 / 1000    32.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  849    0    0  849 / 1000    32.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  852    0    0  852 / 1000    33.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  856    0    0  856 / 1000    33.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  862    0    0  862 / 1000    33.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  868    0    0  868 / 1000    33.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  876    0    0  876 / 1000    33.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  881    0    0  881 / 1000    33.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  888    0    0  888 / 1000    33.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  892    0    0  892 / 1000    34.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  900    0    0  900 / 1000    34.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  906    0    0  906 / 1000    34.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  912    0    0  912 / 1000    34.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  920    0    0  920 / 1000    34.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  922    0    0  922 / 1000    34.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  925    0    0  925 / 1000    34.9s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  928    0    0  928 / 1000    35.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  931    0    0  931 / 1000    35.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  932    0    0  932 / 1000    35.4s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  939    0    0  939 / 1000    35.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  944    0    0  944 / 1000    35.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  948    0    0  948 / 1000    35.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  956    0    0  956 / 1000    35.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  961    0    0  961 / 1000    36.0s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  966    0    0  966 / 1000    36.1s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  972    0    0  972 / 1000    36.2s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  976    0    0  976 / 1000    36.3s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  981    0    0  981 / 1000    36.5s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  985    0    0  985 / 1000    36.6s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  988    0    0  988 / 1000    36.7s Saturn_lockfree.Spsc_queue_unsafe parallel
[ ]  994    0    0  994 / 1000    36.8s Saturn_lockfree.Spsc_queue_unsafe parallel
[✓] 1000    0    0 1000 / 1000    36.9s Saturn_lockfree.Spsc_queue_unsafe parallel

[ ]    0    0    0    0 / 1000     0.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[ ]    0    0    0    0 / 1000     0.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    0)
[ ]    0    0    0    0 / 1000     0.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    0.0001)
[ ]    0    0    0    0 / 1000     0.3s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    1)
[ ]    0    0    0    0 / 1000     0.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    1.0001)
[ ]    0    0    0    0 / 1000     0.6s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    2)
[ ]    0    0    0    0 / 1000     0.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    2.0001)
[ ]    0    0    0    0 / 1000     0.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    3)
[ ]    0    0    0    0 / 1000     0.9s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    3.0001)
[ ]    0    0    0    0 / 1000     1.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    4)
[ ]    0    0    0    0 / 1000     1.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    4.0001)
[ ]    0    0    0    0 / 1000     1.3s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    5)
[ ]    0    0    0    0 / 1000     1.4s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    6)
[ ]    0    0    0    0 / 1000     1.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    7)
[ ]    0    0    0    0 / 1000     2.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    7.0002)
[ ]    0    0    0    0 / 1000     2.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    9)
[ ]    0    0    0    0 / 1000     2.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    9.0002)
[ ]    0    0    0    0 / 1000     3.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:    9.0003)
[ ]    0    0    0    0 / 1000     3.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   10.0002)
[ ]    0    0    0    0 / 1000     3.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   10.0003)
[ ]    0    0    0    0 / 1000     3.9s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   11)
[ ]    0    0    0    0 / 1000     4.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   11.0001)
[ ]    0    0    0    0 / 1000     4.4s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   11.0002)
[ ]    0    0    0    0 / 1000     4.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   11.0003)
[ ]    0    0    0    0 / 1000     5.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   12.0002)
[ ]    0    0    0    0 / 1000     5.3s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   12.0003)
[ ]    0    0    0    0 / 1000     5.6s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   12.0004)
[ ]    0    0    0    0 / 1000     5.9s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   12.0005)
[ ]    0    0    0    0 / 1000     6.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13)
[ ]    0    0    0    0 / 1000     6.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13.0001)
[ ]    0    0    0    0 / 1000     6.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13.0002)
[ ]    0    0    0    0 / 1000     6.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13.0003)
[ ]    0    0    0    0 / 1000     7.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13.0004)
[ ]    0    0    0    0 / 1000     7.4s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   13.0005)
[ ]    0    0    0    0 / 1000     7.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   14.0002)
[ ]    0    0    0    0 / 1000     8.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   14.0003)
[ ]    0    0    0    0 / 1000     8.4s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   14.0004)
[ ]    0    0    0    0 / 1000     8.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   14.0005)
[ ]    0    0    0    0 / 1000     9.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   14.0006)
[ ]    0    0    0    0 / 1000     9.3s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0002)
[ ]    0    0    0    0 / 1000     9.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0003)
[ ]    0    0    0    0 / 1000    10.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0004)
[ ]    0    0    0    0 / 1000    10.3s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0005)
[ ]    0    0    0    0 / 1000    10.6s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0006)
[ ]    0    0    0    0 / 1000    10.9s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   15.0007)
[ ]    0    0    0    0 / 1000    11.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   16.0002)
[ ]    0    0    0    0 / 1000    11.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   16.0003)
[ ]    0    0    0    0 / 1000    11.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   16.0004)
[ ]    0    0    0    0 / 1000    12.2s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0002)
[ ]    0    0    0    0 / 1000    12.5s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0003)
[ ]    0    0    0    0 / 1000    12.8s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0004)
[ ]    0    0    0    0 / 1000    13.1s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0005)
[ ]    0    0    0    0 / 1000    13.4s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0006)
[ ]    0    0    0    0 / 1000    13.7s Saturn_lockfree.Spsc_queue_unsafe parallel, negative (shrinking:   17.0007)
[ ]    1    0    1    0 / 1000    14.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative
[✓]    1    0    1    0 / 1000    14.0s Saturn_lockfree.Spsc_queue_unsafe parallel, negative

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

Negative test Saturn_lockfree.Spsc_queue_unsafe parallel, negative failed as expected (17 shrink steps):

                       |                 
                       |                 
            .---------------------.
            |                     |                 
          Push 5                Push 0              
                                 Pop                
                                 Peek               


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

Messages for test Saturn_lockfree.Spsc_queue_unsafe parallel, negative:

  Results incompatible with linearized model

                               |                           
                               |                           
            .------------------------------------.
            |                                    |                           
     Push 5 : Ok (())                     Push 0 : Ok (())                   
                                            Pop : Ok (0)                     
                                           Peek : Ok (0)                     

================================================================================
success (ran 3 tests)
   create-stamp debian/debhelper-build-stamp
   dh_testroot -O--buildsystem=ocaml_dune
   dh_prep -O--buildsystem=ocaml_dune
   dh_auto_install -O--buildsystem=ocaml_dune
	dune install --destdir=debian/tmp --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu/ocaml/5.3.0 saturn saturn_lockfree
   dh_install -O--buildsystem=ocaml_dune
   dh_ocamldoc -O--buildsystem=ocaml_dune
   dh_installdocs -O--buildsystem=ocaml_dune
   dh_installchangelogs -O--buildsystem=ocaml_dune
   dh_installsystemduser -O--buildsystem=ocaml_dune
   dh_perl -O--buildsystem=ocaml_dune
   dh_link -O--buildsystem=ocaml_dune
   dh_strip_nondeterminism -O--buildsystem=ocaml_dune
   dh_compress -O--buildsystem=ocaml_dune
   dh_fixperms -O--buildsystem=ocaml_dune
   dh_missing -O--buildsystem=ocaml_dune
   dh_dwz -a -O--buildsystem=ocaml_dune
   dh_strip -a -O--buildsystem=ocaml_dune
   dh_makeshlibs -a -O--buildsystem=ocaml_dune
   dh_shlibdeps -a -O--buildsystem=ocaml_dune
   dh_installdeb -O--buildsystem=ocaml_dune
   dh_ocaml -O--buildsystem=ocaml_dune
   dh_gencontrol -O--buildsystem=ocaml_dune
dpkg-gencontrol: warning: Depends field of package libsaturn-lockfree-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libsaturn-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libsaturn-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libsaturn-lockfree-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
   dh_md5sums -O--buildsystem=ocaml_dune
   dh_builddeb -O--buildsystem=ocaml_dune
dpkg-deb: building package 'libsaturn-ocaml-dev' in '../libsaturn-ocaml-dev_0.5.0-1_amd64.deb'.
dpkg-deb: building package 'libsaturn-ocaml-dev-dbgsym' in '../libsaturn-ocaml-dev-dbgsym_0.5.0-1_amd64.deb'.
dpkg-deb: building package 'libsaturn-lockfree-ocaml-dev' in '../libsaturn-lockfree-ocaml-dev_0.5.0-1_amd64.deb'.
dpkg-deb: building package 'libsaturn-lockfree-ocaml-dev-dbgsym' in '../libsaturn-lockfree-ocaml-dev-dbgsym_0.5.0-1_amd64.deb'.
 dpkg-genbuildinfo --build=binary -O../ocaml-saturn_0.5.0-1_amd64.buildinfo
 dpkg-genchanges --build=binary -O../ocaml-saturn_0.5.0-1_amd64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/B01_cleanup starting
I: user script /srv/workspace/pbuilder/3102195/tmp/hooks/B01_cleanup finished
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env 
I: removing directory /srv/workspace/pbuilder/3102195 and its subdirectories
I: Current time: Tue Mar 17 15:35:21 +14 2026
I: pbuilder-time-stamp: 1773711321