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