Tool PeSCo 1.7-svn b8d6131600+ CPAchecker 1.7-svn 29852
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon004; apollon069; apollon137; apollon154]
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 12:44:04 CET 2018-12-08 07:39:30 CET
Run set pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/pesco.2018-12-06_1244.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
pthread/bigshot_p_false-unreach-call.i unknown 0 --- inspect 16 4.8 1200 130 0      0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0  
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect 38 19   2000 360 0      0     false(unreach-call) 1 wit inspect 5.3  2.8  260 0   0  
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 210 160   3700 2000 0      0     false(unreach-call) 1 wit inspect 5.2  2.8  260 0   0  
pthread/fib_bench_longest_false-unreach-call.i timeout 0 wit inspect 900 810   4300 8900 0      0     error 0 --- inspect 4.1  2.3  250 0   0  
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect 15 4.5 1200 110 0      0     false(unreach-call) 1 wit inspect 5.6  3.0  260 0   0  
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect 18 5.7 1200 140 0      0     false(unreach-call) 1 wit inspect 5.6  3.0  260 0   0  
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 19 5.7 1200 150 0      0     false(unreach-call) 1 wit inspect 6.0  3.2  270 0   0  
pthread/queue_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 20 5.9 1200 140 0      0     false(unreach-call) 1 wit inspect 6.0  3.3  260 0   0  
pthread/reorder_2_false-unreach-call.i unknown 0 --- inspect 17 5.3 1200 130 0      0     error (invalid witness file) 0 --- inspect .71 .43 43 0   0  
pthread/reorder_5_false-unreach-call.i unknown 0 --- inspect 17 5.1 1200 140 0      0     error (invalid witness file) 0 --- inspect .79 .47 42 0   0  
pthread/sigma_false-unreach-call.i unknown 0 --- inspect 16 4.8 1200 130 0      0     error (invalid witness file) 0 --- inspect .65 .39 40 0   0  
pthread/singleton_false-unreach-call.i unknown 0 --- inspect 17 5.0 1200 110 0      0     error (invalid witness file) 0 --- inspect .69 .42 41 0   0  
pthread/stack_false-unreach-call.i unknown 0 --- inspect 17 5.2 1200 130 0      0     error (invalid witness file) 0 --- inspect .77 .47 43 0   0  
pthread/stack_longer_false-unreach-call.i unknown 0 --- inspect 31 12   1700 280 0      0     error (invalid witness file) 0 --- inspect .74 .45 40 0   0  
pthread/stack_longest_false-unreach-call.i unknown 0 --- inspect 49 28   2000 460 0      0     error (invalid witness file) 0 --- inspect .60 .38 41 0   0  
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect 15 4.4 1200 120 0      0     false(unreach-call) 1 wit inspect 4.9  2.7  260 0   0  
pthread/triangular-longer_false-unreach-call.i false(unreach-call) 1 wit inspect 63 38   2600 550 0      0     false(unreach-call) 1 wit inspect 5.5  2.9  260 0   0  
pthread/triangular-longest_false-unreach-call.i timeout 0 wit inspect 900 810   4200 11000 0      0     error 0 --- inspect 3.8  2.2  250 0   0  
pthread/triangular_false-unreach-call.i false(unreach-call) 1 wit inspect 23 6.7 1300 170 0      0     false(unreach-call) 1 wit inspect 6.6  3.5  260 0   0  
pthread/twostage_3_false-unreach-call.i unknown 0 --- inspect 18 5.5 1200 140 0      0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0  
pthread/bigshot_s2_true-unreach-call.i unknown 0 --- inspect 15 4.5 1300 110 0      0     - --- inspect
pthread/bigshot_s_true-unreach-call.i unknown 0 --- inspect 15 4.5 1300 120 0      0     - --- inspect
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect 750 650   4300 6600 0      0     - --- inspect
pthread/fib_bench_longest_true-unreach-call.i timeout 0 wit inspect 900 800   4300 8800 0      0     - --- inspect
pthread/fib_bench_true-unreach-call.i true 2 wit inspect 84 55   2700 800 0      0     - --- inspect
pthread/indexer_true-unreach-call.i unknown 0 --- inspect 27 14   1300 230 0      0     - --- inspect
pthread/queue_ok_longer_true-unreach-call.i unknown 0 --- inspect 53 32   2200 620 0      0     - --- inspect
pthread/queue_ok_longest_true-unreach-call.i unknown 0 --- inspect 130 100   2700 1700 0      0     - --- inspect
pthread/queue_ok_true-unreach-call.i unknown 0 --- inspect 19 5.7 1200 150 0      0     - --- inspect
pthread/singleton_with-uninit-problems_true-unreach-call.i unknown 0 --- inspect 16 4.8 1200 130 0      0     - --- inspect
pthread/stack_longer_true-unreach-call.i unknown 0 --- inspect 31 12   1700 300 0      0     - --- inspect
pthread/stack_longest_true-unreach-call.i unknown 0 --- inspect 46 26   2000 350 0      0     - --- inspect
pthread/stack_true-unreach-call.i unknown 0 --- inspect 17 5.0 1200 120 0      0     - --- inspect
pthread/stateful01_true-unreach-call.i true 2 wit inspect 14 4.2 1300 120 0      0     - --- inspect
pthread/sync01_true-unreach-call.i true 2 wit inspect 17 4.9 1200 130 0      0     - --- inspect
pthread/triangular-longer_true-unreach-call.i true 2 wit inspect 75 40   2700 640 0      0     - --- inspect
pthread/triangular-longest_true-unreach-call.i timeout 0 wit inspect 900 810   4200 8600 0      0     - --- inspect
pthread/triangular_true-unreach-call.i true 2 wit inspect 23 7.1 1600 170 0      0     - --- inspect
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect 22 6.6 1200 170 0      0     false(unreach-call) 1 wit inspect 5.8  3.1  270 0   0  
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.2 1300 210 0      0     false(unreach-call) 1 wit inspect 6.0  3.2  260 0   0  
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect 16 4.5 1200 130 0      0     - --- inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i timeout 0 --- inspect 910 830   3500 4600 0      0     - --- inspect
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect 16 4.6 1400 140 0      0     - --- inspect
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-atomic/qrcu_true-unreach-call.i timeout 0 --- inspect 920 860   8900 4000 0      0     - --- inspect
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect 20 5.7 1200 150 0      0     - --- inspect
pthread-atomic/scull_true-unreach-call.i timeout 0 --- inspect 910 840   3400 5100 0      0     - --- inspect
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect 16 4.6 1200 120 0      .090 - --- inspect
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/25_stack_longer_false-unreach-call.i unknown 0 --- inspect 16 4.7 1200 120 0      0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0  
pthread-ext/25_stack_longest_false-unreach-call.i unknown 0 --- inspect 17 4.8 1200 130 0      0     error (invalid witness file) 0 --- inspect .68 .41 42 0   0  
pthread-ext/26_stack_cas_longer_false-unreach-call.i unknown 0 --- inspect 17 5.0 1200 130 0      .090 error (invalid witness file) 0 --- inspect .70 .43 41 0   0  
pthread-ext/26_stack_cas_longest_false-unreach-call.i unknown 0 --- inspect 17 4.9 1200 140 0      0     error (invalid witness file) 0 --- inspect .62 .38 42 0   0  
pthread-ext/27_Boop_simple_vf_false-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      0     error (invalid witness file) 0 --- inspect .68 .42 40 0   0  
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i unknown 0 --- inspect 15 4.3 1200 120 0      0     error (invalid witness file) 0 --- inspect .66 .42 40 0   0  
pthread-ext/32_pthread5_vs_false-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     error (invalid witness file) 0 --- inspect .66 .40 40 0   0  
pthread-ext/40_barrier_vf_false-unreach-call.i unknown 0 --- inspect 15 4.4 1200 110 0      0     error (invalid witness file) 0 --- inspect .63 .40 42 0   0  
pthread-ext/01_inc_true-unreach-call.i unknown 0 --- inspect 15 4.4 1200 110 0      0     - --- inspect
pthread-ext/02_inc_cas_true-unreach-call.i unknown 0 --- inspect 15 4.3 1200 110 0      0     - --- inspect
pthread-ext/03_incdec_true-unreach-call.i unknown 0 --- inspect 14 4.2 1300 100 0      0     - --- inspect
pthread-ext/04_incdec_cas_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      0     - --- inspect
pthread-ext/05_tas_true-unreach-call.i unknown 0 --- inspect 14 4.2 1300 110 0      0     - --- inspect
pthread-ext/06_ticket_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 110 0      0     - --- inspect
pthread-ext/07_rand_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      .090 - --- inspect
pthread-ext/08_rand_cas_true-unreach-call.i unknown 0 --- inspect 16 4.7 1200 120 0      0     - --- inspect
pthread-ext/09_fmaxsym_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/10_fmaxsym_cas_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/11_fmaxsymopt_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 110 0      0     - --- inspect
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 120 0      0     - --- inspect
pthread-ext/13_unverif_true-unreach-call.i unknown 0 --- inspect 15 4.3 1200 120 0      0     - --- inspect
pthread-ext/14_spin2003_true-unreach-call.i unknown 0 --- inspect 15 4.2 1200 100 0      0     - --- inspect
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect 16 4.5 1200 120 0      0     - --- inspect
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect 15 4.3 1300 110 0      0     - --- inspect
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect 17 4.7 1200 110 0      0     - --- inspect
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect 15 4.4 1200 120 0      0     - --- inspect
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect 16 4.6 1200 120 0      0     - --- inspect
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect 17 4.9 1200 130 0      .090 - --- inspect
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect 16 4.6 1200 130 0      0     - --- inspect
pthread-ext/25_stack_longer_true-unreach-call.i unknown 0 --- inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-ext/25_stack_longest_true-unreach-call.i unknown 0 --- inspect 16 4.7 1200 120 0      0     - --- inspect
pthread-ext/25_stack_true-unreach-call.i unknown 0 --- inspect 16 4.7 1200 130 0      0     - --- inspect
pthread-ext/26_stack_cas_longer_true-unreach-call.i unknown 0 --- inspect 16 4.8 1300 130 0      0     - --- inspect
pthread-ext/26_stack_cas_longest_true-unreach-call.i unknown 0 --- inspect 17 4.9 1200 120 0      0     - --- inspect
pthread-ext/26_stack_cas_true-unreach-call.i unknown 0 --- inspect 17 4.9 1200 130 0      0     - --- inspect
pthread-ext/29_conditionals_vs_true-unreach-call.i unknown 0 --- inspect 15 4.4 1200 110 0      0     - --- inspect
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i unknown 0 --- inspect 16 4.4 1200 110 0      0     - --- inspect
pthread-ext/31_simple_loop5_vs_true-unreach-call.i unknown 0 --- inspect 16 4.4 1200 110 0      0     - --- inspect
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i unknown 0 --- inspect 16 4.7 1200 120 0      0     - --- inspect
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      0     - --- inspect
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i unknown 0 --- inspect 15 4.5 1200 100 0      0     - --- inspect
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      0     - --- inspect
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i unknown 0 --- inspect 17 4.6 1200 130 0      0     - --- inspect
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i unknown 0 --- inspect 16 4.9 1300 140 0      0     - --- inspect
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i unknown 0 --- inspect 18 5.9 1200 150 0      0     - --- inspect
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i unknown 0 --- inspect 19 5.6 1200 140 0      0     - --- inspect
pthread-ext/45_monabsex1_vs_true-unreach-call.i unknown 0 --- inspect 15 4.2 1200 110 0      0     - --- inspect
pthread-ext/46_monabsex2_vs_true-unreach-call.i unknown 0 --- inspect 15 4.3 1200 120 0      0     - --- inspect
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i timeout 0 --- inspect 910 850   9100 4100 0      0     - --- inspect
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i timeout 0 --- inspect 910 850   9100 4400 0      0     - --- inspect
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 290 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  310 0   0  
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 11   1300 250 0      0     false(unreach-call) 1 wit inspect 6.9  3.6  280 0   0  
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 260 0      0     false(unreach-call) 1 wit inspect 8.6  4.5  310 0   0  
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 230 0      0     false(unreach-call) 1 wit inspect 7.1  3.7  280 0   0  
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 13   1300 290 0      0     false(unreach-call) 1 wit inspect 9.2  4.9  310 0   0  
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 240 0      0     false(unreach-call) 1 wit inspect 7.2  3.9  280 0   0  
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 320 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 11   1300 270 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0  
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33 14   1500 280 0      0     false(unreach-call) 1 wit inspect 35    22    1400 0   0  
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1800 360 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 13   1400 260 0      0     false(unreach-call) 1 wit inspect 36    22    1400 0   0  
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   1900 380 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  300 0   0  
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33 13   1500 280 0      0     false(unreach-call) 1 wit inspect 39    24    1400 0   0  
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 20   1900 380 0      0     false(unreach-call) 1 wit inspect 7.6  4.1  300 0   0  
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 33 14   1400 280 0      0     false(unreach-call) 1 wit inspect 37    23    1400 0   0  
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 20   1900 340 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.8 1300 240 0      0     false(unreach-call) 1 wit inspect 44    30    1900 0   0  
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 20   1900 420 0      0     false(unreach-call) 1 wit inspect 9.3  4.9  310 0   0  
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.7 1300 230 0      0     false(unreach-call) 1 wit inspect 44    28    1800 0   0  
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 20   1800 410 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.7 1300 210 0      0     false(unreach-call) 1 wit inspect 42    28    1700 0   0  
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 20   1900 340 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  310 0   0  
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 270 0      0     false(unreach-call) 1 wit inspect 48    31    1800 0   0  
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44 20   2000 380 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.7 1300 240 0      0     false(unreach-call) 1 wit inspect 32    18    1100 0   0  
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   2000 400 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  290 0   0  
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.6 1300 270 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1800 360 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  310 0   0  
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1300 270 0      0     false(unreach-call) 1 wit inspect 31    18    1200 0   0  
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   1900 420 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  300 0   0  
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1900 320 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  300 0   0  
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1900 390 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  300 0   0  
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1400 260 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1800 390 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  290 0   0  
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 340 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360 210   4800 2300 0      0     false(unreach-call) 1 wit inspect 18    9.5  640 0   0  
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 17   2000 340 0      0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4800 2600 0      0     false(unreach-call) 1 wit inspect 18    9.4  600 0   0  
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1800 320 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350 200   4800 2400 0      .066 false(unreach-call) 1 wit inspect 17    8.6  620 0   0  
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 350 0      0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360 210   4800 2000 0      0     false(unreach-call) 1 wit inspect 16    8.4  640 0   0  
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 350 0      0     timeout 0 wit inspect 97    74    2300 0   0  
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 190   4800 2900 0      0     false(unreach-call) 1 wit inspect 18    9.2  620 0   0  
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 340 0      0     timeout 0 wit inspect 97    75    2400 0   0  
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4900 2900 0      0     false(unreach-call) 1 wit inspect 19    10    640 0   0  
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 330 0      .090 timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350 200   4800 2200 0      0     false(unreach-call) 1 wit inspect 16    8.4  620 0   0  
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 120 69   3700 870 0      0     false(unreach-call) 1 wit inspect 39    24    1600 0   0  
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4900 2500 0      0     false(unreach-call) 1 wit inspect 16    8.4  630 0   0  
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 250 0      0     false(unreach-call) 1 wit inspect 27    15    1100 0   0  
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 46 23   1900 400 0      0     false(unreach-call) 1 wit inspect 7.7  4.0  300 0   0  
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1700 260 0      0     false(unreach-call) 1 wit inspect 31    18    1200 0   0  
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 46 23   1900 380 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1400 250 0      0     false(unreach-call) 1 wit inspect 33    19    1100 0   0  
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47 23   1900 390 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  300 0   0  
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 150 100   3200 1100 0      0     false(unreach-call) 1 wit inspect 18    9.7  620 0   0  
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47 23   2000 370 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  300 0   0  
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 43 20   1900 380 0      0     timeout 0 --- inspect 98    74    2400 0   0  
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 530 330   5400 3600 0      0     false(unreach-call) 1 wit inspect 17    8.7  640 0   0  
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 43 20   1900 350 0      0     timeout 0 wit inspect 98    72    2400 0   0  
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 530 310   5500 3700 0      0     false(unreach-call) 1 wit inspect 18    9.1  620 0   0  
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 43 20   1900 380 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 570 340   5500 3900 0      0     false(unreach-call) 1 wit inspect 17    8.7  620 0   0  
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1900 350 0      0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520 320   5400 3100 0      0     false(unreach-call) 1 wit inspect 17    9.1  630 0   0  
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 43 19   1900 370 0      0     timeout 0 wit inspect 96    77    2300 0   0  
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 530 310   5500 3600 0      0     false(unreach-call) 1 wit inspect 17    9.1  620 0   0  
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 44 20   2000 360 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 550 320   5400 3700 0      0     false(unreach-call) 1 wit inspect 18    9.2  620 0   0  
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 20   1900 350 0      0     timeout 0 wit inspect 95    72    2400 0   0  
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 510 300   5500 4600 0      0     false(unreach-call) 1 wit inspect 20    11    620 0   0  
pthread-wmm/mix008_tso.oepc_false-unreach-call.i timeout 0 wit inspect 920 730   5000 6100 0      0     error 0 wit inspect 5.7  3.0  270 0   0  
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 550 330   5500 4000 0      0     false(unreach-call) 1 wit inspect 17    9.1  630 0   0  
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 9.4  4.9  320 0   0  
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 230 0      .066 false(unreach-call) 1 wit inspect 7.6  4.0  270 0   0  
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 180 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  310 0   0  
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 240 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  280 0   0  
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 180 0      0     false(unreach-call) 1 wit inspect 8.4  4.5  320 0   0  
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 260 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0  
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0  
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 240 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  270 0   0  
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 250 0      0     false(unreach-call) 1 wit inspect 26    15    1000 0   0  
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   2000 330 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  300 0   0  
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 250 0      0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   1800 380 0      0     false(unreach-call) 1 wit inspect 8.4  4.4  310 0   0  
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 250 0      0     false(unreach-call) 1 wit inspect 31    19    1000 0   0  
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44 20   2000 340 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.7 1300 230 0      0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 19   1900 350 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  310 0   0  
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 9.7 1300 230 0      0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1900 370 0      .090 false(unreach-call) 1 wit inspect 7.9  4.1  310 0   0  
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.9 1300 250 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 19   1800 330 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  320 0   0  
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.7 1300 240 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 19   1900 360 0      0     false(unreach-call) 1 wit inspect 8.7  4.6  300 0   0  
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 12   1600 270 0      0     false(unreach-call) 1 wit inspect 23    13    700 0   0  
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 45 20   2200 400 0      0     false(unreach-call) 1 wit inspect 7.9  4.1  300 0   0  
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 180 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  290 0   0  
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 170 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  290 0   0  
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 200 0      1.2   false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0  
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 230 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  270 0   0  
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 8.2  4.3  300 0   0  
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  290 0   0  
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  300 0   0  
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 220 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  270 0   0  
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1600 370 0      0     timeout 0 wit inspect 95    75    2200 0   0  
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 380 220   4700 2400 0      0     false(unreach-call) 1 wit inspect 18    9.5  640 0   0  
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1600 340 0      0     timeout 0 wit inspect 96    77    2200 0   0  
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 380 220   4900 2200 0      0     false(unreach-call) 1 wit inspect 17    8.8  630 0   0  
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 330 0      0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 370 210   4800 2300 0      0     false(unreach-call) 1 wit inspect 19    9.6  620 0   0  
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1700 360 0      0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360 210   4800 2400 0      0     false(unreach-call) 1 wit inspect 17    8.8  640 0   0  
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 20   1800 340 0      0     timeout 0 wit inspect 95    78    2200 0   0  
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 470 280   5200 3800 0      0     false(unreach-call) 1 wit inspect 17    8.7  650 0   0  
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 45 19   1900 400 0      0     timeout 0 wit inspect 96    71    2300 0   0  
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 470 280   5300 4000 0      0     false(unreach-call) 1 wit inspect 18    9.1  640 0   0  
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 20   1900 380 0      0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540 320   5500 3400 0      0     false(unreach-call) 1 wit inspect 17    8.8  610 0   0  
pthread-wmm/mix014_tso.oepc_false-unreach-call.i timeout 0 wit inspect 960 700   5600 5400 0      0     error 0 wit inspect 5.6  3.0  270 0   0  
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 530 310   5400 3500 0      0     false(unreach-call) 1 wit inspect 17    8.9  630 0   0  
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.9 1300 250 0      0     false(unreach-call) 1 wit inspect 43    28    1700 0   0  
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 19   1900 370 0      0     false(unreach-call) 1 wit inspect 7.4  4.0  300 0   0  
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.7 1300 260 0      0     false(unreach-call) 1 wit inspect 42    28    1700 0   0  
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 19   2000 340 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.5 1300 220 0      0     false(unreach-call) 1 wit inspect 45    30    1800 0   0  
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   1900 380 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  310 0   0  
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.9 1300 240 0      0     false(unreach-call) 1 wit inspect 46    30    1800 0   0  
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   1800 360 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  300 0   0  
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 11   1300 260 0      0     false(unreach-call) 1 wit inspect 34    20    1200 0   0  
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 300 0      0     false(unreach-call) 1 wit inspect 11    6.0  440 0   0  
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 270 0      0     false(unreach-call) 1 wit inspect 25    14    1100 0   0  
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 17   1900 290 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  290 0   0  
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1300 240 0      0     false(unreach-call) 1 wit inspect 26    16    1100 0   0  
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 300 0      0     false(unreach-call) 1 wit inspect 12    6.3  430 0   0  
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 270 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 17   1800 290 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  290 0   0  
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 360 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 230 130   4300 1900 0      0     false(unreach-call) 1 wit inspect 43    29    1900 0   0  
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1600 340 0      0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4700 2200 0      0     false(unreach-call) 1 wit inspect 16    8.3  530 0   0  
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 300 0      0     timeout 0 wit inspect 96    72    2300 0   0  
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 260 140   4500 1800 0      0     false(unreach-call) 1 wit inspect 49    32    1900 0   0  
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1600 310 0      0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350 200   4800 2300 0      0     false(unreach-call) 1 wit inspect 18    9.4  620 0   0  
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 340 0      0     timeout 0 wit inspect 96    74    2300 0   0  
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4800 2200 0      0     false(unreach-call) 1 wit inspect 14    7.4  540 0   0  
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 wit inspect 95    71    2400 0   0  
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 320 180   4700 2200 0      0     false(unreach-call) 1 wit inspect 16    8.1  550 0   0  
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1600 300 0      0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350 190   4800 2200 0      0     false(unreach-call) 1 wit inspect 16    8.5  540 0   0  
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 100 62   3300 810 0      0     false(unreach-call) 1 wit inspect 40    25    1700 0   0  
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 190   4800 2400 0      0     false(unreach-call) 1 wit inspect 17    9.0  550 0   0  
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1300 290 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 17   1900 340 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0  
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 280 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 17   1800 290 0      0     false(unreach-call) 1 wit inspect 8.8  4.6  290 0   0  
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 270 0      0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 17   1700 320 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  290 0   0  
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 280 0      0     false(unreach-call) 1 wit inspect 13    7.0  440 0   0  
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 17   1800 340 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  290 0   0  
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 300 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 350 200   4700 2500 0      0     false(unreach-call) 1 wit inspect 17    8.8  640 0   0  
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 350 0      0     timeout 0 --- inspect 98    72    2400 0   0  
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 180   4700 2900 0      0     false(unreach-call) 1 wit inspect 17    8.6  620 0   0  
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 290 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4800 2300 0      0     false(unreach-call) 1 wit inspect 18    9.0  620 0   0  
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1900 350 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 190   4800 2600 0      0     false(unreach-call) 1 wit inspect 17    8.7  640 0   0  
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 320 0      0     timeout 0 wit inspect 95    72    2400 0   0  
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4700 2200 0      0     false(unreach-call) 1 wit inspect 18    9.4  620 0   0  
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 330 0      0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 190   4700 2400 0      0     false(unreach-call) 1 wit inspect 17    8.9  540 0   0  
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 17   1600 320 0      0     timeout 0 wit inspect 98    73    2400 0   0  
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 180   4800 2900 0      0     false(unreach-call) 1 wit inspect 18    9.5  530 0   0  
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 200 130   4200 1400 0      0     false(unreach-call) 1 wit inspect 50    34    2000 0   0  
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4700 2300 0      0     false(unreach-call) 1 wit inspect 17    8.7  600 0   0  
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.3 1200 180 0      0     false(unreach-call) 1 wit inspect 7.6  4.1  290 0   0  
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 220 0      0     false(unreach-call) 1 wit inspect 8.7  4.6  290 0   0  
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 8.9  4.7  290 0   0  
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 190 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0  
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 180 0      0     false(unreach-call) 1 wit inspect 7.8  4.2  290 0   0  
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 9.0  4.8  290 0   0  
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1300 190 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  340 0   0  
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25 8.2 1200 210 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  340 0   0  
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 50 25   1900 410 0      0     timeout 0 wit inspect 96    73    2300 0   0  
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 520 300   5600 4700 0      0     false(unreach-call) 1 wit inspect 59    41    2200 0   0  
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 50 25   2000 410 0      .090 timeout 0 wit inspect 94    76    2100 0   0  
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 510 290   5600 4100 0      0     false(unreach-call) 1 wit inspect 54    38    2100 0   0  
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 49 24   2000 410 0      0     timeout 0 wit inspect 97    77    2400 0   0  
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 540 320   5600 3600 0      0     false(unreach-call) 1 wit inspect 68    48    2100 0   0  
pthread-wmm/mix023_tso.oepc_false-unreach-call.i timeout 0 wit inspect 920 750   5400 4800 0      0     error 0 wit inspect 5.5  3.0  270 0   0  
pthread-wmm/mix023_tso.opt_false-unreach-call.i timeout 0 wit inspect 920 740   5000 4800 0      0     error 0 wit inspect 5.9  3.2  280 0   0  
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 250 0      0     false(unreach-call) 1 wit inspect 49    33    2000 0   0  
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 16   2000 330 0      0     false(unreach-call) 1 wit inspect 12    6.4  490 0   0  
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 260 0      0     false(unreach-call) 1 wit inspect 45    31    1800 0   0  
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 16   2000 350 0      0     false(unreach-call) 1 wit inspect 11    5.8  470 0   0  
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 260 0      0     false(unreach-call) 1 wit inspect 50    33    1900 0   0  
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 15   1800 290 0      0     false(unreach-call) 1 wit inspect 11    6.0  440 0   0  
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 260 0      0     false(unreach-call) 1 wit inspect 51    34    1900 0   0  
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 250 0      0     false(unreach-call) 1 wit inspect 51    35    1900 0   0  
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1400 260 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1400 240 0      0     false(unreach-call) 1 wit inspect 33    18    1100 0   0  
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 290 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 15   1800 280 0      0     false(unreach-call) 1 wit inspect 11    5.9  440 0   0  
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 11   1400 240 0      0     false(unreach-call) 1 wit inspect 35    22    1100 0   0  
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 15   1800 330 0      0     false(unreach-call) 1 wit inspect 12    6.3  430 0   0  
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 250 0      0     false(unreach-call) 1 wit inspect 33    19    1200 0   0  
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 12   1400 260 0      0     false(unreach-call) 1 wit inspect 28    16    1000 0   0  
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1800 340 0      0     timeout 0 --- inspect 97    75    2400 0   0  
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 170 98   4000 1600 0      0     false(unreach-call) 1 wit inspect 47    32    2000 0   0  
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1900 360 0      0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 190   4800 2700 0      0     false(unreach-call) 1 wit inspect 48    32    1900 0   0  
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1800 350 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 180   4900 2700 0      0     false(unreach-call) 1 wit inspect 46    31    2000 0   0  
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1900 350 0      0     timeout 0 --- inspect 98    75    2500 0   0  
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 170 110   4000 1300 0      0     false(unreach-call) 1 wit inspect 48    31    2100 0   0  
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1900 370 0      0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 340 190   4800 2300 0      0     false(unreach-call) 1 wit inspect 49    33    2000 0   0  
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 44 19   2100 440 0      0     timeout 0 --- inspect 98    75    2500 0   0  
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 180   4700 2800 0      0     false(unreach-call) 1 wit inspect 45    31    2000 0   0  
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1800 340 0      0     timeout 0 --- inspect 98    76    2400 0   0  
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 330 180   4800 2900 0      0     false(unreach-call) 1 wit inspect 50    33    2000 0   0  
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 140 89   4000 1100 0      0     false(unreach-call) 1 wit inspect 44    27    1600 0   0  
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 150 97   4000 990 0      .090 false(unreach-call) 1 wit inspect 43    27    1700 0   0  
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 260 0      0     false(unreach-call) 1 wit inspect 28    16    1000 0   0  
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 13   1700 300 0      0     false(unreach-call) 1 wit inspect 13    6.6  470 0   0  
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1400 260 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1800 270 0      0     false(unreach-call) 1 wit inspect 13    6.6  480 0   0  
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 270 0      0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 300 0      0     false(unreach-call) 1 wit inspect 12    6.5  480 0   0  
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 41 17   1900 320 0      0     false(unreach-call) 1 wit inspect 10    5.3  430 0   0  
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 17   1900 320 0      0     false(unreach-call) 1 wit inspect 12    6.4  430 0   0  
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1800 330 0      0     timeout 0 wit inspect 94    76    2100 0   0  
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 270 180   4400 2200 0      0     false(unreach-call) 1 wit inspect 59    43    1900 0   0  
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1800 330 0      0     timeout 0 wit inspect 97    73    2300 0   0  
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 270 180   4500 2500 0      .13  false(unreach-call) 1 wit inspect 55    39    2000 0   0  
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 19   1800 340 0      0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290 190   4500 2300 0      0     false(unreach-call) 1 wit inspect 50    35    1900 0   0  
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 19   1900 360 0      0     timeout 0 --- inspect 98    75    2500 0   0  
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 40 18   1800 360 0      0     timeout 0 wit inspect 96    72    2300 0   0  
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1900 330 0      0     timeout 0 --- inspect 98    76    2400 0   0  
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290 190   4400 2100 0      0     false(unreach-call) 1 wit inspect 47    32    1900 0   0  
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1900 360 0      0     timeout 0 --- inspect 98    76    2400 0   0  
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 290 180   4500 2400 0      0     false(unreach-call) 1 wit inspect 51    36    2000 0   0  
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 19   1900 380 0      0     timeout 0 wit inspect 96    77    2300 0   0  
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 280 190   4500 2100 0      0     false(unreach-call) 1 wit inspect 49    34    1900 0   0  
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 350 210   4800 2300 0      0     false(unreach-call) 1 wit inspect 18    9.2  600 0   0  
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 360 210   4800 2400 0      0     false(unreach-call) 1 wit inspect 18    9.2  620 0   0  
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 180 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  320 0   0  
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.1 1200 210 0      0     false(unreach-call) 1 wit inspect 6.8  3.7  280 0   0  
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.8 1200 200 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1300 220 0      0     false(unreach-call) 1 wit inspect 6.6  3.5  260 0   0  
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.9 1200 200 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  320 0   0  
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.1 1200 190 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.8 1200 190 0      0     false(unreach-call) 1 wit inspect 8.8  4.7  310 0   0  
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.2 1300 200 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0  
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 230 0      0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 12   1500 250 0      0     false(unreach-call) 1 wit inspect 8.2  4.3&#