Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.6.1-svn 68e5355+ CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux Lazy-CSeq CSeq-1.6--lazy +SV-COMP2019 PeSCo 1.7-svn b8d6131600+ SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a Yogar-CBMC 1.1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-04 22:45:25 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:10:51 CET 2018-12-06 12:44:04 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET 2018-12-09 21:19:39 CET
Run set 2ls.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cbmc.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cbmc-path.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-lockator.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main depthk.sv-comp19_prop-reachsafety.ConcurrencySafety-Main divine-explicit.sv-comp19_prop-reachsafety.ConcurrencySafety-Main divine-smt.sv-comp19_prop-reachsafety.ConcurrencySafety-Main esbmc-kind.sv-comp19_prop-reachsafety.ConcurrencySafety-Main lazycseq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main smack.sv-comp19_prop-reachsafety.ConcurrencySafety-Main symbiotic.sv-comp19_prop-reachsafety.ConcurrencySafety-Main uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main ukojak.sv-comp19_prop-reachsafety.ConcurrencySafety-Main utaipan.sv-comp19_prop-reachsafety.ConcurrencySafety-Main yogar-cbmc.sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19-lockator -disable-java-assertions -heap 12000m -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction --witness error-witness.graphml -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i error (134) .28 30 3.0 error (6) .13  7.9 .86 error (6) .10  11   1.1  false(unreach-call) 5.3 280 45 error 4.4 270 36 false(unreach-call) .24 35 2.8 false(unreach-call) 8.5 450 100 false(unreach-call) 8.6 450 120 false(unreach-call) .17  27 2.6  false(unreach-call) .80 55 11   unknown 16 1200 130 disqualified 1.8   63 22    unknown .085 13 .92 false(unreach-call) 12   490 93 error (7) 16   370 110 false(unreach-call) 22   490 180 false(unreach-call) .33 33 2.5
pthread/fib_bench_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .35  13   4.6  false(unreach-call) .84  19   11    error 3.8 270 34 false(unreach-call) 38   1500 300 true 2.9  38 34   false(unreach-call) 17   500 190 false(unreach-call) 14   490 160 true .60  26 7.0  false(unreach-call) 7.4  110 100   false(unreach-call) 38 2000 360 disqualified 880     400 12000    unknown .073 13 .96 timeout 900   1100 13000 error (7) 16   370 120 timeout 900   810 11000 false(unreach-call) .37 31 3.4
pthread/fib_bench_longer_false-unreach-call.i error (5) .19 27 1.7 false(unreach-call) 3.2   32   41    false(unreach-call) 1.1   21   18    error 3.5 250 33 false(unreach-call) 230   3900 2100 true 3.7  38 48   false(unreach-call) 55   660 520 false(unreach-call) 52   660 490 true .68  27 11    false(unreach-call) 11    120 160   false(unreach-call) 210 3700 2000 disqualified 880     420 12000    unknown .079 13 .80 timeout 900   1000 11000 error (7) 14   370 130 timeout 900   780 12000 false(unreach-call) .44 32 4.5
pthread/fib_bench_longest_false-unreach-call.i error (5) .19 27 1.7 error (42) 880     300   10000    false(unreach-call) 430     240   5000    error 3.6 250 31 timeout 900   4100 7400 true 9.3  40 100   timeout 900   8300 7800 timeout 900   8400 9200 true 1.7   28 24    false(unreach-call) 180    310 1900   timeout 900 4300 8900 disqualified 880     390 11000    unknown .10  13 .86 timeout 900   1100 12000 error (7) 15   360 110 timeout 900   1000 13000 false(unreach-call) 13    110 160  
pthread/lazy01_false-unreach-call.i error (5) .20 27 2.3 false(unreach-call) .21  17   2.6  false(unreach-call) .21  18   2.5  false(unreach-call) 4.6 280 41 false(unreach-call) 4.2 270 35 witness invalid (false(unreach-call)) .42 35 5.4 false(unreach-call) 8.6 450 120 false(unreach-call) 8.8 450 120 witness invalid (false(unreach-call)) .37  27 4.3  false(unreach-call) .70 55 9.2 false(unreach-call) 15 1200 110 disqualified 6.5   110 87    unknown .074 13 .92 false(unreach-call) 13   480 98 error (7) 15   370 120 false(unreach-call) 13   490 98 false(unreach-call) .21 30 2.2
pthread/queue_false-unreach-call.i error (5) .23 29 2.3 false(unreach-call) 8.2   360   120    error (42) 880     520   11000    false(unreach-call) 9.8 440 85 false(unreach-call) 5.4 310 42 true 10    170 150   unknown 8.7 450 110 false(unreach-call) 17   460 190 true 73     1300 990    false(unreach-call) 26    390 310   false(unreach-call) 18 1200 140 disqualified 400     1800 5200    unknown .085 14 .96 error (7) 13   340 110 error (7) 13   340 110 timeout 900   2000 6400 false(unreach-call) .31 41 2.7
pthread/queue_longer_false-unreach-call.i error (5) .21 28 2.3 false(unreach-call) 510     5100   6000    error (42) 880     830   11000    false(unreach-call) 10   440 94 false(unreach-call) 5.2 300 44 unknown 900    1200 10000   unknown 8.4 450 120 false(unreach-call) 16   460 160 timeout 900     15000 12000    false(unreach-call) 150    230 1600   false(unreach-call) 19 1200 150 disqualified 900     14000 10000    unknown .089 14 .95 error (7) 13   350 100 error (7) 13   340 110 timeout 900   4500 7700 false(unreach-call) 1.3  320 18  
pthread/queue_longest_false-unreach-call.i error (5) .23 29 2.0 error (42) 880     8200   12000    error (42) 880     1400   12000    false(unreach-call) 10   460 85 false(unreach-call) 5.5 310 48 unknown 900    1200 11000   unknown 8.7 450 100 false(unreach-call) 14   460 150 timeout 900     12000 12000    false(unreach-call) 150    230 1600   false(unreach-call) 20 1200 140 disqualified 900     14000 11000    unknown .099 13 .92 error (7) 14   350 110 error (7) 14   340 100 timeout 900   4800 8300 false(unreach-call) 2.4  640 28  
pthread/reorder_2_false-unreach-call.i error (134) .30 32 2.7 error (6) .11  9.7 1.2  error (6) .17  13   2.0  error 2.1 150 19 error 5.8 460 54 false(unreach-call) 3.1  38 51   false(unreach-call) 12   460 130 false(unreach-call) 13   460 170 false(unreach-call) 2.3   27 35    false(unreach-call) 2.4  66 37   unknown 17 1200 130 disqualified 7.7   120 92    unknown .085 14 .70 error (7) 14   360 110 error (7) 13   330 97 error (7) 14   360 110 false(unreach-call) .36 35 4.0
pthread/reorder_5_false-unreach-call.i error (134) .29 31 3.0 error (6) .12  10   1.5  error (6) .17  13   2.3  error 2.1 150 21 error 6.2 470 51 false(unreach-call) 13    65 170   false(unreach-call) 18   470 200 false(unreach-call) 15   470 180 false(unreach-call) 37     120 500    false(unreach-call) 7.3  130 110   unknown 17 1200 140 disqualified 7.7   130 110    unknown .090 14 .91 error (7) 14   350 120 error (7) 14   350 120 error (7) 14   350 110 false(unreach-call) .41 34 2.7
pthread/sigma_false-unreach-call.i error (134) .19 29 2.3 false(unreach-call) 93     760   1000    error (42) 880     2900   12000    error 2.1 150 20 error 6.4 460 52 unknown 900    260 12000   timeout 900   3000 8400 timeout 900   3000 8100 timeout 900     3200 11000    witness invalid (false(unreach-call)) 7.2  230 88   unknown 16 1200 130 disqualified 880     470 13000    unknown .086 13 .91 error (7) 16   380 140 error (7) 15   350 120 error (7) 16   370 120 false(unreach-call) 17    350 130  
pthread/singleton_false-unreach-call.i error (134) .20 29 1.8 error (6) .091 7.1 .95 error (6) .33  45   3.7  false(unreach-call) 4.8 260 47 error 4.8 280 40 true 550    1000 6000   false(unreach-call) 11   450 150 false(unreach-call) 10   450 120 true 270     1300 3200    witness invalid (false(unreach-call)) 4.0  90 59   unknown 17 1200 110 disqualified 240     6800 3100    unknown .097 13 .91 false(unreach-call) 120   4800 1500 error (7) 16   370 120 false(unreach-call) 150   4600 1200 false(unreach-call) .24 33 3.8
pthread/stack_false-unreach-call.i error (134) .20 28 1.8 false(unreach-call) .34  24   3.9  error (42) 880     730   11000    false(unreach-call) 6.2 290 49 error 6.7 460 62 true 13    70 190   unknown 8.5 450 100 false(unreach-call) 98   520 820 true 6.6   130 100    false(unreach-call) 1.7  79 22   unknown 17 1200 130 disqualified 31     150 420    unknown .085 14 1.1  false(unreach-call) 30   830 260 error (7) 16   360 130 false(unreach-call) 45   930 370 false(unreach-call) .27 34 3.2
pthread/stack_longer_false-unreach-call.i error (134) .19 29 2.6 false(unreach-call) 7.4   130   94    error (42) 870     190   10000    false(unreach-call) 31   1300 300 error 19   1300 160 unknown 900    710 11000   unknown 8.4 450 99 false(unreach-call) 470   800 3900 timeout 900     12000 10000    false(unreach-call) 170    5000 1800   unknown 31 1700 280 disqualified 900     240 10000    unknown .082 13 1.1  false(unreach-call) 33   980 270 error (7) 15   350 140 false(unreach-call) 47   980 370 false(unreach-call) .43 61 4.0
pthread/stack_longest_false-unreach-call.i error (134) .21 29 1.8 false(unreach-call) 26     230   360    error (42) 880     300   11000    false(unreach-call) 72   2400 530 error 36   2900 430 unknown 900    640 12000   unknown 8.4 450 110 false(unreach-call) 380   750 3000 timeout 900     10000 12000    false(unreach-call) 220    8700 2600   unknown 49 2000 460 disqualified 900     230 10000    unknown .093 14 .80 false(unreach-call) 33   990 300 error (7) 16   350 130 false(unreach-call) 51   1600 440 false(unreach-call) .58 110 7.3
pthread/stateful01_false-unreach-call.i error (5) .20 27 2.3 false(unreach-call) .27  20   3.4  false(unreach-call) 13     27   200    false(unreach-call) 4.6 280 36 false(unreach-call) 4.2 290 41 witness invalid (false(unreach-call)) .30 34 3.9 false(unreach-call) 8.4 450 96 false(unreach-call) 8.4 450 100 witness invalid (false(unreach-call)) .24  27 3.1  false(unreach-call) .68 55 9.7 false(unreach-call) 15 1200 120 disqualified 6.9   140 91    unknown .076 13 .83 false(unreach-call) 11   390 71 error (7) 15   350 130 false(unreach-call) 11   410 81 false(unreach-call) .21 30 2.1
pthread/triangular-longer_false-unreach-call.i error (5) .20 28 1.6 false(unreach-call) 370     200   5000    false(unreach-call) 630     220   7300    error 4.0 270 31 false(unreach-call) 64   3900 540 true 7.4  38 96   false(unreach-call) 30   490 310 false(unreach-call) 31   490 330 true 1.3   27 19    false(unreach-call) 13    130 140   false(unreach-call) 63 2600 550 disqualified 880     850 11000    unknown .084 14 .89 false(unreach-call) 35   1100 320 error (7) 15   350 110 false(unreach-call) 53   800 650 false(unreach-call) 5.9  68 67  
pthread/triangular-longest_false-unreach-call.i error (5) .21 27 1.7 error (42) 880     310   10000    error (42) 880     310   10000    error 3.5 250 32 timeout 900   4000 9900 true 27    45 390   false(unreach-call) 300   1100 2900 false(unreach-call) 290   1100 2800 true 4.2   44 63    false(unreach-call) 50    220 630   timeout 900 4200 11000 disqualified 880     510 12000    unknown .079 13 .76 false(unreach-call) 87   1000 1000 error (7) 14   360 120 false(unreach-call) 100   870 1300 timeout 900    970 9200  
pthread/triangular_false-unreach-call.i error (5) .19 27 1.9 false(unreach-call) 8.8   28   110    false(unreach-call) 3.2   25   47    error 3.5 250 33 false(unreach-call) 19   800 130 true 2.7  37 41   false(unreach-call) 11   450 120 false(unreach-call) 11   450 130 true .59  27 7.2  false(unreach-call) 6.0  92 76   false(unreach-call) 23 1300 170 disqualified 880     400 11000    unknown .089 18 .78 false(unreach-call) 23   650 200 error (7) 14   350 120 false(unreach-call) 28   570 230 false(unreach-call) .29 30 2.4
pthread/twostage_3_false-unreach-call.i error (134) .33 32 3.2 error (6) .13  11   1.4  error (6) .95  30   12    error 2.2 160 22 error 6.5 470 53 true 9.7  120 110   false(unreach-call) 13   460 140 false(unreach-call) 14   460 160 true 4.3   72 51    false(unreach-call) 2.9  73 40   unknown 18 1200 140 disqualified 82     400 1200    unknown .081 14 1.2  error (7) 14   350 100 error (7) 14   340 110 error (7) 14   360 99 false(unreach-call) .43 35 3.5
pthread/bigshot_s2_true-unreach-call.i error (134) .21 29 1.7 error (6) .093 8.1 1.1  error (6) .099 10   1.1  false(unreach-call) 4.9 280 45 error 4.6 290 42 true 1.2  44 13   true 8.4 390 100 true 8.7 390 110 true .24  27 3.1  true 4.7  110 56   unknown 15 1300 110 disqualified 1.7   59 20    unknown .089 14 .77 unknown 18   380 160 error (7) 15   370 140 unknown 18   360 140 true .20 32 2.5
pthread/bigshot_s_true-unreach-call.i error (134) .24 29 1.8 error (6) .093 7.8 1.0  error (6) .11  10   .98 false(unreach-call) 5.2 290 50 error 4.3 270 36 true 1.1  44 13   true 8.4 390 130 true 8.7 390 110 true .24  27 2.8  true 4.7  110 62   unknown 15 1300 120 disqualified 1.7   61 20    unknown .089 13 1.2  unknown 18   390 140 error (7) 16   360 140 unknown 19   410 160 true .20 32 2.4
pthread/fib_bench_longer_true-unreach-call.i error (5) .23 27 1.7 true 93     60   1400    true 39     48   490    error 3.7 270 32 true 790   4100 7900 true 3.7  37 45   true 190   700 1800 true 190   700 1700 true .66  27 8.0  true 17    140 200   true 750 4300 6600 disqualified 880     360 10000    unknown .087 13 .84 timeout 900   890 12000 error (7) 14   370 110 timeout 900   860 11000 true .68 34 7.6
pthread/fib_bench_longest_true-unreach-call.i error (5) .19 27 1.6 error (42) 880     330   11000    error (42) 880     320   11000    error 3.6 250 34 timeout 900   4100 7400 true 9.3  40 130   timeout 900   7600 8400 timeout 900   7800 8700 true 1.6   28 20    true 250    340 2500   timeout 900 4300 8800 disqualified 880     410 11000    unknown .078 13 .90 timeout 900   990 12000 error (7) 14   350 100 timeout 900   1000 11000 true 22    130 300  
pthread/fib_bench_true-unreach-call.i error (5) .20 27 1.7 true 8.8   28   110    true 8.8   27   100    error 3.7 280 30 true 89   3700 790 true 2.9  37 35   true 48   460 500 true 49   460 450 true .60  26 7.4  true 9.5  110 130   true 84 2700 800 disqualified 880     350 11000    unknown .078 13 1.1  timeout 900   1000 11000 error (7) 15   360 120 timeout 900   840 10000 true .35 30 3.8
pthread/indexer_true-unreach-call.i error (134) .21 28 2.1 error (42) 880     4700   13000    error (42) 880     4600   11000    error 2.1 150 18 error 8.0 460 62 true .46 36 6.5 timeout 900   4700 9300 timeout 900   4700 8400 true .35  27 4.0  true 460    3800 6600   unknown 27 1300 230 disqualified 890     510 11000    unknown .096 13 1.0  error (7) 17   360 120 error (7) 16   350 130 error (7) 20   480 170 true .65 100 6.7
pthread/queue_ok_longer_true-unreach-call.i error (5) .22 29 2.7 error (42) 880     3000   13000    error (42) 880     670   13000    error 9.7 450 81 error 40   3400 390 true 2.5  52 35   unknown 11   460 130 timeout 900   800 9400 timeout 900     6600 13000    true 470    610 5400   unknown 53 2200 620 disqualified 900     270 10000    unknown .091 13 .97 error (7) 13   360 110 error (7) 14   340 110 error (7) 29   1400 230 true .61 150 6.5
pthread/queue_ok_longest_true-unreach-call.i error (5) .22 28 1.9 error (42) 880     5900   12000    error (42) 880     1100   11000    error 9.5 450 79 error 100   3800 1200 true 2.8  51 31   unknown 12   470 140 timeout 900   1100 9700 timeout 900     6600 9900    true 550    1100 6400   unknown 130 2700 1700 disqualified 900     250 11000    unknown .11  13 .80 error (7) 14   340 100 error (7) 13   340 110 error (7) 35   3000 320 true .97 290 14  
pthread/queue_ok_true-unreach-call.i error (5) .22 28 2.1 error (42) 880     6200   13000    error (42) 880     530   13000    error 9.9 450 81 error 8.7 480 69 true 5.1  90 65   unknown 8.7 450 120 true 40   410 430 true 23     260 300    true 300    320 2800   unknown 19 1200 150 disqualified 890     260 12000    unknown .084 13 .90 error (7) 14   360 110 error (7) 13   360 99 error (7) 22   630 160 true .26 36 2.1
pthread/singleton_with-uninit-problems_true-unreach-call.i error (134) .20 29 1.7 error (6) .11  7.8 .95 error (6) .34  48   4.1  false(unreach-call) 4.6 260 48 error 4.8 280 46 true 560    930 7000   true 11   390 120 true 11   390 130 true 270     1300 3800    true 4.8  89 60   unknown 16 1200 130 disqualified 540     6800 6100    unknown .10  13 .79 true 110   4800 930 error (7) 16   350 120 true 110   4800 1100 true .28 33 2.0
pthread/stack_longer_true-unreach-call.i error (134) .21 28 1.9 error (42) 880     1100   5200    error (42) 880     190   11000    false(unreach-call) 24   920 180 error 18   1000 150 unknown 900    720 13000   unknown 8.4 450 98 timeout 900   1000 7300 timeout 900     13000 12000    true 590    5700 5400   unknown 31 1700 300 disqualified 900     240 11000    unknown .11  18 .84 timeout 900   2400 13000 error (7) 17   380 140 timeout 900   2600 11000 true .43 61 4.4
pthread/stack_longest_true-unreach-call.i error (134) .19 28 1.6 error (42) 880     1400   6600    error (42) 880     310   11000    false(unreach-call) 47   1800 350 error 35   2800 270 unknown 900    640 11000   unknown 8.4 450 110 timeout 900   1100 7200 timeout 900     11000 11000    true 900    8700 9500   unknown 46 2000 350 disqualified 900     220 11000    unknown .089 14 .88 timeout 900   2300 11000 error (7) 17   360 140 timeout 900   2600 12000 true .63 110 6.8
pthread/stack_true-unreach-call.i error (134) .19 28 2.2 error (42) 880     390   7100    error (42) 880     710   14000    false(unreach-call) 5.6 270 53 error 6.9 460 53 true 17    82 210   unknown 8.2 450 99 timeout 900   900 6300 true 8.0   160 110    true 130    490 1300   unknown 17 1200 120 disqualified 52     140 680    unknown .10  13 .91 timeout 900   1800 12000 error (7) 16   370 140 true 740   1400 8800 true .82 35 10  
pthread/stateful01_true-unreach-call.i error (5) .19 28 2.2 true 2.3   23   30    true 16     28   220    false(unreach-call) 4.2 280 38 true 4.7 290 39 true 1.3  36 14   true 8.6 390 99 true 8.7 390 130 true .54  27 8.2  true 3.8  78 59   true 14 1300 120 disqualified 5.5   94 66    unknown .10  13 .75 true 11   420 85 error (7) 15   340 110 true 11   430 80 true .21 30 1.9
pthread/sync01_true-unreach-call.i error (5) .20 28 2.0 error (42) 880     4000   11000    true 11     47   170    error 4.0 280 38 true 5.7 430 54 true 5.2  120 75   true 8.6 390 110 true 8.6 390 120 true .53  31 7.7  true 5.7  96 75   true 17 1200 130 disqualified 6.3   120 70    unknown .081 13 .72 unknown 7.3 330 60 unknown 7.3 330 57 unknown 7.4 350 58 error (6) .21 32 1.5
pthread/triangular-longer_true-unreach-call.i error (5) .19 27 1.8 error (42) 880     220   11000    error (42) 880     250   9400    error 3.7 260 35 true 68   3900 700 true 7.4  38 89   true 34   430 350 true 34   430 330 true 1.3   28 15    true 14    130 170   true 75 2700 640 disqualified 880     420 13000    unknown .098 13 .80 true 37   750 330 error (7) 15   370 110 true 42   730 440 true 7.5  93 100  
pthread/triangular-longest_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     300   12000    error (42) 880     330   11000    error 3.6 250 31 timeout 900   4000 12000 true 27    45 390   true 300   1000 2900 true 300   1000 2600 true 4.2   44 64    true 56    220 530   timeout 900 4200 8600 disqualified 880     480 11000    unknown .10  13 .70 true 91   1000 970 error (7) 16   370 120 true 170   860 1900 timeout 900    820 7800  
pthread/triangular_true-unreach-call.i error (5) .21 27 1.9 true 41     28   540    true 130     42   1700    error 3.9 270 31 true 19   790 140 true 2.7  37 33   true 12   390 140 true 12   390 150 true .60  27 7.4  true 6.7  92 94   true 23 1600 170 disqualified 880     420 12000    unknown .075 13 .80 true 22   570 180 error (7) 15   370 120 true 32   660 270 true .38 31 3.5
pthread-atomic/qrcu_false-unreach-call.i error (5) .21 28 2.3 false(unreach-call) .54  30   6.0  false(unreach-call) 9.3   1200   130    false(unreach-call) 6.7 310 63 false(unreach-call) 12   570 86 true 5.3  67 76   unknown 10   450 140 false(unreach-call) 37   640 340 timeout 900     5200 11000    false(unreach-call) 1.2  65 15   false(unreach-call) 22 1200 170 disqualified 21     650 260    unknown .088 14 .81 error (7) 15   360 130 error (7) 15   360 130 error (7) 15   360 130 false(unreach-call) .28 32 2.6
pthread-atomic/read_write_lock_false-unreach-call.i error (5) .21 27 2.4 false(unreach-call) .20  17   2.8  error (42) 350     57   4600    error 3.6 250 33 false(unreach-call) 21   830 160 true 2.1  35 27   false(unreach-call) 9.9 450 130 false(unreach-call) 11   450 160 true 1.4   27 19    false(unreach-call) .71 55 10   false(unreach-call) 25 1300 210 disqualified 24     180 310    unknown .078 13 .86 error (7) 44   1500 360 error (7) 15   350 120 error (7) 40   1500 340 false(unreach-call) .26 30 1.6
pthread-atomic/dekker_true-unreach-call.i error (5) .19 27 1.6 error (42) 880     850   11000    error (42) 880     10000   12000    false(unreach-call) 5.2 280 44 true 6.3 380 52 unknown 43    40 550   true 8.5 390 110 true 8.7 390 110 timeout 900     5000 12000    true 6.0  74 68   true 16 1200 130 disqualified 4.5   94 54    unknown .074 13 .90 true 11   380 86 error (7) 15   350 120 true 11   390 82 true .21 30 1.8
pthread-atomic/gcd_true-unreach-call_true-termination.i error (5) .19 27 1.9 error (42) 880     320   10000    error (42) 880     15000   13000    error 3.7 250 32 timeout 920   3600 3800 unknown 900    62 10000   unknown 8.3 450 110 timeout 900   660 8200 timeout 900     54 12000    true .64 53 10   timeout 910 3500 4600 disqualified 360     200 5100    unknown .076 13 .77 error (7) 15   360 130 error (7) 14   340 110 error (7) 15   370 110 true 23    100 270  
pthread-atomic/lamport_true-unreach-call.i error (5) .20 28 1.9 true .72  16   9.2  true 130     290   2000    false(unreach-call) 5.1 280 49 true 6.9 430 60 unknown 900    1000 9200   true 9.0 390 110 true 9.1 390 120 timeout 900     13000 13000    true 10    80 120   true 16 1400 140 disqualified 4.8   98 58    unknown .075 13 .79 true 12   530 100 error (7) 15   340 110 true 12   490 100 true .26 30 1.8
pthread-atomic/peterson_true-unreach-call.i error (5) .18 27 2.0 true .21  8.7 2.6  true 1.2   15   17    false(unreach-call) 4.7 280 41 true 5.3 310 46 true .56 35 7.5 true 8.6 390 100 true 8.7 390 120 timeout 900     9400 13000    true 3.6  69 48   true 16 1200 110 disqualified 4.5   88 52    unknown .097 13 .73 true 11   380 82 error (7) 15   370 120 true 10   390 88 true .22 30 1.8
pthread-atomic/qrcu_true-unreach-call.i error (5) .21 28 2.7 error (42) 880     650   6700    false(unreach-call) 22     2400   260    timeout 950   5600 11000 timeout 910   4000 4600 true 5.3  66 62   true 240   650 2300 true 250   650 2600 timeout 900     5200 13000    true 46    230 610   timeout 920 8900 4000 disqualified 900     860 12000    unknown .081 13 .94 error (7) 16   370 120 error (7) 14   330 110 error (7) 15   370 110 true .32 32 4.3
pthread-atomic/read_write_lock_true-unreach-call.i error (5) .20 27 2.0 true 1.6   20   21    false(unreach-call) .42  27   5.6  error 3.5 250 33 true 9.1 480 89 true 2.1  36 28   true 13   390 140 true 13   390 150 true 1.4   27 17    true 7.2  94 110   true 20 1200 150 disqualified 91     210 1400    unknown .077 13 .96 true 18   990 130 error (7) 14   350 130 true 19   990 150 true .24 30 2.2
pthread-atomic/scull_true-unreach-call.i error (5) .26 28 2.6 true 2.7   43   35    error (42) 880     1100   12000    true 8.0 320 66 timeout 910   3300 5800 true 18    80 220   unknown 8.6 450 140 timeout 900   450 6900 true 12     130 150    true 38    280 470   timeout 910 3400 5100 disqualified 1.3   39 17    unknown .081 13 .79 timeout 900   7200 6700 error (7) 17   370 140 timeout 900   7200 7300 true .26 31 2.5
pthread-atomic/szymanski_true-unreach-call.i error (5) .19 27 1.9 true .29  12   3.5  true 14     63   180    false(unreach-call) 4.9 280 48 true 6.0 380 45 true .50 36 5.5 true 9.3 390 110 true 9.5 390 110 out of memory 860     15000 13000    true 4.9  74 62   true 16 1200 120 disqualified 4.5   97 66    unknown .092 13 .87 true 12   450 92 error (7) 16   370 130 true 12   430 89 true .23 30 1.8
pthread-atomic/time_var_mutex_true-unreach-call.i error (5) .20 27 2.0 true .57  19   6.2  true 12     37   150    false(unreach-call) 4.6 280 38 true 4.2 290 43 true .89 36 11   true 8.6 390 120 true 8.7 390 120 true .37  27 4.1  true 5.3  82 68   true 16 1200 110 disqualified 5.7   110 69    unknown .081 13 .75 true 12   420 90 error (7) 15   360 120 true 12   420 100 true .22 30 1.9
pthread-ext/25_stack_longer_false-unreach-call.i error (5) .20 27 1.8 false(unreach-call) 70     810   880    error (6) .087 9.7 .79 error 3.8 250 33 error 6.7 480 51 false(unreach-call) .14 34 1.8 false(unreach-call) 8.5 450 110 false(unreach-call) 8.5 450 110 false(unreach-call) .089 27 .96 false(unreach-call) 1.6  180 17   unknown 16 1200 120 disqualified 14     190 220    unknown .10  13 .78 error (7) 15   370 120 error (7) 15   340 120 error (7) 16   370 110 false(unreach-call) .24 30 2.5
pthread-ext/25_stack_longest_false-unreach-call.i error (5) .18 27 1.7 false(unreach-call) 560     2300   7300    error (6) .096 9.6 .78 error 3.9 270 34 error 6.5 470 52 false(unreach-call) .15 35 2.0 false(unreach-call) 8.5 450 100 false(unreach-call) 8.4 450 100 false(unreach-call) .12  27 .92 false(unreach-call) 3.2  460 37   unknown 17 1200 130 disqualified 190     540 2000    unknown .11  13 .90 error (7) 17   360 120 error (7) 15   360 130 error (7) 16   370 120 false(unreach-call) .27 30 2.4
pthread-ext/26_stack_cas_longer_false-unreach-call.i error (5) .19 27 1.8 false(unreach-call) 110     1700   1400    error (6) .080 9.4 .88 error 3.7 250 31 error 6.7 470 55 false(unreach-call) .15 34 2.2 false(unreach-call) 8.4 450 110 false(unreach-call) 8.6 450 98 false(unreach-call) .095 27 1.1  false(unreach-call) 1.6  180 20   unknown 17 1200 130 disqualified 16     200 190    unknown .082 13 .84 error (7) 15   340 110 error (7) 15   350 120 error (7) 15   350 120 false(unreach-call) .26 30 2.0
pthread-ext/26_stack_cas_longest_false-unreach-call.i error (5) .19 28 1.6 error (42) 880     4800   13000    error (6) .10  9.4 .79 error 3.9 270 33 error 6.5 470 52 false(unreach-call) .17 35 1.7 false(unreach-call) 8.4 450 120 false(unreach-call) 8.8 450 110 false(unreach-call) .10  27 .99 false(unreach-call) 3.2  450 37   unknown 17 1200 140 disqualified 240     560 3300    unknown .077 13 .84 error (7) 18   370 140 error (7) 16   370 120 error (7) 16   370 140 false(unreach-call) .25 30 2.8
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error (5) .19 27 1.6 false(unreach-call) .15  11   1.8  error (42) 880     4900   14000    false(unreach-call) 5.2 290 51 error 5.5 360 45 timeout 900    910 11000   unknown 8.5 450 94 timeout 900   3900 8200 false(unreach-call) .32  27 3.2  false(unreach-call) .74 56 12   unknown 16 1200 120 disqualified 880     560 7900    unknown .078 13 .80 error (7) 15   370 110 error (7) 15   360 130 error (7) 15   380 120 false(unreach-call) .23 30 1.9
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error (5) .18 27 1.9 false(unreach-call) .13  9.4 1.4  false(unreach-call) .13  9.8 1.5  false(unreach-call) 4.3 280 36 error 5.3 350 42 false(unreach-call) .14 34 1.9 unknown 8.4 450 110 false(unreach-call) 18   450 200 false(unreach-call) .11  26 .83 false(unreach-call) .68 55 8.4 unknown 15 1200 120 disqualified 5.1   90 64    unknown .11  13 .83 error (7) 16   360 120 error (7) 15   370 130 error (7) 16   380 140 false(unreach-call) .20 30 1.7
pthread-ext/32_pthread5_vs_false-unreach-call.i error (5) .19 27 1.7 false(unreach-call) .31  20   3.2  error (42) 880     14000   9300    error 3.9 280 34 error 5.5 360 51 timeout 900    8200 12000   false(unreach-call) 12   460 150 false(unreach-call) 12   460 140 timeout 900     11000 12000    false(unreach-call) .73 55 11   unknown 16 1200 110 disqualified 8.9   260 100    unknown .079 13 .76 error (7) 14   340 110 error (7) 15   360 130 error (7) 16   370 140 false(unreach-call) .24 30 2.4
pthread-ext/40_barrier_vf_false-unreach-call.i error (5) .18 27 1.9 false(unreach-call) .70  34   9.2  error (42) 880     2000   12000    error 3.6 270 33 error 5.5 350 45 timeout 900    8900 13000   false(unreach-call) 9.9 460 140 false(unreach-call) 11   470 120 timeout 900     13000 10000    false(unreach-call) 1.8  55 23   unknown 15 1200 110 disqualified 8.3   100 110    unknown .078 13 .94 error (7) 15   370 120 error (7) 14   370 120 error (7) 14   340 120 false(unreach-call) .25 30 3.0
pthread-ext/01_inc_true-unreach-call.i error (5) .19 27 1.4 error (42) 880     550   6700    out of memory 460     15000   6500    error 3.6 280 32 error 5.6 340 46 timeout 900    1200 11000   timeout 900   2700 9200 timeout 900   2800 8400 timeout 900     2000 12000    true 3.4  65 51   unknown 15 1200 110 disqualified 890     430 10000    unknown .079 13 .88 error (7) 14   350 110 error (7) 15   360 110 error (7) 15   350 130 true .22 30 1.5
pthread-ext/02_inc_cas_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     950   5500    out of memory 220     15000   3000    error 3.8 270 32 error 5.2 330 39 timeout 900    1500 13000   timeout 900   4000 8200 timeout 900   4100 8200 timeout 900     2600 11000    true 7.8  72 120   unknown 15 1200 110 disqualified 880     240 13000    unknown .082 13 .75 error (7) 15   370 110 error (7) 14   340 99 error (7) 15   360 110 true .25 30 1.7
pthread-ext/03_incdec_true-unreach-call.i error (5) .18 27 1.5 error (42) 880     840   6200    error (42) 880     7300   13000    error 3.7 280 37 error 6.0 380 54 unknown 900    11000 13000   unknown 8.5 450 99 timeout 900   850 7700 timeout 900     8900 11000    true 6.0  78 92   unknown 14 1300 100 disqualified 890     300 11000    unknown .077 13 .97 error (7) 16   360 120 error (7) 15   360 110 error (7) 16   380 130 true .30 31 2.2
pthread-ext/04_incdec_cas_true-unreach-call.i error (5) .22 27 1.8 error (42) 880     1700   6900    false(unreach-call) .20  22   2.9  error 3.8 250 32 error 5.9 380 47 unknown 900    5500 8300   unknown 8.6 450 120 timeout 900   480 7300 timeout 900     11000 9700    true 28    120 420   unknown 16 1200 120 disqualified 880     220 11000    unknown .10  13 .90 error (7) 15   370 110 error (7) 15   370 110 error (7) 15   360 130 true .27 30 1.9
pthread-ext/05_tas_true-unreach-call.i error (5) .17 27 2.3 error (42) 880     5600   12000    out of memory 180     15000   2300    error 3.8 270 30 error 5.6 320 47 unknown 900    1700 11000   timeout 900   4000 8600 timeout 900   4100 8600 timeout 900     3800 12000    true 4.3  67 53   unknown 14 1300 110 disqualified 880     240 12000    unknown .080 13 .81 error (7) 15   340 110 error (7) 14   360 120 error (7) 16   350 120 true .32 30 3.3
pthread-ext/06_ticket_true-unreach-call.i error (5) .18 27 1.6 error (42) 880     230   8000    false(unreach-call) 7.3   660   84    error 3.9 270 37 error 5.9 360 48 timeout 900    2700 13000   timeout 900   3000 8300 timeout 900   3000 8300 timeout 900     3400 11000    true 4.0  71 52   unknown 16 1200 110 disqualified 890     490 9500    unknown .076 13 .88 error (7) 14   350 110 error (7) 16   370 120 error (7) 15   340 110 true .25 30 1.8
pthread-ext/07_rand_true-unreach-call.i error (5) .20 27 1.8 error (42) 880     1000   5100    error (42) 880     15000   11000    error 3.9 280 32 error 6.1 380 54 unknown 900    9800 10000   unknown 8.3 450 99 timeout 900   520 7200 timeout 900     12000 13000    true 6.4  83 83   unknown 16 1200 120 disqualified 890     310 11000    unknown .074 13 .81 error (7) 15   360 120 error (7) 16   370 110 error (7) 17   370 130 true .24 30 1.9
pthread-ext/08_rand_cas_true-unreach-call.i error (5) .18 27 1.7 error (42) 880     5500   12000    out of memory 420     15000   5200    error 3.8 270 36 error 5.9 400 53 unknown 900    2200 11000   unknown 8.6 450 110 timeout 900   520 6900 timeout 900     7800 12000    true 8.8  97 130   unknown 16 1200 120 disqualified 890     290 10000    unknown .098 13 .79 error (7) 15   360 110 error (7) 14   350 110 error (7) 15   370 120 true .24 30 2.3
pthread-ext/09_fmaxsym_true-unreach-call.i error (5) .18 27 1.7 error (42) 880     4300   11000    out of memory 520     15000   7000    error 3.9 270 34 error 5.0 330 46 unknown 900    6300 7400   unknown 8.5 440 100 timeout 900   720 7400 timeout 900     11000 12000    true 6.8  92 92   unknown 16 1200 110 disqualified 880     220 11000    unknown .075 13 .82 error (7) 16   370 120 error (7) 15   360 110 error (7) 16   380 120 true .26 30 2.1
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (5) .18 27 1.7 error (42) 880     3500   13000    error (42) 880     3100   11000    error 4.5 280 43 error 5.2 330 41 unknown 900    3700 11000   unknown 8.6 450 110 timeout 900   680 7100 timeout 900     7700 10000    true 7.4  100 99   unknown 16 1200 110 disqualified 880     210 10000    unknown .080 13 .97 error (7) 14   360 110 error (7) 15   370 110 error (7) 14   340 110 true .24 31 2.4
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (5) .20 27 1.6 error (42) 880     710   6000    out of memory 110     15000   1700    error 3.9 270 34 error 4.9 320 49 unknown 900    6300 10000   unknown 8.4 450 97 timeout 900   700 6900 timeout 900     10000 9300    true 5.5  83 72   unknown 16 1200 110 disqualified 890     350 10000    unknown .082 13 .89 error (7) 16   360 120 error (7) 15   360 130 error (7) 15   350 120 true .21 30 2.5
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (5) .19 27 2.0 error (42) 880     3900   10000    out of memory 180     15000   2400    error 3.9 250 34 error 5.0 330 45 unknown 900    5000 8000   unknown 8.5 450 100 timeout 900   680 7500 timeout 900     10000 13000    true 6.4  87 84   unknown 16 1200 120 disqualified 880     220 11000    unknown .078 13 .82 error (7) 14   370 110 error (7) 14   340 110 error (7) 14   350 110 true .23 31 2.5
pthread-ext/13_unverif_true-unreach-call.i error (5) .18 27 1.9 error (42) 880     6400   12000    error (42) 880     2300   12000    timeout 900   1800 7300 error 5.1 340 44 timeout 900    1000 9000   timeout 900   3900 9000 timeout 900   3900 8000 timeout 900     1700 11000    true 3.2  63 43   unknown 15 1200 120 disqualified 890     230 12000    unknown .10  13 .91 error (7) 15   370 110 error (7) 15   370 120 error (7) 16   370 130 true .20 30 2.0
pthread-ext/14_spin2003_true-unreach-call.i error (5) .18 27 1.4 error (42) 880     420   7300    false(unreach-call) 3.4   37   46    error 3.9 270 32 error 5.2 340 40 timeout 900    1100 11000   timeout 900   2900 8500 timeout 900   2700 8000 timeout 900     1800 12000    true 3.0  62 38   unknown 15 1200 100 disqualified 900     1900 6700    unknown .082 13 .90 error (7) 15   370 130 error (7) 15   360 110 error (7) 15   370 110 true .19 30 2.2
pthread-ext/15_dekker_true-unreach-call.i error (5) .22 27 1.7 error (42) 880     840   13000    error (42) 880     3500   12000    false(unreach-call) 4.6 260 39 true 5.9 370 56 unknown 27    39 410   true 8.4 390 97 true 8.5 390 100 timeout 900     800 9200    true 5.1  67 69   true 16 1200 120 disqualified 4.2   86 50    unknown .076 13 .82 true 10   370 81 error (7) 15   360 130 true 10   390 76 true .23 30 1.5
pthread-ext/16_peterson_true-unreach-call.i error (5) .19 27 1.6 true .16  7.6 1.9  true .21  9.7 1.9  false(unreach-call) 4.6 280 39 true 5.3 320 48 true .37 36 4.8 true 8.4 390 120 true 8.6 390 120 true .11  26 .87 true 4.3  66 57   true 15 1300 110 disqualified 4.1   87 48    unknown .10  13 .90 true 9.8 370 82 error (7) 15   380 110 true 10   370 67 true .21 30 1.4
pthread-ext/17_szymanski_true-unreach-call.i error (5) .19 27 1.6 error (42) 880     810   11000    error (42) 880     870   11000    false(unreach-call) 4.8 290 44 true 6.0 420 53 true .45 35 5.7 true 12   400 140 true 12   400 150 timeout 900     6300 9900    true 4.9  69 63   true 17 1200 110 disqualified 4.1   87 49    unknown .076 13 .91 true 11   410 84 error (7) 15   370 130 true 11   400 90 true .29 30 2.5
pthread-ext/18_read_write_lock_true-unreach-call.i error (5) .18 27 2.2 true .14  7.8 1.5  true .17  9.5 1.5  error 3.9 270 30 true 4.3 280 37 true .37 36 5.1 true 8.6 380 110 true 8.4 390 120 true .086 26 1.0  true 3.1  64 45   true 15 1200 120 disqualified 3.8   79 46    unknown .076 13 1.0  true 9.6 370 74 error (7) 14   360 100 true 9.6 380 83 true .20 30 1.8
pthread-ext/19_time_var_mutex_true-unreach-call.i error (5) .18 27 2.0 true .16  8.1 1.6  true .23  9.6 2.7  error 3.7 270 35 true 4.6 290 39 true .37 36 5.0 true 8.3 390 110 true 8.7 390 100 true .12  26 .81 true 4.0  66 53   true 16 1200 120 disqualified 4.1   82 61    unknown .091 13 .90 true 10   390 86 error (7) 15   370 110 true 11   390 76 true .23 30 1.7
pthread-ext/20_lamport_true-unreach-call.i error (5) .19 27 1.6 true .59  14   7.7  true 9.2   35   140    false(unreach-call) 5.3 290 45 true 6.6 420 59 unknown 900    3300 11000   true 8.7 390 110 true 8.6 390 120 timeout 900     910 10000    true 9.1  73 110   true 17 1200 130 disqualified 4.3   90 45    unknown .078 13 .88 true 12   430 83 error (7) 14   350 130 true 11   400 100 true .22 30 2.3
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i error (5) .22 27 1.8 true .14  8.2 1.7  false(unreach-call) .13  9.2 1.0  error 3.8 270 38 true 5.8 320 46 true .37 35 4.4 true 8.5 390 110 true 8.6 390 120 out of memory 690     15000 9500    true 3.4  66 41   true 16 1200 130 disqualified 5.3   91 67    unknown .081 13 .83 error (7) 14   340 110 error (7) 15   360 110 error (7) 15   350 100 true .20 30 2.2
pthread-ext/25_stack_longer_true-unreach-call.i error (5) .19 27 2.0 error (42) 880     7200   12000    error (6) .12  13   1.1  error 4.0 270 40 error 6.7 480 61 unknown 900    1400 8700   out of memory (unknown error) 860   15000 7600 timeout 900   6900 8500 timeout 900     3500 11000    true 33    2000 450   unknown 17 1200 130 disqualified 880     320 12000    unknown .10  13 .78 error (7) 16   340 110 error (7) 16   350 120 error (7) 16   370 130 true .37 31 3.4
pthread-ext/25_stack_longest_true-unreach-call.i error (5) .20 27 1.5 error (42) 880     2400   11000    error (6) .12  13   1.7  error 3.9 270 35 error 6.4 480 58 unknown 900    1600 11000   out of memory (unknown error) 710   15000 6300 timeout 900   8500 8300 timeout 900     3500 12000    true 88    5900 910   unknown 16 1200 120 disqualified 880     600 11000    unknown .082 13 .89 error (7) 16   360 130 error (7) 18   360 130 error (7) 16   370 120 true .36 31 3.0
pthread-ext/25_stack_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     12000   11000    error (6) .12  12   1.4  error 3.7 250 37 error 6.4 470 55 unknown 900    1600 10000   timeout 900   15000 8500 timeout 900   6800 8500 timeout 900     3400 14000    true 11    290 140   unknown 16 1200 130 disqualified 880     230 11000    unknown .082 13 .88 error (7) 14   340 110 error (7) 15   360 110 error (7) 14   370 100 true .32 31 3.9
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (5) .20 27 1.6 error (42) 880     2600   10000    error (6) .29  29   3.2  error 3.8 270 31 error 6.7 460 56 unknown 900    1300 9300   timeout 900   11000 7700 timeout 900   6400 8200 timeout 900     3200 12000    true 41    2100 450   unknown 16 1300 130 disqualified 890     330 8800    unknown .12  13 .87 error (7) 15   360 120 error (7) 15   340 110 error (7) 16   350 110 true .32 31 3.6
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (5) .19 27 2.1 error (42) 880     4900   11000    error (6) .31  30   3.7  error 3.9 270 36 error 6.8 460 57 unknown 900    1400 8800   timeout 900   13000 8800 timeout 900   6600 7600 timeout 900     3200 11000    true 110    5900 1000   unknown 17 1200 120 disqualified 880     600 9500    unknown .081 13 .91 error (7) 17   360 140 error (7) 15   330 110 error (7) 16   350 130 true .33 31 3.5
pthread-ext/26_stack_cas_true-unreach-call.i error (5) .19 27 2.1 error (42) 880     3100   8700    error (6) .29  29   3.5  error 4.0 270 39 error 6.6 460 56 unknown 900    1500 11000   timeout 900   11000 8800 timeout 900   6600 8300 timeout 900     3200 13000    true 14    290 170   unknown 17 1200 130 disqualified 880     230 10000    unknown .10  13 .84 error (7) 15   360 110 error (7) 15   350 120 error (7) 15   360 110 true .31 31 3.1
pthread-ext/29_conditionals_vs_true-unreach-call.i error (5) .21 27 1.6 error (42) 880     4900   5300    out of memory 230     15000   3000    error 3.7 270 30 error 5.6 350 47 timeout 900    8700 12000   unknown 8.4 450 110 timeout 900   630 7000 timeout 900     11000 11000    true 3.1  63 40   unknown 15 1200 110 disqualified 900     1900 7100    unknown .077 13 .79 error (7) 15   360 120 error (7) 14   360 120 error (7) 15   380 120 true .19 30 2.3
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (5) .18 27 1.8 error (42) 880     1900   5400    error (42) 880     4700   12000    error 3.9 270 33 error 5.6 350 49 timeout 900    3600 11000   timeout 900   3000 8300 timeout 900   3100 8800 timeout 900     12000 10000    true 3.8  70 49   unknown 16 1200 110 disqualified 890     390 11000    unknown .080 13 .89 error (7) 14   330 120 error (7) 15   360 110 error (7) 16   370 130 true .22 30 1.6
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (5) .19 27 1.9 error (42) 880     1400   8500    error (42) 880     1200   7800    error 3.8 270 32 error 5.3 320 47 unknown 900    1800 7200   timeout 900   3100 8500 timeout 900   3100 8500 timeout 900     3600 9900    true 3.5  68 47   unknown 16 1200 110 disqualified 890     400 8500    unknown .073 13 .83 error (7) 14   340 100 error (7) 14   340 110 error (7) 14   340 120 true .48 30 3.9
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     630   7100    error (42) 880     7400   12000    error 3.6 250 30 error 5.9 380 47 timeout 900    2500 11000   timeout 900   3900 8900 timeout 900   3900 8800 timeout 900     12000 13000    true 4.8  75 76   unknown 16 1200 110 disqualified 890     210 11000    unknown .082 13 .90 error (7) 16   350 120 error (7) 14   370 120 error (7) 15   360 120 true .27 30 3.1
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (5) .23 27 2.0 error (42) 880     710   7000    error (42) 880     7400   12000    error 3.8 270 33 error 5.8 380 53 timeout 900    2500 11000   timeout 900   4600 8500 timeout 900   4600 7700 timeout 900     12000 13000    true 4.8  75 69   unknown 16 1200 120 disqualified 890     270 11000    unknown .078 13 .82 error (7) 15   370 140 error (7) 15   370 120 error (7) 16   370 120 true .26 30 2.6
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (5) .19 27 1.8 error (42) 880     640   7600    error (42) 880     4600   12000    error 3.7 270 36 error 5.6 370 45 timeout 900    1900 13000   timeout 900   2900 9600 timeout 900   2800 8300 timeout 900     11000 14000    true 4.3  73 65   unknown 16 1200 110 disqualified 890     510 8500    unknown .073 13 .83 error (7) 16   380 120 error (7) 15   370 110 error (7) 16   370 120 true .28 30 2.2
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (5) .23 27 1.6 error (42) 880     5900   10000    error (42) 880     2600   11000    error 3.7 250 35 error 6.0 380 53 timeout 900    6400 11000   timeout 900   4000 9000 timeout 900   4100 8600 timeout 900     8800 12000    true 6.5  170 81   unknown 16 1200 120 disqualified 880     250 8300    unknown .075 13 .83 error (7) 15   330 110 error (7) 14   350 110 error (7) 15   360 120 true .25 30 2.2
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     8000   7600    error (42) 880     15000   11000    error 3.9 270 31 error 5.8 380 50 unknown 900    1900 11000   out of memory (unknown error) 390   15000 3700 out of memory (unknown error) 420   15000 3900 timeout 900     3500 11000    true 5.9  210 70   unknown 15 1200 100 disqualified 880     240 8400    unknown .073 13 .90 error (7) 14   360 130 error (7) 15   360 120 error (7) 15   360 120 true .22 30 1.8
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (5) .18 27 1.7 error (42) 880     8400   12000    out of memory 110     15000   1500    error 3.7 270 32 error 5.6 330 41 unknown 900    2300 9300   unknown 8.5 450 110 timeout 900   450 7200 timeout 900     7800 13000    true 5.4  78 68   unknown 16 1200 120 disqualified 900     1700 8900    unknown .078 13 .93 error (7) 15   360 120 error (7) 15   360 120 error (7) 14   340 110 true .21 30 1.7
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     3500   9200    error (42) 880     2100   11000    error 3.8 270 33 error 5.8 350 45 unknown 900    10000 12000   unknown 8.3 450 110 timeout 900   430 7100 timeout 900     5000 11000    true 3.8  69 53   unknown 16 1200 110 disqualified 890     290 11000    unknown .080 13 .86 error (7) 15   370 120 error (7) 15   370 110 error (7) 15   360 110 true .20 30 2.1
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (6) .20 27 2.2 error (42) 880     3900   6600    out of memory 460     15000   6000    error 3.7 250 36 error 6.1 460 50 unknown 900    3800 11000   unknown 8.6 450 96 timeout 900   700 6400 timeout 900     8400 11000    true 90    87 1100   unknown 17 1200 130 disqualified 880     280 13000    unknown .079 13 .91 error (7) 15   340 120 error (7) 14   370 110 error (7) 16   380 120 true 3.1  840 36  
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (5) .18 27 2.2 error (42) 880     1600   8000    error (42) 880     1600   12000    error 3.8 270 31 error 6.6 460 54 unknown 900    1100 11000   timeout 900   7500 8300 timeout 900   3500 7900 timeout 900     3400 14000    true 93    110 1100   unknown 16 1300 140 disqualified 890     190 11000    unknown .077 13 .91 error (7) 15   340 110 error (7) 15   370 110 error (7) 16   380 130 true 4.1  1100 41  
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (5) .19 27 2.1 error (42) 880     1300   8100    error (42) 880     14000   13000    error 4.2 270 36 error 8.0 480 74 unknown 890    3800 11000   timeout 900   3300 8600 timeout 900   2600 8300 timeout 900     7500 10000    true 270    320 3400   unknown 18 1200 150 disqualified 890     280 14000    unknown .086 13 .83 error (7) 7.9 340 65 error (7) 7.3 330 56 error (7) 7.7 350 61 true 18    540 170  
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     3600   12000    error (42) 880     560   12000    error 3.7 250 33 error 7.8 480 64 unknown 900    3000 11000   timeout 900   1700 8900 timeout 900   1000 7600 timeout 900     8000 9900    true 240    220 3700   unknown 19 1200 140 disqualified 890     300 13000    unknown .076 13 .84 error (7) 17   370 120 error (7) 15   330 130 error (7) 16   380 130 true 1.4  240 15  
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (5) .18 27 1.5 error (42) 880     4300   5300    error (42) 880     1600   11000    true 4.1 270 37 error 5.2 330 43 timeout 900    980 12000   timeout 900   3800 8700 timeout 900   810 7000 timeout 900     1500 12000    true 2.8  62 34   unknown 15 1200 110 disqualified 890     1000 7100    unknown .073 13 .87 error (7) 15   380 110 error (7) 15   370 120 error (7) 16   370 120 true .21 30 1.7
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (5) .18 27 1.5 error (42) 880     6700   6500    error (42) 880     11000   4400    false(unreach-call) 4.1 250 39 error 5.2 300 43 timeout 900    850 13000   timeout 900   3600 9300 timeout 900   3600 9000 timeout 900     1400 11000    true 2.9  61 36   unknown 15 1200 120 disqualified 880     360 11000    unknown .081 13 .96 error (7) 15   370 120 error (7) 14   350 110 error (7) 15   380 120 true .18 30 2.1
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (5) .19 27 1.7 error (42) 880     1700   12000    false(unreach-call) .78  26   9.9  false(unreach-call) 5.5 280 48 timeout 910   6100 3800 unknown 900    1400 11000   timeout 900   5500 8400 timeout 900   5400 8700 timeout 900     3100 10000    true 6.1  74 79   timeout 910 9100 4100 disqualified 900     860 9900    unknown .079 13 .76 error (7) 15   360 120 error (7) 15   370 120 error (7) 16   370 110 true .32 30 2.7
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (5) .18 27 2.3 error (42) 880     190   10000    false(unreach-call) .67  25   8.2  false(unreach-call) 5.4 290 49 timeout 910   3900 4500 timeout 900    660 13000   timeout 900   4900 9500 timeout 900   4800 9000 timeout 900     1500 12000    true 4.2  71 54   timeout 910 9100 4400 disqualified 900     1800 7500    unknown .074 13 .78 error (7) 15   350 110 error (7) 15   360 120 error (7) 15   350 110 true .23 30 1.7
pthread-wmm/mix000_power.oepc_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .26  21   3.0  error (6) .092 9.7 .89 error 4.1 260 34 false(unreach-call) 10   470 86 false(unreach-call) .56 36 6.3 unknown 8.6 450 100 false(unreach-call) 520   570 4000 false(unreach-call) .48  28 6.1  false(unreach-call) 1.1  60 17   false(unreach-call) 31 1300 290 disqualified 44     2600 520    unknown .11  14 1.1  false(unreach-call) 220   7800 1500 error (7) 15   360 120 false(unreach-call) 200   8100 1500 false(unreach-call) .39 31 4.1
pthread-wmm/mix000_power.opt_false-unreach-call.i error (5) .19 28 1.9 false(unreach-call) .24  18   3.3  false(unreach-call) .15  11   1.7  error 4.2 270 36 false(unreach-call) 9.6 480 86 false(unreach-call) .55 36 8.1 unknown 8.8 450 120 false(unreach-call) 250   520 2100 false(unreach-call) .48  28 5.9  false(unreach-call) 1.1  60 16   false(unreach-call) 29 1300 250 disqualified 32     2300 410    unknown .11  14 1.3  false(unreach-call) 58   2800 540 error (7) 17   370 120 false(unreach-call) 60   2700 520 false(unreach-call) .34 31 3.2
pthread-wmm/mix000_pso.oepc_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .26  21   3.0  error (6) .086 9.3 1.0  error 4.3 280 35 false(unreach-call) 11   470 90 false(unreach-call) .56 36 7.1 unknown 8.6 450 120 false(unreach-call) 640   610 5200 false(unreach-call) .47  28 6.7  false(unreach-call) 1.1  61 17   false(unreach-call) 31 1300 260 disqualified 44     2600 630    unknown .10  14 1.2  false(unreach-call) 220   7700 1600 error (7) 15   370 130 false(unreach-call) 230   7800 1600 false(unreach-call) .41 31 4.1
pthread-wmm/mix000_pso.opt_false-unreach-call.i error (5) .19 28 1.9 false(unreach-call) .24  19   2.7  false(unreach-call) .15  11   1.7  error 4.4 280 38 false(unreach-call) 9.6 480 74 false(unreach-call) .56 36 7.5 unknown 8.5 450 100 false(unreach-call) 310   530 2700 false(unreach-call) .48  28 6.1  false(unreach-call) 1.1  60 14   false(unreach-call) 28 1300 230 disqualified 32     2300 380    unknown .11  14 1.2  false(unreach-call) 63   2800 560 error (7) 17   350 140 false(unreach-call) 57   2800 560 false(unreach-call) .31 31 3.9
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i error (5) .22 28 2.7 false(unreach-call) .26  20   4.0  error (6) .091 10   .91 error 4.3 270 42 false(unreach-call) 10   480 88 false(unreach-call) .55 36 8.1 unknown 8.7 450 98 false(unreach-call) 290   520 2800 false(unreach-call) .51  28 6.6  false(unreach-call) 1.1  60 17   false(unreach-call) 30 1300 290 disqualified 44     2600 490    unknown .11  14 1.1  false(unreach-call) 220   7600 1500 error (7) 15   350 120 false(unreach-call) 200   7600 1400 false(unreach-call) .39 31 3.8
pthread-wmm/mix000_rmo.opt_false-unreach-call.i error (5) .19 28 2.6 false(unreach-call) .28  18   3.6  false(unreach-call) .15  11   1.7  error 4.3 280 36 false(unreach-call) 9.9 480 77 false(unreach-call) .56 36 6.5 unknown 8.5 450 110 false(unreach-call) 420   550 4200 false(unreach-call) .51  28 6.2  false(unreach-call) 1.1  60 14   false(unreach-call) 28 1300 240 disqualified 32     2300 400    unknown .10  14 1.2  false(unreach-call) 58   2800 530 error (7) 16   380 120 false(unreach-call) 63   2700 510 false(unreach-call) .36 31 3.2
pthread-wmm/mix000_tso.oepc_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .29  21   3.2  error (6) .12  9.6 1.6  error 4.2 280 38 false(unreach-call) 11   500 100 false(unreach-call) .58 36 6.9 unknown 8.6 450 99 false(unreach-call) 240   510 2600 false(unreach-call) .49  28 5.5  false(unreach-call) 1.1  60 15   false(unreach-call) 31 1300 320 disqualified 45     2600 620    unknown .11  13 1.1  false(unreach-call) 82   4400 680 error (7) 16   370 110 false(unreach-call) 88   4800 750 false(unreach-call) .39 31 4.0
pthread-wmm/mix000_tso.opt_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .30  18   3.3  false(unreach-call) .17  11   1.7  error 4.2 270 34 false(unreach-call) 9.4 470 81 false(unreach-call) .56 36 6.5 unknown 8.8 450 130 false(unreach-call) 280   520 2400 false(unreach-call) .49  28 6.4  false(unreach-call) 1.1  60 14   false(unreach-call) 28 1300 270 disqualified 32     2300 400    unknown .11  14 1.1  false(unreach-call) 57   2700 520 error (7) 16   370 140 false(unreach-call) 59   3200 510 false(unreach-call) .31 31 3.1
pthread-wmm/mix001_power.oepc_false-unreach-call.i error (5) .24 28 1.7 false(unreach-call) .45  26   5.6  error (6) .092 10   .99 error 4.3 270 36 false(unreach-call) 15   690 130 false(unreach-call) 2.6  44 38   unknown 8.6 450 110 timeout 900   590 7500 false(unreach-call) 2.5   36 32    false(unreach-call) 1.3  65 18   false(unreach-call) 33 1500 280 disqualified 120     8500 1600    unknown .12  14 2.0  timeout 900   7000 6400 error (7) 14   350 110 timeout 900   7100 5800 false(unreach-call) .77 31 8.2
pthread-wmm/mix001_power.opt_false-unreach-call.i error (5) .20 28 2.4 false(unreach-call) .30  21   4.0  false(unreach-call) .17  13   1.9  error 4.2 270 36 false(unreach-call) 35   1500 240 false(unreach-call) 2.6  42 42   false(unreach-call) 54   620 550 false(unreach-call) 170   860 1500 false(unreach-call) 2.6   35 34    false(unreach-call) 1.2  62 17   false(unreach-call) 42 1800 360 disqualified 67     6900 930    unknown .13  14 1.1  timeout 910   14000 5500 error (7) 15   350 110 timeout 910   14000 5100 false(unreach-call) .37 31 3.3
pthread-wmm/mix001_pso.oepc_false-unreach-call.i error (5) .21 28 2.1 false(unreach-call) .45  26   5.4  error (6) .096 10   1.0  error 4.2 260 35 false(unreach-call) 15   680 110 false(unreach-call) 2.6  44 30   unknown 8.4 450 110 timeout 900   590 6400 false(unreach-call) 2.5   36 29    false(unreach-call) 1.3  64 19   false(unreach-call) 32 1400 260 disqualified 130     8500 1700    unknown .11  14 1.2  timeout 900   7200 9500 error (7) 15   370 110 timeout 900   7100 6100 false(unreach-call) .76 31 9.2
pthread-wmm/mix001_pso.opt_false-unreach-call.i error (5) .23 28 2.3 false(unreach-call) .29  21   3.4  false(unreach-call) .17  13   2.1  error 4.3 270 42 false(unreach-call) 35   1500 260 false(unreach-call) 2.6  42 37   false(unreach-call) 57   620 520 false(unreach-call) 45   670 460 false(unreach-call) 2.5   35 34    false(unreach-call) 1.2  62 14   false(unreach-call) 43 1900 380 disqualified 67     7000 860    unknown .10  14 1.2  timeout 910   13000 5300 error (7) 16   370 120 timeout 910   14000 5000 false(unreach-call) .34 31 3.6
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .45  26   4.9  error (6) .12  9.4 1.0  error 4.1 250 35 false(unreach-call) 15   690 120 false(unreach-call) 2.6  44 38   unknown 9.1 450 100 timeout 900   560 6900 false(unreach-call) 2.5   36 33    false(unreach-call) 1.3  64 19   false(unreach-call) 33 1500 280 disqualified 130     8600 1800    unknown .11  14 1.3  timeout 900   7200 6600 error (7) 16   370 120 timeout 900   7100 6500 false(unreach-call) .79 32 8.6
pthread-wmm/mix001_rmo.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .30  21   4.0  false(unreach-call) .17  13   1.8  error 4.2 270 36 false(unreach-call) 25   1200 180 false(unreach-call) 2.6  42 32   false(unreach-call) 54   620 560 false(unreach-call) 480   970 4000 false(unreach-call) 2.5   35 35    false(unreach-call) 1.2  62 16   false(unreach-call) 43 1900 380 disqualified 67     7100 890    unknown .10  14 1.1  timeout 910   14000 6700 error (7) 15   340 120 timeout 900   14000 5300 false(unreach-call) .36 31 3.6
pthread-wmm/mix001_tso.oepc_false-unreach-call.i error (5) .21 28 2.2 false(unreach-call) .47  26   4.9  error (6) .090 10   1.0  error 4.2 270 38 false(unreach-call) 16   590 120 false(unreach-call) 2.6  44 36   unknown 8.5 560 98 timeout 900   590 7400 false(unreach-call) 2.5   36 31    false(unreach-call) 1.3  64 17   false(unreach-call) 33 1400 280 disqualified 130     8600 1700    unknown .11  14 1.2  timeout 900   7100 6900 error (7) 15   360 110 timeout 900   7200 6000 false(unreach-call) .79 32 9.8
pthread-wmm/mix001_tso.opt_false-unreach-call.i error (5) .21 28 2.0 false(unreach-call) .30  20   4.0  false(unreach-call) .17  14   1.7  error 4.3 270 41 false(unreach-call) 36   1500 250 false(unreach-call) 2.6  42 36   false(unreach-call) 57   620 600 false(unreach-call) 150   830 1400 false(unreach-call) 2.5   35 28    false(unreach-call) 1.2  62 16   false(unreach-call) 42 1900 340 disqualified 67     6900 850    unknown .11  14 1.4  timeout 900   14000 5200 error (7) 16   380 120 timeout 910   14000 5800 false(unreach-call) .34 31 3.6
pthread-wmm/mix002_power.oepc_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .29  22   3.4  error (6) .085 9.3 1.1  error 4.3 280 38 false(unreach-call) 13   560 110 false(unreach-call) 2.4  41 34   false(unreach-call) 41   660 380 false(unreach-call) 47   740 490 false(unreach-call) 2.4   33 37    false(unreach-call) 1.1  62 14   false(unreach-call) 29 1300 240 disqualified 73     6200 820    unknown .10  14 1.2  timeout 910   13000 6900 error (7) 14   360 110 timeout 900   13000 6200 false(unreach-call) .39 31 3.9
pthread-wmm/mix002_power.opt_false-unreach-call.i error (5) .22 28 1.9 false(unreach-call) .27  21   3.4  false(unreach-call) .17  13   1.9  error 4.4 270 37 false(unreach-call) 36   1500 240 false(unreach-call) 2.8  43 35   false(unreach-call) 53   620 480 false(unreach-call) 530   1000 4700 false(unreach-call) 2.7   36 39    false(unreach-call) 1.2  62 16   false(unreach-call) 42 1900 420 disqualified 68     7000 850    unknown .10  14 1.1  false(unreach-call) 530   10000 3500 error (7) 16   370 120 false(unreach-call) 410   9600 3300 false(unreach-call) .42 31 4.2
pthread-wmm/mix002_pso.oepc_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .28  21   3.4  error (6) .092 9.8 .98 error 4.3 280 37 false(unreach-call) 13   570 110 false(unreach-call) 2.4  41 32   false(unreach-call) 30   630 290 false(unreach-call) 52   760 510 false(unreach-call) 2.4   33 36    false(unreach-call) 1.1  62 16   false(unreach-call) 28 1300 230 disqualified 74     6200 1000    unknown .10  13 1.0  timeout 910   13000 5300 error (7) 15   370 120 timeout 910   13000 7500 false(unreach-call) .42 31 4.3
pthread-wmm/mix002_pso.opt_false-unreach-call.i error (5) .22 28 1.9 false(unreach-call) .28  20   3.3  false(unreach-call) .17  13   2.0  error 4.3 270 36 false(unreach-call) 34   1500 240 false(unreach-call) 2.8  43 35   false(unreach-call) 51   610 490 false(unreach-call) 670   1100 5900 false(unreach-call) 2.7   35 31    false(unreach-call) 1.2  62 19   false(unreach-call) 42 1800 410 disqualified 68     7000 950    unknown .11  14 1.1  timeout 910   13000 5300 error (7) 16   360 120 timeout 910   13000 6000 false(unreach-call) .42 31 4.3
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i error (5) .23 28 2.3 false(unreach-call) .29  22   3.2  error (6) .12  9.8 .74 error 4.3 270 40 false(unreach-call) 14   560 120 false(unreach-call) 2.4  41 33   false(unreach-call) 33   640 350 false(unreach-call) 20   550 200 false(unreach-call) 2.4   33 35    false(unreach-call) 1.1  62 14   false(unreach-call) 28 1300 210 disqualified 74     6200 1000    unknown .099 14 .96 timeout 900   13000 6000 error (7) 14   370 120 timeout 910   13000 5900 false(unreach-call) .40 31 4.8
pthread-wmm/mix002_rmo.opt_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .27  20   3.6  false(unreach-call) .17  13   1.8  error 4.3 270 40 false(unreach-call) 35   1500 240 false(unreach-call) 2.8  43 33   false(unreach-call) 50   600 450 false(unreach-call) 310   980 3000 false(unreach-call) 2.7   35 34    false(unreach-call) 1.2  62 15   false(unreach-call) 43 1900 340 disqualified 69     7000 890    unknown .11  13 1.0  false(unreach-call) 440   9600 3200 error (7) 16   350 120 false(unreach-call) 490   11000 3300 false(unreach-call) .44 31 4.6
pthread-wmm/mix002_tso.oepc_false-unreach-call.i error (5) .20 28 2.5 false(unreach-call) .29  21   3.7  error (6) .089 10   1.1  error 4.3 270 36 false(unreach-call) 13   560 100 false(unreach-call) 2.4  41 32   false(unreach-call) 34   640 320 false(unreach-call) 130   810 1400 false(unreach-call) 2.4   33 31    false(unreach-call) 1.2  62 17   false(unreach-call) 31 1400 270 disqualified 73     6200 880    unknown .11  14 1.0  timeout 910   13000 5800 error (7) 15   350 110 timeout 910   13000 5500 false(unreach-call) .39 31 4.9
pthread-wmm/mix002_tso.opt_false-unreach-call.i error (5) .20 28 2.1 false(unreach-call) .27  20   3.3  false(unreach-call) .17  13   1.8  error 4.4 270 42 false(unreach-call) 38   1500 280 false(unreach-call) 2.8  43 38   false(unreach-call) 57   620 530 false(unreach-call) 110   820 1100 false(unreach-call) 2.7   36 29    false(unreach-call) 1.2  62 15   false(unreach-call) 44 2000 380 disqualified 69     7000 960    unknown .11  14 1.2  timeout 910   14000 4900 error (7) 16   370 140 timeout 910   14000 5600 false(unreach-call) .43 31 4.8
pthread-wmm/mix003_power.oepc_false-unreach-call.i error (5) .21 28 2.0 false(unreach-call) .35  21   3.5  error (6) .088 10   1.0  error 3.9 250 38 false(unreach-call) 13   530 120 false(unreach-call) 2.1  40 25   false(unreach-call) 35   630 390 false(unreach-call) 74   770 710 false(unreach-call) 2.1   32 25    false(unreach-call) 1.1  61 15   false(unreach-call) 30 1300 240 disqualified 90     5100 1000    unknown .10  13 1.1  timeout 910   13000 6500 error (7) 15   370 110 timeout 900   13000 6400 false(unreach-call) .54 31 6.4
pthread-wmm/mix003_power.opt_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .28  20   3.6  false(unreach-call) .17  13   1.8  error 4.2 270 36 false(unreach-call) 32   1500 220 false(unreach-call) 2.4  42 33   false(unreach-call) 62   620 610 false(unreach-call) 200   930 1800 false(unreach-call) 2.3   34 29    false(unreach-call) 1.2  62 15   false(unreach-call) 42 2000 400 disqualified 67     7000 910    unknown .11  14 1.2  timeout 900   13000 4800 error (7) 16   360 140 timeout 910   14000 6000 false(unreach-call) .39 31 3.8
pthread-wmm/mix003_pso.oepc_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .32  21   3.8  error (6) .10  8.9 .74 error 4.2 270 38 false(unreach-call) 14   540 110 false(unreach-call) 2.2  39 29   false(unreach-call) 33   630 310 false(unreach-call) 39   700 370 false(unreach-call) 2.1   32 26    false(unreach-call) 1.1  61 14   false(unreach-call) 29 1300 270 disqualified 90     5100 1100    unknown .11  15 1.5  timeout 900   13000 5400 error (7) 14   330 110 timeout 900   13000 5300 false(unreach-call) .56 31 6.0
pthread-wmm/mix003_pso.opt_false-unreach-call.i error (5) .20 28 2.1 false(unreach-call) .27  20   3.7  false(unreach-call) .16  13   1.8  error 4.3 270 36 false(unreach-call) 32   1500 220 false(unreach-call) 2.4  42 32   false(unreach-call) 44   600 490 false(unreach-call) 290   1000 2600 false(unreach-call) 2.3   34 30    false(unreach-call) 1.2  62 14   false(unreach-call) 42 1800 360 disqualified 68     7000 850    unknown .10  14 1.2  timeout 910   14000 5800 error (7) 15   370 120 timeout 900   13000 5200 false(unreach-call) .36 31 3.3
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i error (5) .22 28 1.9 false(unreach-call) .31  21   3.2  error (6) .096 9.6 .93 error 4.1 250 33 false(unreach-call) 13   540 120 false(unreach-call) 2.1  39 26   false(unreach-call) 36   640 370 false(unreach-call) 31   620 310 false(unreach-call) 2.1   32 25    false(unreach-call) 1.1  62 13   false(unreach-call) 30 1300 270 disqualified 90     5100 1000    unknown .099 14 1.0  timeout 910   13000 5700 error (7) 16   360 130 timeout 900   13000 5700 false(unreach-call) .54 31 5.6
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .35  20   4.3  false(unreach-call) .16  13   1.7  error 4.3 280 36 false(unreach-call) 33   1500 230 false(unreach-call) 2.4  42 33   false(unreach-call) 53   620 480 false(unreach-call) 240   910 2000 false(unreach-call) 2.3   35 29    false(unreach-call) 1.2  62 15   false(unreach-call) 43 1900 420 disqualified 67     7000 820    unknown .10  14 1.2  timeout 900   13000 5300 error (7) 15   340 120 timeout 900   13000 6000 false(unreach-call) .34 31 4.2
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .28  20   3.1  false(unreach-call) .17  13   1.8  error 4.5 270 36 false(unreach-call) 24   1200 200 false(unreach-call) 2.4  42 28   false(unreach-call) 57   610 560 false(unreach-call) 280   920 2600 false(unreach-call) 2.3   35 29    false(unreach-call) 1.2  62 15   false(unreach-call) 42 1900 320 disqualified 68     7000 780    unknown .11  14 1.0  timeout 910   14000 5300 error (7) 16   370 120 timeout 910   14000 5100 false(unreach-call) .36 31 3.9
pthread-wmm/mix003_rmo.opt_false-unreach-call.i error (5) .20 28 2.6 false(unreach-call) .27  20   3.1  false(unreach-call) .16  13   2.0  error 4.3 270 36 false(unreach-call) 32   1500 210 false(unreach-call) 2.4  42 28   false(unreach-call) 53   620 550 false(unreach-call) 160   820 1400 false(unreach-call) 2.3   35 32    false(unreach-call) 1.2  62 16   false(unreach-call) 42 1900 390 disqualified 67     7000 950    unknown .12  19 1.2  timeout 910   13000 6200 error (7) 16   370 130 timeout 910   13000 5100 false(unreach-call) .39 31 3.7
pthread-wmm/mix003_tso.oepc_false-unreach-call.i error (5) .22 28 2.0 false(unreach-call) .31  21   4.0  error (6) .090 10   1.0  error 4.0 250 37 false(unreach-call) 13   540 110 false(unreach-call) 2.2  39 28   false(unreach-call) 27   610 280 false(unreach-call) 51   720 480 false(unreach-call) 2.1   32 28    false(unreach-call) 1.1  61 16   false(unreach-call) 30 1400 260 disqualified 90     5100 1300    unknown .11  14 1.2  timeout 910   13000 5900 error (7) 15   340 120 timeout 900   13000 5800 false(unreach-call) .55 31 6.1
pthread-wmm/mix003_tso.opt_false-unreach-call.i error (5) .20 28 2.3 false(unreach-call) .30  20   2.9  false(unreach-call) .16  13   1.9  error 4.2 270 42 false(unreach-call) 26   1200 200 false(unreach-call) 2.4  42 36   false(unreach-call) 52   620 530 false(unreach-call) 160   830 1500 false(unreach-call) 2.3   34 30    false(unreach-call) 1.2  62 16   false(unreach-call) 42 1800 390 disqualified 68     7000 840    unknown .11  14 1.1  timeout 900   13000 4800 error (7) 16   370 130 timeout 900   13000 5100 false(unreach-call) .38 31 3.2
pthread-wmm/mix004_power.oepc_false-unreach-call.i error (5) .25 28 2.3 false(unreach-call) .44  26   6.1  error (6) .097 9.3 1.7  error 4.1 250 33 false(unreach-call) 24   1100 200 false(unreach-call) 14    110 180   false(unreach-call) 330   3000 3300 timeout 900   5200 7900 false(unreach-call) 14     100 170    false(unreach-call) 1.2  63 14   false(unreach-call) 39 1700 340 disqualified 320     12000 4800    unknown .11  14 1.1  timeout 900   7100 6900 error (7) 15   370 130 timeout 900   7200 6300 false(unreach-call) 1.4  31 15  
pthread-wmm/mix004_power.opt_false-unreach-call.i error (5) .23 28 2.1 false(unreach-call) .33  23   4.6  false(unreach-call) .18  15   1.8  error 4.2 270 33 false(unreach-call) 370   5600 2400 false(unreach-call) 14    110 190   false(unreach-call) 900   2900 8800 timeout 900   3600 7300 false(unreach-call) 14     110 180    false(unreach-call) 1.3  63 16   false(unreach-call) 360 4800 2300 disqualified 90     13000 1000    unknown .14  14 1.6  timeout 900   6900 5500 error (7) 16   350 120 timeout 900   7000 6000 false(unreach-call) .47 32 4.8
pthread-wmm/mix004_pso.oepc_false-unreach-call.i error (5) .21 28 2.8 false(unreach-call) .43  26   5.3  error (6) .10  9.8 1.0  error 4.2 270 39 false(unreach-call) 25   1100 180 false(unreach-call) 14    110 190   false(unreach-call) 390   3500 3500 timeout 900   5400 8400 false(unreach-call) 14     100 160    false(unreach-call) 1.2  64 15   false(unreach-call) 42 2000 340 disqualified 900     12000 14000    unknown .11  14 1.6  timeout 900   7100 5800 error (7) 15   350 120 timeout 900   7200 7600 false(unreach-call) 1.4  31 18  
pthread-wmm/mix004_pso.opt_false-unreach-call.i error (5) .22 28 2.4 false(unreach-call) .33  23   4.1  false(unreach-call) .19  15   2.5  error 4.3 270 38 false(unreach-call) 360   5500 2800 false(unreach-call) 14    110 200   timeout 900   2800 8600 timeout 900   3000 8000 false(unreach-call) 14     110 210    false(unreach-call) 1.3  63 18   false(unreach-call) 340 4800 2600 disqualified 95     13000 1400    unknown .10  13 1.3  timeout 900   7000 6100 error (7) 16   360 130 timeout 900   6900 6100 false(unreach-call) .45 31 4.6
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i error (5) .21 28 2.3 false(unreach-call) .43  26   4.8  error (6) .091 9.6 .99 error 4.4 260 40 false(unreach-call) 24   1100 200 false(unreach-call) 13    110 170   false(unreach-call) 570   4600 4900 false(unreach-call) 730   5000 7000 false(unreach-call) 14     100 190    false(unreach-call) 1.2  63 17   false(unreach-call) 40 1800 320 disqualified 320     12000 4400    unknown .10  13 1.1  timeout 900   7100 6000 error (7) 15   350 130 timeout 900   7100 6300 false(unreach-call) 1.4  32 18  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i error (5) .23 28 2.0 false(unreach-call) .37  23   4.2  false(unreach-call) .18  16   2.5  error 4.4 270 42 false(unreach-call) 350   5500 2600 false(unreach-call) 14    110 210   timeout 900   2800 7900 timeout 900   3800 9300 false(unreach-call) 14     110 200    false(unreach-call) 1.3  63 18   false(unreach-call) 350 4800 2400 disqualified 81     13000 1200    unknown .11  14 1.6  timeout 900   6900 6100 error (7) 17   360 130 timeout 900   7000 5900 false(unreach-call) .44 31 4.6
pthread-wmm/mix004_tso.oepc_false-unreach-call.i error (5) .24 28 2.1 false(unreach-call) .43  26   5.0  error (6) .088 9.7 1.1  error 4.0 250 41 false(unreach-call) 23   1100 180 false(unreach-call) 14    110 160   false(unreach-call) 520   4300 4800 timeout 900   5600 8900 false(unreach-call) 14     100 190    false(unreach-call) 1.2  64 20   false(unreach-call) 39 1700 350 disqualified 320     12000 4600    unknown .10  14 1.1  timeout 900   7200 6200 error (7) 15   370 120 timeout 900   7100 6300 false(unreach-call) 1.4  31 19  
pthread-wmm/mix004_tso.opt_false-unreach-call.i error (5) .24 28 1.9 false(unreach-call) .35  22   4.5  false(unreach-call) .19  16   1.9  error 4.4 280 38 false(unreach-call) 370   5500 2300 false(unreach-call) 14    110 180   timeout 900   2800 8400 timeout 900   3400 8300 false(unreach-call) 14     110 200    false(unreach-call) 1.2  63 20   false(unreach-call) 360 4800 2000 disqualified 83     13000 1100    unknown .10  14 1.2  timeout 900   7000 5900 error (7) 16   370 120 timeout 900   7000 6800 false(unreach-call) .44 31 4.5
pthread-wmm/mix005_power.oepc_false-unreach-call.i error (5) .22 28 2.1 false(unreach-call) .45  26   5.3  error (6) .095 11   1.1  error 4.4 280 37 false(unreach-call) 24   1100 170 false(unreach-call) 14    110 160   false(unreach-call) 900   5700 7400 timeout 900   4400 8800 false(unreach-call) 14     100 220    false(unreach-call) 1.2  63 16   false(unreach-call) 39 1700 350 disqualified 260     12000 3300    unknown .10  14 1.0  timeout 900   7100 6800 error (7) 16   340 110 timeout 900   7100 6200 false(unreach-call) .88 31 10  
pthread-wmm/mix005_power.opt_false-unreach-call.i error (5) .23 28 2.2 false(unreach-call) .31  23   4.3  false(unreach-call) .18  15   2.3  error 4.0 250 34 false(unreach-call) 370   5500 2200 false(unreach-call) 14    110 170   false(unreach-call) 870   2900 8000 timeout 900   3300 8300 false(unreach-call) 14     100 160    false(unreach-call) 1.2  63 16   false(unreach-call) 330 4800 2900 disqualified 900     13000 10000    unknown .11  14 1.2  timeout 900   7200 6400 error (7) 16   380 130 timeout 900   7100 5700 false(unreach-call) .46 31 4.4
pthread-wmm/mix005_pso.oepc_false-unreach-call.i error (5) .23 28 2.1 false(unreach-call) .44  26   5.5  error (6) .13  10   .71 error 4.2 270 41 false(unreach-call) 23   1200 180 false(unreach-call) 14    110 200   false(unreach-call) 570   4600 4800 timeout 900   4700 9300 false(unreach-call) 14     100 180    false(unreach-call) 1.2  63 16   false(unreach-call) 39 1700 340 disqualified 260     12000 3200    unknown .10  13 1.1  timeout 900   7200 4700 error (7) 15   360 120 timeout 900   7100 5800 false(unreach-call) .86 32 12  
pthread-wmm/mix005_pso.opt_false-unreach-call.i error (5) .22 28 2.2 false(unreach-call) .31  23   4.1  false(unreach-call) .18  15   2.0  error 4.2 270 37 false(unreach-call) 360   5600 2700 false(unreach-call) 15    110 190   false(unreach-call) 840   2900 8400 timeout 900   3600 7500 false(unreach-call) 14     100 180    false(unreach-call) 1.2  64 18   false(unreach-call) 340 4900 2900 disqualified 900     13000 11000    unknown .10  13 1.4  timeout 900   7300 7100 error (7) 16   350 130 timeout 900   7200 5800 false(unreach-call) .42 32 4.3
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i error (5) .23 28 1.9 false(unreach-call) .45  26   5.5  error (6) .13  9.9 .91 error 4.3 280 41 false(unreach-call) 23   1100 190 false(unreach-call) 14    110 180   false(unreach-call) 130   1500 1200 timeout 900   5600 8500 false(unreach-call) 14     100 210    false(unreach-call) 1.2  64 15   false(unreach-call) 39 1700 330 disqualified 260     12000 3600    unknown .10  14 1.1  timeout 900   7000 6000 error (7) 15   360 120 timeout 900   7100 6900 false(unreach-call) .85 31 10  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i error (5) .22 28 2.4 false(unreach-call) .32  23   4.1  false(unreach-call) .18  15   2.1  error 4.2 280 38 false(unreach-call) 360   5600 2800 false(unreach-call) 14    110 160   timeout 900   2800 7500 timeout 900   3200 8200 false(unreach-call) 14     100 230    false(unreach-call) 1.3  63 18   false(unreach-call) 350 4800 2200 disqualified 160     13000 2200    unknown .10  14 1.1  timeout 900   7100 5700 error (7) 15   330 110 timeout 900   7300 6700 false(unreach-call) .45 32 4.3
pthread-wmm/mix005_tso.oepc_false-unreach-call.i error (5) .24 28 2.1 false(unreach-call) .39  27   5.2  error (6) .11  10   1.0  error 3.9 250 34 false(unreach-call) 130   4300 800 false(unreach-call) 14    100 160   false(unreach-call) 490   2700 4700 timeout 900   4500 8600 false(unreach-call) 14     98 170    false(unreach-call) 1.2  63 15   false(unreach-call) 120 3700 870 disqualified 160     8400 2000    unknown .11  14 1.2  timeout 900   7200 6100 error (7) 16   380 120 timeout 900   7100 6200 false(unreach-call) 1.4  31 19  
pthread-wmm/mix005_tso.opt_false-unreach-call.i error (5) .21 28 2.4 false(unreach-call) .35  23   4.1  false(unreach-call) .22  15   1.7  error 4.4 280 41 false(unreach-call) 350   5600 2600 false(unreach-call) 14    110 180   false(unreach-call) 830   2800 7600 timeout 900   3100 8600 false(unreach-call) 14     100 180    false(unreach-call) 1.3  63 16   false(unreach-call) 340 4900 2500 disqualified 900     13000 13000    unknown .13  14 1.1  timeout 900   7100 5600 error (7) 16   360 110 timeout 900   7200 5700 false(unreach-call) .43 31 4.5
pthread-wmm/mix006_power.oepc_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .25  21   3.0  error (6) .090 9.7 .92 error 4.1 250 36 false(unreach-call) 14   680 130 false(unreach-call) 2.2  41 29   false(unreach-call) 21   580 210 false(unreach-call) 28   630 260 false(unreach-call) 2.2   33 25    false(unreach-call) 1.1  61 14   false(unreach-call) 31 1400 250 disqualified 83     5000 900    unknown .099 13 1.1  timeout 900   13000 5700 error (7) 14   330 110 timeout 910   13000 6300 false(unreach-call) .39 31 5.0
pthread-wmm/mix006_power.opt_false-unreach-call.i error (5) .19 28 2.1 false(unreach-call) .34  20   4.4  false(unreach-call) .16  13   1.6  error 4.2 280 36 false(unreach-call) 38   1700 270 false(unreach-call) 2.6  43 36   false(unreach-call) 52   650 470 false(unreach-call) 85   730 860 false(unreach-call) 2.5   36 33    false(unreach-call) 1.1  62 15   false(unreach-call) 46 1900 400 disqualified 68     6700 1000    unknown .11  14 1.2  timeout 910   13000 5600 error (7) 16   350 120 timeout 900   13000 5700 false(unreach-call) .33 31 3.5
pthread-wmm/mix006_pso.oepc_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .26  21   3.5  error (6) .086 10   1.0  error 4.3 270 43 false(unreach-call) 14   680 130 false(unreach-call) 2.2  41 31   false(unreach-call) 32   640 360 false(unreach-call) 27   620 300 false(unreach-call) 2.2   33 32    false(unreach-call) 1.1  61 15   false(unreach-call) 31 1700 260 disqualified 83     5100 1000    unknown .098 13 1.1  timeout 900   13000 5500 error (7) 15   370 110 timeout 900   13000 6100 false(unreach-call) .38 31 4.8
pthread-wmm/mix006_pso.opt_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .34  20   4.6  false(unreach-call) .18  13   1.6  error 4.2 270 37 false(unreach-call) 36   1700 270 false(unreach-call) 2.6  43 37   false(unreach-call) 72   690 680 false(unreach-call) 120   820 1100 false(unreach-call) 2.5   36 31    false(unreach-call) 1.2  62 17   false(unreach-call) 46 1900 380 disqualified 69     6700 940    unknown .12  14 1.1  timeout 910   13000 6600 error (7) 16   360 130 timeout 910   14000 5300 false(unreach-call) .35 32 3.1
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i error (5) .24 28 1.9 false(unreach-call) .29  21   2.9  error (6) .092 9.9 .96 error 4.3 270 36 false(unreach-call) 14   680 120 false(unreach-call) 2.3  41 31   false(unreach-call) 27   640 290 false(unreach-call) 20   550 220 false(unreach-call) 2.2   33 25    false(unreach-call) 1.1  61 14   false(unreach-call) 30 1400 250 disqualified 83     5100 1100    unknown .097 14 1.2  timeout 900   13000 6000 error (7) 15   360 110 timeout 910   13000 5700 false(unreach-call) .39 31 4.7
pthread-wmm/mix006_rmo.opt_false-unreach-call.i error (5) .21 28 2.0 false(unreach-call) .34  20   4.1  false(unreach-call) .17  13   1.6  error 4.2 270 34 false(unreach-call) 40   1700 270 false(unreach-call) 2.6  43 30   false(unreach-call) 73   680 630 false(unreach-call) 560   1100 4400 false(unreach-call) 2.5   36 32    false(unreach-call) 1.2  62 16   false(unreach-call) 47 1900 390 disqualified 69     6700 850    unknown .10  14 1.1  timeout 910   14000 5600 error (7) 16   360 120 timeout 910   14000 5100 false(unreach-call) .33 31 3.4
pthread-wmm/mix006_tso.oepc_false-unreach-call.i error (5) .22 29 2.8 false(unreach-call) .59  40   9.3  error (6) .11  12   1.2  error 4.8 270 43 false(unreach-call) 130   3900 820 false(unreach-call) 4.4  61 59   false(unreach-call) 720   2500 6400 timeout 900   2200 8900 false(unreach-call) 4.2   54 50    false(unreach-call) 1.6  68 22   false(unreach-call) 150 3200 1100 disqualified 91     14000 1200    unknown .13  14 1.4  timeout 900   7700 6100 error (7) 16   380 120 timeout 900   7700 6000 false(unreach-call) 1.8  33 24  
pthread-wmm/mix006_tso.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .37  21   3.9  false(unreach-call) .16  13   1.6  error 4.3 280 37 false(unreach-call) 40   1600 270 false(unreach-call) 2.6  44 36   false(unreach-call) 60   660 580 false(unreach-call) 84   730 740 false(unreach-call) 2.5   36 32    false(unreach-call) 1.2  62 16   false(unreach-call) 47 2000 370 disqualified 69     6700 750    unknown .11  14 1.1  timeout 910   13000 5200 error (7) 16   370 130 timeout 910   13000 4600 false(unreach-call) .35 31 3.5
pthread-wmm/mix007_power.oepc_false-unreach-call.i error (5) .23 28 1.9 false(unreach-call) .44  26   6.0  error (6) .090 10   .86 error 4.4 280 42 false(unreach-call) 35   1600 300 false(unreach-call) 14    110 220   false(unreach-call) 430   3600 4300 false(unreach-call) 680   4400 6100 false(unreach-call) 14     110 190    false(unreach-call) 1.2  63 18   false(unreach-call) 43 1900 380 disqualified 340     12000 4300    unknown .099 14 1.1  timeout 900   7100 5700 error (7) 15   370 110 timeout 900   7200 6100 false(unreach-call) 1.6  32 19  
pthread-wmm/mix007_power.opt_false-unreach-call.i error (5) .27 28 2.0 false(unreach-call) .31  23   3.5  false(unreach-call) .18  15   2.7  error 4.2 270 39 false(unreach-call) 520   6100 3500 false(unreach-call) 15    120 200   timeout 900   3400 7700 timeout 900   3800 8800 false(unreach-call) 15     110 200    false(unreach-call) 1.3  63 19   false(unreach-call) 530 5400 3600 disqualified 900     13000 12000    unknown .12  14 1.1  timeout 900   7200 5600 error (7) 16   360 120 timeout 900   7200 6000 false(unreach-call) .43 31 3.2
pthread-wmm/mix007_pso.oepc_false-unreach-call.i error (5) .23 28 1.9 false(unreach-call) .48  27   6.1  error (6) .098 9.6 .92 error 4.2 270 42 false(unreach-call) 34   1500 260 false(unreach-call) 14    110 200   false(unreach-call) 580   5200 6000 timeout 900   4400 8600 false(unreach-call) 14     110 170    false(unreach-call) 1.2  63 15   false(unreach-call) 43 1900 350 disqualified 330     12000 4700    unknown .10  14 .98 timeout 900   7100 6000 error (7) 15   340 110 timeout 900   7200 6100 false(unreach-call) 1.6  32 17  
pthread-wmm/mix007_pso.opt_false-unreach-call.i error (5) .25 28 2.1 false(unreach-call) .31  23   4.2  false(unreach-call) .18  15   2.0  error 4.1 280 35 false(unreach-call) 540   6300 4400 false(unreach-call) 15    120 210   timeout 900   3400 7900 timeout 900   3300 8100 false(unreach-call) 15     110 200    false(unreach-call) 1.2  63 16   false(unreach-call) 530 5500 3700 disqualified 180     13000 2300    unknown .099 13 1.4  timeout 900   7200 5800 error (7) 16   380 140 timeout 900   7300 7400 false(unreach-call) .41 32 5.0
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i error (5) .21 28 2.3 false(unreach-call) .44  26   7.1  error (6) .10  9.6 .93 error 4.1 250 37 false(unreach-call) 33   1600 230 false(unreach-call) 14    110 200   false(unreach-call) 340   2900 3500 false(unreach-call) 880   4600 7400 false(unreach-call) 14     110 160    false(unreach-call) 1.2  63 18   false(unreach-call) 43 1900 380 disqualified 330     12000 3700    unknown .12  14 1.1  timeout 900   7000 5900 error (7) 15   370 120 timeout 900   7200 8300 false(unreach-call) 1.6  32 20  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i error (5) .25 28 2.1 false(unreach-call) .32  22   4.8  false(unreach-call) .18  15   2.6  error 4.4 270 41 false(unreach-call) 570   6300 3900 false(unreach-call) 15    120 200   timeout 900   3600 9100 timeout 900   3300 7700 false(unreach-call) 15     110 180    false(unreach-call) 1.2  64 17   false(unreach-call) 570 5500 3900 disqualified 900     13000 13000    unknown .11  14 1.2  timeout 900   7200 7700 error (7) 16   360 120 timeout 900   7300 7800 false(unreach-call) .44 31 4.5
pthread-wmm/mix007_tso.oepc_false-unreach-call.i error (5) .23 28 2.8 false(unreach-call) .43  26   5.6  error (6) .13  9.9 .82 error 4.2 250 37 false(unreach-call) 37   1700 270 false(unreach-call) 14    110 160   false(unreach-call) 700   5600 6300 timeout 900   4400 8500 false(unreach-call) 14     110 200    false(unreach-call) 1.2  63 19   false(unreach-call) 42 1900 350 disqualified 330     12000 4200    unknown .10  14 1.1  timeout 900   7200 6400 error (7) 15   360 130 timeout 900   7300 7800 false(unreach-call) 1.6  32 19  
pthread-wmm/mix007_tso.opt_false-unreach-call.i error (5) .22 28 1.9 false(unreach-call) .32  23   3.6  false(unreach-call) .18  15   1.9  error 4.2 270 39 false(unreach-call) 550   6300 3200 false(unreach-call) 15    120 190   timeout 900   3400 7200 timeout 900   3100 8200 false(unreach-call) 15     110 170    false(unreach-call) 1.3  63 17   false(unreach-call) 520 5400 3100 disqualified 180     13000 2400    unknown .11  14 1.1  timeout 900   7200 6100 error (7) 16   370 120 timeout 900   7100 5400 false(unreach-call) .39 31 4.0
pthread-wmm/mix008_power.oepc_false-unreach-call.i error (5) .21 28 2.1 false(unreach-call) .43  27   5.5  error (6) .091 10   1.1  error 4.1 250 35 false(unreach-call) 35   1600 250 false(unreach-call) 14    110 180   false(unreach-call) 500   3700 4800 timeout 900   6000 8200 false(unreach-call) 14     110 210    false(unreach-call) 1.2  63 15   false(unreach-call) 43 1900 370 disqualified 290     11000 3900    unknown .10  14 1.1  timeout 900   7200 7500 error (7) 14   340 120 timeout 900   7100 6600 false(unreach-call) .78 32 10  
pthread-wmm/mix008_power.opt_false-unreach-call.i error (5) .23 28 2.1 false(unreach-call) .39  23   4.7  false(unreach-call) .18  15   2.5  error 4.0 250 33 false(unreach-call) 520   6100 3300 false(unreach-call) 15    110 220   false(unreach-call) 540   2900 5500 timeout 900   3500 7900 false(unreach-call) 15     110 180    false(unreach-call) 1.2  63 15   false(unreach-call) 530 5500 3600 disqualified 150     12000 1800    unknown .11  14 1.2  timeout 900   7100 6500 error (7) 16   370 110 timeout 900   7100 6200 false(unreach-call) .48 31 5.4
pthread-wmm/mix008_pso.oepc_false-unreach-call.i error (5) .22 28 2.1 false(unreach-call) .42  26   6.0  error (6) .094 9.8 1.5  error 4.1 270 39 false(unreach-call) 35   1500 240 false(unreach-call) 14    110 190   false(unreach-call) 550   4900 5800 timeout 900   3800 8700 false(unreach-call) 14     110 180    false(unreach-call) 1.2  63 18   false(unreach-call) 44 2000 360 disqualified 290     12000 3700    unknown .10  14 1.2  timeout 900   7200 6700 error (7) 15   370 120 timeout 900   7200 7100 false(unreach-call) .79 31 10  
pthread-wmm/mix008_pso.opt_false-unreach-call.i error (5) .21 28 2.2 false(unreach-call) .40  23   5.0