<
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 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 4.9 1.7 39 420 0      0     - - - -
pthread/fib_bench_false-unreach-call.i false(unreach-call) 6.8 2.1 55 440 0      0     - - - -
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 8.0 2.3 57 520 0      0     - - - -
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 550   530   3100 3800 0      0     - - - -
pthread/lazy01_false-unreach-call.i false(unreach-call) 4.5 1.5 35 300 0      0     - - - -
pthread/queue_false-unreach-call.i false(unreach-call) 7.1 2.1 47 460 0      0     - - - -
pthread/queue_longer_false-unreach-call.i false(unreach-call) 8.4 2.5 61 460 0      0     - - - -
pthread/queue_longest_false-unreach-call.i exception 7.8 2.4 59 460 0      0     - - - -
pthread/reorder_2_false-unreach-call.i error 5.8 1.9 46 450 0      0     - - - -
pthread/reorder_5_false-unreach-call.i error 6.0 1.8 53 440 0      0     - - - -
pthread/sigma_false-unreach-call.i error 5.6 1.7 42 440 0      0     - - - -
pthread/singleton_false-unreach-call.i error 4.8 1.6 35 410 0      0     - - - -
pthread/stack_false-unreach-call.i error 5.9 1.8 39 440 0      0     - - - -
pthread/stack_longer_false-unreach-call.i error 97   88   830 710 0      0     - - - -
pthread/stack_longest_false-unreach-call.i error 400   390   2600 1100 0      0     - - - -
pthread/stateful01_false-unreach-call.i false(unreach-call) 4.4 1.5 35 290 0      0     - - - -
pthread/twostage_3_false-unreach-call.i error 6.1 1.8 47 450 0      0     - - - -
pthread/bigshot_s2_true-unreach-call.i error 4.8 1.6 40 420 0      0     - - - -
pthread/bigshot_s_true-unreach-call.i error 4.7 1.6 38 420 0      0     - - - -
pthread/fib_bench_longer_true-unreach-call.i true 8.0 2.4 55 520 .0082 0     - - - -
pthread/fib_bench_longest_true-unreach-call.i timeout 920   860   5900 3200 0      0     - - - -
pthread/fib_bench_true-unreach-call.i true 28   8.1 30 410 .0082 0     - - - -
pthread/indexer_true-unreach-call.i error 7.2 2.0 54 470 0      0     - - - -
pthread/queue_ok_longer_true-unreach-call.i error 12   3.3 100 660 0      0     - - - -
pthread/queue_ok_longest_true-unreach-call.i exception 7.1 2.3 65 460 0      0     - - - -
pthread/queue_ok_true-unreach-call.i error 7.0 2.1 57 470 0      0     - - - -
pthread/singleton_with-uninit-problems_true-unreach-call.i error 5.0 1.6 40 420 0      0     - - - -
pthread/stack_longer_true-unreach-call.i error 96   85   590 740 0      0     - - - -
pthread/stack_longest_true-unreach-call.i error 420   410   2100 1100 0      0     - - - -
pthread/stack_true-unreach-call.i error 5.8 1.8 52 440 0      0     - - - -
pthread/stateful01_true-unreach-call.i true 4.7 1.6 37 300 .0082 0     - - - -
pthread/sync01_true-unreach-call.i true 5.3 1.7 40 440 .0082 0     - - - -
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 9.6 2.7 76 570 0      0     - - - -
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 14   3.7 100 760 0      0     - - - -
pthread-atomic/dekker_true-unreach-call.i true 5.0 1.7 36 330 .0082 0     - - - -
pthread-atomic/gcd_true-unreach-call_true-termination.i false(unreach-call) 5.5 1.7 39 350 0      0     - - - -
pthread-atomic/lamport_true-unreach-call.i true 6.0 1.8 41 390 .0082 0     - - - -
pthread-atomic/peterson_true-unreach-call.i true 4.6 1.5 34 330 .0082 0     - - - -
pthread-atomic/qrcu_true-unreach-call.i false(unreach-call) 9.5 2.6 79 570 0      0     - - - -
pthread-atomic/read_write_lock_true-unreach-call.i true 10   2.9 78 560 .0082 0     - - - -
pthread-atomic/scull_true-unreach-call.i true 40   26   270 1700 .0082 0     - - - -
pthread-atomic/szymanski_true-unreach-call.i true 5.4 1.7 38 340 .0082 0     - - - -
pthread-atomic/time_var_mutex_true-unreach-call.i true 4.8 1.7 39 320 .0082 0     - - - -
pthread-ext/25_stack_longer_false-unreach-call.i error 5.5 1.7 39 470 0      0     - - - -
pthread-ext/25_stack_longest_false-unreach-call.i error 5.8 1.9 42 480 0      0     - - - -
pthread-ext/26_stack_cas_longer_false-unreach-call.i error 5.4 1.8 43 460 0      0     - - - -
pthread-ext/26_stack_cas_longest_false-unreach-call.i error 6.4 2.0 46 460 0      0     - - - -
pthread-ext/27_Boop_simple_vf_false-unreach-call.i error 4.9 1.6 36 320 0      0     - - - -
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i error 4.8 1.6 40 320 0      0     - - - -
pthread-ext/32_pthread5_vs_false-unreach-call.i error 4.9 1.6 37 340 0      0     - - - -
pthread-ext/40_barrier_vf_false-unreach-call.i error 4.5 1.5 35 310 0      0     - - - -
pthread-ext/01_inc_true-unreach-call.i error 4.6 1.6 36 320 0      0     - - - -
pthread-ext/02_inc_cas_true-unreach-call.i error 4.5 1.5 36 310 0      0     - - - -
pthread-ext/03_incdec_true-unreach-call.i error 4.8 1.6 38 340 0      0     - - - -
pthread-ext/04_incdec_cas_true-unreach-call.i error 5.0 1.7 42 380 0      0     - - - -
pthread-ext/05_tas_true-unreach-call.i error 4.8 1.6 42 330 0      0     - - - -
pthread-ext/06_ticket_true-unreach-call.i error 4.7 1.6 40 330 0      0     - - - -
pthread-ext/07_rand_true-unreach-call.i error 4.8 1.6 41 340 0      0     - - - -
pthread-ext/08_rand_cas_true-unreach-call.i error 5.4 1.7 41 390 0      0     - - - -
pthread-ext/09_fmaxsym_true-unreach-call.i error 4.7 1.6 38 330 0      0     - - - -
pthread-ext/10_fmaxsym_cas_true-unreach-call.i error 4.9 1.7 38 340 0      0     - - - -
pthread-ext/11_fmaxsymopt_true-unreach-call.i error 4.9 1.6 41 320 0      0     - - - -
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i error 4.9 1.6 38 330 0      0     - - - -
pthread-ext/13_unverif_true-unreach-call.i error 4.4 1.5 38 300 0      0     - - - -
pthread-ext/14_spin2003_true-unreach-call.i error 4.3 1.5 38 300 0      0     - - - -
pthread-ext/15_dekker_true-unreach-call.i true 4.9 1.6 40 330 .0082 0     - - - -
pthread-ext/16_peterson_true-unreach-call.i true 4.8 1.6 36 320 .0082 0     - - - -
pthread-ext/17_szymanski_true-unreach-call.i true 5.3 1.7 41 380 .0082 0     - - - -
pthread-ext/18_read_write_lock_true-unreach-call.i true 4.4 1.5 36 300 .0082 0     - - - -
pthread-ext/19_time_var_mutex_true-unreach-call.i false(unreach-call) 5.1 1.6 46 350 0      0     - - - -
pthread-ext/20_lamport_true-unreach-call.i true 5.7 1.7 47 400 .012  0     - - - -
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 4.7 1.5 39 350 .012  0     - - - -
pthread-ext/25_stack_longer_true-unreach-call.i error 5.7 1.8 47 430 0      0     - - - -
pthread-ext/25_stack_longest_true-unreach-call.i error 5.9 1.9 48 470 0      0     - - - -
pthread-ext/25_stack_true-unreach-call.i error 5.3 1.7 44 420 0      0     - - - -
pthread-ext/26_stack_cas_longer_true-unreach-call.i error 5.8 1.9 50 470 0      0     - - - -
pthread-ext/26_stack_cas_longest_true-unreach-call.i error 6.3 2.0 48 440 0      0     - - - -
pthread-ext/26_stack_cas_true-unreach-call.i error 6.2 1.9 50 460 0      0     - - - -
pthread-ext/29_conditionals_vs_true-unreach-call.i error 4.6 1.5 40 310 0      0     - - - -
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i error 5.0 1.7 44 320 0      0     - - - -
pthread-ext/31_simple_loop5_vs_true-unreach-call.i error 4.8 1.6 40 310 0      0     - - - -
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i error 5.2 1.7 42 340 0      0     - - - -
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i error 5.1 1.7 42 350 0      0     - - - -
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i error 4.8 1.6 37 330 0      0     - - - -
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i error 4.7 1.5 37 350 0      0     - - - -
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i error 4.8 1.6 35 330 0      0     - - - -
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i error 4.8 1.6 44 350 0      0     - - - -
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i error 4.6 1.5 37 320 0      0     - - - -
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i error 5.1 1.6 36 410 0      0     - - - -
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i error 5.7 1.8 46 440 0      0     - - - -
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i error 7.1 2.2 57 460 0      0     - - - -
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i error 6.7 2.0 54 440 0      0     - - - -
pthread-ext/45_monabsex1_vs_true-unreach-call.i error 4.2 1.5 33 310 0      0     - - - -
pthread-ext/46_monabsex2_vs_true-unreach-call.i error 4.0 1.4 36 300 0      0     - - - -
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i error 95   88   1100 2300 0      0     - - - -
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i error 4.9 1.6 43 330 0      0     - - - -
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 15   4.3 120 800 0      0     - - - -
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 14   3.9 98 600 0      0     - - - -
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 15   4.4 110 750 0      0     - - - -
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 13   3.7 97 600 0      0     - - - -
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 14   4.2 110 800 0      0     - - - -
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 14   4.0 100 610 0      0     - - - -
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 15   4.2 110 790 0      0     - - - -
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 15   4.1 110 590 0      0     - - - -
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 22   9.2 180 1000 0      0     - - - -
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 43   26   300 1800 0      0     - - - -
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 22   8.8 160 1100 0      0     - - - -
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 39   24   310 1700 0      0     - - - -
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 21   8.7 150 1100 0      0     - - - -
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 45   27   360 1900 0      0     - - - -
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 23   9.0 150 1100 0      0     - - - -
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 43   27   290 1900 0      0     - - - -
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 16   5.3 130 820 0      0     - - - -
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 47   30   350 2000 0      0     - - - -
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 18   5.7 140 800 0      0     - - - -
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 40   26   280 1700 0      0     - - - -
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.3 130 830 0      0     - - - -
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 42   28   270 1900 0      0     - - - -
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 17   5.7 130 860 0      0     - - - -
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 45   29   330 2100 0      0     - - - -
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 18   5.8 130 840 0      0     - - - -
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 39   25   290 1700 0      0     - - - -
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 20   5.7 150 800 0      0     - - - -
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 45   28   270 1800 0      0     - - - -
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.6 130 850 0      0     - - - -
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 39   24   250 1700 0      0     - - - -
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 40   25   280 1700 0      0     - - - -
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 40   25   260 1700 0      0     - - - -
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 16   5.1 120 830 0      0     - - - -
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 41   24   350 1700 0      0     - - - -
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1500 0      0     - - - -
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 250   180   1300 4400 0      0     - - - -
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 27   15   200 1400 0      0     - - - -
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 240   170   1800 4400 0      0     - - - -
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   180 1300 0      0     - - - -
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 240   170   1500 4400 0      0     - - - -
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 27   14   190 1300 0      0     - - - -
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 250   180   1600 4500 0      0     - - - -
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 29   15   190 1500 0      0     - - - -
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 240   170   2000 4500 0      0     - - - -
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1400 0      0     - - - -
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 250   180   1500 4400 0      0     - - - -
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1300 0      0     - - - -
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 230   160   1600 4400 0      0     - - - -
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 93   62   550 3600 0      0     - - - -
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 250   180   1600 4400 0      0     - - - -
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 18   6.4 130 810 0      0     - - - -
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 48   31   270 1900 0      0     - - - -
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 18   6.1 130 870 0      0     - - - -
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 49   31   390 2000 0      0     - - - -
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 18   6.4 130 890 0      0     - - - -
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 52   35   330 2100 0      0     - - - -
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 180   150   1000 3700 0      0     - - - -
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 49   32   310 1900 0      0     - - - -
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 32   18   200 1500 0      0     - - - -
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 310   230   1700 4500 0      0     - - - -
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 31   18   210 1600 0      0     - - - -
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 300   220   1900 4500 0      0     - - - -
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 33   18   210 1500 0      0     - - - -
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 300   230   1700 4500 0      0     - - - -
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 32   18   240 1600 0      0     - - - -
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 320   240   1800 4500 0      0     - - - -
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 31   17   250 1500 0      0     - - - -
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 300   220   2100 4500 0      0     - - - -
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 31   18   220 1600 0      0     - - - -
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 300   220   1600 4400 0      0     - - - -
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 32   18   220 1600 0      0     - - - -
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 310   230   2100 4500 0      0     - - - -
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 900   810   5300 4200 0      0     - - - -
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 310   230   2100 4400 0      0     - - - -
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 11   3.2 96 580 0      0     - - - -
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 14   4.1 120 630 0      0     - - - -
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 11   3.1 83 610 0      0     - - - -
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 14   4.0 100 620 0      0     - - - -
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 12   3.2 79 610 0      0     - - - -
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 53   15   51 600 0      0     - - - -
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 11   3.2 82 620 0      0     - - - -
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 14   3.8 110 630 0      0     - - - -
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 19   6.0 130 800 0      0     - - - -
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 42   26   310 1900 0      0     - - - -
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 17   5.8 120 840 0      0     - - - -
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 42   25   260 1800 0      0     - - - -
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.7 130 820 0      0     - - - -
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 41   26   260 1800 0      0     - - - -
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 16   5.4 130 810 0      0     - - - -
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 43   27   270 1800 0      0     - - - -
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 17   5.5 130 880 0      0     - - - -
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 120   64   230 1600 0      0     - - - -
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.3 120 800 0      0     - - - -
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 41   26   280 1800 0      0     - - - -
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 18   5.7 110 830 0      0     - - - -
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 44   28   280 1900 0      0     - - - -
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 24   12   180 1300 0      0     - - - -
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 43   28   290 1800 0      0     - - - -
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 10   2.9 79 600 0      0     - - - -
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 10   2.9 74 600 0      0     - - - -
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 11   2.9 80 600 0      0     - - - -
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 13   3.8 96 580 0      0     - - - -
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 9.8 2.8 82 620 0      0     - - - -
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 12   3.3 85 610 0      0     - - - -
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 9.8 2.7 79 590 0      0     - - - -
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 13   3.8 100 570 0      0     - - - -
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 29   15   220 1400 0      0     - - - -
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 260   190   1600 4400 0      0     - - - -
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 28   15   180 1500 0      0     - - - -
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 250   180   1500 4400 0      0     - - - -
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   180 1300 0      0     - - - -
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 250   180   1900 4300 0      0     - - - -
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1500 0      0     - - - -
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 260   180   1200 4400 0      0     - - - -
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 33   19   250 1700 0      0     - - - -
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 300   220   1500 4500 0      0     - - - -
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 32   17   210 1500 0      0     - - - -
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 290   220   1900 4500 0      0     - - - -
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 32   19   220 1600 0      0     - - - -
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 290   220   1500 4500 0      0     - - - -
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 480   410   3200 4100 0      0     - - - -
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 270   200   2200 4500 0      0     - - - -
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 16   5.1 120 840 0      0     - - - -
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 42   26   280 1800 0      0     - - - -
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 17   5.3 120 850 0      0     - - - -
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 42   26   310 1800 0      0     - - - -
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.4 120 810 0      0     - - - -
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 46   27   260 1800 0      0     - - - -
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 18   5.2 130 860 0      0     - - - -
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 41   25   340 1800 0      0     - - - -
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 16   4.8 120 820 0      0     - - - -
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 23   10   150 1200 0      0     - - - -
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 16   4.9 110 810 0      0     - - - -
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 42   25   250 1700 0      0     - - - -
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.1 110 860 0      0     - - - -
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 24   11   170 1300 0      0     - - - -
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 17   5.1 130 740 0      0     - - - -
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 41   25   240 1700 0      0     - - - -
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 28   14   170 1300 0      0     - - - -
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 120   75   780 4200 0      0     - - - -
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 28   13   210 1300 0      0     - - - -
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 240   170   1400 4400 0      0     - - - -
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1400 0      0     - - - -
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 120   76   730 4000 0      0     - - - -
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 29   14   180 1300 0      0     - - - -
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 240   180   1400 4100 0      0     - - - -
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 28   14   210 1300 0      0     - - - -
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 240   170   1600 4400 0      0     - - - -
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   190 1400 0      0     - - - -
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 240   170   1400 4400 0      0     - - - -
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 26   13   180 1200 0      0     - - - -
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 240   170   1300 4400 0      0     - - - -
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 83   54   470 3300 0      0     - - - -
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 230   170   1400 4400 0      0     - - - -
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 18   5.5 120 840 0      0     - - - -
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 41   25   250 1700 0      0     - - - -
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.1 110 840 0      0     - - - -
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 38   24   270 1900 0      0     - - - -
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.1 130 840 0      0     - - - -
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 41   25   250 1800 0      0     - - - -
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 25   11   180 1200 0      0     - - - -
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 40   25   310 1800 0      0     - - - -
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 26   13   200 1300 0      0     - - - -
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 230   160   1600 4500 0      0     - - - -
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   190 1400 0      0     - - - -
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 230   170   1600 4400 0      0     - - - -
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1300 0      0     - - - -
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 240   180   1600 4400 0      0     - - - -
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 28   14   180 1400 0      0     - - - -
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 250   180   1400 4400 0      0     - - - -
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 27   14   200 1400 0      0     - - - -
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 230   160   1500 4400 0      0     - - - -
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 27   13   170 1300 0      0     - - - -
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 220   170   1500 4100 0      0     - - - -
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 27   14   210 1300 0      0     - - - -
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 230   170   1400 4100 0      0     - - - -
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 130   98   790 4000 0      0     - - - -
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 230   170   1300 4400 0      0     - - - -
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 11   3.1 86 600 0      0     - - - -
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 10   2.9 77 610 0      0     - - - -
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 11   3.1 86 620 0      0     - - - -
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 12   3.3 85 590 0      0     - - - -
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 11   3.0 85 610 0      0     - - - -
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 11   3.2 78 600 0      0     - - - -
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 13   3.8 110 600 0      0     - - - -
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 13   3.8 110 600 0      0     - - - -
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 38   23   250 1800 0      0     - - - -
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 160   100   1100 4100 0      0     - - - -
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 34   21   250 1700 0      0     - - - -
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 160   100   1000 4100 0      0     - - - -
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 35   21   230 1600 0      0     - - - -
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 480   300   730 4200 0      0     - - - -
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 900   820   4900 4100 0      0     - - - -
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 910   810   6400 4300 0      0     - - - -
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 18   6.2 130 770 0      0     - - - -
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 24   12   200 1400 0      0     - - - -
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 18   6.0 130 840 0      0     - - - -
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 24   12   190 1400 0      0     - - - -
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.8 140 790 0      0     - - - -
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 25   12   170 1300 0      0     - - - -
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 19   6.1 120 830 0      0     - - - -
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 18   6.0 130 800 0      0     - - - -
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 17   5.7 130 810 0      0     - - - -
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 16   5.3 130 820 0      0     - - - -
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 17   5.6 120 890 0      0     - - - -
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 23   11   160 1300 0      0     - - - -
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 18   5.7 120 870 0      0     - - - -
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 24   11   170 1200 0      0     - - - -
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 18   5.8 120 810 0      0     - - - -
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 17   5.4 140 910 0      0     - - - -
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 28   15   240 1400 0      0     - - - -
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 76   47   510 3500 0      0     - - - -
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1400 0      0     - - - -
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 120   78   920 4100 0      0     - - - -
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 29   15   200 1300 0      0     - - - -
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 120   78   760 4000 0      0     - - - -
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 29   15   200 1400 0      0     - - - -
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 77   46   650 3500 0      0     - - - -
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1400 0      0     - - - -
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 120   80   800 4100 0      0     - - - -
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 32   16   230 1500 0      0     - - - -
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 130   80   1000 4000 0      0     - - - -
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1400 0      0     - - - -
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 130   79   1000 4100 0      0     - - - -
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 99   69   700 3700 0      0     - - - -
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 92   64   610 3700 0      0     - - - -
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 17   5.6 120 860 0      0     - - - -
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 27   13   170 1300 0      0     - - - -
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 17   5.8 110 820 0      0     - - - -
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 27   14   180 1400 0      0     - - - -
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 18   6.0 120 820 0      0     - - - -
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 25   12   170 1400 0      0     - - - -
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 40   24   250 1700 0      0     - - - -
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 37   23   290 1700 0      0     - - - -
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 29   16   230 1500 0      0     - - - -
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 120   84   810 3900 0      0     - - - -
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 29   15   190 1400 0      0     - - - -
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 130   87   820 4000 0      0     - - - -
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 29   16   200 1400 0      0     - - - -
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 390   260   980 4100 0      0     - - - -
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 28   15   210 1400 0      0     - - - -
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 28   15   200 1400 0      0     - - - -
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 93   42   120 1300 0      0     - - - -
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 140   100   1100 4000 0      0     - - - -
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 31   16   180 1400 0      0     - - - -
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 130   91   860 4100 0      0     - - - -
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 30   15   210 1400 0      0     - - - -
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 130   88   1100 4200 0      0     - - - -
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 220   160   1200 4500 0      0     - - - -
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 210   160   1300 4100 0      0     - - - -
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 11   3.2 96 580 0      0     - - - -
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 10   2.9 82 570 0      0     - - - -
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 12   3.3 84 600 0      0     - - - -
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 12   3.3 92 630 0      0     - - - -
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 10   2.9 84 600 0      0     - - - -
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 10   2.8 74 610 0      0     - - - -
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 10   2.9 93 620 0      0     - - - -
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 9.7 2.8 72 570 0      0     - - - -
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 17   5.5 140 830 0      0     - - - -
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 21   7.8 140 960 0      0     - - - -
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 18   6.1 130 840 0      0     - - - -
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 20   7.8 160 1000 0      0     - - - -
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.4 110 800 0      0     - - - -
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 21   7.7 140 960 0      0     - - - -
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 18   5.6 130 870 0      0     - - - -
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 21   8.0 160 1000 0      0     - - - -
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 18   5.6 140 850 0      0     - - - -
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 21   7.9 140 990 0      0     - - - -
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.6 130 880 0      0     - - - -
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 19   7.4 140 980 0      0     - - - -
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 19   6.3 140 840 0      0     - - - -
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 20   7.6 160 1000 0      0     - - - -
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 24   12   190 1300 0      0     - - - -
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 20   7.5 140 1000 0      0     - - - -
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 11   3.1 89 600 0      0     - - - -
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 11   3.1 86 600 0      0     - - - -
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 10   2.9 86 590 0      0     - - - -
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 9.6 2.7 79 530 0      0     - - - -
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 11   3.1 77 600 0      0     - - - -
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 11   3.0 90 580 0      0     - - - -
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 11   3.1 88 590 0      0     - - - -
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 9.9 2.8 69 550 0      0     - - - -
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 16   5.1 120 810 0      0     - - - -
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 24   11   170 1200 0      0     - - - -
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 17   5.4 120 780 0      0     - - - -
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 20   7.7 130 990 0      0     - - - -
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.2 120 870 0      0     - - - -
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 24   11   160 1200 0      0     - - - -
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 17   5.4 120 860 0      0     - - - -
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 19   7.1 170 920 0      0     - - - -
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 28   14   180 1300 0      0     - - - -
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 120   76   910 4100 0      0     - - - -
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   190 1300 0      0     - - - -
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 96   52   730 4100 0      0     - - - -
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 27   13   190 1300 0      0     - - - -
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 130   83   760 4100 0      0     - - - -
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 26   14   200 1300 0      0     - - - -
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 100   61   720 4200 0      0     - - - -
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 28   14   190 1300 0      0     - - - -
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 94   53   600 4200 0      0     - - - -
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 26   14   220 1400 0      0     - - - -
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 91   53   580 3900 0      0     - - - -
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 27   14   210 1400 0      0     - - - -
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 91   52   580 4000 0      0     - - - -
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 84   55   560 3200 0      0     - - - -
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 99   54   840 4200 0      0     - - - -
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 17   5.1 130 830 0      0     - - - -
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 19   7.4 130 990 0      0     - - - -
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.1 130 840 0      0     - - - -
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 21   7.4 130 1000 0      0     - - - -
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.2 130 860 0      0     - - - -
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 19   6.7 130 960 0      0     - - - -
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 23   10   160 1300 0      0     - - - -
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 20   7.5 150 940 0      0     - - - -
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 27   14   180 1300 0      0     - - - -
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 99   55   630 4100 0      0     - - - -
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 27   13   180 1300 0      0     - - - -
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 110   63   700 4100 0      0     - - - -
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 29   15   180 1400 0      0     - - - -
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 100   56   630 4200 0      0     - - - -
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 28   14   210 1400 0      0     - - - -
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 95   54   600 3900 0      0     - - - -
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 27   14   190 1400 0      0     - - - -
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 97   54   780 4000 0      0     - - - -
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 27   13   230 1400 0      0     - - - -
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 95   55   570 3900 0      0     - - - -
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1400 0      0     - - - -
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 91   51   620 3900 0      0     - - - -
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 130   93   920 4100 0      0     - - - -
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 98   57   560 4000 0      0     - - - -
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 11   3.1 75 610 0      0     - - - -
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 9.5 2.7 68 470 0      0     - - - -
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 10   2.9 81 610 0      0     - - - -
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 9.6 2.7 75 470 0      0     - - - -
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 9.9 2.8 82 590 0      0     - - - -
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 9.8 2.8 70 460 0      0     - - - -
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 9.1 2.6 75 470 0      0     - - - -
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 9.5 2.7 74 470 0      0     - - - -
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 18   5.4 130 820 0      0     - - - -
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 18   5.8 130 890 0      0     - - - -
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.4 110 800 0      0     - - - -
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 17   5.5 120 730 0      0     - - - -
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.1 130 880 0      0     - - - -
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 17   5.6 120 910 0      0     - - - -
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 17   5.1 130 850 0      0     - - - -
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 19   5.5 130 890 0      0     - - - -
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 28   15   190 1400 0      0     - - - -
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 70   39   430 2900 0      0     - - - -
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   190 1400 0      0     - - - -
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 73   42   460 3500 0      0     - - - -
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 27   14   180 1400 0      0     - - - -
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 70   40   470 2800 0      0     - - - -
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 84   37   120 1100 0      0     - - - -
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 73   41   430 3400 0      0     - - - -
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 26   13   230 1400 0      0     - - - -
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 73   43   530 3700 0      0     - - - -
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   180 1400 0      0     - - - -
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 73   42   430 3600 0      0     - - - -
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 29   14   200 1400 0      0     - - - -
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 74   43   400 3500 0      0     - - - -
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 94   62   460 3700 0      0     - - - -
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 69   38   430 3300 0      0     - - - -
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 17   5.2 150 860 0      0     - - - -
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 18   5.8 130 890 0      0     - - - -
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 16   5.0 130 800 0      0     - - - -
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 18   5.9 150 870 0      0     - - - -
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 16   5.1 110 840 0      0     - - - -
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 17   5.5 110 800 0      0     - - - -
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 16   5.7 120 910 0      0     - - - -
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 17   5.7 140 870 0      0     - - - -
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 27   14   230 1300 0      0     - - - -
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 73   41   470 3600 0      0     - - - -
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 27   14   200 1300 0      0     - - - -
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 75   44   450 3400 0      0     - - - -
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 28   15   180 1400 0      0     - - - -
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 62   38   510 3200 0      0     - - - -
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 88   37   170 1100 0      0     - - - -
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 71   41   430 3500 0      0     - - - -
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1300 0      0     - - - -
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 65   38   430 2900 0      0     - - - -
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 28   14   200 1400 0      0     - - - -
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 74   43   480 3200 0      0     - - - -
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 26   14   220 1500 0      0     - - - -
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 79   49   450 3700 0      0     - - - -
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 68   39   550 3400 0      0     - - - -
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 62   37   540 3100 0      0     - - - -
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 10   2.8 73 620 0      0     - - - -
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 11   3.1 88 580 0      0     - - - -
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 11   3.1 88 600 0      0     - - - -
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 12   3.3 90 610 0      0     - - - -
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 10   2.9 82 600 0      0     - - - -
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 11   3.0 86 570 0      0     - - - -
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 11   3.0 79 600 0      0     - - - -
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 11   3.0 84 600 0      0     - - - -
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 16   5.0 120 750 0      0     - - - -
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 17   5.2 130 670 0      0     - - - -
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 17   4.9 130 700 0      0     - - - -
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 16   5.3 120 760 0      0     - - - -
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 17   5.1 120 710 0      0     - - - -
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 15   4.9 120 760 0      0     - - - -
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 17   5.0 120 750 0      0     - - - -
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 15   5.0 120 740 0      0     - - - -
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 26   14   170 1300 0      0     - - - -
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 26   13   180 1300 0      0     - - - -
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 27   13   180 1200 0      0     - - - -
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 25   13   170 1300 0      0     - - - -
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 27   13   200 1300 0      0     - - - -
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 26   12   160 1200 0      0     - - - -
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 27   13   170 1200 0      0     - - - -
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 28   14   180 1200 0      0     - - - -
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 27   13   180 1200 0      0     - - - -
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 25   13   190 1200 0      0     - - - -
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 26   13   220 1300 0      0     - - - -
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 81   46   550 3800 0      0     - - - -
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 26   13   190 1300 0      0     - - - -
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 89   46   590 4000 0      0     - - - -
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 85   58   480 3500 0      0     - - - -
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 84   48   550 3900 0      0     - - - -
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 15   4.8 120 800 0      0     - - - -
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 17   5.3 110 740 0      0     - - - -
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 14   4.7 110 680 0      0     - - - -
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 19   6.3 160 850 0      0     - -