Tool Lazy-CSeq-Swarm 0.1svcomp2017
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 11:05:10 CET
Run set sv-comp17
Options --witness error-witness.graphml
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
pthread/bigshot_p_false-unreach-call.i 1 1.6 1.6 19 62 .51 0    
pthread/fib_bench_false-unreach-call.i 1 6.3 6.5 84 64 2.3  0    
pthread/fib_bench_longer_false-unreach-call.i 1 6.4 6.5 89 66 2.3  0    
pthread/fib_bench_longest_false-unreach-call.i 1 17   17   240 76 2.3  0    
pthread/lazy01_false-unreach-call.i 1 1.6 1.6 24 64 .52 0    
pthread/queue_false-unreach-call.i 1 15   15   180 280 1.1  0    
pthread/queue_longer_false-unreach-call.i 1 100   100   1100 1700 2.0  0    
pthread/queue_longest_false-unreach-call.i 1 130   130   1400 2800 2.7  .078
pthread/reorder_2_false-unreach-call.i 1 4.3 4.4 54 65 1.1  0    
pthread/reorder_5_false-unreach-call.i 1 10   10   140 96 2.1  0    
pthread/sigma_false-unreach-call.i 1 9.6 9.8 130 200 1.9  0    
pthread/singleton_false-unreach-call.i 1 7.4 7.5 96 67 2.5  .58 
pthread/stack_false-unreach-call.i 1 2.8 2.9 35 73 .74 0    
pthread/stack_longer_false-unreach-call.i 1 120   120   1200 2100 2.8  0    
pthread/stack_longest_false-unreach-call.i 1 140   140   1700 3200 3.5  0    
pthread/stateful01_false-unreach-call.i 1 1.6 1.6 21 62 .51 0    
pthread/twostage_3_false-unreach-call.i 1 5.1 5.2 63 67 1.2  0    
pthread/bigshot_s2_true-unreach-call.i 2 9.4 9.7 140 63 3.5  0    
pthread/bigshot_s_true-unreach-call.i 2 9.5 9.7 130 63 3.5  .078
pthread/fib_bench_longer_true-unreach-call.i 2 10   10   140 66 3.5  0    
pthread/fib_bench_longest_true-unreach-call.i 2 24   24   260 81 3.5  .078
pthread/fib_bench_true-unreach-call.i 2 9.5 9.7 130 66 3.5  0    
pthread/indexer_true-unreach-call.i 2 380   380   4000 3200 6.3  0    
pthread/queue_ok_longer_true-unreach-call.i 2 400   400   4800 1300 4.8  0    
pthread/queue_ok_longest_true-unreach-call.i 2 430   430   5300 2400 4.8  0    
pthread/queue_ok_true-unreach-call.i 2 340   340   4600 580 3.9  0    
pthread/singleton_with-uninit-problems_true-unreach-call.i 2 11   11   150 67 3.7  0    
pthread/stack_longer_true-unreach-call.i 2 340   340   4200 2400 6.2  0    
pthread/stack_longest_true-unreach-call.i 2 340   340   4400 3700 6.2  0    
pthread/stack_true-unreach-call.i 2 150   150   2200 140 3.6  0    
pthread/stateful01_true-unreach-call.i 2 9.5 9.8 110 65 3.5  0    
pthread/sync01_true-unreach-call.i 2 10   11   140 66 3.5  0    
pthread-atomic/qrcu_false-unreach-call.i 1 2.5 2.5 31 71 .60 0    
pthread-atomic/read_write_lock_false-unreach-call.i 1 1.7 1.7 19 65 .53 .42 
pthread-atomic/dekker_true-unreach-call.i 2 10   11   130 64 3.6  0    
pthread-atomic/gcd_true-unreach-call_true-termination.i 2 410   410   4600 330 3.6  0    
pthread-atomic/lamport_true-unreach-call.i 2 130   130   2100 67 3.1  0    
pthread-atomic/peterson_true-unreach-call.i 2 9.1 9.3 130 64 3.5  0    
pthread-atomic/qrcu_true-unreach-call.i 2 82   82   1100 99 2.7  .078
pthread-atomic/read_write_lock_true-unreach-call.i 2 11   11   130 67 3.6  0    
pthread-atomic/scull_true-unreach-call.i 2 26   27   330 150 3.7  0    
pthread-atomic/szymanski_true-unreach-call.i 2 130   130   1700 64 2.9  0    
pthread-atomic/time_var_mutex_true-unreach-call.i 2 10   10   140 64 3.5  0    
pthread-ext/25_stack_longer_false-unreach-call.i 1 2.0 2.0 25 64 .54 0    
pthread-ext/25_stack_longest_false-unreach-call.i 1 2.3 2.3 29 69 .54 0    
pthread-ext/26_stack_cas_longer_false-unreach-call.i 1 2.1 2.1 31 67 .56 0    
pthread-ext/26_stack_cas_longest_false-unreach-call.i 1 2.4 2.4 28 69 .56 0    
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 1 1.7 1.8 23 63 .54 .55 
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 1 1.6 1.6 23 62 .52 0    
pthread-ext/32_pthread5_vs_false-unreach-call.i 1 1.7 1.7 21 65 .53 0    
pthread-ext/40_barrier_vf_false-unreach-call.i 1 4.6 4.7 59 64 1.7  0    
pthread-ext/01_inc_true-unreach-call.i 2 9.0 9.3 130 63 3.4  0    
pthread-ext/02_inc_cas_true-unreach-call.i 2 11   11   160 67 3.6  .078
pthread-ext/03_incdec_true-unreach-call.i 2 10   11   130 67 3.1  0    
pthread-ext/04_incdec_cas_true-unreach-call.i 2 74   74   1100 73 3.4  0    
pthread-ext/05_tas_true-unreach-call.i 2 11   11   140 74 3.9  0    
pthread-ext/06_ticket_true-unreach-call.i 2 9.7 9.9 120 65 3.6  0    
pthread-ext/07_rand_true-unreach-call.i 2 71   71   940 70 3.3  0    
pthread-ext/08_rand_cas_true-unreach-call.i 2 73   73   900 77 3.6  0    
pthread-ext/09_fmaxsym_true-unreach-call.i 2 13   14   170 82 4.0  .078
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 2 17   17   220 120 5.2  0    
pthread-ext/11_fmaxsymopt_true-unreach-call.i 2 12   12   150 76 4.0  0    
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 2 13   13   160 81 4.1  0    
pthread-ext/13_unverif_true-unreach-call.i 2 8.8 9.1 110 63 3.4  0    
pthread-ext/14_spin2003_true-unreach-call.i 2 8.6 8.8 120 63 3.4  0    
pthread-ext/15_dekker_true-unreach-call.i 2 69   70   1100 64 2.9  0    
pthread-ext/16_peterson_true-unreach-call.i 2 69   69   1100 66 2.9  0    
pthread-ext/17_szymanski_true-unreach-call.i 2 70   70   1000 66 3.0  0    
pthread-ext/18_read_write_lock_true-unreach-call.i 2 8.8 9.0 120 64 3.4  0    
pthread-ext/19_time_var_mutex_true-unreach-call.i 2 9.6 9.9 120 64 3.5  0    
pthread-ext/20_lamport_true-unreach-call.i 2 72   72   1000 67 3.1  0    
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 2 9.5 9.7 120 66 3.5  0    
pthread-ext/25_stack_longer_true-unreach-call.i 2 19   19   260 270 3.4  0    
pthread-ext/25_stack_longest_true-unreach-call.i 2 44   44   490 710 3.4  0    
pthread-ext/25_stack_true-unreach-call.i 2 14   14   160 77 3.4  .078
pthread-ext/26_stack_cas_longer_true-unreach-call.i 2 22   22   290 330 3.6  0    
pthread-ext/26_stack_cas_longest_true-unreach-call.i 2 49   50   550 920 3.6  0    
pthread-ext/26_stack_cas_true-unreach-call.i 2 16   16   200 80 3.6  0    
pthread-ext/29_conditionals_vs_true-unreach-call.i 2 9.0 9.3 130 64 3.5  0    
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 2 9.5 9.7 110 64 3.5  0    
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 2 9.4 9.6 130 66 3.5  0    
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 2 11   11   140 66 3.6  0    
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 2 10   11   130 66 3.6  0    
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 2 9.8 10   120 64 3.5  0    
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 2 13   13   180 130 3.9  0    
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 2 11   11   130 67 3.7  0    
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 2 11   11   140 70 3.8  0    
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 2 9.6 9.8 150 65 3.6  0    
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i 2 90   91   1300 85 3.5  0    
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i 2 88   88   1200 85 3.6  0    
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i 2 160   160   2000 160 7.0  0    
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i 2 100   110   1400 110 4.0  0    
pthread-ext/45_monabsex1_vs_true-unreach-call.i 2 8.3 8.5 99 63 3.4  0    
pthread-ext/46_monabsex2_vs_true-unreach-call.i 2 8.3 8.5 110 62 3.4  0    
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 2 71   71   1000 74 3.3  0    
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 2 10   10   110 64 3.6  0    
pthread-wmm/mix000_power.oepc_false-unreach-call.i 1 2.6 2.6 31 72 .54 0    
pthread-wmm/mix000_power.opt_false-unreach-call.i 1 2.5 2.6 31 70 .54 0    
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 1 2.6 2.6 34 72 .54 0    
pthread-wmm/mix000_pso.opt_false-unreach-call.i 1 2.5 2.6 30 70 .54 0    
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 1 2.6 2.7 34 72 .54 .42 
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 1 2.5 2.6 40 70 .54 0    
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 1 2.6 2.6 33 70 .54 0    
pthread-wmm/mix000_tso.opt_false-unreach-call.i 1 2.5 2.6 32 70 .54 0    
pthread-wmm/mix001_power.oepc_false-unreach-call.i 1 2.8 2.8 37 75 .55 0    
pthread-wmm/mix001_power.opt_false-unreach-call.i 1 2.7 2.7 40 70 .55 .078
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 1 2.9 2.9 36 75 .55 .42 
pthread-wmm/mix001_pso.opt_false-unreach-call.i 1 2.7 2.7 33 72 .55 0    
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 1 2.9 2.9 41 75 .55 .078
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 1 2.7 2.7 34 72 .55 0    
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 1 2.8 2.9 40 75 .55 0    
pthread-wmm/mix001_tso.opt_false-unreach-call.i 1 2.7 2.7 33 72 .55 0    
pthread-wmm/mix002_power.oepc_false-unreach-call.i 1 2.6 2.6 29 73 .55 0    
pthread-wmm/mix002_power.opt_false-unreach-call.i 1 2.7 2.7 37 72 .55 0    
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 1 2.5 2.6 33 73 .55 0    
pthread-wmm/mix002_pso.opt_false-unreach-call.i 1 2.7 2.7 34 72 .55 0    
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 1 2.6 2.6 31 73 .55 0    
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 1 2.7 2.8 38 72 .55 0    
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 1 2.6 2.6 32 73 .55 0    
pthread-wmm/mix002_tso.opt_false-unreach-call.i 1 2.7 2.7 38 70 .55 0    
pthread-wmm/mix003_power.oepc_false-unreach-call.i 1 2.6 2.6 33 70 .54 0    
pthread-wmm/mix003_power.opt_false-unreach-call.i 1 2.7 2.7 34 73 .55 0    
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 1 2.5 2.5 36 70 .54 0    
pthread-wmm/mix003_pso.opt_false-unreach-call.i 1 2.7 2.7 32 73 .55 0    
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 1 2.5 2.6 30 72 .54 .34 
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 1 2.7 2.7 35 71 .55 0    
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 1 2.6 2.7 33 71 .55 0    
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 1 2.7 2.7 34 73 .55 0    
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 1 2.5 2.6 32 72 .54 0    
pthread-wmm/mix003_tso.opt_false-unreach-call.i 1 2.7 2.8 35 73 .55 .61 
pthread-wmm/mix004_power.oepc_false-unreach-call.i 1 2.8 2.8 36 75 .56 0    
pthread-wmm/mix004_power.opt_false-unreach-call.i 1 2.8 2.8 35 71 .56 0    
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 1 2.7 2.8 39 71 .56 0    
pthread-wmm/mix004_pso.opt_false-unreach-call.i 1 2.8 2.8 37 73 .56 .078
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 1 2.7 2.8 40 71 .56 0    
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 1 2.8 2.8 34 71 .56 .078
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 1 2.7 2.8 39 73 .56 0    
pthread-wmm/mix004_tso.opt_false-unreach-call.i 1 2.8 2.8 43 71 .56 0    
pthread-wmm/mix005_power.oepc_false-unreach-call.i 1 2.7 2.7 36 73 .56 0    
pthread-wmm/mix005_power.opt_false-unreach-call.i 1 2.8 2.8 34 71 .56 0    
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 1 2.7 2.7 31 71 .56 .078
pthread-wmm/mix005_pso.opt_false-unreach-call.i 1 2.8 2.9 35 75 .56 0    
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 1 2.7 2.7 38 71 .56 0    
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 1 2.8 2.8 43 73 .56 0    
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 1 2.8 2.8 34 71 .56 0    
pthread-wmm/mix005_tso.opt_false-unreach-call.i 1 2.8 2.8 34 71 .56 0    
pthread-wmm/mix006_power.oepc_false-unreach-call.i 1 2.5 2.6 33 70 .54 .098
pthread-wmm/mix006_power.opt_false-unreach-call.i 1 2.7 2.7 36 71 .55 0    
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 1 2.5 2.6 31 70 .54 0    
pthread-wmm/mix006_pso.opt_false-unreach-call.i 1 2.7 2.7 32 71 .55 0    
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 1 2.5 2.6 36 70 .54 0    
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 1 2.6 2.7 33 73 .55 0    
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 1 3.6 3.7 41 80 .58 0    
pthread-wmm/mix006_tso.opt_false-unreach-call.i 1 2.6 2.7 30 73 .55 0    
pthread-wmm/mix007_power.oepc_false-unreach-call.i 1 2.7 2.7 35 73 .56 0    
pthread-wmm/mix007_power.opt_false-unreach-call.i 1 2.8 2.8 35 71 .56 0    
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 1 2.7 2.7 35 71 .56 0    
pthread-wmm/mix007_pso.opt_false-unreach-call.i 1 2.8 2.9 38 73 .56 0    
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 1 2.7 2.8 37 71 .56 0    
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 1 2.8 2.9 34 71 .56 0    
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 1 2.7 2.7 37 71 .56 0    
pthread-wmm/mix007_tso.opt_false-unreach-call.i 1 2.8 2.9 36 73 .56 0    
pthread-wmm/mix008_power.oepc_false-unreach-call.i 1 2.7 2.7 33 73 .56 0    
pthread-wmm/mix008_power.opt_false-unreach-call.i 1 2.8 2.8 35 72 .56 0    
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 1 2.7 2.7 36 72 .56 0    
pthread-wmm/mix008_pso.opt_false-unreach-call.i 1 2.7 2.8 38 72 .56 0    
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 1 2.7 2.7 34 70 .56 0    
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 1 2.8 2.8 33 70 .56 .078
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 1 3.8 3.9 56 80 .59 .098
pthread-wmm/mix008_tso.opt_false-unreach-call.i 1 2.8 2.8 39 73 .56 .078
pthread-wmm/mix009_power.oepc_false-unreach-call.i 1 2.4 2.4 28 68 .54 0    
pthread-wmm/mix009_power.opt_false-unreach-call.i 1 2.5 2.6 32 72 .54 0    
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 1 2.3 2.4 29 68 .54 0    
pthread-wmm/mix009_pso.opt_false-unreach-call.i 1 2.5 2.6 33 70 .54 0    
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 1 2.3 2.4 34 68 .54 0    
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 1 2.5 2.6 33 70 .54 0    
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 1 2.3 2.4 31 68 .54 0    
pthread-wmm/mix009_tso.opt_false-unreach-call.i 1 2.6 2.6 33 70 .54 0    
pthread-wmm/mix010_power.oepc_false-unreach-call.i 1 2.6 2.6 35 73 .54 0    
pthread-wmm/mix010_power.opt_false-unreach-call.i 1 2.7 2.7 31 72 .55 0    
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 1 2.5 2.6 33 73 .54 0    
pthread-wmm/mix010_pso.opt_false-unreach-call.i 1 2.7 2.7 38 71 .55 .078
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 1 2.6 2.6 37 70 .54 0    
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 1 2.7 2.7 33 73 .55 0    
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 1 2.5 2.6 30 70 .54 0    
pthread-wmm/mix010_tso.opt_false-unreach-call.i 1 2.7 2.7 38 73 .55 0    
pthread-wmm/mix011_power.oepc_false-unreach-call.i 1 2.5 2.6 31 72 .54 0    
pthread-wmm/mix011_power.opt_false-unreach-call.i 1 2.7 2.7 35 71 .55 .078
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 1 2.6 2.6 31 70 .54 0    
pthread-wmm/mix011_pso.opt_false-unreach-call.i 1 2.7 2.7 35 73 .55 0    
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 1 2.5 2.6 31 70 .54 0    
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 1 2.7 2.7 37 70 .55 0    
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 1 2.6 2.6 35 70 .54 .078
pthread-wmm/mix011_tso.opt_false-unreach-call.i 1 2.7 2.7 35 75 .55 .078
pthread-wmm/mix012_power.oepc_false-unreach-call.i 1 2.3 2.3 34 68 .53 0    
pthread-wmm/mix012_power.opt_false-unreach-call.i 1 2.3 2.4 29 68 .53 0    
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 1 2.3 2.4 30 68 .53 0    
pthread-wmm/mix012_pso.opt_false-unreach-call.i 1 2.5 2.5 37 71 .54 0    
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 1 2.3 2.4 29 68 .53 0    
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 1 2.3 2.4 27 69 .53 0    
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 1 2.3 2.3 35 69 .53 .42 
pthread-wmm/mix012_tso.opt_false-unreach-call.i 1 2.5 2.5 36 69 .54 .55 
pthread-wmm/mix013_power.oepc_false-unreach-call.i 1 2.8 2.8 35 73 .56 0    
pthread-wmm/mix013_power.opt_false-unreach-call.i 1 2.8 2.8 37 73 .56 0    
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 1 2.7 2.7 34 71 .56 0    
pthread-wmm/mix013_pso.opt_false-unreach-call.i 1 2.8 2.9 35 73 .56 0    
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 1 2.8 2.8 37 73 .56 0    
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 1 2.8 2.9 40 73 .56 0    
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 1 2.8 2.8 35 73 .56 0    
pthread-wmm/mix013_tso.opt_false-unreach-call.i 1 2.8 2.8 34 73 .56 0    
pthread-wmm/mix014_power.oepc_false-unreach-call.i 1 2.7 2.7 33 73 .56 0    
pthread-wmm/mix014_power.opt_false-unreach-call.i 1 2.8 2.9 34 73 .56 0    
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 1 2.7 2.7 42 71 .56 0    
pthread-wmm/mix014_pso.opt_false-unreach-call.i 1 2.8 2.8 35 73 .56 0    
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 1 2.7 2.7 34 73 .56 0    
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 1 2.8 2.9 43 73 .56 0    
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 1 3.6 3.7 45 80 .59 0    
pthread-wmm/mix014_tso.opt_false-unreach-call.i 1 2.8 2.8 42 73 .56 0    
pthread-wmm/mix015_power.oepc_false-unreach-call.i 1 2.6 2.6 33 71 .54 0    
pthread-wmm/mix015_power.opt_false-unreach-call.i 1 2.7 2.7 35 71 .55 0    
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 1 2.6 2.6 31 70 .54 0    
pthread-wmm/mix015_pso.opt_false-unreach-call.i 1 2.7 2.7 33 70 .55 0    
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 1 2.6 2.6 32 70 .54 0    
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 1 2.7 2.7 34 73 .55 0    
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 1 2.5 2.6 30 70 .54 0    
pthread-wmm/mix015_tso.opt_false-unreach-call.i 1 2.7 2.7 41 73 .55 0    
pthread-wmm/mix016_power.oepc_false-unreach-call.i 1 2.5 2.5 31 72 .54 0    
pthread-wmm/mix016_power.opt_false-unreach-call.i 1 2.4 2.5 32 70 .54 0    
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 1 2.5 2.5 34 70 .54 0    
pthread-wmm/mix016_pso.opt_false-unreach-call.i 1 2.6 2.7 35 73 .55 0    
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 1 2.5 2.5 36 72 .54 0    
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 1 2.4 2.5 29 72 .54 0    
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 1 2.5 2.5 31 70 .54 0    
pthread-wmm/mix016_tso.opt_false-unreach-call.i 1 2.6 2.7 35 72 .55 0    
pthread-wmm/mix017_power.oepc_false-unreach-call.i 1 2.7 2.7 38 73 .56 0    
pthread-wmm/mix017_power.opt_false-unreach-call.i 1 2.5 2.6 34 73 .55 0    
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 1 2.7 2.7 39 73 .56 0    
pthread-wmm/mix017_pso.opt_false-unreach-call.i 1 2.8 2.8 38 73 .56 0    
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 1 2.7 2.7 35 70 .56 0    
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 1 2.6 2.6 34 73 .55 .078
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 1 2.7 2.7 30 71 .56 .078
pthread-wmm/mix017_tso.opt_false-unreach-call.i 1 2.8 2.8 36 73 .56 0    
pthread-wmm/mix018_power.oepc_false-unreach-call.i 1 2.7 2.7 31 70 .56 0    
pthread-wmm/mix018_power.opt_false-unreach-call.i 1 2.8 2.8 39 72 .56 0    
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 1 2.7 2.7 34 70 .56 0    
pthread-wmm/mix018_pso.opt_false-unreach-call.i 1 2.8 2.8 37 70 .56 0    
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 1 2.7 2.7 35 72 .56 0    
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 1 2.8 2.8 33 72 .56 .41 
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 1 2.7 2.7 34 70 .56 .078
pthread-wmm/mix018_tso.opt_false-unreach-call.i 1 2.7 2.8 34 70 .56 0    
pthread-wmm/mix019_power.oepc_false-unreach-call.i 1 2.5 2.5 30 70 .54 0    
pthread-wmm/mix019_power.opt_false-unreach-call.i 1 2.6 2.7 39 70 .54 0    
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 1 2.5 2.5 30 70 .54 0    
pthread-wmm/mix019_pso.opt_false-unreach-call.i 1 2.6 2.7 33 73 .54 0    
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 1 2.5 2.5 33 70 .54 .078
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 1 2.6 2.7 32 70 .54 0    
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 1 2.5 2.5 34 70 .54 0    
pthread-wmm/mix019_tso.opt_false-unreach-call.i 1 2.6 2.7 34 73 .54 .55 
pthread-wmm/mix020_power.oepc_false-unreach-call.i 1 2.7 2.7 30 72 .56 0    
pthread-wmm/mix020_power.opt_false-unreach-call.i 1 2.8 2.8 37 72 .56 0    
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 1 2.7 2.7 35 70 .56 0    
pthread-wmm/mix020_pso.opt_false-unreach-call.i 1 2.7 2.7 37 72 .56 0    
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 1 2.7 2.7 31 70 .56 0    
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 1 2.8 2.8 40 70 .56 0    
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 1 2.7 2.8 35 70 .56 0    
pthread-wmm/mix020_tso.opt_false-unreach-call.i 1 2.7 2.7 34 70 .56 0    
pthread-wmm/mix021_power.oepc_false-unreach-call.i 1 2.7 2.7 37 72 .56 0    
pthread-wmm/mix021_power.opt_false-unreach-call.i 1 2.8 2.8 35 70 .56 0    
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 1 2.7 2.7 35 70 .56 0    
pthread-wmm/mix021_pso.opt_false-unreach-call.i 1 2.7 2.8 34 72 .56 0    
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 1 2.7 2.7 34 70 .56 .078
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 1 2.8 2.8 34 74 .56 0    
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 1 2.6 2.6 30 71 .55 0    
pthread-wmm/mix021_tso.opt_false-unreach-call.i 1 2.8 2.8 35 72 .56 0    
pthread-wmm/mix022_power.oepc_false-unreach-call.i 1 2.3 2.4 33 68 .53 0    
pthread-wmm/mix022_power.opt_false-unreach-call.i 1 2.3 2.3 34 68 .53 0    
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 1 2.3 2.3 31 69 .53 0    
pthread-wmm/mix022_pso.opt_false-unreach-call.i 1 2.3 2.4 26 68 .53 0    
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 1 2.3 2.3 28 68 .53 0    
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 1 2.3 2.3 35 68 .53 0    
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 1 2.5 2.6 33 71 .54 .52 
pthread-wmm/mix022_tso.opt_false-unreach-call.i 1 2.6 2.6 32 72 .54 0    
pthread-wmm/mix023_power.oepc_false-unreach-call.i 1 2.7 2.7 34 73 .56 0    
pthread-wmm/mix023_power.opt_false-unreach-call.i 1 2.6 2.6 34 71 .55 0    
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 1 2.7 2.7 34 73 .56 0    
pthread-wmm/mix023_pso.opt_false-unreach-call.i 1 2.5 2.6 34 71 .55 0    
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 1 2.7 2.7 40 73 .56 0    
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 1 2.5 2.6 31 71 .55 .078
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 1 4.0 4.0 54 81 .59 0    
pthread-wmm/mix023_tso.opt_false-unreach-call.i 1 4.0 4.0 48 81 .59 .078
pthread-wmm/mix024_power.oepc_false-unreach-call.i 1 2.6 2.6 32 70 .54 .098
pthread-wmm/mix024_power.opt_false-unreach-call.i 1 2.5 2.5 35 70 .54 0    
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 1 2.5 2.6 33 70 .54 0    
pthread-wmm/mix024_pso.opt_false-unreach-call.i 1 2.5 2.5 35 70 .54 .078
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 1 2.6 2.6 34 70 .54 .078
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 1 2.5 2.5 32 72 .54 0    
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 1 2.5 2.6 34 72 .54 0    
pthread-wmm/mix024_tso.opt_false-unreach-call.i 1 2.5 2.6 33 72 .54 0    
pthread-wmm/mix025_power.oepc_false-unreach-call.i 1 2.5 2.5 34 70 .54 0    
pthread-wmm/mix025_power.opt_false-unreach-call.i 1 2.5 2.5 34 72 .54 0    
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 1 2.5 2.5 35 72 .54 0    
pthread-wmm/mix025_pso.opt_false-unreach-call.i 1 2.4 2.4 30 71 .54 0    
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 1 2.5 2.5 33 72 .54 0    
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 1 2.4 2.5 32 73 .54 0    
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 1 2.5 2.5 32 70 .54 0    
pthread-wmm/mix025_tso.opt_false-unreach-call.i 1 2.5 2.5 30 70 .54 0    
pthread-wmm/mix026_power.oepc_false-unreach-call.i 1 2.7 2.7 33 72 .56 .078
pthread-wmm/mix026_power.opt_false-unreach-call.i 1 2.6 2.7 33 70 .55 0    
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 1 2.7 2.7 34 70 .56 0    
pthread-wmm/mix026_pso.opt_false-unreach-call.i 1 2.5 2.6 33 73 .55 0    
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 1 2.7 2.7 33 72 .56 0    
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 1 2.6 2.6 35 71 .55 0    
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 1 2.7 2.7 34 72 .56 0    
pthread-wmm/mix026_tso.opt_false-unreach-call.i 1 2.6 2.6 36 70 .55 0    
pthread-wmm/mix027_power.oepc_false-unreach-call.i 1 2.7 2.7 35 72 .56 0    
pthread-wmm/mix027_power.opt_false-unreach-call.i 1 2.5 2.5 36 71 .55 0    
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 1 2.7 2.7 32 70 .56 0    
pthread-wmm/mix027_pso.opt_false-unreach-call.i 1 2.6 2.6 29 72 .55 0    
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 1 2.7 2.7 33 72 .56 0    
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 1 2.5 2.6 32 72 .55 0    
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 1 2.7 2.7 33 72 .56 0    
pthread-wmm/mix027_tso.opt_false-unreach-call.i 1 2.7 2.7 35 70 .56 0    
pthread-wmm/mix028_power.oepc_false-unreach-call.i 1 2.5 2.5 36 70 .54 0    
pthread-wmm/mix028_power.opt_false-unreach-call.i 1 2.5 2.5 31 70 .54 0    
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 1 2.5 2.5 32 70 .54 0    
pthread-wmm/mix028_pso.opt_false-unreach-call.i 1 2.5 2.5 32 72 .54 0    
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 1 2.5 2.5 32 72 .54 .078
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 1 2.5 2.5 33 70 .54 0    
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 1 2.7 2.7 35 73 .55 0    
pthread-wmm/mix028_tso.opt_false-unreach-call.i 1 2.7 2.7 33 73 .55 0    
pthread-wmm/mix029_power.oepc_false-unreach-call.i 1 2.7 2.7 36 72 .56 0    
pthread-wmm/mix029_power.opt_false-unreach-call.i 1 2.6 2.6 38 71 .55 0    
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 1 2.7 2.7 37 70 .56 0    
pthread-wmm/mix029_pso.opt_false-unreach-call.i 1 2.6 2.6 34 72 .55 0    
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 1 2.7 2.7 30 72 .56 0    
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 1 2.6 2.6 32 72 .55 0    
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 1 2.7 2.7 36 72 .56 0    
pthread-wmm/mix029_tso.opt_false-unreach-call.i 1 2.7 2.7 34 72 .56 .078
pthread-wmm/mix030_power.oepc_false-unreach-call.i 1 2.7 2.7 39 70 .55 0    
pthread-wmm/mix030_power.opt_false-unreach-call.i 1 2.6 2.7 34 71 .55 0    
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 1 2.7 2.7 38 72 .55 0    
pthread-wmm/mix030_pso.opt_false-unreach-call.i 1 2.6 2.6 37 71 .55 .078
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 1 2.7 2.7 39 70 .55 0    
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 1 2.6 2.6 39 71 .55 0    
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 1 2.8 2.9 34 73 .56 0    
pthread-wmm/mix030_tso.opt_false-unreach-call.i 1 2.8 2.8 35 73 .56 0    
pthread-wmm/mix031_power.oepc_false-unreach-call.i 1 2.4 2.4 31 70 .54 0    
pthread-wmm/mix031_power.opt_false-unreach-call.i 1 2.3 2.3 32 68 .53 0    
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 1 2.4 2.4 34 68 .54 0    
pthread-wmm/mix031_pso.opt_false-unreach-call.i 1 2.3 2.3 26 68 .53 0    
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 1 2.3 2.4 30 68 .54 0    
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 1 2.3 2.4 31 68 .53 0    
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 1 2.3 2.4 26 68 .54 .078
pthread-wmm/mix031_tso.opt_false-unreach-call.i 1 2.3 2.3 29 68 .53 0    
pthread-wmm/mix032_power.oepc_false-unreach-call.i 1 2.6 2.6 32 73 .55 0    
pthread-wmm/mix032_power.opt_false-unreach-call.i 1 2.4 2.5 32 72 .54 0    
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 1 2.6 2.6 35 71 .55 0    
pthread-wmm/mix032_pso.opt_false-unreach-call.i 1 2.4 2.4 32 70 .54 0    
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 1 2.5 2.6 38 71 .55 0    
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 1 2.4 2.5 34 70 .54 0    
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 1 2.5 2.6 36 73 .55 0    
pthread-wmm/mix032_tso.opt_false-unreach-call.i 1 2.4 2.5 30 70 .54 0    
pthread-wmm/mix033_power.oepc_false-unreach-call.i 1 2.5 2.6 33 72 .55 .078
pthread-wmm/mix033_power.opt_false-unreach-call.i 1 2.4 2.4 35 70 .54 0    
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 1 2.6 2.6 34 71 .55 0    
pthread-wmm/mix033_pso.opt_false-unreach-call.i 1 2.4 2.5 31 70 .54 .43 
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 1 2.6 2.6 32 73 .55 0    
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 1 2.4 2.5 34 70 .54 0    
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 1 2.6 2.6 38 71 .55 0    
pthread-wmm/mix033_tso.opt_false-unreach-call.i 1 2.4 2.5 32 70 .54 0    
pthread-wmm/mix034_power.oepc_false-unreach-call.i 1 2.3 2.3 26 68 .53 0    
pthread-wmm/mix034_power.opt_false-unreach-call.i 1 2.3 2.4 27 68 .53 0    
pthread-wmm/mix034_pso.oepc_false-unreach-call.i 1 2.3 2.4 28 68 .53 0    
pthread-wmm/mix034_pso.opt_false-unreach-call.i 1