Tool ESBMC ESBMC version 3.1 64-bit x86_64 linux
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-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-01-13 08:12:16 CET
Run set sv-comp17
Options -s kinduction
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 1 wit inspect .20  .20  2.4  26 .98 0      - - - -
pthread/fib_bench_false-unreach-call.i true -32 wit inspect .27  .27  3.3  25 1.0  0      - - - -
pthread/fib_bench_longer_false-unreach-call.i true -32 wit inspect .29  .28  3.3  24 1.0  0      - - - -
pthread/fib_bench_longest_false-unreach-call.i true -32 wit inspect .27  .26  3.8  25 .85 0      - - - -
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect 4.9   4.6   59    140 .99 0      - - - -
pthread/queue_false-unreach-call.i unknown 0 wit inspect .16  .16  2.0  26 .84 0      - - - -
pthread/queue_longer_false-unreach-call.i unknown 0 wit inspect .19  .19  2.0  26 .99 0      - - - -
pthread/queue_longest_false-unreach-call.i unknown 0 wit inspect .18  .18  2.1  26 .99 0      - - - -
pthread/reorder_2_false-unreach-call.i timeout 0 wit inspect 900     890     11000    9600 1700    0      - - - -
pthread/reorder_5_false-unreach-call.i timeout 0 wit inspect 900     890     10000    11000 1900    0      - - - -
pthread/sigma_false-unreach-call.i true -32 wit inspect 2.2   2.2   31    68 5.1  0      - - - -
pthread/singleton_false-unreach-call.i out of memory 0 wit inspect 690     660     8900    15000 .99 0      - - - -
pthread/stack_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     340    1100 11    0      - - - -
pthread/stack_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     380    1100 11    0      - - - -
pthread/stack_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     350    1100 11    0      - - - -
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect 2.6   2.4   38    32 .99 0      - - - -
pthread/twostage_3_false-unreach-call.i timeout 0 wit inspect 900     900     12000    890 1900    .0041 - - - -
pthread/bigshot_s2_true-unreach-call.i true 2 wit inspect 2.0   2.0   25    110 3.6  0      - - - -
pthread/bigshot_s_true-unreach-call.i true 2 wit inspect 2.1   2.0   24    110 3.6  0      - - - -
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect .28  .27  3.5  24 1.0  0      - - - -
pthread/fib_bench_longest_true-unreach-call.i true 2 wit inspect .27  .26  3.2  25 1.0  0      - - - -
pthread/fib_bench_true-unreach-call.i true 2 wit inspect .28  .27  3.8  24 1.0  0      - - - -
pthread/indexer_true-unreach-call.i true 2 wit inspect .16  .16  1.4  26 1.0  0      - - - -
pthread/queue_ok_longer_true-unreach-call.i timeout 0 wit inspect 900     890     11000    7200 2000    0      - - - -
pthread/queue_ok_longest_true-unreach-call.i timeout 0 wit inspect 900     890     11000    7400 2100    0      - - - -
pthread/queue_ok_true-unreach-call.i timeout 0 wit inspect 900     890     12000    7400 2100    0      - - - -
pthread/singleton_with-uninit-problems_true-unreach-call.i out of memory 0 wit inspect 690     660     8100    15000 .99 0      - - - -
pthread/stack_longer_true-unreach-call.i true 2 wit inspect 190     180     2600    4300 380    0      - - - -
pthread/stack_longest_true-unreach-call.i true 2 wit inspect 190     180     2700    4300 380    0      - - - -
pthread/stack_true-unreach-call.i true 2 wit inspect 200     200     2500    4300 380    0      - - - -
pthread/stateful01_true-unreach-call.i true 2 wit inspect 120     110     1400    1700 330    0      - - - -
pthread/sync01_true-unreach-call.i true 2 wit inspect 190     180     2200    4000 410    0      - - - -
pthread-atomic/qrcu_false-unreach-call.i unknown 0 wit inspect .12  .12  1.0  25 .99 0      - - - -
pthread-atomic/read_write_lock_false-unreach-call.i true -32 wit inspect 42     41     590    120 120    0      - - - -
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect 9.2   8.8   120    140 29    0      - - - -
pthread-atomic/gcd_true-unreach-call_true-termination.i true 2 wit inspect 60     60     740    290 5.2  0      - - - -
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect 35     33     430    380 100    0      - - - -
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect 7.1   6.8   110    110 22    0      - - - -
pthread-atomic/qrcu_true-unreach-call.i unknown 0 wit inspect .11  .11  1.2  25 .99 0      - - - -
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 42     41     580    120 120    0      - - - -
pthread-atomic/scull_true-unreach-call.i out of memory 0 wit inspect 680     660     8100    15000 .99 0      - - - -
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 48     46     590    1700 150    0      - - - -
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 16     16     230    100 49    0      - - - -
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) 1 wit inspect .12  .12  .93 25 .99 0      - - - -
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) 1 wit inspect .091 .091 .95 25 .84 0      - - - -
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) 1 wit inspect .13  .13  .96 25 .99 0      - - - -
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) 1 wit inspect .093 .092 1.1  25 .99 0      - - - -
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 1 wit inspect 12     11     140    1200 .99 0      - - - -
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) 1 wit inspect .12  .12  .89 25 .99 0      - - - -
pthread-ext/32_pthread5_vs_false-unreach-call.i true -32 wit inspect 4.7   4.5   56    240 13    0      - - - -
pthread-ext/40_barrier_vf_false-unreach-call.i true -32 wit inspect .15  .15  1.3  25 1.0  0      - - - -
pthread-ext/01_inc_true-unreach-call.i true 2 wit inspect .15  .15  1.4  24 1.1  0      - - - -
pthread-ext/02_inc_cas_true-unreach-call.i unknown 0 wit inspect .11  .10  1.2  24 .99 0      - - - -
pthread-ext/03_incdec_true-unreach-call.i true 2 wit inspect .46  .46  5.2  39 1.4  0      - - - -
pthread-ext/04_incdec_cas_true-unreach-call.i unknown 0 wit inspect .29  .28  3.7  29 .84 0      - - - -
pthread-ext/05_tas_true-unreach-call.i true 2 wit inspect .44  .42  5.3  28 1.9  0      - - - -
pthread-ext/06_ticket_true-unreach-call.i true 2 wit inspect .49  .47  5.9  25 1.8  0      - - - -
pthread-ext/07_rand_true-unreach-call.i unknown 0 wit inspect .14  .14  1.2  25 .99 0      - - - -
pthread-ext/08_rand_cas_true-unreach-call.i unknown 0 wit inspect .11  .11  1.2  25 .99 0      - - - -
pthread-ext/09_fmaxsym_true-unreach-call.i true 2 wit inspect .35  .34  3.8  30 1.5  0      - - - -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i true 2 wit inspect .22  .21  2.0  25 .99 0      - - - -
pthread-ext/11_fmaxsymopt_true-unreach-call.i true 2 wit inspect .23  .23  2.5  25 .97 0      - - - -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i true 2 wit inspect .26  .25  2.4  28 .99 0      - - - -
pthread-ext/13_unverif_true-unreach-call.i unknown 0 wit inspect .094 .092 1.1  24 .85 0      - - - -
pthread-ext/14_spin2003_true-unreach-call.i true 2 wit inspect .13  .13  1.7  25 1.1  0      - - - -
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect .30  .29  3.0  25 1.2  0      - - - -
pthread-ext/16_peterson_true-unreach-call.i unknown 0 wit inspect .11  .11  .94 24 .99 0      - - - -
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect 5.2   5.0   59    33 1.0  0      - - - -
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect .091 .091 1.1  24 1.0  0      - - - -
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect .12  .12  .96 25 .89 0      - - - -
pthread-ext/20_lamport_true-unreach-call.i timeout 0 wit inspect 900     900     11000    2000 3100    0      - - - -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect .14  .14  1.2  25 .87 0      - - - -
pthread-ext/25_stack_longer_true-unreach-call.i true 2 wit inspect .25  .25  3.3  25 1.2  0      - - - -
pthread-ext/25_stack_longest_true-unreach-call.i true 2 wit inspect .26  .26  2.9  25 1.2  0      - - - -
pthread-ext/25_stack_true-unreach-call.i true 2 wit inspect .26  .25  2.9  25 1.2  0      - - - -
pthread-ext/26_stack_cas_longer_true-unreach-call.i timeout 0 wit inspect 900     870     10000    10000 750    0      - - - -
pthread-ext/26_stack_cas_longest_true-unreach-call.i timeout 0 wit inspect 900     870     10000    10000 740    0      - - - -
pthread-ext/26_stack_cas_true-unreach-call.i timeout 0 wit inspect 900     870     12000    9800 740    0      - - - -
pthread-ext/29_conditionals_vs_true-unreach-call.i true 2 wit inspect .14  .14  1.8  25 1.1  0      - - - -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i true 2 wit inspect 1.2   1.1   15    110 1.7  0      - - - -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i out of memory 0 wit inspect 710     680     8500    15000 2200    0      - - - -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i true 2 wit inspect 1.0   .98  14    49 3.2  0      - - - -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i true 2 wit inspect 1.1   1.0   12    51 3.3  0      - - - -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i true 2 wit inspect .88  .85  11    44 3.0  0      - - - -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i out of memory 0 wit inspect 550     540     6900    15000 1400    0      - - - -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i true 2 wit inspect 1.9   1.8   21    87 6.1  0      - - - -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i unknown 0 wit inspect .17  .16  1.7  25 .99 0      - - - -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i unknown 0 wit inspect .11  .11  1.4  25 .99 0      - - - -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i unknown 0 wit inspect .16  .15  1.8  25 .84 0      - - - -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i true 2 wit inspect 2.3   2.3   31    36 7.9  0      - - - -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i true 2 wit inspect 2.4   2.4   31    110 4.6  0      - - - -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i unknown 0 wit inspect .24  .23  2.5  26 .99 0      - - - -
pthread-ext/45_monabsex1_vs_true-unreach-call.i true 2 wit inspect .35  .34  3.9  24 1.6  0      - - - -
pthread-ext/46_monabsex2_vs_true-unreach-call.i true 2 wit inspect 1.2   1.2   15    24 4.0  0      - - - -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i unknown 0 wit inspect .13  .13  1.0  25 .99 0      - - - -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i unknown 0 wit inspect .10  .10  1.3  25 .99 0      - - - -
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77  .72  9.7  42 .84 0      - - - -
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97  .90  13    26 .99 0      - - - -
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  8.9  43 .84 0      - - - -
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96  .90  11    26 .99 0      - - - -
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  9.4  43 .99 0      - - - -
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93  .87  12    26 .84 0      - - - -
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  9.1  42 .99 0      - - - -
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93  .87  11    26 .84 0      - - - -
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 48     45     660    740 .99 0      - - - -
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     300    180 .99 0      - - - -
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 48     45     560    740 .99 0      - - - -
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     360    190 .84 0      - - - -
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47     44     490    750 .99 0      - - - -
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     380    190 .99 0      - - - -
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 48     44     570    740 .84 0      - - - -
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     350    190 .99 0      - - - -
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     370    150 .84 0      - - - -
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     380    190 .99 0      - - - -
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     420    150 .99 0      - - - -
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     360    190 .99 0      - - - -
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     380    150 .99 0      - - - -
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     400    190 .84 0      - - - -
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     400    150 .84 0      - - - -
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     470    190 .99 0      - - - -
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     27     350    150 .99 0      - - - -
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     370    180 .99 0      - - - -
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     410    140 .84 0      - - - -
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     320    180 .99 0      - - - -
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     400    150 .99 0      - - - -
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     330    180 .84 0      - - - -
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     320    180 .84 0      - - - -
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     330    180 .84 0      - - - -
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     360    140 .99 0      - - - -
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     330    180 .84 0      - - - -
pthread-wmm/mix004_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4300 .84 0      - - - -
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 620     580     7500    3900 .99 0      - - - -
pthread-wmm/mix004_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4400 .84 0      - - - -
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 620     580     7400    3900 .99 0      - - - -
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .84 0      - - - -
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 620     580     7100    3800 .99 0      - - - -
pthread-wmm/mix004_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4400 .99 0      - - - -
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 620     580     8800    3800 .99 0      - - - -
pthread-wmm/mix005_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4400 .99 0      - - - -
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     580     9000    3900 .99 0      - - - -
pthread-wmm/mix005_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .84 0      - - - -
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     570     7400    3900 .99 0      - - - -
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .84 0      - - - -
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     580     7200    3900 .84 0      - - - -
pthread-wmm/mix005_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    1200 .99 0      - - - -
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     570     7300    3900 .84 0      - - - -
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     410    150 .99 0      - - - -
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     420    240 .99 0      - - - -
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     380    150 .99 0      - - - -
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     450    240 .84 0      - - - -
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     410    150 .84 0      - - - -
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     370    240 .99 0      - - - -
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 160     150     1800    680 .99 0      - - - -
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     410    240 .84 0      - - - -
pthread-wmm/mix007_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5100 .84 0      - - - -
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     680     8500    5000 .99 0      - - - -
pthread-wmm/mix007_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5100 .99 0      - - - -
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     680     9800    5000 .99 0      - - - -
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     680     9100    5000 .84 0      - - - -
pthread-wmm/mix007_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     670     9600    5000 .99 0      - - - -
pthread-wmm/mix008_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5100 .99 0      - - - -
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 710     670     9000    5000 .99 0      - - - -
pthread-wmm/mix008_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9900    5200 .99 0      - - - -
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     670     8500    5000 .99 0      - - - -
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    5100 .99 0      - - - -
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 710     670     8400    5000 .99 0      - - - -
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     860     12000    3700 .98 0      - - - -
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 710     670     9100    5000 .99 0      - - - -
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .56  6.8  26 .99 0      - - - -
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .98  .92  13    26 .99 0      - - - -
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58  .55  6.7  26 .99 0      - - - -
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96  .90  12    26 .84 0      - - - -
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .56  6.7  26 .99 0      - - - -
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .99  .93  12    26 .99 0      - - - -
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58  .55  6.3  26 .99 0      - - - -
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0   .93  12    26 .99 0      - - - -
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     420    150 .84 0      - - - -
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     340    180 .84 0      - - - -
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31     28     360    150 .99 0      - - - -
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     370    180 .84 0      - - - -
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     400    150 .84 0      - - - -
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    180 .99 0      - - - -
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     350    150 .99 0      - - - -
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     400    180 .99 0      - - - -
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     310    150 .99 0      - - - -
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    180 .85 0      - - - -
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     420    150 .99 0      - - - -
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     320    180 .99 0      - - - -
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     360    150 .99 0      - - - -
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    180 .99 0      - - - -
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 49     46     630    92 .99 0      - - - -
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     340    180 .99 0      - - - -
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .50  5.7  26 .99 0      - - - -
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .55  .51  6.4  26 .84 0      - - - -
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .49  7.6  26 .99 0      - - - -
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .91  .85  9.8  26 .99 0      - - - -
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  7.2  26 .99 0      - - - -
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .50  6.9  26 .99 0      - - - -
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .49  6.7  26 .84 0      - - - -
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  11    26 .99 0      - - - -
pthread-wmm/mix013_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 650     610     8900    3800 .84 0      - - - -
pthread-wmm/mix013_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .84 0      - - - -
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 640     600     7100    3800 .99 0      - - - -
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4600 .84 0      - - - -
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 650     610     7700    3800 .99 0      - - - -
pthread-wmm/mix013_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4600 .99 0      - - - -
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 640     600     7800    3800 .99 0      - - - -
pthread-wmm/mix014_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4600 .99 0      - - - -
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 730     690     8200    4900 .99 0      - - - -
pthread-wmm/mix014_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4600 .99 0      - - - -
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 730     680     11000    4800 .99 0      - - - -
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4600 .84 0      - - - -
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 720     680     9900    4900 .99 0      - - - -
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     860     12000    6400 .84 0      - - - -
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 730     680     9000    4800 .99 0      - - - -
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     410    150 .99 0      - - - -
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     450    190 .84 0      - - - -
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     460    150 .84 0      - - - -
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     460    190 .99 0      - - - -
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     420    150 .99 0      - - - -
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     360    190 .99 0      - - - -
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     450    150 .99 0      - - - -
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     360    190 .99 0      - - - -
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     360    140 .99 0      - - - -
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     430    200 .99 0      - - - -
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     350    140 .99 0      - - - -
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    180 .99 0      - - - -
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     350    140 .99 0      - - - -
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     470    200 .99 0      - - - -
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     340    140 .99 0      - - - -
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     360    180 .99 0      - - - -
pthread-wmm/mix017_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .84 0      - - - -
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 760     710     10000    5000 .84 0      - - - -
pthread-wmm/mix017_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     570     7000    3800 .99 0      - - - -
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 760     710     10000    5100 .99 0      - - - -
pthread-wmm/mix017_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .84 0      - - - -
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     570     8300    3800 .99 0      - - - -
pthread-wmm/mix018_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .99 0      - - - -
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     8400    3800 .99 0      - - - -
pthread-wmm/mix018_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 610     570     7100    3800 .99 0      - - - -
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     570     8400    3800 .99 0      - - - -
pthread-wmm/mix018_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    1200 .84 0      - - - -
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     7900    3800 .84 0      - - - -
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     350    140 .99 0      - - - -
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     26     370    180 .99 0      - - - -
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     380    140 .99 0      - - - -
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     380    180 .99 0      - - - -
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     330    140 .99 0      - - - -
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27     26     310    180 .99 0      - - - -
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 44     41     590    88 .99 0      - - - -
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     360    180 .84 0      - - - -
pthread-wmm/mix020_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .84 0      - - - -
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 620     590     6500    3800 .99 0      - - - -
pthread-wmm/mix020_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .84 0      - - - -
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     570     7200    3800 .99 0      - - - -
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     6900    3800 .99 0      - - - -
pthread-wmm/mix020_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     14000    4500 .99 0      - - - -
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     570     8200    3800 .84 0      - - - -
pthread-wmm/mix021_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     7900    3800 .99 0      - - - -
pthread-wmm/mix021_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     8200    3800 .84 0      - - - -
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     7700    3800 .99 0      - - - -
pthread-wmm/mix021_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     850     12000    1300 .99 0      - - - -
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 600     560     7300    3800 .99 0      - - - -
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .56  7.2  26 .84 0      - - - -
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59  .55  7.1  26 .99 0      - - - -
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62  .59  7.1  26 .99 0      - - - -
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59  .56  6.6  26 .91 0      - - - -
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59  .55  7.6  26 .99 0      - - - -
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61  .57  6.7  26 .99 0      - - - -
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.3   17    26 .84 0      - - - -
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   15    26 .84 0      - - - -
pthread-wmm/mix023_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5400 .84 0      - - - -
pthread-wmm/mix023_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     10000    6200 .99 0      - - - -
pthread-wmm/mix023_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5400 .99 0      - - - -
pthread-wmm/mix023_pso.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    6300 .99 0      - - - -
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5400 .99 0      - - - -
pthread-wmm/mix023_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    6200 .99 0      - - - -
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     860     11000    1700 .84 0      - - - -
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 0 wit inspect 900     860     9600    1700 .99 0      - - - -
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 40     37     470    200 .99 0      - - - -
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     570    220 .84 0      - - - -
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 40     37     470    200 .99 0      - - - -
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     470    220 .99 0      - - - -
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 40     37     440    200 .99 0      - - - -
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     530    220 .84 0      - - - -
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 40     37     460    190 .99 0      - - - -
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40     37     460    200 .99 0      - - - -
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     410    190 .84 0      - - - -
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     470    190 .84 0      - - - -
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35     32     470    190 .99 0      - - - -
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38     35     500    210 .99 0      - - - -
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     400    190 .99 0      - - - -
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39     36     480    210 .99 0      - - - -
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     390    190 .99 0      - - - -
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     410    190 .99 0      - - - -
pthread-wmm/mix026_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix026_power.opt_false-unreach-call.i timeout 0 wit inspect 900     840     13000    6500 .99 0      - - - -
pthread-wmm/mix026_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    5200 .99 0      - - - -
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 820     770     9800    5200 .99 0      - - - -
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 830     770     10000    5100 .84 0      - - - -
pthread-wmm/mix026_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5200 .99 0      - - - -
pthread-wmm/mix026_tso.opt_false-unreach-call.i timeout 0 wit inspect 900     840     11000    6700 .99 0      - - - -
pthread-wmm/mix027_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 820     770     9200    5100 .84 0      - - - -
pthread-wmm/mix027_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     13000    5200 .99 0      - - - -
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 820     770     10000    5100 .99 0      - - - -
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    5200 .84 0      - - - -
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 810     760     11000    5200 .84 0      - - - -
pthread-wmm/mix027_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    1200 .99 0      - - - -
pthread-wmm/mix027_tso.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1200 .84 0      - - - -
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     390    190 .99 0      - - - -
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49     46     540    95 .99 0      - - - -
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     400    180 .99 0      - - - -
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49     46     570    95 .99 0      - - - -
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     430    190 .99 0      - - - -
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49     46     740    96 .99 0      - - - -
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36     33     420    86 .84 0      - - - -
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     33     410    86 .99 0      - - - -
pthread-wmm/mix029_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix029_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1300 .99 0      - - - -
pthread-wmm/mix029_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix029_pso.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1300 .99 0      - - - -
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix029_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     850     9900    1300 .99 0      - - - -
pthread-wmm/mix029_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .99 0      - - - -
pthread-wmm/mix029_tso.opt_false-unreach-call.i timeout 0 wit inspect 900     840     10000    5200 .84 0      - - - -
pthread-wmm/mix030_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     13000    5200 .99 0      - - - -
pthread-wmm/mix030_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1300 .99 0      - - - -
pthread-wmm/mix030_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9800    5200 .99 0      - - - -
pthread-wmm/mix030_pso.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1300 .99 0      - - - -
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    5200 .84 0      - - - -
pthread-wmm/mix030_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1300 .84 0      - - - -
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 740     700     8300    1300 .99 0      - - - -
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 750     700     8100    1300 .99 0      - - - -
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .56  6.7  26 .99 0      - - - -
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .77  .72  9.7  26 .99 0      - - - -
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .57  7.7  26 .99 0      - - - -
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .77  .73  8.7  26 .84 0      - - - -
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .57  7.0  26 .99 0      - - - -
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .77  .73  10    26 .99 0      - - - -
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62  .58  7.0  26 .99 0      - - - -
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .71  8.7  26 .99 0      - - - -
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     370    150 .99 0      - - - -
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     240    160 .99 0      - - - -
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     410    150 .84 0      - - - -
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     240    160 .99 0      - - - -
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     380    150 .99 0      - - - -
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     20     270    160 .99 0      - - - -
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     400    150 .99 0      - - - -
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     290    160 .99 0      - - - -
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31     29     460    150 .99 0      - - - -
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     250    160 .99 0      - - - -
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     29     390    150 .99 0      - - - -
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     250    160 .99 0      - - - -
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32     30     380    150 .84 0      - - - -
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     250    160 .84 0      - - - -
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 50     47     730    94 .99 0      - - - -
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     250    160 .99 0      - - - -
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .55  .52  6.6  26 .99 0      - - - -
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57  .54  7.6  26 .84 0      - - - -
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58  .54  7.0  26 .99 0      - - - -
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69  .65  8.5  26 .99 0      - - - -
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  6.7  26 .99 0      - - - -
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56  .53  6.7  26 .84 0      - - - -
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57  .54  6.7  26 .84 0      - - - -
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70  .66  8.8  26 .99 0      - - - -
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     390    140 .84 0      - - - -
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     33     410    210 .84 0      - - - -
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     390    140 .99 0      - - - -
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     220    160 .99 0      - - - -
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     430    140 .99 0      - - - -
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     33     420    210 .99 0      - - - -
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     380    140 .99 0      - - - -
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     230    160 .99 0      - - - -
pthread-wmm/mix036_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 780     730     11000    5200 .99 0      - - - -
pthread-wmm/mix036_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5100    3500 .84 0      - - - -
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 770     730     9900    5200 .99 0      - - - -
pthread-wmm/mix036_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     430     5500    3500 .99 0      - - - -
pthread-wmm/mix037_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9500    4500 .99 0      - - - -
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5400    3500 .99 0      - - - -
pthread-wmm/mix037_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5000    3500 .99 0      - - - -
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4400 .99 0      - - - -
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5500    3500 .99 0      - - - -
pthread-wmm/mix037_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    1200 .99 0      - - - -
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5200    3500 .99 0      - - - -
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     27     380    140 .84 0      - - - -
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     260    160 .99 0      - - - -
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     330    140 .99 0      - - - -
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     220    160 .99 0      - - - -
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     340    140 .84 0      - - - -
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     270    160 .84 0      - - - -
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47     44     560    89 .84 0      - - - -
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     230    160 .99 0      - - - -
pthread-wmm/mix039_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5700    3500 .99 0      - - - -
pthread-wmm/mix039_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5500    3500 .84 0      - - - -
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5200    3500 .84 0      - - - -
pthread-wmm/mix039_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5400    3500 .84 0      - - - -
pthread-wmm/mix040_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5500    3500 .99 0      - - - -
pthread-wmm/mix040_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 440     420     5300    3500 .99 0      - - - -
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 440     420     5400    3500 .84 0      - - - -
pthread-wmm/mix040_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     850     12000    1200 .84 0      - - - -
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     420     5000    3500 .99 0      - - - -
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .51  6.3  26 .99 0      - - - -
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .89  .84  11    26 .99 0      - - - -
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57  .54  6.7  26 .99 0      - - - -
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .85  .80  12    26 .99 0      - - - -
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  6.4  26 .99 0      - - - -
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .85  .80  12    26 .84 0      - - - -
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .88  .83  11    26 .99 0      - - - -
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .89  .84  12    26 .99 0      - - - -
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     27     350    140 .99 0      - - - -
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     280    53 .99 0      - - - -
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     340    140 .99 0      - - - -
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     290    53 .99 0      - - - -
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     28     320    140 .99 0      - - - -
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     310    53 .99 0      - - - -
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     27     410    140 .84 0      - - - -
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     270    53 .99 0      - - - -
pthread-wmm/mix043_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500     470     5800    690 .99 0      - - - -
pthread-wmm/mix043_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4400 .84 0      - - - -
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500     470     6000    690 .84 0      - - - -
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9900    4500 .99 0      - - - -
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500     470     6200    690 .99 0      - - - -
pthread-wmm/mix043_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6600    690 .84 0      - - - -
pthread-wmm/mix044_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     5800    690 .99 0      - - - -
pthread-wmm/mix044_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6000    690 .99 0      - - - -
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     5600    690 .99 0      - - - -
pthread-wmm/mix044_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    1200 .99 0      - - - -
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6200    690 .84 0      - - - -
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     370    140 .99 0      - - - -
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     260    53 .99 0      - - - -
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30     27     360    140 .99 0      - - - -
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     280    53 .99 0      - - - -
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     330    140 .99 0      - - - -
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     270    53 .99 0      - - - -
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     270    53 .99 0      - - - -
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     21     300    53 .95 0      - - - -
pthread-wmm/mix046_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .84 0      - - - -
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6600    690 .84 0      - - - -
pthread-wmm/mix046_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6200    690 .99 0      - - - -
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9800    4500 .99 0      - - - -
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6800    690 .93 0      - - - -
pthread-wmm/mix046_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     14000    4500 .99 0      - - - -
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500     470     5800    690 .84 0      - - - -
pthread-wmm/mix047_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     5600    690 .84 0      - - - -
pthread-wmm/mix047_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     5900    690 .84 0      - - - -
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6000    690 .99 0      - - - -
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 490     460     6700    690 .99 0      - - - -
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 480     450     6600    700 .98 0      - - - -
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .49  6.5  26 .99 0      - - - -
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .48  6.1  26 .84 0      - - - -
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  7.3  26 .99 0      - - - -
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  6.1  26 .99 0      - - - -
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  5.7  26 .84 0      - - - -
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  6.1  26 .99 0      - - - -
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .48  5.7  26 .99 0      - - - -
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .50  6.2  26 .84 0      - - - -
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     370    140 .99 0      - - - -
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     370    140 .99 0      - - - -
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .84 0      - - - -
pthread-wmm/mix050_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4400 .99 0      - - - -
pthread-wmm/mix050_power.opt_false-unreach-call.i timeout 0 wit inspect 900     840     9400    4500 .99 0      - - - -
pthread-wmm/mix050_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     13000    4500 .99 0      - - - -
pthread-wmm/mix050_pso.opt_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .84 0      - - - -
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .84 0      - - - -
pthread-wmm/mix050_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     850     9400    4500 .99 0      - - - -
pthread-wmm/mix050_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4500 .99 0      - - - -
pthread-wmm/mix050_tso.opt_false-unreach-call.i timeout 0 wit inspect 900     840     13000    4400 .99 0      - - - -
pthread-wmm/mix051_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .84 0      - - - -
pthread-wmm/mix051_power.opt_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix051_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4400 .99 0      - - - -
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     400     4700    3400 .84 0      - - - -
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9800    4500 .99 0      - - - -
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     400     5100    3400 .99 0      - - - -
pthread-wmm/mix051_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     850     13000    1200 .99 0      - - - -
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     390     6200    3400 .99 0      - - - -
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .84 0      - - - -
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27     26     350    140 .84 0      - - - -
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18     17     250    160 .99 0      - - - -
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18     17     240    160 .99 0      - - - -
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     500    86 .99 0      - - - -
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18     17     190    160 .99 0      - - - -
pthread-wmm/mix053_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     390     5000    3400 .99 0      - - - -
pthread-wmm/mix053_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     850     10000    4500 .99 0      - - - -
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     400     5200    3400 .99 0      - - - -
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4400 .84 0      - - - -
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     390     5600    3400 .84 0      - - - -
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 890     840     12000    1300 .99 0      - - - -
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 420     390     5100    3400 .99 0      - - - -
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .49  6.5  26 .84 0      - - - -
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .52  .49  6.7  26 .99 0      - - - -
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50  .47  6.7  26 .99 0      - - - -
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .82  .77  9.0  26 .99 0      - - - -
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50  .47  5.9  26 .84 0      - - - -
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .83  .79  9.8  26 .99 0      - - - -
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .79  .75  10    26 .99 0      - - - -
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .81  .77  9.5  26 .99 0      - - - -
pthread-wmm/mix055_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     5600    670 .99 0      - - - -
pthread-wmm/mix055_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     9900    4500 .99 0      - - - -
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     5700    670 .84 0      - - - -
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     12000    4400 .84 0      - - - -
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     5100    670 .99 0      - - - -
pthread-wmm/mix055_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900     850     13000    1200 .99 0      - - - -
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     6400    670 .84 0      - - - -
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     330    140 .99 0      - - - -
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     250    50 .99 0      - - - -
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     400    140 .99 0      - - - -
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     270    50 .99 0      - - - -
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27     25     340    140 .99 0      - - - -
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     290    50 .99 0      - - - -
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     260    50 .99 0      - - - -
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     290    51 .99 0      - - - -
pthread-wmm/mix057_power.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     11000    4500 .99 0      - - - -
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     6200    670 .84 0      - - - -
pthread-wmm/mix057_pso.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     10000    4500 .99 0      - - - -
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 450     430     5100    670 .99 0      - - - -
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i timeout 0 wit inspect 900     840     13000    4500 .99 0      - - - -
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     5600    670 .84 0      - - - -
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 450     430     5300    670 .99 0      - - - -
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 460     430     5200    670 .99 0      - - - -
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .50  5.1  26 .99 0      - - - -
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .48  5.9  26 .99 0      - - - -
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  6.4  26 .84 0      - - - -
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .48  6.4  26 .84 0      - - - -
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  6.0  26 .84 0      - - - -
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .50  5.9  26 .99 0      - - - -
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  5.6  26 .99 0      - - - -
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  7.0  26 .99 0      - - - -
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     380    140 .99 0      - - - -
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     340    140 .99 0      - - - -
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     320    140 .99 0      - - - -
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .99 0      - - - -
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     330    140 .84 0      - - - -
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     320    140 .99 0      - - - -
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4   1.3   19    72 .99 0      - - - -
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6   1.5   20    26 .84 0      - - - -
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4   1.3   19    72 .84 0      - - - -
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6   1.5   21    26 .99 0      - - - -
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4   1.3   20    72 .99 0      - - - -
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6   1.5   21    26 .99 0      - - - -
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  7.0  26 .84 0      - - - -
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .87  .83  10    26 .99 0      - - - -
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57  .54  5.7  26 .99 0      - - - -
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .86  .81  11    26 .99 0      - - - -
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .51  6.2  26 .84 0      - - - -
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .89  .84  9.7  26 .99 0      - - - -
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .88  .83  10    26 .99 0      - - - -
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .90  .85  10    26 .99 0      - - - -
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   16    26 .99 0      - - - -
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   18    26 .99 0      - - - -
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   17    26 .99 0      - - - -
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   16    26 .99 0      - - - -
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   18    26 .84 0      - - - -
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.2   17    26 .84 0      - - - -
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72  .67  8.2  26 .99 0      - - - -
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  8.7  26 .99 0      - - - -
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72  .67  8.2  26 .84 0      - - - -
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .73  .69  9.5  26 .99 0      - - - -
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73  .69  9.3  26 .84 0      - - - -
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72  .67  8.2  26 .84 0      - - - -
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .71  9.7  26 .99 0      - - - -
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .73  .69  8.5  26 .84 0      - - - -
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .23  .22  3.5  27 .99 0      - - - -
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26  .25  3.1  27 .84 0      - - - -
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .24  .22  2.8  27 .99 0      - - - -
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .24  .23  2.7  27 .99 0      - - - -
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .27  .26  2.7  27 .84 0      - - - -
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26  .25  2.5  27 .99 0      - - - -
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .25  .24  2.6  27 .99 0      - - - -
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .25  .24  3.0  27 .99 0      - - - -
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11     10     150    36 .84 0      - - - -
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12     12     150    130 .99 0      - - - -
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 73     69     920    160 .99 0      - - - -
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 74     70     850    160 .84 0      - - - -
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11     10     140    35 .99 0      - - - -
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 11     10     130    35 .84 0      - - - -
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 73     69     950    160 .84 0      - - - -
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 74     70     1000    160 .99 0      - - - -
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .57  8.0  26 .99 0      - - - -
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60  .56  7.3  26 .99 0      - - - -
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63  .59  7.0  26 .84 0      - - - -
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59  .56  8.1  26 .84 0      - - - -
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62  .58  7.0  26 .99 0      - - - -
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59  .55  8.6  26 .99 0      - - - -
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4   1.3   17    26 .84 0      - - - -
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.3   15    26 .99 0      - - - -
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .79  .74  10    42 .99 0      - - - -
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .95  .89  11    26 .84 0      - - - -
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  9.2  42 .99 0      - - - -
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .93  .87  11    26 .99 0      - - - -
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .78  .73  7.9  42 .99 0      - - - -
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96  .89  11    26 .84 0      - - - -
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75  .70  8.2  43 .99 0      - - - -
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .97  .91  11    26 .99 0      - - - -
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.1   8.5   120    33 .84 0      - - - -
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 50     47     570    230 .99 0      - - - -
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 51     48     600    230 .89 0      - - - -
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 50     47     700    230 .99 0      - - - -
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.0   8.3   120    32 .99 0      - - - -
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 51     47     670    230 .99 0      - - - -
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 50     47     640    230 .99 0      - - - -
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 50     47     610    230 .99 0      - - - -
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93  .86  11    26 .99 0      - - - -
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .96  .90  10    26 .99 0      - - - -
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  12    26 .84 0      - - - -
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  11    26 .84 0      - - - -
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .93  .87  11    26 .84 0      - - - -
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  11    26 .99 0      - - - -
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  10    26 .84 0      - - - -
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .92  .86  11    26 .99 0      - - - -
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     370    63 .84 0      - - - -
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 89     84     1100    720 .84 0      - - - -
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     320    60 .99 0      - - - -
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     340    60 .99 0      - - - -
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     300    63 .99 0      - - - -
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 62     58     810    110 .84 0      - - - -
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 62     58     740    110 .99 0      - - - -
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 61     57     840    110 .99 0      - - - -
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     380    61 .84 0      - - - -
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 61     57     650    110 .99 0      - - - -
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     350    63 .99 0      - - - -
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47     43     520    230 .99 0      - - - -
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47     44     560    220 .99 0      - - - -
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47     44     610    220 .99 0      - - - -
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29     27     320    61 .84 0      - - - -
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47     44     530    220 .99 0      - - - -
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 66     62     810    900 .99 0      - - - -
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 110     99     1200    880 .99 0      - - - -
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65     61     910    900 .99 0      - - - -
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 66     62     850    900 .99 0      - - - -
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 66     61     790    910 .99 0      - - - -
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 66     62     820    900 .84 0      - - - -
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65     61     880    900 .99 0      - - - -
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 73     68     880    130 .84 0      - - - -
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65     61     870    910 .99 0      - - - -
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 71     66     790    130 .99 0      - - - -
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65     61     840    900 .84 0      - - - -
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 71     66     790    130 .84 0      - - - -
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     670    270 .99 0      - - - -
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     710    270 .84 0      - - - -
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     700    270 .99 0      - - - -
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     700    270 .99 0      - - - -
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     630    270 .99 0      - - - -
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 59     55     650    270 .84 0      - - - -
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28  .26  2.9  26 .99 0      - - - -
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2   1.1   15    29 .99 0      - - - -
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .26  .25  3.5  26 .84 0      - - - -
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28  .27  2.9  26 .99 0      - - - -
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.9   5.5   76    27 .99 0      - - - -
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     33     460    250 .99 0      - - - -
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.9   5.4   73    27 .99 0      - - - -
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 5.8   5.4   84    26 .99 0      - - - -
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     230    50 .99 0      - - - -
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 64     60     670    450 .99 0      - - - -
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     270    50 .84 0      - - - -
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     270    50 .84 0      - - - -
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     230    50 .84 0      - - - -
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     240    50 .84 0      - - - -
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15     14     210    40 .99 0      - - - -
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 79     74     990    580 .99 0      - - - -
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15     14     180    39 .99 0      - - - -
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 69     65     780    130 .99 0      - - - -
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .45  .43  5.2  26 .99 0      - - - -
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45  .43  4.6  26 .99 0      - - - -
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44  .42  5.2  26 .99 0      - - - -
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42  .40  5.8  26 .99 0      - - - -
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44  .42  5.2  26 .99 0      - - - -
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43  .41  5.1  26 .84 0      - - - -
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     250    50 .99 0      - - - -
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     590    86 .99 0      - - - -
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     240    50 .99 0      - - - -
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     500    86 .99 0      - - - -
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     270    50 .84 0      - - - -
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     290    50 .99 0      - - - -
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.9   5.5   69    27 .99 0      - - - -
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     33     420    250 .84 0      - - - -
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     370    200 .99 0      - - - -
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     420    200 .99 0      - - - -
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.8   5.4   79    27 .84 0      - - - -
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     390    200 .99 0      - - - -
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     370    200 .99 0      - - - -
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     440    200 .99 0      - - - -
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     380    200 .99 0      - - - -
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     390    200 .99 0      - - - -
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     370    200 .99 0      - - - -
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     460    200 .95 0      - - - -
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10     9.4   120    33 .84 0      - - - -
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12     11     150    200 .99 0      - - - -
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10     9.3   110    32 .99 0      - - - -
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 100     95     1500    700 .99 0      - - - -
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13     12     170    250 .99 0      - - - -
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 100     96     1200    740 .84 0      - - - -
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 100     95     1400    730 .84 0      - - - -
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 110     99     1300    720 .99 0      - - - -
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 400     370     4500    510 .99 0      - - - -
pthread-wmm/safe016_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    1400 .99 0      - - - -
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 400     370     4900    500 .99 0      - - - -
pthread-wmm/safe016_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     850     13000    1300 .99 0      - - - -
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     260    56 .99 0      - - - -
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     330    56 .84 0      - - - -
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     260    56 .99 0      - - - -
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     280    56 .84 0      - - - -
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     300    56 .84 0      - - - -
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25     23     310    57 .99 0      - - - -
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.3   4.9   59    26 .99 0      - - - -
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 58     54     660    480 .99 0      - - - -
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.2   4.9   64    27 .99 0      - - - -
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 59     56     700    440 .99 0      - - - -
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 370     350     5300    460 .99 0      - - - -
pthread-wmm/safe019_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     10000    6000 .84 0      - - - -
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 370     340     5300    450 .99 0      - - - -
pthread-wmm/safe019_rmo.opt_false-unreach-call.i timeout 0 wit inspect 900     840     13000    1300 .84 0      - - - -
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 59     55     690    490 .99 0      - - - -
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 59     55     800    490 .84 0      - - - -
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 62     58     830    450 .99 0      - - - -
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 61     57     670    450 .99 0      - - - -
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43     40     600    86 .99 0      - - - -
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     310    140 .99 0      - - - -
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44     41     520    86 .99 0      - - - -
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     290    140 .99 0      - - - -
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28     26     350    140 .84 0      - - - -
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  6.3  26 .84 0      - - - -
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53  .50  5.5  26 .99 0      - - - -
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52  .49  6.6  26 .99 0      - - - -
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51  .47  5.9  26 .99 0      - - - -
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .50  7.0  26 .99 0      - - - -
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .54  .50  6.6  26 .99 0      - - - -
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     2700    2200 .84 0      - - - -
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     2700    2200 .99 0      - - - -
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     2600    2200 .84 0      - - - -
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     3200    2200 .84 0      - - - -
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     2400    2200 .99 0      - - - -
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 220     210     2500    2200 .99 0      - - - -
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     400    200 .99 0      - - - -
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     410    200 .99 0      - - - -
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     420    200 .99 0      - - - -
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     460    200 .99 0      - - - -
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     360    200 .99 0      - - - -
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34     32     380    200 .99 0      - - - -
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13     13     160    250 .99 0      - - - -
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13     12     180    250 .99 0      - - - -
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110     99     1200    720 .99 0      - - - -
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 100     97     1200    730 .99 0      - - - -
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     400    150 .99 0      - - - -
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     370    150 .84 0      - - - -
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     380    150 .99 0      - - - -
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     410    150 .84 0      - - - -
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     30     480    150 .99 0      - - - -
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     390    150 .99 0      - - - -
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 230     220     2700    300 .84 0      - - - -
pthread-wmm/safe027_power.opt_false-unreach-call.i timeout 0 wit inspect 900     850     11000    6100 .99 0      - - - -
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 230     210     3000    290 .99 0      - - - -
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230     210     3000    290 .84 0      - - - -
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 59     56     880    490 .99 0      - - - -
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 59     56     750    490 .99 0      - - - -
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 61     57     860    460 .99 0      - - - -
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 61     57     840    450 .99 0      - - - -
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42  .40  5.2  26 .99 0      - - - -
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .78  .74  10    26 .99 0      - - - -
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44  .42  5.0  26 .84 0      - - - -
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .80  .75  11    26 .99 0      - - - -
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .45  .43  4.8  26 .99 0      - - - -
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .80  .76  12    26 .99 0      - - - -
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     230    50 .84 0      - - - -
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     250    51 .99 0      - - - -
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     250    50 .99 0      - - - -
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     270    51 .99 0      - - - -
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21     19     240    50 .84 0      - - - -
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20     19     250    50 .84 0      - - - -
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     430    200 .99 0      - - - -
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     20     290    53 .84 0      - - - -
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34     31     440    200 .84 0      - - - -
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22     20     260    52 .84 0      - - - -
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33     31     380    200 .99 0      - - - -
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21     20     240    52 .99 0      - - - -
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 120     110     1400    980 .99 0      - - - -
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120     120     1700    970 .99 0      - - - -
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 120     110     1600    980 .99 0      - - - -
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120     120     1500    970 .84 0      - - - -
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 120     110     1800    980 .99 0      - - - -
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120     110     1600    980 .99 0      - - - -
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64  .60  6.8  26 .99 0      - - - -
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65  .61  8.7  26 .99 0      - - - -
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64  .60  8.4  26 .99 0      - - - -
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66  .62  7.2  26 .99 0      - - - -
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67  .63  7.4  26 .99 0      - - - -
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .64  .60  9.2  26 .99 0      - - - -
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     250    160 .84 0      - - - -
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     240    160 .99 0      - - - -
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     220    160 .99 0      - - - -
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     210    160 .99 0      - - - -
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     230    160 .84 0      - - - -
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19     18     240    160 .84 0      - - - -
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29  .28  3.2  26 .84 0      - - - -
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2   1.1   14    29 .84 0      - - - -
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .25  .24  3.7  26 .99 0      - - - -
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26  .25  3.4  26 .99 0      - - - -
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.9   5.5   69    27 .99 0      - - - -
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35     32     440    250 .84 0      - - - -
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 5.8   5.4   68    26 .84 0      - - - -
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 5.8   5.4   82    26 .99 0      - - - -
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 150     140     1800    190 .99 0      - - - -
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 780     740     9600    6000 .99 0      - - - -
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 150     140     2000    180 .99 0      - - - -
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 150     140     1600    180 .99 0      - - - -
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 2 wit inspect 20     19     220    370 53    0      - - - -
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2 wit inspect 20     20     290    370 53    0      - - - -
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2 wit inspect 37     36     460    320 110    0      - - - -
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2 wit inspect 37     36     450    310 110    0      - - - -
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2 wit inspect 37     36     440    320 110    0      - - - -
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2 wit inspect 37     36     500    310 110    0      - - - -
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2 wit inspect 36     35     480    310 110    0      - - - -
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2 wit inspect 37     36     490    310 110    0      - - - -
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 2 wit inspect 53     52     780    450 150    0      - - - -
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 2 wit inspect 52     51     650    450 150    0      - - - -
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 2 wit inspect 39     38     470    480 110    0      - - - -
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 2 wit inspect 39     38     510    480 110    0      - - - -
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2 wit inspect 140     130     2000    150 350    0      - - - -
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2 wit inspect 140     130     1800    150 350    0      - - - -
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2 wit inspect 140     130     2100    150 350    0      - - - -
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2 wit inspect 140     140     1500    150 350    0      - - - -
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2 wit inspect 140     130     1800    150 340    0      - - - -
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2 wit inspect 140     130     1900    150 340    0      - - - -
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2 wit inspect 140     130     2100    150 350    0      - - - -
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2 wit inspect 140     130     1600    150 350    0      - - - -
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2 wit inspect 180     170     2300    190 450    0      - - - -
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2 wit inspect 180     170     2100    190 450    0      - - - -
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2 wit inspect 180     170     2400    200 450    0      - - - -
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2 wit inspect 180     170     2200    190 450    0      - - - -
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2 wit inspect 200     190     2500    210 490    0      - - - -
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2 wit inspect 200     190     2500    210 490    0      - - - -
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   30    25 7.6  0      - - - -
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   29    25 7.6  0      - - - -
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   38    25 7.6  0      - - - -
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   32    25 7.6  0      - - - -
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2 wit inspect 91     88     1100    100 230    0      - - - -
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2 wit inspect 91     89     1200    110 230    0      - - - -
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2 wit inspect 91     89     1100    110 230    0      - - - -
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2 wit inspect 92     89     1300    100 230    0      - - - -
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2 wit inspect 90     88     1100    100 230    0      - - - -
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2 wit inspect 91     88     1200    100 230    0      - - - -
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2 wit inspect 110     100     1300    120 260    0      - - - -
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2 wit inspect 110     100     1200    120 260    0      - - - -
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2 wit inspect 110     100     1400    120 260    0      - - - -
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2 wit inspect 100     100     1300    120 260    0      - - - -
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   31    25 7.5  0      - - - -
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   34    25 7.5  0      - - - -
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2 wit inspect 89     86     1300    110 220    0      - - - -
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2 wit inspect 90     87     1100    100 220    0      - - - -
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2 wit inspect 91     89     1300    110 230    0      - - - -
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2 wit inspect 91     89     1100    100 230    0      - - - -
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2 wit inspect 96     94     1500    110 240    0      - - - -
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2 wit inspect 96     93     1200    110 240    0      - - - -
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2 wit inspect 150     150     1800    160 380    0      - - - -
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2 wit inspect 150     150     2000    160 380    0      - - - -
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2 wit inspect 150     150     1900    160 380    0      - - - -
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2 wit inspect 150     150     2000    160 380    0      - - - -
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2 wit inspect 160     150     2100    170 400    0      - - - -
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2 wit inspect 160     150     1800    170 400    0      - - - -
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2 wit inspect 160     150     2300    170 400    0      - - - -
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2 wit inspect 160     150     2200    170 400    0      - - - -
pthread-wmm/safe016_pso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     11000    1000 1600    0      - - - -
pthread-wmm/safe016_pso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     9700    1000 1600    0      - - - -
pthread-wmm/safe016_tso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     10000    1000 1600    0      - - - -
pthread-wmm/safe016_tso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     11000    1000 1600    0      - - - -
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2 wit inspect 100     99     1300    120 250    0      - - - -
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2 wit inspect 100     100     1300    120 250    0      - - - -
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 2 wit inspect 89     86     1100    100 220    0      - - - -
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 2 wit inspect 89     87     1400    100 220    0      - - - -
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 2 wit inspect 90     87     1000    100 220    0      - - - -
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 2 wit inspect 89     86     1100    100 220    0      - - - -
pthread-wmm/safe019_pso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     12000    960 1700    0      - - - -
pthread-wmm/safe019_pso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     13000    960 1700    0      - - - -
pthread-wmm/safe019_tso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     11000    950 1700    0      - - - -
pthread-wmm/safe019_tso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     10000    950 1700    0      - - - -
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2 wit inspect 93     91     1100    110 230    0      - - - -
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2 wit inspect 93     91     1300    110 230    0      - - - -
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2 wit inspect 94     91     1300    110 230    0      - - - -
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2 wit inspect 93     91     1100    110 230    0      - - - -
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2 wit inspect 90     88     1200    110 230    0      - - - -
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2 wit inspect 90     88     1100    110 230    0      - - - -
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   31    25 7.6  0      - - - -
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   34    25 7.6  0      - - - -
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2 wit inspect 180     170     2200    190 450    0      - - - -
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2 wit inspect 180     170     2200    190 450    0      - - - -
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2 wit inspect 97     94     1400    110 250    0      - - - -
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2 wit inspect 98     95     1100    110 250    0      - - - -
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2 wit inspect 160     160     2200    170 400    0      - - - -
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2 wit inspect 160     160     1900    170 400    0      - - - -
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2 wit inspect 160     160     1800    170 400    0      - - - -
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2 wit inspect 160     160     2400    170 400    0      - - - -
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2 wit inspect 100     100     1300    120 250    0      - - - -
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2 wit inspect 100     99     1400    120 250    0      - - - -
pthread-wmm/safe027_pso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     11000    920 1800    0      - - - -
pthread-wmm/safe027_pso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     12000    920 1800    0      - - - -
pthread-wmm/safe027_tso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     11000    920 1800    0      - - - -
pthread-wmm/safe027_tso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     12000    930 1800    0      - - - -
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2 wit inspect 95     92     1100    110 230    0      - - - -
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2 wit inspect 95     92     1200    110 230    0      - - - -
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2 wit inspect 94     92     1300    110 230    0      - - - -
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2 wit inspect 95     92     1400    110 230    0      - - - -
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 2 wit inspect 2.4   2.3   31    25 7.3  0      - - - -
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 2 wit inspect 2.4   2.4   31    25 7.3  0      - - - -
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2 wit inspect 88     86     1200    100 220    0      - - - -
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2 wit inspect 89     87     1200    110 220    0      - - - -
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2 wit inspect 95     93     1200    110 240    0      - - - -
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2 wit inspect 95     93     1000    110 240    0      - - - -
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2 wit inspect 170     160     2200    170 420    0      - - - -
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2 wit inspect 170     160     2200    170 420    0      - - - -
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 2 wit inspect 2.6   2.5   34    25 7.9  0      - - - -
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 2 wit inspect 2.6   2.5   32    25 7.9  0      - - - -
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2 wit inspect 100     97     1100    110 250    0      - - - -
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2 wit inspect 100     97     1200    110 250    0      - - - -
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 0 wit inspect 900     860     11000    6000 .99 0      - - - -
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 0 wit inspect 900     860     13000    6000 .99 0      - - - -
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2 wit inspect 190     180     2300    190 470    0      - - - -
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2 wit inspect 190     180     2300    190 470    0      - - - -
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2 wit inspect 190     180     2800    190 470    0      - - - -
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2 wit inspect 190     180     2300    190 470    0      - - - -
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2 wit inspect 180     180     2100    190 470    0      - - - -
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2 wit inspect 180     180     2300    190 470    0      - - - -
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 2 wit inspect 2.9   2.8   35    25 8.6  0      - - - -
pthread-wmm/safe036_power.opt_true-unreach-call.i true 2 wit inspect 2.9   2.8   41    25 8.5  0      - - - -
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 2 wit inspect 2.9   2.8   41    25 8.5  0      - - - -
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 2 wit inspect 2.9   2.8   31    25 8.6  0      - - - -
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 2 wit inspect 2.9   2.8   35    25 8.5  0      - - - -
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 2 wit inspect 2.9   2.8   37    25 8.6  0      - - - -
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 2 wit inspect 2.9   2.8   37    25 8.6  0      - - - -
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 2 wit inspect 2.9   2.8   37    25 8.5  0      - - - -
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2 wit inspect 110     100     1300    120 280    0      - - - -
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2 wit inspect 110     100     1400    120 280    0      - - - -
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 2 wit inspect 110     100     1400    110 280    0      - - - -
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2 wit inspect 110     100     1300    120 280    0      - - - -
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2 wit inspect 110     110     1400    120 280    0      - - - -
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2 wit inspect 110     110     1300    110 280    0      - - - -
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2 wit inspect 110     110     1500    120 280    0      - - - -
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2 wit inspect 110     100     1300    120 280    0      - - - -
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   32    25 7.6  0      - - - -
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   35    25 7.6  0      - - - -
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 2 wit inspect 2.5   2.4   30    25 7.6  0      - - - -
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 2 wit inspect 2.5   2.4   33    25 7.5  0      - - - -
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2 wit inspect 92     89     1100    100 230    0      - - - -
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2 wit inspect 92     89     1300    110 230    0      - - - -
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2 wit inspect 91     89     1200    110 230    0      - - - -
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2 wit inspect 91     89     1100    110 230    0      - - - -
pthread-wmm/thin002_pso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     11000    900 1800    0      - - - -
pthread-wmm/thin002_pso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     11000    900 1800    0      - - - -
pthread-wmm/thin002_tso.oepc_true-unreach-call.i timeout 0 wit inspect 900     870     10000    890 1800    0      - - - -
pthread-wmm/thin002_tso.opt_true-unreach-call.i timeout 0 wit inspect 900     870     11000    900 1800    0      - - - -
pthread-lit/fkp2013_false-unreach-call.i true -32 wit inspect 6.5   6.3   89    25 17    0      - - - -
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) 1 wit inspect .13  .12  1.1  25 .99 0      - - - -
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 1 wit inspect .098 .097 1.1  25 .84 0      - - - -
pthread-lit/fk2012_true-unreach-call.i out of memory 0 wit inspect 210     200     2800    15000 .97 0      - - - -
pthread-lit/fkp2013_true-unreach-call.i true 2 wit inspect 6.5   6.3   90    25 17    0      - - - -
pthread-lit/fkp2013_variant_true-unreach-call.i false(unreach-call) -16 wit inspect .27  .26  3.2  40 .99 0      - - - -
pthread-lit/fkp2014_true-unreach-call.i true 2 wit inspect .74  .71  8.0  25 2.7  0      - - - -
pthread-lit/qw2004_true-unreach-call.i true 2 wit inspect .28  .27  2.9  25 1.5  0      - - - -
pthread-lit/qw2004_variant_true-unreach-call.i true 2 wit inspect 42     41     530    52 120    0      - - - -
pthread-lit/sssc12_true-unreach-call.i true 2 wit inspect 1.8   1.7   23    170 2.0  0      - - - -
pthread-lit/sssc12_variant_true-unreach-call.i false(unreach-call) -16 wit inspect 4.4   4.2   53    530 .99 0      - - - -
ldv-races/race-1_1-join_true-unreach-call.i false(unreach-call) -16 wit inspect .16  .16  1.2  27 .99 0      - - - -
ldv-races/race-2_1-container_of_true-unreach-call.i false(unreach-call) -16 wit inspect .18  .18  2.3  28 .84 0      - - - -
ldv-races/race-3_1-container_of-global_true-unreach-call.i false(unreach-call) -16 wit inspect .21  .21  2.2  28 .99 0      - - - -
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i false(unreach-call) -16 wit inspect .20  .20  2.0  28 .84 0      - - - -
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 1 wit inspect .17  .17  1.8  27 .84 0      - - - -
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 1 wit inspect .15  .15  1.5  28 .84 0      - - - -
ldv-races/race-2_2-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1   3.0   38    170 2.7  0      - - - -
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .19  .19  2.5  28 .84 0      - - - -
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .21  .21  2.4  28 .99 0      - - - -
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3   1.3   17    29 .99 0      - - - -
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 1 wit inspect .17  .17  1.9  28 .84 0      - - - -
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 1 wit inspect .17  .17  1.8  28 .99 0      - - - -
pthread-complex/bounded_buffer_false-unreach-call.i out of memory 0 wit inspect 420     410     4900    15000 .99 0      - - - -
pthread-complex/elimination_backoff_stack_false-unreach-call.i timeout 0 wit inspect 900     900     9500    1100 .99 0      - - - -
pthread-complex/safestack_relacy_false-unreach-call.i unknown 0 wit inspect .12  .12  1.4  28 .99 0      - - - -
pthread-complex/workstealqueue_mutex_false-unreach-call.i timeout 0 wit inspect 900     900     8100    1300 .99 0      - - - -
pthread-complex/workstealqueue_mutex_true-unreach-call.i timeout 0 wit inspect 900     900     7500    2500 .99 0      - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect 6.5   6.4   77    140 8.6  0      - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i true 2 wit inspect 100     100     1300    1500 110    .0041 - - - -
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i true 2 wit inspect 100     100     1400    1500 110    0      - - - -
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i true 2 wit inspect 87     86     1100    880 100    0      - - - -
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect 86     85     1100    880 100    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 92     91     1200    1200 150    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 72     72     900    1100 110    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 31     30     370    440 48    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 28     27     340    110 48    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 100     99     1200    1100 150    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 19     19     250    410 29    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 66     65     890    880 97    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 2 wit inspect 37     36     520    720 55    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect 13     13     150    250 20    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect 8.6   8.5   110    300 12    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect 7.7   7.6   100    200 12    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect 47     47     580    1100 63    0      - - - -
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 1 wit inspect 44     43     480    1000 23    0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 1 wit inspect 2.8   2.7   34    170 .84 0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 1 wit inspect 4.1   4.0   54    240 .84 0      - - - -
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7   1.7   20    140 .84 0      - - - -
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 2 wit inspect 1.9   1.7   22    38 .85 0      - - - -
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i true 2 wit inspect .22  .21  3.2  29 1.1  0      - - - -
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i timeout 0 wit inspect 900     900     7600    1200 .84 0      - - - -
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i true -32 wit inspect .17  .17  1.7  27 1.0  0      - - - -
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
total 1047 654 240000   230000   3000000 1200000 82000   .0082 1047 1047 1047 1047
local summary 6300  
    correct results 843 1038 87000   82000   1100000 460000 34000   .0041 0 0 0 0
        correct true 195 390 14000   13000   180000 53000 33000   .0041 0 0 0 0
        correct false 648 648 73000   69000   910000 410000 670   0      0 0 0 0
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 15 -384 62   60   850 1300 160   0      0 0 0 0
        incorrect true 9 -288 56   55   780 570 160   0      0 0 0 0
        incorrect false 6 -96 5.4 5.2 64 680 5.6 0      0 0 0 0
score (1047 tasks, max score: 1293) 654
Run set sv-comp17