Tool CIVL
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-57-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-10 17:21:21 CET
Run set sv-comp17
Options verify -svcomp17
../../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 4.9 1.3 37 370 .033  0     
pthread/fib_bench_false-unreach-call.i 1 7.7 1.9 68 470 .033  0     
pthread/fib_bench_longer_false-unreach-call.i 1 9.2 2.4 76 730 .033  0     
pthread/fib_bench_longest_false-unreach-call.i 1 390   310   4400 10000 0      0     
pthread/lazy01_false-unreach-call.i 1 5.2 1.4 42 340 .033  0     
pthread/queue_false-unreach-call.i 1 6.1 1.6 48 410 .033  0     
pthread/queue_longer_false-unreach-call.i 1 6.3 1.6 49 410 .033  0     
pthread/queue_longest_false-unreach-call.i 1 6.4 1.6 52 410 .033  0     
pthread/reorder_2_false-unreach-call.i 1 6.4 1.6 46 470 .033  .057 
pthread/reorder_5_false-unreach-call.i 1 7.8 2.3 60 550 .033  0     
pthread/sigma_false-unreach-call.i 1 5.2 1.5 39 380 .033  0     
pthread/singleton_false-unreach-call.i 1 5.1 1.4 41 350 .033  0     
pthread/stack_false-unreach-call.i 1 6.0 1.6 45 420 .041  0     
pthread/stack_longer_false-unreach-call.i 1 6.1 1.6 45 410 .041  0     
pthread/stack_longest_false-unreach-call.i 1 6.1 1.6 46 430 .041  0     
pthread/stateful01_false-unreach-call.i 1 4.9 1.3 37 340 .033  0     
pthread/twostage_3_false-unreach-call.i 1 11   3.0 73 600 .033  0     
pthread/bigshot_s2_true-unreach-call.i 2 5.1 1.4 42 360 .033  0     
pthread/bigshot_s_true-unreach-call.i 2 5.6 1.5 40 370 .033  0     
pthread/fib_bench_longer_true-unreach-call.i 2 11   2.8 88 970 .033  0     
pthread/fib_bench_longest_true-unreach-call.i 2 600   490   6600 12000 0      0     
pthread/fib_bench_true-unreach-call.i 2 7.0 1.9 52 530 .033  0     
pthread/indexer_true-unreach-call.i 0 900   860   13000 7900 0      0     
pthread/queue_ok_longer_true-unreach-call.i 2 6.9 1.8 54 450 .033  0     
pthread/queue_ok_longest_true-unreach-call.i 2 6.9 1.8 47 420 .033  0     
pthread/queue_ok_true-unreach-call.i 2 6.4 1.6 49 450 .033  0     
pthread/singleton_with-uninit-problems_true-unreach-call.i 2 5.9 1.5 42 380 .033  .016 
pthread/stack_longer_true-unreach-call.i 2 9.2 2.4 63 540 .041  0     
pthread/stack_longest_true-unreach-call.i 2 9.7 2.4 65 550 .041  0     
pthread/stack_true-unreach-call.i 2 9.9 2.6 80 680 .041  0     
pthread/stateful01_true-unreach-call.i 2 5.0 1.3 39 350 .033  0     
pthread/sync01_true-unreach-call.i 2 5.3 1.4 42 340 .033  0     
pthread-atomic/qrcu_false-unreach-call.i 1 6.1 1.5 48 410 .033  0     
pthread-atomic/read_write_lock_false-unreach-call.i 1 5.7 1.5 46 410 .033  0     
pthread-atomic/dekker_true-unreach-call.i 2 4.6 1.3 35 350 .033  0     
pthread-atomic/gcd_true-unreach-call_true-termination.i 2 10   4.3 100 470 .53   0     
pthread-atomic/lamport_true-unreach-call.i 2 5.6 1.5 44 360 .033  0     
pthread-atomic/peterson_true-unreach-call.i 2 4.6 1.2 40 340 .033  0     
pthread-atomic/qrcu_true-unreach-call.i 2 18   4.6 140 2000 .033  0     
pthread-atomic/read_write_lock_true-unreach-call.i 2 5.9 1.6 47 390 .033  0     
pthread-atomic/scull_true-unreach-call.i 2 10   2.5 83 790 .033  0     
pthread-atomic/szymanski_true-unreach-call.i 2 5.0 1.3 38 330 .033  0     
pthread-atomic/time_var_mutex_true-unreach-call.i 2 5.4 1.4 42 340 .033  .59  
pthread-ext/25_stack_longer_false-unreach-call.i 1 4.9 1.3 35 340 .033  0     
pthread-ext/25_stack_longest_false-unreach-call.i 1 4.9 1.3 35 350 .033  .51  
pthread-ext/26_stack_cas_longer_false-unreach-call.i 1 5.1 1.4 37 350 .033  0     
pthread-ext/26_stack_cas_longest_false-unreach-call.i 1 5.1 1.3 39 350 .033  .049 
pthread-ext/27_Boop_simple_vf_false-unreach-call.i 1 5.3 1.4 38 340 .033  0     
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i 1 5.7 1.8 51 370 .14   0     
pthread-ext/32_pthread5_vs_false-unreach-call.i 1 6.6 1.7 45 480 .033  0     
pthread-ext/40_barrier_vf_false-unreach-call.i 1 4.8 1.3 39 320 .033  0     
pthread-ext/01_inc_true-unreach-call.i 2 19   6.2 150 3500 .033  0     
pthread-ext/02_inc_cas_true-unreach-call.i 2 42   29   450 4700 .033  0     
pthread-ext/03_incdec_true-unreach-call.i 2 13   3.8 100 2100 .033  0     
pthread-ext/04_incdec_cas_true-unreach-call.i 2 42   26   410 4500 .033  .041 
pthread-ext/05_tas_true-unreach-call.i 2 15   5.5 120 3500 .033  0     
pthread-ext/06_ticket_true-unreach-call.i 2 12   2.9 83 1100 .033  0     
pthread-ext/07_rand_true-unreach-call.i 2 26   11   230 4100 .033  0     
pthread-ext/08_rand_cas_true-unreach-call.i 2 33   21   350 4300 .033  0     
pthread-ext/09_fmaxsym_true-unreach-call.i 2 46   26   440 4400 .094  0     
pthread-ext/10_fmaxsym_cas_true-unreach-call.i 2 17   4.6 130 2000 .094  0     
pthread-ext/11_fmaxsymopt_true-unreach-call.i 2 12   3.3 91 990 .094  0     
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i 2 8.0 2.3 52 440 .094  .22  
pthread-ext/13_unverif_true-unreach-call.i 2 14   3.5 100 1100 .033  0     
pthread-ext/14_spin2003_true-unreach-call.i 2 6.4 1.7 50 430 .033  .016 
pthread-ext/15_dekker_true-unreach-call.i 2 4.3 1.2 36 320 .033  .16  
pthread-ext/16_peterson_true-unreach-call.i 2 4.5 1.2 41 340 .033  .090 
pthread-ext/17_szymanski_true-unreach-call.i 2 4.7 1.2 36 350 .033  0     
pthread-ext/18_read_write_lock_true-unreach-call.i 2 4.7 1.2 32 350 .033  0     
pthread-ext/19_time_var_mutex_true-unreach-call.i 2 4.4 1.3 33 340 .033  0     
pthread-ext/20_lamport_true-unreach-call.i 2 5.2 1.4 44 330 .033  0     
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i 2 4.3 1.2 35 320 .033  0     
pthread-ext/25_stack_longer_true-unreach-call.i 2 260   240   3300 6400 0      0     
pthread-ext/25_stack_longest_true-unreach-call.i 2 250   230   3200 6400 0      0     
pthread-ext/25_stack_true-unreach-call.i 2 250   230   3400 6400 0      0     
pthread-ext/26_stack_cas_longer_true-unreach-call.i 2 290   270   3100 6500 0      .016 
pthread-ext/26_stack_cas_longest_true-unreach-call.i 2 290   260   3400 6500 0      0     
pthread-ext/26_stack_cas_true-unreach-call.i 2 290   260   3400 6500 0      0     
pthread-ext/29_conditionals_vs_true-unreach-call.i 2 6.4 1.6 48 420 .033  0     
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i 2 6.6 1.7 51 500 .033  .37  
pthread-ext/31_simple_loop5_vs_true-unreach-call.i 2 10   2.7 92 1100 .033  0     
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i 2 7.3 1.9 57 470 .033  0     
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i 2 7.2 1.8 58 530 .033  0     
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i 2 7.1 1.9 61 550 .033  0     
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i 2 7.1 2.0 55 500 .033  0     
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i 2 6.9 2.0 52 540 .033  0     
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i 2 14   3.8 120 2000 .033  0     
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i 2 11   2.9 91 1100 .033  0     
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i 2 14   3.6 100 1600 .033  0     
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i 2 62   46   680 5500 0      0     
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i 2 190   170   2500 5700 0      0     
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i 2 21   8.1 180 4200 .033  0     
pthread-ext/45_monabsex1_vs_true-unreach-call.i 2 6.3 1.6 50 440 .033  .016 
pthread-ext/46_monabsex2_vs_true-unreach-call.i 2 7.1 1.9 56 440 .033  0     
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i 2 11   2.9 83 1300 .033  0     
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i 2 8.5 2.2 59 700 .033  0     
pthread-wmm/mix000_power.oepc_false-unreach-call.i 1 6.3 1.6 44 390 .033  0     
pthread-wmm/mix000_power.opt_false-unreach-call.i 1 6.2 1.6 53 410 .033  0     
pthread-wmm/mix000_pso.oepc_false-unreach-call.i 1 6.5 1.7 55 390 .033  0     
pthread-wmm/mix000_pso.opt_false-unreach-call.i 1 6.6 1.7 55 410 .033  0     
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i 1 6.7 1.7 51 400 .033  0     
pthread-wmm/mix000_rmo.opt_false-unreach-call.i 1 6.1 1.6 50 400 .033  .0041
pthread-wmm/mix000_tso.oepc_false-unreach-call.i 1 5.6 1.5 42 400 .033  0     
pthread-wmm/mix000_tso.opt_false-unreach-call.i 1 6.2 1.6 49 400 .033  0     
pthread-wmm/mix001_power.oepc_false-unreach-call.i 1 8.5 2.1 62 650 .033  0     
pthread-wmm/mix001_power.opt_false-unreach-call.i 1 12   3.1 88 1000 .033  0     
pthread-wmm/mix001_pso.oepc_false-unreach-call.i 1 9.2 2.3 64 640 .033  0     
pthread-wmm/mix001_pso.opt_false-unreach-call.i 1 11   3.0 84 1000 .033  0     
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i 1 8.2 2.1 68 660 .033  0     
pthread-wmm/mix001_rmo.opt_false-unreach-call.i 1 12   3.1 95 1000 .033  .41  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i 1 9.5 2.3 68 650 .033  0     
pthread-wmm/mix001_tso.opt_false-unreach-call.i 1 12   3.0 89 1000 .033  0     
pthread-wmm/mix002_power.oepc_false-unreach-call.i 1 7.6 1.9 61 520 .033  0     
pthread-wmm/mix002_power.opt_false-unreach-call.i 1 13   3.3 97 1100 .033  0     
pthread-wmm/mix002_pso.oepc_false-unreach-call.i 1 7.6 2.0 61 510 .033  0     
pthread-wmm/mix002_pso.opt_false-unreach-call.i 1 13   3.4 98 1100 .033  0     
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i 1 8.2 2.1 61 520 .033  0     
pthread-wmm/mix002_rmo.opt_false-unreach-call.i 1 13   3.3 100 1100 .033  0     
pthread-wmm/mix002_tso.oepc_false-unreach-call.i 1 7.4 1.9 60 520 .033  0     
pthread-wmm/mix002_tso.opt_false-unreach-call.i 1 13   3.5 99 1100 .033  0     
pthread-wmm/mix003_power.oepc_false-unreach-call.i 1 7.4 1.9 59 500 .033  0     
pthread-wmm/mix003_power.opt_false-unreach-call.i 1 11   2.9 93 920 .033  0     
pthread-wmm/mix003_pso.oepc_false-unreach-call.i 1 7.6 1.9 63 510 .033  0     
pthread-wmm/mix003_pso.opt_false-unreach-call.i 1 12   3.2 98 920 .033  0     
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i 1 8.4 2.1 58 510 .033  0     
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i 1 11   2.8 88 920 .033  0     
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i 1 11   2.8 89 910 .033  0     
pthread-wmm/mix003_rmo.opt_false-unreach-call.i 1 11   2.9 96 920 .033  0     
pthread-wmm/mix003_tso.oepc_false-unreach-call.i 1 7.4 1.9 57 510 .033  0     
pthread-wmm/mix003_tso.opt_false-unreach-call.i 1 13   3.3 98 920 .033  0     
pthread-wmm/mix004_power.oepc_false-unreach-call.i 1 15   3.9 130 1600 .033  0     
pthread-wmm/mix004_power.opt_false-unreach-call.i 1 22   8.9 210 4100 .033  0     
pthread-wmm/mix004_pso.oepc_false-unreach-call.i 1 17   4.3 130 1600 .033  0     
pthread-wmm/mix004_pso.opt_false-unreach-call.i 1 21   8.7 210 4100 .033  0     
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i 1 15   4.1 110 1700 .033  .016 
pthread-wmm/mix004_rmo.opt_false-unreach-call.i 1 22   9.2 200 4100 .033  0     
pthread-wmm/mix004_tso.oepc_false-unreach-call.i 1 18   4.9 140 1600 .033  0     
pthread-wmm/mix004_tso.opt_false-unreach-call.i 1 22   8.7 200 4100 .033  0     
pthread-wmm/mix005_power.oepc_false-unreach-call.i 1 15   3.9 130 1600 .033  0     
pthread-wmm/mix005_power.opt_false-unreach-call.i 1 21   8.6 200 4100 .033  0     
pthread-wmm/mix005_pso.oepc_false-unreach-call.i 1 16   3.9 120 1600 .033  0     
pthread-wmm/mix005_pso.opt_false-unreach-call.i 1 22   8.8 210 4100 .033  0     
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i 1 16   4.2 130 1600 .033  0     
pthread-wmm/mix005_rmo.opt_false-unreach-call.i 1 24   9.6 220 4200 .033  0     
pthread-wmm/mix005_tso.oepc_false-unreach-call.i 1 17   4.9 150 2500 .033  0     
pthread-wmm/mix005_tso.opt_false-unreach-call.i 1 21   8.7 210 4100 .033  0     
pthread-wmm/mix006_power.oepc_false-unreach-call.i 1 8.0 2.1 63 520 .033  0     
pthread-wmm/mix006_power.opt_false-unreach-call.i 1 12   3.1 99 1100 .033  0     
pthread-wmm/mix006_pso.oepc_false-unreach-call.i 1 8.6 2.2 69 520 .033  0     
pthread-wmm/mix006_pso.opt_false-unreach-call.i 1 14   3.6 100 1100 .033  1.4   
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i 1 7.6 2.0 58 510 .033  0     
pthread-wmm/mix006_rmo.opt_false-unreach-call.i 1 13   3.3 100 1100 .033  0     
pthread-wmm/mix006_tso.oepc_false-unreach-call.i 1 20   7.4 190 3900 .033  .016 
pthread-wmm/mix006_tso.opt_false-unreach-call.i 1 14   3.6 100 1100 .033  0     
pthread-wmm/mix007_power.oepc_false-unreach-call.i 1 18   4.4 120 2000 .033  0     
pthread-wmm/mix007_power.opt_false-unreach-call.i 1 23   11   240 4100 .033  0     
pthread-wmm/mix007_pso.oepc_false-unreach-call.i 1 15   4.2 130 2000 .033  0     
pthread-wmm/mix007_pso.opt_false-unreach-call.i 1 24   11   210 4200 .033  0     
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i 1 17   4.5 140 2000 .033  0     
pthread-wmm/mix007_rmo.opt_false-unreach-call.i 1 24   11   210 4100 .033  0     
pthread-wmm/mix007_tso.oepc_false-unreach-call.i 1 16   4.3 130 2000 .033  0     
pthread-wmm/mix007_tso.opt_false-unreach-call.i 1 22   11   200 4100 .033  .016 
pthread-wmm/mix008_power.oepc_false-unreach-call.i 1 15   4.4 130 2000 .033  0     
pthread-wmm/mix008_power.opt_false-unreach-call.i 1 23   11   220 4100 .033  0     
pthread-wmm/mix008_pso.oepc_false-unreach-call.i 1 16   4.3 130 2000 .033  .016 
pthread-wmm/mix008_pso.opt_false-unreach-call.i 1 24   11   230 4100 .033  0     
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i 1 16   4.2 120 2000 .033  0     
pthread-wmm/mix008_rmo.opt_false-unreach-call.i 1 25   11   220 4100 .033  .0041
pthread-wmm/mix008_tso.oepc_false-unreach-call.i 1 66   50   700 5500 0      0     
pthread-wmm/mix008_tso.opt_false-unreach-call.i 1 23   11   240 4100 .033  0     
pthread-wmm/mix009_power.oepc_false-unreach-call.i 1 6.4 1.6 51 390 .033  0     
pthread-wmm/mix009_power.opt_false-unreach-call.i 1 6.6 1.7 46 420 .033  0     
pthread-wmm/mix009_pso.oepc_false-unreach-call.i 1 5.8 1.5 45 390 .033  0     
pthread-wmm/mix009_pso.opt_false-unreach-call.i 1 6.7 1.7 51 420 .033  0     
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i 1 5.9 1.6 48 380 .033  0     
pthread-wmm/mix009_rmo.opt_false-unreach-call.i 1 6.2 1.6 50 420 .033  0     
pthread-wmm/mix009_tso.oepc_false-unreach-call.i 1 5.7 1.6 49 380 .033  0     
pthread-wmm/mix009_tso.opt_false-unreach-call.i 1 6.4 1.6 51 410 .033  0     
pthread-wmm/mix010_power.oepc_false-unreach-call.i 1 7.7 2.0 60 530 .033  0     
pthread-wmm/mix010_power.opt_false-unreach-call.i 1 12   3.0 87 950 .033  0     
pthread-wmm/mix010_pso.oepc_false-unreach-call.i 1 7.6 1.9 54 530 .033  0     
pthread-wmm/mix010_pso.opt_false-unreach-call.i 1 11   2.8 77 940 .033  0     
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i 1 7.2 1.9 58 520 .033  0     
pthread-wmm/mix010_rmo.opt_false-unreach-call.i 1 12   3.2 97 970 .033  0     
pthread-wmm/mix010_tso.oepc_false-unreach-call.i 1 8.4 2.2 65 510 .033  0     
pthread-wmm/mix010_tso.opt_false-unreach-call.i 1 11   2.9 86 970 .033  0     
pthread-wmm/mix011_power.oepc_false-unreach-call.i 1 7.2 1.9 58 510 .033  0     
pthread-wmm/mix011_power.opt_false-unreach-call.i 1 12   3.0 99 960 .033  0     
pthread-wmm/mix011_pso.oepc_false-unreach-call.i 1 8.2 2.1 55 510 .033  0     
pthread-wmm/mix011_pso.opt_false-unreach-call.i 1 12   3.1 95 960 .033  0     
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i 1 8.4 2.1 68 540 .033  0     
pthread-wmm/mix011_rmo.opt_false-unreach-call.i 1 11   2.9 89 950 .033  0     
pthread-wmm/mix011_tso.oepc_false-unreach-call.i 1 7.8 2.0 61 510 .033  0     
pthread-wmm/mix011_tso.opt_false-unreach-call.i 1 12   3.2 100 940 .033  .46  
pthread-wmm/mix012_power.oepc_false-unreach-call.i 1 5.6 1.5 43 380 .033  0     
pthread-wmm/mix012_power.opt_false-unreach-call.i 1 5.8 1.6 48 370 .033  0     
pthread-wmm/mix012_pso.oepc_false-unreach-call.i 1 5.7 1.6 43 370 0      .045 
pthread-wmm/mix012_pso.opt_false-unreach-call.i 1 6.2 1.6 48 410 .033  0     
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i 1 5.8 1.6 40 380 .033  0     
pthread-wmm/mix012_rmo.opt_false-unreach-call.i 1 6.3 1.7 53 390 .033  0     
pthread-wmm/mix012_tso.oepc_false-unreach-call.i 1 5.5 1.5 43 370 .033  0     
pthread-wmm/mix012_tso.opt_false-unreach-call.i 1 5.8 1.5 43 400 .033  0     
pthread-wmm/mix013_power.oepc_false-unreach-call.i 1 15   3.9 110 1600 .033  0     
pthread-wmm/mix013_power.opt_false-unreach-call.i 1 25   10   200 4100 .033  0     
pthread-wmm/mix013_pso.oepc_false-unreach-call.i 1 16   4.4 120 1600 .033  0     
pthread-wmm/mix013_pso.opt_false-unreach-call.i 1 25   10   210 4100 .033  .0041
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i 1 16   4.0 120 1600 .033  0     
pthread-wmm/mix013_rmo.opt_false-unreach-call.i 1 23   9.4 200 4100 .033  0     
pthread-wmm/mix013_tso.oepc_false-unreach-call.i 1 14   3.8 110 1600 .033  0     
pthread-wmm/mix013_tso.opt_false-unreach-call.i 1 22   9.5 230 4100 .033  0     
pthread-wmm/mix014_power.oepc_false-unreach-call.i 1 19   4.9 140 1700 .033  0     
pthread-wmm/mix014_power.opt_false-unreach-call.i 1 25   12   270 4100 .033  0     
pthread-wmm/mix014_pso.oepc_false-unreach-call.i 1 14   3.9 110 1700 .033  0     
pthread-wmm/mix014_pso.opt_false-unreach-call.i 1 24   11   250 4100 .033  0     
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i 1 17   4.2 130 1700 .033  0     
pthread-wmm/mix014_rmo.opt_false-unreach-call.i 1 26   12   230 4100 .033  0     
pthread-wmm/mix014_tso.oepc_false-unreach-call.i 1 53   36   630 4500 0      0     
pthread-wmm/mix014_tso.opt_false-unreach-call.i 1 24   11   240 4100 .033  0     
pthread-wmm/mix015_power.oepc_false-unreach-call.i 1 7.3 1.9 54 500 .033  0     
pthread-wmm/mix015_power.opt_false-unreach-call.i 1 12   3.1 100 1100 .033  0     
pthread-wmm/mix015_pso.oepc_false-unreach-call.i 1 7.5 2.0 54 490 .033  0     
pthread-wmm/mix015_pso.opt_false-unreach-call.i 1 14   3.7 98 1100 .033  0     
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i 1 7.6 1.9 60 500 .033  0     
pthread-wmm/mix015_rmo.opt_false-unreach-call.i 1 15   3.8 110 1100 .033  0     
pthread-wmm/mix015_tso.oepc_false-unreach-call.i 1 7.3 1.9 55 500 .033  0     
pthread-wmm/mix015_tso.opt_false-unreach-call.i 1 15   4.0 120 1100 .033  0     
pthread-wmm/mix016_power.oepc_false-unreach-call.i 1 7.9 2.0 61 490 .033  0     
pthread-wmm/mix016_power.opt_false-unreach-call.i 1 8.2 2.0 65 620 .033  0     
pthread-wmm/mix016_pso.oepc_false-unreach-call.i 1 7.2 1.9 59 500 .033  0     
pthread-wmm/mix016_pso.opt_false-unreach-call.i 1 13   3.3 85 890 .033  0     
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i 1 7.2 1.9 57 480 .033  0     
pthread-wmm/mix016_rmo.opt_false-unreach-call.i 1 9.1 2.3 70 630 .033  0     
pthread-wmm/mix016_tso.oepc_false-unreach-call.i 1 7.1 1.9 60 500 .033  0     
pthread-wmm/mix016_tso.opt_false-unreach-call.i 1 11   2.7 90 880 .033  0     
pthread-wmm/mix017_power.oepc_false-unreach-call.i 1 15   3.9 120 1500 .033  0     
pthread-wmm/mix017_power.opt_false-unreach-call.i 1 18   5.7 150 2700 .033  0     
pthread-wmm/mix017_pso.oepc_false-unreach-call.i 1 15   3.8 110 1500 .033  0     
pthread-wmm/mix017_pso.opt_false-unreach-call.i 1 21   8.6 190 4100 .033  0     
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i 1 17   4.5 120 1500 .033  0     
pthread-wmm/mix017_rmo.opt_false-unreach-call.i 1 18   5.8 160 2700 0      0     
pthread-wmm/mix017_tso.oepc_false-unreach-call.i 1 16   4.1 120 1500 .033  0     
pthread-wmm/mix017_tso.opt_false-unreach-call.i 1 22   9.5 200 4100 .033  0     
pthread-wmm/mix018_power.oepc_false-unreach-call.i 1 15   3.8 120 1500 .033  0     
pthread-wmm/mix018_power.opt_false-unreach-call.i 1 21   8.5 190 4100 .033  .016 
pthread-wmm/mix018_pso.oepc_false-unreach-call.i 1 15   3.8 120 1500 .033  0     
pthread-wmm/mix018_pso.opt_false-unreach-call.i 1 21   8.6 200 4100 .033  0     
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i 1 15   3.7 130 1500 .033  0     
pthread-wmm/mix018_rmo.opt_false-unreach-call.i 1 22   8.4 200 4100 .033  0     
pthread-wmm/mix018_tso.oepc_false-unreach-call.i 1 15   4.4 120 2300 .033  0     
pthread-wmm/mix018_tso.opt_false-unreach-call.i 1 21   9.0 170 4100 .033  0     
pthread-wmm/mix019_power.oepc_false-unreach-call.i 1 8.0 2.0 60 490 .033  0     
pthread-wmm/mix019_power.opt_false-unreach-call.i 1 12   3.1 98 880 .033  0     
pthread-wmm/mix019_pso.oepc_false-unreach-call.i 1 7.8 2.0 59 500 .033  0     
pthread-wmm/mix019_pso.opt_false-unreach-call.i 1 11   2.8 89 870 .033  .0082
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i 1 7.4 1.9 54 510 .033  0     
pthread-wmm/mix019_rmo.opt_false-unreach-call.i 1 12   3.0 89 890 .033  0     
pthread-wmm/mix019_tso.oepc_false-unreach-call.i 1 7.5 1.9 55 530 .033  0     
pthread-wmm/mix019_tso.opt_false-unreach-call.i 1 11   2.9 92 890 .033  0     
pthread-wmm/mix020_power.oepc_false-unreach-call.i 1 15   3.8 120 1500 .033  0     
pthread-wmm/mix020_power.opt_false-unreach-call.i 1 24   8.6 200 4100 .033  0     
pthread-wmm/mix020_pso.oepc_false-unreach-call.i 1 14   3.6 110 1500 .033  0     
pthread-wmm/mix020_pso.opt_false-unreach-call.i 1 22   8.9 220 4200 .033  0     
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i 1 16   4.0 140 1500 0      0     
pthread-wmm/mix020_rmo.opt_false-unreach-call.i 1 21   8.4 210 4100 .033  0     
pthread-wmm/mix020_tso.oepc_false-unreach-call.i 1 15   3.6 110 1500 .033  0     
pthread-wmm/mix020_tso.opt_false-unreach-call.i 1 22   8.9 220 4100 .033  .016 
pthread-wmm/mix021_power.oepc_false-unreach-call.i 1 16   4.0 120 1500 .033  0     
pthread-wmm/mix021_power.opt_false-unreach-call.i 1 21   8.3 190 4100 .033  0     
pthread-wmm/mix021_pso.oepc_false-unreach-call.i 1 15   3.7 120 1500 .033  0     
pthread-wmm/mix021_pso.opt_false-unreach-call.i 1 21   8.4 170 4100 .033  0     
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i 1 18   4.6 130 1500 .033  0     
pthread-wmm/mix021_rmo.opt_false-unreach-call.i 1 24   9.2 190 4100 .033  0     
pthread-wmm/mix021_tso.oepc_false-unreach-call.i 1 15   3.8 120 1600 .033  0     
pthread-wmm/mix021_tso.opt_false-unreach-call.i 1 21   8.4 200 4100 .033  .016 
pthread-wmm/mix022_power.oepc_false-unreach-call.i 1 5.8 1.6 46 380 .033  0     
pthread-wmm/mix022_power.opt_false-unreach-call.i 1 5.6 1.6 39 360 .033  0     
pthread-wmm/mix022_pso.oepc_false-unreach-call.i 1 5.8 1.6 40 370 .033  0     
pthread-wmm/mix022_pso.opt_false-unreach-call.i 1 5.9 1.6 46 370 .033  0     
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i 1 5.9 1.6 47 370 .033  0     
pthread-wmm/mix022_rmo.opt_false-unreach-call.i 1 5.5 1.5 47 370 .033  0     
pthread-wmm/mix022_tso.oepc_false-unreach-call.i 1 6.4 1.7 46 410 .033  0     
pthread-wmm/mix022_tso.opt_false-unreach-call.i 1 7.2 1.9 59 400 .033  0     
pthread-wmm/mix023_power.oepc_false-unreach-call.i 1 18   5.0 150 2100 .033  .012 
pthread-wmm/mix023_power.opt_false-unreach-call.i 1 22   8.8 200 4200 .033  0     
pthread-wmm/mix023_pso.oepc_false-unreach-call.i 1 16   4.7 130 2100 .033  0     
pthread-wmm/mix023_pso.opt_false-unreach-call.i 1 21   8.8 180 4100 .033  0     
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i 1 19   5.4 150 2100 .033  0     
pthread-wmm/mix023_rmo.opt_false-unreach-call.i 1 26   10   230 4200 .033  0     
pthread-wmm/mix023_tso.oepc_false-unreach-call.i 1 72   55   970 5500 0      0     
pthread-wmm/mix023_tso.opt_false-unreach-call.i 1 74   54   770 5500 0      0     
pthread-wmm/mix024_power.oepc_false-unreach-call.i 1 8.2 2.1 63 540 .033  0     
pthread-wmm/mix024_power.opt_false-unreach-call.i 1 9.9 2.5 79 720 .033  0     
pthread-wmm/mix024_pso.oepc_false-unreach-call.i 1 8.6 2.2 68 540 .033  0     
pthread-wmm/mix024_pso.opt_false-unreach-call.i 1 8.4 2.2 56 720 .033  0     
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i 1 8.0 2.1 56 550 .033  0     
pthread-wmm/mix024_rmo.opt_false-unreach-call.i 1 8.6 2.2 70 720 .033  0     
pthread-wmm/mix024_tso.oepc_false-unreach-call.i 1 8.4 2.2 66 550 .033  .016 
pthread-wmm/mix024_tso.opt_false-unreach-call.i 1 8.1 2.0 67 530 .033  .20  
pthread-wmm/mix025_power.oepc_false-unreach-call.i 1 8.0 2.2 62 530 .033  0     
pthread-wmm/mix025_power.opt_false-unreach-call.i 1 9.6 2.5 73 580 .033  0     
pthread-wmm/mix025_pso.oepc_false-unreach-call.i 1 7.8 2.0 70 530 .033  0     
pthread-wmm/mix025_pso.opt_false-unreach-call.i 1 8.2 2.1 75 680 .033  0     
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i 1 7.8 2.0 59 520 .033  0     
pthread-wmm/mix025_rmo.opt_false-unreach-call.i 1 8.6 2.2 70 680 .033  0     
pthread-wmm/mix025_tso.oepc_false-unreach-call.i 1 8.1 2.1 67 540 .033  0     
pthread-wmm/mix025_tso.opt_false-unreach-call.i 1 8.0 2.1 65 530 .033  0     
pthread-wmm/mix026_power.oepc_false-unreach-call.i 1 17   4.6 130 1900 .033  0     
pthread-wmm/mix026_power.opt_false-unreach-call.i 1 18   7.2 160 4100 .033  .016 
pthread-wmm/mix026_pso.oepc_false-unreach-call.i 1 17   4.5 130 1900 .033  0     
pthread-wmm/mix026_pso.opt_false-unreach-call.i 1 19   6.9 180 3500 .033  .016 
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i 1 17   4.4 140 1900 .033  0     
pthread-wmm/mix026_rmo.opt_false-unreach-call.i 1 21   7.6 180 3500 .033  0     
pthread-wmm/mix026_tso.oepc_false-unreach-call.i 1 15   4.2 130 1900 .033  0     
pthread-wmm/mix026_tso.opt_false-unreach-call.i 1 18   7.1 180 4100 .033  0     
pthread-wmm/mix027_power.oepc_false-unreach-call.i 1 17   4.4 140 1900 .033  0     
pthread-wmm/mix027_power.opt_false-unreach-call.i 1 21   7.3 160 3500 .033  0     
pthread-wmm/mix027_pso.oepc_false-unreach-call.i 1 17   4.4 140 1900 .033  0     
pthread-wmm/mix027_pso.opt_false-unreach-call.i 1 20   6.8 170 3500 .033  0     
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i 1 15   4.2 120 1900 .033  0     
pthread-wmm/mix027_rmo.opt_false-unreach-call.i 1 19   6.9 160 3500 .033  0     
pthread-wmm/mix027_tso.oepc_false-unreach-call.i 1 17   5.5 140 3000 .033  0     
pthread-wmm/mix027_tso.opt_false-unreach-call.i 1 17   5.3 150 3000 .033  0     
pthread-wmm/mix028_power.oepc_false-unreach-call.i 1 7.9 2.0 58 520 .033  0     
pthread-wmm/mix028_power.opt_false-unreach-call.i 1 7.7 2.0 57 560 .033  0     
pthread-wmm/mix028_pso.oepc_false-unreach-call.i 1 7.6 2.0 58 540 .033  0     
pthread-wmm/mix028_pso.opt_false-unreach-call.i 1 7.5 1.9 53 550 .033  0     
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i 1 7.8 2.0 62 530 .033  0     
pthread-wmm/mix028_rmo.opt_false-unreach-call.i 1 8.0 2.1 57 550 .033  0     
pthread-wmm/mix028_tso.oepc_false-unreach-call.i 1 9.6 2.4 70 700 .033  0     
pthread-wmm/mix028_tso.opt_false-unreach-call.i 1 10   2.5 73 720 .033  0     
pthread-wmm/mix029_power.oepc_false-unreach-call.i 1 17   4.3 140 1900 .033  0     
pthread-wmm/mix029_power.opt_false-unreach-call.i 1 15   4.2 130 2100 .033  0     
pthread-wmm/mix029_pso.oepc_false-unreach-call.i 1 15   4.2 120 1900 .033  0     
pthread-wmm/mix029_pso.opt_false-unreach-call.i 1 15   4.4 110 2100 .033  0     
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i 1 18   4.8 130 1900 .033  0     
pthread-wmm/mix029_rmo.opt_false-unreach-call.i 1 15   4.3 140 2100 .033  0     
pthread-wmm/mix029_tso.oepc_false-unreach-call.i 1 18   4.5 150 1900 .033  0     
pthread-wmm/mix029_tso.opt_false-unreach-call.i 1 18   4.6 150 1900 .033  0     
pthread-wmm/mix030_power.oepc_false-unreach-call.i 1 17   5.0 130 1900 .033  0     
pthread-wmm/mix030_power.opt_false-unreach-call.i 1 17   4.8 130 2100 .033  .016 
pthread-wmm/mix030_pso.oepc_false-unreach-call.i 1 15   4.4 130 1900 .033  .016 
pthread-wmm/mix030_pso.opt_false-unreach-call.i 1 16   4.5 120 2100 .033  0     
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i 1 17   4.4 150 1900 .033  0     
pthread-wmm/mix030_rmo.opt_false-unreach-call.i 1 14   4.1 120 2100 .033  .049 
pthread-wmm/mix030_tso.oepc_false-unreach-call.i 1 18   6.2 150 3100 .033  0     
pthread-wmm/mix030_tso.opt_false-unreach-call.i 1 19   6.4 150 3100 .033  0     
pthread-wmm/mix031_power.oepc_false-unreach-call.i 1 5.9 1.6 42 380 .033  0     
pthread-wmm/mix031_power.opt_false-unreach-call.i 1 6.0 1.6 46 380 .033  .029 
pthread-wmm/mix031_pso.oepc_false-unreach-call.i 1 5.8 1.6 41 380 .033  0     
pthread-wmm/mix031_pso.opt_false-unreach-call.i 1 5.7 1.5 48 380 .033  0     
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i 1 7.1 1.9 52 380 .033  0     
pthread-wmm/mix031_rmo.opt_false-unreach-call.i 1 5.6 1.5 43 380 .033  0     
pthread-wmm/mix031_tso.oepc_false-unreach-call.i 1 6.4 1.6 45 400 .033  0     
pthread-wmm/mix031_tso.opt_false-unreach-call.i 1 5.9 1.5 44 370 .033  0     
pthread-wmm/mix032_power.oepc_false-unreach-call.i 1 7.6 1.9 60 520 .033  0     
pthread-wmm/mix032_power.opt_false-unreach-call.i 1 8.4 2.2 66 610 .033  0     
pthread-wmm/mix032_pso.oepc_false-unreach-call.i 1 9.0 2.4 65 530 .033  0     
pthread-wmm/mix032_pso.opt_false-unreach-call.i 1 9.3 2.4 72 620 .033  0     
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i 1 7.7 2.0 65 530 .033  0     
pthread-wmm/mix032_rmo.opt_false-unreach-call.i 1 9.1 2.4 69 610 .033  0     
pthread-wmm/mix032_tso.oepc_false-unreach-call.i 1 8.0 2.0 58 520 .033  0     
pthread-wmm/mix032_tso.opt_false-unreach-call.i 1 8.5 2.2 61 610 .033  .016 
pthread-wmm/mix033_power.oepc_false-unreach-call.i 1 8.3 2.1 69 520 .033  0     
pthread-wmm/mix033_power.opt_false-unreach-call.i 1 8.4 2.2 60 600 .033  0     
pthread-wmm/mix033_pso.oepc_false-unreach-call.i 1 8.0 2.1 55 540 .033  0     
pthread-wmm/mix033_pso.opt_false-unreach-call.i 1 8.8 2.2 66 600 .033  0     
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i 1 7.6 1.9 60 520 .033  0     
pthread-wmm/mix033_rmo.opt_false-unreach-call.i 1 8.5 2.2 61 590 .033  0     
pthread-wmm/mix033_tso.oepc_false-unreach-call.i 1 8.8 2.3 68 540 .033  0     
pthread-wmm/mix033_tso.opt_false-unreach-call.i 1 8.8 2.2 66 610 .033  0     
pthread-wmm/mix034_power.oepc_false-unreach-call.i 1 5.8 1.5 46 380 .033  .39  
pthread-wmm/mix034_power.opt_false-unreach-call.i 1 5.9 1.6 45 370 .033  0     
pthread-wmm/mix034_pso.oepc_false-unreach-call.i 1 5.9 1.6 42 380 .033  0     
pthread-wmm/mix034_pso.opt_false-unreach-call.i 1 6.0 1.6 47 380 .033  0