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