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     
pthread-wmm/mix052_power.opt_false-unreach-call.i 11    8.5  120   260 23 0     
pthread-wmm/mix052_pso.oepc_false-unreach-call.i 11    8.3  100   260 23 0     
pthread-wmm/mix052_pso.opt_false-unreach-call.i 8.9  6.3  73   260 23 0     
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i 11    8.5  120   250 24 0     
pthread-wmm/mix052_rmo.opt_false-unreach-call.i 8.7  6.2  81   260 23 0     
pthread-wmm/mix052_tso.oepc_false-unreach-call.i 11    8.4  97   260 23 0     
pthread-wmm/mix052_tso.opt_false-unreach-call.i 8.6  6.2  91   260 23 0     
pthread-wmm/mix053_power.oepc_false-unreach-call.i 20    17    200   330 23 0     
pthread-wmm/mix053_power.opt_false-unreach-call.i 11    8.7  100   260 23 0     
pthread-wmm/mix053_pso.oepc_false-unreach-call.i 20    18    230   330 24 0     
pthread-wmm/mix053_pso.opt_false-unreach-call.i 11    8.9  110   260 23 0     
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i 20    17    210   330 23 0     
pthread-wmm/mix053_rmo.opt_false-unreach-call.i 11    8.6  130   250 23 0     
pthread-wmm/mix053_tso.oepc_false-unreach-call.i 15    13    140   270 24 0     
pthread-wmm/mix053_tso.opt_false-unreach-call.i 12    9.0  120   260 23 0     
pthread-wmm/mix054_power.oepc_false-unreach-call.i 6.8  4.2  53   250 23 0     
pthread-wmm/mix054_power.opt_false-unreach-call.i 6.6  4.1  57   260 23 0     
pthread-wmm/mix054_pso.oepc_false-unreach-call.i 6.7  4.1  61   260 23 0     
pthread-wmm/mix054_pso.opt_false-unreach-call.i 6.6  4.2  62   260 23 .070 
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i 6.8  4.2  54   260 23 0     
pthread-wmm/mix054_rmo.opt_false-unreach-call.i 6.6  4.2  54   260 23 0     
pthread-wmm/mix054_tso.oepc_false-unreach-call.i 6.7  4.2  64   250 23 0     
pthread-wmm/mix054_tso.opt_false-unreach-call.i 6.7  4.3  57   250 23 0     
pthread-wmm/mix055_power.oepc_false-unreach-call.i 20    18    230   330 23 0     
pthread-wmm/mix055_power.opt_false-unreach-call.i 12    9.2  110   280 23 0     
pthread-wmm/mix055_pso.oepc_false-unreach-call.i 20    18    210   330 23 .0041
pthread-wmm/mix055_pso.opt_false-unreach-call.i 12    9.0  130   260 23 0     
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i 20    18    230   330 23 0     
pthread-wmm/mix055_rmo.opt_false-unreach-call.i 12    9.1  120   270 23 0     
pthread-wmm/mix055_tso.oepc_false-unreach-call.i 20    18    200   330 23 .0041
pthread-wmm/mix055_tso.opt_false-unreach-call.i 11    8.9  130   260 23 0     
pthread-wmm/mix056_power.oepc_false-unreach-call.i 10    7.9  100   270 23 0     
pthread-wmm/mix056_power.opt_false-unreach-call.i 8.1  5.7  73   260 23 0     
pthread-wmm/mix056_pso.oepc_false-unreach-call.i 10    7.7  110   250 23 0     
pthread-wmm/mix056_pso.opt_false-unreach-call.i 8.1  5.6  72   260 24 0     
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i 10    7.7  91   260 23 0     
pthread-wmm/mix056_rmo.opt_false-unreach-call.i 8.1  5.6  82   260 23 0     
pthread-wmm/mix056_tso.oepc_false-unreach-call.i 8.3  5.8  79   260 24 0     
pthread-wmm/mix056_tso.opt_false-unreach-call.i 8.3  5.7  81   250 23 0     
pthread-wmm/mix057_power.oepc_false-unreach-call.i 18    15    190   310 23 0     
pthread-wmm/mix057_power.opt_false-unreach-call.i 11    8.0  100   260 23 0     
pthread-wmm/mix057_pso.oepc_false-unreach-call.i 18    15    190   310 23 0     
pthread-wmm/mix057_pso.opt_false-unreach-call.i 10    7.9  90   260 23 .0041
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i 18    15    180   310 24 0     
pthread-wmm/mix057_rmo.opt_false-unreach-call.i 10    7.8  92   260 23 0     
pthread-wmm/mix057_tso.oepc_false-unreach-call.i 10    7.8  110   250 23 0     
pthread-wmm/mix057_tso.opt_false-unreach-call.i 11    8.0  98   270 23 0     
pthread-wmm/podwr000_power.oepc_false-unreach-call.i 7.0  4.6  64   260 23 0     
pthread-wmm/podwr000_power.opt_false-unreach-call.i 7.2  4.7  62   260 23 0     
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i 7.1  4.7  63   250 23 .066 
pthread-wmm/podwr000_pso.opt_false-unreach-call.i 7.4  4.6  64   270 23 0     
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i 7.1  4.6  62   260 23 0     
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i 7.1  4.7  57   260 23 0     
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i 7.0  4.6  56   260 24 0     
pthread-wmm/podwr000_tso.opt_false-unreach-call.i 7.1  4.6  59   260 23 0     
pthread-wmm/podwr001_power.oepc_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/podwr001_power.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i 12    9.9  120   260 23 0     
pthread-wmm/podwr001_pso.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i 12    10    120   250 23 0     
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i 13    10    140   250 23 0     
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/podwr001_tso.opt_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/rfi000_power.oepc_false-unreach-call.i 13    10    120   260 24 0     
pthread-wmm/rfi000_power.opt_false-unreach-call.i 7.6  5.1  66   250 23 0     
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i 13    10    130   270 23 0     
pthread-wmm/rfi000_pso.opt_false-unreach-call.i 7.8  5.3  72   250 23 0     
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i 7.6  5.2  66   260 23 0     
pthread-wmm/rfi001_power.oepc_false-unreach-call.i 7.7  5.1  65   260 23 0     
pthread-wmm/rfi001_power.opt_false-unreach-call.i 7.5  5.1  62   270 23 .0041
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i 7.5  5.1  79   260 23 0     
pthread-wmm/rfi001_pso.opt_false-unreach-call.i 7.7  5.2  67   260 23 0     
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i 7.5  5.1  63   260 24 0     
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i 7.8  5.1  68   280 23 0     
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i 7.9  5.2  78   260 23 0     
pthread-wmm/rfi001_tso.opt_false-unreach-call.i 7.6  5.1  75   260 26 0     
pthread-wmm/rfi003_power.oepc_false-unreach-call.i 8.3  5.8  93   260 23 0     
pthread-wmm/rfi003_power.opt_false-unreach-call.i 8.2  5.9  75   250 23 0     
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i 8.3  5.9  76   260 23 .066 
pthread-wmm/rfi003_pso.opt_false-unreach-call.i 8.3  5.8  80   260 23 0     
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i 8.3  5.8  90   260 23 0     
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i 8.6  6.1  78   260 23 0     
pthread-wmm/rfi004_power.oepc_false-unreach-call.i 8.5  6.0  77   260 24 0     
pthread-wmm/rfi004_power.opt_false-unreach-call.i 8.5  5.9  78   260 23 0     
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i 8.4  5.9  81   260 23 .0041
pthread-wmm/rfi004_pso.opt_false-unreach-call.i 8.5  6.0  76   260 23 0     
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i 8.2  5.8  94   270 23 0     
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i 8.1  5.7  80   260 23 0     
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i 8.2  5.8  84   260 23 0     
pthread-wmm/rfi004_tso.opt_false-unreach-call.i 8.3  5.9  75   250 23 0     
pthread-wmm/rfi005_power.oepc_false-unreach-call.i 15    12    140   270 23 0     
pthread-wmm/rfi005_power.opt_false-unreach-call.i 15    12    150   270 23 0     
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i 15    12    130   270 24 0     
pthread-wmm/rfi005_pso.opt_false-unreach-call.i 15    12    140   270 23 0     
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i 14    12    150   270 23 0     
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i 14    12    150   270 23 0     
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i 15    12    160   270 23 0     
pthread-wmm/rfi005_tso.opt_false-unreach-call.i 15    12    150   270 23 0     
pthread-wmm/rfi006_power.oepc_false-unreach-call.i 11    8.7  110   260 23 0     
pthread-wmm/rfi006_power.opt_false-unreach-call.i 23    20    230   350 23 0     
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i 18    16    190   320 23 0     
pthread-wmm/rfi006_pso.opt_false-unreach-call.i 18    16    220   320 23 0     
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i 10    7.6  89   260 23 0     
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i 10    7.7  91   270 23 0     
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i 18    16    230   320 23 0     
pthread-wmm/rfi006_tso.opt_false-unreach-call.i 19    16    190   320 23 0     
pthread-wmm/rfi007_power.oepc_false-unreach-call.i 7.2  4.8  67   260 23 0     
pthread-wmm/rfi007_power.opt_false-unreach-call.i 7.4  4.8  63   260 23 0     
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i 7.4  4.9  70   260 24 0     
pthread-wmm/rfi007_pso.opt_false-unreach-call.i 7.5  4.9  64   260 23 0     
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i 7.5  4.9  73   260 24 0     
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i 7.6  5.0  67   260 23 0     
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i 12    8.9  95   260 23 0     
pthread-wmm/rfi007_tso.opt_false-unreach-call.i 11    8.6  100   260 23 0     
pthread-wmm/rfi008_power.oepc_false-unreach-call.i 14    12    170   260 23 0     
pthread-wmm/rfi008_power.opt_false-unreach-call.i 14    12    140   270 23 0     
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i 14    12    140   260 23 0     
pthread-wmm/rfi008_pso.opt_false-unreach-call.i 14    11    170   260 25 0     
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i 14    12    140   260 23 0     
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i 14    12    130   260 23 0     
pthread-wmm/rfi008_tso.opt_false-unreach-call.i 14    11    150   260 23 0     
pthread-wmm/rfi009_power.oepc_false-unreach-call.i 13    10    140   270 24 0     
pthread-wmm/rfi009_power.opt_false-unreach-call.i 21    18    200   330 23 0     
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i 20    17    190   330 23 .13  
pthread-wmm/rfi009_pso.opt_false-unreach-call.i 20    17    230   330 23 0     
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i 11    8.4  120   260 23 0     
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i 20    18    200   330 23 0     
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i 20    18    190   330 23 0     
pthread-wmm/rfi009_tso.opt_false-unreach-call.i 20    18    210   330 23 0     
pthread-wmm/rfi010_power.oepc_false-unreach-call.i 13    10    130   270 30 0     
pthread-wmm/rfi010_power.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i 12    9.9  120   250 23 0     
pthread-wmm/rfi010_pso.opt_false-unreach-call.i 12    10    120   270 23 0     
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i 13    10    110   260 24 0     
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i 13    10    120   260 24 0     
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/rfi010_tso.opt_false-unreach-call.i 13    10    120   270 23 0     
pthread-wmm/safe000_power.oepc_false-unreach-call.i 12    9.6  110   260 23 0     
pthread-wmm/safe000_power.opt_false-unreach-call.i 15    12    140   260 23 0     
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i 12    8.7  120   260 23 0     
pthread-wmm/safe000_rmo.opt_false-unreach-call.i 11    8.3  130   270 23 0     
pthread-wmm/safe001_power.oepc_false-unreach-call.i 11    8.5  100   260 23 0     
pthread-wmm/safe001_power.opt_false-unreach-call.i 10    7.8  94   260 23 0     
pthread-wmm/safe001_pso.oepc_false-unreach-call.i 10    7.7  110   260 23 0     
pthread-wmm/safe001_pso.opt_false-unreach-call.i 10    7.7  89   250 24 0     
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i 10    7.5  98   260 30 0     
pthread-wmm/safe001_rmo.opt_false-unreach-call.i 10    7.8  97   260 23 0     
pthread-wmm/safe002_power.oepc_false-unreach-call.i 12    9.6  110   260 23 0     
pthread-wmm/safe002_power.opt_false-unreach-call.i 11    8.4  110   260 23 0     
pthread-wmm/safe002_pso.oepc_false-unreach-call.i 11    8.2  100   260 23 0     
pthread-wmm/safe002_pso.opt_false-unreach-call.i 11    8.2  99   260 23 0     
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i 11    8.4  99   260 23 0     
pthread-wmm/safe002_rmo.opt_false-unreach-call.i 11    8.3  110   250 23 0     
pthread-wmm/safe003_power.oepc_false-unreach-call.i 21    18    220   340 23 0     
pthread-wmm/safe003_power.opt_false-unreach-call.i 14    12    150   260 23 0     
pthread-wmm/safe003_pso.oepc_false-unreach-call.i 21    19    200   350 23 0     
pthread-wmm/safe003_pso.opt_false-unreach-call.i 22    19    210   340 23 0     
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i 22    19    220   340 23 0     
pthread-wmm/safe003_rmo.opt_false-unreach-call.i 21    18    200   340 23 0     
pthread-wmm/safe004_power.oepc_false-unreach-call.i 19    16    200   320 23 0     
pthread-wmm/safe004_power.opt_false-unreach-call.i 10    7.8  100   260 23 0     
pthread-wmm/safe004_pso.oepc_false-unreach-call.i 19    16    180   320 23 0     
pthread-wmm/safe004_pso.opt_false-unreach-call.i 10    7.7  100   260 23 0     
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i 18    16    180   320 23 .0041
pthread-wmm/safe004_rmo.opt_false-unreach-call.i 10    7.8  100   260 23 0     
pthread-wmm/safe005_power.oepc_false-unreach-call.i 11    8.6  93   250 23 0     
pthread-wmm/safe005_power.opt_false-unreach-call.i 11    8.6  120   250 26 0     
pthread-wmm/safe005_pso.oepc_false-unreach-call.i 11    8.6  100   260 23 0     
pthread-wmm/safe005_pso.opt_false-unreach-call.i 11    8.7  110   260 23 0     
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i 11    8.5  120   250 23 0     
pthread-wmm/safe005_rmo.opt_false-unreach-call.i 12    8.9  120   260 23 0     
pthread-wmm/safe006_power.oepc_false-unreach-call.i 6.1  3.4  48   260 23 0     
pthread-wmm/safe006_power.opt_false-unreach-call.i 8.7  6.1  75   270 23 0     
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i 5.7  3.1  47   260 23 .0041
pthread-wmm/safe006_rmo.opt_false-unreach-call.i 5.6  3.1  42   260 23 0     
pthread-wmm/safe007_power.oepc_false-unreach-call.i 8.0  5.4  72   260 23 0     
pthread-wmm/safe007_power.opt_false-unreach-call.i 12    9.9  120   260 23 0     
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i 7.5  4.7  65   260 30 0     
pthread-wmm/safe007_rmo.opt_false-unreach-call.i 7.1  4.7  66   260 23 0     
pthread-wmm/safe008_power.oepc_false-unreach-call.i 11    8.4  120   260 23 0     
pthread-wmm/safe008_power.opt_false-unreach-call.i 15    12    150   260 23 0     
pthread-wmm/safe008_pso.oepc_false-unreach-call.i 11    8.5  98   260 23 0     
pthread-wmm/safe008_pso.opt_false-unreach-call.i 11    8.5  130   260 23 0     
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i 11    8.6  110   260 23 0     
pthread-wmm/safe008_rmo.opt_false-unreach-call.i 11    8.4  110   260 23 0     
pthread-wmm/safe009_power.oepc_false-unreach-call.i 10    7.4  120   270 23 0     
pthread-wmm/safe009_power.opt_false-unreach-call.i 13    10    130   270 23 0     
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i 9.1  6.5  100   260 23 0     
pthread-wmm/safe009_rmo.opt_false-unreach-call.i 6.2  3.7  53   250 23 0     
pthread-wmm/safe010_power.oepc_false-unreach-call.i 6.6  4.1  65   250 24 0     
pthread-wmm/safe010_power.opt_false-unreach-call.i 6.7  4.1  56   260 23 0     
pthread-wmm/safe010_pso.oepc_false-unreach-call.i 6.7  4.2  54   250 23 0     
pthread-wmm/safe010_pso.opt_false-unreach-call.i 6.5  4.1  60   260 23 0     
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i 6.8  4.3  58   250 23 0     
pthread-wmm/safe010_rmo.opt_false-unreach-call.i 6.7  4.2  56   250 23 0     
pthread-wmm/safe011_power.oepc_false-unreach-call.i 10    7.9  98   270 23 0     
pthread-wmm/safe011_power.opt_false-unreach-call.i 11    7.9  100   260 23 0     
pthread-wmm/safe011_pso.oepc_false-unreach-call.i 11    7.9  100   260 23 0     
pthread-wmm/safe011_pso.opt_false-unreach-call.i 10    7.8  99   260 23 0     
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i 10    7.7  97   260 23 0     
pthread-wmm/safe011_rmo.opt_false-unreach-call.i 10    7.7  99   260 30 0     
pthread-wmm/safe012_power.oepc_false-unreach-call.i 8.1  5.5  74   260 23 0     
pthread-wmm/safe012_power.opt_false-unreach-call.i 13    10    140   260 23 .0041
pthread-wmm/safe012_pso.oepc_false-unreach-call.i 13    9.9  120   250 23 0     
pthread-wmm/safe012_pso.opt_false-unreach-call.i 12    9.4  150   260 23 0     
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i 7.3  4.7  61   260 23 0     
pthread-wmm/safe012_rmo.opt_false-unreach-call.i 12    9.7  150   250 23 0     
pthread-wmm/safe013_power.oepc_false-unreach-call.i 11    8.8  120   270 23 0     
pthread-wmm/safe013_power.opt_false-unreach-call.i 11    8.6  130   260 24 0     
pthread-wmm/safe013_pso.oepc_false-unreach-call.i 11    8.4  130   260 23 .0041
pthread-wmm/safe013_pso.opt_false-unreach-call.i 11    8.7  100   260 23 0     
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i 11    8.5  120   260 23 0     
pthread-wmm/safe013_rmo.opt_false-unreach-call.i 11    8.6  100   260 25 0     
pthread-wmm/safe014_power.oepc_false-unreach-call.i 7.5  4.8  69   260 23 0     
pthread-wmm/safe014_power.opt_false-unreach-call.i 12    8.7  100   250 23 0     
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i 6.6  4.1  55   260 23 0     
pthread-wmm/safe014_rmo.opt_false-unreach-call.i 11    8.2  100   260 23 0     
pthread-wmm/safe015_power.oepc_false-unreach-call.i 26    23    270   390 23 0     
pthread-wmm/safe015_power.opt_false-unreach-call.i 12    8.8  110   260 23 0     
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i 11    7.7  100   250 23 0     
pthread-wmm/safe015_rmo.opt_false-unreach-call.i 10    7.6  98   260 23 0     
pthread-wmm/safe016_power.oepc_false-unreach-call.i 11    8.3  100   270 23 0     
pthread-wmm/safe016_power.opt_false-unreach-call.i 12    8.7  120   270 23 .0041
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i 10    7.6  110   260 23 0     
pthread-wmm/safe016_rmo.opt_false-unreach-call.i 11    8.2  110   260 23 0     
pthread-wmm/safe017_power.oepc_false-unreach-call.i 9.0  6.5  84   260 24 0     
pthread-wmm/safe017_power.opt_false-unreach-call.i 9.1  6.5  74   260 23 0     
pthread-wmm/safe017_pso.oepc_false-unreach-call.i 8.9  6.5  76   250 23 0     
pthread-wmm/safe017_pso.opt_false-unreach-call.i 9.0  6.5  86   260 23 0     
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i 9.2  6.6  83   260 23 0     
pthread-wmm/safe017_rmo.opt_false-unreach-call.i 9.0  6.5  77   260 23 0     
pthread-wmm/safe018_power.oepc_false-unreach-call.i 7.1  4.5  60   260 23 0     
pthread-wmm/safe018_power.opt_false-unreach-call.i 22    19    220   350 23 0     
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i 6.6  4.0  55   260 24 0     
pthread-wmm/safe018_rmo.opt_false-unreach-call.i 10    7.4  100   260 23 0     
pthread-wmm/safe019_power.oepc_false-unreach-call.i 13    9.9  140   260 23 0     
pthread-wmm/safe019_power.opt_false-unreach-call.i 36    33    380   460 23 0     
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i 11    8.4  100   260 23 0     
pthread-wmm/safe019_rmo.opt_false-unreach-call.i 11    8.3  100   260 23 0     
pthread-wmm/safe020_power.oepc_false-unreach-call.i 21    18    200   340 23 0     
pthread-wmm/safe020_power.opt_false-unreach-call.i 21    19    230   340 24 0     
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i 9.5  6.8  87   270 24 0     
pthread-wmm/safe020_rmo.opt_false-unreach-call.i 9.3  6.8  84   260 23 0     
pthread-wmm/safe021_power.oepc_false-unreach-call.i 11    8.5  120   260 23 .0041
pthread-wmm/safe021_power.opt_false-unreach-call.i 11    8.4  100   260 23 0     
pthread-wmm/safe021_pso.oepc_false-unreach-call.i 11    8.5  110   260 23 0     
pthread-wmm/safe021_pso.opt_false-unreach-call.i 11    8.3  110   260 23 0     
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i 11    8.5  130   260 23 0     
pthread-wmm/safe021_rmo.opt_false-unreach-call.i 11    8.5  110   260 23 0     
pthread-wmm/safe022_power.oepc_false-unreach-call.i 7.1  4.6  64   260 23 0     
pthread-wmm/safe022_power.opt_false-unreach-call.i 7.0  4.6  60   260 23 0     
pthread-wmm/safe022_pso.oepc_false-unreach-call.i 7.1  4.7  61   250 23 0     
pthread-wmm/safe022_pso.opt_false-unreach-call.i 7.0  4.6  74   260 23 0     
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i 7.1  4.6  74   260 23 .0041
pthread-wmm/safe022_rmo.opt_false-unreach-call.i 7.1  4.6  71   260 23 .066 
pthread-wmm/safe023_power.oepc_false-unreach-call.i 23    21    290   370 23 0     
pthread-wmm/safe023_power.opt_false-unreach-call.i 23    21    230   370 23 0     
pthread-wmm/safe023_pso.oepc_false-unreach-call.i 23    21    240   370 23 0     
pthread-wmm/safe023_pso.opt_false-unreach-call.i 23    21    260   370 23 0     
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i 23    21    220   370 27 0     
pthread-wmm/safe023_rmo.opt_false-unreach-call.i 23    20    210   370 23 0     
pthread-wmm/safe024_power.oepc_false-unreach-call.i 13    10    140   260 23 0     
pthread-wmm/safe024_power.opt_false-unreach-call.i 13    10    140   260 24 0     
pthread-wmm/safe024_pso.oepc_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/safe024_pso.opt_false-unreach-call.i 13    10    130   260 23 0     
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i 13    10    120   270 23 0     
pthread-wmm/safe024_rmo.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/safe025_power.oepc_false-unreach-call.i 28    25    270   420 23 0     
pthread-wmm/safe025_power.opt_false-unreach-call.i 27    24    260   410 23 0     
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i 11    8.8  130   260 30 0     
pthread-wmm/safe025_rmo.opt_false-unreach-call.i 11    8.7  120   270 23 0     
pthread-wmm/safe026_power.oepc_false-unreach-call.i 10    7.5  87   260 23 0     
pthread-wmm/safe026_power.opt_false-unreach-call.i 10    7.4  91   260 24 0     
pthread-wmm/safe026_pso.oepc_false-unreach-call.i 10    7.5  94   260 24 0     
pthread-wmm/safe026_pso.opt_false-unreach-call.i 10    7.5  99   260 23 0     
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i 9.7  7.3  96   260 23 0     
pthread-wmm/safe026_rmo.opt_false-unreach-call.i 9.8  7.3  110   260 24 0     
pthread-wmm/safe027_power.oepc_false-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/safe027_power.opt_false-unreach-call.i 40    37    480   490 23 0     
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i 12    9.7  140   260 23 0     
pthread-wmm/safe027_rmo.opt_false-unreach-call.i 12    9.8  120   260 23 .0041
pthread-wmm/safe028_power.oepc_false-unreach-call.i 24    21    240   360 23 0     
pthread-wmm/safe028_power.opt_false-unreach-call.i 23    20    230   360 23 0     
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i 11    7.7  89   290 23 0     
pthread-wmm/safe028_rmo.opt_false-unreach-call.i 10    7.7  99   260 23 0     
pthread-wmm/safe029_power.oepc_false-unreach-call.i 6.1  3.7  50   260 23 0     
pthread-wmm/safe029_power.opt_false-unreach-call.i 6.1  3.7  55   260 23 .0041
pthread-wmm/safe029_pso.oepc_false-unreach-call.i 6.4  3.8  59   260 23 0     
pthread-wmm/safe029_pso.opt_false-unreach-call.i 6.1  3.6  63   260 23 0     
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i 6.3  3.8  58   260 23 0     
pthread-wmm/safe029_rmo.opt_false-unreach-call.i 6.0  3.6  62   260 23 0     
pthread-wmm/safe030_power.oepc_false-unreach-call.i 9.4  6.8  83   260 23 0     
pthread-wmm/safe030_power.opt_false-unreach-call.i 7.4  5.0  74   250 23 0     
pthread-wmm/safe030_pso.oepc_false-unreach-call.i 9.5  6.9  80   260 23 0     
pthread-wmm/safe030_pso.opt_false-unreach-call.i 7.5  5.0  73   250 23 .0041
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i 9.2  6.8  90   260 23 0     
pthread-wmm/safe030_rmo.opt_false-unreach-call.i 7.5  5.1  69   260 23 .0041
pthread-wmm/safe031_power.oepc_false-unreach-call.i 10    7.8  94   260 23 0     
pthread-wmm/safe031_power.opt_false-unreach-call.i 8.6  6.0  75   260 23 0     
pthread-wmm/safe031_pso.oepc_false-unreach-call.i 11    7.9  96   260 23 0     
pthread-wmm/safe031_pso.opt_false-unreach-call.i 8.1  5.8  77   260 23 0     
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i 10    7.8  99   260 23 0     
pthread-wmm/safe031_rmo.opt_false-unreach-call.i 8.7  6.0  81   260 23 0     
pthread-wmm/safe032_power.oepc_false-unreach-call.i 21    18    200   350 23 0     
pthread-wmm/safe032_power.opt_false-unreach-call.i 21    18    200   350 23 0     
pthread-wmm/safe032_pso.oepc_false-unreach-call.i 21    18    190   350 23 0     
pthread-wmm/safe032_pso.opt_false-unreach-call.i 21    18    200   350 24 0     
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i 21    18    200   350 23 0     
pthread-wmm/safe032_rmo.opt_false-unreach-call.i 21    18    190   350 24 0     
pthread-wmm/safe033_power.oepc_false-unreach-call.i 6.8  4.2  57   260 23 0     
pthread-wmm/safe033_power.opt_false-unreach-call.i 6.6  4.2  68   260 24 0     
pthread-wmm/safe033_pso.oepc_false-unreach-call.i 6.5  4.2  60   260 23 0     
pthread-wmm/safe033_pso.opt_false-unreach-call.i 6.8  4.2  55   250 23 0     
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i 6.6  4.1  53   260 23 0     
pthread-wmm/safe033_rmo.opt_false-unreach-call.i 6.5  4.1  64   260 23 0     
pthread-wmm/safe034_power.oepc_false-unreach-call.i 9.4  6.9  85   270 23 0     
pthread-wmm/safe034_power.opt_false-unreach-call.i 9.3  6.8  87   260 23 0     
pthread-wmm/safe034_pso.oepc_false-unreach-call.i 9.2  6.8  86   250 23 0     
pthread-wmm/safe034_pso.opt_false-unreach-call.i 9.3  6.8  82   270 23 0     
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i 9.5  6.9  94   250 23 0     
pthread-wmm/safe034_rmo.opt_false-unreach-call.i 9.7  7.0  92   260 23 .0041
pthread-wmm/thin000_power.oepc_false-unreach-call.i 6.1  3.5  49   250 23 0     
pthread-wmm/thin000_power.opt_false-unreach-call.i 8.9  6.2  85   270 23 0     
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i 5.6  3.1  50   260 23 0     
pthread-wmm/thin000_rmo.opt_false-unreach-call.i 5.7  3.2  51   260 23 0     
pthread-wmm/thin001_power.oepc_false-unreach-call.i 8.1  5.5  70   260 23 0     
pthread-wmm/thin001_power.opt_false-unreach-call.i 13    10    120   260 23 0     
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i 7.5  4.8  65   260 23 0     
pthread-wmm/thin001_rmo.opt_false-unreach-call.i 7.3  4.7  61   250 23 0     
pthread-wmm/thin002_power.oepc_false-unreach-call.i 11    8.3  97   260 23 0     
pthread-wmm/thin002_power.opt_false-unreach-call.i 20    17    170   320 24 0     
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i 10    7.4  90   260 23 0     
pthread-wmm/thin002_rmo.opt_false-unreach-call.i 10    7.4  89   260 23 0     
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i 12    9.6  130   260 23 0     
pthread-wmm/rfi000_tso.opt_true-unreach-call.i 12    9.6  150   260 28 0     
pthread-wmm/rfi002_power.oepc_true-unreach-call.i 14    11    170   260 23 .070 
pthread-wmm/rfi002_power.opt_true-unreach-call.i 15    12    150   260 23 0     
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i 14    11    150   270 24 0     
pthread-wmm/rfi002_pso.opt_true-unreach-call.i 14    11    120   260 23 0     
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i 14    11    140   260 23 0     
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i 32    29    290   420 23 0     
pthread-wmm/rfi002_tso.opt_true-unreach-call.i 33    30    310   420 23 0     
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i 15    12    160   290 23 0     
pthread-wmm/rfi003_tso.opt_true-unreach-call.i 15    13    150   290 23 0     
pthread-wmm/safe000_pso.oepc_true-unreach-call.i 4.1  2.0  36   260 23 0     
pthread-wmm/safe000_pso.opt_true-unreach-call.i 4.2  2.0  33   250 24 0     
pthread-wmm/safe000_tso.oepc_true-unreach-call.i 4.1  1.9  32   250 23 0     
pthread-wmm/safe000_tso.opt_true-unreach-call.i 4.2  2.0  31   250 23 0     
pthread-wmm/safe001_tso.oepc_true-unreach-call.i 4.1  1.9  32   250 23 0     
pthread-wmm/safe001_tso.opt_true-unreach-call.i 4.1  1.9  30   240 23 .13  
pthread-wmm/safe002_tso.oepc_true-unreach-call.i 4.2  2.0  31   250 23 0     
pthread-wmm/safe002_tso.opt_true-unreach-call.i 4.2  2.0  32   260 23 0     
pthread-wmm/safe003_tso.oepc_true-unreach-call.i 4.6  2.2  38   250 23 0     
pthread-wmm/safe003_tso.opt_true-unreach-call.i 4.7  2.2  35   250 23 0     
pthread-wmm/safe004_tso.oepc_true-unreach-call.i 4.1  1.9  29   250 23 0     
pthread-wmm/safe004_tso.opt_true-unreach-call.i 3.9  1.8  34   240 23 0     
pthread-wmm/safe005_tso.oepc_true-unreach-call.i 4.2  2.0  36   250 24 0     
pthread-wmm/safe005_tso.opt_true-unreach-call.i 4.1  2.0  38   250 25 0     
pthread-wmm/safe006_pso.oepc_true-unreach-call.i 3.9  1.8  30   260 23 0     
pthread-wmm/safe006_pso.opt_true-unreach-call.i 4.0  1.8  29   260 23 0     
pthread-wmm/safe006_tso.oepc_true-unreach-call.i 4.3  1.8  32   280 23 0     
pthread-wmm/safe006_tso.opt_true-unreach-call.i 4.0  1.8  30   260 23 0     
pthread-wmm/safe007_pso.oepc_true-unreach-call.i 4.4  2.2  31   260 23 .0041
pthread-wmm/safe007_pso.opt_true-unreach-call.i 4.4  2.2  34   260 23 0     
pthread-wmm/safe007_tso.oepc_true-unreach-call.i 4.3  2.1  35   250 23 0     
pthread-wmm/safe007_tso.opt_true-unreach-call.i 4.6  2.1  35   270 23 0     
pthread-wmm/safe008_tso.oepc_true-unreach-call.i 4.1  2.0  32   250 23 0     
pthread-wmm/safe008_tso.opt_true-unreach-call.i 4.3  2.0  30   250 23 0     
pthread-wmm/safe009_pso.oepc_true-unreach-call.i 4.1  1.9  33   260 23 0     
pthread-wmm/safe009_pso.opt_true-unreach-call.i 4.1  1.9  28   250 23 0     
pthread-wmm/safe009_tso.oepc_true-unreach-call.i 4.0  1.8  31   260 23 0     
pthread-wmm/safe009_tso.opt_true-unreach-call.i 4.1  1.9  29   260 23 0     
pthread-wmm/safe010_tso.oepc_true-unreach-call.i 4.1  1.8  31   260 23 0     
pthread-wmm/safe010_tso.opt_true-unreach-call.i 4.0  1.8  29   260 23 0     
pthread-wmm/safe011_tso.oepc_true-unreach-call.i 3.9  1.8  34   250 23 0     
pthread-wmm/safe011_tso.opt_true-unreach-call.i 4.0  1.9  34   250 23 0     
pthread-wmm/safe012_tso.oepc_true-unreach-call.i 4.3  2.2  33   260 23 0     
pthread-wmm/safe012_tso.opt_true-unreach-call.i 4.2  2.1  34   250 23 0     
pthread-wmm/safe013_tso.oepc_true-unreach-call.i 4.3  2.0  30   250 23 0     
pthread-wmm/safe013_tso.opt_true-unreach-call.i 4.2  2.0  32   250 23 0     
pthread-wmm/safe014_pso.oepc_true-unreach-call.i 4.5  2.1  34   270 23 0     
pthread-wmm/safe014_pso.opt_true-unreach-call.i 4.2  2.0  32   250 23 0     
pthread-wmm/safe014_tso.oepc_true-unreach-call.i 4.2  2.0  33   250 23 0     
pthread-wmm/safe014_tso.opt_true-unreach-call.i 4.2  2.0  31   250 25 0     
pthread-wmm/safe015_pso.oepc_true-unreach-call.i 4.1  1.9  30   250 23 0     
pthread-wmm/safe015_pso.opt_true-unreach-call.i 4.0  1.9  30   250 23 0     
pthread-wmm/safe015_tso.oepc_true-unreach-call.i 4.1  1.9  30   250 24 0     
pthread-wmm/safe015_tso.opt_true-unreach-call.i 4.1  1.9  30   260 23 0     
pthread-wmm/safe016_pso.oepc_true-unreach-call.i 4.4  2.0  34   260 23 0     
pthread-wmm/safe016_pso.opt_true-unreach-call.i 4.2  2.0  32   250 23 0     
pthread-wmm/safe016_tso.oepc_true-unreach-call.i 4.2  1.9  28   260 23 0     
pthread-wmm/safe016_tso.opt_true-unreach-call.i 4.1  1.9  32   260 23 0     
pthread-wmm/safe017_tso.oepc_true-unreach-call.i 3.9  1.8  29   260 23 0     
pthread-wmm/safe017_tso.opt_true-unreach-call.i 3.9  1.8  30   250 23 0     
pthread-wmm/safe018_pso.oepc_true-unreach-call.i 4.1  2.0  32   250 23 0     
pthread-wmm/safe018_pso.opt_true-unreach-call.i 4.3  1.9  31   250 23 0     
pthread-wmm/safe018_tso.oepc_true-unreach-call.i 4.1  1.9  38   260 23 0     
pthread-wmm/safe018_tso.opt_true-unreach-call.i 4.0  1.9  33   250 24 0     
pthread-wmm/safe019_pso.oepc_true-unreach-call.i 4.3  2.1  33   250 23 0     
pthread-wmm/safe019_pso.opt_true-unreach-call.i 4.3  2.1  33   240 23 0     
pthread-wmm/safe019_tso.oepc_true-unreach-call.i 4.2  2.0  34   250 23 0     
pthread-wmm/safe019_tso.opt_true-unreach-call.i 4.5  2.2  32   260 23 0     
pthread-wmm/safe020_pso.oepc_true-unreach-call.i 3.9  1.8  32   260 23 0     
pthread-wmm/safe020_pso.opt_true-unreach-call.i 4.0  1.8  31   260 23 0     
pthread-wmm/safe020_tso.oepc_true-unreach-call.i 4.0  1.9  31   260 23 0     
pthread-wmm/safe020_tso.opt_true-unreach-call.i 4.1  1.9  29   250 23 0     
pthread-wmm/safe021_tso.oepc_true-unreach-call.i 4.3  2.0  35   260 23 0     
pthread-wmm/safe021_tso.opt_true-unreach-call.i 4.1  2.0  33   260 24 0     
pthread-wmm/safe022_tso.oepc_true-unreach-call.i 4.0  1.8  30   240 24 0     
pthread-wmm/safe022_tso.opt_true-unreach-call.i 3.9  1.8  29   260 23 0     
pthread-wmm/safe023_tso.oepc_true-unreach-call.i 4.3  2.1  33   250 23 0     
pthread-wmm/safe023_tso.opt_true-unreach-call.i 4.2  2.0  30   250 23 .0041
pthread-wmm/safe024_tso.oepc_true-unreach-call.i 4.3  2.1  32   260 24 0     
pthread-wmm/safe024_tso.opt_true-unreach-call.i 4.3  2.1  38   250 24 0     
pthread-wmm/safe025_pso.oepc_true-unreach-call.i 4.4  2.2  32   260 23 0     
pthread-wmm/safe025_pso.opt_true-unreach-call.i 4.2  2.0  34   250 23 0     
pthread-wmm/safe025_tso.oepc_true-unreach-call.i 4.2  2.0  35   260 23 0     
pthread-wmm/safe025_tso.opt_true-unreach-call.i 4.2  2.1  30   250 23 .070 
pthread-wmm/safe026_tso.oepc_true-unreach-call.i 3.9  1.8  29   260 23 0     
pthread-wmm/safe026_tso.opt_true-unreach-call.i 4.2  1.9  30   250 23 0     
pthread-wmm/safe027_pso.oepc_true-unreach-call.i 4.4  2.2  34   260 23 0     
pthread-wmm/safe027_pso.opt_true-unreach-call.i 4.4  2.2  36   250 23 0     
pthread-wmm/safe027_tso.oepc_true-unreach-call.i 4.3  2.2  32   250 23 0     
pthread-wmm/safe027_tso.opt_true-unreach-call.i 4.3  2.1  36   250 23 0     
pthread-wmm/safe028_pso.oepc_true-unreach-call.i 4.0  1.9  32   250 23 0     
pthread-wmm/safe028_pso.opt_true-unreach-call.i 4.2  2.0  33   250 23 0     
pthread-wmm/safe028_tso.oepc_true-unreach-call.i 4.0  1.9  28   260 23 0     
pthread-wmm/safe028_tso.opt_true-unreach-call.i 4.2  2.0  29   240 23 0     
pthread-wmm/safe029_tso.oepc_true-unreach-call.i 3.7  1.7  28   250 23 0     
pthread-wmm/safe029_tso.opt_true-unreach-call.i 3.8  1.6  30   260 23 0     
pthread-wmm/safe030_tso.oepc_true-unreach-call.i 3.9  1.8  31   260 23 0     
pthread-wmm/safe030_tso.opt_true-unreach-call.i 3.9  1.8  31   250 23 .0041
pthread-wmm/safe031_tso.oepc_true-unreach-call.i 4.0  1.9  31   260 23 0     
pthread-wmm/safe031_tso.opt_true-unreach-call.i 4.3  2.0  29   250 23 0     
pthread-wmm/safe032_tso.oepc_true-unreach-call.i 4.1  1.9  30   250 23 0     
pthread-wmm/safe032_tso.opt_true-unreach-call.i 4.1  1.9  30   250 23 0     
pthread-wmm/safe033_tso.oepc_true-unreach-call.i 3.9  1.7  27   250 23 0     
pthread-wmm/safe033_tso.opt_true-unreach-call.i 4.0  1.8  29   250 23 0     
pthread-wmm/safe034_tso.oepc_true-unreach-call.i 4.2  2.0  34   250 23 0     
pthread-wmm/safe034_tso.opt_true-unreach-call.i 4.2  2.0  31   250 23 0     
pthread-wmm/safe035_power.oepc_true-unreach-call.i 30    27    270   400 23 0     
pthread-wmm/safe035_power.opt_true-unreach-call.i 29    26    290   400 23 0     
pthread-wmm/safe035_pso.oepc_true-unreach-call.i 4.2  2.0  31   260 23 0     
pthread-wmm/safe035_pso.opt_true-unreach-call.i 4.6  2.2  34   260 23 0     
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i 4.4  2.2  35   250 23 0     
pthread-wmm/safe035_rmo.opt_true-unreach-call.i 4.2  2.0  33   250 23 .066 
pthread-wmm/safe035_tso.oepc_true-unreach-call.i 4.3  2.1  32   250 24 0     
pthread-wmm/safe035_tso.opt_true-unreach-call.i 4.1  2.0  35   250 23 0     
pthread-wmm/safe036_power.oepc_true-unreach-call.i 4.0  1.8  26   260 23 0     
pthread-wmm/safe036_power.opt_true-unreach-call.i 3.9  1.8  30   260 27 0     
pthread-wmm/safe036_pso.oepc_true-unreach-call.i 4.0  1.8  31   260 23 0     
pthread-wmm/safe036_pso.opt_true-unreach-call.i 3.8  1.8  28   250 23 0     
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i 4.2  2.0  30   250 23 0     
pthread-wmm/safe036_rmo.opt_true-unreach-call.i 4.0  1.9  30   250 23 0     
pthread-wmm/safe036_tso.oepc_true-unreach-call.i 3.9  1.8  29   250 23 0     
pthread-wmm/safe036_tso.opt_true-unreach-call.i 4.3  2.0  29   250 23 0     
pthread-wmm/safe037_power.oepc_true-unreach-call.i 4.4  2.2  41   250 23 0     
pthread-wmm/safe037_power.opt_true-unreach-call.i 4.4  2.3  34   250 24 0     
pthread-wmm/safe037_pso.oepc_true-unreach-call.i 4.4  2.2  34   250 23 0     
pthread-wmm/safe037_pso.opt_true-unreach-call.i 4.4  2.2  37   250 23 0     
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i 4.3  2.2  37   250 23 0     
pthread-wmm/safe037_rmo.opt_true-unreach-call.i 4.4  2.2  40   260 23 0     
pthread-wmm/safe037_tso.oepc_true-unreach-call.i 4.5  2.3  36   250 23 .0041
pthread-wmm/safe037_tso.opt_true-unreach-call.i 4.4  2.2  33   240 23 0     
pthread-wmm/thin000_pso.oepc_true-unreach-call.i 4.3  1.9  30   250 23 0     
pthread-wmm/thin000_pso.opt_true-unreach-call.i 4.2  1.9  29   250 23 .0041
pthread-wmm/thin000_tso.oepc_true-unreach-call.i 4.0  1.8  27   250 23 0     
pthread-wmm/thin000_tso.opt_true-unreach-call.i 4.1  1.8  29   250 23 0     
pthread-wmm/thin001_pso.oepc_true-unreach-call.i 4.2  2.1  30   250 30 0     
pthread-wmm/thin001_pso.opt_true-unreach-call.i 4.4  2.2  36   250 23 0     
pthread-wmm/thin001_tso.oepc_true-unreach-call.i 4.2  2.2  34   260 23 0     
pthread-wmm/thin001_tso.opt_true-unreach-call.i 4.3  2.1  35   250 23 0     
pthread-wmm/thin002_pso.oepc_true-unreach-call.i 5.2  2.9  48   250 24 0     
pthread-wmm/thin002_pso.opt_true-unreach-call.i 5.2  3.0  49   260 24 0     
pthread-wmm/thin002_tso.oepc_true-unreach-call.i 5.3  3.1  41   250 23 .0041
pthread-wmm/thin002_tso.opt_true-unreach-call.i 5.1  2.9  40   250 23 0     
pthread-lit/fkp2013_false-unreach-call.i 5.1  1.8  30   250 23 0     
pthread-lit/fkp2013_variant_false-unreach-call.i 35    13    230   260 24 0     
pthread-lit/qw2004_false-unreach-call.i 4.1  1.8  33   250 23 0     
pthread-lit/fk2012_true-unreach-call.i 15    7.5  120   250 23 0     
pthread-lit/fkp2013_true-unreach-call.i 5.2  1.9  35   250 23 0     
pthread-lit/fkp2013_variant_true-unreach-call.i 36    13    250   260 24 0     
pthread-lit/fkp2014_true-unreach-call.i 4.2  1.6  30   260 23 0     
pthread-lit/qw2004_true-unreach-call.i 3.9  1.6  26   250 23 0     
pthread-lit/qw2004_variant_true-unreach-call.i 54    22    330   270 24 0     
pthread-lit/sssc12_true-unreach-call.i 4.0  1.6  33   250 23 0     
pthread-lit/sssc12_variant_true-unreach-call.i 4.0  1.6  27   250 23 0     
ldv-races/race-1_1-join_true-unreach-call.i 4.5  1.8  31   270 23 0     
ldv-races/race-2_1-container_of_true-unreach-call.i 5.1  2.0  32   260 24 0     
ldv-races/race-3_1-container_of-global_true-unreach-call.i 4.9  2.0  33   260 23 0     
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i 4.7  1.9  35   260 23 0     
ldv-races/race-1_2-join_false-unreach-call.i 4.5  1.9  32   270 23 .23  
ldv-races/race-1_3-join_false-unreach-call.i 4.6  1.8  37   260 23 0     
ldv-races/race-2_2-container_of_false-unreach-call.i 5.0  1.9  32   270 23 0     
ldv-races/race-2_3-container_of_false-unreach-call.i 4.7  1.8  34   270 23 0     
ldv-races/race-2_4-container_of_false-unreach-call.i 4.8  1.9  34   260 23 0     
ldv-races/race-2_5-container_of_false-unreach-call.i 5.0  1.9  32   270 23 0     
ldv-races/race-3_2-container_of-global_false-unreach-call.i 4.5  1.8  36   260 23 0     
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i 5.0  2.0  33   260 23 0     
pthread-complex/bounded_buffer_false-unreach-call.i 7.9  2.7  42   270 23 0     
pthread-complex/elimination_backoff_stack_false-unreach-call.i 4.8  1.8  39   260 23 0     
pthread-complex/safestack_relacy_false-unreach-call.i 7.1  2.4  40   260 23 0     
pthread-complex/workstealqueue_mutex_false-unreach-call.i 7.3  2.5  50   270 23 .0041
pthread-complex/workstealqueue_mutex_true-unreach-call.i 7.0  2.5  44   270 24 0     
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i 13    4.2  95   370 23 0     
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i 14    4.3  97   390 23 0     
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i 13    4.3  93   380 23 0     
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i 14    4.2  94   390 23 0     
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i 15    4.6  100   390 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i 14    4.3  94   370 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i 14    4.6  110   390 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i 14    4.4  100   380 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i 14    4.3  110   400 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i 14    4.6  110   390 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i 14    4.5  110   380 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i 14    4.4  100   370 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i 15    4.4  120   390 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i 15    4.6  110   380 24 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i 14    4.4  99   400 23 .0041
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i 13    4.2  110   380 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i 14    4.3  98   380 23 0     
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i 15    4.6  95   390 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i 14    4.4  100   380 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i 14    4.3  95   400 23 0     
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i 14    4.5  100   390 23 .26  
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i 5.9  2.1  37   270 23 0     
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i .32 .36 2.6 54 23 0     
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i .34 .38 2.6 56 23 0     
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i 5.8  2.1  38   260 23 0     
../../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
total 1047 19000 15000 180000 320000 24000 3.1  1047 1047 1047 1047
    correct results 931 15000 12000 150000 280000 22000 2.2  0 0 0 0
        correct true 167 1900 1000 16000 47000 3900 .37 0 0 0 0
        correct false 764 13000 11000 130000 230000 18000 1.9  0 0 0 0
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 16 240 120 1900 4200 380 0    0 0 0 0
        incorrect true 3 73 28 530 770 71 0    0 0 0 0
        incorrect false 13 170 93 1300 3400 310 0    0 0 0 0
Run set sv-comp17