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