Tool 2LS 0.6.0 CBMC 5.8 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 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-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 -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) 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 (5) .23 29 1.6 error (6) .50 39 5.4 error 4.3 400 34 false(unreach-call) 6.4  620 61   false(unreach-call) .39  29 4.4  false(unreach-call) .53  29 6.1  unknown .13  11 1.2  unknown 3.8 220 28 unknown 3.8 230 27 unknown 3.8 230 34 false(unreach-call) .26 31 2.0
pthread/fib_bench_false-unreach-call.i error (5) .21 27 1.6 false(unreach-call) 3.4  48 42   false(unreach-call) 32   1600 280 true 47    78 640   false(unreach-call) 8.9   47 100    false(unreach-call) 16     63 240    unknown .10  11 .82 unknown 3.7 220 31 unknown 3.6 230 26 unknown 3.8 230 33 false(unreach-call) .25 31 3.3
pthread/fib_bench_longer_false-unreach-call.i error (5) .19 27 1.5 false(unreach-call) 5.3  47 71   false(unreach-call) 150   4000 1400 true 120    100 1400   false(unreach-call) 71     210 950    false(unreach-call) 39     130 480    unknown .11  11 .95 unknown 3.8 220 27 unknown 3.6 230 29 unknown 3.7 230 29 false(unreach-call) .44 35 4.9
pthread/fib_bench_longest_false-unreach-call.i error (5) .19 27 1.8 false(unreach-call) 300    160 4300   timeout 900   4100 8300 timeout 900    630 11000   timeout 900     2200 12000    timeout 900     2500 11000    unknown .085 11 1.1  unknown 3.8 230 29 unknown 3.7 220 29 unknown 3.8 230 30 false(unreach-call) 16    120 190  
pthread/lazy01_false-unreach-call.i error (5) .19 27 1.9 false(unreach-call) .60 41 5.8 false(unreach-call) 4.3 280 32 witness invalid (false(unreach-call)) 16    280 240   witness invalid (false(unreach-call)) 50     320 600    witness invalid (false(unreach-call)) 50     320 710    unknown .080 11 .82 unknown 3.9 230 32 unknown 3.8 230 27 unknown 3.7 230 33 false(unreach-call) .21 29 1.8
pthread/queue_false-unreach-call.i error (5) .21 29 1.7 false(unreach-call) 9.2  450 91   false(unreach-call) 6.7 450 53 unknown 130    170 1600   timeout 900     4200 10000    witness invalid (false(unreach-call)) 370     1300 5200    unknown .12  11 .95 unknown 3.7 220 29 unknown 3.7 230 30 unknown 3.7 230 34 false(unreach-call) .32 41 2.9
pthread/queue_longer_false-unreach-call.i error (5) .19 29 2.0 false(unreach-call) 27    5000 240   false(unreach-call) 6.7 450 57 unknown 850    2500 11000   timeout 900     4600 11000    witness invalid (false(unreach-call)) 420     1600 4700    unknown .11  11 1.0  unknown 3.9 230 32 unknown 3.8 230 32 unknown 3.7 230 30 false(unreach-call) 1.3  330 15  
pthread/queue_longest_false-unreach-call.i error (5) .20 29 2.0 false(unreach-call) 69    10000 480   false(unreach-call) 6.9 450 54 unknown 850    2500 12000   timeout 900     4300 11000    witness invalid (false(unreach-call)) 520     2000 5700    unknown .083 11 1.0  unknown 3.8 230 33 unknown 3.8 220 31 unknown 3.8 230 30 false(unreach-call) 2.4  640 30  
pthread/reorder_2_false-unreach-call.i error (5) .30 31 2.3 error (6) .80 39 6.8 error 5.3 430 47 unknown 330    15000 4500   false(unreach-call) 390     1800 4100    false(unreach-call) 390     1900 5200    unknown .10  11 1.0  unknown 3.8 220 30 unknown 4.0 230 32 unknown 4.0 230 29 false(unreach-call) .41 33 2.9
pthread/reorder_5_false-unreach-call.i error (5) .33 30 2.4 error (6) .80 39 6.7 error 5.2 440 42 unknown 480    15000 5500   timeout 900     3400 10000    timeout 900     3000 10000    unknown .11  11 .85 unknown 3.9 230 30 unknown 3.8 230 32 unknown 3.8 220 27 false(unreach-call) .40 33 3.2
pthread/sigma_false-unreach-call.i error (5) .19 29 1.8 error (42) 870    990 5300   error 5.0 420 44 timeout 900    680 13000   timeout 900     1800 10000    timeout 900     1600 13000    unknown .12  11 1.3  unknown 3.9 230 29 unknown 3.8 220 29 unknown 3.7 230 32 false(unreach-call) 67    440 630  
pthread/singleton_false-unreach-call.i error (5) .22 30 1.6 error (6) .54 38 4.5 error 4.6 400 38 timeout 900    940 10000   timeout 900     1800 10000    timeout 900     1800 10000    unknown .14  11 1.1  unknown 4.0 230 27 unknown 3.8 230 31 unknown 4.0 230 33 false(unreach-call) .26 31 2.1
pthread/stack_false-unreach-call.i error (5) .23 29 1.3 false(unreach-call) .77 49 8.8 error 6.0 430 49 true 500    15000 5900   timeout 900     6600 11000    witness invalid (false(unreach-call)) 20     170 250    unknown .11  11 .96 unknown 3.9 220 35 unknown 5.9 320 43 unknown 3.8 230 35 false(unreach-call) .24 32 2.1
pthread/stack_longer_false-unreach-call.i error (5) .20 29 1.6 false(unreach-call) 8.1  160 110   error 110   3700 770 unknown 480    1500 5900   timeout 900     7600 9800    witness invalid (false(unreach-call)) 37     310 520    unknown .11  11 .99 unknown 3.8 220 33 unknown 3.7 220 31 unknown 3.8 230 33 false(unreach-call) .52 59 4.7
pthread/stack_longest_false-unreach-call.i error (5) .21 29 1.8 false(unreach-call) 27    280 310   error 330   3800 2000 unknown 480    1500 6200   timeout 900     5400 11000    witness invalid (false(unreach-call)) 71     430 840    unknown .083 11 .83 unknown 4.0 230 30 unknown 3.8 230 32 unknown 3.6 230 30 false(unreach-call) .69 110 6.7
pthread/stateful01_false-unreach-call.i error (5) .22 27 1.5 false(unreach-call) .68 41 6.2 false(unreach-call) 4.5 280 35 false(unreach-call) 8.0  50 88   witness invalid (false(unreach-call)) 10     120 120    witness invalid (false(unreach-call)) 9.9   120 120    unknown .080 11 .90 unknown 3.8 220 31 unknown 3.7 230 33 unknown 3.7 220 30 false(unreach-call) .20 30 2.2
pthread/twostage_3_false-unreach-call.i error (5) .36 31 2.8 error (6) .76 39 8.8 error 5.8 440 45 unknown 900    1100 12000   timeout 900     5700 9700    timeout 900     5200 10000    unknown .13  11 1.1  unknown 3.9 230 34 unknown 3.8 220 31 unknown 3.9 220 29 false(unreach-call) .41 33 2.8
pthread/bigshot_s2_true-unreach-call.i error (5) .22 29 1.9 error (6) .51 38 4.6 error 4.5 400 32 true 290    5200 4400   true 8.6   75 99    true 6.4   62 81    unknown .10  11 1.2  unknown 3.7 220 32 unknown 3.8 230 30 unknown 3.8 220 32 true .23 31 1.7
pthread/bigshot_s_true-unreach-call.i error (5) .21 29 1.7 error (6) .52 38 4.8 error 4.5 400 39 true 290    5200 4000   true 9.8   80 110    true 7.4   66 86    unknown .10  11 1.1  unknown 3.8 230 35 unknown 3.8 230 31 unknown 3.9 230 28 true .19 31 1.7
pthread/fib_bench_longer_true-unreach-call.i error (5) .20 27 1.2 true 20    54 250   true 430   4000 4300 true 120    100 1600   true 270     670 3900    true 350     810 4400    unknown .10  11 1.1  unknown 3.8 230 31 unknown 5.7 330 43 unknown 3.7 220 29 true .66 34 7.7
pthread/fib_bench_longest_true-unreach-call.i error (5) .19 27 1.4 error (42) 870    190 11000   timeout 900   4100 8400 timeout 900    630 11000   timeout 900     2200 12000    timeout 900     2600 14000    unknown .090 11 .89 unknown 3.7 220 30 unknown 3.9 230 33 unknown 3.8 230 31 true 16    130 240  
pthread/fib_bench_true-unreach-call.i error (5) .18 27 1.5 true 8.1  47 110   true 65   2800 510 true 47    78 540   true 76     200 1000    true 60     160 750    unknown .10  11 .90 unknown 3.8 230 28 unknown 3.6 230 28 unknown 3.5 230 31 true .41 32 4.1
pthread/indexer_true-unreach-call.i error (5) .18 29 1.9 error (42) 870    4000 11000   error 7.0 460 53 unknown 75    160 900   out of memory 72     15000 900    true .17  27 2.0  unknown .11  11 .87 unknown 3.8 220 31 unknown 3.9 220 33 unknown 3.7 230 30 true .52 71 5.7
pthread/queue_ok_longer_true-unreach-call.i error (5) .22 29 1.8 error (134) 61    13000 730   error 37   3700 400 unknown 900    180 11000   timeout 900     2400 13000    timeout 900     2400 12000    unknown .11  11 .90 unknown 3.7 220 29 unknown 3.7 220 31 unknown 3.7 230 34 true .62 150 7.0
pthread/queue_ok_longest_true-unreach-call.i error (5) .24 29 1.5 error (134) 84    13000 900   error 100   3800 1300 unknown 900    180 12000   timeout 900     2400 12000    timeout 900     2400 11000    unknown .11  11 .98 unknown 3.9 230 28 unknown 3.6 220 30 unknown 3.8 230 30 true 1.0  300 11  
pthread/queue_ok_true-unreach-call.i error (5) .23 29 1.8 error (134) 390    12000 4600   error 7.6 520 55 unknown 900    180 11000   timeout 900     2400 12000    timeout 900     2400 13000    unknown .097 11 .94 unknown 3.8 230 33 unknown 5.6 310 37 unknown 3.9 230 31 true .24 35 2.6
pthread/singleton_with-uninit-problems_true-unreach-call.i error (5) .21 29 1.8 error (6) .52 39 4.6 error 4.9 410 41 timeout 900    930 11000   timeout 900     1800 11000    timeout 900     1800 11000    unknown .13  11 1.1  unknown 3.7 230 30 unknown 3.7 230 33 unknown 3.6 220 29 true .25 31 2.6
pthread/stack_longer_true-unreach-call.i error (5) .20 29 1.9 error (42) 870    980 5500   error 120   3700 620 unknown 470    1400 6200   timeout 900     7500 11000    timeout 900     7100 11000    unknown .084 11 .96 unknown 3.9 220 31 unknown 3.7 230 29 unknown 3.9 230 33 true .42 60 4.7
pthread/stack_longest_true-unreach-call.i error (5) .18 29 2.1 error (42) 870    1700 6600   error 340   3800 1700 unknown 470    1400 5700   timeout 900     5400 12000    timeout 900     5300 14000    unknown .080 11 .85 unknown 3.9 230 30 unknown 3.7 220 32 unknown 3.7 230 32 true .60 110 6.6
pthread/stack_true-unreach-call.i error (5) .24 29 1.4 true 420    160 5300   error 6.0 450 45 true 470    15000 5600   timeout 900     6500 11000    timeout 900     7100 13000    unknown .10  11 .86 unknown 3.8 220 32 unknown 3.6 230 31 unknown 4.1 230 31 true .22 31 2.6
pthread/stateful01_true-unreach-call.i error (5) .21 27 1.5 true 1.9  42 21   true 4.5 300 38 true 240    1100 2800   true 42     290 490    true 43     290 540    unknown .079 11 .94 unknown 3.7 220 31 unknown 3.8 230 30 unknown 3.8 230 31 true .23 28 2.0
pthread/sync01_true-unreach-call.i error (5) .18 28 2.0 true 1.8  44 22   true 5.1 430 38 unknown 900    15000 13000   true 190     1700 2100    true 55     520 820    unknown .099 11 1.0  unknown 3.7 220 28 unknown 3.5 220 28 unknown 3.7 230 31 true .24 31 2.2
pthread-atomic/qrcu_false-unreach-call.i error (5) .21 27 1.7 false(unreach-call) .78 51 10   false(unreach-call) 10   550 75 unknown 67    110 790   unknown .12  28 .86 unknown .11  28 .97 unknown .093 11 1.1  unknown 3.6 220 29 unknown 3.8 230 30 unknown 3.9 220 30 false(unreach-call) .28 31 3.3
pthread-atomic/read_write_lock_false-unreach-call.i error (5) .19 27 1.6 false(unreach-call) .63 39 6.0 false(unreach-call) 18   780 120 true 160    79 2300   true 17     68 230    true 17     70 220    unknown .085 11 1.1  unknown 3.7 230 30 unknown 3.7 230 30 unknown 3.9 230 29 false(unreach-call) .22 29 2.2
pthread-atomic/dekker_true-unreach-call.i error (5) .21 29 1.5 error (6) .48 37 5.0 true 5.1 340 37 true 140    190 1800   timeout 900     1900 11000    timeout 900     2000 10000    unknown .12  11 .95 unknown 3.6 230 30 unknown 3.8 230 30 unknown 3.9 230 31 true .22 29 1.8
pthread-atomic/gcd_true-unreach-call_true-termination.i error (5) .22 27 1.4 error (42) 870    160 11000   timeout 910   3700 5300 unknown 890    450 11000   timeout 900     62 14000    timeout 900     55 11000    unknown .090 11 .99 unknown 3.7 220 33 unknown 3.5 230 30 unknown 4.0 230 28 true 22    100 270  
pthread-atomic/lamport_true-unreach-call.i error (5) .22 27 1.3 error (6) .49 37 4.3 true 6.1 380 49 true 110    160 1500   timeout 900     1900 11000    timeout 900     2000 11000    unknown .11  11 .99 unknown 3.7 230 32 unknown 3.8 230 32 unknown 3.8 230 28 true .24 29 2.3
pthread-atomic/peterson_true-unreach-call.i error (5) .20 27 1.4 error (6) .45 37 5.5 true 4.9 340 43 true 100    150 1300   timeout 900     2100 11000    timeout 900     2100 13000    unknown .084 11 .92 unknown 3.9 230 31 unknown 3.6 230 31 unknown 3.9 220 29 true .20 29 2.5
pthread-atomic/qrcu_true-unreach-call.i error (5) .20 27 1.9 error (42) 870    490 7200   timeout 910   3900 6600 unknown 67    110 810   unknown .093 28 1.1  unknown .12  28 .88 unknown .092 11 1.1  unknown 3.8 230 34 unknown 3.7 230 29 unknown 3.8 230 29 true .41 31 4.3
pthread-atomic/read_write_lock_true-unreach-call.i error (5) .19 27 1.8 true 2.0  41 23   true 9.4 540 72 true 160    79 1800   true 17     70 190    true 17     70 230    unknown .11  11 .92 unknown 3.8 220 30 unknown 3.6 230 32 unknown 3.8 230 32 true .26 29 2.1
pthread-atomic/scull_true-unreach-call.i error (5) .25 28 2.0 true 4.3  61 49   timeout 910   3600 5400 unknown 10    35 140   timeout 900     2800 12000    timeout 900     2800 10000    unknown .096 11 1.1  unknown 3.8 230 32 unknown 3.8 230 31 unknown 3.7 230 31 true .25 30 2.7
pthread-atomic/szymanski_true-unreach-call.i error (5) .17 27 2.1 error (6) .47 37 5.1 true 5.4 350 47 timeout 900    990 11000   timeout 900     4400 11000    timeout 900     4300 12000    unknown .085 11 .94 unknown 3.6 220 30 unknown 3.6 220 29 unknown 3.7 220 30 true .24 29 1.9
pthread-atomic/time_var_mutex_true-unreach-call.i error (5) .19 27 2.2 error (6) .47 37 5.8 true 4.6 300 41 unknown 3.3  49 39   true 5.3   52 62    true 5.3   52 65    unknown .10  11 1.1  unknown 3.8 220 32 unknown 3.8 230 34 unknown 3.6 230 31 true .22 29 2.2
pthread-ext/25_stack_longer_false-unreach-call.i error (5) .19 27 1.8 false(unreach-call) 3.7  780 49   error 5.0 400 38 false(unreach-call) .68 76 8.1 false(unreach-call) .10  29 1.1  false(unreach-call) .13  29 .91 unknown .079 11 .85 unknown 3.8 230 31 unknown 3.6 220 30 unknown 3.5 220 29 false(unreach-call) .25 31 2.7
pthread-ext/25_stack_longest_false-unreach-call.i error (5) .21 27 1.5 false(unreach-call) 9.0  2300 99   error 4.9 400 37 false(unreach-call) .69 76 8.3 false(unreach-call) .089 29 1.0  false(unreach-call) .13  29 1.2  unknown .079 11 .92 unknown 3.6 220 28 unknown 3.8 230 30 unknown 3.7 220 30 false(unreach-call) .26 29 2.5
pthread-ext/26_stack_cas_longer_false-unreach-call.i error (5) .19 27 1.4 false(unreach-call) 6.3  1700 69   error 5.3 450 48 false(unreach-call) .69 76 8.3 false(unreach-call) .090 29 1.0  false(unreach-call) .098 29 1.0  unknown .078 11 .86 unknown 3.7 230 32 unknown 3.6 220 27 unknown 3.7 220 28 false(unreach-call) .26 30 2.6
pthread-ext/26_stack_cas_longest_false-unreach-call.i error (5) .19 27 1.7 false(unreach-call) 17    4800 180   error 5.2 430 39 false(unreach-call) .69 76 8.3 false(unreach-call) .089 29 1.1  false(unreach-call) .093 29 1.2  unknown .10  11 1.1  unknown 3.8 220 30 unknown 3.6 230 29 unknown 3.7 230 32 false(unreach-call) .25 31 3.3
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error (5) .22 27 1.4 false(unreach-call) .57 37 5.0 error 4.3 300 33 false(unreach-call) 39    1900 480   timeout 900     5200 11000    false(unreach-call) 40     280 450    unknown .090 11 .97 unknown 3.7 220 29 unknown 3.9 230 29 unknown 3.6 220 27 false(unreach-call) .24 29 2.2
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error (5) .20 27 1.4 false(unreach-call) .54 38 5.3 error 4.2 280 32 false(unreach-call) .96 130 12   false(unreach-call) .27  28 1.9  false(unreach-call) .32  29 3.9  unknown .10  11 .97 unknown 3.7 230 30 unknown 3.6 230 33 unknown 3.8 220 30 false(unreach-call) .21 29 2.7
pthread-ext/32_pthread5_vs_false-unreach-call.i error (5) .19 27 1.7 false(unreach-call) .72 41 6.7 error 4.1 310 33 true 350    14000 4000   timeout 900     9800 11000    timeout 900     10000 13000    unknown .089 11 .93 unknown 3.9 230 30 unknown 3.7 230 30 unknown 3.7 230 33 false(unreach-call) .22 29 2.8
pthread-ext/40_barrier_vf_false-unreach-call.i error (5) .19 27 2.0 false(unreach-call) 1.9  50 22   error 4.2 290 32 true 260    14000 3300   timeout 900     13000 11000    timeout 900     12000 12000    unknown .11  11 1.0  unknown 3.7 230 28 unknown 3.7 220 32 unknown 3.6 230 32 false(unreach-call) .27 28 1.8
pthread-ext/01_inc_true-unreach-call.i error (5) .20 27 1.6 error (42) 870    310 7100   error 4.1 290 36 timeout 900    450 13000   timeout 900     1800 13000    timeout 900     1900 12000    unknown .10  11 1.0  unknown 3.8 220 34 unknown 3.6 220 30 unknown 3.6 220 31 true .20 28 1.8
pthread-ext/02_inc_cas_true-unreach-call.i error (5) .19 27 1.6 error (42) 870    390 7000   error 4.0 280 36 timeout 900    900 12000   timeout 900     2800 12000    timeout 900     3200 12000    unknown .086 11 .91 unknown 3.7 230 29 unknown 3.7 220 28 unknown 3.7 220 29 true .23 29 1.8
pthread-ext/03_incdec_true-unreach-call.i error (5) .18 27 1.7 error (42) 870    440 6900   error 4.5 330 36 true 370    15000 4500   timeout 900     6700 11000    timeout 900     9600 10000    unknown .11  11 .95 unknown 3.6 220 30 unknown 3.7 220 29 unknown 3.8 230 29 true .28 30 3.7
pthread-ext/04_incdec_cas_true-unreach-call.i error (5) .17 27 2.0 error (42) 870    1700 6100   error 4.8 350 44 timeout 900    15000 11000   timeout 900     8900 11000    timeout 900     8400 11000    unknown .11  11 .94 unknown 3.7 220 31 unknown 3.7 230 29 unknown 3.7 230 28 true .28 29 2.2
pthread-ext/05_tas_true-unreach-call.i error (5) .20 27 1.5 error (42) 870    4800 11000   error 4.5 310 33 timeout 900    860 11000   timeout 900     3500 12000    timeout 900     3200 13000    unknown .11  11 .88 unknown 3.6 220 29 unknown 3.9 230 32 unknown 3.6 230 32 true .31 29 2.7
pthread-ext/06_ticket_true-unreach-call.i error (5) .18 27 1.5 error (42) 870    190 11000   error 4.3 300 38 timeout 900    410 10000   timeout 900     3000 9500    timeout 900     4100 12000    unknown .12  11 .80 unknown 3.7 230 32 unknown 3.8 230 32 unknown 3.7 230 30 true .24 29 2.0
pthread-ext/07_rand_true-unreach-call.i error (5) .18 27 2.2 error (42) 870    810 8100   error 4.6 330 35 timeout 900    14000 12000   timeout 900     9500 11000    timeout 900     10000 8900    unknown .092 11 1.0  unknown 3.8 220 31 unknown 3.8 230 30 unknown 3.6 230 32 true .26 29 2.0
pthread-ext/08_rand_cas_true-unreach-call.i error (5) .19 27 1.8 error (42) 870    4700 12000   error 4.8 350 41 timeout 900    15000 12000   timeout 900     5800 11000    timeout 900     5700 11000    unknown .091 11 .94 unknown 3.8 230 29 unknown 3.6 220 31 unknown 3.7 230 30 true .23 30 2.2
pthread-ext/09_fmaxsym_true-unreach-call.i error (5) .20 27 1.6 error (42) 870    3900 10000   error 4.7 300 40 true 400    15000 5200   timeout 900     5700 8800    timeout 900     6300 10000    unknown .11  11 .97 unknown 3.6 220 26 unknown 3.5 220 28 unknown 3.5 220 32 true .26 30 2.2
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error (5) .19 27 1.6 error (42) 870    3200 12000   error 4.7 320 37 true 540    15000 6300   timeout 900     3200 12000    timeout 900     2500 12000    unknown .11  11 .93 unknown 3.8 230 30 unknown 3.7 220 28 unknown 3.8 230 32 true .29 30 2.8
pthread-ext/11_fmaxsymopt_true-unreach-call.i error (5) .19 26 2.0 error (42) 870    510 6700   error 4.6 310 39 true 530    15000 6500   timeout 900     1300 10000    timeout 900     830 8800    unknown .088 11 .91 unknown 3.8 230 30 unknown 3.7 230 30 unknown 3.8 230 29 true .25 30 2.0
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error (5) .21 27 1.6 error (42) 870    3700 11000   error 4.5 310 41 true 600    15000 6300   timeout 900     4800 13000    timeout 900     4300 12000    unknown .087 11 .99 unknown 3.9 230 31 unknown 3.6 220 31 unknown 3.7 230 30 true .28 30 2.2
pthread-ext/13_unverif_true-unreach-call.i error (5) .18 28 1.5 error (42) 870    7400 5900   error 3.9 270 34 timeout 900    360 10000   timeout 900     1700 11000    timeout 900     1700 10000    unknown .11  11 .90 unknown 3.8 220 31 unknown 3.5 220 25 unknown 3.7 220 30 true .22 28 1.9
pthread-ext/14_spin2003_true-unreach-call.i error (5) .20 27 1.6 error (42) 870    220 11000   error 4.0 280 35 timeout 900    510 11000   timeout 900     1600 11000    timeout 900     1800 12000    unknown .089 11 1.0  unknown 3.6 220 33 unknown 3.6 230 31 unknown 3.8 230 30 true .20 29 2.0
pthread-ext/15_dekker_true-unreach-call.i error (5) .18 27 1.8 error (42) 870    900 9900   true 5.0 320 41 true 130    100 1500   timeout 900     830 10000    timeout 900     790 11000    unknown .11  11 .89 unknown 3.8 220 30 unknown 3.5 220 26 unknown 3.7 230 30 true .22 29 1.8
pthread-ext/16_peterson_true-unreach-call.i error (5) .19 27 2.0 true 1.0  37 9.4 true 4.9 310 38 true 1.0  76 12   unknown .077 27 .92 unknown .11  27 .75 unknown .084 11 1.0  unknown 3.6 220 30 unknown 3.7 230 28 unknown 3.5 220 31 true .20 29 2.3
pthread-ext/17_szymanski_true-unreach-call.i error (5) .21 27 1.6 error (42) 870    890 11000   true 5.4 370 47 timeout 900    980 12000   timeout 900     2100 14000    timeout 900     1900 12000    unknown .11  11 .81 unknown 3.9 220 30 unknown 3.7 230 31 unknown 3.6 230 27 true .39 52 4.0
pthread-ext/18_read_write_lock_true-unreach-call.i error (5) .18 27 1.6 true .96 37 8.7 true 4.3 280 35 true .99 49 12   true .088 27 .90 true .080 27 .94 unknown .11  11 .83 unknown 3.7 230 30 unknown 5.9 330 45 unknown 3.7 220 32 true .23 29 1.7
pthread-ext/19_time_var_mutex_true-unreach-call.i error (5) .18 27 1.8 true 1.0  37 9.6 true 5.1 330 42 true 1.0  50 14   true .090 27 .91 true .083 27 .97 unknown .085 11 1.1  unknown 3.8 230 34 unknown 3.9 230 31 unknown 3.8 230 30 true .21 29 2.0
pthread-ext/20_lamport_true-unreach-call.i error (5) .17 27 1.9 true 1.6  39 14   true 5.4 380 41 true 11    160 130   timeout 900     970 12000    timeout 900     1000 10000    unknown .10  11 .90 unknown 3.8 230 29 unknown 3.7 220 29 unknown 3.7 230 31 true .23 29 1.9
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i error (5) .19 27 1.9 true .98 37 11   true 5.1 330 40 unknown 49    76 570   true 14     65 160    true 17     72 210    unknown .11  11 .95 unknown 3.6 220 30 unknown 3.8 230 31 unknown 3.6 230 29 true .23 29 1.7
pthread-ext/25_stack_longer_true-unreach-call.i error (5) .19 27 1.4 error (42) 870    4100 9000   error 4.9 400 37 timeout 900    900 11000   timeout 900     3300 14000    timeout 900     3400 12000    unknown .098 11 .84 unknown 3.8 220 32 unknown 3.5 220 30 unknown 3.8 230 29 true .35 30 3.1
pthread-ext/25_stack_longest_true-unreach-call.i error (5) .20 27 1.6 error (42) 870    4100 12000   error 5.1 410 45 timeout 900    980 11000   timeout 900     3300 14000    timeout 900     3400 12000    unknown .096 11 .80 unknown 3.9 230 29 unknown 3.7 230 29 unknown 3.7 230 31 true .41 30 4.4
pthread-ext/25_stack_true-unreach-call.i error (5) .19 27 1.9 error (42) 870    5400 13000   error 5.0 410 41 timeout 900    910 11000   timeout 900     3300 11000    timeout 900     3200 11000    unknown .12  11 .97 unknown 3.8 230 31 unknown 3.5 230 29 unknown 3.7 220 31 true .38 30 3.6
pthread-ext/26_stack_cas_longer_true-unreach-call.i error (5) .21 27 1.5 error (42) 870    3000 9300   error 5.2 430 40 timeout 900    830 11000   timeout 900     3000 10000    timeout 900     3200 11000    unknown .10  11 .79 unknown 3.7 220 29 unknown 3.6 220 32 unknown 3.7 230 31 true .32 30 3.0
pthread-ext/26_stack_cas_longest_true-unreach-call.i error (5) .19 27 1.8 error (42) 870    4800 9700   error 5.4 430 39 unknown 900    930 10000   timeout 900     3000 11000    timeout 900     3200 13000    unknown .10  11 .82 unknown 3.8 220 35 unknown 3.6 230 33 unknown 3.4 220 27 true .32 30 3.0
pthread-ext/26_stack_cas_true-unreach-call.i error (5) .19 27 1.6 error (42) 870    2900 9500   error 5.4 440 44 timeout 900    840 12000   timeout 900     3100 10000    timeout 900     3000 13000    unknown .087 11 1.1  unknown 3.9 220 31 unknown 3.5 220 28 unknown 3.7 220 28 true .31 30 2.8
pthread-ext/29_conditionals_vs_true-unreach-call.i error (5) .17 27 1.8 error (42) 870    1400 5100   error 4.2 280 35 true 340    14000 3700   timeout 900     10000 13000    timeout 900     10000 12000    unknown .087 11 .98 unknown 3.6 220 31 unknown 3.7 230 27 unknown 3.6 220 26 true .20 29 2.0
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (5) .19 27 1.9 error (42) 870    1900 6200   error 4.2 290 37 unknown 900    1500 14000   timeout 900     15000 11000    timeout 900     14000 13000    unknown .10  11 1.1  unknown 6.0 320 39 unknown 3.7 230 30 unknown 3.6 230 28 true .23 29 2.3
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error (5) .19 27 1.5 error (42) 870    1600 4100   error 4.2 280 32 timeout 900    800 13000   timeout 900     3300 10000    timeout 900     3600 12000    unknown .11  11 .89 unknown 3.5 220 27 unknown 4.2 230 33 unknown 3.7 230 31 true .47 29 4.8
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error (5) .18 27 1.5 error (42) 870    310 5700   error 4.5 320 35 unknown 900    1400 11000   timeout 900     6100 11000    timeout 900     4100 13000    unknown .10  11 .85 unknown 3.9 230 32 unknown 3.7 220 26 unknown 3.4 220 27 true .26 29 2.8
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error (5) .19 27 1.4 error (42) 870    320 8000   error 4.5 320 41 unknown 900    1400 12000   timeout 900     6300 14000    timeout 900     4100 13000    unknown .087 11 1.1  unknown 5.9 330 38 unknown 3.7 220 28 unknown 3.8 230 28 true .28 29 2.1
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error (5) .17 27 1.8 error (42) 870    270 7800   error 4.3 310 37 unknown 900    1100 11000   timeout 900     5000 11000    timeout 900     3100 9500    unknown .089 11 .88 unknown 3.9 230 28 unknown 6.2 340 45 unknown 3.5 230 30 true .28 29 2.6
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error (5) .17 27 1.7 error (42) 870    4400 9700   error 4.4 320 34 timeout 900    730 13000   timeout 900     8000 9600    timeout 900     8300 13000    unknown .11  11 .95 unknown 5.9 330 38 unknown 3.8 230 30 unknown 3.8 230 34 true .25 29 2.7
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error (5) .20 27 2.0 error (42) 870    10000 5800   error 4.5 320 35 timeout 900    700 12000   timeout 900     3500 11000    timeout 900     3400 14000    unknown .088 11 .92 unknown 3.7 230 31 unknown 3.8 230 30 unknown 3.9 230 30 true .22 29 2.1
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error (5) .20 27 1.6 error (42) 880    9100 12000   error 4.2 320 32 timeout 900    15000 13000   timeout 900     3500 10000    timeout 900     5400 11000    unknown .12  11 .88 unknown 3.7 220 31 unknown 3.7 230 30 unknown 5.8 330 37 true .21 29 2.8
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error (5) .18 27 1.7 error (42) 870    2000 9100   error 4.5 290 39 timeout 900    14000 12000   timeout 900     5000 11000    timeout 900     8900 14000    unknown .087 11 .89 unknown 3.7 220 30 unknown 3.7 230 30 unknown 3.7 220 27 true .23 29 2.0
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (6) .20 27 1.6 error (42) 870    4200 7300   error 5.0 380 36 timeout 900    620 12000   timeout 900     5900 14000    timeout 900     5700 10000    unknown .11  11 1.1  unknown 3.7 220 31 unknown 3.7 220 29 unknown 3.5 230 30 true 3.0  840 32  
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (5) .22 27 1.5 error (42) 880    2200 9600   error 5.0 440 46 unknown 900    1100 11000   timeout 900     3200 12000    timeout 900     3400 10000    unknown .10  11 1.0  unknown 3.5 220 28 unknown 3.7 230 29 unknown 3.8 230 29 true 4.1  1100 43  
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (5) .20 27 2.1 error (1) 870    1500 7600   error 7.0 450 54 true 560    15000 6600   timeout 900     4800 10000    timeout 900     5000 11000    unknown .12  11 1.1  unknown 3.7 230 32 unknown 3.7 220 29 unknown 3.6 230 30 true 14    1400 190  
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (5) .18 27 2.3 error (42) 870    3500 11000   error 6.6 450 44 timeout 900    15000 12000   timeout 900     6300 12000    timeout 900     6800 12000    unknown .11  11 1.1  unknown 3.9 230 32 unknown 3.8 230 31 unknown 4.0 230 28 true 1.3  240 14  
pthread-ext/45_monabsex1_vs_true-unreach-call.i error (5) .20 27 1.4 error (42) 870    5900 5600   error 3.8 270 31 timeout 900    450 9900   timeout 900     1100 11000    timeout 900     990 11000    unknown .11  11 .84 unknown 5.9 320 42 unknown 3.5 230 27 unknown 3.6 220 31 true .24 28 1.6
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (5) .19 27 1.5 error (42) 870    4600 4400   error 3.8 270 32 timeout 900    390 13000   timeout 900     1400 11000    timeout 900     1600 11000    unknown .11  11 .92 unknown 3.6 230 28 unknown 3.6 220 29 unknown 3.7 230 29 true .21 29 1.9
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error (5) .19 27 1.5 error (42) 870    2200 4000   timeout 920   6600 4100 timeout 900    840 11000   timeout 900     2700 11000    timeout 900     2400 11000    unknown .11  11 .83 unknown 3.7 220 31 unknown 3.5 220 31 unknown 3.6 220 28 true .39 29 3.5
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error (5) .19 27 1.6 error (42) 870    250 12000   timeout 910   7400 6300 timeout 900    530 10000   timeout 900     1900 12000    timeout 900     1600 12000    unknown .082 11 .93 unknown 3.7 220 31 unknown 3.6 220 26 unknown 3.8 220 29 true .24 30 2.1
pthread-wmm/mix000_power.oepc_false-unreach-call.i error (5) .20 28 1.6 false(unreach-call) .77 43 7.2 false(unreach-call) 12   670 94 false(unreach-call) 3.2  70 48   false(unreach-call) 10     84 140    false(unreach-call) 10     84 120    unknown .10  11 1.2  unknown 3.7 220 29 unknown 3.7 230 31 unknown 3.6 220 31 false(unreach-call) .41 32 4.4
pthread-wmm/mix000_power.opt_false-unreach-call.i error (5) .20 28 1.6 false(unreach-call) .66 41 6.2 false(unreach-call) 11   580 88 false(unreach-call) 3.5  58 45   false(unreach-call) 9.4   68 110    false(unreach-call) 9.3   68 110    unknown .10  11 1.1  unknown 3.8 220 28 unknown 3.7 220 31 unknown 3.6 220 33 false(unreach-call) .40 30 4.1
pthread-wmm/mix000_pso.oepc_false-unreach-call.i error (5) .20 28 1.4 false(unreach-call) .66 43 6.9 false(unreach-call) 13   690 120 false(unreach-call) 3.2  70 41   false(unreach-call) 10     84 120    false(unreach-call) 10     84 110    unknown .11  11 1.1  unknown 3.8 230 34 unknown 3.7 220 30 unknown 3.8 230 29 false(unreach-call) .43 30 4.1
pthread-wmm/mix000_pso.opt_false-unreach-call.i error (5) .19 28 1.8 false(unreach-call) .68 41 6.5 false(unreach-call) 11   590 86 false(unreach-call) 3.5  59 43   false(unreach-call) 9.3   68 110    false(unreach-call) 9.3   68 100    unknown .10  11 1.1  unknown 3.8 230 36 unknown 3.6 220 31 unknown 3.6 220 31 false(unreach-call) .42 30 3.7
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .67 44 8.2 false(unreach-call) 13   650 97 false(unreach-call) 3.1  70 43   false(unreach-call) 10     84 110    false(unreach-call) 10     84 140    unknown .13  11 1.3  unknown 3.5 220 29 unknown 3.8 230 26 unknown 3.7 230 33 false(unreach-call) .41 30 4.1
pthread-wmm/mix000_rmo.opt_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .67 41 6.3 false(unreach-call) 13   610 92 false(unreach-call) 3.5  59 41   false(unreach-call) 9.2   68 100    false(unreach-call) 9.3   68 120    unknown .12  11 1.1  unknown 3.8 220 34 unknown 3.7 230 34 unknown 3.8 230 34 false(unreach-call) .40 30 4.4
pthread-wmm/mix000_tso.oepc_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .77 43 9.1 false(unreach-call) 13   680 90 false(unreach-call) 3.2  70 39   false(unreach-call) 11     84 140    false(unreach-call) 10     84 140    unknown .10  11 1.3  unknown 5.3 310 41 unknown 3.8 220 28 unknown 3.6 220 31 false(unreach-call) .43 32 4.1
pthread-wmm/mix000_tso.opt_false-unreach-call.i error (5) .19 28 1.6 false(unreach-call) .66 41 6.5 false(unreach-call) 12   610 97 false(unreach-call) 3.5  57 38   false(unreach-call) 9.3   68 100    false(unreach-call) 9.3   68 110    unknown .11  11 1.3  unknown 3.6 220 27 unknown 3.6 220 30 unknown 3.7 230 27 false(unreach-call) .37 30 4.1
pthread-wmm/mix001_power.oepc_false-unreach-call.i error (5) .22 28 2.1 false(unreach-call) .75 47 6.9 false(unreach-call) 17   920 120 false(unreach-call) 140    1400 1700   timeout 900     2600 10000    timeout 900     2600 11000    unknown .11  11 1.2  unknown 5.7 320 43 unknown 5.7 330 42 unknown 3.7 230 31 false(unreach-call) .65 30 6.9
pthread-wmm/mix001_power.opt_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .74 43 7.7 false(unreach-call) 33   1600 240 false(unreach-call) 82    290 1100   timeout 900     2900 10000    timeout 900     2900 11000    unknown .12  11 1.3  unknown 3.6 230 28 unknown 3.6 230 30 unknown 3.8 230 28 false(unreach-call) .37 30 3.6
pthread-wmm/mix001_pso.oepc_false-unreach-call.i error (5) .23 29 1.6 false(unreach-call) .77 47 7.4 false(unreach-call) 17   840 130 false(unreach-call) 140    1400 1800   timeout 900     2600 12000    timeout 900     2600 10000    unknown .11  11 1.3  unknown 3.8 220 30 unknown 4.0 230 30 unknown 3.7 230 30 false(unreach-call) .64 31 6.3
pthread-wmm/mix001_pso.opt_false-unreach-call.i error (5) .23 28 1.6 false(unreach-call) .74 43 9.6 false(unreach-call) 35   1800 230 false(unreach-call) 83    290 1100   timeout 900     2900 12000    timeout 900     2900 12000    unknown .13  11 1.2  unknown 3.6 220 28 unknown 3.6 220 26 unknown 3.7 220 31 false(unreach-call) .36 30 4.5
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i error (5) .21 28 1.7 false(unreach-call) .77 47 8.9 false(unreach-call) 17   850 130 false(unreach-call) 140    1400 1800   timeout 900     2600 11000    timeout 900     2600 10000    unknown .11  11 1.2  unknown 3.8 220 33 unknown 3.8 230 33 unknown 3.7 230 30 false(unreach-call) .65 31 6.4
pthread-wmm/mix001_rmo.opt_false-unreach-call.i error (5) .21 28 2.0 false(unreach-call) .75 43 8.0 false(unreach-call) 34   1600 260 false(unreach-call) 83    290 990   timeout 900     2900 11000    timeout 900     2900 11000    unknown .10  11 1.0  unknown 3.7 230 29 unknown 3.7 230 30 unknown 3.7 230 31 false(unreach-call) .35 30 3.9
pthread-wmm/mix001_tso.oepc_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .76 47 8.0 false(unreach-call) 17   850 150 false(unreach-call) 140    1400 1500   timeout 900     2600 11000    timeout 900     2600 11000    unknown .13  11 1.2  unknown 3.9 230 27 unknown 3.6 220 29 unknown 3.8 230 29 false(unreach-call) .67 32 7.4
pthread-wmm/mix001_tso.opt_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .77 44 7.4 false(unreach-call) 34   1600 250 false(unreach-call) 83    290 1000   timeout 900     2900 12000    timeout 900     2900 11000    unknown .13  11 .98 unknown 3.7 220 32 unknown 3.6 220 26 unknown 3.5 220 31 false(unreach-call) .36 30 4.5
pthread-wmm/mix002_power.oepc_false-unreach-call.i error (5) .23 29 1.6 false(unreach-call) .76 45 7.5 false(unreach-call) 14   700 110 false(unreach-call) 94    230 1300   timeout 900     2500 11000    timeout 900     2500 12000    unknown .10  11 1.2  unknown 3.4 220 30 unknown 3.7 220 31 unknown 3.6 220 27 false(unreach-call) .64 32 6.7
pthread-wmm/mix002_power.opt_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .73 43 7.6 false(unreach-call) 35   1700 240 false(unreach-call) 88    300 1100   timeout 900     2900 10000    timeout 900     2900 11000    unknown .13  11 1.1  unknown 3.9 220 34 unknown 3.7 230 30 unknown 3.7 230 29 false(unreach-call) .43 30 4.4
pthread-wmm/mix002_pso.oepc_false-unreach-call.i error (5) .23 28 1.9 false(unreach-call) .75 45 7.4 false(unreach-call) 15   780 110 false(unreach-call) 93    230 1300   timeout 900     2500 11000    timeout 900     2500 10000    unknown .12  11 .99 unknown 3.8 230 34 unknown 3.9 230 31 unknown 6.7 350 43 false(unreach-call) .65 32 6.9
pthread-wmm/mix002_pso.opt_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .73 44 6.6 false(unreach-call) 34   1700 220 false(unreach-call) 88    300 1200   timeout 900     2900 10000    timeout 900     2900 11000    unknown .10  11 1.3  unknown 4.0 220 32 unknown 3.8 230 28 unknown 3.8 220 33 false(unreach-call) .40 32 3.9
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .77 44 8.0 false(unreach-call) 15   720 110 false(unreach-call) 93    230 1400   timeout 900     2500 10000    timeout 900     2500 9500    unknown .12  11 1.1  unknown 3.7 220 30 unknown 3.6 230 31 unknown 3.7 220 26 false(unreach-call) .66 30 7.7
pthread-wmm/mix002_rmo.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .73 43 6.4 false(unreach-call) 36   1700 270 false(unreach-call) 88    300 1000   timeout 900     2900 11000    timeout 900     2900 9700    unknown .11  11 1.1  unknown 3.8 230 28 unknown 3.8 220 31 unknown 3.7 230 32 false(unreach-call) .40 30 4.4
pthread-wmm/mix002_tso.oepc_false-unreach-call.i error (5) .21 28 1.7 false(unreach-call) .73 44 6.5 false(unreach-call) 15   700 98 false(unreach-call) 94    230 1400   timeout 900     2500 13000    timeout 900     2500 10000    unknown .13  11 1.2  unknown 3.6 220 33 unknown 5.9 310 44 unknown 3.7 230 31 false(unreach-call) .65 30 6.9
pthread-wmm/mix002_tso.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .70 44 6.5 false(unreach-call) 36   1900 280 false(unreach-call) 88    300 1000   timeout 900     2900 13000    timeout 900     2900 11000    unknown .12  11 1.1  unknown 3.8 230 30 unknown 3.7 230 27 unknown 3.6 230 27 false(unreach-call) .42 30 4.0
pthread-wmm/mix003_power.oepc_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .71 43 6.9 false(unreach-call) 14   660 110 false(unreach-call) 82    220 1100   timeout 900     2900 11000    timeout 900     2900 13000    unknown .12  11 .95 unknown 3.6 220 31 unknown 3.8 230 30 unknown 3.8 230 29 false(unreach-call) .75 30 8.6
pthread-wmm/mix003_power.opt_false-unreach-call.i error (5) .19 28 1.8 false(unreach-call) .68 42 8.4 false(unreach-call) 33   1700 270 false(unreach-call) 77    270 1100   timeout 900     3100 12000    timeout 900     3100 10000    unknown .11  11 1.1  unknown 3.8 230 32 unknown 3.8 230 31 unknown 3.8 230 27 false(unreach-call) .33 30 3.2
pthread-wmm/mix003_pso.oepc_false-unreach-call.i error (5) .22 28 1.9 false(unreach-call) .77 43 8.9 false(unreach-call) 15   660 110 false(unreach-call) 83    220 1100   timeout 900     2900 13000    timeout 900     2900 12000    unknown .12  11 1.1  unknown 3.7 230 32 unknown 3.7 230 31 unknown 3.6 230 31 false(unreach-call) .73 30 8.7
pthread-wmm/mix003_pso.opt_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .71 42 6.7 false(unreach-call) 33   1700 220 false(unreach-call) 77    280 890   timeout 900     3100 9500    timeout 900     3100 11000    unknown .14  11 1.1  unknown 5.7 320 37 unknown 5.6 320 42 unknown 3.8 230 30 false(unreach-call) .31 30 3.6
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .77 43 8.8 false(unreach-call) 13   670 110 false(unreach-call) 83    220 1000   timeout 900     2900 10000    timeout 900     2900 10000    unknown .13  11 1.2  unknown 3.7 230 29 unknown 3.8 230 34 unknown 3.8 230 29 false(unreach-call) .77 30 8.8
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .69 42 7.9 false(unreach-call) 32   1500 250 false(unreach-call) 77    270 1100   timeout 900     3100 11000    timeout 900     3100 11000    unknown .12  11 1.0  unknown 3.9 220 29 unknown 3.7 230 29 unknown 3.6 220 30 false(unreach-call) .33 32 3.2
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i error (5) .19 28 1.8 false(unreach-call) .73 43 7.6 false(unreach-call) 32   1500 230 false(unreach-call) 77    270 900   timeout 900     3100 10000    timeout 900     3100 11000    unknown .12  11 1.1  unknown 3.8 230 34 unknown 3.7 220 32 unknown 3.9 230 29 false(unreach-call) .33 30 4.1
pthread-wmm/mix003_rmo.opt_false-unreach-call.i error (5) .18 28 1.8 false(unreach-call) .69 42 6.4 false(unreach-call) 30   1500 200 false(unreach-call) 77    280 950   timeout 900     3100 12000    timeout 900     3100 10000    unknown .11  11 1.0  unknown 3.8 220 30 unknown 5.3 310 47 unknown 3.7 220 28 false(unreach-call) .32 30 2.9
pthread-wmm/mix003_tso.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .79 45 8.2 false(unreach-call) 15   690 110 false(unreach-call) 83    220 1100   timeout 900     2900 10000    timeout 900     2900 11000    unknown .10  11 1.2  unknown 3.8 230 29 unknown 3.7 220 30 unknown 3.7 220 27 false(unreach-call) .73 30 8.5
pthread-wmm/mix003_tso.opt_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .66 42 8.2 false(unreach-call) 34   1700 250 false(unreach-call) 77    280 1100   timeout 900     3100 11000    timeout 900     3100 11000    unknown .10  11 1.3  unknown 3.9 230 31 unknown 6.3 330 47 unknown 3.8 230 28 false(unreach-call) .34 30 3.1
pthread-wmm/mix004_power.oepc_false-unreach-call.i error (5) .23 28 1.8 false(unreach-call) .87 47 11   false(unreach-call) 21   1300 160 timeout 900    3600 13000   timeout 900     1400 11000    timeout 900     1400 10000    unknown .13  11 .93 unknown 3.7 230 33 unknown 3.6 230 30 unknown 3.8 230 30 false(unreach-call) 1.3  32 15  
pthread-wmm/mix004_power.opt_false-unreach-call.i error (5) .21 28 2.1 false(unreach-call) .86 45 8.8 false(unreach-call) 320   5400 2100 timeout 900    3800 13000   timeout 900     1400 11000    timeout 900     1400 9900    unknown .11  11 1.1  unknown 3.9 220 32 unknown 3.7 220 34 unknown 3.8 220 30 false(unreach-call) .42 30 5.7
pthread-wmm/mix004_pso.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .82 50 7.3 false(unreach-call) 23   1400 160 timeout 900    3600 13000   timeout 900     1400 12000    timeout 900     1400 12000    unknown .14  11 1.0  unknown 4.0 230 31 unknown 3.5 220 29 unknown 3.7 220 30 false(unreach-call) 1.3  30 14  
pthread-wmm/mix004_pso.opt_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .76 45 8.0 false(unreach-call) 310   5400 2100 timeout 900    3800 11000   timeout 900     1400 13000    timeout 900     1400 12000    unknown .13  11 1.1  unknown 3.8 230 31 unknown 3.6 230 32 unknown 3.8 230 32 false(unreach-call) .45 31 5.2
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .83 49 7.9 false(unreach-call) 21   1200 170 timeout 900    3600 13000   timeout 900     1400 12000    timeout 900     1400 13000    unknown .13  11 1.1  unknown 3.6 230 32 unknown 3.7 220 30 unknown 3.8 230 32 false(unreach-call) 1.3  30 15  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .78 45 8.4 false(unreach-call) 310   5500 1800 timeout 900    3800 11000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .12  11 1.3  unknown 3.8 230 31 unknown 3.8 230 28 unknown 4.0 220 28 false(unreach-call) .42 30 4.9
pthread-wmm/mix004_tso.oepc_false-unreach-call.i error (5) .20 29 1.7 false(unreach-call) .80 50 8.3 false(unreach-call) 29   1500 210 timeout 900    3600 10000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .11  11 1.0  unknown 3.8 230 26 unknown 3.5 220 28 unknown 3.6 220 28 false(unreach-call) 1.3  32 13  
pthread-wmm/mix004_tso.opt_false-unreach-call.i error (5) .23 28 1.6 false(unreach-call) .75 45 8.5 false(unreach-call) 290   5400 2400 timeout 900    3800 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .12  11 1.3  unknown 3.6 230 30 unknown 3.8 220 31 unknown 3.7 230 30 false(unreach-call) .43 30 5.2
pthread-wmm/mix005_power.oepc_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .91 48 9.7 false(unreach-call) 22   1300 170 timeout 900    3600 11000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .10  11 1.2  unknown 3.7 220 28 unknown 3.5 220 33 unknown 3.7 230 29 false(unreach-call) .97 32 14  
pthread-wmm/mix005_power.opt_false-unreach-call.i error (5) .19 28 1.9 false(unreach-call) .80 44 7.5 false(unreach-call) 300   5500 1800 timeout 900    3800 12000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.7 220 30 unknown 3.8 220 29 unknown 3.6 230 29 false(unreach-call) .53 30 6.0
pthread-wmm/mix005_pso.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .99 50 10   false(unreach-call) 20   1300 160 timeout 900    3600 12000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .10  11 1.1  unknown 3.7 220 28 unknown 3.6 220 33 unknown 3.6 230 30 false(unreach-call) 1.0  30 13  
pthread-wmm/mix005_pso.opt_false-unreach-call.i error (5) .22 28 2.0 false(unreach-call) .93 44 9.3 false(unreach-call) 310   5300 2100 timeout 900    3800 10000   timeout 900     1400 13000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.7 230 31 unknown 3.9 230 28 unknown 3.8 230 28 false(unreach-call) .54 30 5.7
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i error (5) .20 29 2.4 false(unreach-call) .95 50 11   false(unreach-call) 26   1400 170 timeout 900    3600 12000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .12  11 1.3  unknown 6.0 320 38 unknown 3.7 220 29 unknown 3.5 230 29 false(unreach-call) .96 30 12  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i error (5) .22 29 1.7 false(unreach-call) .92 44 9.3 false(unreach-call) 300   5700 1800 timeout 900    3800 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.7 220 30 unknown 3.6 220 30 unknown 3.5 220 32 false(unreach-call) .51 30 6.5
pthread-wmm/mix005_tso.oepc_false-unreach-call.i error (5) .21 28 1.7 false(unreach-call) .83 48 8.0 false(unreach-call) 100   4200 740 timeout 900    390 12000   timeout 900     1300 11000    timeout 900     1300 10000    unknown .13  11 1.0  unknown 3.9 230 31 unknown 3.5 220 25 unknown 3.9 230 30 false(unreach-call) 1.1  32 11  
pthread-wmm/mix005_tso.opt_false-unreach-call.i error (5) .20 29 1.7 false(unreach-call) .92 44 9.9 false(unreach-call) 300   5400 1900 timeout 900    3800 11000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .11  11 1.1  unknown 3.8 220 29 unknown 3.8 230 32 unknown 3.8 230 29 false(unreach-call) .53 30 5.6
pthread-wmm/mix006_power.oepc_false-unreach-call.i error (5) .21 28 1.5 false(unreach-call) .83 43 12   false(unreach-call) 15   900 120 false(unreach-call) 92    230 990   timeout 900     2200 10000    timeout 900     2200 11000    unknown .10  11 1.3  unknown 3.9 220 30 unknown 3.6 220 27 unknown 3.8 230 28 false(unreach-call) .42 30 4.7
pthread-wmm/mix006_power.opt_false-unreach-call.i error (5) .20 28 1.5 false(unreach-call) .76 42 7.9 false(unreach-call) 38   1800 260 false(unreach-call) 97    380 1100   timeout 900     2900 12000    timeout 900     2900 11000    unknown .10  11 1.3  unknown 3.4 220 27 unknown 3.5 220 27 unknown 3.7 220 29 false(unreach-call) .43 30 4.8
pthread-wmm/mix006_pso.oepc_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .72 43 7.8 false(unreach-call) 15   930 130 false(unreach-call) 93    220 1100   timeout 900     2200 10000    timeout 900     2200 10000    unknown .13  11 1.1  unknown 3.7 220 27 unknown 3.9 230 30 unknown 3.8 220 30 false(unreach-call) .41 30 4.5
pthread-wmm/mix006_pso.opt_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .69 42 8.4 false(unreach-call) 35   2000 300 false(unreach-call) 97    380 1200   timeout 900     2900 9500    timeout 900     2900 10000    unknown .12  11 1.2  unknown 3.8 230 29 unknown 3.7 220 32 unknown 3.6 230 29 false(unreach-call) .45 30 4.7
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .72 43 7.7 false(unreach-call) 15   870 120 false(unreach-call) 92    230 910   timeout 900     2200 11000    timeout 900     2200 12000    unknown .13  11 1.0  unknown 3.9 220 30 unknown 3.5 220 30 unknown 3.6 230 32 false(unreach-call) .41 30 4.4
pthread-wmm/mix006_rmo.opt_false-unreach-call.i error (5) .19 28 1.9 false(unreach-call) .69 42 6.8 false(unreach-call) 38   1900 330 false(unreach-call) 97    370 1400   timeout 900     2900 12000    timeout 900     2900 11000    unknown .11  11 1.2  unknown 3.9 220 30 unknown 3.7 230 31 unknown 3.7 230 33 false(unreach-call) .43 30 5.7
pthread-wmm/mix006_tso.oepc_false-unreach-call.i error (5) .24 29 1.6 false(unreach-call) .99 59 13   false(unreach-call) 130   3900 1000 false(unreach-call) 490    1100 7000   timeout 900     1900 10000    timeout 900     1900 11000    unknown .15  12 1.5  unknown 5.7 320 43 unknown 3.8 220 30 unknown 3.8 230 29 false(unreach-call) 1.8  33 21  
pthread-wmm/mix006_tso.opt_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .71 42 6.6 false(unreach-call) 35   1800 260 false(unreach-call) 97    380 1100   timeout 900     2900 8500    timeout 900     2800 11000    unknown .10  11 1.1  unknown 3.6 220 30 unknown 3.8 220 27 unknown 3.6 220 27 false(unreach-call) .45 30 4.7
pthread-wmm/mix007_power.oepc_false-unreach-call.i error (5) .20 29 1.6 false(unreach-call) .82 50 8.6 false(unreach-call) 31   1600 230 timeout 900    4500 12000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .10  11 1.1  unknown 3.6 220 32 unknown 3.8 230 32 unknown 3.7 230 30 false(unreach-call) 1.9  30 22  
pthread-wmm/mix007_power.opt_false-unreach-call.i error (5) .23 28 1.6 false(unreach-call) .75 44 7.6 false(unreach-call) 450   6100 3400 timeout 900    4000 11000   timeout 900     1400 11000    timeout 900     1400 12000    unknown .11  11 1.2  unknown 3.9 220 30 unknown 5.5 310 36 unknown 3.7 230 29 false(unreach-call) .60 32 6.4
pthread-wmm/mix007_pso.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .74 48 9.4 false(unreach-call) 25   1500 190 timeout 900    4400 13000   timeout 900     1400 10000    timeout 900     1400 13000    unknown .10  11 1.1  unknown 3.7 220 31 unknown 3.7 230 33 unknown 3.7 230 30 false(unreach-call) 1.8  31 21  
pthread-wmm/mix007_pso.opt_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .74 44 8.5 false(unreach-call) 450   6100 3000 timeout 900    4000 10000   timeout 900     1400 13000    timeout 900     1400 12000    unknown .13  11 1.1  unknown 3.8 230 28 unknown 3.6 220 29 unknown 3.7 230 29 false(unreach-call) .58 30 6.9
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i error (5) .20 28 2.3 false(unreach-call) .78 48 5.9 false(unreach-call) 32   1500 220 timeout 900    4400 12000   timeout 900     1400 9200    timeout 900     1400 12000    unknown .12  11 .96 unknown 3.7 220 32 unknown 3.8 230 32 unknown 3.8 220 30 false(unreach-call) 1.8  31 21  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .75 44 7.8 false(unreach-call) 470   6200 3000 timeout 900    4000 12000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .13  11 1.3  unknown 3.7 220 31 unknown 3.7 220 33 unknown 3.6 220 29 false(unreach-call) .63 30 6.8
pthread-wmm/mix007_tso.oepc_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .79 48 8.2 false(unreach-call) 33   1600 220 timeout 900    4400 12000   timeout 900     1400 12000    timeout 900     1400 12000    unknown .13  11 1.2  unknown 4.0 230 28 unknown 3.8 230 30 unknown 3.9 230 33 false(unreach-call) 1.8  31 25  
pthread-wmm/mix007_tso.opt_false-unreach-call.i error (5) .21 28 1.7 false(unreach-call) .76 44 7.7 false(unreach-call) 470   6300 3100 timeout 900    4000 10000   timeout 900     1400 10000    timeout 900     1400 14000    unknown .13  11 1.1  unknown 3.7 220 32 unknown 3.8 230 33 unknown 3.7 230 28 false(unreach-call) .60 30 6.7
pthread-wmm/mix008_power.oepc_false-unreach-call.i error (5) .20 28 2.3 false(unreach-call) .82 48 9.7 false(unreach-call) 34   1600 250 timeout 900    4400 10000   timeout 900     1400 10000    timeout 900     1400 12000    unknown .11  11 1.1  unknown 3.7 220 32 unknown 3.7 230 33 unknown 3.8 230 32 false(unreach-call) 1.9  30 26  
pthread-wmm/mix008_power.opt_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .70 45 6.8 false(unreach-call) 480   6100 3000 timeout 900    4000 11000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.7 230 34 unknown 3.7 220 28 unknown 3.8 230 29 false(unreach-call) .47 30 5.1
pthread-wmm/mix008_pso.oepc_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .78 48 7.9 false(unreach-call) 30   1700 210 timeout 900    4400 10000   timeout 900     1400 9500    timeout 900     1400 11000    unknown .12  11 .99 unknown 3.8 230 27 unknown 3.6 230 33 unknown 3.8 230 30 false(unreach-call) 1.9  33 22  
pthread-wmm/mix008_pso.opt_false-unreach-call.i error (5) .23 28 1.8 false(unreach-call) .81 46 8.6 false(unreach-call) 470   6100 3300 timeout 900    4000 12000   timeout 900     1400 13000    timeout 900     1400 11000    unknown .10  11 1.2  unknown 4.0 220 32 unknown 3.7 230 32 unknown 3.5 220 30 false(unreach-call) .47 30 4.5
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .77 48 7.4 false(unreach-call) 31   1700 260 timeout 900    4400 12000   timeout 900     1400 10000    timeout 900     1400 12000    unknown .10  11 1.1  unknown 3.6 230 30 unknown 3.7 230 31 unknown 3.6 230 31 false(unreach-call) 1.9  30 27  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .79 45 7.5 false(unreach-call) 450   6100 3000 timeout 900    4000 10000   timeout 900     1400 12000    timeout 900     1500 11000    unknown .11  11 1.1  unknown 3.7 220 32 unknown 3.7 230 30 unknown 3.7 230 30 false(unreach-call) .44 30 5.4
pthread-wmm/mix008_tso.oepc_false-unreach-call.i error (5) .24 29 2.0 false(unreach-call) 1.2  64 12   timeout 910   5400 4900 timeout 900    3100 11000   timeout 900     1300 11000    timeout 900     1300 13000    unknown .14  12 1.4  unknown 3.8 220 32 unknown 3.9 230 30 unknown 3.6 230 29 false(unreach-call) 2.2  34 27  
pthread-wmm/mix008_tso.opt_false-unreach-call.i error (5) .23 28 1.4 false(unreach-call) .79 45 7.9 false(unreach-call) 470   6200 3700 timeout 900    4000 13000   timeout 900     1500 12000    timeout 900     1400 10000    unknown .10  11 1.1  unknown 3.8 230 30 unknown 4.0 230 33 unknown 3.7 230 30 false(unreach-call) .45 30 5.7
pthread-wmm/mix009_power.oepc_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .65 41 5.5 false(unreach-call) 10   570 87 false(unreach-call) 2.3  57 35   false(unreach-call) 6.8   54 99    false(unreach-call) 6.8   54 80    unknown .10  11 1.0  unknown 3.8 230 28 unknown 3.7 220 32 unknown 3.9 230 30 false(unreach-call) .38 30 4.4
pthread-wmm/mix009_power.opt_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .65 42 6.5 false(unreach-call) 13   590 91 false(unreach-call) 3.6  58 44   false(unreach-call) 9.5   69 130    false(unreach-call) 9.5   69 130    unknown .10  11 1.1  unknown 3.8 230 31 unknown 3.8 220 30 unknown 3.6 220 31 false(unreach-call) .36 30 4.6
pthread-wmm/mix009_pso.oepc_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .63 41 6.0 false(unreach-call) 10   600 87 false(unreach-call) 2.3  56 29   false(unreach-call) 6.8   54 85    false(unreach-call) 6.8   54 85    unknown .13  11 1.0  unknown 3.5 220 28 unknown 3.8 220 33 unknown 3.7 230 29 false(unreach-call) .35 30 4.5
pthread-wmm/mix009_pso.opt_false-unreach-call.i error (5) .19 28 2.1 false(unreach-call) .67 42 6.9 false(unreach-call) 12   580 93 false(unreach-call) 3.6  58 43   false(unreach-call) 9.5   69 130    false(unreach-call) 9.6   69 110    unknown .11  11 1.0  unknown 5.9 320 38 unknown 3.7 230 30 unknown 3.7 230 33 false(unreach-call) .37 32 3.8
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .63 41 6.4 false(unreach-call) 9.6 590 72 false(unreach-call) 2.4  57 27   false(unreach-call) 6.9   54 80    false(unreach-call) 6.8   54 79    unknown .12  11 .88 unknown 3.7 220 31 unknown 3.6 220 28 unknown 3.7 230 30 false(unreach-call) .38 30 4.1
pthread-wmm/mix009_rmo.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .66 43 6.7 false(unreach-call) 12   620 91 false(unreach-call) 3.6  57 47   false(unreach-call) 9.4   69 130    false(unreach-call) 9.5   69 120    unknown .13  11 1.2  unknown 5.7 330 38 unknown 5.8 320 44 unknown 3.7 220 31 false(unreach-call) .38 30 3.5
pthread-wmm/mix009_tso.oepc_false-unreach-call.i error (5) .19 28 1.8 false(unreach-call) .67 42 6.4 false(unreach-call) 11   600 86 false(unreach-call) 2.3  56 27   false(unreach-call) 6.8   54 93    false(unreach-call) 6.8   54 93    unknown .098 11 1.2  unknown 3.7 230 30 unknown 3.7 230 31 unknown 3.7 230 29 false(unreach-call) .35 30 3.8
pthread-wmm/mix009_tso.opt_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .70 42 6.7 false(unreach-call) 12   600 97 false(unreach-call) 3.6  58 39   false(unreach-call) 9.5   69 110    false(unreach-call) 9.5   69 100    unknown .13  11 1.1  unknown 3.7 220 29 unknown 3.7 220 28 unknown 3.8 230 34 false(unreach-call) .35 32 3.7
pthread-wmm/mix010_power.oepc_false-unreach-call.i error (5) .20 28 2.3 false(unreach-call) .71 43 7.1 false(unreach-call) 16   750 130 false(unreach-call) 86    230 1200   timeout 900     2900 9900    timeout 900     2900 11000    unknown .13  11 .93 unknown 3.6 220 29 unknown 3.8 230 31 unknown 3.9 230 31 false(unreach-call) .45 30 5.1
pthread-wmm/mix010_power.opt_false-unreach-call.i error (5) .21 28 2.1 false(unreach-call) .71 43 6.3 false(unreach-call) 35   1700 230 false(unreach-call) 81    280 1100   timeout 900     3100 11000    timeout 900     3100 10000    unknown .13  11 1.0  unknown 3.6 220 28 unknown 3.9 230 30 unknown 4.0 230 28 false(unreach-call) .41 30 4.2
pthread-wmm/mix010_pso.oepc_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .73 43 6.9 false(unreach-call) 15   710 120 false(unreach-call) 86    230 1100   timeout 900     2900 11000    timeout 900     2900 12000    unknown .13  11 1.2  unknown 3.8 230 29 unknown 3.9 220 32 unknown 3.7 230 31 false(unreach-call) .45 31 4.2
pthread-wmm/mix010_pso.opt_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .68 45 7.1 false(unreach-call) 34   1600 260 false(unreach-call) 80    280 1100   timeout 900     3100 12000    timeout 900     3100 11000    unknown .11  11 1.2  unknown 3.6 220 29 unknown 3.8 230 32 unknown 3.6 220 31 false(unreach-call) .41 30 4.7
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .70 43 7.7 false(unreach-call) 14   720 120 false(unreach-call) 86    220 1000   timeout 900     2900 12000    timeout 900     2900 12000    unknown .12  11 1.2  unknown 3.7 230 31 unknown 3.7 220 30 unknown 3.7 230 30 false(unreach-call) .48 30 4.6
pthread-wmm/mix010_rmo.opt_false-unreach-call.i error (5) .19 28 1.8 false(unreach-call) .71 43 7.8 false(unreach-call) 39   1700 250 false(unreach-call) 81    280 1000   timeout 900     3100 12000    timeout 900     3100 9700    unknown .13  11 1.0  unknown 3.8 230 31 unknown 3.6 230 31 unknown 3.7 230 31 false(unreach-call) .41 30 3.5
pthread-wmm/mix010_tso.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .70 43 8.1 false(unreach-call) 15   710 110 false(unreach-call) 86    230 1300   timeout 900     2900 10000    timeout 900     2900 11000    unknown .13  11 1.2  unknown 3.8 220 34 unknown 3.8 220 29 unknown 3.7 220 31 false(unreach-call) .44 30 5.0
pthread-wmm/mix010_tso.opt_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .71 43 7.0 false(unreach-call) 34   1700 240 false(unreach-call) 80    280 1200   timeout 900     3100 9900    timeout 900     3100 11000    unknown .13  11 1.2  unknown 3.6 220 27 unknown 3.7 220 30 unknown 3.7 230 30 false(unreach-call) .38 30 4.1
pthread-wmm/mix011_power.oepc_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .71 42 7.1 false(unreach-call) 14   670 110 false(unreach-call) 85    230 1200   timeout 900     2200 11000    timeout 900     2200 9800    unknown .10  11 1.0  unknown 3.6 220 28 unknown 3.8 230 31 unknown 3.8 220 32 false(unreach-call) .76 30 8.6
pthread-wmm/mix011_power.opt_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .70 42 6.5 false(unreach-call) 28   1500 220 false(unreach-call) 80    280 1000   timeout 900     3100 10000    timeout 900     3100 11000    unknown .11  11 1.4  unknown 3.7 220 31 unknown 5.4 330 35 unknown 3.9 230 31 false(unreach-call) .42 30 4.8
pthread-wmm/mix011_pso.oepc_false-unreach-call.i error (5) .20 28 2.1 false(unreach-call) .65 43 6.7 false(unreach-call) 15   710 110 false(unreach-call) 86    220 1100   timeout 900     2200 12000    timeout 900     2200 12000    unknown .12  11 1.2  unknown 3.9 230 29 unknown 3.6 230 30 unknown 3.9 220 35 false(unreach-call) .76 30 8.4
pthread-wmm/mix011_pso.opt_false-unreach-call.i error (5) .23 28 2.1 false(unreach-call) .71 42 6.8 false(unreach-call) 34   1600 250 false(unreach-call) 80    280 1000   timeout 900     3100 12000    timeout 900     3100 11000    unknown .11  11 1.1  unknown 3.8 220 30 unknown 3.7 220 28 unknown 3.9 230 30 false(unreach-call) .45 30 4.7
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i error (5) .19 28 1.6 false(unreach-call) .69 43 6.3 false(unreach-call) 14   720 120 false(unreach-call) 86    220 1100   timeout 900     2200 12000    timeout 900     2200 13000    unknown .13  11 .99 unknown 3.7 230 33 unknown 3.7 230 32 unknown 3.9 230 29 false(unreach-call) .73 34 7.9
pthread-wmm/mix011_rmo.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .70 42 9.5 false(unreach-call) 33   1800 230 false(unreach-call) 80    280 1100   timeout 900     3100 13000    timeout 900     3100 11000    unknown .13  11 1.0  unknown 3.9 230 30 unknown 3.6 220 29 unknown 3.7 220 30 false(unreach-call) .45 30 4.8
pthread-wmm/mix011_tso.oepc_false-unreach-call.i error (5) .18 28 2.1 false(unreach-call) .71 43 7.5 false(unreach-call) 19   1000 140 false(unreach-call) 140    99 1700   timeout 900     1600 11000    timeout 900     1600 9400    unknown .10  11 1.1  unknown 3.8 230 31 unknown 3.7 230 31 unknown 3.7 230 28 false(unreach-call) .48 30 6.7
pthread-wmm/mix011_tso.opt_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .75 43 8.2 false(unreach-call) 34   1600 210 false(unreach-call) 80    280 1000   timeout 900     3100 12000    timeout 900     3100 10000    unknown .10  11 1.0  unknown 3.9 230 32 unknown 3.7 230 30 unknown 3.7 230 27 false(unreach-call) .46 30 4.7
pthread-wmm/mix012_power.oepc_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .63 40 5.9 false(unreach-call) 9.9 580 69 false(unreach-call) 2.2  57 27   false(unreach-call) 5.2   53 76    false(unreach-call) 5.2   53 65    unknown .13  11 1.1  unknown 3.7 230 32 unknown 3.7 230 32 unknown 3.8 230 32 false(unreach-call) .32 30 3.4
pthread-wmm/mix012_power.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .61 40 7.3 false(unreach-call) 9.7 580 74 false(unreach-call) 2.2  57 28   false(unreach-call) 5.2   53 62    false(unreach-call) 5.1   53 76    unknown .12  11 1.2  unknown 3.6 220 31 unknown 3.6 220 30 unknown 3.6 230 29 false(unreach-call) .36 30 3.3
pthread-wmm/mix012_pso.oepc_false-unreach-call.i error (5) .20 28 1.5 false(unreach-call) .62 40 6.1 false(unreach-call) 9.8 610 75 false(unreach-call) 2.2  56 28   false(unreach-call) 5.2   53 66    false(unreach-call) 5.2   53 64    unknown .13  11 .98 unknown 3.7 220 31 unknown 3.7 230 26 unknown 3.5 230 31 false(unreach-call) .32 30 3.1
pthread-wmm/mix012_pso.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .71 41 6.8 false(unreach-call) 12   630 100 false(unreach-call) 3.4  59 48   false(unreach-call) 8.0   67 110    false(unreach-call) 7.9   67 120    unknown .10  11 1.2  unknown 3.9 220 28 unknown 3.6 220 32 unknown 3.7 220 29 false(unreach-call) .39 30 3.8
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i error (5) .22 28 1.4 false(unreach-call) .62 40 6.8 false(unreach-call) 9.6 600 74 false(unreach-call) 2.2  57 31   false(unreach-call) 5.2   53 66    false(unreach-call) 5.1   53 64    unknown .13  11 1.2  unknown 3.9 230 31 unknown 3.7 230 30 unknown 5.8 330 50 false(unreach-call) .31 30 3.5
pthread-wmm/mix012_rmo.opt_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .64 40 6.2 false(unreach-call) 9.5 600 77 false(unreach-call) 2.2  57 30   false(unreach-call) 5.2   53 72    false(unreach-call) 5.2   53 60    unknown .10  11 1.1  unknown 3.8 220 30 unknown 3.8 230 34 unknown 3.6 220 31 false(unreach-call) .33 30 3.9
pthread-wmm/mix012_tso.oepc_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .63 40 6.3 false(unreach-call) 9.5 590 72 false(unreach-call) 2.2  57 31   false(unreach-call) 5.2   53 70    false(unreach-call) 5.1   53 60    unknown .13  11 1.2  unknown 3.8 220 30 unknown 3.7 220 31 unknown 3.5 230 29 false(unreach-call) .34 32 3.5
pthread-wmm/mix012_tso.opt_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .67 41 7.5 false(unreach-call) 11   600 86 false(unreach-call) 3.4  59 50   false(unreach-call) 7.9   67 110    false(unreach-call) 8.0   67 110    unknown .13  11 .85 unknown 3.6 220 31 unknown 3.7 230 29 unknown 3.8 230 29 false(unreach-call) .36 30 3.7
pthread-wmm/mix013_power.oepc_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .81 48 9.0 false(unreach-call) 20   1200 160 timeout 900    3800 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .13  11 .95 unknown 3.5 220 29 unknown 3.7 220 31 unknown 4.1 230 29 false(unreach-call) 1.2  31 14  
pthread-wmm/mix013_power.opt_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .77 45 7.1 false(unreach-call) 310   5500 2000 timeout 900    3500 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .10  11 1.4  unknown 3.7 220 31 unknown 3.9 230 30 unknown 3.7 230 27 false(unreach-call) .39 32 3.6
pthread-wmm/mix013_pso.oepc_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .83 47 8.8 false(unreach-call) 22   1200 140 timeout 900    3800 11000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.9 230 32 unknown 3.8 220 32 unknown 3.9 220 32 false(unreach-call) 1.2  31 14  
pthread-wmm/mix013_pso.opt_false-unreach-call.i error (5) .23 28 1.6 false(unreach-call) .71 45 6.9 false(unreach-call) 330   5700 2100 timeout 900    3500 12000   timeout 900     1400 12000    timeout 900     1400 12000    unknown .11  11 1.0  unknown 3.6 230 30 unknown 3.7 220 26 unknown 3.8 220 32 false(unreach-call) .39 30 3.6
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .82 48 7.8 false(unreach-call) 28   1400 200 timeout 900    3800 10000   timeout 900     1400 11000    timeout 900     1400 9800    unknown .11  11 1.8  unknown 4.0 230 34 unknown 3.6 220 29 unknown 3.8 230 28 false(unreach-call) 1.2  30 15  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i error (5) .22 28 1.8 false(unreach-call) .72 45 7.9 false(unreach-call) 310   5600 2200 timeout 900    3500 8900   timeout 900     1400 9200    timeout 900     1400 10000    unknown .11  11 1.3  unknown 5.5 330 36 unknown 3.8 230 30 unknown 3.7 230 31 false(unreach-call) .39 30 3.8
pthread-wmm/mix013_tso.oepc_false-unreach-call.i error (5) .20 29 2.1 false(unreach-call) .84 48 8.1 false(unreach-call) 21   1300 150 timeout 900    3800 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .13  11 1.2  unknown 3.7 230 34 unknown 3.9 220 33 unknown 3.8 230 32 false(unreach-call) 1.2  31 15  
pthread-wmm/mix013_tso.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .74 45 7.7 false(unreach-call) 330   5500 2000 timeout 900    3500 10000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .10  11 1.1  unknown 3.9 220 32 unknown 3.6 220 28 unknown 4.0 220 30 false(unreach-call) .41 30 4.0
pthread-wmm/mix014_power.oepc_false-unreach-call.i error (5) .23 28 2.0 false(unreach-call) .85 50 9.5 false(unreach-call) 30   1500 210 timeout 900    3800 14000   timeout 900     1400 10000    timeout 900     1400 11000    unknown .12  11 1.2  unknown 3.7 220 27 unknown 4.0 230 31 unknown 3.8 230 31 false(unreach-call) 1.1  30 13  
pthread-wmm/mix014_power.opt_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .74 44 7.8 false(unreach-call) 450   6100 3100 timeout 900    3700 12000   timeout 900     1500 11000    timeout 900     1400 11000    unknown .10  11 1.2  unknown 3.6 220 32 unknown 3.5 220 29 unknown 3.9 230 29 false(unreach-call) .45 30 5.1
pthread-wmm/mix014_pso.oepc_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .80 48 7.8 false(unreach-call) 31   1400 200 timeout 900    3800 11000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .12  11 1.0  unknown 4.0 220 33 unknown 3.5 230 30 unknown 3.7 230 31 false(unreach-call) 1.2  30 13  
pthread-wmm/mix014_pso.opt_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .75 45 8.2 false(unreach-call) 430   6200 3000 timeout 900    3700 14000   timeout 900     1500 10000    timeout 900     1500 11000    unknown .11  11 1.2  unknown 3.7 220 30 unknown 3.8 220 33 unknown 3.6 220 27 false(unreach-call) .44 30 5.1
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .80 48 6.9 false(unreach-call) 33   1600 240 timeout 900    3800 11000   timeout 900     1400 9700    timeout 900     1400 12000    unknown .13  11 1.0  unknown 3.6 220 29 unknown 3.7 220 29 unknown 3.8 220 29 false(unreach-call) 1.2  31 14  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i error (5) .19 28 2.3 false(unreach-call) .76 44 7.8 false(unreach-call) 450   6100 2900 timeout 900    3700 9800   timeout 900     1500 11000    timeout 900     1400 9800    unknown .10  11 1.2  unknown 3.7 230 35 unknown 3.7 230 31 unknown 3.8 230 30 false(unreach-call) .48 30 5.1
pthread-wmm/mix014_tso.oepc_false-unreach-call.i error (5) .24 30 1.8 false(unreach-call) 1.3  65 16   timeout 910   5600 5100 timeout 900    4100 12000   timeout 900     1300 13000    timeout 900     1300 9300    unknown .14  12 1.3  unknown 3.6 230 30 unknown 3.7 230 29 unknown 3.6 220 32 false(unreach-call) 6.0  34 67  
pthread-wmm/mix014_tso.opt_false-unreach-call.i error (5) .21 28 1.9 false(unreach-call) .75 45 7.5 false(unreach-call) 450   6100 2600 timeout 900    3700 10000   timeout 900     1400 13000    timeout 900     1400 9900    unknown .13  11 1.2  unknown 3.8 230 29 unknown 3.7 230 29 unknown 3.8 230 29 false(unreach-call) .46 30 5.6
pthread-wmm/mix015_power.oepc_false-unreach-call.i error (5) .22 28 1.4 false(unreach-call) .80 43 7.2 false(unreach-call) 16   660 110 false(unreach-call) 92    220 1300   timeout 900     3100 13000    timeout 900     3100 12000    unknown .10  11 1.3  unknown 3.5 220 29 unknown 3.6 220 30 unknown 3.8 230 33 false(unreach-call) .41 30 3.8
pthread-wmm/mix015_power.opt_false-unreach-call.i error (5) .18 28 2.4 false(unreach-call) .69 43 7.0 false(unreach-call) 40   1700 270 false(unreach-call) 90    300 1100   timeout 900     3000 11000    timeout 900     3000 8500    unknown .12  11 1.1  unknown 3.9 230 34 unknown 3.6 230 31 unknown 3.5 220 29 false(unreach-call) .41 30 3.9
pthread-wmm/mix015_pso.oepc_false-unreach-call.i error (5) .23 28 1.5 false(unreach-call) .88 43 9.3 false(unreach-call) 16   660 120 false(unreach-call) 92    220 1100   timeout 900     3100 11000    timeout 900     3100 13000    unknown .10  11 1.1  unknown 3.9 230 32 unknown 3.7 230 31 unknown 3.7 230 33 false(unreach-call) .42 32 3.9
pthread-wmm/mix015_pso.opt_false-unreach-call.i error (5) .21 28 1.5 false(unreach-call) .71 43 7.1 false(unreach-call) 34   1700 240 false(unreach-call) 90    300 1100   timeout 900     3000 11000    timeout 900     3000 11000    unknown .13  11 1.1  unknown 3.7 220 30 unknown 3.7 230 27 unknown 3.5 220 32 false(unreach-call) .39 30 4.8
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i error (5) .20 28 2.0 false(unreach-call) .86 43 10   false(unreach-call) 15   660 110 false(unreach-call) 92    220 1200   timeout 900     3100 10000    timeout 900     3100 11000    unknown .10  11 1.1  unknown 3.8 220 30 unknown 3.9 230 33 unknown 3.6 220 31 false(unreach-call) .43 30 4.3
pthread-wmm/mix015_rmo.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .71 43 6.3 false(unreach-call) 34   1600 230 false(unreach-call) 90    300 980   timeout 900     3000 12000    timeout 900     3000 10000    unknown .13  11 1.1  unknown 4.0 230 31 unknown 3.8 230 29 unknown 3.7 230 29 false(unreach-call) .40 30 4.2
pthread-wmm/mix015_tso.oepc_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .91 43 8.9 false(unreach-call) 15   650 110 false(unreach-call) 91    220 1100   timeout 900     3100 10000    timeout 900     3100 11000    unknown .13  11 1.0  unknown 3.7 220 32 unknown 3.7 220 32 unknown 3.6 220 28 false(unreach-call) .39 30 4.2
pthread-wmm/mix015_tso.opt_false-unreach-call.i error (5) .22 28 1.6 false(unreach-call) .69 43 7.0 false(unreach-call) 34   1700 230 false(unreach-call) 90    300 1100   timeout 900     3000 9900    timeout 900     3000 12000    unknown .13  11 1.0  unknown 3.7 220 29 unknown 3.8 230 30 unknown 3.6 220 30 false(unreach-call) .38 30 4.0
pthread-wmm/mix016_power.oepc_false-unreach-call.i error (5) .20 28 1.9 false(unreach-call) .68 42 7.3 false(unreach-call) 15   660 110 false(unreach-call) 81    220 960   timeout 900     4200 14000    timeout 900     4200 13000    unknown .11  11 1.2  unknown 3.9 230 31 unknown 3.8 230 33 unknown 3.8 230 31 false(unreach-call) .70 32 8.7
pthread-wmm/mix016_power.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .73 43 7.0 false(unreach-call) 21   1400 170 false(unreach-call) 95    330 1300   timeout 900     3100 12000    timeout 900     3100 11000    unknown .13  11 1.2  unknown 3.6 220 29 unknown 3.7 220 28 unknown 4.0 230 32 false(unreach-call) .48 30 4.8
pthread-wmm/mix016_pso.oepc_false-unreach-call.i error (5) .21 28 1.8 false(unreach-call) .79 42 8.0 false(unreach-call) 14   640 120 false(unreach-call) 81    220 1100   timeout 900     4200 13000    timeout 900     4200 10000    unknown .10  11 1.3  unknown 3.8 220 33 unknown 3.6 230 28 unknown 3.7 220 27 false(unreach-call) .69 30 7.2
pthread-wmm/mix016_pso.opt_false-unreach-call.i error (5) .22 28 1.5 false(unreach-call) .80 42 7.8 false(unreach-call) 25   1500 180 false(unreach-call) 78    280 980   timeout 900     3200 10000    timeout 900     3200 10000    unknown .12  11 1.2  unknown 3.9 230 31 unknown 3.9 230 33 unknown 3.9 230 32 false(unreach-call) .34 30 3.4
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i error (5) .21 28 2.2 false(unreach-call) .81 42 8.1 false(unreach-call) 14   670 120 false(unreach-call) 82    210 1100   timeout 900     4200 13000    timeout 900     4200 11000    unknown .12  11 1.2  unknown 3.7 220 29 unknown 3.7 230 31 unknown 3.8 230 29 false(unreach-call) .69 30 7.6
pthread-wmm/mix016_rmo.opt_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .67 43 7.2 false(unreach-call) 27   1500 200 false(unreach-call) 95    320 1500   timeout 900     3100 9300    timeout 900     3100 11000    unknown .12  11 1.1  unknown 3.8 220 28 unknown 3.7 230 29 unknown 3.8 220 27 false(unreach-call) .45 30 5.1
pthread-wmm/mix016_tso.oepc_false-unreach-call.i error (5) .22 28 1.4 false(unreach-call) .80 42 9.4 false(unreach-call) 14   670 120 false(unreach-call) 81    220 940   timeout 900     4200 11000    timeout 900     4200 12000    unknown .10  11 1.1  unknown 3.6 220 33 unknown 3.6 230 31 unknown 3.6 230 33 false(unreach-call) .69 30 8.3
pthread-wmm/mix016_tso.opt_false-unreach-call.i error (5) .20 29 1.7 false(unreach-call) .80 42 7.8 false(unreach-call) 33   1700 230 false(unreach-call) 78    280 1100   timeout 900     3200 12000    timeout 900     3200 12000    unknown .13  11 1.1  unknown 3.8 220 34 unknown 3.7 230 31 unknown 3.8 230 33 false(unreach-call) .36 30 3.6
pthread-wmm/mix017_power.oepc_false-unreach-call.i error (5) .23 28 1.8 false(unreach-call) .81 48 8.0 false(unreach-call) 20   1300 180 timeout 900    3700 11000   timeout 900     1400 11000    timeout 900     1400 13000    unknown .10  11 1.1  unknown 3.6 230 30 unknown 3.8 230 31 unknown 3.8 220 29 false(unreach-call) 1.1  32 14  
pthread-wmm/mix017_power.opt_false-unreach-call.i error (5) .19 28 2.2 false(unreach-call) .70 43 6.2 false(unreach-call) 220   5200 1600 timeout 900    4300 11000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .12  11 1.2  unknown 3.8 220 31 unknown 3.6 230 31 unknown 3.9 230 29 false(unreach-call) .48 30 5.4
pthread-wmm/mix017_pso.oepc_false-unreach-call.i error (5) .22 28 2.0 false(unreach-call) .77 49 9.6 false(unreach-call) 20   1300 160 timeout 900    3700 12000   timeout 900     1400 9900    timeout 900     1400 13000    unknown .10  11 1.4  unknown 3.8 230 28 unknown 3.8 220 31 unknown 3.8 240 30 false(unreach-call) 1.1  30 11  
pthread-wmm/mix017_pso.opt_false-unreach-call.i error (5) .24 28 1.7 false(unreach-call) .77 45 7.7 false(unreach-call) 290   5300 1800 timeout 900    3700 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.7 220 34 unknown 3.6 220 32 unknown 3.8 220 29 false(unreach-call) .59 30 6.1
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .74 47 7.7 false(unreach-call) 22   1300 160 timeout 900    3700 12000   timeout 900     1400 13000    timeout 900     1400 12000    unknown .13  11 1.2  unknown 3.9 230 32 unknown 4.0 230 30 unknown 3.8 220 29 false(unreach-call) 1.1  30 13  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i error (5) .19 29 1.7 false(unreach-call) .78 43 7.8 false(unreach-call) 220   5000 1400 timeout 900    4300 12000   timeout 900     1400 11000    timeout 900     1400 13000    unknown .098 11 1.2  unknown 3.7 230 31 unknown 3.5 230 29 unknown 3.5 230 29 false(unreach-call) .43 32 6.4
pthread-wmm/mix017_tso.oepc_false-unreach-call.i error (5) .24 28 1.9 false(unreach-call) .75 47 8.9 false(unreach-call) 21   1300 170 timeout 900    3700 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .11  11 1.3  unknown 3.7 230 29 unknown 3.7 220 33 unknown 3.7 230 30 false(unreach-call) 1.1  30 12  
pthread-wmm/mix017_tso.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .76 45 7.8 false(unreach-call) 300   5400 1800 timeout 900    3700 10000   timeout 900     1400 11000    timeout 900     1400 10000    unknown .11  11 1.2  unknown 5.6 330 49 unknown 3.8 230 30 unknown 3.6 230 32 false(unreach-call) .57 30 6.3
pthread-wmm/mix018_power.oepc_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .75 50 9.1 false(unreach-call) 25   1300 190 timeout 900    3700 12000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .12  11 1.1  unknown 3.7 230 33 unknown 3.7 230 32 unknown 3.7 230 28 false(unreach-call) 1.2  30 12  
pthread-wmm/mix018_power.opt_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .74 45 9.3 false(unreach-call) 290   5400 1800 timeout 900    3800 11000   timeout 900     1400 12000    timeout 900     1400 10000    unknown .11  11 1.2  unknown 3.7 230 31 unknown 3.7 220 30 unknown 3.7 230 32 false(unreach-call) .42 30 5.7
pthread-wmm/mix018_pso.oepc_false-unreach-call.i error (5) .20 28 2.1 false(unreach-call) .74 50 7.6 false(unreach-call) 20   1200 170 timeout 900    3700 11000   timeout 900     1400 12000    timeout 900     1400 13000    unknown .13  11 1.3  unknown 3.8 230 29 unknown 3.7 230 31 unknown 3.8 230 28 false(unreach-call) 1.2  31 14  
pthread-wmm/mix018_pso.opt_false-unreach-call.i error (5) .22 28 2.3 false(unreach-call) .71 45 9.0 false(unreach-call) 290   5400 1800 timeout 900    3800 12000   timeout 900     1500 11000    timeout 900     1400 11000    unknown .13  11 .97 unknown 5.6 310 43 unknown 3.6 230 28 unknown 3.6 220 28 false(unreach-call) .43 32 4.7
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .75 48 7.2 false(unreach-call) 20   1300 160 timeout 900    3700 12000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .12  11 1.1  unknown 3.7 220 34 unknown 3.8 230 33 unknown 3.7 220 29 false(unreach-call) 1.2  30 14  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i error (5) .24 28 1.7 false(unreach-call) .69 45 7.9 false(unreach-call) 290   5400 1700 timeout 900    3800 10000   timeout 900     1500 9400    timeout 900     1400 11000    unknown .11  11 1.1  unknown 3.6 230 34 unknown 6.0 330 52 unknown 3.6 230 27 false(unreach-call) .44 30 4.3
pthread-wmm/mix018_tso.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .82 48 8.0 false(unreach-call) 110   4200 650 timeout 900    400 11000   timeout 900     1300 11000    timeout 900     1400 12000    unknown .10  11 1.1  unknown 3.7 230 31 unknown 3.8 230 30 unknown 3.6 230 31 false(unreach-call) 1.1  30 13  
pthread-wmm/mix018_tso.opt_false-unreach-call.i error (5) .20 28 1.6 false(unreach-call) .72 45 8.1 false(unreach-call) 280   5600 1700 timeout 900    3700 8900   timeout 900     1400 11000    timeout 900     1500 11000    unknown .13  11 1.1  unknown 3.6 220 29 unknown 3.7 220 28 unknown 3.7 230 32 false(unreach-call) .46 30 5.3
pthread-wmm/mix019_power.oepc_false-unreach-call.i error (5) .21 28 1.7 false(unreach-call) .76 42 7.9 false(unreach-call) 14   660 110 false(unreach-call) 81    210 930   timeout 900     3000 11000    timeout 900     3000 11000    unknown .12  11 1.2  unknown 3.7 220 29 unknown 3.7 230 27 unknown 3.6 230 32 false(unreach-call) .41 32 4.4
pthread-wmm/mix019_power.opt_false-unreach-call.i error (5) .19 28 1.6 false(unreach-call) .66 42 8.8 false(unreach-call) 34   1600 220 false(unreach-call) 78    280 990   timeout 900     3100 12000    timeout 900     3100 11000    unknown .12  11 1.1  unknown 3.7 220 29 unknown 3.7 230 27 unknown 3.7 220 28 false(unreach-call) .39 30 3.4
pthread-wmm/mix019_pso.oepc_false-unreach-call.i error (5) .20 28 1.7 false(unreach-call) .74 43 8.7 false(unreach-call) 14   680 110 false(unreach-call) 80    220 980   timeout 900     3000 11000    timeout 900     3000 11000    unknown .10  11 1.4  unknown 3.6 230 31 unknown 3.7 220 29 unknown 3.7 230 29 false(unreach-call) .43 32 4.5
pthread-wmm/mix019_pso.opt_false-unreach-call.i error (5) .19 28 1.7 false(unreach-call) .66 43 8.7 false(unreach-call) 31   1600 250 false(unreach-call) 78    270 950   timeout 900     3100 10000    timeout 900     3100 11000    unknown .12  11 1.1  unknown 3.9 230 32 unknown 3.8 230 29 unknown 3.6 220 31 false(unreach-call) .36 31 3.2
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i error (5) .22 28 1.7 false(unreach-call) .74 43 7.6 false(unreach-call) 14   660 110 false(unreach-call) 81    210 980   timeout 900     3000 11000    timeout 900     3000 10000    unknown .12  11 1.1  unknown 3.9 220 30 unknown 3.6 220 30 unknown 3.7 220 31 false(unreach-call) .42 30 4.9
pthread-wmm/mix019_rmo.opt_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .69 43 7.0 false(unreach-call) 33   1600 220 false(unreach-call) 78    270 1100   timeout 900     3100 10000    timeout 900     3100 11000    unknown .12  11 1.1  unknown 3.9 220 35 unknown 3.7 230 29 unknown 3.9 230 33 false(unreach-call) .35 30 4.3
pthread-wmm/mix019_tso.oepc_false-unreach-call.i error (5) .21 28 1.5 false(unreach-call) .67 42 7.4 false(unreach-call) 17   1100 150 false(unreach-call) 130    95 1600   timeout 900     2000 10000    timeout 900     2000 13000    unknown .13  11 1.2  unknown 3.7 220 29 unknown 3.8 220 30 unknown 3.8 220 29 false(unreach-call) .58 30 6.6
pthread-wmm/mix019_tso.opt_false-unreach-call.i error (5) .20 28 1.6 false(unreach-call) .66 43 7.6 false(unreach-call) 31   1600 230 false(unreach-call) 78    280 950   timeout 900     3100 12000    timeout 900     3100 11000    unknown .12  11 1.0  unknown 3.8 230 29 unknown 3.8 230 30 unknown 3.5 230 27 false(unreach-call) .37 30 3.7
pthread-wmm/mix020_power.oepc_false-unreach-call.i error (5) .24 28 1.7 false(unreach-call) .79 48 8.7 false(unreach-call) 20   1200 170 timeout 900    3700 13000   timeout 900     1400 13000    timeout 900     1400 10000    unknown .10  11 1.3  unknown 3.8 220 30 unknown 3.7 220 29 unknown 3.7 230 29 false(unreach-call) 1.6  30 18  
pthread-wmm/mix020_power.opt_false-unreach-call.i error (5) .21 28 1.6 false(unreach-call) .77 45 7.3 false(unreach-call) 290   5400 1700 timeout 900    3800 10000   timeout 900     1500 12000    timeout 900     1400 12000    unknown .11  11 1.1  unknown 3.8 230 30 unknown 3.8 220 29 unknown 3.8 230 27 false(unreach-call) .48 30 5.2
pthread-wmm/mix020_pso.oepc_false-unreach-call.i error (5) .22 28 2.0 false(unreach-call) .76 48 7.1 false(unreach-call) 21   1200 170 timeout 900    3700 14000   timeout 900     1400 11000    timeout 900     1400 12000    unknown .12  11 1.1  unknown 3.8 230 33 unknown 3.8 230 30 unknown 3.8 230 31 false(unreach-call) 1.6  30 20  
pthread-wmm/mix020_pso.opt_false-unreach-call.i error (5) .23 28 1.6 false(unreach-call) .75 46 7.3 false(unreach-call) 280   5200 2000 timeout 900    3800 12000   timeout 900     1400 12000    timeout 900     1400 11000    unknown .13  11 1.1  unknown 3.6 220 28 unknown 3.6 220 28 unknown 5.9 330 44 false(unreach-call) .47 30 5.8
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .74 48 7.5 false(unreach-call) 22   1200 150 timeout 900    3700 11000   timeout 900     1400 11000    timeout 900     1400 11000    unknown .13  11 1.0  unknown 3.8 230 31 unknown 3.8 220 30 unknown 3.8 230 31 false(unreach-call) 1.6  31 21  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i error (5) .21 29 2.1 false(unreach-call) .76 45 8.4 false(unreach-call) 290   5400 1900 timeout 900    3700 12000   timeout 900     1400 10000    timeout 900     1400 10000    unknown .11  11 1.2  unknown 3.6 220 30 unknown 3.9 230 32 unknown 3.8 230 29 false(unreach-call) .46 30 5.2
pthread-wmm/mix020_tso.oepc_false-unreach-call.i error (5) .24 28 1.6 false(unreach-call) .71 48 8.7 false(unreach-call) 21   1300 170 timeout 900    3700 12000   timeout 900     1400 11000    timeout 900     1400 12000    unknown .13  11 1.1  unknown 3.7 220 29 unknown 3.7 220 30 unknown 3.7 230 29 false(unreach-call) 1.6  32 17  
pthread-wmm/mix020_tso.opt_false-unreach-call.i error (5) .24 28 1.7 false(unreach-call) .76 45 8.3 false(unreach-call) 280   5400 2200 timeout 900    3700 9800   timeout 900     1400 10000    timeout 900     1400 11000    unknown .12  11 .91 unknown 3.9 220 34 unknown 3.5 220 33 unknown 3.8 230 30 false(unreach-call) .46 30 5.8
pthread-wmm/mix021_power.oepc_false-unreach-call.i error (5) .19 28 2.1 false(unreach-call) .86 50 9.9 false(unreach-call) 25   1400 200 timeout 900    3700 10000   timeout 900     1400 13000    timeout 900     1400 9500    unknown .13  11 .95 unknown 3.8 220 29 unknown 4.0 230 28 unknown 3.9 230 33 false(unreach-call) 1.3  30 14  
pthread-wmm/mix021_power.opt_false-unreach-call.i error (5) .23 28 1.7 false(unreach-call) .77 45 8.5 false(unreach-call) 290   5300 1800 timeout 900    3800 12000   timeout 900     1500 10000    timeout 900     1500 11000    unknown .13  11 1.1  unknown 3.9 230 30 unknown 3.7 230 30 unknown 3.6 230 30 false(unreach-call) .44 30 4.7
pthread-wmm/mix021_pso.oepc_false-unreach-call.i error (5) .23 28 2.0 false(unreach-call) .78 50 7.3 false(unreach-call) 20   1200 160 timeout 900    3700 11000   timeout 900     1400 11000    timeout 900     1400 12000    unknown .13  11 1.2  unknown 3.9 230 30 unknown 3.7 230 31 unknown 3.7 220 27 false(unreach-call) 1.3  32 17  
pthread-wmm/mix021_pso.opt_false-unreach-call.i error (5) .24 29 1.7 false(unreach-call) .78 46 8.1 false(unreach-call) 290   5300 1700 timeout 900    3800 14000   timeout 900     1500 10000    timeout 900     1400 13000    unknown .11  11 .97 unknown 3.6 220 29 unknown 3.7 220 31 unknown 3.6 230 30 false(unreach-call) .46 30 4.6
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i error (5) .20 28 2.2 false(unreach-call) .79 48 7.5 false(unreach-call) 20   1200 160 timeout 900    3700 13000   timeout 900     1400 12000    timeout 900     1400 12000    unknown .10  11 1.2  unknown 3.9 230 32 unknown 3.6 230 27 unknown 4.0 220 30 false(unreach-call) 1.3  32 18  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i error (5) .21 28 1.5 false(unreach-call) .78 45 10   false(unreach-call) 290   5400 1800 timeout 900    3700 13000   timeout 900     1500 12000    timeout 900     1400 12000    unknown .12  11 1.1  unknown 3.7 220 33 unknown 3.8 230 32 unknown 3.8 230 33 false(unreach-call) .45 30 5.2
pthread-wmm/mix021_tso.oepc_false-unreach-call.i error (5) .21 28 1.5 false(unreach-call) .77 44 6.5 false(unreach-call) 180   4700 1500 timeout 900    420 11000   timeout 900     1400 11000    timeout 900     1400 13000    unknown .10  11 1.2  unknown 3.6 220 33 unknown 3.6 230 28 unknown 3.6 230 31 false(unreach-call) .47 30 5.9
pthread-wmm/mix021_tso.opt_false-unreach-call.i error (5) .23 29 1.6 false(unreach-call) .79 45 10   false(unreach-call) 290   5200 1700 timeout 900    3700 13000   timeout 900     1500 10000    timeout 900     1500 12000    unknown .10  11 1.2  unknown 3.7 230 30 unknown 3.8 230 32 unknown 3.8 230 27 false(unreach-call) .45 30 4.6
pthread-wmm/mix022_power.oepc_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .66 40 5.9 false(unreach-call) 10   600 76 false(unreach-call) 2.4  56 27   false(unreach-call) 7.1   58 86    false(unreach-call) 7.1   58 97    unknown .11  11 1.1  unknown 3.8 230 30 unknown 3.7 230 29 unknown 3.8 230 29 false(unreach-call) .34 30 3.8
pthread-wmm/mix022_power.opt_false-unreach-call.i error (5) .18 28 1.8 false(unreach-call) .63 40 5.7 false(unreach-call) 11   590 77 false(unreach-call) 2.4  56 31   false(unreach-call) 7.1   58 97    false(unreach-call) 7.1   58 88    unknown .10  11 1.1  unknown 3.9 230 32 unknown 3.5 220 28 unknown 3.9 220 31 false(unreach-call) .35 30 4.0
pthread-wmm/mix022_pso.oepc_false-unreach-call.i error (5) .20 28 1.5 false(unreach-call) .61 40 6.1 false(unreach-call) 10   620 82 false(unreach-call) 2.4  56 31   false(unreach-call) 7.2   58 84    false(unreach-call) 7.1   58 95    unknown .13  11 1.1  unknown 3.7 230 30 unknown 3.8 220 30 unknown 3.6 230 29 false(unreach-call) .38 30 3.3
pthread-wmm/mix022_pso.opt_false-unreach-call.i error (5) .20 28 1.8 false(unreach-call) .63 40 6.0 false(unreach-call) 10   580 82 false(unreach-call) 2.4  57 34   false(unreach-call) 7.1   58 95