Tool CPAchecker 1.6.1-svn 24048
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-13 05:30:26 CET
Run set sv-comp17
Options -sv-comp17 -heap 10000M -disable-java-assertions
../../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 error 0 wit inspect 4.9 1.7 39 420 0      0     - - - -
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 6.8 2.1 55 440 0      0     - - - -
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 8.0 2.3 57 520 0      0     - - - -
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 550   530   3100 3800 0      0     - - - -
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect 4.5 1.5 35 300 0      0     - - - -
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect 7.1 2.1 47 460 0      0     - - - -
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 8.4 2.5 61 460 0      0     - - - -
pthread/queue_longest_false-unreach-call.i exception 0 wit inspect 7.8 2.4 59 460 0      0     - - - -
pthread/reorder_2_false-unreach-call.i error 0 wit inspect 5.8 1.9 46 450 0      0     - - - -
pthread/reorder_5_false-unreach-call.i error 0 wit inspect 6.0 1.8 53 440 0      0     - - - -
pthread/sigma_false-unreach-call.i error 0 wit inspect 5.6 1.7 42 440 0      0     - - - -
pthread/singleton_false-unreach-call.i error 0 wit inspect 4.8 1.6 35 410 0      0     - - - -
pthread/stack_false-unreach-call.i error 0 wit inspect 5.9 1.8 39 440 0      0     - - - -
pthread/stack_longer_false-unreach-call.i error 0 wit inspect 97   88   830 710 0      0     - - - -
pthread/stack_longest_false-unreach-call.i error 0 wit inspect 400   390   2600 1100 0      0     - - - -
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect 4.4 1.5 35 290 0      0     - - - -
pthread/twostage_3_false-unreach-call.i error 0 wit inspect 6.1 1.8 47 450 0      0     - - - -
pthread/bigshot_s2_true-unreach-call.i error 0 wit inspect 4.8 1.6 40 420 0      0     - - - -
pthread/bigshot_s_true-unreach-call.i error 0 wit inspect 4.7 1.6 38 420 0      0     - - - -
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 8.0 2.4 55 520 .0082 0     - - - -
pthread/fib_bench_longest_true-unreach-call.i timeout 0 wit inspect 920   860   5900 3200 0      0     - - - -
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 28   8.1 30 410 .0082 0     - - - -
pthread/indexer_true-unreach-call.i error 0 wit inspect 7.2 2.0 54 470 0      0     - - - -
pthread/queue_ok_longer_true-unreach-call.i error 0 wit inspect 12   3.3 100 660 0      0     - - - -
pthread/queue_ok_longest_true-unreach-call.i exception 0 wit inspect 7.1 2.3 65 460 0      0     - - - -
pthread/queue_ok_true-unreach-call.i error 0 wit inspect 7.0 2.1 57 470 0      0     - - - -
pthread/singleton_with-uninit-problems_true-unreach-call.i error 0 wit inspect 5.0 1.6 40 420 0      0     - - - -
pthread/stack_longer_true-unreach-call.i error 0 wit inspect 96   85   590 740 0      0     - - - -
pthread/stack_longest_true-unreach-call.i error 0 wit inspect 420   410   2100 1100 0      0     - - - -
pthread/stack_true-unreach-call.i error 0 wit inspect 5.8 1.8 52 440 0      0     - - - -
pthread/stateful01_true-unreach-call.i true 2 wit inspect 4.7 1.6 37 300 .0082 0     - - - -
pthread/sync01_true-unreach-call.i true 2 wit inspect 5.3 1.7 40 440 .0082 0     - - - -
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect 9.6 2.7 76 570 0      0     - - - -
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect 14   3.7 100 760 0      0     - - - -
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect 5.0 1.7 36 330 .0082 0     - - - -
pthread-atomic/gcd_true-unreach-call_true-termination.i false(unreach-call) -16 wit inspect 5.5 1.7 39 350 0      0     - - - -
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect 6.0 1.8 41 390 .0082 0     - - - -
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect 4.6 1.5 34 330 .0082 0     - - - -
pthread-atomic/qrcu_true-unreach-call.i false(unreach-call) -16 wit inspect 9.5 2.6 79 570 0      0     - - - -
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 10   2.9 78 560 .0082 0     - - - -
pthread-atomic/scull_true-unreach-call.i true 2 wit inspect 40   26   270 1700 .0082 0     - - - -
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 5.4 1.7 38 340 .0082 0     - - - -
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 4.8 1.7 39 320 .0082 0     - - - -
pthread-ext/25_stack_longer_false-unreach-call.i error 0 wit inspect 5.5 1.7 39 470 0      0     - - - -
pthread-ext/25_stack_longest_false-unreach-call.i error 0 wit inspect 5.8 1.9 42 480 0      0     - - - -
pthread-ext/26_stack_cas_longer_false-unreach-call.i error 0 wit inspect 5.4 1.8 43 460 0      0     - - - -
pthread-ext/26_stack_cas_longest_false-unreach-call.i error 0 wit inspect 6.4 2.0 46 460 0      0     - - - -
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error 0 wit inspect 4.9 1.6 36 320 0      0     - - - -
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error 0 wit inspect 4.8 1.6 40 320 0      0     - - - -
pthread-ext/32_pthread5_vs_false-unreach-call.i error 0 wit inspect 4.9 1.6 37 340 0      0     - - - -
pthread-ext/40_barrier_vf_false-unreach-call.i error 0 wit inspect 4.5 1.5 35 310 0      0     - - - -
pthread-ext/01_inc_true-unreach-call.i error 0 wit inspect 4.6 1.6 36 320 0      0     - - - -
pthread-ext/02_inc_cas_true-unreach-call.i error 0 wit inspect 4.5 1.5 36 310 0      0     - - - -
pthread-ext/03_incdec_true-unreach-call.i error 0 wit inspect 4.8 1.6 38 340 0      0     - - - -
pthread-ext/04_incdec_cas_true-unreach-call.i error 0 wit inspect 5.0 1.7 42 380 0      0     - - - -
pthread-ext/05_tas_true-unreach-call.i error 0 wit inspect 4.8 1.6 42 330 0      0     - - - -
pthread-ext/06_ticket_true-unreach-call.i error 0 wit inspect 4.7 1.6 40 330 0      0     - - - -
pthread-ext/07_rand_true-unreach-call.i error 0 wit inspect 4.8 1.6 41 340 0      0     - - - -
pthread-ext/08_rand_cas_true-unreach-call.i error 0 wit inspect 5.4 1.7 41 390 0      0     - - - -
pthread-ext/09_fmaxsym_true-unreach-call.i error 0 wit inspect 4.7 1.6 38 330 0      0     - - - -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error 0 wit inspect 4.9 1.7 38 340 0      0     - - - -
pthread-ext/11_fmaxsymopt_true-unreach-call.i error 0 wit inspect 4.9 1.6 41 320 0      0     - - - -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error 0 wit inspect 4.9 1.6 38 330 0      0     - - - -
pthread-ext/13_unverif_true-unreach-call.i error 0 wit inspect 4.4 1.5 38 300 0      0     - - - -
pthread-ext/14_spin2003_true-unreach-call.i error 0 wit inspect 4.3 1.5 38 300 0      0     - - - -
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect 4.9 1.6 40 330 .0082 0     - - - -
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect 4.8 1.6 36 320 .0082 0     - - - -
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect 5.3 1.7 41 380 .0082 0     - - - -
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect 4.4 1.5 36 300 .0082 0     - - - -
pthread-ext/19_time_var_mutex_true-unreach-call.i false(unreach-call) -16 wit inspect 5.1 1.6 46 350 0      0     - - - -
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 5.7 1.7 47 400 .012  0     - - - -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect 4.7 1.5 39 350 .012  0     - - - -
pthread-ext/25_stack_longer_true-unreach-call.i error 0 wit inspect 5.7 1.8 47 430 0      0     - - - -
pthread-ext/25_stack_longest_true-unreach-call.i error 0 wit inspect 5.9 1.9 48 470 0      0     - - - -
pthread-ext/25_stack_true-unreach-call.i error 0 wit inspect 5.3 1.7 44 420 0      0     - - - -
pthread-ext/26_stack_cas_longer_true-unreach-call.i error 0 wit inspect 5.8 1.9 50 470 0      0     - - - -
pthread-ext/26_stack_cas_longest_true-unreach-call.i error 0 wit inspect 6.3 2.0 48 440 0      0     - - - -
pthread-ext/26_stack_cas_true-unreach-call.i error 0 wit inspect 6.2 1.9 50 460 0      0     - - - -
pthread-ext/29_conditionals_vs_true-unreach-call.i error 0 wit inspect 4.6 1.5 40 310 0      0     - - - -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error 0 wit inspect 5.0 1.7 44 320 0      0     - - - -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error 0 wit inspect 4.8 1.6 40 310 0      0     - - - -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error 0 wit inspect 5.2 1.7 42 340 0      0     - - - -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error 0 wit inspect 5.1 1.7 42 350 0      0     - - - -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error 0 wit inspect 4.8 1.6 37 330 0      0     - - - -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error 0 wit inspect 4.7 1.5 37 350 0      0     - - - -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error 0 wit inspect 4.8 1.6 35 330 0      0     - - - -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error 0 wit inspect 4.8 1.6 44 350 0      0     - - - -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error 0 wit inspect 4.6 1.5 37 320 0      0     - - - -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error 0 wit inspect 5.1 1.6 36 410 0      0     - - - -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error 0 wit inspect 5.7 1.8 46 440 0      0     - - - -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error 0 wit inspect 7.1 2.2 57 460 0      0     - - - -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error 0 wit inspect 6.7 2.0 54 440 0      0     - - - -
pthread-ext/45_monabsex1_vs_true-unreach-call.i error 0 wit inspect 4.2 1.5 33 310 0      0     - - - -
pthread-ext/46_monabsex2_vs_true-unreach-call.i error 0 wit inspect 4.0 1.4 36 300 0      0     - - - -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error 0 wit inspect 95   88   1100 2300 0      0     - - - -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error 0 wit inspect 4.9 1.6 43 330 0      0     - - - -
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.3 120 800 0      0     - - - -
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   3.9 98 600 0      0     - - - -
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.4 110 750 0      0     - - - -
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.7 97 600 0      0     - - - -
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.2 110 800 0      0     - - - -
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.0 100 610 0      0     - - - -
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.2 110 790 0      0     - - - -
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 15   4.1 110 590 0      0     - - - -
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22   9.2 180 1000 0      0     - - - -
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43   26   300 1800 0      0     - - - -
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22   8.8 160 1100 0      0     - - - -
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39   24   310 1700 0      0     - - - -
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21   8.7 150 1100 0      0     - - - -
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 45   27   360 1900 0      0     - - - -
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23   9.0 150 1100 0      0     - - - -
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43   27   290 1900 0      0     - - - -
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.3 130 820 0      0     - - - -
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47   30   350 2000 0      0     - - - -
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.7 140 800 0      0     - - - -
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40   26   280 1700 0      0     - - - -
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.3 130 830 0      0     - - - -
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   28   270 1900 0      0     - - - -
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.7 130 860 0      0     - - - -
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 45   29   330 2100 0      0     - - - -
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.8 130 840 0      0     - - - -
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39   25   290 1700 0      0     - - - -
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20   5.7 150 800 0      0     - - - -
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 45   28   270 1800 0      0     - - - -
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.6 130 850 0      0     - - - -
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 39   24   250 1700 0      0     - - - -
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 40   25   280 1700 0      0     - - - -
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40   25   260 1700 0      0     - - - -
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.1 120 830 0      0     - - - -
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   24   350 1700 0      0     - - - -
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   190 1500 0      0     - - - -
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1300 4400 0      0     - - - -
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27   15   200 1400 0      0     - - - -
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1800 4400 0      0     - - - -
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   180 1300 0      0     - - - -
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1500 4400 0      0     - - - -
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27   14   190 1300 0      0     - - - -
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1600 4500 0      0     - - - -
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   15   190 1500 0      0     - - - -
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   2000 4500 0      0     - - - -
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   190 1400 0      0     - - - -
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1500 4400 0      0     - - - -
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   200 1300 0      0     - - - -
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   160   1600 4400 0      0     - - - -
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 93   62   550 3600 0      0     - - - -
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1600 4400 0      0     - - - -
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.4 130 810 0      0     - - - -
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 48   31   270 1900 0      0     - - - -
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.1 130 870 0      0     - - - -
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49   31   390 2000 0      0     - - - -
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.4 130 890 0      0     - - - -
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 52   35   330 2100 0      0     - - - -
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 180   150   1000 3700 0      0     - - - -
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49   32   310 1900 0      0     - - - -
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   18   200 1500 0      0     - - - -
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 310   230   1700 4500 0      0     - - - -
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31   18   210 1600 0      0     - - - -
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   220   1900 4500 0      0     - - - -
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33   18   210 1500 0      0     - - - -
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   230   1700 4500 0      0     - - - -
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   18   240 1600 0      0     - - - -
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 320   240   1800 4500 0      0     - - - -
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31   17   250 1500 0      0     - - - -
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   220   2100 4500 0      0     - - - -
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31   18   220 1600 0      0     - - - -
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   220   1600 4400 0      0     - - - -
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   18   220 1600 0      0     - - - -
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 310   230   2100 4500 0      0     - - - -
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900   810   5300 4200 0      0     - - - -
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 310   230   2100 4400 0      0     - - - -
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.2 96 580 0      0     - - - -
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.1 120 630 0      0     - - - -
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.1 83 610 0      0     - - - -
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   4.0 100 620 0      0     - - - -
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.2 79 610 0      0     - - - -
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 53   15   51 600 0      0     - - - -
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.2 82 620 0      0     - - - -
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 14   3.8 110 630 0      0     - - - -
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19   6.0 130 800 0      0     - - - -
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   26   310 1900 0      0     - - - -
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.8 120 840 0      0     - - - -
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   25   260 1800 0      0     - - - -
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.7 130 820 0      0     - - - -
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   26   260 1800 0      0     - - - -
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.4 130 810 0      0     - - - -
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43   27   270 1800 0      0     - - - -
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.5 130 880 0      0     - - - -
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   64   230 1600 0      0     - - - -
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.3 120 800 0      0     - - - -
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   26   280 1800 0      0     - - - -
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.7 110 830 0      0     - - - -
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44   28   280 1900 0      0     - - - -
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24   12   180 1300 0      0     - - - -
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43   28   290 1800 0      0     - - - -
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 79 600 0      0     - - - -
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 74 600 0      0     - - - -
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   2.9 80 600 0      0     - - - -
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.8 96 580 0      0     - - - -
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.8 2.8 82 620 0      0     - - - -
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.3 85 610 0      0     - - - -
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 9.8 2.7 79 590 0      0     - - - -
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.8 100 570 0      0     - - - -
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   15   220 1400 0      0     - - - -
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 260   190   1600 4400 0      0     - - - -
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   180 1500 0      0     - - - -
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1500 4400 0      0     - - - -
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   180 1300 0      0     - - - -
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1900 4300 0      0     - - - -
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   190 1500 0      0     - - - -
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 260   180   1200 4400 0      0     - - - -
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33   19   250 1700 0      0     - - - -
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 300   220   1500 4500 0      0     - - - -
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   17   210 1500 0      0     - - - -
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290   220   1900 4500 0      0     - - - -
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   19   220 1600 0      0     - - - -
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290   220   1500 4500 0      0     - - - -
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 480   410   3200 4100 0      0     - - - -
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 270   200   2200 4500 0      0     - - - -
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.1 120 840 0      0     - - - -
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   26   280 1800 0      0     - - - -
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.3 120 850 0      0     - - - -
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   26   310 1800 0      0     - - - -
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.4 120 810 0      0     - - - -
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 46   27   260 1800 0      0     - - - -
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.2 130 860 0      0     - - - -
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   25   340 1800 0      0     - - - -
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   4.8 120 820 0      0     - - - -
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23   10   150 1200 0      0     - - - -
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   4.9 110 810 0      0     - - - -
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42   25   250 1700 0      0     - - - -
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.1 110 860 0      0     - - - -
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24   11   170 1300 0      0     - - - -
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.1 130 740 0      0     - - - -
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   25   240 1700 0      0     - - - -
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   170 1300 0      0     - - - -
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   75   780 4200 0      0     - - - -
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   13   210 1300 0      0     - - - -
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1400 4400 0      0     - - - -
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   200 1400 0      0     - - - -
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   76   730 4000 0      0     - - - -
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   14   180 1300 0      0     - - - -
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   180   1400 4100 0      0     - - - -
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   210 1300 0      0     - - - -
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1600 4400 0      0     - - - -
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   190 1400 0      0     - - - -
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1400 4400 0      0     - - - -
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26   13   180 1200 0      0     - - - -
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   170   1300 4400 0      0     - - - -
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 83   54   470 3300 0      0     - - - -
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   170   1400 4400 0      0     - - - -
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.5 120 840 0      0     - - - -
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   25   250 1700 0      0     - - - -
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.1 110 840 0      0     - - - -
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38   24   270 1900 0      0     - - - -
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.1 130 840 0      0     - - - -
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41   25   250 1800 0      0     - - - -
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25   11   180 1200 0      0     - - - -
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40   25   310 1800 0      0     - - - -
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26   13   200 1300 0      0     - - - -
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   160   1600 4500 0      0     - - - -
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   190 1400 0      0     - - - -
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   170   1600 4400 0      0     - - - -
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   200 1300 0      0     - - - -
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 240   180   1600 4400 0      0     - - - -
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   180 1400 0      0     - - - -
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 250   180   1400 4400 0      0     - - - -
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27   14   200 1400 0      0     - - - -
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   160   1500 4400 0      0     - - - -
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27   13   170 1300 0      0     - - - -
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 220   170   1500 4100 0      0     - - - -
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27   14   210 1300 0      0     - - - -
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   170   1400 4100 0      0     - - - -
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 130   98   790 4000 0      0     - - - -
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230   170   1300 4400 0      0     - - - -
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.1 86 600 0      0     - - - -
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 77 610 0      0     - - - -
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.1 86 620 0      0     - - - -
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.3 85 590 0      0     - - - -
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.0 85 610 0      0     - - - -
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.2 78 600 0      0     - - - -
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.8 110 600 0      0     - - - -
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 13   3.8 110 600 0      0     - - - -
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 38   23   250 1800 0      0     - - - -
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 160   100   1100 4100 0      0     - - - -
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34   21   250 1700 0      0     - - - -
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 160   100   1000 4100 0      0     - - - -
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35   21   230 1600 0      0     - - - -
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 480   300   730 4200 0      0     - - - -
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 0 wit inspect 900   820   4900 4100 0      0     - - - -
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 0 wit inspect 910   810   6400 4300 0      0     - - - -
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.2 130 770 0      0     - - - -
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24   12   200 1400 0      0     - - - -
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.0 130 840 0      0     - - - -
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24   12   190 1400 0      0     - - - -
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.8 140 790 0      0     - - - -
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   170 1300 0      0     - - - -
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19   6.1 120 830 0      0     - - - -
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.0 130 800 0      0     - - - -
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.7 130 810 0      0     - - - -
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.3 130 820 0      0     - - - -
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.6 120 890 0      0     - - - -
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23   11   160 1300 0      0     - - - -
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.7 120 870 0      0     - - - -
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24   11   170 1200 0      0     - - - -
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.8 120 810 0      0     - - - -
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.4 140 910 0      0     - - - -
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   240 1400 0      0     - - - -
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 76   47   510 3500 0      0     - - - -
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   190 1400 0      0     - - - -
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   78   920 4100 0      0     - - - -
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   15   200 1300 0      0     - - - -
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   78   760 4000 0      0     - - - -
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   15   200 1400 0      0     - - - -
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 77   46   650 3500 0      0     - - - -
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   14   200 1400 0      0     - - - -
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   80   800 4100 0      0     - - - -
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32   16   230 1500 0      0     - - - -
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130   80   1000 4000 0      0     - - - -
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   190 1400 0      0     - - - -
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130   79   1000 4100 0      0     - - - -
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 99   69   700 3700 0      0     - - - -
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 92   64   610 3700 0      0     - - - -
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.6 120 860 0      0     - - - -
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27   13   170 1300 0      0     - - - -
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.8 110 820 0      0     - - - -
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27   14   180 1400 0      0     - - - -
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.0 120 820 0      0     - - - -
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25   12   170 1400 0      0     - - - -
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 40   24   250 1700 0      0     - - - -
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37   23   290 1700 0      0     - - - -
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   16   230 1500 0      0     - - - -
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120   84   810 3900 0      0     - - - -
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   15   190 1400 0      0     - - - -
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130   87   820 4000 0      0     - - - -
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29   16   200 1400 0      0     - - - -
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 390   260   980 4100 0      0     - - - -
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   210 1400 0      0     - - - -
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28   15   200 1400 0      0     - - - -
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 93   42   120 1300 0      0     - - - -
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140   100   1100 4000 0      0     - - - -
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31   16   180 1400 0      0     - - - -
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130   91   860 4100 0      0     - - - -
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30   15   210 1400 0      0     - - - -
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130   88   1100 4200 0      0     - - - -
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 220   160   1200 4500 0      0     - - - -
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 210   160   1300 4100 0      0     - - - -
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 11   3.2 96 580 0      0     - - - -
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 82 570 0      0     - - - -
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.3 84 600 0      0     - - - -
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 12   3.3 92 630 0      0     - - - -
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 84 600 0      0     - - - -
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.8 74 610 0      0     - - - -
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 10   2.9 93 620 0      0     - - - -
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 9.7 2.8 72 570 0      0     - - - -
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 17   5.5 140 830 0      0     - - - -
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21   7.8 140 960 0      0     - - - -
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   6.1 130 840 0      0     - - - -
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20   7.8 160 1000 0      0     - - - -
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.4 110 800 0      0     - - - -
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21   7.7 140 960 0      0     - - - -
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.6 130 870 0      0     - - - -
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21   8.0 160 1000 0      0     - - - -
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 18   5.6 140 850 0      0     - - - -
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21   7.9 140 990 0      0     - - - -
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 16   5.6 130 880 0      0     - - - -
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 19   7.4 140 980 0      0     - - - -
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 19   6.3 140 840 0      0     - - - -
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20   7.6 160 1000 0      0     - - - -
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24   12   190 1300 0      0     - - - -
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20   7.5 140 1000 0      0     - - - -