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