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