Tool DIVINE
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-10 10:00:20 CET
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options --no-symbolic
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 8.5 450 100
pthread/fib_bench_false-unreach-call.i false(unreach-call) 17   500 190
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 55   660 520
pthread/fib_bench_longest_false-unreach-call.i timeout 900   8300 7800
pthread/lazy01_false-unreach-call.i false(unreach-call) 8.6 450 120
pthread/queue_false-unreach-call.i unknown 8.7 450 110
pthread/queue_longer_false-unreach-call.i unknown 8.4 450 120
pthread/queue_longest_false-unreach-call.i unknown 8.7 450 100
pthread/reorder_2_false-unreach-call.i false(unreach-call) 12   460 130
pthread/reorder_5_false-unreach-call.i false(unreach-call) 18   470 200
pthread/sigma_false-unreach-call.i timeout 900   3000 8400
pthread/singleton_false-unreach-call.i false(unreach-call) 11   450 150
pthread/stack_false-unreach-call.i unknown 8.5 450 100
pthread/stack_longer_false-unreach-call.i unknown 8.4 450 99
pthread/stack_longest_false-unreach-call.i unknown 8.4 450 110
pthread/stateful01_false-unreach-call.i false(unreach-call) 8.4 450 96
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 30   490 310
pthread/triangular-longest_false-unreach-call.i false(unreach-call) 300   1100 2900
pthread/triangular_false-unreach-call.i false(unreach-call) 11   450 120
pthread/twostage_3_false-unreach-call.i false(unreach-call) 13   460 140
pthread/bigshot_s2_true-unreach-call.i true 8.4 390 100
pthread/bigshot_s_true-unreach-call.i true 8.4 390 130
pthread/fib_bench_longer_true-unreach-call.i true 190   700 1800
pthread/fib_bench_longest_true-unreach-call.i timeout 900   7600 8400
pthread/fib_bench_true-unreach-call.i true 48   460 500
pthread/indexer_true-unreach-call.i timeout 900   4700 9300
pthread/queue_ok_longer_true-unreach-call.i unknown 11   460 130
pthread/queue_ok_longest_true-unreach-call.i unknown 12   470 140
pthread/queue_ok_true-unreach-call.i unknown 8.7 450 120
pthread/singleton_with-uninit-problems_true-unreach-call.i true 11   390 120
pthread/stack_longer_true-unreach-call.i unknown 8.4 450 98
pthread/stack_longest_true-unreach-call.i unknown 8.4 450 110
pthread/stack_true-unreach-call.i unknown 8.2 450 99
pthread/stateful01_true-unreach-call.i true 8.6 390 99
pthread/sync01_true-unreach-call.i true 8.6 390 110
pthread/triangular-longer_true-unreach-call.i true 34   430 350
pthread/triangular-longest_true-unreach-call.i true 300   1000 2900
pthread/triangular_true-unreach-call.i true 12   390 140
pthread-atomic/qrcu_false-unreach-call.i unknown 10   450 140
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 9.9 450 130
pthread-atomic/dekker_true-unreach-call.i true 8.5 390 110
pthread-atomic/gcd_true-unreach-call_true-termination.i unknown 8.3 450 110
pthread-atomic/lamport_true-unreach-call.i true 9.0 390 110
pthread-atomic/peterson_true-unreach-call.i true 8.6 390 100
pthread-atomic/qrcu_true-unreach-call.i true 240   650 2300
pthread-atomic/read_write_lock_true-unreach-call.i true 13   390 140
pthread-atomic/scull_true-unreach-call.i unknown 8.6 450 140
pthread-atomic/szymanski_true-unreach-call.i true 9.3 390 110
pthread-atomic/time_var_mutex_true-unreach-call.i true 8.6 390 120
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) 8.5 450 110
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) 8.5 450 100
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) 8.4 450 110
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) 8.4 450 120
pthread-ext/27_Boop_simple_vf_false-unreach-call.i unknown 8.5 450 94
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i unknown 8.4 450 110
pthread-ext/32_pthread5_vs_false-unreach-call.i false(unreach-call) 12   460 150
pthread-ext/40_barrier_vf_false-unreach-call.i false(unreach-call) 9.9 460 140
pthread-ext/01_inc_true-unreach-call.i timeout 900   2700 9200
pthread-ext/02_inc_cas_true-unreach-call.i timeout 900   4000 8200
pthread-ext/03_incdec_true-unreach-call.i unknown 8.5 450 99
pthread-ext/04_incdec_cas_true-unreach-call.i unknown 8.6 450 120
pthread-ext/05_tas_true-unreach-call.i timeout 900   4000 8600
pthread-ext/06_ticket_true-unreach-call.i timeout 900   3000 8300
pthread-ext/07_rand_true-unreach-call.i unknown 8.3 450 99
pthread-ext/08_rand_cas_true-unreach-call.i unknown 8.6 450 110
pthread-ext/09_fmaxsym_true-unreach-call.i unknown 8.5 440 100
pthread-ext/10_fmaxsym_cas_true-unreach-call.i unknown 8.6 450 110
pthread-ext/11_fmaxsymopt_true-unreach-call.i unknown 8.4 450 97
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i unknown 8.5 450 100
pthread-ext/13_unverif_true-unreach-call.i timeout 900   3900 9000
pthread-ext/14_spin2003_true-unreach-call.i timeout 900   2900 8500
pthread-ext/15_dekker_true-unreach-call.i true 8.4 390 97
pthread-ext/16_peterson_true-unreach-call.i true 8.4 390 120
pthread-ext/17_szymanski_true-unreach-call.i true 12   400 140
pthread-ext/18_read_write_lock_true-unreach-call.i true 8.6 380 110
pthread-ext/19_time_var_mutex_true-unreach-call.i true 8.3 390 110
pthread-ext/20_lamport_true-unreach-call.i true 8.7 390 110
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 8.5 390 110
pthread-ext/25_stack_longer_true-unreach-call.i out of memory (unknown error) 860   15000 7600
pthread-ext/25_stack_longest_true-unreach-call.i out of memory (unknown error) 710   15000 6300
pthread-ext/25_stack_true-unreach-call.i timeout 900   15000 8500
pthread-ext/26_stack_cas_longer_true-unreach-call.i timeout 900   11000 7700
pthread-ext/26_stack_cas_longest_true-unreach-call.i timeout 900   13000 8800
pthread-ext/26_stack_cas_true-unreach-call.i timeout 900   11000 8800
pthread-ext/29_conditionals_vs_true-unreach-call.i unknown 8.4 450 110
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i timeout 900   3000 8300
pthread-ext/31_simple_loop5_vs_true-unreach-call.i timeout 900   3100 8500
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i timeout 900   3900 8900
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i timeout 900   4600 8500
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i timeout 900   2900 9600
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i timeout 900   4000 9000
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i out of memory (unknown error) 390   15000 3700
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i unknown 8.5 450 110
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i unknown 8.3 450 110
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i unknown 8.6 450 96
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i timeout 900   7500 8300
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i timeout 900   3300 8600
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i timeout 900   1700 8900
pthread-ext/45_monabsex1_vs_true-unreach-call.i timeout 900   3800 8700
pthread-ext/46_monabsex2_vs_true-unreach-call.i timeout 900   3600 9300
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 900   5500 8400
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 900   4900 9500
pthread-wmm/mix000_power.oepc_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/mix000_power.opt_false-unreach-call.i unknown 8.8 450 120
pthread-wmm/mix000_pso.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/mix000_pso.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i unknown 8.7 450 98
pthread-wmm/mix000_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/mix000_tso.oepc_false-unreach-call.i unknown 8.6 450 99
pthread-wmm/mix000_tso.opt_false-unreach-call.i unknown 8.8 450 130
pthread-wmm/mix001_power.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 54   620 550
pthread-wmm/mix001_pso.oepc_false-unreach-call.i unknown 8.4 450 110
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 57   620 520
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i unknown 9.1 450 100
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 54   620 560
pthread-wmm/mix001_tso.oepc_false-unreach-call.i unknown 8.5 560 98
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 57   620 600
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 41   660 380
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 53   620 480
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 30   630 290
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 51   610 490
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 33   640 350
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 50   600 450
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 34   640 320
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 57   620 530
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 35   630 390
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 62   620 610
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 33   630 310
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 44   600 490
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 36   640 370
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 53   620 480
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 57   610 560
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 53   620 550
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 27   610 280
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 52   620 530
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 330   3000 3300
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 900   2900 8800
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 390   3500 3500
pthread-wmm/mix004_pso.opt_false-unreach-call.i timeout 900   2800 8600
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 570   4600 4900
pthread-wmm/mix004_rmo.opt_false-unreach-call.i timeout 900   2800 7900
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 520   4300 4800
pthread-wmm/mix004_tso.opt_false-unreach-call.i timeout 900   2800 8400
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 900   5700 7400
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 870   2900 8000
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 570   4600 4800
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 840   2900 8400
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 130   1500 1200
pthread-wmm/mix005_rmo.opt_false-unreach-call.i timeout 900   2800 7500
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 490   2700 4700
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 830   2800 7600
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 21   580 210
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 52   650 470
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 32   640 360
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 72   690 680
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 27   640 290
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 73   680 630
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 720   2500 6400
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 60   660 580
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 430   3600 4300
pthread-wmm/mix007_power.opt_false-unreach-call.i timeout 900   3400 7700
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 580   5200 6000
pthread-wmm/mix007_pso.opt_false-unreach-call.i timeout 900   3400 7900
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 340   2900 3500
pthread-wmm/mix007_rmo.opt_false-unreach-call.i timeout 900   3600 9100
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 700   5600 6300
pthread-wmm/mix007_tso.opt_false-unreach-call.i timeout 900   3400 7200
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 500   3700 4800
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 540   2900 5500
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 550   4900 5800
pthread-wmm/mix008_pso.opt_false-unreach-call.i timeout 900   3400 7800
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 420   3600 3600
pthread-wmm/mix008_rmo.opt_false-unreach-call.i timeout 900   3300 8600
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 900   4500 7800
pthread-wmm/mix008_tso.opt_false-unreach-call.i timeout 900   3400 8600
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 9.2 460 120
pthread-wmm/mix009_power.opt_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 8.8 450 120
pthread-wmm/mix009_pso.opt_false-unreach-call.i unknown 8.4 450 110
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 9.3 460 120
pthread-wmm/mix009_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 8.8 460 110
pthread-wmm/mix009_tso.opt_false-unreach-call.i unknown 8.5 450 88
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 37   650 390
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 60   620 570
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 32   640 320
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 53   610 500
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 37   650 390
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 61   620 590
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 19   560 200
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 56   620 530
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 30   630 300
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 54   620 560
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 35   630 310
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 56   620 570
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 35   640 360
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 53   620 520
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 15   500 180
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 54   620 490
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 9.8 460 100
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 9.4 460 110
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 8.9 450 110
pthread-wmm/mix012_pso.opt_false-unreach-call.i unknown 8.4 450 110
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 9.0 450 100
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 9.1 460 110
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-wmm/mix012_tso.opt_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 98   1200 930
pthread-wmm/mix013_power.opt_false-unreach-call.i timeout 900   2800 7800
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 670   4500 6600
pthread-wmm/mix013_pso.opt_false-unreach-call.i timeout 900   2800 8300
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 71   960 710
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 860   2900 8100
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 240   2300 2200
pthread-wmm/mix013_tso.opt_false-unreach-call.i timeout 900   2800 8000
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 290   2800 2600
pthread-wmm/mix014_power.opt_false-unreach-call.i timeout 900   3100 8300
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 170   1800 1500
pthread-wmm/mix014_pso.opt_false-unreach-call.i timeout 900   3300 8400
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 190   2100 2100
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 750   3300 6800
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 900   6000 8900
pthread-wmm/mix014_tso.opt_false-unreach-call.i timeout 900   3300 9000
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 20   560 240
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 50   610 490
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 23   600 230
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 62   620 530
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 30   630 330
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 54   620 560
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 34   630 320
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 53   620 510
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 40   660 410
pthread-wmm/mix016_power.opt_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 27   620 280
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 52   610 510
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 32   630 300
pthread-wmm/mix016_rmo.opt_false-unreach-call.i unknown 8.4 450 97
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 31   620 330
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 57   620 570
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 53   830 490
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 240   1700 2500
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 450   3700 4000
pthread-wmm/mix017_pso.opt_false-unreach-call.i timeout 900   2800 7700
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 720   5300 7600
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 230   1700 2100
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 750   4600 7300
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 880   2900 9200
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 150   1600 1500
pthread-wmm/mix018_power.opt_false-unreach-call.i timeout 900   2900 8100
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 320   2800 3000
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 840   2900 7600
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 200   1900 1800
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 850   2800 7100
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 750   3000 6400
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 880   2900 7500
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 28   630 280
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 66   620 720
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 30   630 320
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 47   600 500
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 11   480 130
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 64   620 580
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 19   500 190
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 51   610 500
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 420   3700 4200
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 720   2800 6800
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 230   2200 2100
pthread-wmm/mix020_pso.opt_false-unreach-call.i timeout 900   2800 8000
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 430   3700 3900
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 890   2900 8500
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 710   5700 6000
pthread-wmm/mix020_tso.opt_false-unreach-call.i timeout 900   2800 7900
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 78   1000 740
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 810   2900 7700
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 440   3900 4100
pthread-wmm/mix021_pso.opt_false-unreach-call.i timeout 900   2800 9000
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 720   5300 6800
pthread-wmm/mix021_rmo.opt_false-unreach-call.i timeout 900   2800 9000
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 300   1200 2700
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 630   2700 5700
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 9.0 460 110
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 9.6 460 120
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 9.0 450 100
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 8.9 450 100
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 11   460 140
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 11   460 120
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 150   1700 1500
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 380   2700 3700
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 210   2200 2100
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 200   1800 1900
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 250   2600 2100
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 260   1900 2400
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 900   4700 8500
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 900   5300 8500
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 33   630 320
pthread-wmm/mix024_power.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 31   630 290
pthread-wmm/mix024_pso.opt_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 41   670 420
pthread-wmm/mix024_rmo.opt_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 30   610 310
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 32   610 320
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 22   580 220
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 31   620 300
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 23   600 270
pthread-wmm/mix025_pso.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 28   610 260
pthread-wmm/mix025_rmo.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 25   600 250
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 32   620 290
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 350   3200 3100
pthread-wmm/mix026_power.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 100   1200 960
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 260   1700 2900
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 460   3900 4500
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 280   1700 2800
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 440   3700 4400
pthread-wmm/mix026_tso.opt_false-unreach-call.i unknown 8.6 450 98
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 200   2000 2000
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 210   1700 1900
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 450   3800 4000
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 300   1700 2700
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 210   2100 1800
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 230   1700 2100
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 250   1700 2200
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 420   2700 4200
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 21   570 210
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 17   510 200
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 30   600 270
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 22   520 240
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 23   580 230
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 22   520 240
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 52   550 560
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 48   550 520
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 230   2200 2100
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 240   1200 2000
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 260   2300 2300
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 86   900 830
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 630   5100 6100
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 250   1200 2400
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 510   4100 5300
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 380   3100 3400
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 530   4600 4700
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 250   1200 2600
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 590   4400 5300
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 270   1200 2500
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 440   3800 4300
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 220   1200 2100
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 760   1800 6700
pthread-wmm/mix030_tso.opt_false-unreach-call.i timeout 900   1800 8200
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 8.8 460 130
pthread-wmm/mix031_power.opt_false-unreach-call.i unknown 8.5 450 98
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-wmm/mix031_pso.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 9.2 460 110
pthread-wmm/mix031_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 9.7 460 110
pthread-wmm/mix031_tso.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 35   640 380
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 20   500 190
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 36   650 340
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 18   500 180
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 25   610 260
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 18   500 230
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 21   580 220
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 19   500 210
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 34   650 360
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 15   500 160
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 23   570 260
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 18   490 200
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 30   630 280
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 18   500 190
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 28   510 310
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 15   490 180
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 9.1 460 120
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 9.6 460 120
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 9.0 460 110
pthread-wmm/mix034_pso.opt_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 9.0 460 110
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 9.1 460 100
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 9.2 460 110
pthread-wmm/mix034_tso.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 31   640 300
pthread-wmm/mix035_power.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 37   640 400
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 19   500 180
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 33   620 340
pthread-wmm/mix035_rmo.opt_false-unreach-call.i unknown 8.8 450 120
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 18   550 180
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 15   500 170
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 520   4300 4600
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 270   1700 2400
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 330   3000 2800
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 140   1100 1300
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 400   3500 3900
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 280   1700 2600
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 490   4300 4500
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 150   1100 1300
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 130   1600 1400
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 150   1100 1300
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 540   4300 5000
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 150   1000 1200
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 130   1400 1100
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 120   1000 1100
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 700   2600 6000
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 130   1000 1100
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 30   610 310
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 20   500 210
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 34   630 350
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 16   500 150
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 35   640 400
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 17   500 180
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 21   500 210
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 17   500 210
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 450   3800 4500
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 160   1100 1600
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 610   4800 5300
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 160   1100 1500
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 210   2100 2100
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 140   1000 1200
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 610   4700 5800
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 150   1000 1300
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 580   4800 5300
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 180   1100 1700
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 450   3400 4500
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 130   1000 1200
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 81   1000 820
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 150   1000 1500
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 240   1200 2500
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 140   1100 1200
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 9.1 460 120
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 9.3 450 120
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 9.3 460 120
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 9.2 560 110
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 9.0 460 110
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 9.4 450 130
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 9.4 450 120
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 8.9 450 110
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 34   630 320
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 17   470 180
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 36   640 370
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 11   470 130
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 29   630 300
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 15   470 180
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 30   630 290
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 17   470 190
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 200   2100 2100
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 110   700 920
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 150   1700 1300
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 180   730 1600
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 94   1200 870
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 110   690 1100
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 430   3700 3800
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 130   710 1200
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 340   3100 3200
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 120   710 1100
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 650   4700 5600
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 86   700 800
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 110   1300 980
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 120   710 1200
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 650   2700 6700
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 120   710 1200
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 36   640 400
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 18   470 210
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 33   640 350
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 15   470 160
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 33   630 340
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 12   470 120
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 11   470 130
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 18   470 180
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 85   1100 920
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 150   720 1300
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 330   3100 3100
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 140   720 1200
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 350   3200 3200
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 120   710 1100
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 470   4000 4400
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 98   700 960
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 470   3400 4700
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 110   700 1100
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 150   1700 1300
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 120   710 1200
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 610   4700 5000
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 120   710 1200
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 110   700 1000
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 130   710 1100
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 9.2 460 110
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 9.3 460 130
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 9.2 460 120
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 9.1 460 150
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 9.7 460 130
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 9.8 460 110
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 8.8 450 110
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 9.2 460 110
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 31   630 340
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 26   620 260
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 31   620 280
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 19   550 220
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 38   640 370
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 35   630 340
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 22   580 220
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 25   610 260
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 290   2700 3100
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 770   5900 7200
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 55   840 550
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 71   990 660
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 420   3500 4000
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 770   5700 8300
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 450   3800 3600
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 230   2300 2200
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 200   2100 2000
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 330   3000 2800
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 340   2900 3200
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 160   1100 1600
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 460   3900 4200
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 160   1100 1600
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 190   1600 1800
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 160   1000 1400
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 31   620 310
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 29   610 320
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 27   590 260
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 15   490 160
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 31   610 300
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 19   500 200
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 14   490 150
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 16   500 200
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 440   3900 4100
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 130   1000 1200
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 240   2300 2400
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 110   1000 1200
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 590   4900 5600
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 140   1100 1300
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 310   1200 2800
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 170   1100 1600
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 8.8 450 110
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 9.5 460 110
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 9.5 460 130
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 9.0 450 95
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 610   4600 5800
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 120   710 1300
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 450   3800 4000
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 96   690 840
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 560   4700 5600
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 81   690 690
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 400   2400 3700
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 150   720 1400
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 18   550 210
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 13   470 160
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 35   640 410
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 13   470 150
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 34   650 330
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 16   470 170
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 15   470 180
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 14   470 140
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 270   2600 2400
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 130   700 1300
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 190   2000 1800
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 120   710 1100
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 110   1300 1100
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 99   700 930
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 160   720 1600
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 130   710 1100
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 9.2 460 100
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 8.8 450 90
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 9.2 460 120
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 9.0 460 120
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 9.2 460 120
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 9.1 450 130
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 9.1 460 110
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 9.3 460 110
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 21   570 220
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 36   640 410
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 31   630 360
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 24   600 280
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 23   590 220
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 30   640 260
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 28   630 260
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 20   560 200
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 28   490 290
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 9.0 450 140
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 25   490 300
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 9.7 450 110
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 42   490 410
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 9.3 450 100
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 9.3 460 130
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 9.1 450 100
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 9.0 450 100
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 9.0 450 120
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 9.5 460 110
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 9.0 450 100
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 9.3 450 110
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 9.0 450 130
pthread-wmm/rfi003_power.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/rfi003_power.opt_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/rfi003_pso.opt_false-unreach-call.i unknown 8.3 450 110
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi004_power.oepc_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/rfi004_power.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/rfi004_pso.opt_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/rfi004_tso.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/rfi005_power.oepc_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/rfi005_power.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i unknown 8.5 450 91
pthread-wmm/rfi005_pso.opt_false-unreach-call.i unknown 8.7 450 90
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi005_tso.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi006_power.oepc_false-unreach-call.i unknown 8.6 450 130
pthread-wmm/rfi006_power.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 48   660 440
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 64   710 600
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i unknown 8.4 450 99
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 130   770 1300
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 62   710 650
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 9.3 450 120
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 9.1 460 120
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 8.8 450 100
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 9.0 460 120
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 8.9 450 100
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 11   460 120
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 9.6 460 130
pthread-wmm/rfi008_power.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/rfi008_power.opt_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/rfi008_pso.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i unknown 8.5 460 94
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi008_tso.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi009_power.oepc_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/rfi009_power.opt_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi009_pso.opt_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/rfi009_tso.opt_false-unreach-call.i unknown 8.6 450 98
pthread-wmm/rfi010_power.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi010_power.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/rfi010_pso.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i unknown 8.6 450 97
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi010_tso.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe000_power.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 18   590 180
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/safe000_rmo.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe001_power.oepc_false-unreach-call.i unknown 8.8 450 110
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 21   530 210
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 22   540 220
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 14   490 150
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i unknown 8.6 450 99
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 20   530 200
pthread-wmm/safe002_power.oepc_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/safe002_power.opt_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe002_pso.oepc_false-unreach-call.i unknown 8.3 450 140
pthread-wmm/safe002_pso.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe002_rmo.opt_false-unreach-call.i unknown 8.5 450 98
pthread-wmm/safe003_power.oepc_false-unreach-call.i timeout 900   3000 8300
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 42   890 450
pthread-wmm/safe003_pso.oepc_false-unreach-call.i timeout 900   2900 8300
pthread-wmm/safe003_pso.opt_false-unreach-call.i timeout 900   2800 7900
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i timeout 900   3000 8200
pthread-wmm/safe003_rmo.opt_false-unreach-call.i timeout 900   2900 7300
pthread-wmm/safe004_power.oepc_false-unreach-call.i timeout 900   2900 7900
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 22   560 250
pthread-wmm/safe004_pso.oepc_false-unreach-call.i timeout 900   2800 8100
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 21   530 210
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i timeout 900   2900 8000
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 26   570 270
pthread-wmm/safe005_power.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe005_power.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe005_pso.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe005_pso.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i unknown 8.8 450 110
pthread-wmm/safe005_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe006_power.oepc_false-unreach-call.i unknown 8.7 450 98
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 9.6 460 130
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe006_rmo.opt_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/safe007_power.oepc_false-unreach-call.i unknown 8.9 450 110
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 30   600 310
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe007_rmo.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 14   490 160
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 14   540 160
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 14   490 160
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 15   490 170
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 14   490 150
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 18   500 190
pthread-wmm/safe009_power.oepc_false-unreach-call.i unknown 8.6 450 130
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 21   590 220
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 16   530 190
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 9.2 450 120
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 8.8 450 110
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 9.0 450 100
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 35   510 340
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 23   500 220
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 17   500 190
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 21   510 220
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 9.7 460 110
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 15   500 160
pthread-wmm/safe012_power.oepc_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 27   590 310
pthread-wmm/safe012_pso.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe012_pso.opt_false-unreach-call.i unknown 8.4 450 98
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i unknown 8.3 450 100
pthread-wmm/safe012_rmo.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe013_power.oepc_false-unreach-call.i unknown 8.4 450 90
pthread-wmm/safe013_power.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe013_pso.oepc_false-unreach-call.i unknown 8.6 450 97
pthread-wmm/safe013_pso.opt_false-unreach-call.i unknown 8.7 450 130
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i unknown 8.4 450 91
pthread-wmm/safe013_rmo.opt_false-unreach-call.i unknown 8.3 450 120
pthread-wmm/safe014_power.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe014_power.opt_false-unreach-call.i unknown 8.7 450 99
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe014_rmo.opt_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/safe015_power.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe015_power.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe015_rmo.opt_false-unreach-call.i unknown 9.0 450 110
pthread-wmm/safe016_power.oepc_false-unreach-call.i unknown 8.5 450 97
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 600   5700 6000
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe016_rmo.opt_false-unreach-call.i timeout 900   5200 8600
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 13   500 160
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 19   520 210
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 18   520 190
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 18   520 190
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 17   510 210
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 16   520 180
pthread-wmm/safe018_power.oepc_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/safe018_power.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe018_rmo.opt_false-unreach-call.i unknown 8.5 450 98
pthread-wmm/safe019_power.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe019_power.opt_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe019_rmo.opt_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/safe020_power.oepc_false-unreach-call.i unknown 8.6 450 130
pthread-wmm/safe020_power.opt_false-unreach-call.i unknown 8.6 450 95
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe020_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 31   620 330
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 27   510 260
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 29   630 310
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 19   500 210
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 32   640 290
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 20   570 230
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 8.8 450 120
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 9.6 460 110
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 9.4 460 110
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 9.5 460 130
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 9.1 460 110
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 9.3 460 130
pthread-wmm/safe023_power.oepc_false-unreach-call.i unknown 8.6 450 130
pthread-wmm/safe023_power.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe023_pso.oepc_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe023_pso.opt_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe023_rmo.opt_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe024_power.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe024_power.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe024_pso.oepc_false-unreach-call.i unknown 8.7 450 130
pthread-wmm/safe024_pso.opt_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe024_rmo.opt_false-unreach-call.i unknown 8.3 450 120
pthread-wmm/safe025_power.oepc_false-unreach-call.i unknown 8.6 450 100
pthread-wmm/safe025_power.opt_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe025_rmo.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 16   530 170
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 31   680 310
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 36   670 380
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 32   680 310
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 39   700 350
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 25   600 280
pthread-wmm/safe027_power.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe027_power.opt_false-unreach-call.i unknown 8.7 450 120
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe027_rmo.opt_false-unreach-call.i unknown 8.4 450 100
pthread-wmm/safe028_power.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe028_power.opt_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe028_rmo.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 9.3 450 110
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 9.2 450 110
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 9.1 450 100
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 18   500 190
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 14   470 150
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 16   500 190
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 15   470 160
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 14   490 150
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 15   470 180
pthread-wmm/safe031_power.oepc_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 13   470 150
pthread-wmm/safe031_pso.oepc_false-unreach-call.i unknown 8.5 450 96
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 16   470 160
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 14   470 160
pthread-wmm/safe032_power.oepc_false-unreach-call.i unknown 8.5 450 100
pthread-wmm/safe032_power.opt_false-unreach-call.i unknown 8.8 450 120
pthread-wmm/safe032_pso.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/safe032_pso.opt_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i unknown 8.5 450 130
pthread-wmm/safe032_rmo.opt_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/safe033_power.oepc_false-unreach-call.i unknown 8.4 450 130
pthread-wmm/safe033_power.opt_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/safe033_pso.oepc_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/safe033_pso.opt_false-unreach-call.i unknown 8.3 450 110
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i unknown 8.6 450 120
pthread-wmm/safe033_rmo.opt_false-unreach-call.i unknown 8.1 450 94
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 16   490 170
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 16   490 160
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 18   500 210
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 17   500 180
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 16   500 190
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 16   490 180
pthread-wmm/thin000_power.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 8.9 460 100
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i unknown 8.5 450 110
pthread-wmm/thin000_rmo.opt_false-unreach-call.i unknown 8.3 450 110
pthread-wmm/thin001_power.oepc_false-unreach-call.i unknown 8.6 450 110
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 18   540 190
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i unknown 8.5 450 120
pthread-wmm/thin001_rmo.opt_false-unreach-call.i unknown 8.7 450 110
pthread-wmm/thin002_power.oepc_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 370   2000 3300
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i unknown 8.4 450 120
pthread-wmm/thin002_rmo.opt_false-unreach-call.i unknown 8.5 450 93
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 45   430 470
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 44   430 410
pthread-wmm/rfi002_power.oepc_true-unreach-call.i unknown 8.6 450 100
pthread-wmm/rfi002_power.opt_true-unreach-call.i unknown 8.7 450 99
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i unknown 8.7 450 91
pthread-wmm/rfi002_pso.opt_true-unreach-call.i unknown 8.7 450 120
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i unknown 8.5 450 99
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i unknown 8.6 450 110
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i unknown 8.5 450 110
pthread-wmm/rfi002_tso.opt_true-unreach-call.i unknown 8.8 450 110
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 60   450 520
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 59   450 580
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 13   410 150
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 13   410 150
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 13   410 140
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 13   410 140
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 13   410 140
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 13   410 150
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 13   410 140
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 15   410 160
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 15   410 190
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 15   410 180
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 15   410 170
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 15   410 170
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 15   410 160
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 8.7 390 100
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 8.7 390 120
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 8.4 390 96
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 8.6 390 120
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 11   400 120
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 11   400 100
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 12   400 120
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 12   400 140
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 12   400 140
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 12   400 160
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 8.5 390 100
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 8.6 390 110
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 11   400 120
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 11   400 140
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 11   400 110
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 11   400 150
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 14   410 140
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 14   410 140
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 14   410 150
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 14   410 160
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 14   410 140
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 98   620 880
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 99   620 990
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 100   620 940
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 96   620 900
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 12   400 130
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 12   400 130
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 11   400 120
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 78   570 830
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 76   680 720
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 77   570 710
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 76   570 780
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 11   400 150
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 11   400 140
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 11   400 120
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 11   400 140
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 11   400 120
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 8.6 390 130
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 8.7 390 100
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 13   410 160
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 13   410 140
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 11   400 120
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 12   400 140
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 14   410 150
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 14   410 180
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 14   410 160
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 12   400 130
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 12   400 160
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 56   520 540
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 57   520 580
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 55   520 530
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 55   520 570
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 11   400 140
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 11   400 150
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 11   400 140
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 8.6 390 110
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 8.6 390 120
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 11   400 120
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 11   400 150
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 13   410 140
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 13   410 150
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 8.6 390 96
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 8.6 390 120
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 11   400 140
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 11   400 140
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 900   3200 8000
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 900   4500 8800
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 14   410 160
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 13   410 170
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 13   410 130
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 13   410 150
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 13   410 160
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 13   410 150
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 8.7 390 110
pthread-wmm/safe036_power.opt_true-unreach-call.i true 8.6 390 91
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 8.5 390 100
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 8.5 390 100
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 8.6 390 120
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 8.6 390 120
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 8.6 390 110
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 8.7 390 120
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe037_power.opt_true-unreach-call.i true 11   400 120
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 11   400 120
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 11   400 150
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 11   400 120
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 11   400 110
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 8.4 390 110
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 8.9 390 100
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 8.9 390 100
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 8.6 390 110
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 11   400 170
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 11   400 130
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 11   400 130
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 59   520 610
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 60   520 540
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 57   520 550
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 57   520 490
pthread-lit/fkp2013_false-unreach-call.i timeout 900   3600 8600
pthread-lit/fkp2013_variant_false-unreach-call.i unknown 8.4 450 120
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 8.6 450 120
pthread-lit/fk2012_true-unreach-call.i unknown 8.4 450 92
pthread-lit/fkp2013_true-unreach-call.i timeout 900   3700 9000
pthread-lit/fkp2013_variant_true-unreach-call.i unknown 8.3 450 110
pthread-lit/fkp2014_true-unreach-call.i unknown 8.4 450 110
pthread-lit/qw2004_true-unreach-call.i true 8.3 390 91
pthread-lit/qw2004_variant_true-unreach-call.i timeout 900   9700 8500
pthread-lit/sssc12_true-unreach-call.i unknown 8.4 450 110
pthread-lit/sssc12_variant_true-unreach-call.i unknown 8.2 450 100
ldv-races/race-1_1-join_true-unreach-call.i true 8.4 390 97
ldv-races/race-2_1-container_of_true-unreach-call.i unknown 8.4 450 100
ldv-races/race-3_1-container_of-global_true-unreach-call.i unknown 8.5 450 120
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i true 28   410 270
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 8.7 450 110
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 8.6 450 140
ldv-races/race-2_2-container_of_false-unreach-call.i unknown 8.6 450 100
ldv-races/race-2_3-container_of_false-unreach-call.i unknown 8.4 450 99
ldv-races/race-2_4-container_of_false-unreach-call.i unknown 8.5 450 100
ldv-races/race-2_5-container_of_false-unreach-call.i unknown 8.4 450 100
ldv-races/race-3_2-container_of-global_false-unreach-call.i unknown 8.6 450 130
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 8.8 450 110
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): vb2_dma_contig_memops) 2.0 220 23
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i unknown 9.5 440 120
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i unknown 9.0 440 120
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i unknown 9.0 440 110
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i unknown 9.1 440 120
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i unknown 8.9 440 100
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i error - divine failed with signal 6 (program::insert: unresolved symbol (global variable): vb2_dma_contig_memops) 2.0 220 25
pthread-complex/bounded_buffer_false-unreach-call.i false(unreach-call) 350   980 3400
pthread-complex/elimination_backoff_stack_false-unreach-call.i unknown 8.5 450 120
pthread-complex/safestack_relacy_false-unreach-call.i timeout 900   2300 8200
pthread-complex/workstealqueue_mutex_false-unreach-call.i false(unreach-call) 13   470 150
pthread-complex/workstealqueue_mutex_true-unreach-call.i true 21   420 220
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i unknown 8.6 450 130
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i unknown 8.7 450 100
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i unknown 8.5 450 110
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i unknown 8.6 450 96
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i unknown 8.7 450 100
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i unknown 8.7 450 120
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i unknown 8.6 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i unknown 8.8 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i unknown 8.6 450 97
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i unknown 8.6 450 100
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i unknown 8.6 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i unknown 8.6 450 98
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i unknown 8.7 450 120
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i unknown 8.5 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i unknown 8.5 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i unknown 8.5 450 98
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i unknown 8.5 450 110
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i unknown 8.5 450 140
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i unknown 8.7 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i unknown 8.6 450 110
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i unknown 8.6 450 110
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 200   750 1800
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i unknown 9.1 470 100
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 8.7 450 100
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i timeout 900   2000 7700
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i false(unreach-call) 8.5 450 110
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i false(unreach-call) 9.0 450 110
pthread-divine/one_time_barrier_2t_false-unreach-call.i false(unreach-call) 8.5 450 100
pthread-divine/one_time_barrier_3t_false-unreach-call.i false(unreach-call) 9.1 450 110
pthread-divine/ring_1w1r_false-unreach-call.i unknown 8.4 450 110
pthread-divine/ring_2w1r_false-unreach-call.i unknown 11   460 120
pthread-divine/tls_destructor_worker_false-unreach-call.i false(unreach-call) 8.4 450 110
pthread-divine/barrier_2t_true-unreach-call.i true 9.9 390 110
pthread-divine/barrier_3t_true-unreach-call.i true 700   1300 7300
pthread-divine/condvar_true-unreach-call.i true 8.6 390 100
pthread-divine/divinefifo_1w1r_true-unreach-call.i true 8.7 390 95
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i true 9.4 390 100
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i true 540   1200 5300
pthread-divine/ring_1w1r_true-unreach-call.i true 8.7 390 100
pthread-divine/ring_2w1r_true-unreach-call.i true 520   1600 5500
pthread-divine/tls_basic_true-unreach-call.i true 8.4 390 110
pthread-nondet/nondet-array_false-unreach-call.i unknown 8.3 450 100
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i unknown 8.4 450 110
pthread-nondet/nondet-loop-bound_false-unreach-call.i unknown 8.4 450 97
pthread-nondet/nondet-array_true-unreach-call.i unknown 8.4 450 110
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i unknown 8.5 440 110
pthread-nondet/nondet-loop-bound_true-unreach-call.i unknown 8.5 450 100
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 1082 150000 1200000 1400000
    correct results 321 7800 150000 83000
        correct true 172 5800 76000 60000
        correct false 149 2100 70000 24000
    correct-unconfimed results 407 75000 600000 710000
        correct-unconfirmed true 0
        correct-unconfirmed false 407 75000 600000 710000
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set sv-comp19_prop-reachsafety.ConcurrencySafety-Main