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