Tool 2LS 0.3.4 CBMC CIVL CPAchecker 1.4-svcomp16c CPAchecker 1.4-svn 18373 CPAchecker 1.4-svcomp16c DIVINE DIVINE version 3.4.1pre Version: 3.4.1pre Build-Date: 2015-11-07, 16:07 UTC Pointer-Width: 64 Debug: disabled Compile-Flags: OPT_TBBMALLOC OPT_SIMULATE OPT_DRAW OPT_LART GEN_LLVM GEN_LLVM_CSDR GEN_DVE ALG_OWCTY ALG_REACHABILITY ALG_WEAKREACHABILITY ALG_CSDR ALG_METRICS STORE_COMPRESS TRANSFORM_FAIR OPT_LLVMSPLIT=Generic MPI-Version: n/a Architecture: AMD Phenom(tm) II X4 955 Processor ESBMC ESBMC version 2.0.0 64-bit x86_64 linux DepthK ESBMC+DepthK version 2.1 Forest svc_16_20151108 impara 0.45 Lazy-CSeq 1.0-svcomp16 Mu-CSeq SeaHorn-F16 0.1.0 SMACK+Corral 1.5.2 symbiotic 3.0.1 SymDIVINE 0.2 ULTIMATE Automizer cfb9fd9e ULTIMATE Kojak fd30d3d8 UL-CSeq 0.2-svcomp16 VVT prerelease
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic [Linux 4.2.0-23-generic; Linux 4.2.0-22-generic] Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-02 22:42:27 CET 2016-01-03 00:42:25 CET 2016-01-03 23:54:47 CET 2016-01-04 06:25:51 CET 2016-01-04 01:42:53 CET 2016-01-04 20:04:07 CET 2016-01-04 13:17:38 CET 2016-01-11 23:56:07 CET 2016-01-16 17:45:19 CET 2016-01-05 14:06:34 CET 2016-01-09 23:49:59 CET 2016-01-13 07:41:14 CET 2016-01-06 12:09:12 CET 2016-01-14 07:42:37 CET 2016-01-11 21:35:00 2016-01-07 09:05:16 CET 2016-01-07 09:04:54 CET 2016-01-08 15:23:51 CET 2016-01-14 23:51:13 CET 2016-01-08 15:10:30 CET 2016-01-09 09:05:39 CET 2016-01-17 23:14:00 CET
Run set 2ls.sv-comp16.Concurrency cbmc.sv-comp16.Concurrency civl.sv-comp16 cpa-bam.sv-comp16.Concurrency cpa-kind.sv-comp16.Concurrency cpa-refsel.sv-comp16.Concurrency cpa-seq.sv-comp16.Concurrency divine.sv-comp16 esbmc.sv-comp16.Concurrency esbmcdepthk.sv-comp16.Concurrency forest.sv-comp16.Concurrency impara.sv-comp16.Concurrency lazycseq.sv-comp16 mucseq.sv-comp16 seahorn.sv-comp16.Concurrency smack.sv-comp16.Concurrency symbiotic3.sv-comp16.Concurrency symdivine.sv-comp16 uautomizer.sv-comp16.Concurrency ukojak.sv-comp16.Concurrency ulcseq.sv-comp16 vvt.sv-comp16.Concurrency
Options --k-induction --competition-mode --graphml-cex error-witness.graphml --graphml-cex error-witness.graphml verify -svcomp16 -sv-comp16-bam -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16--k-induction -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml --svcomp --csdr --opt=-Oz -svcomp --eager --graphml-cex error-witness.graphml --witness error-witness.graphml --cex=error-witness.graphml -w error-witness.graphml --fix_volatile --fix_inline --silent -Os --witness error-witness.graphml
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
pthread/bigshot_p_false-unreach-call.i true .29 30 false(reach) .33 31 false(reach) 13 520 unknown 4.8 230 error 5.2 220 error 4.8 230 unknown 6.6 290 false(reach) 2.2 190 false(reach) 85     830   false(reach) 6.8  190 true 1.7   28   false(reach) .62 30 false(reach) .86 47 false(reach) 1.6  70 true .25 30 error (1) 2.8  62 error (1) .15  5.4 unknown .083 9.7 unknown 8.3 320 unknown 8.4 320 error (1) .43 18 false(reach) .28  21
pthread/fib_bench_false-unreach-call.i true .27 28 false(reach) 2.3  38 false(reach) 15 540 unknown 4.4 220 error 4.4 250 error 4.4 220 unknown 16   1100 false(reach) 150   350 false(reach) 76     1300   true 2.5  31 true 3.0   40   timeout 900    71 false(reach) 7.4  65 false(reach) 1.5  49 true .20 30 true 4.4  77 error (1) .092 5.5 out of memory 290     15000   unknown 8.7 310 unknown 7.8 320 timeout 900    1600 timeout 900     190
pthread/fib_bench_longer_false-unreach-call.i true .28 28 false(reach) 2.6  48 false(reach) 22 780 unknown 4.5 220 error 4.6 250 error 4.4 220 unknown 40   3700 timeout 900   1000 false(reach) 150     1400   true 3.3  35 true 1.9   40   timeout 900    94 false(reach) 11    79 false(reach) 2.1  55 true .27 30 true 4.5  77 error (1) .081 5.4 out of memory 270     15000   unknown 8.4 330 unknown 7.6 310 timeout 900    1400 timeout 900     230
pthread/fib_bench_longest_false-unreach-call.i true .27 28 false(reach) 460    240 false(reach) 280 13000 unknown 4.4 220 error 4.6 250 error 4.4 220 timeout 900   3800 timeout 900   3400 timeout 900     600   true 15    85 true 2.4   41   timeout 900    210 false(reach) 200    250 false(reach) 20    150 true .22 30 true 4.5  73 error (1) .085 5.4 out of memory 270     15000   unknown 9.1 330 unknown 8.1 320 timeout 900    2400 timeout 900     300
pthread/lazy01_false-unreach-call.i true .32 30 false(reach) .46 36 false(reach) 12 530 unknown 3.8 220 error 4.7 210 error 4.3 220 unknown 5.2 270 false(reach) 3.0 180 false(reach) 45     710   unknown .35 28 true 2.2   37   false(reach) .28 28 false(reach) .84 46 false(reach) 1.1  44 true .25 29 false(reach) 5.6  100 error (1) .080 5.4 false(reach) .068 9.3 unknown 7.1 310 unknown 8.8 330 false(reach) 27    590 false(reach) .22  20
pthread/queue_false-unreach-call.i true .55 46 false(reach) 12    370 false(reach) 15 760 unknown 5.3 240 error 6.3 340 error 4.9 240 unknown 11   450 unknown 8.9 320 unknown .43  180   false(reach) 27    190 true 2.5   29   false(reach) .31 31 false(reach) 18    350 false(reach) 14    230 true .26 29 false(reach) 73    1500 error (1) .10  5.6 false(reach) .11  9.6 unknown 8.4 310 unknown 8.6 310 timeout 900    3800 false(reach) 1.5   81
pthread/queue_longer_false-unreach-call.i true 3.5  260 false(reach) 740    5100 false(reach) 16 760 unknown 5.1 240 error 8.2 330 error 5.0 230 unknown 23   1200 unknown 8.6 320 unknown 1.4   740   false(reach) 28    190 true 3.7   42   false(reach) .40 39 false(reach) 100    5100 false(reach) 11    220 true .25 29 out of memory 130    15000 error (1) .045 5.5 false(reach) .15  10   unknown 8.1 310 unknown 7.9 300 timeout 900    4200 out of memory 140     15000
pthread/queue_longest_false-unreach-call.i true 10    500 error 850    7600 false(reach) 16 750 unknown 5.1 240 error 7.8 340 error 5.2 230 unknown 32   2200 unknown 8.3 320 unknown 1.5   740   false(reach) 29    190 true 4.0   43   false(reach) .57 47 false(reach) 120    8800 false(reach) 8.4  210 true .20 29 out of memory 230    15000 error (1) .046 5.4 false(reach) .22  12   unknown 8.1 320 unknown 7.9 310 timeout 900    4200 out of memory 330     15000
pthread/reorder_2_false-unreach-call.i false(reach) .59 39 false(reach) .62 38 false(reach) 26 3100 unknown 4.5 250 error 7.8 350 error 5.4 250 error 9.4 410 unknown 8.8 320 out of memory 150     15000   timeout 900    3800 timeout 900     290   false(reach) .49 32 false(reach) 3.2  58 false(reach) 2.5  98 error (245) .24 22 false(reach) 6.5  96 error (1) .052 5.8 unknown .18  40   unknown 9.7 340 unknown 9.1 310 false(reach) 210    4100 unknown .12  13
pthread/reorder_5_false-unreach-call.i false(reach) .57 38 false(reach) .65 39 false(reach) 28 3200 unknown 5.8 250 error 6.5 350 error 4.6 250 error 9.9 410 unknown 8.7 320 out of memory 430     15000   timeout 900    3800 true .31  7.4 false(reach) .48 32 false(reach) 9.4  120 false(reach) 2.1  99 error (245) .21 21 false(reach) 6.5  100 error (1) .060 5.7 unknown .16  9.8 unknown 8.2 310 unknown 8.2 320 false(reach) 300    5600 unknown .13  12
pthread/sigma_false-unreach-call.i true 250    4900 false(reach) 140    950 false(reach) 12 610 unknown 4.8 250 error 6.8 280 error 5.1 240 error 9.9 410 timeout 900   520 unknown 900     390   timeout 900    3700 true 3.6   41   timeout 900    220 false(reach) 11    230 false(reach) 8.8  320 false(reach) .48 39 timeout 880    320 error (1) .14  5.5 unknown .17  40   unknown 8.4 310 unknown 8.7 320 timeout 900    11000 false(reach) 13     84
pthread/singleton_false-unreach-call.i error (6) .27 30 false(reach) .98 40 false(reach) 12 520 unknown 4.9 230 error 5.2 220 error 4.9 230 unknown 14   560 false(reach) 45   190 timeout 900     2800   timeout 900    3800 true 2.3   40   segmentation fault .22 30 false(reach) 5.7  63 false(reach) 3.2  160 false(reach) .21 35 false(reach) 480    15000 error (1) .11  5.7 unknown .055 9.4 unknown 9.3 350 unknown 9.4 330 false(reach) 150    1500 false(reach) 1.3   34
pthread/stack_false-unreach-call.i true .45 39 false(reach) .60 39 false(reach) 15 700 unknown 4.9 230 error 6.1 270 error 4.9 230 unknown 8.9 390 unknown 90   360 unknown 900     780   unknown .44 33 true 3.7   43   false(reach) .23 29 false(reach) 2.1  75 false(reach) 3.1  110 true .22 29 false(reach) 15    130 error (1) .069 5.6 false(reach) 5.4   52   unknown 7.8 300 unknown 8.9 340 timeout 900    4100 false(reach) .42  19
pthread/stack_longer_false-unreach-call.i true 2.1  140 false(reach) 10    130 false(reach) 14 730 unknown 4.9 230 error 5.3 280 error 4.8 220 unknown 27   1400 error - pre-run 7.3 220 unknown 3.9   2500   unknown 14    190 true 3.6   41   false(reach) .34 29 false(reach) 110    730 false(reach) 2.6  110 true .26 29 true 890    370 error (1) .078 5.6 false(reach) 3.4   32   unknown 7.8 310 unknown 8.4 310 timeout 900    4300 false(reach) 45     4800
pthread/stack_longest_false-unreach-call.i true 5.2  250 false(reach) 33    230 false(reach) 15 730 unknown 4.8 230 error 6.1 270 error 4.1 230 unknown 38   2200 error - pre-run 7.3 220 unknown 3.7   2500   unknown 13    190 true 3.0   41   false(reach) .28 29 false(reach) 190    1200 false(reach) 2.6  110 true .26 29 true 890    350 error (1) .091 5.8 false(reach) 3.2   35   unknown 8.9 330 unknown 9.2 340 timeout 900    4000 out of memory 160     15000
pthread/stateful01_false-unreach-call.i true .24 30 false(reach) .52 36 false(reach) 13 530 unknown 4.4 220 error 4.8 210 error 4.2 220 unknown 6.3 280 false(reach) 2.8 190 false(reach) 57     970   unknown 3.2  35 true 1.9   28   false(reach) .21 28 false(reach) .88 46 false(reach) 1.3  50 true .24 29 false(reach) 5.8  110 error (1) .032 5.1 false(reach) .075 9.0 unknown 9.0 340 unknown 8.1 310 false(reach) 69    1300 false(reach) .23  25
pthread/twostage_3_false-unreach-call.i false(reach) .52 48 false(reach) 2.7  150 false(reach) 33 3500 unknown 5.6 250 error 7.9 360 error 5.7 250 error 9.6 410 unknown 8.9 320 out of memory 210     15000   timeout 900    3200 true 3.7   43   false(reach) .54 32 false(reach) 3.6  65 false(reach) 4.2  160 error (245) .25 22 false(reach) 55    310 error (1) .081 5.6 unknown .11  10   unknown 7.8 310 unknown 8.1 310 timeout 900    5700 unknown .19  11
pthread/bigshot_s2_true-unreach-call.i true .35 30 false(reach) 1.3  36 true 12 530 unknown 5.0 230 error 4.4 220 error 4.9 230 unknown 5.7 280 true 3.0 190 true 21     930   true 3.7  47 true 1.6   28   true .42 30 true 4.9  56 true 1.4  61 false(reach) .35 35 error (1) 2.8  64 error (1) .081 5.5 unknown .11  9.8 unknown 9.1 320 unknown 8.3 310 error (1) .29 18 true 31     68
pthread/bigshot_s_true-unreach-call.i true .35 30 false(reach) 1.3  37 true 12 530 unknown 4.9 230 error 4.4 220 error 4.1 230 unknown 5.5 280 true 3.0 190 true 21     930   true 3.4  47 true 4.5   41   true .54 30 true 5.0  55 true 1.4  61 true .27 25 error (1) 2.9  60 error (1) .075 5.6 unknown .13  9.6 unknown 7.9 300 unknown 8.0 310 error (1) .39 18 true 36     72
pthread/fib_bench_longer_true-unreach-call.i true .23 28 true 100    77 true 25 960 unknown 3.8 220 error 4.6 260 error 4.5 220 true 320   3800 timeout 900   1000 true 220     590   true 3.7  35 true 8.4   41   timeout 900    91 true 43    130 true 2.7  55 true .21 30 true 4.5  77 error (1) .10  5.0 out of memory 280     15000   unknown 8.1 320 unknown 8.0 320 timeout 900    1700 timeout 900     370
pthread/fib_bench_longest_true-unreach-call.i true .27 28 true 850    310 true 450 14000 unknown 3.7 220 error 5.4 250 error 4.3 220 timeout 900   3800 timeout 900   3400 timeout 900     610   true 15    86 true 2.1   40   timeout 900    210 true 190    250 true 64    170 true .27 31 true 4.4  73 error (1) .053 5.4 out of memory 280     15000   unknown 7.3 310 unknown 7.7 310 timeout 900    1800 timeout 900     330
pthread/fib_bench_true-unreach-call.i true .28 28 true 39    54 true 18 660 unknown 3.8 220 error 4.6 250 error 3.6 220 true 40   3500 true 160   360 true 51     150   true 2.7  31 true 2.2   40   timeout 900    72 true 24    95 true 1.9  49 true .21 30 true 4.4  77 error (1) .076 5.4 out of memory 280     15000   unknown 8.4 300 unknown 8.1 310 timeout 900    1300 timeout 900     98
pthread/indexer_true-unreach-call.i killed by signal 9 890    15000 true 850    2400 true 500 11000 unknown 4.3 240 error 6.1 340 error 6.1 250 error 11   460 timeout 900   450 unknown .086 24   unknown .81 40 false(reach) 4.6   41   false(reach) 5.5  39 true 170    3200 true 1.8  57 true .28 29 true 670    500 error (1) .054 5.3 unknown .062 9.5 unknown 9.0 310 unknown 8.6 310 timeout 900    6200 unknown 240     870
pthread/queue_ok_longer_true-unreach-call.i true 3.5  250 error 850    3000 true 15 750 unknown 4.3 240 error 8.1 340 error 5.1 230 unknown 28   1800 unknown 8.6 320 unknown 3.7   1900   true 330    800 true 3.4   41   false(reach) .41 38 true 490    7900 true 4.9  160 true .21 29 true 890    260 error (1) .083 5.7 timeout 900     4200   unknown 8.1 330 unknown 7.7 310 timeout 900    5000 out of memory 120     15000
pthread/queue_ok_longest_true-unreach-call.i true 10    470 error 850    5200 true 14 750 unknown 5.4 240 error 7.1 340 error 5.1 230 unknown 54   3800 unknown 8.7 320 unknown 3.8   1900   true 330    800 true 2.3   28   false(reach) .57 46 true 590    13000 true 4.9  160 true .20 29 true 900    210 error (1) .084 5.7 timeout 900     14000   unknown 8.1 310 unknown 8.5 320 timeout 900    4100 out of memory 760     15000
pthread/queue_ok_true-unreach-call.i true .48 43 false(reach) 8.2  220 true 16 740 unknown 5.1 240 error 7.8 340 error 5.1 230 unknown 12   460 unknown 9.1 320 unknown .48  130   true 190    560 false(reach) 6.0   42   false(reach) .32 30 true 150    680 true 4.9  160 true .28 29 timeout 880    300 error (1) .059 5.5 timeout 900     100   unknown 8.1 300 unknown 7.2 310 timeout 900    5200 timeout 900     280
pthread/stack_longer_true-unreach-call.i true 2.1  140 false(reach) 10    130 true 18 780 unknown 4.8 230 error 6.3 270 error 4.1 230 unknown 27   1600 error - pre-run 7.2 220 unknown 3.3   2100   unknown 900    4700 true 3.7   41   false(reach) .30 30 true 530    4700 true 2.7  99 true .20 29 true 890    430 error (1) .054 5.7 timeout 900     660   unknown 8.9 320 unknown 8.4 320 timeout 900    6100 timeout 900     4800
pthread/stack_longest_true-unreach-call.i true 5.6  250 false(reach) 35    240 true 17 810 unknown 4.1 240 error 6.3 270 error 4.2 240 unknown 44   3600 error - pre-run 7.7 220 unknown 3.3   2100   unknown 900    4700 true 2.8   41   false(reach) .29 30 true 670    8900 true 2.6  99 true .21 29 true 890    420 error (1) .044 5.4 timeout 900     700   unknown 8.5 320 unknown 8.2 310 timeout 900    6300 timeout 900     13000
pthread/stack_true-unreach-call.i true .45 40 false(reach) .62 39 true 25 1000 unknown 4.9 230 error 6.2 270 error 4.8 220 unknown 9.2 400 timeout 900   660 unknown 900     770   unknown .43 33 true 2.7   40   false(reach) .33 29 true 360    610 true 2.7  97 true .24 29 true 54    120 error (1) .071 5.5 timeout 900     140   unknown 7.4 320 unknown 7.7 300 timeout 900    4800 timeout 900     74
pthread/stateful01_true-unreach-call.i true .31 30 false(reach) .52 37 true 13 510 unknown 3.7 220 error 4.6 210 error 4.5 220 true 6.3 270 true 3.1 190 true 11     1200   unknown .44 28 true 2.6   40   false(reach) .21 28 true 5.9  60 true 1.3  51 false(reach) .23 34 true 5.0  79 error (1) .059 5.3 true .12  9.5 unknown 8.4 310 unknown 8.1 310 true 130    2900 true 14     56
pthread/sync01_true-unreach-call.i true .48 44 false(reach) .93 47 true 12 570 unknown 4.1 230 error 5.6 250 error 3.9 220 true 8.8 400 true 3.0 190 unknown 900     3900   unknown 3.4  64 true 4.4   41   false(reach) .29 29 true 7.4  63 true 1.8  85 true .27 29 true 6.1  100 error (1) .056 5.5 unknown .093 9.5 unknown 8.4 320 unknown 9.2 320 true 180    3400 true 2.4   50
pthread-atomic/qrcu_false-unreach-call.i true .39 36 false(reach) .72 42 false(reach) 17 820 unknown 4.6 220 error 5.7 260 error 4.6 220 unknown 8.6 420 unknown 3.1 190 unknown 900     11000   unknown 160    890 true 2.2   29   false(reach) .76 29 false(reach) 1.8  65 false(reach) 3.0  95 true .21 29 false(reach) 14    410 error (1) .053 5.4 false(reach) .40  9.4 unknown 9.0 330 unknown 9.3 330 timeout 900    2900 false(reach) 4.1   47
pthread-atomic/read_write_lock_false-unreach-call.i true .33 28 false(reach) .47 33 false(reach) 18 600 unknown 3.8 220 error 3.9 210 error 3.8 210 unknown 27   1600 false(reach) 7.2 190 false(reach) 720     14000   unknown 34    190 true 1.8   28   false(reach) 82    81 false(reach) .98 50 false(reach) 3.3  81 true .20 29 false(reach) 7.1  120 error (1) .099 5.5 false(reach) 2.6   140   unknown 9.1 340 unknown 8.2 310 false(reach) 170    3200 false(reach) 11     54
pthread-atomic/dekker_true-unreach-call.i true .21 28 true 850    330 true 13 540 unknown 4.4 220 error 5.2 250 error 3.7 220 true 7.1 390 true 3.2 190 out of memory 13     15000   timeout 900    340 true 11     41   timeout 900    96 true 6.0  58 true 1.3  50 true .16 29 true 4.2  75 error (1) .049 5.2 true .18  9.3 unknown 8.8 330 unknown 9.6 330 true 490    5900 true 110     83
pthread-atomic/gcd_true-unreach-call_true-termination.i true .31 34 true 850    290 true 21 650 unknown 4.0 220 error 4.9 260 error 3.9 220 unknown 8.3 400 unknown 2.9 180 unknown 890     5800   unknown 900    260 true 2.0   28   timeout 900    240 true 570    680 true 1.7  52 false(reach) .30 38 timeout 880    130 error (1) .072 5.4 timeout 900     76   unknown 7.6 310 unknown 7.9 300 timeout 900    4200 unknown 800     31
pthread-atomic/lamport_true-unreach-call.i true .29 28 true 850    360 true 12 480 unknown 4.4 220 error 5.8 260 error 4.4 220 true 11   450 true 3.5 180 out of memory 13     15000   unknown 7.1  180 true 15     42   timeout 900    120 true 9.0  63 true 1.6  52 true .22 29 true 4.3  71 error (1) .084 5.4 true .17  12   unknown 8.6 310 unknown 7.9 310 timeout 900    5900 timeout 900     150
pthread-atomic/peterson_true-unreach-call.i true .26 28 true 490    1100 true 14 500 unknown 3.8 220 error 5.4 240 error 4.4 220 true 8.4 410 true 3.2 190 unknown 900     850   unknown 4.9  170 true 2.2   41   timeout 900    110 true 4.5  54 true 1.2  46 true .21 29 true 4.1  69 error (1) .060 5.4 true .12  9.5 unknown 8.3 320 unknown 8.2 300 true 77    1300 true 44     59
pthread-atomic/qrcu_true-unreach-call.i true .40 38 false(reach) .72 42 true 41 2400 unknown 4.0 220 error 5.9 260 error 4.6 220 unknown 9.9 410 true 3.2 190 unknown 900     11000   timeout 900    3800 true 2.4   29   false(reach) .76 29 true 50    200 true 4.5  88 true .21 27 true 890    490 error (1) .11  5.6 timeout 900     86   unknown 9.7 330 unknown 8.2 320 timeout 900    4300 timeout 900     190
pthread-atomic/read_write_lock_true-unreach-call.i true .33 28 true 14    38 true 14 630 unknown 3.8 220 error 3.9 220 error 4.4 220 true 25   1600 true 10   190 false(reach) 530     12000   true 110    190 true 1.8   28   true 550    200 true 13    88 true 4.1  73 true .25 28 true 39    130 error (1) .070 5.3 false(reach) 2.6   140   unknown 9.1 330 unknown 8.4 310 timeout 900    5500 true 640     110
pthread-atomic/scull_true-unreach-call.i true .51 49 false(reach) .95 49 true 30 1300 unknown 4.7 230 error 4.3 210 error 4.7 230 timeout 900   9800 unknown 2.9 180 timeout 900     3000   true 430    570 timeout 900     870   false(reach) .34 29 true 22    230 true .84 58 true .22 29 true 11    380 error (1) .11  5.6 timeout 900     240   unknown 8.2 310 unknown 8.2 310 timeout 900    4800 true 35     76
pthread-atomic/szymanski_true-unreach-call.i true .26 28 true 850    790 true 12 470 unknown 3.8 220 error 5.3 250 error 4.4 220 true 9.1 430 true 3.3 190 unknown 900     2300   timeout 900    1100 true 2.9   41   timeout 900    120 true 5.3  59 true 1.3  48 true .23 29 true 4.0  71 error (1) .088 5.4 true .45  53   unknown 8.2 310 unknown 8.2 320 true 250    4300 true 17     67
pthread-atomic/time_var_mutex_true-unreach-call.i true .31 31 false(reach) .51 37 true 15 620 unknown 3.6 230 error 4.0 210 error 4.3 220 true 5.3 270 true 3.1 190 true .75  21   unknown 6.2  180 true 3.6   41   false(reach) .29 28 true 6.0  61 true 1.2  51 true .21 29 true 4.1  71 error (1) .066 5.3 true .13  9.3 unknown 9.0 320 unknown 8.3 340 true 240    2700 true 4.7   47
pthread-ext/25_stack_longer_false-unreach-call.i true 2.3  110 false(reach) 96    840 false(reach) 15 680 unknown 4.6 230 error 4.6 260 error 4.6 220 error 6.8 390 unknown 2.6 180 out of memory 17     15000   unknown 5.1  180 true 1.9   28   false(reach) .51 42 false(reach) 6.4  180 false(reach) 4.7  190 true .17 29 false(reach) 12    220 error (1) .040 5.3 false(reach) .25  24   unknown 7.9 310 unknown 7.7 320 timeout 900    6000 false(reach) 2.6   210
pthread-ext/25_stack_longest_false-unreach-call.i true 13    300 false(reach) 820    2400 false(reach) 13 680 unknown 3.9 220 error 5.0 260 error 3.9 230 error 8.0 390 unknown 3.1 190 out of memory 16     15000   unknown 5.3  180 true 2.1   28   false(reach) .70 75 false(reach) 36    460 false(reach) 5.1  190 true .24 29 false(reach) 150    630 error (1) .035 5.1 false(reach) .22  36   unknown 7.8 310 unknown 8.3 310 timeout 900    5700 false(reach) 6.7   650
pthread-ext/26_stack_cas_longer_false-unreach-call.i true 4.6  190 false(reach) 160    1700 false(reach) 12 650 unknown 4.7 230 error 5.9 260 error 4.6 220 error 6.6 390 unknown 3.0 190 out of memory 17     15000   unknown 4.8  180 true 2.2   28   false(reach) .55 43 false(reach) 5.9  180 false(reach) 5.0  190 true .15 29 false(reach) 12    230 error (1) .048 5.5 false(reach) .083 13   unknown 8.9 330 unknown 7.1 310 timeout 900    5800 false(reach) 3.8   210
pthread-ext/26_stack_cas_longest_false-unreach-call.i true 31    540 error 850    3800 false(reach) 12 640 unknown 3.9 230 error 5.8 260 error 4.7 220 error 8.3 400 unknown 3.0 190 out of memory 22     15000   unknown 5.6  180 true 2.7   40   false(reach) .93 76 false(reach) 36    460 false(reach) 5.7  190 true .17 29 false(reach) 150    610 error (1) .040 5.5 false(reach) .13  52   unknown 8.7 330 unknown 8.2 310 timeout 900    6100 false(reach) 7.4   670
pthread-ext/27_Boop_simple_vf_false-unreach-call.i true .21 31 false(reach) .34 32 false(reach) 12 530 unknown 3.9 220 error 5.6 250 error 4.4 220 error 7.8 420 timeout 900   5300 out of memory 17     15000   unknown 900    5400 true 2.2   28   false(reach) 5.3  28 false(reach) 1.1  51 false(reach) 1.5  56 true .26 29 false(reach) 5.4  94 error (1) .090 5.2 false(reach) .16  9.3 unknown 8.4 320 unknown 8.0 320 timeout 900    5400 false(reach) 47     83
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error(signal 6) .31 28 false(reach) .29 28 false(reach) 13 460 unknown 4.5 220 error 4.7 250 error 4.5 220 error 7.7 420 unknown 3.0 190 out of memory 170     15000   unknown 4.7  180 true 11     130   false(reach) .32 28 false(reach) .93 47 false(reach) 1.3  41 true .30 29 false(reach) 4.9  90 error (1) .060 5.2 false(reach) 1.7   9.4 unknown 7.8 320 unknown 7.8 310 false(reach) 19    520 false(reach) .49  20
pthread-ext/32_pthread5_vs_false-unreach-call.i true .33 28 false(reach) .61 36 false(reach) 16 660 unknown 4.7 220 error 11   250 error 3.8 220 error 7.7 420 timeout 900   540 out of memory 180     15000   unknown 6.5  180 true 1.7   28   false(reach) 110    89 false(reach) .96 48 false(reach) 3.8  97 true .21 29 false(reach) 6.0  150 error (1) .049 5.5 false(reach) .27  14   unknown 8.1 320 unknown 7.7 300 timeout 900    5900 false(reach) .42  31
pthread-ext/40_barrier_vf_false-unreach-call.i true .31 30 false(reach) 1.2  45 false(reach) 12 500 unknown 3.8 220 error 5.7 260 error 4.4 220 error 7.7 400 false(reach) 2.7 190 unknown .040 7.7 unknown .28 17 true 1.6   28   false(reach) .60 28 false(reach) 2.6  47 false(reach) 12    180 true .20 29 false(reach) 7.2  100 error (1) .063 5.3 false(reach) .19  40   unknown 8.4 320 unknown 7.4 310 false(reach) 55    880 false(reach) .39  27
pthread-ext/01_inc_true-unreach-call.i true .27 28 true 850    580 true 32 2200 unknown 4.6 220 error 5.8 250 error 4.3 220 error 7.7 420 timeout 900   520 false(reach) 170     3100   timeout 900    1200 true 1.4   28   timeout 900    340 true 4.4  52 true 1.2  48 true .22 29 true 880    210 error (1) .059 5.5 false(reach) 6.5   210   unknown 8.4 320 unknown 8.7 310 true 260    4200 true .55  37
pthread-ext/02_inc_cas_true-unreach-call.i true .21 29 true 850    950 true 54 4600 unknown 4.4 220 error 5.5 240 error 4.5 220 error 7.7 420 timeout 900   570 false(reach) 490     12000   timeout 900    2800 true 1.6   28   timeout 900    330 true 6.4  59 true 1.3  47 true .22 29 true 880    160 error (1) .053 5.3 false(reach) .42  44   unknown 8.6 320 unknown 7.9 310 timeout 900    3200 true 1.5   42
pthread-ext/03_incdec_true-unreach-call.i true .21 28 true 850    980 true 32 2200 unknown 3.9 230 error 5.6 250 error 4.4 220 error 8.4 410 timeout 900   430 out of memory 81     15000   unknown 65    430 true 2.0   28   timeout 900    300 true 6.8  62 true 2.4  75 true .16 24 true 880    220 error (1) .049 5.2 timeout 900     7400   unknown 9.3 340 unknown 7.6 310 timeout 900    3100 true 18     62
pthread-ext/04_incdec_cas_true-unreach-call.i true .32 30 true 850    1900 true 57 4600 unknown 4.6 220 error 5.9 260 error 4.6 220 error 6.9 410 timeout 900   300 out of memory 33     15000   unknown 110    810 true 2.1   28   timeout 900    350 true 11    85 true 2.0  64 true .23 28 true 880    180 error (1) .099 5.4 out of memory 160     15000   unknown 7.5 310 unknown 8.7 330 timeout 900    4500 true 75     77
pthread-ext/05_tas_true-unreach-call.i true .27 28 true 850    3500 true 23 800 unknown 3.9 220 error 5.4 250 error 4.4 220 error 7.6 420 timeout 900   430 out of memory 24     15000   unknown 560    2800 true 1.7   28   timeout 900    270 true 6.4  74 true 1.4  51 true .25 29 timeout 880    200 error (1) .041 5.2 out of memory 49     15000   unknown 8.2 320 unknown 7.0 310 timeout 900    3900 true 390     98
pthread-ext/06_ticket_true-unreach-call.i true .30 28 true 850    250 true 31 1400 unknown 4.7 220 error 5.4 250 error 4.6 220 error 8.0 410 timeout 900   440 out of memory 14     15000   unknown 18    190 true 1.6   28   timeout 900    81 true 5.4  58 true 1.4  53 true .22 29 error (1) .96 12 error (1) .056 5.2 false(reach) .18  12   unknown 7.7 310 unknown 8.2 300 timeout 900    4800 timeout 900     63
pthread-ext/07_rand_true-unreach-call.i true .28 28 true 850    1100 true 54 4300 unknown 4.5 220 error 5.7 260 error 3.9 230 error 8.3 400 unknown 2.4 190 out of memory 22     15000   unknown 900    2600 true 1.9   28   timeout 900    190 true 6.8  63 true 1.9  57 true .23 29 true 880    230 error (1) .095 5.3 timeout 900     670   unknown 7.6 310 unknown 8.1 310 timeout 900    5600 true 7.7   59
pthread-ext/08_rand_cas_true-unreach-call.i true .29 32 true 850    1000 true 69 4500 unknown 3.9 220 error 5.8 260 error 4.6 220 error 8.2 390 unknown 3.0 190 out of memory 48     15000   unknown 900    4100 true 2.1   28   timeout 900    250 true 8.9  75 true 1.9  58 true .21 29 true 880    200 error (1) .11  5.2 timeout 900     290   unknown 8.3 310 unknown 8.0 320 timeout 900    5900 true 16     64
pthread-ext/09_fmaxsym_true-unreach-call.i true .31 29 true 850    3300 true 58 4400 unknown 4.5 220 error 4.9 250 error 4.5 220 error 6.6 380 unknown 2.7 190 out of memory 29     15000   unknown 900    5000 true 1.6   28   timeout 900    190 true 7.2  66 true 5.2  120 true .17 29 true 880    170 error (1) .053 5.2 error (1) .25  9.5 unknown 8.1 320 unknown 8.1 310 timeout 900    5600 timeout 900     310
pthread-ext/10_fmaxsym_cas_true-unreach-call.i true .28 30 true 850    2400 true 30 1700 unknown 4.0 230 error 4.9 260 error 3.8 220 error 7.8 390 unknown 2.9 190 out of memory 35     15000   out of memory 27    15000 true 1.8   28   timeout 900    130 true 9.0  75 true 3.7  100 true .20 29 true 880    180 error (1) .059 5.4 error (1) .71  9.3 unknown 7.8 300 unknown 9.4 320 timeout 900    4800 timeout 900     150
pthread-ext/11_fmaxsymopt_true-unreach-call.i true .29 30 true 850    800 true 31 1200 unknown 4.7 230 error 4.9 260 error 4.4 220 error 6.5 380 unknown 3.0 190 out of memory 25     15000   unknown 900    5800 true .98  28   timeout 900    200 true 6.6  62 true 2.8  110 true .24 29 true 880    250 error (1) .057 5.2 unknown .21  40   unknown 7.6 320 unknown 7.6 300 timeout 900    6000 timeout 900     120
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i true .32 31 true 850    2300 true 14 610 unknown 3.8 230 error 5.7 260 error 4.6 220 error 7.0 390 unknown 3.0 190 out of memory 30     15000   unknown 900    5900 true 1.9   28   timeout 900    170 true 7.6  65 true 2.3  89 true .20 29 true 880    180 error (1) .052 5.2 unknown .19  9.4 unknown 7.7 310 unknown 8.2 310 timeout 900    5200 timeout 900     80
pthread-ext/13_unverif_true-unreach-call.i true .29 30 true 850    5700 true 26 1100 unknown 3.8 230 error 5.5 260 error 4.5 220 error 7.7 410 timeout 900   12000 out of memory 14     15000   unknown 6.5  180 true 2.2   40   timeout 900    300 true 4.3  51 true 1.2  47 true .29 29 true 880    200 error (1) .056 5.3 out of memory 78     15000   unknown 7.7 310 unknown 7.8 310 true 210    2300 true 240     100
pthread-ext/14_spin2003_true-unreach-call.i true .20 28 true 850    460 true 13 540 unknown 3.8 220 error 5.8 250 error 4.4 220 error 6.3 410 timeout 900   430 unknown 900     1100   timeout 900    1400 true 1.5   28   timeout 900    310 true 4.1  48 true 1.2  48 true .23 28 true 890    910 error (1) .051 5.4 false(reach) .14  9.3 unknown 8.0 320 unknown 7.8 310 true 66    1000 true .25  25
pthread-ext/15_dekker_true-unreach-call.i true .29 28 true 850    320 true 12 460 unknown 4.4 220 error 5.4 240 error 4.3 220 true 6.7 420 true 3.0 180 out of memory 13     15000   timeout 900    660 true 12     41   true .33 28 true 5.7  58 true 1.2  45 true .24 24 true 4.7  83 error (1) .056 5.2 true .14  9.5 unknown 7.9 330 unknown 7.4 320 true 200    3600 true 100     70
pthread-ext/16_peterson_true-unreach-call.i true .25 28 true 430    790 true 11 490 unknown 4.4 220 error 4.6 250 error 4.4 220 true 8.0 420 true 3.0 190 true 150     200   timeout 900    670 true 2.2   41   true .27 28 true 5.0  53 true .89 45 true .20 29 true 4.4  82 error (1) .073 5.4 true .080 9.4 unknown 8.8 310 unknown 7.9 300 true 140    3100 true 35     61
pthread-ext/17_szymanski_true-unreach-call.i true .30 28 true 850    1100 true 13 470 unknown 4.4 220 error 5.5 250 error 4.4 220 true 12   460 true 3.4 190 out of memory 14     15000   false(reach) 5.0  180 true 1.8   28   true .39 28 true 5.8  58 true 1.3  46 true .23 29 true 4.3  86 error (1) .087 5.5 true 1.4   110   unknown 8.2 320 unknown 7.5 310 true 660    5900 true 25     64
pthread-ext/18_read_write_lock_true-unreach-call.i true .27 28 true 1.7  30 true 11 500 unknown 3.6 220 error 3.8 210 error 3.7 220 true 5.7 270 true 3.0 190 true .15  19   true .66 29 true 1.6   28   true .28 28 true 4.3  53 true 1.2  49 true .22 29 true 4.4  79 error (1) .058 5.3 false(reach) .13  9.3 unknown 7.9 320 unknown 9.0 330 true 47    1000 true 8.5   54
pthread-ext/19_time_var_mutex_true-unreach-call.i true .26 28 true 2.6  29 true 12 530 unknown 4.5 220 error 4.5 210 error 4.4 220 unknown 6.4 280 true 2.6 190 false(reach) 41     900   false(reach) 4.9  180 true 1.9   39   true .21 27 true 5.0  53 true 1.5  54 true .19 29 true 4.8  80 error (1) .066 5.2 false(reach) .11  9.2 unknown 7.7 310 unknown 9.1 330 true 99    2200 true 3.6   44
pthread-ext/20_lamport_true-unreach-call.i true .26 28 true 850    360 true 14 530 unknown 3.8 220 error 5.5 250 error 4.3 210 true 10   440 true 2.6 190 out of memory 13     15000   false(reach) 5.2  180 true 2.9   41   true .40 28 true 8.8  61 true 1.5  50 true .23 29 true 4.2  88 error (1) .055 5.2 true .15  9.5 unknown 8.3 330 unknown 8.1 310 true 810    5800 timeout 900     140
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true .30 28 true 11    61 true 11 530 unknown 3.7 220 error 5.6 250 error 4.4 220 true 8.3 420 true 3.0 190 false(reach) 47     950   unknown 260    39 true 1.8   28   true .29 28 true 4.8  56 true 1.5  53 true .25 29 true 4.8  82 error (1) .091 5.4 true .11  9.3 unknown 8.4 310 unknown 7.9 310 true 50    860 true 4.5   48
pthread-ext/25_stack_longer_true-unreach-call.i true 2.1  110 true 850    3300 true 400 12000 unknown 4.5 220 error 5.9 260 error 4.6 230 error 8.1 400 unknown 3.0 190 out of memory 17     15000   unknown 900    1300 true 2.1   28   timeout 900    200 true 92    1100 true 4.1  160 true .20 25 timeout 880    340 error (1) .040 5.4 timeout 900     7500   unknown 8.0 300 unknown 8.4 310 timeout 900    5700 true 77     210
pthread-ext/25_stack_longest_true-unreach-call.i true 13    300 true 850    2400 true 400 12000 unknown 4.6 220 error 4.8 270 error 4.7 230 error 8.5 400 unknown 3.0 190 out of memory 17     15000   unknown 900    1500 true 2.8   38   timeout 900    250 true 490    2800 true 4.3  160 true .20 29 timeout 880    690 error (1) .046 5.2 timeout 900     7600   unknown 8.0 310 unknown 6.9 310 timeout 900    5700 true 130     660
pthread-ext/25_stack_true-unreach-call.i true .42 37 true 850    3700 true 400 12000 unknown 4.7 230 error 5.8 260 error 4.1 220 error 6.9 390 unknown 2.9 190 out of memory 19     15000   unknown 900    1300 true 2.9   41   timeout 900    220 true 11    170 true 4.1  160 true .25 29 timeout 880    250 error (1) .058 5.4 timeout 900     7700   unknown 7.7 320 unknown 7.8 310 timeout 900    5600 true 99     75
pthread-ext/26_stack_cas_longer_true-unreach-call.i true 4.3  190 true 850    2000 true 460 13000 unknown 3.8 220 error 5.9 260 error 4.6 220 error 6.8 390 unknown 3.1 180 out of memory 18     15000   unknown 900    1300 true 2.3   28   timeout 900    240 true 89    1100 true 5.1  160 true .20 29 timeout 880    330 error (1) .037 5.2 timeout 900     14000   unknown 9.0 330 unknown 7.0 310 timeout 900    5500 timeout 900     220
pthread-ext/26_stack_cas_longest_true-unreach-call.i true 31    540 error 850    3800 true 470 12000 unknown 3.9 230 error 5.5 260 error 4.0 220 error 8.0 390 unknown 3.0 190 out of memory 23     15000   unknown 890    1500 true 2.9   41   timeout 900    280 true 530    2900 true 4.3  160 true .22 29 timeout 880    710 error (1) .083 5.4 timeout 900     14000   unknown 8.1 310 unknown 8.2 320 timeout 900    5900 timeout 900     660
pthread-ext/26_stack_cas_true-unreach-call.i true .49 43 true 850    2400 true 480 12000 unknown 4.6 220 error 4.8 260 error 4.7 220 error 6.6 390 unknown 3.0 190 out of memory 25     15000   unknown 900    1300 true 2.1   28   timeout 900    230 true 13    170 true 5.2  160 true .22 29 timeout 880    230 error (1) .096 5.6 timeout 900     10000   unknown 8.2 310 unknown 9.3 330 timeout 900    6100 timeout 900     170
pthread-ext/29_conditionals_vs_true-unreach-call.i true .31 27 true 850    3700 true 12 540 unknown 4.6 220 error 4.7 250 error 4.3 220 error 6.9 420 unknown 3.0 190 out of memory 240     15000   timeout 900    7100 true 1.6   28   timeout 900    350 true 4.6  50 true 1.1  45 true .21 29 true 890    960 error (1) .091 5.3 timeout 900     3500   unknown 9.2 340 unknown 8.7 310 timeout 900    3500 true .23  25
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i true .26 28 true 850    2300 true 18 890 unknown 4.4 220 error 5.7 250 error 3.7 230 error 7.1 420 timeout 900   420 unknown 900     1700   timeout 900    4500 true 1.7   28   timeout 900    470 true 4.7  54 true 1.2  49 true .21 29 error (1) 2.4  42 error (1) .10  5.4 unknown .13  9.1 unknown 8.2 330 unknown 7.8 310 timeout 900    4000 unknown .099 14
pthread-ext/31_simple_loop5_vs_true-unreach-call.i true .27 29 true 850    1500 true 13 540 unknown 4.4 220 error 5.4 250 error 4.4 230 error 7.5 420 timeout 900   590 out of memory 12     15000   timeout 900    2600 true 52     140   timeout 900    240 true 4.5  53 true 2.3  62 true .23 29 true 890    270 error (1) .045 5.2 timeout 900     7000   unknown 7.9 310 unknown 7.4 310 timeout 900    6600 true 1.2   36
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i true .33 31 true 850    810 true 16 770 unknown 4.7 220 error 4.8 260 error 3.8 220 error 8.0 420 timeout 900   380 unknown 900     4800   unknown 5.3  180 true 1.7   28   timeout 900    370 true 5.6  58 true 2.6  61 true .16 29 true 880    230 error (1) .047 5.2 timeout 900     6600   unknown 8.2 310 unknown 8.9 340 timeout 900    6000 true 24     55
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i true .30 29 true 850    740 true 21 850 unknown 4.5 220 error 5.8 260 error 4.6 220 error 8.1 420 timeout 900   380 unknown 900     4800   timeout 900    3400 true 2.4   41   timeout 900    310 true 5.5  58 true 2.2  61 true .25 29 true 890    260 error (1) .11  5.4 timeout 900     6500   unknown 7.2 310 unknown 8.9 330 timeout 900    5300 true 38     58
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i true .27 28 true 850    690 true 22 820 unknown 4.4 220 error 5.0 260 error 4.6 220 error 8.0 430 timeout 900   260 unknown 900     3500   timeout 900    3300 true 2.3   37   timeout 900    320 true 5.0  56 true 1.3  54 true .21 29 true 890    260 error (1) .073 5.2 false(reach) .73  11   unknown 8.0 310 unknown 8.5 330 timeout 900    7900 true .32  27
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i true .40 41 true 850    3200 true 19 930 unknown 3.9 220 error 4.3 250 error 3.7 220 error 8.0 420 timeout 900   2200 out of memory 28     15000   timeout 900    1300 true 1.7   28   timeout 900    280 true 7.4  120 true 2.3  96 true .28 29 timeout 880    240 error (1) .061 5.4 unknown 3.0   820   unknown 8.3 320 unknown 7.5 300 timeout 900    5200 true 38     63
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i true .36 37 true 850    7900 true 21 1100 unknown 4.7 220 error 5.8 250 error 3.8 220 error 8.1 390 timeout 900   2300 out of memory 15     15000   timeout 900    1300 true 2.2   39   timeout 900    210 true 6.6  130 true 3.3  110 true .20 29 timeout 880    200 error (1) .070 5.4 timeout 900     2400   unknown 8.1 330 unknown 7.9 300 timeout 900    4300 true 12     61
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i true .22 30 true 850    950 true 41 2200 unknown 4.7 230 error 5.9 260 error 4.6 220 error 6.8 410 unknown 3.1 190 out of memory 49     15000   unknown 900    4900 true 1.8   28   timeout 900    300 true 6.3  64 true 1.1  45 true .21 29 true 890    670 error (1) .051 5.4 timeout 900     3000   unknown 8.7 320 unknown 8.5 320 timeout 900    4600 true .54  24
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i true .28 30 true 850    2100 true 36 1400 unknown 4.6 220 error 5.8 260 error 3.7 220 error 8.1 420 unknown 2.8 180 false(reach) 290     8300   unknown 900    6100 true 1.9   39   timeout 900    320 true 5.1  56 true 1.2  49 true .27 29 true 880    190 error (1) .079 5.2 timeout 900     5500   unknown 9.3 330 unknown 8.6 320 timeout 900    5600 true .64  44
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i true .28 28 true 850    4700 true 22 830 unknown 4.6 220 error 5.9 260 error 3.8 230 error 7.9 400 unknown 2.9 190 unknown .035 7.8 unknown .23 17 true 2.1   28   timeout 900    260 true 150    110 true 71    450 true .28 29 timeout 880    170 error (1) .051 5.3 false(reach) 4.1   120   unknown 7.9 310 unknown 8.0 320 timeout 900    5500 true 4.4   71
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i true .28 29 true 850    2100 true 57 4500 unknown 4.7 230 error 5.8 250 error 4.4 220 error 7.0 400 unknown 3.1 180 unknown .033 7.8 unknown .31 17 true 2.2   28   timeout 900    230 true 160    150 true 71    450 true .31 29 timeout 880    170 error (1) .075 5.3 false(reach) 6.9   82   unknown 7.6 310 unknown 9.0 330 timeout 900    3500 true .64  32
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i true .33 34 error 850    1400 true 130 11000 unknown 4.6 230 error 5.9 260 error 4.0 220 error 7.4 410 unknown 2.9 190 unknown .033 7.8 unknown .26 18 true 3.8   40   timeout 900    340 true 520    400 true 73    800 true .20 29 timeout 880    210 error (1) .062 5.4 false(reach) 6.3   50   unknown 7.7 320 unknown 8.0 310 timeout 900    1900 true 4.1   78
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error(signal 6) .32 29 true 850    2800 true 48 4300 unknown 4.6 230 error 5.9 260 error 4.0 230 error 8.6 410 unknown 3.1 190 unknown .038 7.9 unknown .24 18 true 3.5   43   timeout 900    240 true 230    130 true 72    560 true .26 29 timeout 880    160 error (1) .053 5.2 false(reach) 1.3   25   unknown 8.5 310 unknown 7.7 310 timeout 900    3100 true 81     110
pthread-ext/45_monabsex1_vs_true-unreach-call.i true .26 27 true 850    6300 true 14 520 unknown 4.3 220 error 5.8 260 error 4.4 220 error 7.8 400 unknown 3.0 190 out of memory 250     15000   timeout 900    1100 true 3.4   40   timeout 900    340 true 3.7  47 true .92 37 true .27 29 true 880    200 error (1) .049 5.1 timeout 900     6100   unknown 7.6 310 unknown 8.1 320 true 55    1100 true 2.1   45
pthread-ext/46_monabsex2_vs_true-unreach-call.i true .26 28 true 850    5600 true 12 480 unknown 4.4 220 error 5.7 250 error 4.4 220 error 8.0 410 timeout 900   490 unknown .024 7.6 unknown .21 17 false(reach) 3.6   40   timeout 900    330 true 4.0  47 true .48 22 true .21 29 true 880    240 error (1) .089 5.1 out of memory 76     15000   unknown 9.0 340 unknown 7.4 320 true 42    850 true 3.6   50
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i true .26 28 true 850    1700 true 29 1500 unknown 4.4 230 error 5.1 260 error 6.5 310 error 97   3600 out of memory 420   15000 out of memory 14     15000   false(reach) 5.0  180 true 1.7   28   timeout 900    55 true 6.8  67 true 1.9  53 true .18 25 true 890    620 error (1) .078 5.5 out of memory 530     15000   unknown 10   340 unknown 7.5 310 timeout 900    6100 true 62     64
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i true .26 28 true 850    280 true 20 900 unknown 4.6 230 error 5.5 260 error 3.9 230 error 8.3 390 true 2.6 190 out of memory 14     15000   false(reach) 5.3  180 true 1.9   39   timeout 900    250 true 5.0  54 true 2.2  53 true .25 25 true 890    780 error (1) .057 5.2 false(reach) .17  40   unknown 8.2 310 unknown 6.9 300 timeout 900    4500 true 7.7   59
pthread-wmm/mix000_power.oepc_false-unreach-call.i true .30 29 false(reach) 8.9  100 false(reach) 15 1000 unknown 5.0 230 error 4.4 220 error 3.8 230 unknown 22   910 false(reach) 4.8 190 false(reach) 7.8   240   false(reach) 6.5  180 true 4.3   45   false(reach) 7.3  37 false(reach) 1.6  58 false(reach) 2.4  110 true .25 30 false(reach) 19    1300 error (1) .11  5.8 out of memory 400     15000   unknown 8.0 320 unknown 7.1 300 false(reach) 70    1300 false(reach) 7.1   84
pthread-wmm/mix000_power.opt_false-unreach-call.i true .30 29 false(reach) 11    96 false(reach) 17 1000 unknown 5.1 230 error 4.5 220 error 4.9 230 unknown 24   1400 false(reach) 4.7 190 false(reach) 7.7   230   false(reach) 5.9  180 false(reach) 24     44   false(reach) 17    51 false(reach) 1.4  59 false(reach) 2.3  110 true .26 30 false(reach) 15    1200 error (1) .070 5.6 timeout 900     15000   unknown 8.1 310 unknown 7.8 310 false(reach) 68    1500 false(reach) 6.3   83
pthread-wmm/mix000_pso.oepc_false-unreach-call.i true .30 29 false(reach) 9.4  100 false(reach) 17 1000 unknown 4.8 230 error 5.2 220 error 4.2 230 unknown 22   1400 false(reach) 5.0 190 false(reach) 8.2   240   false(reach) 6.6  190 true 3.5   31   false(reach) 7.0  36 false(reach) 1.5  58 false(reach) 2.4  110 true .24 31 false(reach) 20    1300 error (1) .073 5.7 out of memory 390     15000   unknown 8.6 310 unknown 7.8 300 false(reach) 68    1200 false(reach) 7.0   87
pthread-wmm/mix000_pso.opt_false-unreach-call.i true .34 29 false(reach) 10    94 false(reach) 17 1000 unknown 4.9 230 error 4.2 220 error 4.9 230 unknown 24   1400 false(reach) 5.0 190 false(reach) 7.4   240   false(reach) 6.3  180 true 3.8   44   false(reach) 18    51 false(reach) 1.5  57 false(reach) 2.3  110 true .30 31 false(reach) 15    1200 error (1) .12  5.9 timeout 900     15000   unknown 7.1 300 unknown 7.9 330 false(reach) 59    1300 false(reach) 6.3   82
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i true .30 29 false(reach) 9.6  100 false(reach) 17 1000 unknown 5.0 230 error 4.4 220 error 4.9 230 unknown 20   1400 false(reach) 4.8 190 false(reach) 7.9   250   false(reach) 6.4  180 true 3.8   43   false(reach) 7.1  36 false(reach) 1.6  60 false(reach) 2.4  110 true .32 30 false(reach) 19    1300 error (1) .076 5.6 out of memory 390     15000   unknown 8.0 310 unknown 8.3 320 false(reach) 69    1300 false(reach) 7.1   82
pthread-wmm/mix000_rmo.opt_false-unreach-call.i true .35 29 false(reach) 10    96 false(reach) 19 1000 unknown 4.7 230 error 5.0 220 error 4.9 220 unknown 25   1400 false(reach) 4.2 190 false(reach) 7.7   230   false(reach) 6.4  190 false(reach) 26     47   false(reach) 17    52 false(reach) 1.6  59 false(reach) 2.3  110 true .27 30 false(reach) 15    1200 error (1) .13  5.7 timeout 900     15000   unknown 8.3 320 unknown 8.1 310 false(reach) 60    1300 false(reach) 6.3   82
pthread-wmm/mix000_tso.oepc_false-unreach-call.i true .30 29 false(reach) 9.6  100 false(reach) 17 1000 unknown 4.2 230 error 5.2 220 error 4.3 230 unknown 22   1400 false(reach) 5.0 190 false(reach) 8.0   250   false(reach) 6.5  190 false(reach) 12     45   false(reach) 7.2  36 false(reach) 1.6  58 false(reach) 2.4  110 true .25 30 false(reach) 19    1400 error (1) .066 5.7 out of memory 390     15000   unknown 8.1 310 unknown 8.2 300 false(reach) 69    900 false(reach) 7.1   79
pthread-wmm/mix000_tso.opt_false-unreach-call.i true .30 29 false(reach) 10    95 false(reach) 18 1000 unknown 4.9 230 error 5.2 220 error 4.9 220 unknown 25   960 false(reach) 4.7 190 false(reach) 7.8   240   false(reach) 5.9  180 true 3.3   30   false(reach) 17    52 false(reach) 1.5  57 false(reach) 2.3  110 true .19 31 false(reach) 15    1200 error (1) .080 5.8 timeout 900     15000   unknown 8.4 310 unknown 8.4 330 false(reach) 58    1200 false(reach) 6.4   84
pthread-wmm/mix001_power.oepc_false-unreach-call.i true .35 29 false(reach) 38    190 false(reach) 22 1400 unknown 5.1 230 error 5.1 220 error 5.0 230 timeout 900   8900 false(reach) 45   190 false(reach) 46     480   false(reach) 12    190 false(reach) 12     46   timeout 900    210 false(reach) 1.8  61 false(reach) 3.6  150 true .30 31 false(reach) 64    4800 error (1) .13  5.7 out of memory 280     15000   unknown 8.0 310 unknown 8.4 340 false(reach) 490    2000 false(reach) 31     100
pthread-wmm/mix001_power.opt_false-unreach-call.i true .38 29 false(reach) 22    150 false(reach) 35 1600 unknown 4.2 230 error 5.1 230 error 4.8 230 timeout 900   8400 false(reach) 58   190 false(reach) 23     260   false(reach) 11    190 true 3.9   44   timeout 900    220 false(reach) 1.6  59 false(reach) 3.0  150 true .25 30 false(reach) 40    4400 error (1) .13  5.7 out of memory 200     15000   unknown 7.7 330 unknown 8.3 320 false(reach) 110    1300 false(reach) 28     98
pthread-wmm/mix001_pso.oepc_false-unreach-call.i true .39 29 false(reach) 45    190 false(reach) 21 1300 unknown 4.9 230 error 5.2 220 error 5.1 240 timeout 900   8300 false(reach) 44   180 false(reach) 45     480   false(reach) 12    190 true 3.3   33   timeout 900    210 false(reach) 1.7  61 false(reach) 3.7  150 true .24 30 false(reach) 65    5100 error (1) .13  5.7 out of memory 280     15000   unknown 8.0 310 unknown 8.4 310 false(reach) 500    2200 false(reach) 32     100
pthread-wmm/mix001_pso.opt_false-unreach-call.i true .37 29 false(reach) 22    150 false(reach) 34 1600 unknown 4.9 230 error 4.3 220 error 5.0 220 timeout 900   8300 false(reach) 58   180 false(reach) 22     260   false(reach) 11    190 false(reach) 29     45   timeout 900    230 false(reach) 1.6  60 false(reach) 3.1  150 true .24 30 false(reach) 41    4400 error (1) .070 5.6 out of memory 190     15000   unknown 8.8 330 unknown 8.2 320 false(reach) 120    1500 false(reach) 28     98
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i true .27 29 false(reach) 45    190 false(reach) 23 1400 unknown 4.4 230 error 5.0 220 error 5.0 230 timeout 900   8200 false(reach) 44   190 false(reach) 44     480   false(reach) 12    190 false(reach) 12     46   timeout 900    210 false(reach) 1.6  61 false(reach) 3.7  150 true .24 31 false(reach) 64    5100 error (1) .061 5.7 out of memory 290     15000   unknown 8.2 320 unknown 7.7 320 false(reach) 500    2000 false(reach) 31     110
pthread-wmm/mix001_rmo.opt_false-unreach-call.i true .35 29 false(reach) 21    150 false(reach) 32 1600 unknown 4.1 230 error 5.2 220 error 4.7 230 timeout 910   9900 false(reach) 57   190 false(reach) 23     260   false(reach) 11    190 true 3.8   45   timeout 900    230 false(reach) 1.7  60 false(reach) 3.1  150 true .26 28 false(reach) 41    4300 error (1) .082 5.7 out of memory 190     15000   unknown 9.3 310 unknown 8.2 320 false(reach) 120    1500 false(reach) 26     97
pthread-wmm/mix001_tso.oepc_false-unreach-call.i true .34 29 false(reach) 45    190 false(reach) 24 1400 unknown 4.4 230 error 5.1 220 error 4.9 230 timeout 900   8200 false(reach) 44   190 false(reach) 42     480   false(reach) 10    190 true 4.1   33   timeout 900    210 false(reach) 1.8  61 false(reach) 3.7  160 true .26 30 false(reach) 64    5100 error (1) .071 5.7 out of memory 290     15000   unknown 8.0 300 unknown 9.4 330 false(reach) 490    2100 false(reach) 31     100
pthread-wmm/mix001_tso.opt_false-unreach-call.i true .34 29 false(reach) 22    150 false(reach) 33 1600 unknown 5.0 230 error 9.5 220 error 4.9 230 timeout 900   8300 false(reach) 58   190 false(reach) 23     260   false(reach) 11    190 true 6.0   45   timeout 900    230 false(reach) 1.6  60 false(reach) 3.0  140 true .29 30 false(reach) 40    4400 error (1) .095 6.0 out of memory 190     15000   unknown 9.0 330 unknown 8.1 310 false(reach) 120    1300 false(reach) 28     96
pthread-wmm/mix002_power.oepc_false-unreach-call.i true .38 29 false(reach) 40    180 false(reach) 23 1300 unknown 4.7 230 error 5.1 220 error 4.9 230 unknown 730   8600 false(reach) 22   190 false(reach) 29     230   false(reach) 11    190 error (139) .044 4.9 timeout 900    170 false(reach) 1.6  61 false(reach) 3.2  150 true .24 31 false(reach) 46    3900 error (1) .079 5.7 out of memory 100     15000   unknown 10   350 unknown 7.7 310 false(reach) 130    1800 false(reach) 32     95
pthread-wmm/mix002_power.opt_false-unreach-call.i true .27 29 false(reach) 37    180 false(reach) 38 1700 unknown 4.8 230 error 5.2 220 error 5.0 230 timeout 900   9600 false(reach) 60   190 false(reach) 22     270   false(reach) 11    190 true 4.2   43   timeout 900    220 false(reach) 1.6  60 false(reach) 3.3  150 true .36 29 false(reach) 42    5100 error (1) .092 5.6 out of memory 90     15000   unknown 8.1 320 unknown 8.1 320 false(reach) 130    1700 false(reach) 26     100
pthread-wmm/mix002_pso.oepc_false-unreach-call.i true .38 29 false(reach) 53    190 false(reach) 22 1300 unknown 4.9 230 error 4.3 220 error 4.8 230 unknown 730   8500 false(reach) 21   190 false(reach) 28     230   false(reach) 11    190 true 4.1   45   timeout 900    190 false(reach) 1.6  59 false(reach) 3.3  150 true .27 31 false(reach) 46    3800 error (1) .12  5.6 out of memory 100     15000   unknown 7.3 310 unknown 8.9 330 false(reach) 140    1400 false(reach) 31     94
pthread-wmm/mix002_pso.opt_false-unreach-call.i true .39 29 false(reach) 37    180 false(reach) 34 1700 unknown 5.1 230 error 5.2 220 error 4.9 230 timeout 900   8600 false(reach) 59   190 false(reach) 24     270   false(reach) 11    180 true 4.0   44   timeout 900    220 false(reach) 1.6  60 false(reach) 3.3  150 true .27 31 false(reach) 42    5100 error (1) .073 5.7 out of memory 91     15000   unknown 8.4 320 unknown 9.2 340 false(reach) 130    1600 false(reach) 26     100
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i true .35 29 false(reach) 53    190 false(reach) 23 1300 unknown 4.1 230 error 5.3 220 error 4.0 230 unknown 710   9100 false(reach) 22   190 false(reach) 28     230   false(reach) 10    190 true 3.0   32   timeout 900    180 false(reach) 1.6  59 false(reach) 3.3  150 true .24 30 false(reach) 46    3800 error (1) .12  5.5 out of memory 110     15000   unknown 8.8 340 unknown 8.5 320 false(reach) 130    1800 false(reach) 32     97
pthread-wmm/mix002_rmo.opt_false-unreach-call.i true .35 29 false(reach) 37    180 false(reach) 35 1700 unknown 4.8 230 error 5.2 220 error 4.8 220 timeout 900   9600 false(reach) 60   190 false(reach) 22     270   false(reach) 11    190 true 3.7   44   timeout 900    220 false(reach) 1.6  60 false(reach) 3.4  150 true .29 31 false(reach) 42    5100 error (1) .081 6.0 out of memory 89     15000   unknown 8.5 320 unknown 8.1 310 false(reach) 130    1200 false(reach) 27     100
pthread-wmm/mix002_tso.oepc_false-unreach-call.i true .34 29 false(reach) 52    190 false(reach) 23 1200 unknown 4.1 230 error 5.2 220 error 5.0 230 unknown 670   8800 false(reach) 22   190 false(reach) 28     240   false(reach) 11    190 true 1.8   32   timeout 900    190 false(reach) 1.6  59 false(reach) 3.4  150 true .28 31 false(reach) 46    3800 error (1) .11  5.7 out of memory 100     15000   unknown 8.2 320 unknown 8.5 300 false(reach) 130    1800 false(reach) 30     97
pthread-wmm/mix002_tso.opt_false-unreach-call.i true .34 29 false(reach) 37    180 false(reach) 34 1700 unknown 4.9 230 error 5.2 220 error 5.0 230 timeout 900   8400 false(reach) 60   190 false(reach) 24     270   false(reach) 12    190 true 4.0   45   timeout 900    190 false(reach) 1.6  60 false(reach) 3.3  150 true .24 30 false(reach) 42    5100 error (1) .13  5.8 out of memory 91     15000   unknown 9.0 310 unknown 8.1 310 false(reach) 140    1800 false(reach) 27     100
pthread-wmm/mix003_power.oepc_false-unreach-call.i true .33 29 false(reach) 37    160 false(reach) 21 1200 unknown 4.8 230 error 5.1 220 error 4.8 220 unknown 250   5700 false(reach) 20   180 false(reach) 27     230   false(reach) 9.6  190 true 4.0   45   timeout 900    210 false(reach) 1.5  58 false(reach) 2.7  140 true .25 30 false(reach) 50    3800 error (1) .067 5.4 out of memory 110     15000   unknown 8.2 320 unknown 7.5 310 false(reach) 96    1400 false(reach) 20     91
pthread-wmm/mix003_power.opt_false-unreach-call.i true .39 29 false(reach) 15    140 false(reach) 34 1600 unknown 5.0 230 error 4.2 220 error 5.0 230 timeout 910   7900 false(reach) 56   190 false(reach) 22     250   false(reach) 11    190 error (134) 4.3   45   timeout 900    240 false(reach) 1.6  59 false(reach) 3.2  140 true .26 31 false(reach) 41    4500 error (1) .079 5.6 out of memory 90     15000   unknown 8.2 300 unknown 7.8 310 false(reach) 90    1400 false(reach) 20     100
pthread-wmm/mix003_pso.oepc_false-unreach-call.i true .36 29 false(reach) 34    150 false(reach) 20 1200 unknown 5.0 230 error 5.1 220 error 4.2 230 unknown 270   5800 false(reach) 20   180 false(reach) 27     230   false(reach) 10    190 true 6.6   45   timeout 900    210 false(reach) 1.5  58 false(reach) 2.8  140 true .23 30 false(reach) 52    3800 error (1) .065 5.6 out of memory 110     15000   unknown 7.0 310 unknown 9.5 340 false(reach) 230    1300 false(reach) 20     88
pthread-wmm/mix003_pso.opt_false-unreach-call.i true .33 29 false(reach) 15    140 false(reach) 34 1500 unknown 4.9 230 error 5.3 220 error 4.1 230 timeout 900   8400 false(reach) 55   180 false(reach) 22     250   false(reach) 9.9  180 true 4.0   43   timeout 900    240 false(reach) 1.6  59 false(reach) 3.1  140 true .28 30 false(reach) 42    4400 error (1) .074 5.7 out of memory 91     15000   unknown 8.3 320 unknown 9.5 330 false(reach) 93    1300 false(reach) 20     94
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i true .26 29 false(reach) 33    150 false(reach) 22 1200 unknown 4.9 230 error 4.2 220 error 5.0 230 unknown 250   5700 false(reach) 20   190 false(reach) 26     230   false(reach) 9.9  190 true 3.8   45   timeout 900    210 false(reach) 1.6  58 false(reach) 2.8  140 true .29 30 false(reach) 51    3800 error (1) .094 5.8 out of memory 110     15000   unknown 8.1 310 unknown 7.9 310 false(reach) 94    1600 false(reach) 20     88
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i true .34 29 false(reach) 31    150 false(reach) 31 1500 unknown 5.0 230 error 5.2 220 error 5.0 230 timeout 900   8100 false(reach) 56   190 false(reach) 22     250   false(reach) 9.6  200 true 3.7   43   timeout 900    230 false(reach) 1.6  59 false(reach) 3.0  140 true .23 31 false(reach) 41    4400 error (1) .12  5.6 out of memory 90     15000   unknown 8.3 340 unknown 7.5 310 false(reach) 92    1400 false(reach) 20     98
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i true .35 29 false(reach) 14    140 false(reach) 35 1500 unknown 4.2 230 error 5.2 220 error 4.8 230 timeout 910   10000 false(reach) 56   190 false(reach) 22     250   false(reach) 11    190 true 4.3   44   timeout 900    230 false(reach) 1.6  59 false(reach) 3.0  140 true .36 31 false(reach) 41    4500 error (1) .076 5.6 out of memory 91     15000   unknown 7.7 310 unknown 9.4 340 false(reach) 95    1100 false(reach) 21     90
pthread-wmm/mix003_rmo.opt_false-unreach-call.i true .37 29 false(reach) 15    140 false(reach) 33 1500 unknown 4.2 240 error 4.3 220 error 5.0 230 timeout 910   8000 false(reach) 56   190 false(reach) 22     250   false(reach) 11    190 true 4.0   43   timeout 900    240 false(reach) 1.6  59 false(reach) 3.0  140 true .31 30 false(reach) 41    4400 error (1) .070 5.7 out of memory 91     15000   unknown 7.8 310 unknown 7.7 310 false(reach) 93    1300 false(reach) 19     99
pthread-wmm/mix003_tso.oepc_false-unreach-call.i true .34 29 false(reach) 33    150 false(reach) 25 1200 unknown 4.9 230 error 5.0 220 error 4.8 230 unknown 250   5800 false(reach) 21   190 false(reach) 27     220   false(reach) 9.7  190 true 3.8   44   timeout 900    210 false(reach) 1.6  58 false(reach) 2.8  140 true .27 30 false(reach) 50    3800 error (1) .069 5.6 out of memory 110     15000   unknown 8.5 310 unknown 7.4 310 false(reach) 97    1600 false(reach) 18     88
pthread-wmm/mix003_tso.opt_false-unreach-call.i true .34 29 false(reach) 14    140 false(reach) 31 1500 unknown 4.2 230 error 5.1 220 error 4.1 230 timeout 900   8300 false(reach) 56   190 false(reach) 22     250   false(reach) 10    190 false(valid-free) 3.9   45   timeout 900    220 false(reach) 1.4  59 false(reach) 3.0  140 true .24 30 false(reach) 41    4400 error (1) .13  5.8 out of memory 90     15000   unknown 8.3 320 unknown 8.1 320 false(reach) 90    1400 false(reach) 21     99
pthread-wmm/mix004_power.oepc_false-unreach-call.i true .31 29 false(reach) 110    290 false(reach) 33 2100 unknown 4.3 230 error 4.3 220 error 4.2 230 timeout 900   7400 false(reach) 330   330 timeout 900     8000   false(reach) 50    210 true 4.4   45   timeout 900    180 false(reach) 1.6  61 false(reach) 4.2  170 true .25 30 false(reach) 230    9800 error (1) .075 5.8 out of memory 96     15000   unknown 8.3 320 unknown 9.8 370 false(reach) 340    3800 false(reach) 170     130
pthread-wmm/mix004_power.opt_false-unreach-call.i true .40 29 false(reach) 45    220 false(reach) 44 3500 unknown 4.0 230 error 5.1 220 error 4.9 230 timeout 900   8000 timeout 900   530 false(reach) 630     7400   false(reach) 47    200 true 4.1   44   timeout 900    190 false(reach) 1.7  62 false(reach) 3.9  170 true .27 31 false(reach) 110    12000 error (1) .12  6.0 out of memory 99     15000   unknown 9.7 330 unknown 7.9 310 false(reach) 390    2200 false(reach) 150     130
pthread-wmm/mix004_pso.oepc_false-unreach-call.i true .41 29 false(reach) 41    230 false(reach) 29 2000 unknown 4.2 230 error 5.3 220 error 5.0 230 timeout 900   7400 false(reach) 330   350 timeout 900     8000   false(reach) 48    210 true 4.4   45   timeout 900    180 false(reach) 1.7  61 false(reach) 4.4  170 true .23 30 false(reach) 250    10000 error (1) .13  5.7 out of memory 96     15000   unknown 8.0 310 unknown 8.2 320 false(reach) 370    3800 false(reach) 170     120
pthread-wmm/mix004_pso.opt_false-unreach-call.i true .31 29 false(reach) 52    230 false(reach) 45 3400 unknown 4.3 230 error 4.5 220 error 4.9 230 timeout 900   8800 timeout 900   500 false(reach) 630     7400   false(reach) 48    200 true 3.1   33   timeout 900    200 false(reach) 1.7  62 false(reach) 4.0  170 true .26 31 false(reach) 120    12000 error (1) .13  5.8 out of memory 100     15000   unknown 7.1 310 unknown 8.9 300 false(reach) 390    2300 false(reach) 150     120
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i true .40 29 false(reach) 65    250 false(reach) 33 2000 unknown 5.0 230 error 5.3 220 error 4.2 230 timeout 900   7600 false(reach) 330   340 timeout 900     8000   false(reach) 50    200 true 4.9   45   timeout 900    170 false(reach) 1.7  61 false(reach) 4.3  170 true .35 31 false(reach) 250    10000 error (1) .13  5.7 out of memory 99     15000   unknown 9.2 320 unknown 8.3 320 false(reach) 570    3500 false(reach) 170     130
pthread-wmm/mix004_rmo.opt_false-unreach-call.i true .43 29 false(reach) 52    230 false(reach) 45 3400 unknown 4.4 230 error 5.3 220 error 4.1 230 timeout 910   7900 timeout 900   500 false(reach) 650     7400   false(reach) 50    200 true 4.3   44   timeout 900    200 false(reach) 1.4  62 false(reach) 4.1  170 true .29 31 false(reach) 110    12000 error (1) .073 5.4 out of memory 98     15000   unknown 8.1 320 unknown 8.0 320 false(reach) 280    2500 false(reach) 150     130
pthread-wmm/mix004_tso.oepc_false-unreach-call.i true .44 29 false(reach) 66    250 false(reach) 32 2000 unknown 5.1 230 error 4.4 220 error 5.0 230 timeout 900   7500 false(reach) 330   330 timeout 900     8000   false(reach) 50    210 true 4.1   45   timeout 900    170 false(reach) 1.8  61 false(reach) 4.3  170 true .22 31 false(reach) 260    10000 error (1) .073 6.0 out of memory 96     15000   unknown 7.3 310 unknown 7.7 310 false(reach) 350    4000 false(reach) 170     120
pthread-wmm/mix004_tso.opt_false-unreach-call.i true .45 29 false(reach) 53    230 false(reach) 46 3400 unknown 4.9 230 error 4.4 230 error 4.9 230 timeout 910   8000 timeout 900   520 false(reach) 630     7400   false(reach) 45    200 true 3.7   33   timeout 900    190 false(reach) 1.8  64 false(reach) 3.9  170 true .28 30 false(reach) 120    12000 error (1) .079 5.7 out of memory 98     15000   unknown 7.9 320 unknown 8.0 310 false(reach) 280    2600 false(reach) 150     120
pthread-wmm/mix005_power.oepc_false-unreach-call.i true .32 29 false(reach) 84    270 false(reach) 31 2000 unknown 4.3 230 error 4.5 220 error 4.2 230 timeout 900   7500 false(reach) 330   360 timeout 900     7900   false(reach) 50    200 false(reach) 14     45   timeout 900    180 false(reach) 1.7  61 false(reach) 5.1  170 true .29 30 false(reach) 190    9800 error (1) .072 5.6 out of memory 98     15000   unknown 9.7 350 unknown 8.9 330 false(reach) 330    3700 false(reach) 140     120
pthread-wmm/mix005_power.opt_false-unreach-call.i true .43 29 false(reach) 45    220 false(reach) 42 3400 unknown 5.0 230 error 4.5 220 error 5.0 240 timeout 900   7900 timeout 900   530 false(reach) 640     7400   false(reach) 49    200 true 4.5   43   timeout 900    200 false(reach) 1.7  62 false(reach) 4.2  170 true .24 30 false(reach) 100    12000 error (1) .10  5.8 out of memory 99     15000   unknown 7.9 300 unknown 7.7 310 false(reach) 320    3200 false(reach) 120     120
pthread-wmm/mix005_pso.oepc_false-unreach-call.i true .44 29 false(reach) 110    290 false(reach) 27 2000 unknown 4.9 230 error 4.5 220 error 4.8 230 timeout 900   7500 false(reach) 330   360 timeout 900     8000   false(reach) 49    200 true 12     46   timeout 900    180 false(reach) 1.7  62 false(reach) 5.1  170 true .36 31 false(reach) 180    9800 error (1) .13  5.8 out of memory 98     15000   unknown 8.0 310 unknown 8.2 310 false(reach) 350    4000 false(reach) 140     110
pthread-wmm/mix005_pso.opt_false-unreach-call.i true .32 29 false(reach) 46    220 false(reach) 49 3400 unknown 4.7 230 error 5.2 220 error 5.0 230 timeout 910   7900 timeout 900   520 false(reach) 630     7400   false(reach) 48    200 true 4.5   45   timeout 900    200 false(reach) 1.7  64 false(reach) 4.3  170 true .28 30 false(reach) 100    11000 error (1) .069 5.7 out of memory 100     15000   unknown 8.3 320 unknown 7.7 310 false(reach) 330    2900 false(reach) 130     110
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i true .40 29 false(reach) 110    290 false(reach) 29 2000 unknown 5.1 230 error 5.2 220 error 4.9 220 timeout 900   7400 false(reach) 340   360 timeout 900     8000   false(reach) 51    200 false(reach) 14     46   timeout 900    180 false(reach) 1.7  61 false(reach) 5.1  170 true .24 29 false(reach) 200    9800 error (1) .064 5.7 out of memory 99     15000   unknown 7.9 320 unknown 8.0 320 false(reach) 370    3900 false(reach) 130     110
pthread-wmm/mix005_rmo.opt_false-unreach-call.i true .46 29 false(reach) 45    220 false(reach) 47 3400 unknown 4.9 230 error 4.4 220 error 4.9 230 timeout 900   8400 timeout 900   520 false(reach) 650     7400   false(reach) 45    200 true 4.4   45   timeout 900    200 false(reach) 1.7  62 false(reach) 4.3  170 true .31 30 false(reach) 100    11000 error (1) .087 5.8 out of memory 100     15000   unknown 8.6 310 unknown 8.3 320 false(reach) 290    3300 false(reach) 120     110
pthread-wmm/mix005_tso.oepc_false-unreach-call.i true .40 29 false(reach) 82    250 false(reach) 34 3000 unknown 5.2 230 error 5.0 230 error 5.1 230 timeout 900   7600 false(reach) 260   250 timeout 900     630   false(reach) 47    210 true 4.2   45   timeout 900    150 false(reach) 1.7  61 false(reach) 3.7  170 true .32 30 false(reach) 73    5000 error (1) .080 5.4 out of memory 100     15000   unknown 7.5 310 unknown 8.4 310 false(reach) 190    2800 false(reach) 140     120
pthread-wmm/mix005_tso.opt_false-unreach-call.i true .44 29 false(reach) 46    220 false(reach) 47 3400 unknown 4.2 230 error 5.5 220 error 4.3 220 timeout 900   8700 timeout 900   520 false(reach) 640     7400   false(reach) 45    200 true 4.6   42   timeout 900    200 false(reach) 1.8  62 false(reach) 4.2  170 true .27 31 false(reach) 100    12000 error (1) .099 5.7 out of memory 99     15000   unknown 8.7 320 unknown 8.2 310 false(reach) 320    3300 false(reach) 120     110
pthread-wmm/mix006_power.oepc_false-unreach-call.i true .33 29 false(reach) 35    160 false(reach) 20 1200 unknown 4.1 230 error 5.1 220 error 4.8 230 unknown 350   6400 false(reach) 21   190 false(reach) 30     230   false(reach) 11    190 true 4.5   43   timeout 900    210 false(reach) 1.6  60 false(reach) 3.1  130 true .23 30 false(reach) 61    3500 error (1) .090 5.7 out of memory 100     15000   unknown 8.2 320 unknown 9.3 340 false(reach) 83    1400 false(reach) 20     87
pthread-wmm/mix006_power.opt_false-unreach-call.i true .43 29 false(reach) 15    140 false(reach) 38 1600 unknown 4.8 230 error 5.1 220 error 5.0 220 timeout 910   10000 false(reach) 77   190 false(reach) 25     340   false(reach) 10    190 true 4.5   43   timeout 900    220 false(reach) 1.6  59 false(reach) 2.9  140 true .31 30 false(reach) 41    4500 error (1) .076 5.6 out of memory 90     15000   unknown 8.1 310 unknown 8.0 300 false(reach) 94    1700 false(reach) 18     95
pthread-wmm/mix006_pso.oepc_false-unreach-call.i true .28 29 false(reach) 32    150 false(reach) 21 1200 unknown 4.1 230 error 4.3 220 error 4.8 230 unknown 340   6300 false(reach) 21   190 false(reach) 30     230   false(reach) 10    190 false(reach) 12     45   timeout 900    210 false(reach) 1.6  58 false(reach) 3.0  130 true .26 30 false(reach) 61    3500 error (1) .12  5.7 out of memory 110     15000   unknown 8.3 320 unknown 8.5 320 false(reach) 80    1100 false(reach) 20     93
pthread-wmm/mix006_pso.opt_false-unreach-call.i true .34 29 false(reach) 14    140 false(reach) 36 1600 unknown 4.1 230 error 4.4 220 error 4.8 230 timeout 910   10000 false(reach) 77   190 false(reach) 28     340   false(reach) 11    200 true 4.2   45   timeout 900    240 false(reach) 1.6  59 false(reach) 2.9  140 true .32 30 false(reach) 42    4400 error (1) .079 5.9 out of memory 91     15000   unknown 7.8 310 unknown 7.9 320 false(reach) 90    1500 false(reach) 19     94
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i true .38 29 false(reach) 33    150 false(reach) 21 1100 unknown 4.9 230 error 5.3 220 error 4.9 230 unknown 500   6400 false(reach) 21   190 false(reach) 30     230   false(reach) 9.5  190 true 3.5   31   timeout 900    210 false(reach) 1.5  58 false(reach) 3.2  130 true .32 31 false(reach) 61    3500 error (1) .11  5.5 out of memory 110     15000   unknown 8.4 320 unknown 7.8 300 false(reach) 84    1500 false(reach) 20     83
pthread-wmm/mix006_rmo.opt_false-unreach-call.i true .38 29 false(reach) 15    140 false(reach) 35 1600 unknown 4.9 230 error 5.2 220 error 4.9 230 timeout 910   10000 false(reach) 77   190 false(reach) 28     340   false(reach) 10    190 true 4.2   44   timeout 900    230 false(reach) 1.6  59 false(reach) 2.8  140 true .27 30 false(reach) 41    4500 error (1) .068 5.5 out of memory 91     15000   unknown 8.5 320 unknown 8.3 310 false(reach) 92    1600 false(reach) 20     98
pthread-wmm/mix006_tso.oepc_false-unreach-call.i true .40 31 false(reach) 73    260 false(reach) 43 4200 unknown 5.3 240 error 4.7 230 error 4.7 240 timeout 900   5700 false(reach) 280   270 false(reach) 160     840   false(reach) 15    190 true 5.7   49   timeout 900    230 false(reach) 2.1  73 false(reach) 6.1  260 true .30 31 false(reach) 100    15000 error (1) .16  6.2 out of memory 75     15000   unknown 8.1 310 unknown 8.3 320 false(reach) 350    2500 false(reach) 47     140
pthread-wmm/mix006_tso.opt_false-unreach-call.i true .35 29 false(reach) 15    140 false(reach) 39 1600 unknown 4.8 230 error 5.2 220 error 4.8 230 timeout 900   8100 false(reach) 78   190 false(reach) 26     340   false(reach) 11    190 false(reach) 29     45   timeout 900    240 false(reach) 1.6  59 false(reach) 2.9  140 true .27 30 false(reach) 41    4500 error (1) .11  5.9 out of memory 91     15000   unknown 7.7 310 unknown 9.2 330 false(reach) 93    1400 false(reach) 18     98
pthread-wmm/mix007_power.oepc_false-unreach-call.i true .40 29 false(reach) 100    280 false(reach) 28 2200 unknown 4.7 230 error 4.5 220 error 4.9 230 timeout 900   7500 false(reach) 350   330 timeout 900     10000   false(reach) 54    200 true 4.2   45   timeout 900    170 false(reach) 1.7  61 false(reach) 4.5  170 true .29 30 false(reach) 300    9900 error (1) .13  5.8 out of memory 99     15000   unknown 9.2 330 unknown 9.6 340 false(reach) 660    3900 false(reach) 140     120
pthread-wmm/mix007_power.opt_false-unreach-call.i true .45 29 false(reach) 19    200 false(reach) 48 4100 unknown 4.2 230 error 5.2 220 error 4.2 230 timeout 900   7900 timeout 900   540 false(reach) 890     11000   false(reach) 49    200 true 4.3   45   timeout 900    190 false(reach) 1.7  62 false(reach) 4.1  170 true .30 31 false(reach) 110    12000 error (1) .14  5.7 out of memory 100     15000   unknown 8.5 320 unknown 7.6 310 false(reach) 400    2900 false(reach) 120     120
pthread-wmm/mix007_pso.oepc_false-unreach-call.i true .32 29 false(reach) 49    240 false(reach) 37 2300 unknown 4.9 230 error 4.4 220 error 4.8 230 timeout 900   7500 false(reach) 340   360 timeout 900     9400   false(reach) 51    210 true 3.2   33   timeout 900    180 false(reach) 1.7  61 false(reach) 4.4  170 true .25 30 false(reach) 300    9900 error (1) .14  5.7 out of memory 98     15000   unknown 9.1 330 unknown 7.8 310 false(reach) 590    2800 false(reach) 140     110
pthread-wmm/mix007_pso.opt_false-unreach-call.i true .42 29 false(reach) 34    210 false(reach) 48 4000 unknown 5.0 230 error 5.1 220 error 4.9 220 timeout 900   8000 timeout 900   540 false(reach) 900     11000   false(reach) 50    200 false(reach) 36     45   timeout 900    200 false(reach) 1.7  62 false(reach) 4.1  170 true .31 31 false(reach) 110    12000 error (1) .077 5.7 out of memory 99     15000   unknown 8.1 310 unknown 7.8 310 false(reach) 400    3100 false(reach) 120     120
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i true .44 29 false(reach) 49    240 false(reach) 34 2200 unknown 4.8 230 error 4.3 220 error 4.2 230 timeout 900   7500 false(reach) 340   330 timeout 900     9300   false(reach) 51    200 true 4.5   44   timeout 900    170 false(reach) 1.6  63 false(reach) 4.5  170 true .28 31 false(reach) 290    9800 error (1) .072 5.7 out of memory 98     15000   unknown 8.2 310 unknown 8.4 310 false(reach) 590    2900 false(reach) 130     110
pthread-wmm/mix007_rmo.opt_false-unreach-call.i true .40 29 false(reach) 34    210 false(reach) 51 4100 unknown 5.0 230 error 4.4 220 error 4.2 230 timeout 900   8000 timeout 900   550 false(reach) 890     11000   false(reach) 51    200 true 6.1   45   timeout 900    200 false(reach) 1.7  62 false(reach) 4.1  170 true .29 30 false(reach) 110    12000 error (1) .073 5.7 out of memory 100     15000   unknown 8.8 320 unknown 8.5 310 false(reach) 390    2800 false(reach) 120     120
pthread-wmm/mix007_tso.oepc_false-unreach-call.i true .39 29 false(reach) 49    240 false(reach) 32 2300 unknown 4.1 230 error 4.4 220 error 3.9 230 timeout 900   7600 false(reach) 340   330 timeout 900     9700   false(reach) 51    200 true 5.1   46   timeout 900    170 false(reach) 1.7  63 false(reach) 4.4  170 true .26 30 false(reach) 290    9900 error (1) .065 6.0 out of memory 98     15000   unknown 9.3 330 unknown 7.6 310 false(reach) 660    4100 false(reach) 140     110
pthread-wmm/mix007_tso.opt_false-unreach-call.i true .42 29 false(reach) 19    200 false(reach) 46 4100 unknown 5.0 230 error 5.1 220 error 4.9 230 timeout 900   8000 timeout 900   550 false(reach) 890     11000   false(reach) 48    210 true 4.6   45   timeout 900    200 false(reach) 1.5  62 false(reach) 4.1  170 true .24 30 false(reach) 110    12000 error (1) .080 5.9 out of memory 100     15000   unknown 8.0 300 unknown 8.7 310 false(reach) 400    2900 false(reach) 120     120
pthread-wmm/mix008_power.oepc_false-unreach-call.i true .39 29 false(reach) 160    320 false(reach) 30 2200 unknown 5.0 230 error 4.2 220 error 4.9 230 timeout 900   7400 false(reach) 340   340 timeout 900     8600   false(reach) 51    210 false(reach) 14     46   timeout 900    180 false(reach) 1.6  61 false(reach) 3.7  170 true .24 30 false(reach) 180    9600 error (1) .072 5.7 out of memory 97     15000   unknown 7.1 310 unknown 7.9 300 false(reach) 540    3900 false(reach) 130     120
pthread-wmm/mix008_power.opt_false-unreach-call.i true .40 29 false(reach) 44    210 false(reach) 50 4000 unknown 5.0 230 error 4.3 220 error 4.1 230 timeout 900   7300 timeout 900   540 false(reach) 880     11000   false(reach) 50    200 true 3.6   33   timeout 900    200 false(reach) 1.7  62 false(reach) 3.6  170 true .27 31 false(reach) 89    10000 error (1) .12  6.0 out of memory 100     15000   unknown 7.1 310 unknown 7.9 310 false(reach) 330    4500 false(reach) 110     110
pthread-wmm/mix008_pso.oepc_false-unreach-call.i true .40 29 false(reach) 130    320 false(reach) 33 2200 unknown 4.2 230 error 5.3 220 error 4.1 230 timeout 900   7500 false(reach) 340   340 timeout 900     9000   false(reach) 53    210 true 3.2   33   timeout 900    170 false(reach) 1.6  61 false(reach) 3.7  170 true .28 31 false(reach) 200    9700 error (1) .12  5.9 out of memory 97     15000   unknown 8.4 320 unknown 8.2 320 false(reach) 470    4500 false(reach) 130     110
pthread-wmm/mix008_pso.opt_false-unreach-call.i true .43 29 false(reach) 44    210 false(reach) 48 4000 unknown 4.7 230 error 5.0 220 error 4.9 230 timeout 910   7800 timeout 900   540 false(reach) 880     11000   false(reach) 50    200 true 12     45   timeout 900    200 false(reach) 1.7  61 false(reach) 3.6  160 true .30 30 false(reach) 90    10000 error (1) .10  5.6 out of memory 100     15000   unknown 9.3 330 unknown 8.2 310 false(reach) 330    4100 false(reach) 110     110
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i true .42 29 false(reach) 140    320 false(reach) 33 2200 unknown 4.8 230 error 5.1 220 error 4.9 230 timeout 900   7500 false(reach) 340   350 timeout 900     9500   false(reach) 50    210 false(reach) 14     46   timeout 900    170 false(reach) 1.7  63 false(reach) 3.8  160 true .25 30 false(reach) 180    9800 error (1) .10  5.9 out of memory 96     15000   unknown 7.5 320 unknown 8.4 310 false(reach) 530    4000 false(reach) 130     120
pthread-wmm/mix008_rmo.opt_false-unreach-call.i true .39 29 false(reach) 44    210 false(reach)