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