Tool ESBMC version 6.0.0 64-bit x86_64 linux
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 11:03:31 CET
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options -s kinduction
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i false(unreach-call) .17  27 2.6 
pthread/fib_bench_false-unreach-call.i true .60  26 7.0 
pthread/fib_bench_longer_false-unreach-call.i true .68  27 11   
pthread/fib_bench_longest_false-unreach-call.i true 1.7   28 24   
pthread/lazy01_false-unreach-call.i witness invalid (false(unreach-call)) .37  27 4.3 
pthread/queue_false-unreach-call.i true 73     1300 990   
pthread/queue_longer_false-unreach-call.i timeout 900     15000 12000   
pthread/queue_longest_false-unreach-call.i timeout 900     12000 12000   
pthread/reorder_2_false-unreach-call.i false(unreach-call) 2.3   27 35   
pthread/reorder_5_false-unreach-call.i false(unreach-call) 37     120 500   
pthread/sigma_false-unreach-call.i timeout 900     3200 11000   
pthread/singleton_false-unreach-call.i true 270     1300 3200   
pthread/stack_false-unreach-call.i true 6.6   130 100   
pthread/stack_longer_false-unreach-call.i timeout 900     12000 10000   
pthread/stack_longest_false-unreach-call.i timeout 900     10000 12000   
pthread/stateful01_false-unreach-call.i witness invalid (false(unreach-call)) .24  27 3.1 
pthread/triangular-longer_false-unreach-call.i true 1.3   27 19   
pthread/triangular-longest_false-unreach-call.i true 4.2   44 63   
pthread/triangular_false-unreach-call.i true .59  27 7.2 
pthread/twostage_3_false-unreach-call.i true 4.3   72 51   
pthread/bigshot_s2_true-unreach-call.i true .24  27 3.1 
pthread/bigshot_s_true-unreach-call.i true .24  27 2.8 
pthread/fib_bench_longer_true-unreach-call.i true .66  27 8.0 
pthread/fib_bench_longest_true-unreach-call.i true 1.6   28 20   
pthread/fib_bench_true-unreach-call.i true .60  26 7.4 
pthread/indexer_true-unreach-call.i true .35  27 4.0 
pthread/queue_ok_longer_true-unreach-call.i timeout 900     6600 13000   
pthread/queue_ok_longest_true-unreach-call.i timeout 900     6600 9900   
pthread/queue_ok_true-unreach-call.i true 23     260 300   
pthread/singleton_with-uninit-problems_true-unreach-call.i true 270     1300 3800   
pthread/stack_longer_true-unreach-call.i timeout 900     13000 12000   
pthread/stack_longest_true-unreach-call.i timeout 900     11000 11000   
pthread/stack_true-unreach-call.i true 8.0   160 110   
pthread/stateful01_true-unreach-call.i true .54  27 8.2 
pthread/sync01_true-unreach-call.i true .53  31 7.7 
pthread/triangular-longer_true-unreach-call.i true 1.3   28 15   
pthread/triangular-longest_true-unreach-call.i true 4.2   44 64   
pthread/triangular_true-unreach-call.i true .60  27 7.4 
pthread-atomic/qrcu_false-unreach-call.i timeout 900     5200 11000   
pthread-atomic/read_write_lock_false-unreach-call.i true 1.4   27 19   
pthread-atomic/dekker_true-unreach-call.i timeout 900     5000 12000   
pthread-atomic/gcd_true-unreach-call_true-termination.i timeout 900     54 12000   
pthread-atomic/lamport_true-unreach-call.i timeout 900     13000 13000   
pthread-atomic/peterson_true-unreach-call.i timeout 900     9400 13000   
pthread-atomic/qrcu_true-unreach-call.i timeout 900     5200 13000   
pthread-atomic/read_write_lock_true-unreach-call.i true 1.4   27 17   
pthread-atomic/scull_true-unreach-call.i true 12     130 150   
pthread-atomic/szymanski_true-unreach-call.i out of memory 860     15000 13000   
pthread-atomic/time_var_mutex_true-unreach-call.i true .37  27 4.1 
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) .089 27 .96
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) .12  27 .92
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) .095 27 1.1 
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) .10  27 .99
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) .32  27 3.2 
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) .11  26 .83
pthread-ext/32_pthread5_vs_false-unreach-call.i timeout 900     11000 12000   
pthread-ext/40_barrier_vf_false-unreach-call.i timeout 900     13000 10000   
pthread-ext/01_inc_true-unreach-call.i timeout 900     2000 12000   
pthread-ext/02_inc_cas_true-unreach-call.i timeout 900     2600 11000   
pthread-ext/03_incdec_true-unreach-call.i timeout 900     8900 11000   
pthread-ext/04_incdec_cas_true-unreach-call.i timeout 900     11000 9700   
pthread-ext/05_tas_true-unreach-call.i timeout 900     3800 12000   
pthread-ext/06_ticket_true-unreach-call.i timeout 900     3400 11000   
pthread-ext/07_rand_true-unreach-call.i timeout 900     12000 13000   
pthread-ext/08_rand_cas_true-unreach-call.i timeout 900     7800 12000   
pthread-ext/09_fmaxsym_true-unreach-call.i timeout 900     11000 12000   
pthread-ext/10_fmaxsym_cas_true-unreach-call.i timeout 900     7700 10000   
pthread-ext/11_fmaxsymopt_true-unreach-call.i timeout 900     10000 9300   
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i timeout 900     10000 13000   
pthread-ext/13_unverif_true-unreach-call.i timeout 900     1700 11000   
pthread-ext/14_spin2003_true-unreach-call.i timeout 900     1800 12000   
pthread-ext/15_dekker_true-unreach-call.i timeout 900     800 9200   
pthread-ext/16_peterson_true-unreach-call.i true .11  26 .87
pthread-ext/17_szymanski_true-unreach-call.i timeout 900     6300 9900   
pthread-ext/18_read_write_lock_true-unreach-call.i true .086 26 1.0 
pthread-ext/19_time_var_mutex_true-unreach-call.i true .12  26 .81
pthread-ext/20_lamport_true-unreach-call.i timeout 900     910 10000   
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i out of memory 690     15000 9500   
pthread-ext/25_stack_longer_true-unreach-call.i timeout 900     3500 11000   
pthread-ext/25_stack_longest_true-unreach-call.i timeout 900     3500 12000   
pthread-ext/25_stack_true-unreach-call.i timeout 900     3400 14000   
pthread-ext/26_stack_cas_longer_true-unreach-call.i timeout 900     3200 12000   
pthread-ext/26_stack_cas_longest_true-unreach-call.i timeout 900     3200 11000   
pthread-ext/26_stack_cas_true-unreach-call.i timeout 900     3200 13000   
pthread-ext/29_conditionals_vs_true-unreach-call.i timeout 900     11000 11000   
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i timeout 900     12000 10000   
pthread-ext/31_simple_loop5_vs_true-unreach-call.i timeout 900     3600 9900   
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i timeout 900     12000 13000   
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i timeout 900     12000 13000   
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i timeout 900     11000 14000   
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i timeout 900     8800 12000   
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i timeout 900     3500 11000   
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i timeout 900     7800 13000   
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i timeout 900     5000 11000   
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i timeout 900     8400 11000   
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i timeout 900     3400 14000   
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i timeout 900     7500 10000   
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i timeout 900     8000 9900   
pthread-ext/45_monabsex1_vs_true-unreach-call.i timeout 900     1500 12000   
pthread-ext/46_monabsex2_vs_true-unreach-call.i timeout 900     1400 11000   
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 900     3100 10000   
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 900     1500 12000   
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) .48  28 6.1 
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) .48  28 5.9 
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) .47  28 6.7 
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) .48  28 6.1 
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) .51  28 6.6 
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) .51  28 6.2 
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) .49  28 5.5 
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) .49  28 6.4 
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 2.5   36 32   
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 2.6   35 34   
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 2.5   36 29   
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 2.5   35 34   
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 2.5   36 33   
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 2.5   35 35   
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 2.5   36 31   
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 2.5   35 28   
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 2.4   33 37   
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 2.7   36 39   
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 2.4   33 36   
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 2.7   35 31   
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 2.4   33 35   
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 2.7   35 34   
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 2.4   33 31   
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 2.7   36 29   
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 2.1   32 25   
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 2.3   34 29   
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 2.1   32 26   
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 2.3   34 30   
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1   32 25   
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 2.3   35 29   
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 2.3   35 29   
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 2.3   35 32   
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 2.1   32 28   
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 2.3   34 30   
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 14     110 210   
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 190   
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 14     100 190   
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 14     100 220   
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 210   
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 14     100 230   
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 14     98 170   
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 2.2   33 25   
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 2.5   36 33   
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 32   
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 2.5   36 31   
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   33 25   
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 2.5   36 32   
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 4.2   54 50   
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 2.5   36 32   
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 14     110 190   
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 14     110 170   
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 14     110 160   
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 15     110 180   
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 15     110 170   
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 14     110 210   
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 15     110 180   
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 15     110 190   
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 26     210 350   
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) .44  28 5.7 
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) .51  28 7.3 
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) .44  28 5.7 
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) .54  28 5.7 
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) .44  28 6.8 
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) .51  28 6.1 
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) .44  28 5.8 
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) .52  28 6.1 
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 2.1   33 27   
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 2.4   35 30   
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 2.1   33 25   
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 2.4   35 32   
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1   33 25   
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 2.4   35 33   
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 2.1   33 33   
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 2.4   35 34   
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 2.2   33 32   
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 2.4   35 28   
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 27   
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 2.4   35 34   
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   33 31   
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 2.4   35 27   
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 2.3   32 28   
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 2.5   35 35   
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) .41  28 4.0 
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) .38  28 5.3 
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) .40  28 4.8 
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) .45  28 5.3 
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) .38  28 5.3 
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) .38  28 5.0 
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) .38  28 3.7 
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) .44  28 5.7 
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 200   
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 14     110 190   
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 14     110 230   
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 14     110 230   
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 15     110 180   
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 14     110 160   
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 23     190 300   
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 15     110 200   
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 2.2   33 31   
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 2.5   35 35   
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 2.3   33 29   
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 2.6   36 31   
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   33 32   
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 2.6   36 28   
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 28   
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 2.5   35 31   
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1.9   32 29   
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1.8   30 21   
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   32 24   
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 2.2   34 27   
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   32 25   
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   30 23   
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1.9   31 31   
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 2.2   35 26   
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 12     90 160   
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 180   
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 14     110 170   
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 210   
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 12     90 160   
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 14     110 160   
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 13     100 180   
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 14     100 210   
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 14     97 190   
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 2.0   31 23   
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 2.2   34 34   
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   31 25   
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 2.2   34 26   
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   32 24   
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 2.3   34 26   
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 2.1   31 31   
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 2.2   34 28   
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 14     100 190   
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 14     100 200   
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 14     100 190   
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 14     100 190   
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 14     96 170   
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) .43  27 4.9 
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) .41  28 4.8 
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) .43  28 5.0 
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) .43  28 4.8 
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) .42  28 5.2 
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) .41  28 4.7 
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) .52  28 6.9 
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) .49  28 6.1 
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 15     110 180   
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 14     99 150   
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 15     110 190   
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 14     130 210   
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 15     110 210   
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 14     99 180   
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 25     200 290   
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 26     200 300   
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 2.3   34 31   
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 2.2   31 28   
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 2.4   34 32   
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 2.2   31 26   
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3   34 31   
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   32 29   
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 2.3   34 30   
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 2.3   34 29   
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 2.1   32 27   
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 2.0   32 24   
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 2.1   33 27   
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   33 24   
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 25   
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 24   
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 2.1   32 26   
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 13     91 160   
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 12     92 170   
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 13     92 160   
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 210   
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 13     91 160   
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 14     110 190   
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 13     93 160   
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 14     110 200   
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 13     93 140   
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 13     93 150   
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 2.1   32 26   
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 2.1   32 27   
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 2.1   32 28   
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 2.2   32 32   
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1   32 26   
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   31 27   
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 2.4   34 28   
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 2.5   35 32   
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 14     96 170   
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 14     97 160   
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 14     96 190   
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 14     98 180   
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 14     98 150   
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 14     110 180   
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 14     98 190   
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 15     110 190   
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 15     110 220   
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) .45  28 5.6 
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) .44  28 5.8 
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) .45  28 5.5 
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) .43  28 5.0 
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) .47  28 6.0 
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) .45  28 5.4 
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) .45  28 5.5 
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) .44  28 6.5 
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 2.2   33 26   
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 24   
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 26   
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   33 24   
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 22   
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 29   
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 2.0   30 22   
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 2.2   33 27   
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 28   
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 27   
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 2.0   31 25   
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   33 29   
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   31 26   
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 2.3   32 27   
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 2.0   31 26   
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) .40  28 5.2 
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) .39  28 4.7 
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) .39  28 4.9 
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) .37  28 5.2 
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) .39  28 5.7 
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) .39  28 5.1 
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) .42  28 4.9 
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) .37  28 5.0 
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 2.0   32 25   
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1.8   30 22   
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 28   
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1.8   30 19   
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   32 23   
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 21   
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 25   
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1.8   30 23   
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 12     90 150   
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 11     87 150   
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 12     90 180   
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 11     87 120   
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 12     87 150   
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 11     87 170   
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 12     87 130   
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 14     97 170   
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 12     87 170   
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 2.0   32 24   
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1.8   30 20   
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 29   
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   32 25   
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 22   
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 2.1   31 26   
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1.8   30 23   
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 13     100 200   
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 11     86 180   
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 230   
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 11     86 150   
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 11     86 150   
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 11     86 130   
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 14     100 150   
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 12     87 140   
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 12     87 150   
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 12     87 120   
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 14     96 200   
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 12     87 150   
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) .40  28 5.5 
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) .43  28 5.5 
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) .40  28 5.1 
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) .41  28 5.1 
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) .42  28 5.4 
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) .46  28 5.1 
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) .43  28 5.0 
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) .44  28 5.2 
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 2.0   32 23   
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 24   
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   32 28   
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 2.0   31 30   
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   32 23   
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 26   
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 26   
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 2.0   30 25   
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 12     89 150   
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 200   
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 12     89 150   
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 12     88 140   
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 12     88 170   
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 12     89 140   
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 170   
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 12     89 170   
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 13     89 130   
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 14     98 160   
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 12     89 170   
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 2.1   32 26   
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   32 29   
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1   32 35   
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 26   
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 2.0   31 32   
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 2.0   31 25   
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 12     89 160   
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 12     88 150   
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 150   
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 12     88 170   
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 12     88 160   
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 14     100 180   
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 13     89 180   
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 13     89 160   
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 14     100 160   
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 13     89 180   
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 13     89 170   
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 13     90 160   
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) .36  28 4.2 
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) .36  28 4.8 
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) .36  28 4.9 
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) .36  27 4.9 
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) .37  28 4.9 
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) .38  28 4.7 
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) .36  28 4.2 
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) .36  28 4.3 
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1.8   33 22   
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1.8   33 22   
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1.8   33 25   
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1.8   34 20   
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1.7   33 20   
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   33 24   
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1.8   33 21   
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1.8   33 24   
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 11     110 130   
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 11     110 160   
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 11     110 140   
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 11     110 140   
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 11     110 160   
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 11     110 170   
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 11     110 160   
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 11     110 150   
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 13     100 170   
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 11     86 140   
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 140   
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 11     86 130   
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 13     97 180   
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 11     86 140   
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1.9   32 22   
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1.9   32 24   
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   32 23   
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1.8   30 22   
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   31 22   
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   29 24   
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 2.0   31 25   
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1.7   29 20   
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 13     100 190   
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 11     86 160   
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 180   
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 11     86 160   
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 200   
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 11     86 130   
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 13     96 170   
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 11     86 120   
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) .40  28 3.9 
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) .37  28 4.4 
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) .37  28 4.4 
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) .40  28 5.0 
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) .37  28 4.7 
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) .38  28 4.7 
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) .39  28 5.2 
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) .42  28 4.6 
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 12     88 150   
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 12     88 160   
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 12     88 160   
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 13     96 180   
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 12     88 150   
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1.9   31 26   
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   31 25   
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 27   
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 2.0   31 24   
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 13     100 150   
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 12     88 140   
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 12     88 150   
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 13     100 160   
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 12     88 150   
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 12     89 170   
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 12     88 160   
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) .37  28 4.5 
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) .36  28 5.0 
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) .36  28 5.1 
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) .37  28 4.1 
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) .35  28 4.8 
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) .36  28 4.2 
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) .36  28 3.7 
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) .37  28 5.4 
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1.8   33 24   
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1.7   33 22   
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1.8   33 22   
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1.7   33 23   
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8   34 22   
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   34 23   
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1.7   33 25   
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1.8   33 30   
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) .62  29 9.3 
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) .47  28 6.3 
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) .63  29 8.0 
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) .49  28 6.1 
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) .62  29 8.4 
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) .47  28 6.5 
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) .42  28 4.7 
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) .44  28 4.6 
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) .40  28 4.5 
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) .42  28 5.6 
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) .39  27 5.3 
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) .42  28 4.7 
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) .43  28 5.8 
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) .42  28 5.8 
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) .46  28 5.2 
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) .45  28 5.4 
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) .45  28 5.5 
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) .44  27 5.5 
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) .47  28 6.3 
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) .45  28 5.4 
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) .42  28 5.1 
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) .40  28 4.9 
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) .40  28 4.8 
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) .42  28 5.0 
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) .42  28 5.0 
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) .39  27 5.2 
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) .41  28 4.8 
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) .40  28 5.1 
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) .27  29 2.7 
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) .28  29 2.8 
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) .28  28 3.0 
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) .26  28 2.9 
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) .26  28 3.1 
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) .26  29 3.0 
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) .27  28 3.2 
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) .26  29 3.0 
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 2.0   28 28   
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 2.2   35 31   
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 2.5   34 35   
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 2.5   34 35   
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8   28 23   
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   28 23   
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 2.5   34 37   
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 2.5   34 34   
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) .42  28 5.4 
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) .41  28 5.5 
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) .41  28 5.1 
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) .42  28 6.6 
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) .41  28 5.8 
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) .41  28 4.7 
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) .50  28 6.3 
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) .50  28 5.7 
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) .50  28 6.3 
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) .49  28 6.2 
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) .48  28 7.0 
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) .50  28 6.1 
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) .50  28 5.1 
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) .49  28 6.6 
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) .48  28 5.9 
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) .49  28 5.5 
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1.8   28 22   
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 2.2   33 40   
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 30   
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 2.3   33 29   
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1.7   28 22   
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   33 26   
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 2.2   33 33   
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 2.2   33 28   
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) .46  28 6.3 
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) .47  28 5.3 
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) .46  28 7.6 
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) .47  28 5.5 
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) .47  28 6.7 
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) .46  28 5.3 
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) .48  28 6.0 
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) .46  28 6.2 
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 2.3   31 34   
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 2.6   37 31   
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   29 26   
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 2.1   29 22   
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 2.4   31 27   
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 2.2   31 30   
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 2.2   31 30   
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 2.2   31 29   
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   30 30   
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   32 32   
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 2.4   32 30   
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 23   
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   30 34   
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 29   
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 2.7   41 36   
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 2.6   38 34   
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 2.7   41 31   
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 2.7   41 36   
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 2.7   41 37   
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 2.7   41 36   
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 2.7   41 32   
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 2.3   32 33   
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 2.7   41 41   
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 2.3   32 34   
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 2.8   41 38   
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 2.3   32 33   
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 2.1   31 25   
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 2.1   31 28   
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 2.1   31 26   
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 2.1   31 27   
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 2.1   31 26   
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 2.1   31 28   
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) .34  28 3.9 
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) .46  28 6.2 
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) .32  27 4.4 
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) .32  27 3.6 
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1.5   28 19   
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 2.4   35 35   
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4   27 16   
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1.4   28 16   
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1.9   29 22   
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 2.4   36 31   
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   29 31   
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1.9   29 21   
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   29 23   
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 26   
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1.9   28 25   
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 2.4   36 30   
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8   28 21   
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   28 30   
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) .36  28 4.6 
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) .37  28 4.9 
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) .37  28 3.7 
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) .38  28 4.2 
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) .39  28 4.5 
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) .36  28 4.4 
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 2.1   31 24   
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   30 26   
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 2.1   31 29   
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 25   
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1.5   28 18   
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 2.3   35 30   
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1.8   29 22   
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1.8   29 20   
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4   28 17   
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1.8   30 21   
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1.9   30 27   
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 22   
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 27   
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 25   
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1.6   28 20   
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1.8   30 22   
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1.5   28 20   
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 2.6   33 30   
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1.4   35 16   
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 3.0   36 44   
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 2.8   33 36   
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 2.8   33 36   
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 12     61 150   
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 17     86 240   
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 11     54 130   
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 16     76 180   
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1.9   29 23   
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1.9   29 24   
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   29 27   
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1.9   29 22   
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8   29 23   
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   29 27   
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1.4   28 19   
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 2.4   38 30   
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1.3   28 15   
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 2.1   29 26   
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 11     59 160   
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 16     130 270   
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 11     52 140   
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 14     71 170   
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 2.6   40 35   
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 2.6   39 40   
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 2.3   30 32   
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   30 30   
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1.9   31 24   
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   31 23   
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   31 22   
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   31 22   
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) .38  28 4.5 
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) .35  28 4.9 
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) .36  28 4.7 
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) .36  28 4.3 
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) .35  28 4.1 
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) .37  28 4.5 
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 3.1   44 35   
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 3.1   45 45   
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 3.1   44 41   
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 3.1   44 33   
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 3.1   44 38   
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 3.1   44 38   
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1.9   30 26   
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 28   
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 23   
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1.4   35 20   
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1.4   35 18   
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 2.8   35 31   
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 2.8   35 32   
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1.9   30 27   
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1.9   31 26   
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1.9   31 22   
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   30 22   
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 10     56 150   
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 16     130 200   
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 9.6   49 130   
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 9.6   50 140   
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 2.6   40 31   
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 2.5   40 33   
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 2.2   31 29   
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 2.2   31 26   
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) .38  28 4.1 
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) .42  28 4.3 
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) .37  28 3.7 
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) .39  28 4.6 
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) .37  28 5.5 
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) .41  28 5.2 
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1.9   30 25   
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1.9   30 26   
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   30 26   
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 2.0   30 25   
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 24   
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 22   
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 2.0   30 24   
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 2.0   30 23   
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 2.0   30 27   
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1.9   30 22   
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 2.0   30 29   
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 3.3   45 38   
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 3.3   45 44   
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 3.3   45 42   
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 3.3   45 43   
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 3.2   45 46   
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 3.3   45 40   
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) .37  28 4.6 
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) .37  28 4.9 
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) .37  27 4.9 
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) .37  27 4.8 
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) .36  28 5.0 
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) .36  27 4.4 
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1.9   31 29   
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1.9   31 23   
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1.8   31 27   
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1.9   30 22   
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1.8   30 26   
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1.9   31 25   
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) .33  28 4.1 
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) .45  28 5.5 
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) .31  28 3.9 
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) .31  28 4.7 
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1.5   28 17   
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 2.3   35 33   
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1.4   28 17   
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1.4   28 18   
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 9.1   45 130   
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 15     110 190   
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 8.6   42 110   
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 8.6   42 120   
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 1.4   29 21   
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 1.4   29 18   
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 1.3   29 16   
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 1.4   29 18   
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 1.3   29 19   
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 1.4   29 16   
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 1.3   29 18   
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 1.4   29 20   
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 1.8   30 23   
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 1.8   30 25   
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 1.5   29 19   
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 1.5   29 21   
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2.2   27 29   
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2.3   27 27   
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2.3   27 29   
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2.2   27 27   
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2.3   27 27   
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2.3   27 32   
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2.3   27 27   
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2.3   27 26   
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2.3   27 29   
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2.3   27 28   
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2.4   27 30   
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2.4   27 30   
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2.5   27 36   
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2.5   27 33   
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true .36  27 4.3 
pthread-wmm/safe006_pso.opt_true-unreach-call.i true .37  27 4.3 
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true .36  27 4.6 
pthread-wmm/safe006_tso.opt_true-unreach-call.i true .36  27 5.1 
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2.0   27 25   
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2.0   27 29   
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2.0   27 24   
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2.0   27 22   
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2.0   27 23   
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2.0   27 24   
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2.1   27 27   
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2.1   27 26   
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2.1   27 22   
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2.1   27 27   
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true .38  27 4.0 
pthread-wmm/safe010_tso.opt_true-unreach-call.i true .37  27 4.2 
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2.1   27 26   
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2.1   27 34   
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2.0   27 27   
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2.0   27 26   
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2.2   27 24   
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2.2   27 26   
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2.2   27 36   
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2.2   27 29   
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2.2   27 26   
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2.2   27 26   
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2.3   27 29   
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2.4   27 26   
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2.4   27 31   
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2.4   27 26   
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 15     51 160   
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 15     51 180   
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 15     51 200   
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 15     51 170   
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2.0   27 26   
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2.1   27 25   
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 1.9   27 29   
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 1.9   27 24   
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 1.9   27 22   
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 1.9   27 22   
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 14     50 180   
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 14     49 200   
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 14     49 180   
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 14     49 160   
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2.1   27 23   
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2.1   27 26   
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2.0   27 36   
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2.1   27 31   
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2.0   27 25   
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2.1   27 22   
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true .35  27 4.3 
pthread-wmm/safe022_tso.opt_true-unreach-call.i true .36  27 5.0 
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2.3   27 28   
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2.3   27 28   
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2.1   27 26   
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2.1   27 24   
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2.3   27 31   
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2.3   27 31   
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2.3   27 32   
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2.3   27 27   
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2.0   27 26   
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2.0   27 28   
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 14     48 160   
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 14     48 150   
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 14     48 180   
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 14     47 160   
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2.0   27 22   
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2.0   27 32   
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2.0   27 26   
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2.0   27 25   
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true .37  27 5.1 
pthread-wmm/safe029_tso.opt_true-unreach-call.i true .37  27 4.5 
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2.1   27 26   
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2.1   27 27   
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2.2   27 27   
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2.2   27 26   
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2.4   27 30   
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2.4   27 30   
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true .42  27 4.7 
pthread-wmm/safe033_tso.opt_true-unreach-call.i true .40  27 4.5 
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2.2   27 26   
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2.3   27 28   
pthread-wmm/safe035_power.oepc_true-unreach-call.i true 11     92 150   
pthread-wmm/safe035_power.opt_true-unreach-call.i true 11     92 130   
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2.5   27 30   
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2.5   27 35   
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2.5   27 29   
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2.5   27 32   
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2.5   27 27   
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2.5   27 28   
pthread-wmm/safe036_power.oepc_true-unreach-call.i true .37  27 4.7 
pthread-wmm/safe036_power.opt_true-unreach-call.i true .37  26 4.7 
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true .40  27 4.8 
pthread-wmm/safe036_pso.opt_true-unreach-call.i true .40  27 4.7 
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true .38  27 5.5 
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true .38  27 4.4 
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true .39  27 4.6 
pthread-wmm/safe036_tso.opt_true-unreach-call.i true .38  27 4.9 
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2.0   28 25   
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2.0   28 24   
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 1.9   28 27   
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2.0   28 25   
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2.0   27 26   
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2.0   28 26   
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2.0   27 28   
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2.0   27 23   
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true .36  27 4.2 
pthread-wmm/thin000_pso.opt_true-unreach-call.i true .36  27 4.1 
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true .37  27 4.4 
pthread-wmm/thin000_tso.opt_true-unreach-call.i true .38  27 4.6 
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2.0   27 30   
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2.0   27 23   
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2.0   27 24   
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2.0   27 27   
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 14     49 210   
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 14     49 180   
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 14     49 150   
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 14     49 150   
pthread-lit/fkp2013_false-unreach-call.i timeout 900     1800 11000   
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) .097 27 1.1 
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) .10  26 1.1 
pthread-lit/fk2012_true-unreach-call.i timeout 900     10000 11000   
pthread-lit/fkp2013_true-unreach-call.i timeout 900     1700 10000   
pthread-lit/fkp2013_variant_true-unreach-call.i false(unreach-call) .16  27 1.7 
pthread-lit/fkp2014_true-unreach-call.i timeout 900     2200 13000   
pthread-lit/qw2004_true-unreach-call.i true .12  26 1.6 
pthread-lit/qw2004_variant_true-unreach-call.i timeout 900     2500 11000   
pthread-lit/sssc12_true-unreach-call.i timeout 900     11000 11000   
pthread-lit/sssc12_variant_true-unreach-call.i timeout 900     11000 12000   
ldv-races/race-1_1-join_true-unreach-call.i false(unreach-call) .11  28 1.6 
ldv-races/race-2_1-container_of_true-unreach-call.i true 1.6   34 20   
ldv-races/race-3_1-container_of-global_true-unreach-call.i true 1.5   33 19   
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i false(unreach-call) .14  28 1.7 
ldv-races/race-1_2-join_false-unreach-call.i witness invalid (false(unreach-call)) .13  27 1.5 
ldv-races/race-1_3-join_false-unreach-call.i witness invalid (false(unreach-call)) .12  28 1.4 
ldv-races/race-2_2-container_of_false-unreach-call.i true .69  28 7.7 
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) .52  28 6.6 
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) .54  28 7.4 
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) .68  28 7.7 
ldv-races/race-3_2-container_of-global_false-unreach-call.i true .63  28 9.3 
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i witness invalid (false(unreach-call)) .14  28 1.8 
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i unknown 1.3   600 16   
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i witness invalid (false(unreach-call)) 34     790 500   
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i unknown 1.5   710 19   
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i unknown 2.9   260 36   
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i witness invalid (false(unreach-call)) 27     710 310   
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i unknown .85  190 8.9 
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i unknown 1.3   600 20   
pthread-complex/bounded_buffer_false-unreach-call.i out of memory 630     15000 7700   
pthread-complex/elimination_backoff_stack_false-unreach-call.i timeout 900     1500 11000   
pthread-complex/safestack_relacy_false-unreach-call.i timeout 900     11000 10000   
pthread-complex/workstealqueue_mutex_false-unreach-call.i witness invalid (false(unreach-call)) 110     3700 1400   
pthread-complex/workstealqueue_mutex_true-unreach-call.i out of memory 540     15000 6800   
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 1.4   48 17   
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i timeout 900     2200 13000   
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i timeout 900     2000 10000   
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i timeout 900     1800 12000   
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i timeout 900     1900 11000   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 2.0   69 26   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 1.5   70 21   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 1.2   61 18   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true .98  55 16   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 1.7   65 21   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true .83  56 10   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 1.4   66 18   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 1.3   69 17   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true .96  59 15   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true .77  56 8.9 
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true .70  54 7.7 
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 1.1   63 13   
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 6.1   73 87   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 4.9   200 60   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 6.8   210 85   
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 4.6   190 50   
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 140     3100 1800   
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i out of memory 120     15000 1100   
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i timeout 900     1500 11000   
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 2.9   44 39   
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i true .69  38 11   
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i out of memory 850     15000 8400   
pthread-divine/one_time_barrier_2t_false-unreach-call.i witness invalid (false(unreach-call)) 16     420 210   
pthread-divine/one_time_barrier_3t_false-unreach-call.i out of memory 880     15000 14000   
pthread-divine/ring_1w1r_false-unreach-call.i false(unreach-call) .10  27 1.1 
pthread-divine/ring_2w1r_false-unreach-call.i timeout 900     1700 11000   
pthread-divine/tls_destructor_worker_false-unreach-call.i false(unreach-call) .091 27 1.1 
pthread-divine/barrier_2t_true-unreach-call.i false(unreach-call) 51     1200 660   
pthread-divine/barrier_3t_true-unreach-call.i out of memory 860     15000 11000   
pthread-divine/condvar_true-unreach-call.i true 7.9   130 99   
pthread-divine/divinefifo_1w1r_true-unreach-call.i out of memory 800     15000 11000   
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i false(unreach-call) 31     640 400   
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i timeout 900     1100 14000   
pthread-divine/ring_1w1r_true-unreach-call.i timeout 900     2200 10000   
pthread-divine/ring_2w1r_true-unreach-call.i timeout 900     3400 12000   
pthread-divine/tls_basic_true-unreach-call.i false(unreach-call) .22  28 2.4 
pthread-nondet/nondet-array_false-unreach-call.i timeout 900     3200 11000   
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i witness invalid (false(unreach-call)) 71     1000 1000   
pthread-nondet/nondet-loop-bound_false-unreach-call.i timeout 900     5400 11000   
pthread-nondet/nondet-array_true-unreach-call.i timeout 900     4000 12000   
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i false(unreach-call) 690     9000 10000   
pthread-nondet/nondet-loop-bound_true-unreach-call.i timeout 900     5500 10000   
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 1082 85000 690000 1100000
    correct results 782 3300 37000 42000
        correct true 182 970 11000 12000
        correct false 600 2300 26000 30000
    correct-unconfimed results 175 1800 15000 23000
        correct-unconfirmed true 0
        correct-unconfirmed false 175 1800 15000 23000
    incorrect results 21 1100 14000 16000
        incorrect true 14 370 3200 4500
        incorrect false 7 780 11000 11000
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main