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