Tool ConSequence
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS [Linux 4.4.0-57-generic; 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-10 19:36:00 CET
Run set sv-comp17
../../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 true -32 wit inspect 34    13    270   260 24 0      - - - -
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 27    9.7  160   270 24 0      - - - -
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 31    11    170   260 24 0      - - - -
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 63    37    600   260 23 0      - - - -
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect 3.7  1.7  27   260 24 0      - - - -
pthread/queue_false-unreach-call.i unknown 0 wit inspect 4.7  1.8  32   270 24 0      - - - -
pthread/queue_longer_false-unreach-call.i unknown 0 wit inspect 6.2  2.2  45   260 23 0      - - - -
pthread/queue_longest_false-unreach-call.i unknown 0 wit inspect 6.8  2.3  40   260 23 0      - - - -
pthread/reorder_2_false-unreach-call.i unknown 0 wit inspect 4.1  1.7  32   260 23 0      - - - -
pthread/reorder_5_false-unreach-call.i unknown 0 wit inspect 4.5  1.8  31   270 24 0      - - - -
pthread/sigma_false-unreach-call.i unknown 0 wit inspect 5.7  2.1  34   270 24 0      - - - -
pthread/singleton_false-unreach-call.i unknown 0 wit inspect 4.2  1.6  31   270 23 .0041 - - - -
pthread/stack_false-unreach-call.i unknown 0 wit inspect 6.7  2.4  37   250 23 0      - - - -
pthread/stack_longer_false-unreach-call.i unknown 0 wit inspect 6.1  2.1  37   270 23 0      - - - -
pthread/stack_longest_false-unreach-call.i unknown 0 wit inspect 6.5  2.2  37   250 24 0      - - - -
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect 3.9  1.8  27   250 23 0      - - - -
pthread/twostage_3_false-unreach-call.i unknown 0 wit inspect 4.3  1.8  30   260 24 0      - - - -
pthread/bigshot_s2_true-unreach-call.i true 2 wit inspect 35    13    270   260 24 0      - - - -
pthread/bigshot_s_true-unreach-call.i true 2 wit inspect 34    13    280   260 24 .0041 - - - -
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 50    21    350   260 31 0      - - - -
pthread/fib_bench_longest_true-unreach-call.i true 2 wit inspect 130    100    1600   260 24 0      - - - -
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 51    19    300   260 24 0      - - - -
pthread/indexer_true-unreach-call.i unknown 0 wit inspect 5.7  2.1  38   260 23 .045  - - - -
pthread/queue_ok_longer_true-unreach-call.i unknown 0 wit inspect 6.0  2.2  40   250 26 0      - - - -
pthread/queue_ok_longest_true-unreach-call.i unknown 0 wit inspect 6.5  2.3  40   260 23 0      - - - -
pthread/queue_ok_true-unreach-call.i unknown 0 wit inspect 6.2  2.3  38   250 23 0      - - - -
pthread/singleton_with-uninit-problems_true-unreach-call.i unknown 0 wit inspect 3.9  1.6  30   260 24 0      - - - -
pthread/stack_longer_true-unreach-call.i unknown 0 wit inspect 6.2  2.2  40   250 23 0      - - - -
pthread/stack_longest_true-unreach-call.i unknown 0 wit inspect 6.1  2.2  37   250 23 0      - - - -
pthread/stack_true-unreach-call.i unknown 0 wit inspect 6.0  2.1  41   250 23 0      - - - -
pthread/stateful01_true-unreach-call.i true 2 wit inspect 3.9  1.8  28   250 23 0      - - - -
pthread/sync01_true-unreach-call.i unknown 0 wit inspect 3.9  1.7  25   260 23 0      - - - -
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect 5.7  2.9  42   260 23 .37   - - - -
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect 4.5  2.0  30   250 29 .057  - - - -
pthread-atomic/dekker_true-unreach-call.i false(unreach-call) -16 wit inspect 4.0  1.8  28   260 23 0      - - - -
pthread-atomic/gcd_true-unreach-call_true-termination.i true 2 wit inspect 44    21    360   260 24 0      - - - -
pthread-atomic/lamport_true-unreach-call.i false(unreach-call) -16 wit inspect 4.2  1.9  32   250 23 0      - - - -
pthread-atomic/peterson_true-unreach-call.i false(unreach-call) -16 wit inspect 3.9  1.8  29   260 23 0      - - - -
pthread-atomic/qrcu_true-unreach-call.i false(unreach-call) -16 wit inspect 5.1  2.7  39   260 23 0      - - - -
pthread-atomic/read_write_lock_true-unreach-call.i false(unreach-call) -16 wit inspect 4.2  2.0  30   250 23 0      - - - -
pthread-atomic/scull_true-unreach-call.i unknown 0 wit inspect 4.9  1.9  34   260 23 0      - - - -
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 35    15    270   260 24 0      - - - -
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 4.0  1.8  29   250 23 0      - - - -
pthread-ext/25_stack_longer_false-unreach-call.i unknown 0 wit inspect 4.3  1.7  28   270 23 0      - - - -
pthread-ext/25_stack_longest_false-unreach-call.i unknown 0 wit inspect 4.5  1.7  30   250 23 0      - - - -
pthread-ext/26_stack_cas_longer_false-unreach-call.i unknown 0 wit inspect 4.3  1.7  34   260 23 0      - - - -
pthread-ext/26_stack_cas_longest_false-unreach-call.i unknown 0 wit inspect 4.4  1.8  33   250 24 0      - - - -
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 1 wit inspect 4.1  1.8  34   260 23 0      - - - -
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) 1 wit inspect 7.7  2.8  56   270 23 0      - - - -
pthread-ext/32_pthread5_vs_false-unreach-call.i false(unreach-call) 1 wit inspect 8.4  3.7  63   250 23 0      - - - -
pthread-ext/40_barrier_vf_false-unreach-call.i error (2) 0 wit inspect .27 .30 2.3 50 23 0      - - - -
pthread-ext/01_inc_true-unreach-call.i true 2 wit inspect 35    14    270   260 24 0      - - - -
pthread-ext/02_inc_cas_true-unreach-call.i unknown 0 wit inspect 4.1  1.6  27   250 23 .0041 - - - -
pthread-ext/03_incdec_true-unreach-call.i true 2 wit inspect 49    26    380   260 24 0      - - - -
pthread-ext/04_incdec_cas_true-unreach-call.i unknown 0 wit inspect 4.0  1.6  29   250 23 .0041 - - - -
pthread-ext/05_tas_true-unreach-call.i unknown 0 wit inspect 3.9  1.6  27   250 23 0      - - - -
pthread-ext/06_ticket_true-unreach-call.i true 2 wit inspect 39    17    250   260 24 0      - - - -
pthread-ext/07_rand_true-unreach-call.i true 2 wit inspect 37    16    340   260 24 0      - - - -
pthread-ext/08_rand_cas_true-unreach-call.i unknown 0 wit inspect 4.6  1.8  30   260 23 0      - - - -
pthread-ext/09_fmaxsym_true-unreach-call.i true 2 wit inspect 40    20    330   340 24 0      - - - -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i false(unreach-call) -16 wit inspect 12    4.5  77   260 23 0      - - - -
pthread-ext/11_fmaxsymopt_true-unreach-call.i true 2 wit inspect 44    23    380   260 23 .0041 - - - -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i false(unreach-call) -16 wit inspect 12    4.5  86   260 24 0      - - - -
pthread-ext/13_unverif_true-unreach-call.i true 2 wit inspect 35    15    310   260 24 0      - - - -
pthread-ext/14_spin2003_true-unreach-call.i true 2 wit inspect 34    12    220   260 24 0      - - - -
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect 37    16    280   260 24 0      - - - -
pthread-ext/16_peterson_true-unreach-call.i unknown 0 wit inspect 4.0  1.6  24   250 23 0      - - - -
pthread-ext/17_szymanski_true-unreach-call.i timeout (true) 0 wit inspect 960    940    13000   3800 24 0      - - - -
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect 4.0  1.7  30   250 23 0      - - - -
pthread-ext/19_time_var_mutex_true-unreach-call.i unknown 0 wit inspect 4.2  1.6  29   250 23 0      - - - -
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 53    31    510   960 24 0      - - - -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i unknown 0 wit inspect 3.9  1.6  29   250 23 0      - - - -
pthread-ext/25_stack_longer_true-unreach-call.i unknown 0 wit inspect 4.4  1.8  30   260 24 0      - - - -
pthread-ext/25_stack_longest_true-unreach-call.i unknown 0 wit inspect 4.3  1.7  35   260 23 0      - - - -
pthread-ext/25_stack_true-unreach-call.i unknown 0 wit inspect 4.3  1.7  30   270 23 0      - - - -
pthread-ext/26_stack_cas_longer_true-unreach-call.i unknown 0 wit inspect 4.5  1.8  29   260 23 0      - - - -
pthread-ext/26_stack_cas_longest_true-unreach-call.i unknown 0 wit inspect 4.4  1.8  29   260 23 0      - - - -
pthread-ext/26_stack_cas_true-unreach-call.i unknown 0 wit inspect 4.2  1.7  34   260 23 .17   - - - -
pthread-ext/29_conditionals_vs_true-unreach-call.i true 2 wit inspect 35    13    260   260 24 0      - - - -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error (2) 0 wit inspect 3.8  1.5  28   260 23 0      - - - -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i true 2 wit inspect 140    110    1500   2900 24 0      - - - -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i unknown 0 wit inspect 4.1  1.6  27   250 23 0      - - - -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i unknown 0 wit inspect 4.0  1.6  32   260 23 0      - - - -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i unknown 0 wit inspect 3.8  1.6  26   250 23 0      - - - -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i unknown 0 wit inspect 4.1  1.6  27   250 23 0      - - - -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i timeout (true) 0 wit inspect 960    950    8300   730 24 0      - - - -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i timeout 0 wit inspect 960    960    7200   5400 23 0      - - - -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i true 2 wit inspect 34    13    280   260 24 0      - - - -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error (2) 0 wit inspect .31 .34 2.5 50 24 0      - - - -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error (2) 0 wit inspect .31 .35 2.3 50 23 0      - - - -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error (2) 0 wit inspect .29 .32 2.6 51 23 0      - - - -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error (2) 0 wit inspect .34 .37 2.6 50 23 0      - - - -
pthread-ext/45_monabsex1_vs_true-unreach-call.i true 2 wit inspect 30    12    240   250 24 0      - - - -
pthread-ext/46_monabsex2_vs_true-unreach-call.i error (2) 0 wit inspect .32 .36 2.6 50 23 .15   - - - -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i true 2 wit inspect 34    15    260   250 24 0      - - - -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i true 2 wit inspect 33    12    250   260 23 0      - - - -
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    130   270 23 0      - - - -
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    130   260 23 0      - - - -
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    140   260 23 0      - - - -
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    160   260 23 .0041 - - - -
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    150   260 23 0      - - - -
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    140   260 23 0      - - - -
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    170   260 23 .14   - - - -
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    11    140   260 23 0      - - - -
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    340   460 23 0      - - - -
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    260   380 23 0      - - - -
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    420   470 23 0      - - - -
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    330   390 23 0      - - - -
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    420   470 24 0      - - - -
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    340   390 23 0      - - - -
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    340   470 23 0      - - - -
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    260   390 23 0      - - - -
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21    19    230   350 23 0      - - - -
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    25    280   400 23 0      - - - -
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    240   350 23 0      - - - -
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    310   400 23 0      - - - -
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    250   340 23 0      - - - -
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    290   400 23 0      - - - -
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    250   340 23 0      - - - -
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    25    290   400 23 0      - - - -
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    220   300 23 0      - - - -
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    270   350 23 0      - - - -
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    160   300 24 0      - - - -
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    230   350 23 0      - - - -
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    190   300 23 0      - - - -
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    220   350 23 0      - - - -
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    230   350 24 0      - - - -
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    220   350 23 0      - - - -
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    170   300 23 0      - - - -
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    230   350 24 0      - - - -
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    420   480 23 0      - - - -
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    430   470 23 0      - - - -
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37    35    390   470 23 0      - - - -
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    370   470 23 0      - - - -
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    410   470 23 0      - - - -
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    450   470 23 0      - - - -
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37    34    370   470 23 .0041 - - - -
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37    34    370   470 23 0      - - - -
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    30    310   440 24 0      - - - -
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    340   440 23 0      - - - -
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    360   440 23 0      - - - -
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30    28    360   440 23 0      - - - -
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    360   440 23 0      - - - -
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    390   440 23 0      - - - -
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    360   440 23 0      - - - -
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    330   440 23 0      - - - -
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    170   270 23 0      - - - -
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20    17    230   320 23 0      - - - -
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    160   270 23 .0041 - - - -
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20    17    250   330 23 0      - - - -
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    170   270 23 0      - - - -
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20    17    210   330 23 0      - - - -
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 100    99    960   790 23 0      - - - -
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20    17    180   330 23 0      - - - -
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    30    390   440 23 0      - - - -
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    390   440 23 0      - - - -
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    330   440 23 0      - - - -
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    320   440 23 0      - - - -
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    330   440 23 .12   - - - -
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    340   440 23 0      - - - -
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    310   440 23 0      - - - -
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    380   440 23 0      - - - -
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    25    290   410 23 0      - - - -
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    290   410 24 0      - - - -
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    25    280   410 23 0      - - - -
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    260   410 23 0      - - - -
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28    25    310   410 23 0      - - - -
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    280   410 23 0      - - - -
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 180    170    1600   960 23 0      - - - -
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    330   410 23 0      - - - -
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6  7.1  93   260 23 0      - - - -
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    150   270 23 0      - - - -
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.5  7.0  95   260 23 0      - - - -
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    150   260 24 0      - - - -
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7  7.1  89   260 24 0      - - - -
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    160   270 24 0      - - - -
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.5  7.0  85   250 23 0      - - - -
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    170   260 23 0      - - - -
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    200   310 23 0      - - - -
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    250   360 23 .066  - - - -
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    230   310 23 0      - - - -
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    290   360 23 0      - - - -
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19    16    210   310 24 0      - - - -
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    240   360 23 0      - - - -
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    170   310 23 0      - - - -
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    260   360 23 0      - - - -
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    170   280 23 0      - - - -
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    19    200   340 23 0      - - - -
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    200   280 28 0      - - - -
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    260   340 23 0      - - - -
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    170   280 23 0      - - - -
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    19    220   340 23 0      - - - -
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    180   280 23 0      - - - -
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    230   340 24 0      - - - -
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.9  5.5  64   250 23 0      - - - -
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.9  5.5  69   260 23 0      - - - -
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0  5.5  71   260 23 0      - - - -
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.4  110   260 23 0      - - - -
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.8  5.3  75   260 23 0      - - - -
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0  5.5  76   260 23 0      - - - -
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0  5.5  86   260 23 0      - - - -
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.5  110   260 23 0      - - - -
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    34    360   470 23 0      - - - -
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    410   470 23 0      - - - -
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37    34    410   470 23 0      - - - -
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37    34    390   470 24 0      - - - -
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    320   470 30 0      - - - -
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35    33    420   470 23 0      - - - -
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36    33    370   470 23 0      - - - -
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36    34    400   470 24 0      - - - -
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    30    340   440 23 0      - - - -
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    350   440 23 0      - - - -
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    320   440 23 0      - - - -
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    28    300   440 23 0      - - - -
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32    29    290   440 23 0      - - - -
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    340   440 24 0      - - - -
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 240    240    1800   1100 23 0      - - - -
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31    29    300   440 23 0      - - - -
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    210   310 23 0      - - - -
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    20    230   360 23 0      - - - -
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    170   310 23 0      - - - -
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    20    240   360 23 0      - - - -
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    170   310 23 0      - - - -
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    20    240   360 23 0      - - - -
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    170   310 23 .23   - - - -
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    260   360 23 0      - - - -
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    150   260 23 0      - - - -
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    170   250 23 0      - - - -
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    150   260 30 0      - - - -
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    180   310 23 0      - - - -
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    130   260 23 0      - - - -
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    170   250 24 0      - - - -
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    12    130   260 23 0      - - - -
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19    16    190   310 23 0      - - - -
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30    28    310   420 23 0      - - - -
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    20    220   350 23 0      - - - -
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30    27    350   420 23 0      - - - -
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30    27    320   420 23 0      - - - -
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30    27    300   430 23 0      - - - -
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22    20    250   350 23 0      - - - -
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29    27    300   430 23 0      - - - -
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29    27    290   420 23 0      - - - -
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    310   400 23 0      - - - -
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25    23    240   390 23 0      - - - -
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    300   400 23 0      - - - -
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    270   390 23 0      - - - -
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    25    270   400 24 0      - - - -
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    23    270   390 23 0      - - - -
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    340   400 23 0      - - - -
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    23    310   390 23 0      - - - -
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    130   260 23 0      - - - -
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    170   290 23 0      - - - -
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    11    130   260 23 0      - - - -
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 17    14    160   290 23 0      - - - -
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    11    130   260 23 0      - - - -
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    190   290 23 0      - - - -
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    140   260 23 0      - - - -
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 17    14    170   290 23 0      - - - -
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    280   400 23 0      - - - -
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25    22    250   390 23 0      - - - -
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    280   400 23 0      - - - -
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25    23    290   390 23 0      - - - -
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26    23    300   400 23 0      - - - -
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25    22    280   390 23 0      - - - -
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    300   400 23 0      - - - -
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25    22    280   390 24 0      - - - -
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    230   370 23 0      - - - -
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    260   370 23 0      - - - -
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    22    240   370 23 0      - - - -
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    300   360 23 0      - - - -
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    22    230   370 23 0      - - - -
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    20    220   360 23 0      - - - -
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    180   310 23 0      - - - -
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    240   360 23 0      - - - -
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.4  4.9  58   260 23 0      - - - -
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.5  4.9  74   260 23 0      - - - -
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.5  5.0  65   260 23 0      - - - -
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.3  4.9  78   260 23 0      - - - -
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 7.5  5.0  63   260 23 0      - - - -
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 7.3  4.8  66   260 23 0      - - - -
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11    8.6  110   250 23 0      - - - -
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 11    8.7  110   260 23 0      - - - -
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28    25    260   410 23 0      - - - -
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    200   340 23 0      - - - -
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28    26    290   410 24 0      - - - -
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    240   340 23 0      - - - -
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28    25    290   410 24 0      - - - -
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    200   340 23 .0041 - - - -
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 240    240    1700   1100 23 0      - - - -
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 210    210    2300   1100 23 0      - - - -
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    180   280 23 0      - - - -
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    140   270 23 0      - - - -
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    160   280 23 0      - - - -
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    150   270 23 0      - - - -
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    190   280 23 0      - - - -
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    160   270 23 0      - - - -
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    14    150   280 23 0      - - - -
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    14    160   280 23 0      - - - -
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    11    130   260 23 0      - - - -
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    11    140   260 23 0      - - - -
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    11    130   250 23 0      - - - -
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    140   260 23 0      - - - -
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    130   260 23 0      - - - -
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    150   260 23 0      - - - -
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13    10    130   260 23 0      - - - -
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13    11    130   250 24 0      - - - -
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    280   400 23 0      - - - -
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    250   380 24 0      - - - -
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26    23    350   400 23 0      - - - -
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20    18    220   330 23 0      - - - -
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    300   400 30 0      - - - -
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19    17    200   330 23 .066  - - - -
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27    24    320   400 23 0      - - - -
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26    24    260   390 23 0      - - - -
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23    21    220   370 23 0      - - - -
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    190   300 23 0      - - - -
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    22    230   370 23 0      - - - -
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    180   300 23 0      - - - -
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    240   370 23 0      - - - -
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    190   300 23 0      - - - -
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    250   370 23 0      - - - -
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    270   370 23 0      - - - -
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.1  110   260 24 0      - - - -
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.0  110   260 23 0      - - - -
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.1  120   260 23 0      - - - -
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 11    8.9  120   270 23 0      - - - -
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12    8.9  110   260 23 .13   - - - -
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 11    8.9  120   270 23 0      - - - -
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15    13    150   280 23 0      - - - -
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    150   270 23 0      - - - -
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    240   370 23 0      - - - -
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    180   310 23 0      - - - -
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    260   370 23 0      - - - -
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    15    160   310 23 0      - - - -
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    300   370 23 .0041 - - - -
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18    16    200   310 23 0      - - - -
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    250   370 23 0      - - - -
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24    21    250   370 24 0      - - - -
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    230   350 24 0      - - - -
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    160   290 23 0      - - - -
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22    19    220   350 23 0      - - - -
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    150   290 23 0      - - - -
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21    19    260   350 24 0      - - - -
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16    13    160   290 23 0      - - - -
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    210   350 23 0      - - - -
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21    18    260   350 23 0      - - - -
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7  7.2  110   250 23 0      - - - -
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7  7.2  100   250 23 0      - - - -
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10    7.4  99   260 24 0      - - - -
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6  7.2  82   250 23 0      - - - -
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6  7.2  110   260 23 0      - - - -
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6  7.2  92   260 23 0      - - - -
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.9  7.4  88   270 23 0      - - - -
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7  7.2  93   260 23 0      - - - -
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19    17    220   320 23 0      - - - -
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    130   260 23 0      - - - -
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19    17    190   320 23 0      - - - -
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    160   260 23 .0041 - - - -
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19    17    190   320 24 0      - - - -
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    11    150   260 23 0      - - - -
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19    16    220   320 23 0      - - - -
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14    12    130   260 23 0      - - - -
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    180   300 23 0      - - - -
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.6  140   260 23 0      - - - -
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    14    200   290 23 0      - - - -
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12    9.6  130   260 23 0      - - - -
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17    15    190   300 23 0      - - -