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 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 34    13    270   260 24 0     
pthread/fib_bench_false-unreach-call.i 27    9.7  160   270 24 0     
pthread/fib_bench_longer_false-unreach-call.i 31    11    170   260 24 0     
pthread/fib_bench_longest_false-unreach-call.i 63    37    600   260 23 0     
pthread/lazy01_false-unreach-call.i 3.7  1.7  27   260 24 0     
pthread/queue_false-unreach-call.i 4.7  1.8  32   270 24 0     
pthread/queue_longer_false-unreach-call.i 6.2  2.2  45   260 23 0     
pthread/queue_longest_false-unreach-call.i 6.8  2.3  40   260 23 0     
pthread/reorder_2_false-unreach-call.i 4.1  1.7  32   260 23 0     
pthread/reorder_5_false-unreach-call.i 4.5  1.8  31   270 24 0     
pthread/sigma_false-unreach-call.i 5.7  2.1  34   270 24 0     
pthread/singleton_false-unreach-call.i 4.2  1.6  31   270 23 .0041
pthread/stack_false-unreach-call.i 6.7  2.4  37   250 23 0     
pthread/stack_longer_false-unreach-call.i 6.1  2.1  37   270 23 0     
pthread/stack_longest_false-unreach-call.i 6.5  2.2  37   250 24 0     
pthread/stateful01_false-unreach-call.i 3.9  1.8  27   250 23 0     
pthread/twostage_3_false-unreach-call.i 4.3  1.8  30   260 24 0     
pthread/bigshot_s2_true-unreach-call.i 35    13    270   260 24 0     
pthread/bigshot_s_true-unreach-call.i 34    13    280   260 24 .0041
pthread/fib_bench_longer_true-unreach-call.i 50    21    350   260 31 0     
pthread/fib_bench_longest_true-unreach-call.i 130    100    1600   260 24 0     
pthread/fib_bench_true-unreach-call.i 51    19    300   260 24 0     
pthread/indexer_true-unreach-call.i 5.7  2.1  38   260 23 .045 
pthread/queue_ok_longer_true-unreach-call.i 6.0  2.2  40   250 26 0     
pthread/queue_ok_longest_true-unreach-call.i 6.5  2.3  40   260 23 0     
pthread/queue_ok_true-unreach-call.i 6.2  2.3  38   250 23 0     
pthread/singleton_with-uninit-problems_true-unreach-call.i 3.9  1.6  30   260 24 0     
pthread/stack_longer_true-unreach-call.i 6.2  2.2  40   250 23 0     
pthread/stack_longest_true-unreach-call.i 6.1  2.2  37   250 23 0     
pthread/stack_true-unreach-call.i 6.0  2.1  41   250 23 0     
pthread/stateful01_true-unreach-call.i 3.9  1.8  28   250 23 0     
pthread/sync01_true-unreach-call.i 3.9  1.7  25   260 23 0     
pthread-atomic/qrcu_false-unreach-call.i 5.7  2.9  42   260 23 .37  
pthread-atomic/read_write_lock_false-unreach-call.i 4.5  2.0  30   250 29 .057 
pthread-atomic/dekker_true-unreach-call.i 4.0  1.8  28   260 23 0     
pthread-atomic/gcd_true-unreach-call_true-termination.i 44    21    360   260 24 0     
pthread-atomic/lamport_true-unreach-call.i 4.2  1.9  32   250 23 0     
pthread-atomic/peterson_true-unreach-call.i 3.9  1.8  29   260 23 0     
pthread-atomic/qrcu_true-unreach-call.i 5.1  2.7  39   260 23 0     
pthread-atomic/read_write_lock_true-unreach-call.i 4.2  2.0  30   250 23 0     
pthread-atomic/scull_true-unreach-call.i 4.9  1.9  34   260 23 0     
pthread-atomic/szymanski_true-unreach-call.i 35    15    270   260 24 0     
pthread-atomic/time_var_mutex_true-unreach-call.i 4.0  1.8  29   250 23 0     
pthread-ext/25_stack_longer_false-unreach-call.i 4.3  1.7  28   270 23 0     
pthread-ext/25_stack_longest_false-unreach-call.i 4.5  1.7  30   250 23 0     
pthread-ext/26_stack_cas_longer_false-unreach-call.i 4.3  1.7  34   260 23 0     
pthread-ext/26_stack_cas_longest_false-unreach-call.i 4.4  1.8  33   250 24 0     
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 4.1  1.8  34   260 23 0     
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 7.7  2.8  56   270 23 0     
pthread-ext/32_pthread5_vs_false-unreach-call.i 8.4  3.7  63   250 23 0     
pthread-ext/40_barrier_vf_false-unreach-call.i .27 .30 2.3 50 23 0     
pthread-ext/01_inc_true-unreach-call.i 35    14    270   260 24 0     
pthread-ext/02_inc_cas_true-unreach-call.i 4.1  1.6  27   250 23 .0041
pthread-ext/03_incdec_true-unreach-call.i 49    26    380   260 24 0     
pthread-ext/04_incdec_cas_true-unreach-call.i 4.0  1.6  29   250 23 .0041
pthread-ext/05_tas_true-unreach-call.i 3.9  1.6  27   250 23 0     
pthread-ext/06_ticket_true-unreach-call.i 39    17    250   260 24 0     
pthread-ext/07_rand_true-unreach-call.i 37    16    340   260 24 0     
pthread-ext/08_rand_cas_true-unreach-call.i 4.6  1.8  30   260 23 0     
pthread-ext/09_fmaxsym_true-unreach-call.i 40    20    330   340 24 0     
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 12    4.5  77   260 23 0     
pthread-ext/11_fmaxsymopt_true-unreach-call.i 44    23    380   260 23 .0041
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 12    4.5  86   260 24 0     
pthread-ext/13_unverif_true-unreach-call.i 35    15    310   260 24 0     
pthread-ext/14_spin2003_true-unreach-call.i 34    12    220   260 24 0     
pthread-ext/15_dekker_true-unreach-call.i 37    16    280   260 24 0     
pthread-ext/16_peterson_true-unreach-call.i 4.0  1.6  24   250 23 0     
pthread-ext/17_szymanski_true-unreach-call.i 960    940    13000   3800 24 0     
pthread-ext/18_read_write_lock_true-unreach-call.i 4.0  1.7  30   250 23 0     
pthread-ext/19_time_var_mutex_true-unreach-call.i 4.2  1.6  29   250 23 0     
pthread-ext/20_lamport_true-unreach-call.i 53    31    510   960 24 0     
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 3.9  1.6  29   250 23 0     
pthread-ext/25_stack_longer_true-unreach-call.i 4.4  1.8  30   260 24 0     
pthread-ext/25_stack_longest_true-unreach-call.i 4.3  1.7  35   260 23 0     
pthread-ext/25_stack_true-unreach-call.i 4.3  1.7  30   270 23 0     
pthread-ext/26_stack_cas_longer_true-unreach-call.i 4.5  1.8  29   260 23 0     
pthread-ext/26_stack_cas_longest_true-unreach-call.i 4.4  1.8  29   260 23 0     
pthread-ext/26_stack_cas_true-unreach-call.i 4.2  1.7  34   260 23 .17  
pthread-ext/29_conditionals_vs_true-unreach-call.i 35    13    260   260 24 0     
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 3.8  1.5  28   260 23 0     
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 140    110    1500   2900 24 0     
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 4.1  1.6  27   250 23 0     
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 4.0  1.6  32   260 23 0     
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 3.8  1.6  26   250 23 0     
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 4.1  1.6  27   250 23 0     
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 960    950    8300   730 24 0     
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 960    960    7200   5400 23 0     
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 34    13    280   260 24 0     
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i .31 .34 2.5 50 24 0     
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i .31 .35 2.3 50 23 0     
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i .29 .32 2.6 51 23 0     
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i .34 .37 2.6 50 23 0     
pthread-ext/45_monabsex1_vs_true-unreach-call.i 30    12    240   250 24 0     
pthread-ext/46_monabsex2_vs_true-unreach-call.i .32 .36 2.6 50 23 .15  
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 34    15    260   250 24 0     
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 33    12    250   260 23 0     
pthread-wmm/mix000_power.oepc_false-unreach-call.i 15    12    130   270 23 0     
pthread-wmm/mix000_power.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 14    12    140   260 23 0     
pthread-wmm/mix000_pso.opt_false-unreach-call.i 14    12    160   260 23 .0041
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 14    12    150   260 23 0     
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 14    12    140   260 23 0     
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 14    12    170   260 23 .14  
pthread-wmm/mix000_tso.opt_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/mix001_power.oepc_false-unreach-call.i 36    33    340   460 23 0     
pthread-wmm/mix001_power.opt_false-unreach-call.i 26    24    260   380 23 0     
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 35    33    420   470 23 0     
pthread-wmm/mix001_pso.opt_false-unreach-call.i 27    24    330   390 23 0     
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 36    33    420   470 24 0     
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 26    24    340   390 23 0     
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 35    33    340   470 23 0     
pthread-wmm/mix001_tso.opt_false-unreach-call.i 27    24    260   390 23 0     
pthread-wmm/mix002_power.oepc_false-unreach-call.i 21    19    230   350 23 0     
pthread-wmm/mix002_power.opt_false-unreach-call.i 27    25    280   400 23 0     
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 22    19    240   350 23 0     
pthread-wmm/mix002_pso.opt_false-unreach-call.i 27    24    310   400 23 0     
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 22    19    250   340 23 0     
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 27    24    290   400 23 0     
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 22    19    250   340 23 0     
pthread-wmm/mix002_tso.opt_false-unreach-call.i 27    25    290   400 23 0     
pthread-wmm/mix003_power.oepc_false-unreach-call.i 17    15    220   300 23 0     
pthread-wmm/mix003_power.opt_false-unreach-call.i 22    19    270   350 23 0     
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 17    15    160   300 24 0     
pthread-wmm/mix003_pso.opt_false-unreach-call.i 22    20    230   350 23 0     
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 17    15    190   300 23 0     
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 22    20    220   350 23 0     
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 22    20    230   350 24 0     
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 22    20    220   350 23 0     
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 17    15    170   300 23 0     
pthread-wmm/mix003_tso.opt_false-unreach-call.i 22    20    230   350 24 0     
pthread-wmm/mix004_power.oepc_false-unreach-call.i 36    33    420   480 23 0     
pthread-wmm/mix004_power.opt_false-unreach-call.i 35    33    430   470 23 0     
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 37    35    390   470 23 0     
pthread-wmm/mix004_pso.opt_false-unreach-call.i 35    33    370   470 23 0     
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 36    33    410   470 23 0     
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 35    33    450   470 23 0     
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 37    34    370   470 23 .0041
pthread-wmm/mix004_tso.opt_false-unreach-call.i 37    34    370   470 23 0     
pthread-wmm/mix005_power.oepc_false-unreach-call.i 32    30    310   440 24 0     
pthread-wmm/mix005_power.opt_false-unreach-call.i 31    28    340   440 23 0     
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 31    28    360   440 23 0     
pthread-wmm/mix005_pso.opt_false-unreach-call.i 30    28    360   440 23 0     
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 32    29    360   440 23 0     
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 31    28    390   440 23 0     
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 31    29    360   440 23 0     
pthread-wmm/mix005_tso.opt_false-unreach-call.i 31    28    330   440 23 0     
pthread-wmm/mix006_power.oepc_false-unreach-call.i 16    13    170   270 23 0     
pthread-wmm/mix006_power.opt_false-unreach-call.i 20    17    230   320 23 0     
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 16    13    160   270 23 .0041
pthread-wmm/mix006_pso.opt_false-unreach-call.i 20    17    250   330 23 0     
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 16    13    170   270 23 0     
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 20    17    210   330 23 0     
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 100    99    960   790 23 0     
pthread-wmm/mix006_tso.opt_false-unreach-call.i 20    17    180   330 23 0     
pthread-wmm/mix007_power.oepc_false-unreach-call.i 32    30    390   440 23 0     
pthread-wmm/mix007_power.opt_false-unreach-call.i 31    28    390   440 23 0     
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 32    29    330   440 23 0     
pthread-wmm/mix007_pso.opt_false-unreach-call.i 32    29    320   440 23 0     
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 31    29    330   440 23 .12  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 32    29    340   440 23 0     
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 31    29    310   440 23 0     
pthread-wmm/mix007_tso.opt_false-unreach-call.i 32    29    380   440 23 0     
pthread-wmm/mix008_power.oepc_false-unreach-call.i 27    25    290   410 23 0     
pthread-wmm/mix008_power.opt_false-unreach-call.i 26    24    290   410 24 0     
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 27    25    280   410 23 0     
pthread-wmm/mix008_pso.opt_false-unreach-call.i 26    24    260   410 23 0     
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 28    25    310   410 23 0     
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 26    24    280   410 23 0     
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 180    170    1600   960 23 0     
pthread-wmm/mix008_tso.opt_false-unreach-call.i 27    24    330   410 23 0     
pthread-wmm/mix009_power.oepc_false-unreach-call.i 9.6  7.1  93   260 23 0     
pthread-wmm/mix009_power.opt_false-unreach-call.i 15    12    150   270 23 0     
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 9.5  7.0  95   260 23 0     
pthread-wmm/mix009_pso.opt_false-unreach-call.i 15    12    150   260 24 0     
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 9.7  7.1  89   260 24 0     
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 15    12    160   270 24 0     
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 9.5  7.0  85   250 23 0     
pthread-wmm/mix009_tso.opt_false-unreach-call.i 15    12    170   260 23 0     
pthread-wmm/mix010_power.oepc_false-unreach-call.i 18    16    200   310 23 0     
pthread-wmm/mix010_power.opt_false-unreach-call.i 23    21    250   360 23 .066 
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 18    16    230   310 23 0     
pthread-wmm/mix010_pso.opt_false-unreach-call.i 23    21    290   360 23 0     
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 19    16    210   310 24 0     
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 23    21    240   360 23 0     
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 18    16    170   310 23 0     
pthread-wmm/mix010_tso.opt_false-unreach-call.i 24    21    260   360 23 0     
pthread-wmm/mix011_power.oepc_false-unreach-call.i 16    14    170   280 23 0     
pthread-wmm/mix011_power.opt_false-unreach-call.i 21    19    200   340 23 0     
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 16    14    200   280 28 0     
pthread-wmm/mix011_pso.opt_false-unreach-call.i 21    18    260   340 23 0     
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 16    14    170   280 23 0     
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 21    19    220   340 23 0     
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 16    13    180   280 23 0     
pthread-wmm/mix011_tso.opt_false-unreach-call.i 21    18    230   340 24 0     
pthread-wmm/mix012_power.oepc_false-unreach-call.i 7.9  5.5  64   250 23 0     
pthread-wmm/mix012_power.opt_false-unreach-call.i 7.9  5.5  69   260 23 0     
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 8.0  5.5  71   260 23 0     
pthread-wmm/mix012_pso.opt_false-unreach-call.i 12    9.4  110   260 23 0     
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 7.8  5.3  75   260 23 0     
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 8.0  5.5  76   260 23 0     
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 8.0  5.5  86   260 23 0     
pthread-wmm/mix012_tso.opt_false-unreach-call.i 12    9.5  110   260 23 0     
pthread-wmm/mix013_power.oepc_false-unreach-call.i 36    34    360   470 23 0     
pthread-wmm/mix013_power.opt_false-unreach-call.i 36    33    410   470 23 0     
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 37    34    410   470 23 0     
pthread-wmm/mix013_pso.opt_false-unreach-call.i 37    34    390   470 24 0     
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 36    33    320   470 30 0     
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 35    33    420   470 23 0     
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 36    33    370   470 23 0     
pthread-wmm/mix013_tso.opt_false-unreach-call.i 36    34    400   470 24 0     
pthread-wmm/mix014_power.oepc_false-unreach-call.i 32    30    340   440 23 0     
pthread-wmm/mix014_power.opt_false-unreach-call.i 31    29    350   440 23 0     
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 31    29    320   440 23 0     
pthread-wmm/mix014_pso.opt_false-unreach-call.i 31    28    300   440 23 0     
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 32    29    290   440 23 0     
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 31    29    340   440 24 0     
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 240    240    1800   1100 23 0     
pthread-wmm/mix014_tso.opt_false-unreach-call.i 31    29    300   440 23 0     
pthread-wmm/mix015_power.oepc_false-unreach-call.i 18    15    210   310 23 0     
pthread-wmm/mix015_power.opt_false-unreach-call.i 23    20    230   360 23 0     
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 18    15    170   310 23 0     
pthread-wmm/mix015_pso.opt_false-unreach-call.i 23    20    240   360 23 0     
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 18    16    170   310 23 0     
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 23    20    240   360 23 0     
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 18    16    170   310 23 .23  
pthread-wmm/mix015_tso.opt_false-unreach-call.i 23    21    260   360 23 0     
pthread-wmm/mix016_power.oepc_false-unreach-call.i 15    12    150   260 23 0     
pthread-wmm/mix016_power.opt_false-unreach-call.i 14    12    170   250 23 0     
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 15    12    150   260 30 0     
pthread-wmm/mix016_pso.opt_false-unreach-call.i 18    16    180   310 23 0     
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 15    12    130   260 23 0     
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 14    12    170   250 24 0     
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 15    12    130   260 23 0     
pthread-wmm/mix016_tso.opt_false-unreach-call.i 19    16    190   310 23 0     
pthread-wmm/mix017_power.oepc_false-unreach-call.i 30    28    310   420 23 0     
pthread-wmm/mix017_power.opt_false-unreach-call.i 23    20    220   350 23 0     
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 30    27    350   420 23 0     
pthread-wmm/mix017_pso.opt_false-unreach-call.i 30    27    320   420 23 0     
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 30    27    300   430 23 0     
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 22    20    250   350 23 0     
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 29    27    300   430 23 0     
pthread-wmm/mix017_tso.opt_false-unreach-call.i 29    27    290   420 23 0     
pthread-wmm/mix018_power.oepc_false-unreach-call.i 27    24    310   400 23 0     
pthread-wmm/mix018_power.opt_false-unreach-call.i 25    23    240   390 23 0     
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 27    24    300   400 23 0     
pthread-wmm/mix018_pso.opt_false-unreach-call.i 26    24    270   390 23 0     
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 27    25    270   400 24 0     
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 26    23    270   390 23 0     
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 27    24    340   400 23 0     
pthread-wmm/mix018_tso.opt_false-unreach-call.i 26    23    310   390 23 0     
pthread-wmm/mix019_power.oepc_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/mix019_power.opt_false-unreach-call.i 16    14    170   290 23 0     
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 13    11    130   260 23 0     
pthread-wmm/mix019_pso.opt_false-unreach-call.i 17    14    160   290 23 0     
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 13    11    130   260 23 0     
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 16    14    190   290 23 0     
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/mix019_tso.opt_false-unreach-call.i 17    14    170   290 23 0     
pthread-wmm/mix020_power.oepc_false-unreach-call.i 27    24    280   400 23 0     
pthread-wmm/mix020_power.opt_false-unreach-call.i 25    22    250   390 23 0     
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 26    24    280   400 23 0     
pthread-wmm/mix020_pso.opt_false-unreach-call.i 25    23    290   390 23 0     
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 26    23    300   400 23 0     
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 25    22    280   390 23 0     
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 27    24    300   400 23 0     
pthread-wmm/mix020_tso.opt_false-unreach-call.i 25    22    280   390 24 0     
pthread-wmm/mix021_power.oepc_false-unreach-call.i 24    21    230   370 23 0     
pthread-wmm/mix021_power.opt_false-unreach-call.i 23    21    260   370 23 0     
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 24    22    240   370 23 0     
pthread-wmm/mix021_pso.opt_false-unreach-call.i 23    21    300   360 23 0     
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 24    22    230   370 23 0     
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 23    20    220   360 23 0     
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 18    15    180   310 23 0     
pthread-wmm/mix021_tso.opt_false-unreach-call.i 23    21    240   360 23 0     
pthread-wmm/mix022_power.oepc_false-unreach-call.i 7.4  4.9  58   260 23 0     
pthread-wmm/mix022_power.opt_false-unreach-call.i 7.5  4.9  74   260 23 0     
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 7.5  5.0  65   260 23 0     
pthread-wmm/mix022_pso.opt_false-unreach-call.i 7.3  4.9  78   260 23 0     
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 7.5  5.0  63   260 23 0     
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 7.3  4.8  66   260 23 0     
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 11    8.6  110   250 23 0     
pthread-wmm/mix022_tso.opt_false-unreach-call.i 11    8.7  110   260 23 0     
pthread-wmm/mix023_power.oepc_false-unreach-call.i 28    25    260   410 23 0     
pthread-wmm/mix023_power.opt_false-unreach-call.i 21    18    200   340 23 0     
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 28    26    290   410 24 0     
pthread-wmm/mix023_pso.opt_false-unreach-call.i 21    18    240   340 23 0     
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 28    25    290   410 24 0     
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 21    18    200   340 23 .0041
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 240    240    1700   1100 23 0     
pthread-wmm/mix023_tso.opt_false-unreach-call.i 210    210    2300   1100 23 0     
pthread-wmm/mix024_power.oepc_false-unreach-call.i 16    14    180   280 23 0     
pthread-wmm/mix024_power.opt_false-unreach-call.i 16    13    140   270 23 0     
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 16    14    160   280 23 0     
pthread-wmm/mix024_pso.opt_false-unreach-call.i 16    13    150   270 23 0     
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 16    14    190   280 23 0     
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 16    13    160   270 23 0     
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 17    14    150   280 23 0     
pthread-wmm/mix024_tso.opt_false-unreach-call.i 16    14    160   280 23 0     
pthread-wmm/mix025_power.oepc_false-unreach-call.i 13    11    130   260 23 0     
pthread-wmm/mix025_power.opt_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 13    11    130   250 23 0     
pthread-wmm/mix025_pso.opt_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 13    10    150   260 23 0     
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/mix025_tso.opt_false-unreach-call.i 13    11    130   250 24 0     
pthread-wmm/mix026_power.oepc_false-unreach-call.i 27    24    280   400 23 0     
pthread-wmm/mix026_power.opt_false-unreach-call.i 26    24    250   380 24 0     
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 26    23    350   400 23 0     
pthread-wmm/mix026_pso.opt_false-unreach-call.i 20    18    220   330 23 0     
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 27    24    300   400 30 0     
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 19    17    200   330 23 .066 
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 27    24    320   400 23 0     
pthread-wmm/mix026_tso.opt_false-unreach-call.i 26    24    260   390 23 0     
pthread-wmm/mix027_power.oepc_false-unreach-call.i 23    21    220   370 23 0     
pthread-wmm/mix027_power.opt_false-unreach-call.i 17    15    190   300 23 0     
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 24    22    230   370 23 0     
pthread-wmm/mix027_pso.opt_false-unreach-call.i 18    15    180   300 23 0     
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 24    21    240   370 23 0     
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 18    15    190   300 23 0     
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 24    21    250   370 23 0     
pthread-wmm/mix027_tso.opt_false-unreach-call.i 24    21    270   370 23 0     
pthread-wmm/mix028_power.oepc_false-unreach-call.i 12    9.1  110   260 24 0     
pthread-wmm/mix028_power.opt_false-unreach-call.i 12    9.0  110   260 23 0     
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 12    9.1  120   260 23 0     
pthread-wmm/mix028_pso.opt_false-unreach-call.i 11    8.9  120   270 23 0     
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 12    8.9  110   260 23 .13  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 11    8.9  120   270 23 0     
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 15    13    150   280 23 0     
pthread-wmm/mix028_tso.opt_false-unreach-call.i 16    13    150   270 23 0     
pthread-wmm/mix029_power.oepc_false-unreach-call.i 24    21    240   370 23 0     
pthread-wmm/mix029_power.opt_false-unreach-call.i 18    16    180   310 23 0     
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 24    21    260   370 23 0     
pthread-wmm/mix029_pso.opt_false-unreach-call.i 18    15    160   310 23 0     
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 24    21    300   370 23 .0041
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 18    16    200   310 23 0     
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 24    21    250   370 23 0     
pthread-wmm/mix029_tso.opt_false-unreach-call.i 24    21    250   370 24 0     
pthread-wmm/mix030_power.oepc_false-unreach-call.i 22    19    230   350 24 0     
pthread-wmm/mix030_power.opt_false-unreach-call.i 16    13    160   290 23 0     
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 22    19    220   350 23 0     
pthread-wmm/mix030_pso.opt_false-unreach-call.i 16    13    150   290 23 0     
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 21    19    260   350 24 0     
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 16    13    160   290 23 0     
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 21    18    210   350 23 0     
pthread-wmm/mix030_tso.opt_false-unreach-call.i 21    18    260   350 23 0     
pthread-wmm/mix031_power.oepc_false-unreach-call.i 9.7  7.2  110   250 23 0     
pthread-wmm/mix031_power.opt_false-unreach-call.i 9.7  7.2  100   250 23 0     
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 10    7.4  99   260 24 0     
pthread-wmm/mix031_pso.opt_false-unreach-call.i 9.6  7.2  82   250 23 0     
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 9.6  7.2  110   260 23 0     
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 9.6  7.2  92   260 23 0     
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 9.9  7.4  88   270 23 0     
pthread-wmm/mix031_tso.opt_false-unreach-call.i 9.7  7.2  93   260 23 0     
pthread-wmm/mix032_power.oepc_false-unreach-call.i 19    17    220   320 23 0     
pthread-wmm/mix032_power.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 19    17    190   320 23 0     
pthread-wmm/mix032_pso.opt_false-unreach-call.i 14    12    160   260 23 .0041
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 19    17    190   320 24 0     
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 14    11    150   260 23 0     
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 19    16    220   320 23 0     
pthread-wmm/mix032_tso.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix033_power.oepc_false-unreach-call.i 17    15    180   300 23 0     
pthread-wmm/mix033_power.opt_false-unreach-call.i 12    9.6  140   260 23 0     
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 17    14    200   290 23 0     
pthread-wmm/mix033_pso.opt_false-unreach-call.i 12    9.6  130   260 23 0     
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 17    15    190   300 23 0     
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 12    9.6  130   270 23 0     
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 18    15    170   300 23 0     
pthread-wmm/mix033_tso.opt_false-unreach-call.i 12    9.6  140   260 23 0     
pthread-wmm/mix034_power.oepc_false-unreach-call.i 8.3  5.8  78   260 23 .0041
pthread-wmm/mix034_power.opt_false-unreach-call.i 8.4  5.9  83   260 23 .0041
pthread-wmm/mix034_pso.oepc_false-unreach-call.i 8.5  5.8  72   260 23 0     
pthread-wmm/mix034_pso.opt_false-unreach-call.i 8.0  5.5  89   260 23 0     
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i 8.5  5.8  88   260 23 .0041
pthread-wmm/mix034_rmo.opt_false-unreach-call.i 8.3  5.8  76   260 23 0     
pthread-wmm/mix034_tso.oepc_false-unreach-call.i 8.2  5.7  82   250 23 0     
pthread-wmm/mix034_tso.opt_false-unreach-call.i 8.4  5.8  75   260 23 0     
pthread-wmm/mix035_power.oepc_false-unreach-call.i 15    13    150   270 23 0     
pthread-wmm/mix035_power.opt_false-unreach-call.i 15    13    150   260 23 0     
pthread-wmm/mix035_pso.oepc_false-unreach-call.i 16    13    160   270 23 0     
pthread-wmm/mix035_pso.opt_false-unreach-call.i 11    8.7  110   260 23 0     
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i 15    13    160   270 23 0     
pthread-wmm/mix035_rmo.opt_false-unreach-call.i 15    13    150   260 23 0     
pthread-wmm/mix035_tso.oepc_false-unreach-call.i 15    13    190   270 23 0     
pthread-wmm/mix035_tso.opt_false-unreach-call.i 11    8.8  120   260 23 0     
pthread-wmm/mix036_power.oepc_false-unreach-call.i 32    29    370   440 26 0     
pthread-wmm/mix036_power.opt_false-unreach-call.i 23    21    250   360 23 0     
pthread-wmm/mix036_pso.oepc_false-unreach-call.i 32    29    310   440 23 0     
pthread-wmm/mix036_pso.opt_false-unreach-call.i 18    15    180   300 23 0     
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i 32    29    340   440 23 0     
pthread-wmm/mix036_rmo.opt_false-unreach-call.i 24    21    240   360 23 0     
pthread-wmm/mix036_tso.oepc_false-unreach-call.i 30    28    340   440 23 0     
pthread-wmm/mix036_tso.opt_false-unreach-call.i 18    15    180   300 23 0     
pthread-wmm/mix037_power.oepc_false-unreach-call.i 28    25    320   410 23 0     
pthread-wmm/mix037_power.opt_false-unreach-call.i 15    13    190   270 23 0     
pthread-wmm/mix037_pso.oepc_false-unreach-call.i 27    24    300   410 23 0     
pthread-wmm/mix037_pso.opt_false-unreach-call.i 15    13    150   270 23 0     
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i 28    25    290   410 24 0     
pthread-wmm/mix037_rmo.opt_false-unreach-call.i 16    13    150   270 23 0     
pthread-wmm/mix037_tso.oepc_false-unreach-call.i 27    25    280   410 23 0     
pthread-wmm/mix037_tso.opt_false-unreach-call.i 16    13    160   270 23 0     
pthread-wmm/mix038_power.oepc_false-unreach-call.i 14    11    130   270 23 .0041
pthread-wmm/mix038_power.opt_false-unreach-call.i 10    8.0  93   260 23 0     
pthread-wmm/mix038_pso.oepc_false-unreach-call.i 14    12    150   260 23 0     
pthread-wmm/mix038_pso.opt_false-unreach-call.i 10    7.9  100   250 23 0     
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i 14    11    120   260 23 0     
pthread-wmm/mix038_rmo.opt_false-unreach-call.i 10    7.9  87   260 23 0     
pthread-wmm/mix038_tso.oepc_false-unreach-call.i 14    11    130   250 25 0     
pthread-wmm/mix038_tso.opt_false-unreach-call.i 10    7.9  88   260 23 0     
pthread-wmm/mix039_power.oepc_false-unreach-call.i 27    24    310   410 23 0     
pthread-wmm/mix039_power.opt_false-unreach-call.i 15    13    150   270 23 0     
pthread-wmm/mix039_pso.oepc_false-unreach-call.i 27    25    290   410 23 0     
pthread-wmm/mix039_pso.opt_false-unreach-call.i 15    13    150   270 23 0     
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i 27    25    300   410 23 0     
pthread-wmm/mix039_rmo.opt_false-unreach-call.i 16    13    180   270 23 0     
pthread-wmm/mix039_tso.oepc_false-unreach-call.i 27    25    290   410 23 0     
pthread-wmm/mix039_tso.opt_false-unreach-call.i 15    13    170   270 23 0     
pthread-wmm/mix040_power.oepc_false-unreach-call.i 25    23    260   380 23 0     
pthread-wmm/mix040_power.opt_false-unreach-call.i 14    11    130   260 23 0     
pthread-wmm/mix040_pso.oepc_false-unreach-call.i 26    23    270   380 23 0     
pthread-wmm/mix040_pso.opt_false-unreach-call.i 14    11    130   260 23 0     
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i 25    22    270   380 23 0     
pthread-wmm/mix040_rmo.opt_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/mix040_tso.oepc_false-unreach-call.i 19    16    190   320 23 0     
pthread-wmm/mix040_tso.opt_false-unreach-call.i 14    11    120   260 23 0     
pthread-wmm/mix041_power.oepc_false-unreach-call.i 7.4  5.0  84   260 23 0     
pthread-wmm/mix041_power.opt_false-unreach-call.i 7.9  5.3  66   250 23 .066 
pthread-wmm/mix041_pso.oepc_false-unreach-call.i 7.6  5.1  64   260 23 0     
pthread-wmm/mix041_pso.opt_false-unreach-call.i 7.8  5.3  68   260 23 0     
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i 7.5  5.1  66   260 24 0     
pthread-wmm/mix041_rmo.opt_false-unreach-call.i 7.6  5.1  61   260 23 .0041
pthread-wmm/mix041_tso.oepc_false-unreach-call.i 7.8  5.3  85   250 23 .0041
pthread-wmm/mix041_tso.opt_false-unreach-call.i 7.4  5.1  68   260 24 0     
pthread-wmm/mix042_power.oepc_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/mix042_power.opt_false-unreach-call.i 11    8.3  97   260 23 0     
pthread-wmm/mix042_pso.oepc_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/mix042_pso.opt_false-unreach-call.i 11    8.3  110   260 23 0     
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i 14    12    150   270 23 0     
pthread-wmm/mix042_rmo.opt_false-unreach-call.i 11    8.1  130   260 23 0     
pthread-wmm/mix042_tso.oepc_false-unreach-call.i 14    11    130   260 23 0     
pthread-wmm/mix042_tso.opt_false-unreach-call.i 11    8.3  110   260 23 0     
pthread-wmm/mix043_power.oepc_false-unreach-call.i 28    26    290   410 23 0     
pthread-wmm/mix043_power.opt_false-unreach-call.i 16    14    160   280 23 0     
pthread-wmm/mix043_pso.oepc_false-unreach-call.i 27    25    300   410 23 0     
pthread-wmm/mix043_pso.opt_false-unreach-call.i 17    14    170   280 23 0     
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i 28    25    290   410 23 0     
pthread-wmm/mix043_rmo.opt_false-unreach-call.i 16    14    160   280 23 0     
pthread-wmm/mix043_tso.oepc_false-unreach-call.i 28    25    280   410 23 0     
pthread-wmm/mix043_tso.opt_false-unreach-call.i 16    14    160   280 23 0     
pthread-wmm/mix044_power.oepc_false-unreach-call.i 25    22    250   380 23 0     
pthread-wmm/mix044_power.opt_false-unreach-call.i 14    12    140   260 30 0     
pthread-wmm/mix044_pso.oepc_false-unreach-call.i 25    22    280   380 23 0     
pthread-wmm/mix044_pso.opt_false-unreach-call.i 14    12    130   260 24 0     
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i 25    22    320   380 23 0     
pthread-wmm/mix044_rmo.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix044_tso.oepc_false-unreach-call.i 26    23    270   390 23 0     
pthread-wmm/mix044_tso.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix045_power.oepc_false-unreach-call.i 12    9.3  150   260 23 0     
pthread-wmm/mix045_power.opt_false-unreach-call.i 9.5  7.0  88   260 23 0     
pthread-wmm/mix045_pso.oepc_false-unreach-call.i 12    9.4  130   260 23 0     
pthread-wmm/mix045_pso.opt_false-unreach-call.i 9.9  7.3  93   260 23 0     
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i 12    9.2  130   260 23 0     
pthread-wmm/mix045_rmo.opt_false-unreach-call.i 9.6  7.2  87   260 23 0     
pthread-wmm/mix045_tso.oepc_false-unreach-call.i 9.6  7.1  95   270 23 0     
pthread-wmm/mix045_tso.opt_false-unreach-call.i 9.6  7.1  100   260 23 0     
pthread-wmm/mix046_power.oepc_false-unreach-call.i 24    22    300   380 23 0     
pthread-wmm/mix046_power.opt_false-unreach-call.i 14    12    150   260 23 0     
pthread-wmm/mix046_pso.oepc_false-unreach-call.i 25    22    250   380 23 0     
pthread-wmm/mix046_pso.opt_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i 24    22    250   380 24 0     
pthread-wmm/mix046_rmo.opt_false-unreach-call.i 14    12    160   260 23 0     
pthread-wmm/mix046_tso.oepc_false-unreach-call.i 24    22    280   380 23 0     
pthread-wmm/mix046_tso.opt_false-unreach-call.i 14    12    160   260 24 0     
pthread-wmm/mix047_power.oepc_false-unreach-call.i 22    20    260   350 23 0     
pthread-wmm/mix047_power.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/mix047_pso.oepc_false-unreach-call.i 23    20    270   360 23 0     
pthread-wmm/mix047_pso.opt_false-unreach-call.i 12    9.8  140   260 23 0     
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i 22    20    220   350 24 0     
pthread-wmm/mix047_rmo.opt_false-unreach-call.i 12    10    130   260 23 0     
pthread-wmm/mix047_tso.oepc_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/mix047_tso.opt_false-unreach-call.i 12    10    110   260 23 0     
pthread-wmm/mix048_power.oepc_false-unreach-call.i 7.3  4.7  64   260 23 0     
pthread-wmm/mix048_power.opt_false-unreach-call.i 7.1  4.6  61   250 23 0     
pthread-wmm/mix048_pso.oepc_false-unreach-call.i 7.5  4.8  67   260 23 0     
pthread-wmm/mix048_pso.opt_false-unreach-call.i 7.1  4.7  58   260 23 0     
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i 7.4  4.8  64   260 23 0     
pthread-wmm/mix048_rmo.opt_false-unreach-call.i 7.2  4.7  62   260 23 0     
pthread-wmm/mix048_tso.oepc_false-unreach-call.i 7.1  4.6  69   250 23 0     
pthread-wmm/mix048_tso.opt_false-unreach-call.i 7.2  4.6  59   270 23 0     
pthread-wmm/mix049_power.oepc_false-unreach-call.i 13    10    130   250 24 0     
pthread-wmm/mix049_power.opt_false-unreach-call.i 13    10    120   250 23 0     
pthread-wmm/mix049_pso.oepc_false-unreach-call.i 13    10    120   250 23 .0041
pthread-wmm/mix049_pso.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i 12    10    140   260 23 0     
pthread-wmm/mix049_rmo.opt_false-unreach-call.i 12    10    130   260 23 0     
pthread-wmm/mix049_tso.oepc_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/mix049_tso.opt_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/mix050_power.oepc_false-unreach-call.i 25    23    250   380 23 0     
pthread-wmm/mix050_power.opt_false-unreach-call.i 26    23    250   380 24 0     
pthread-wmm/mix050_pso.oepc_false-unreach-call.i 26    23    240   380 23 0     
pthread-wmm/mix050_pso.opt_false-unreach-call.i 25    22    260   380 23 .0041
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i 26    23    250   380 23 0     
pthread-wmm/mix050_rmo.opt_false-unreach-call.i 25    23    240   380 23 0     
pthread-wmm/mix050_tso.oepc_false-unreach-call.i 26    23    280   380 23 .12  
pthread-wmm/mix050_tso.opt_false-unreach-call.i 25    23    290   380 24 0     
pthread-wmm/mix051_power.oepc_false-unreach-call.i 22    19    220   360 23 0     
pthread-wmm/mix051_power.opt_false-unreach-call.i 22    19    240   360 23 0     
pthread-wmm/mix051_pso.oepc_false-unreach-call.i 22    20    210   360 23 0     
pthread-wmm/mix051_pso.opt_false-unreach-call.i 13    9.9  110   260 23 0     
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i 23    20    230   360 23 0     
pthread-wmm/mix051_rmo.opt_false-unreach-call.i 13    10    120   270 23 0     
pthread-wmm/mix051_tso.oepc_false-unreach-call.i 23    20    230   360 23 0     
pthread-wmm/mix051_tso.opt_false-unreach-call.i 12    9.9  140   250 23 0     
pthread-wmm/mix052_power.oepc_false-unreach-call.i 11    8.4  110   250 23 0