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  370 0   0  
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 230 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 280 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  380 0   0  
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.9 1400 240 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 12   1600 280 0      0     false(unreach-call) 1 wit inspect 8.7  4.6  370 0   0  
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 10   1400 250 0      0     false(unreach-call) 1 wit inspect 31    19    1200 0   0  
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 12   1500 280 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  370 0   0  
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.8 1300 240 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 12   1500 280 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  410 0   0  
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.9 1300 230 0      0     false(unreach-call) 1 wit inspect 37    25    1100 0   0  
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 12   1500 290 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  380 0   0  
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 9.6 1300 240 0      0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35 12   1600 280 0      0     false(unreach-call) 1 wit inspect 9.4  4.9  370 0   0  
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35 12   1900 250 0      0     false(unreach-call) 1 wit inspect 20    11    690 0   0  
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 12   1500 270 0      0     false(unreach-call) 1 wit inspect 9.3  4.9  380 0   0  
pthread-wmm/mix034_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 7.3  3.9  300 0   0  
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  310 0   0  
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 200 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0  
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 190 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.7 1200 180 0      0     false(unreach-call) 1 wit inspect 8.9  4.8  290 0   0  
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 170 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  290 0   0  
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 180 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.9 1300 240 0      0     false(unreach-call) 1 wit inspect 30    18    1100 0   0  
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36 15   1700 310 0      0     false(unreach-call) 1 wit inspect 11    5.6  430 0   0  
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1300 250 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 12   1600 290 0      0     false(unreach-call) 1 wit inspect 8.2  4.4  350 0   0  
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.7 1300 260 0      0     false(unreach-call) 1 wit inspect 30    16    1100 0   0  
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 15   1800 320 0      0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0  
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1300 230 0      0     false(unreach-call) 1 wit inspect 27    15    1100 0   0  
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 260 0      0     false(unreach-call) 1 wit inspect 8.6  4.5  340 0   0  
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 330 0      0     timeout 0 wit inspect 95    78    2100 0   0  
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 270 140   4500 1900 0      0     false(unreach-call) 1 wit inspect 46    31    2000 0   0  
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 41 17   1700 330 0      0     timeout 0 wit inspect 96    71    2400 0   0  
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 150 84   4100 1100 0      0     false(unreach-call) 1 wit inspect 20    11    690 0   0  
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      .090 timeout 0 --- inspect 97    74    2400 0   0  
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 270 140   4500 1900 0      0     false(unreach-call) 1 wit inspect 45    30    2000 0   0  
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 320 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 80   4000 1100 0      0     false(unreach-call) 1 wit inspect 19    10    680 0   0  
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 330 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 150 83   4200 1200 0      0     false(unreach-call) 1 wit inspect 21    11    690 0   0  
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 340 0      0     timeout 0 wit inspect 98    74    2400 0   0  
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 78   4000 1100 0      0     false(unreach-call) 1 wit inspect 21    11    700 0   0  
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1600 340 0      0     timeout 0 wit inspect 95    70    2400 0   0  
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 78   4000 1300 0      0     false(unreach-call) 1 wit inspect 20    11    700 0   0  
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110 69   3900 920 0      0     false(unreach-call) 1 wit inspect 43    27    1800 0   0  
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 80   4000 1200 0      0     false(unreach-call) 1 wit inspect 19    10    700 0   0  
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.5 1300 230 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 270 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  350 0   0  
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1300 250 0      0     false(unreach-call) 1 wit inspect 34    19    1100 0   0  
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 270 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  350 0   0  
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.7 1300 220 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 11   1400 260 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  350 0   0  
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36 12   1800 300 0      0     false(unreach-call) 1 wit inspect 13    6.7  480 0   0  
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 12   1800 290 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  350 0   0  
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 330 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4000 1200 0      0     false(unreach-call) 1 wit inspect 21    11    680 0   0  
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   2000 340 0      0     timeout 0 wit inspect 98    73    2400 0   0  
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4000 1300 0      0     false(unreach-call) 1 wit inspect 20    11    690 0   0  
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 40 17   1700 330 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4000 1100 0      0     false(unreach-call) 1 wit inspect 23    12    690 0   0  
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 300 0      0     timeout 0 wit inspect 96    77    2300 0   0  
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 80   4000 1200 0      0     false(unreach-call) 1 wit inspect 23    12    700 0   0  
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4000 1100 0      0     false(unreach-call) 1 wit inspect 20    10    690 0   0  
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 17   2100 350 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 80   4100 1100 0      0     false(unreach-call) 1 wit inspect 24    12    690 0   0  
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 390 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4100 1400 0      0     false(unreach-call) 1 wit inspect 21    11    700 0   0  
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 210 130   4200 1500 0      0     false(unreach-call) 1 wit inspect 48    33    1900 0   0  
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 140 79   4000 1200 0      0     false(unreach-call) 1 wit inspect 20    10    690 0   0  
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0  
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 150 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.4 1200 200 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  290 0   0  
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.4 1200 160 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1200 190 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  290 0   0  
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 160 0      .090 false(unreach-call) 1 wit inspect 7.3  3.9  310 0   0  
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.2 1200 150 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  310 0   0  
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.4 1200 160 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  320 0   0  
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 9.8 1300 280 0      0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.8 1400 210 0      0     false(unreach-call) 1 wit inspect 12    6.2  430 0   0  
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.7 1300 250 0      0     false(unreach-call) 1 wit inspect 32    18    1100 0   0  
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.7 1400 220 0      0     false(unreach-call) 1 wit inspect 14    7.2  430 0   0  
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1700 240 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.7 1300 230 0      0     false(unreach-call) 1 wit inspect 12    6.5  420 0   0  
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.5 1300 270 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 8.9 1400 240 0      0     false(unreach-call) 1 wit inspect 13    6.8  430 0   0  
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 17   1700 350 0      0     timeout 0 wit inspect 98    74    2400 0   0  
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 91 51   3700 820 0      0     false(unreach-call) 1 wit inspect 23    13    680 0   0  
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 290 0      0     timeout 0 wit inspect 96    71    2400 0   0  
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 110 53   3600 810 0      0     false(unreach-call) 1 wit inspect 22    12    670 0   0  
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 --- inspect 98    72    2400 0   0  
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 110 54   3500 890 0      0     false(unreach-call) 1 wit inspect 22    12    700 0   0  
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 350 0      0     timeout 0 wit inspect 97    74    2400 0   0  
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 91 51   3500 740 0      0     false(unreach-call) 1 wit inspect 23    12    680 0   0  
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 17   1700 320 0      0     timeout 0 --- inspect 98    74    2400 0   0  
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 87 49   3800 800 0      0     false(unreach-call) 1 wit inspect 20    11    710 0   0  
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 42 17   2000 340 0      .090 timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 92 51   3700 720 0      0     false(unreach-call) 1 wit inspect 21    11    680 0   0  
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 300 0      0     timeout 0 --- inspect 97    73    2400 0   0  
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 93 52   3900 760 0      0     false(unreach-call) 1 wit inspect 23    13    680 0   0  
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110 68   3700 790 0      0     false(unreach-call) 1 wit inspect 51    31    1800 0   0  
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 90 50   3800 720 0      0     false(unreach-call) 1 wit inspect 25    13    680 0   0  
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.7 1300 240 0      0     false(unreach-call) 1 wit inspect 31    18    1100 0   0  
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.6 1400 200 0      0     false(unreach-call) 1 wit inspect 12    6.3  420 0   0  
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 9.7 1300 240 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.7 1300 220 0      0     false(unreach-call) 1 wit inspect 12    6.1  430 0   0  
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 9.6 1300 250 0      0     false(unreach-call) 1 wit inspect 27    16    1000 0   0  
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 8.7 1300 210 0      0     false(unreach-call) 1 wit inspect 13    6.5  430 0   0  
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.7 1400 220 0      0     false(unreach-call) 1 wit inspect 13    6.6  420 0   0  
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.9 1300 230 0      0     false(unreach-call) 1 wit inspect 11    5.7  420 0   0  
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 350 0      0     timeout 0 --- inspect 98    74    2400 0   0  
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 95 54   3800 670 0      0     false(unreach-call) 1 wit inspect 23    12    680 0   0  
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 330 0      0     timeout 0 --- inspect 97    74    2400 0   0  
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 93 52   3500 650 0      0     false(unreach-call) 1 wit inspect 21    12    690 0   0  
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 17   1700 320 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 89 50   3800 750 0      0     false(unreach-call) 1 wit inspect 24    13    700 0   0  
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 330 0      0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 91 50   3800 790 0      0     false(unreach-call) 1 wit inspect 25    13    690 0   0  
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   1700 340 0      0     timeout 0 wit inspect 97    72    2400 0   0  
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 94 52   3600 790 0      0     false(unreach-call) 1 wit inspect 22    12    690 0   0  
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 --- inspect 98    74    2400 0   0  
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 91 51   3400 750 0      0     false(unreach-call) 1 wit inspect 24    13    680 0   0  
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 91 51   3900 760 0      0     false(unreach-call) 1 wit inspect 24    13    670 0   0  
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 90 51   3700 720 0      0     false(unreach-call) 1 wit inspect 20    11    680 0   0  
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 93 52   3500 740 0      0     false(unreach-call) 1 wit inspect 22    12    690 0   0  
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.2 1200 190 0      0     false(unreach-call) 1 wit inspect 7.5  3.9  290 0   0  
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 170 0      0     false(unreach-call) 1 wit inspect 6.9  3.6  280 0   0  
pthread-wmm/mix048_pso.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.0  4.2  290 0   0  
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  280 0   0  
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0  
pthread-wmm/mix048_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 7.7  4.1  290 0   0  
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 170 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  290 0   0  
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.5 1500 200 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0  
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 260 0      0     false(unreach-call) 1 wit inspect 25    15    1100 0   0  
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 260 0      0     false(unreach-call) 1 wit inspect 26    14    1100 0   0  
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1300 260 0      0     false(unreach-call) 1 wit inspect 28    15    1100 0   0  
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 260 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 240 0      0     false(unreach-call) 1 wit inspect 25    15    1100 0   0  
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1400 230 0      0     false(unreach-call) 1 wit inspect 30    17    1100 0   0  
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 260 0      0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1400 280 0      0     false(unreach-call) 1 wit inspect 25    15    1100 0   0  
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 310 0      0     timeout 0 wit inspect 97    76    2200 0   0  
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 350 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 330 0      0     timeout 0 wit inspect 95    73    2300 0   0  
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1600 340 0      0     timeout 0 wit inspect 95    71    2400 0   0  
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1600 310 0      0     timeout 0 wit inspect 97    76    2300 0   0  
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 42 17   2000 340 0      0     timeout 0 wit inspect 96    72    2300 0   0  
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 370 0      0     timeout 0 wit inspect 96    74    2400 0   0  
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 330 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 310 0      0     timeout 0 wit inspect 97    73    2400 0   0  
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 0 wit inspect 36 16   1600 290 0      0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 36 16   1700 330 0      0     timeout 0 wit inspect 96    75    2400 0   0  
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 67   4000 1000 0      0     false(unreach-call) 1 wit inspect 14    7.4  490 0   0  
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 wit inspect 96    72    2400 0   0  
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 69   4000 950 0      0     false(unreach-call) 1 wit inspect 14    7.5  480 0   0  
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110 58   3200 840 0      0     false(unreach-call) 1 wit inspect 39    24    1600 0   0  
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 68   4100 990 0      0     false(unreach-call) 1 wit inspect 14    7.5  480 0   0  
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1300 250 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1400 270 0      0     false(unreach-call) 1 wit inspect 25    15    1100 0   0  
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 270 0      0     false(unreach-call) 1 wit inspect 24    14    1100 0   0  
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 11   1500 290 0      0     false(unreach-call) 1 wit inspect 8.4  4.5  270 0   0  
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 250 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 240 0      0     false(unreach-call) 1 wit inspect 8.8  4.7  270 0   0  
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 250 0      0     false(unreach-call) 1 wit inspect 12    6.3  480 0   0  
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 11   1500 280 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  270 0   0  
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 --- inspect 98    75    2400 0   0  
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 68   4000 1000 0      0     false(unreach-call) 1 wit inspect 15    7.6  490 0   0  
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 wit inspect 96    73    2400 0   0  
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 69   4000 1100 0      0     false(unreach-call) 1 wit inspect 15    7.8  470 0   0  
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 310 0      0     timeout 0 wit inspect 96    73    2400 0   0  
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 130 71   4100 1000 0      0     false(unreach-call) 1 wit inspect 17    8.6  500 0   0  
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 180 120   4100 1500 0      0     false(unreach-call) 1 wit inspect 41    27    1700 0   0  
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 120 69   4000 1000 0      0     false(unreach-call) 1 wit inspect 14    7.4  490 0   0  
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.2 1200 180 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  280 0   0  
pthread-wmm/mix054_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.3  3.9  290 0   0  
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1400 190 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  290 0   0  
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  310 0   0  
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.3 1200 180 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  290 0   0  
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 160 0      0     false(unreach-call) 1 wit inspect 8.8  4.6  310 0   0  
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 160 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  310 0   0  
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 170 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 300 0      0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 87 48   3400 660 0      0     false(unreach-call) 1 wit inspect 16    8.2  490 0   0  
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 39 16   2000 330 0      0     timeout 0 wit inspect 96    73    2400 0   0  
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 86 48   3400 680 0      0     false(unreach-call) 1 wit inspect 15    7.6  490 0   0  
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 300 0      0     timeout 0 wit inspect 95    75    2300 0   0  
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 86 47   3500 790 0      0     false(unreach-call) 1 wit inspect 16    8.4  490 0   0  
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110 61   3100 880 0      0     false(unreach-call) 1 wit inspect 41    26    1800 0   0  
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 86 48   3500 700 0      0     false(unreach-call) 1 wit inspect 14    7.5  470 0   0  
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 280 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.5 1300 200 0      0     false(unreach-call) 1 wit inspect 10    5.4  430 0   0  
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1300 260 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.7 1300 220 0      0     false(unreach-call) 1 wit inspect 8.8  4.7  420 0   0  
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1300 230 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.7 1400 260 0      0     false(unreach-call) 1 wit inspect 9.7  5.1  430 0   0  
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.6 1400 210 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  430 0   0  
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.8 1400 230 0      0     false(unreach-call) 1 wit inspect 11    6.0  420 0   0  
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 37 16   1700 350 0      0     timeout 0 wit inspect 96    73    2400 0   0  
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 87 48   3500 650 0      .057 false(unreach-call) 1 wit inspect 16    8.5  480 0   0  
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 350 0      0     timeout 0 --- inspect 98    73    2400 0   0  
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 97 49   3200 660 0      0     false(unreach-call) 1 wit inspect 17    9.0  480 0   0  
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 0 wit inspect 38 16   1700 320 0      0     timeout 0 wit inspect 96    76    2300 0   0  
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 99 48   3400 730 0      0     false(unreach-call) 1 wit inspect 17    8.8  500 0   0  
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 84 47   3300 690 0      0     false(unreach-call) 1 wit inspect 17    8.7  490 0   0  
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 86 47   3400 790 0      0     false(unreach-call) 1 wit inspect 15    7.6  470 0   0  
pthread-wmm/podwr000_power.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.0  4.2  280 0   0  
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.5 1200 180 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  300 0   0  
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 180 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  280 0   0  
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.4 1200 170 0      0     false(unreach-call) 1 wit inspect 7.5  4.1  290 0   0  
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0  
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0  
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.4 1200 190 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  300 0   0  
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  290 0   0  
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1300 300 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 250 0      0     false(unreach-call) 1 wit inspect 32    18    1100 0   0  
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 260 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 280 0      0     false(unreach-call) 1 wit inspect 27    15    1100 0   0  
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1300 270 0      .090 false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1300 290 0      0     false(unreach-call) 1 wit inspect 27    15    1100 0   0  
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1400 260 0      0     false(unreach-call) 1 wit inspect 29    16    1100 0   0  
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1300 280 0      0     false(unreach-call) 1 wit inspect 31    17    1100 0   0  
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36 16   1400 390 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  370 0   0  
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 6.6 1200 180 0      0     false(unreach-call) 1 wit inspect 8.7  4.6  310 0   0  
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36 16   1400 370 0      0     false(unreach-call) 1 wit inspect 8.8  4.6  370 0   0  
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 6.6 1200 170 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  310 0   0  
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36 16   1400 350 0      0     false(unreach-call) 1 wit inspect 9.5  4.9  370 0   0  
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.4 1500 160 0      0     false(unreach-call) 1 wit inspect 8.6  4.5  320 0   0  
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.7 1400 180 0      0     false(unreach-call) 1 wit inspect 8.8  4.7  290 0   0  
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 160 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  310 0   0  
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 160 0      0     false(unreach-call) 1 wit inspect 8.6  4.6  290 0   0  
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 170 0      0     false(unreach-call) 1 wit inspect 9.2  4.8  310 0   0  
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 8.7  4.6  300 0   0  
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 150 0      0     false(unreach-call) 1 wit inspect 8.9  4.7  310 0   0  
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.3 1200 170 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1500 150 0      .090 false(unreach-call) 1 wit inspect 8.6  4.5  310 0   0  
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 8.4 1300 240 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  320 0   0  
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25 8.3 1300 190 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  320 0   0  
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.2 1300 180 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  320 0   0  
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25 8.3 1200 220 0      0     false(unreach-call) 1 wit inspect 9.0  4.7  320 0   0  
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.1 1300 170 0      .090 false(unreach-call) 1 wit inspect 8.8  4.6  320 0   0  
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.2 1300 210 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  320 0   0  
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 210 0      0     false(unreach-call) 1 wit inspect 6.4  3.4  270 0   0  
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.9 1200 190 0      0     false(unreach-call) 1 wit inspect 7.6  4.1  270 0   0  
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.8 1300 180 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  270 0   0  
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 190 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  260 0   0  
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 200 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 8.0 1200 200 0      0     false(unreach-call) 1 wit inspect 6.6  3.6  260 0   0  
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 8.2 1600 230 0      0     false(unreach-call) 1 wit inspect 8.2  4.4  270 0   0  
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.9 1200 180 0      .090 false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 270 0      0     false(unreach-call) 1 wit inspect 6.0  3.2  270 0   0  
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 250 0      0     false(unreach-call) 1 wit inspect 6.1  3.2  270 0   0  
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 270 0      .090 false(unreach-call) 1 wit inspect 6.2  3.3  260 0   0  
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 12   1300 280 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0  
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 240 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 270 0      .090 false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0  
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 230 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 12   1300 260 0      0     false(unreach-call) 1 wit inspect 6.0  3.2  270 0   0  
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 11   1300 230 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  270 0   0  
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 14   1300 260 0      0     false(unreach-call) 1 wit inspect 7.2  3.9  270 0   0  
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47 23   2100 420 0      0     false(unreach-call) 1 wit inspect 18    9.3  480 0   0  
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 48 23   2000 350 0      0     false(unreach-call) 1 wit inspect 13    7.0  480 0   0  
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.6 1500 230 0      0     false(unreach-call) 1 wit inspect 8.2  4.3  270 0   0  
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26 9.7 1600 230 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0  
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 50 24   2000 400 0      0     false(unreach-call) 1 wit inspect 14    7.1  480 0   0  
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 49 24   2100 390 0      0     false(unreach-call) 1 wit inspect 14    7.2  480 0   0  
pthread-wmm/rfi007_power.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.0  3.7  290 0   0  
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.7 1200 220 0      0     false(unreach-call) 1 wit inspect 8.0  4.3  290 0   0  
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.8 1200 210 0      .037 false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0  
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  300 0   0  
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.7 1200 200 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0  
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.8 1400 190 0      0     false(unreach-call) 1 wit inspect 8.3  4.4  280 0   0  
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 8.2 1200 220 0      0     false(unreach-call) 1 wit inspect 9.0  4.7  330 0   0  
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 8.6 1600 220 0      0     false(unreach-call) 1 wit inspect 9.0  4.7  340 0   0  
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 280 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  310 0   0  
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 250 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  280 0   0  
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 13   1300 250 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  300 0   0  
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 250 0      0     false(unreach-call) 1 wit inspect 6.8  3.7  280 0   0  
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 260 0      0     false(unreach-call) 1 wit inspect 8.5  4.5  310 0   0  
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 250 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 13   1300 300 0      0     false(unreach-call) 1 wit inspect 7.8  4.2  310 0   0  
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 250 0      0     false(unreach-call) 1 wit inspect 7.4  4.0  270 0   0  
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 250 0      0     false(unreach-call) 1 wit inspect 8.2  4.4  270 0   0  
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 51 23   2300 460 0      0     false(unreach-call) 1 wit inspect 13    6.5  480 0   0  
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47 23   2000 400 0      0     false(unreach-call) 1 wit inspect 13    6.8  490 0   0  
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 46 22   2000 400 0      0     false(unreach-call) 1 wit inspect 16    8.0  500 0   0  
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.4 1300 220 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  270 0   0  
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 52 23   2300 490 0      0     false(unreach-call) 1 wit inspect 12    6.5  490 0   0  
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 47 23   2100 400 0      0     false(unreach-call) 1 wit inspect 12    6.3  490 0   0  
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 47 22   2000 400 0      0     false(unreach-call) 1 wit inspect 13    6.8  490 0   0  
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 10   1300 250 0      0     false(unreach-call) 1 wit inspect 7.7  4.0  270 0   0  
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 10   1300 230 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0  
pthread-wmm/rfi010_pso.oepc_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.7  270 0   0  
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 10   1300 240 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0  
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 10   1300 230 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 10   1400 240 0      0     false(unreach-call) 1 wit inspect 6.9  3.6  280 0   0  
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 220 0      0     false(unreach-call) 1 wit inspect 7.8  4.2  270 0   0  
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 10   1300 260 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 12   1300 250 0      0     false(unreach-call) 1 wit inspect 8.1  4.3  280 0   0  
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 20   1500 380 0      .090 false(unreach-call) 1 wit inspect 6.3  3.4  270 0   0  
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 9.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.5  3.9  270 0   0  
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 9.6 1200 220 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 250 0      0     false(unreach-call) 1 wit inspect 8.2  4.4  280 0   0  
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36 15   1800 300 0      0     false(unreach-call) 1 wit inspect 13    6.8  470 0   0  
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 36 15   1800 290 0      0     false(unreach-call) 1 wit inspect 16    8.3  480 0   0  
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 16   2100 330 0      0     false(unreach-call) 1 wit inspect 13    6.7  470 0   0  
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.6 1200 200 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36 16   1800 310 0      0     false(unreach-call) 1 wit inspect 14    7.3  480 0   0  
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 210 0      0     false(unreach-call) 1 wit inspect 8.9  4.7  270 0   0  
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 17   1900 340 0      0     false(unreach-call) 1 wit inspect 14    7.5  490 0   0  
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 42 17   1900 320 0      0     false(unreach-call) 1 wit inspect 13    6.8  490 0   0  
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 42 17   1900 340 0      0     false(unreach-call) 1 wit inspect 12    6.1  480 0   0  
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.7 1200 210 0      0     false(unreach-call) 1 wit inspect 7.3  3.8  270 0   0  
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 17   2000 320 0      0     false(unreach-call) 1 wit inspect 12    6.2  490 0   0  
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37 16   1600 360 0      0     false(unreach-call) 1 wit inspect 65    50    1600 0   0  
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 20   1600 340 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0  
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 38 17   1600 350 0      0     false(unreach-call) 1 wit inspect 47    32    1700 0   0  
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 16   1600 360 0      0     false(unreach-call) 1 wit inspect 44    31    1800 0   0  
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37 16   1600 320 0      0     false(unreach-call) 1 wit inspect 47    31    1700 0   0  
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 16   1600 290 0      0     false(unreach-call) 1 wit inspect 49    33    1800 0   0  
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 38 16   1600 350 0      0     false(unreach-call) 1 wit inspect 46    31    1700 0   0  
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 40 18   1900 360 0      0     false(unreach-call) 1 wit inspect 13    6.9  480 0   0  
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 39 17   1800 320 0      0     false(unreach-call) 1 wit inspect 44    30    1700 0   0  
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 41 19   1900 330 0      0     false(unreach-call) 1 wit inspect 15    7.6  480 0   0  
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37 16   1600 300 0      0     false(unreach-call) 1 wit inspect 49    33    1700 0   0  
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 39 18   1900 280 0      0     false(unreach-call) 1 wit inspect 14    7.3  470 0   0  
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 44 20   2100 360 0      0     false(unreach-call) 1 wit inspect 12    6.2  480 0   0  
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44 19   2000 350 0      0     false(unreach-call) 1 wit inspect 14    7.1  480 0   0  
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   2200 420 0      0     false(unreach-call) 1 wit inspect 12    6.4  500 0   0  
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   2200 400 0      0     false(unreach-call) 1 wit inspect 14    7.2  490 0   0  
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 44 19   2000 370 0      0     false(unreach-call) 1 wit inspect 13    6.8  490 0   0  
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 43 19   2000 350 0      0     false(unreach-call) 1 wit inspect 13    6.7  480 0   0  
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.6 1200 180 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  270 0   0  
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.1 1200 210 0      0     false(unreach-call) 1 wit inspect 6.5  3.4  270 0   0  
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 6.4  3.5  270 0   0  
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.5 1200 180 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  270 0   0  
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.8 1200 170 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 74 47   2000 510 0      0     false(unreach-call) 1 wit inspect 9.7  5.1  360 0   0  
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 200 0      0     false(unreach-call) 1 wit inspect 6.5  3.5  260 0   0  
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  260 0   0  
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.6 1200 210 0      0     false(unreach-call) 1 wit inspect 22    11    690 0   0  
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 38 18   1500 370 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 19    10    690 0   0  
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.6 1200 210 0      0     false(unreach-call) 1 wit inspect 21    11    700 0   0  
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.6 1200 210 0      0     false(unreach-call) 1 wit inspect 21    11    710 0   0  
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 7.9 1200 220 0      0     false(unreach-call) 1 wit inspect 22    11    710 0   0  
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 27 12   1300 260 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 17   1500 330 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  270 0   0  
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 11   1400 230 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  270 0   0  
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  330 0   0  
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 170 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  320 0   0  
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  320 0   0  
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 160 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  320 0   0  
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.0 1200 170 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  330 0   0  
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1500 150 0      0     false(unreach-call) 1 wit inspect 9.7  5.1  320 0   0  
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.7 1200 190 0      0     false(unreach-call) 1 wit inspect 22    12    700 0   0  
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1500 250 0      0     false(unreach-call) 1 wit inspect 12    6.5  480 0   0  
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.5 1200 210 0      0     false(unreach-call) 1 wit inspect 22    12    690 0   0  
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 11   1800 250 0      0     false(unreach-call) 1 wit inspect 12    6.4  470 0   0  
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 20    10    700 0   0  
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.7 1200 220 0      0     false(unreach-call) 1 wit inspect 21    11    690 0   0  
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.8 1200 200 0      0     false(unreach-call) 1 wit inspect 6.6  3.5  270 0   0  
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 71 46   1900 510 0      0     false(unreach-call) 1 wit inspect 9.2  4.9  350 0   0  
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35 13   1700 320 0      0     false(unreach-call) 1 wit inspect 11    5.7  430 0   0  
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 270 0      0     false(unreach-call) 1 wit inspect 13    6.7  440 0   0  
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.6 1200 170 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  270 0   0  
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 13   1700 240 0      0     false(unreach-call) 1 wit inspect 11    5.6  440 0   0  
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 51 20   1700 360 0      0     false(unreach-call) 1 wit inspect 12    6.0  440 0   0  
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 13   1700 310 0      0     false(unreach-call) 1 wit inspect 11    5.7  430 0   0  
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37 13   1800 290 0      0     false(unreach-call) 1 wit inspect 13    6.8  440 0   0  
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 290 0      0     false(unreach-call) 1 wit inspect 12    6.1  440 0   0  
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 270 0      0     false(unreach-call) 1 wit inspect 12    6.5  440 0   0  
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 36 13   1700 300 0      0     false(unreach-call) 1 wit inspect 14    7.4  440 0   0  
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.8 1200 190 0      0     false(unreach-call) 1 wit inspect 7.2  3.9  270 0   0  
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 8.2 1200 200 0      0     false(unreach-call) 1 wit inspect 7.8  4.2  270 0   0  
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 180 0      0     false(unreach-call) 1 wit inspect 6.3  3.3  270 0   0  
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 61 36   2000 520 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0  
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 13   1300 240 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0  
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 63 37   2100 560 0      0     false(unreach-call) 1 wit inspect 7.1  3.7  280 0   0  
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 56 33   2100 450 0      0     false(unreach-call) 1 wit inspect 7.0  3.8  270 0   0  
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 58 34   2000 480 0      0     false(unreach-call) 1 wit inspect 6.7  3.5  270 0   0  
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 13   1300 230 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  280 0   0  
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 580 440   4500 3300 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.4 1200 200 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 500 400   4500 2700 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 20    10    690 0   0  
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 35 11   1200 300 0      0     false(unreach-call) 1 wit inspect 19    10    710 0   0  
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.4 1200 220 0      0     false(unreach-call) 1 wit inspect 25    13    700 0   0  
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 20    10    700 0   0  
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.5 1200 200 0      0     false(unreach-call) 1 wit inspect 19    10    700 0   0  
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 25 7.6 1300 220 0      0     false(unreach-call) 1 wit inspect 22    12    700 0   0  
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 8.2 1400 200 0      0     false(unreach-call) 1 wit inspect 7.8  4.2  260 0   0  
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 63 39   2000 470 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 180 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0  
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 46 23   1700 380 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 12   1300 270 0      0     false(unreach-call) 1 wit inspect 8.0  4.3  280 0   0  
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 830 680   4600 4400 0      0     false(unreach-call) 1 wit inspect 8.2  4.3  270 0   0  
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.6 1200 190 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 260 190   3400 1900 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  270 0   0  
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65 41   2100 490 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  270 0   0  
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 67 41   2100 450 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 44 22   1700 430 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 44 22   1700 370 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1400 280 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 250 0      0     false(unreach-call) 1 wit inspect 12    6.1  470 0   0  
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 260 0      .090 false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1500 250 0      0     false(unreach-call) 1 wit inspect 12    6.4  480 0   0  
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 240 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 260 0      0     false(unreach-call) 1 wit inspect 28    16    1100 0   0  
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  290 0   0  
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.4 1200 180 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  280 0   0  
pthread-wmm/safe022_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 6.7  3.6  280 0   0  
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.5 1200 190 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  290 0   0  
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.4 1200 210 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  290 0   0  
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 7.8 1500 180 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  290 0   0  
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 100 65   3000 1000 0      .090 false(unreach-call) 1 wit inspect 28    17    1000 0   0  
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 100 67   3000 1000 0      0     false(unreach-call) 1 wit inspect 27    17    1000 0   0  
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 100 66   3000 850 0      0     false(unreach-call) 1 wit inspect 31    19    1000 0   0  
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 100 67   3000 810 0      0     false(unreach-call) 1 wit inspect 32    19    980 0   0  
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 110 70   3000 840 0      0     false(unreach-call) 1 wit inspect 32    18    990 0   0  
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 110 71   3000 750 0      0     false(unreach-call) 1 wit inspect 32    19    1000 0   0  
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 280 0      0     false(unreach-call) 1 wit inspect 12    6.3  440 0   0  
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 37 13   1700 350 0      0     false(unreach-call) 1 wit inspect 13    7.0  440 0   0  
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 37 14   1700 290 0      0     false(unreach-call) 1 wit inspect 12    6.3  430 0   0  
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 280 0      0     false(unreach-call) 1 wit inspect 11    5.8  430 0   0  
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 35 13   1800 290 0      0     false(unreach-call) 1 wit inspect 11    5.7  450 0   0  
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 300 0      0     false(unreach-call) 1 wit inspect 11    5.7  440 0   0  
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 28 13   1300 260 0      0     false(unreach-call) 1 wit inspect 6.5  3.5  280 0   0  
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 12   1300 260 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0  
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 59 34   2100 470 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  270 0   0  
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 59 34   2100 420 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  270 0   0  
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 10   1300 250 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 250 0      0     false(unreach-call) 1 wit inspect 32    18    1100 0   0  
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 31 10   1300 290 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1300 280 0      0     false(unreach-call) 1 wit inspect 27    16    1100 0   0  
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 250 0      0     false(unreach-call) 1 wit inspect 29    17    1100 0   0  
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 30 10   1300 270 0      0     false(unreach-call) 1 wit inspect 26    15    1100 0   0  
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 29 14   1300 310 0      0     false(unreach-call) 1 wit inspect 8.4  4.5  280 0   0  
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 690 560   4500 4700 0      0     false(unreach-call) 1 wit inspect 8.4  4.5  280 0   0  
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 9.8 1300 230 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0  
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 9.6 1200 210 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  270 0   0  
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 67 42   2200 480 0      0     false(unreach-call) 1 wit inspect 7.2  3.8  270 0   0  
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 67 41   2100 640 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  270 0   0  
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 45 23   1700 420 0      0     false(unreach-call) 1 wit inspect 6.5  3.5  270 0   0  
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 45 23   1700 420 0      0     false(unreach-call) 1 wit inspect 7.1  3.8  270 0   0  
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 7.6  4.0  320 0   0  
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.0 1200 180 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  310 0   0  
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 7.8  4.1  320 0   0  
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.2 1200 150 0      0     false(unreach-call) 1 wit inspect 7.9  4.2  300 0   0  
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.1 1200 150 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  320 0   0  
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.1 1200 180 0      0     false(unreach-call) 1 wit inspect 9.2  4.9  310 0   0  
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.8 1500 210 0      0     false(unreach-call) 1 wit inspect 19    10    700 0   0  
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 8.4 1300 210 0      0     false(unreach-call) 1 wit inspect 9.3  4.9  420 0   0  
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.7 1200 210 0      0     false(unreach-call) 1 wit inspect 22    12    710 0   0  
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 8.3 1300 220 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  420 0   0  
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 26 7.6 1200 200 0      0     false(unreach-call) 1 wit inspect 24    12    710 0   0  
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.5 1300 220 0      0     false(unreach-call) 1 wit inspect 8.6  4.5  420 0   0  
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 300 0      0     false(unreach-call) 1 wit inspect 11    5.7  430 0   0  
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 28 8.6 1400 220 0      0     false(unreach-call) 1 wit inspect 10    5.3  420 0   0  
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1800 270 0      0     false(unreach-call) 1 wit inspect 13    6.7  440 0   0  
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 27 8.5 1400 200 0      0     false(unreach-call) 1 wit inspect 9.2  4.8  430 0   0  
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 13   1700 280 0      0     false(unreach-call) 1 wit inspect 12    6.0  450 0   0  
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 29 8.6 1400 240 0      0     false(unreach-call) 1 wit inspect 9.1  4.8  420 0   0  
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 67 38   2600 610 0      0     false(unreach-call) 1 wit inspect 21    12    690 0   0  
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 67 38   2400 550 0      0     false(unreach-call) 1 wit inspect 22    12    690 0   0  
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65 37   2400 530 0      0     false(unreach-call) 1 wit inspect 22    12    700 0   0  
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 70 39   2600 560 0      0     false(unreach-call) 1 wit inspect 25    14    690 0   0  
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 65 37   2500 600 0      0     false(unreach-call) 1 wit inspect 20    11    690 0   0  
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 68 39   2600 530 0      0     false(unreach-call) 1 wit inspect 21    12    700 0   0  
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.1 1300 200 0      0     false(unreach-call) 1 wit inspect 6.2  3.4  270 0   0  
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.9 1300 190 0      0     false(unreach-call) 1 wit inspect 6.8  3.7  270 0   0  
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.8 1200 210 0      0     false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0  
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 23 7.8 1300 200 0      0     false(unreach-call) 1 wit inspect 7.6  4.1  270 0   0  
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 25 8.2 1200 210 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 24 8.0 1200 160 0      0     false(unreach-call) 1 wit inspect 7.5  4.0  270 0   0  
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 250 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  280 0   0  
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 33 11   1500 260 0      0     false(unreach-call) 1 wit inspect 8.0  4.2  290 0   0  
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 34 11   1500 280 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0  
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 32 11   1500 260 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0  
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 30 11   1400 260 0      0     false(unreach-call) 1 wit inspect 7.3  3.9  280 0   0  
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 31 11   1500 250 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  290 0   0  
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 210 0      0     false(unreach-call) 1 wit inspect 6.2  3.4  270 0   0  
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 26 9.4 1200 210 0      0     false(unreach-call) 1 wit inspect 6.2  3.3  270 0   0  
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.5 1300 190 0      0     false(unreach-call) 1 wit inspect 6.7  3.6  260 0   0  
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 200 0      0     false(unreach-call) 1 wit inspect 6.3  3.4  260 0   0  
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.8 1300 200 0      0     false(unreach-call) 1 wit inspect 6.4  3.4  270 0   0  
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 73 47   2000 530 0      0     false(unreach-call) 1 wit inspect 8.9  4.7  350 0   0  
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 21 7.6 1200 160 0      0     false(unreach-call) 1 wit inspect 6.0  3.2  260 0   0  
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 22 7.7 1200 160 0      0     false(unreach-call) 1 wit inspect 7.4  3.9  260 0   0  
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 23 8.0 1300 200 0      0     false(unreach-call) 1 wit inspect 8.0  4.3  290 0   0  
pthread-wmm/thin002_power.opt_false-unreach-call.i timeout 0 wit inspect 920 710   5100 5600 0      0     error 0 wit inspect 4.9  2.7  270 0   0  
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.7 1200 150 0      0     false(unreach-call) 1 wit inspect 7.7  4.1  280 0   0  
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.8 1200 180 0      0     false(unreach-call) 1 wit inspect 6.8  3.6  290 0   0  
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 2 wit inspect 41 18   1700 380 0      0     - --- inspect
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2 wit inspect 40 18   1700 300 0      0     - --- inspect
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2 wit inspect 42 21   1600 450 0      .025 - --- inspect
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2 wit inspect 42 21   1600 350 0      0     - --- inspect
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2 wit inspect 43 21   1600 420 0      0     - --- inspect
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2 wit inspect 43 21   1600 370 0      0     - --- inspect
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2 wit inspect 42 21   1600 340 0      0     - --- inspect
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2 wit inspect 44 21   1600 390 0      0     - --- inspect
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 2 wit inspect 70 44   2000 540 0      0     - --- inspect
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 2 wit inspect 70 45   2000 520 0      0     - --- inspect
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 2 wit inspect 49 27   1700 510 0      0     - --- inspect
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 2 wit inspect 51 28   1700 470 0      0     - --- inspect
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2 wit inspect 27 7.4 1400 210 0      0     - --- inspect
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2 wit inspect 26 7.3 1600 200 0      0     - --- inspect
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2 wit inspect 25 7.1 1300 190 0      0     - --- inspect
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2 wit inspect 26 7.3 1400 190 0      0     - --- inspect
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2 wit inspect 24 7.1 1600 170 0      0     - --- inspect
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2 wit inspect 26 7.3 1400 210 0      0     - --- inspect
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2 wit inspect 26 7.2 1500 200 0      0     - --- inspect
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2 wit inspect 23 7.0 1300 180 0      0     - --- inspect
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2 wit inspect 26 8.0 1500 210 0      0     - --- inspect
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2 wit inspect 26 8.0 1400 210 0      0     - --- inspect
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2 wit inspect 27 8.1 1500 230 0      0     - --- inspect
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2 wit inspect 25 8.0 1400 180 0      .090 - --- inspect
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2 wit inspect 25 8.2 1700 210 0      0     - --- inspect
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2 wit inspect 27 8.3 1500 230 0      0     - --- inspect
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 2 wit inspect 16 4.7 1300 130 0      0     - --- inspect
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 120 0      0     - --- inspect
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2 wit inspect 23 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2 wit inspect 22 6.3 1300 180 0      .090 - --- inspect
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 150 0      0     - --- inspect
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 180 0      0     - --- inspect
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 170 0      0     - --- inspect
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2 wit inspect 22 6.2 1300 190 0      0     - --- inspect
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2 wit inspect 24 6.5 1300 160 0      0     - --- inspect
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2 wit inspect 22 6.5 1300 170 0      0     - --- inspect
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2 wit inspect 24 6.6 1300 170 0      0     - --- inspect
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2 wit inspect 24 6.7 1300 210 0      0     - --- inspect
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 2 wit inspect 16 4.6 1300 140 0      .090 - --- inspect
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 2 wit inspect 17 4.7 1200 110 0      0     - --- inspect
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.3 1300 160 0      0     - --- inspect
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2 wit inspect 22 6.1 1300 150 0      0     - --- inspect
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.3 1300 170 0      0     - --- inspect
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2 wit inspect 21 6.2 1300 150 0      0     - --- inspect
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.3 1300 160 0      0     - --- inspect
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2 wit inspect 24 6.6 1300 190 0      0     - --- inspect
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2 wit inspect 24 7.5 1500 200 0      0     - --- inspect
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2 wit inspect 25 7.5 1400 170 0      0     - --- inspect
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2 wit inspect 28 7.7 1500 200 0      .090 - --- inspect
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2 wit inspect 26 7.4 1500 180 0      0     - --- inspect
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2 wit inspect 26 7.6 1500 200 0      0     - --- inspect
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2 wit inspect 24 7.4 1500 170 0      0     - --- inspect
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2 wit inspect 26 7.7 1500 200 0      0     - --- inspect
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2 wit inspect 25 7.7 1500 200 0      0     - --- inspect
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 2 wit inspect 73 35   3800 590 0      0     - --- inspect
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 2 wit inspect 70 34   3600 550 0      0     - --- inspect
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 2 wit inspect 67 34   3400 570 0      0     - --- inspect
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 2 wit inspect 71 35   3600 610 0      0     - --- inspect
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2 wit inspect 24 6.6 1300 200 0      0     - --- inspect
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 2 wit inspect 22 6.1 1300 180 0      0     - --- inspect
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 2 wit inspect 23 6.2 1300 160 0      0     - --- inspect
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 170 0      0     - --- inspect
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 2 wit inspect 21 6.0 1200 180 0      0     - --- inspect
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 2 wit inspect 70 28   3000 580 0      0     - --- inspect
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 2 wit inspect 55 27   2900 490 0      0     - --- inspect
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 2 wit inspect 59 27   3000 520 0      0     - --- inspect
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 2 wit inspect 60 28   3000 450 0      0     - --- inspect
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 160 0      0     - --- inspect
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2 wit inspect 22 6.2 1300 190 0      0     - --- inspect
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1600 180 0      0     - --- inspect
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.2 1300 190 0      0     - --- inspect
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 170 0      0     - --- inspect
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 160 0      0     - --- inspect
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 2 wit inspect 17 4.7 1200 130 0      0     - --- inspect
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 2 wit inspect 16 4.7 1300 120 0      0     - --- inspect
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2 wit inspect 26 7.6 1500 190 0      0     - --- inspect
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2 wit inspect 24 7.4 1500 190 0      0     - --- inspect
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.5 1300 190 0      0     - --- inspect
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2 wit inspect 26 7.6 1500 210 0      0     - --- inspect
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2 wit inspect 25 7.6 1500 210 0      0     - --- inspect
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2 wit inspect 25 7.6 1500 200 0      0     - --- inspect
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2 wit inspect 24 7.7 1400 190 0      0     - --- inspect
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2 wit inspect 22 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 2 wit inspect 47 21   2600 370 0      0     - --- inspect
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 2 wit inspect 48 21   2500 420 0      0     - --- inspect
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 2 wit inspect 48 21   2700 430 0      0     - --- inspect
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 2 wit inspect 48 21   2600 430 0      0     - --- inspect
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2 wit inspect 22 6.2 1300 160 0      0     - --- inspect
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 170 0      0     - --- inspect
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.3 1300 190 0      0     - --- inspect
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2 wit inspect 22 6.1 1300 160 0      0     - --- inspect
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 2 wit inspect 17 4.7 1200 130 0      0     - --- inspect
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 2 wit inspect 16 4.7 1200 120 0      0     - --- inspect
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2 wit inspect 24 6.4 1300 180 0      0     - --- inspect
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2 wit inspect 22 6.3 1300 180 0      0     - --- inspect
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2 wit inspect 24 6.6 1300 180 0      0     - --- inspect
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 160 0      0     - --- inspect
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2 wit inspect 26 7.6 1500 200 0      0     - --- inspect
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2 wit inspect 25 7.6 1400 180 0      0     - --- inspect
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 2 wit inspect 17 4.7 1200 130 0      0     - --- inspect
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 2 wit inspect 16 4.7 1200 120 0      0     - --- inspect
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2 wit inspect 23 6.6 1300 180 0      0     - --- inspect
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2 wit inspect 24 6.6 1300 170 0      0     - --- inspect
pthread-wmm/safe035_power.oepc_true-unreach-call.i timeout 0 wit inspect 920 740   5400 6100 0      0     - --- inspect
pthread-wmm/safe035_power.opt_true-unreach-call.i timeout 0 wit inspect 920 730   5300 5400 0      0     - --- inspect
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2 wit inspect 28 8.0 1500 200 0      0     - --- inspect
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2 wit inspect 26 8.1 1500 220 0      0     - --- inspect
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2 wit inspect 29 8.1 1700 220 0      0     - --- inspect
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2 wit inspect 28 8.0 1500 200 0      0     - --- inspect
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2 wit inspect 26 8.1 1500 200 0      0     - --- inspect
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2 wit inspect 25 8.0 1500 200 0      0     - --- inspect
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 2 wit inspect 17 4.9 1200 130 0      0     - --- inspect
pthread-wmm/safe036_power.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 2 wit inspect 17 4.8 1200 110 0      0     - --- inspect
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 140 0      0     - --- inspect
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 2 wit inspect 16 4.7 1300 130 0      0     - --- inspect
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2 wit inspect 25 6.9 1300 200 0      0     - --- inspect
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2 wit inspect 24 6.7 1300 180 0      0     - --- inspect
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 2 wit inspect 22 6.4 1500 170 0      0     - --- inspect
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2 wit inspect 23 6.7 1300 180 0      0     - --- inspect
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2 wit inspect 24 6.7 1300 180 0      0     - --- inspect
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2 wit inspect 22 6.6 1300 190 0      0     - --- inspect
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2 wit inspect 21 6.3 1500 180 0      0     - --- inspect
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.7 1300 180 0      0     - --- inspect
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 2 wit inspect 17 4.7 1200 120 0      0     - --- inspect
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 2 wit inspect 16 4.7 1300 110 0      0     - --- inspect
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 2 wit inspect 16 4.7 1200 130 0      0     - --- inspect
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 2 wit inspect 17 4.8 1200 130 0      0     - --- inspect
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2 wit inspect 22 6.4 1600 160 0      0     - --- inspect
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 180 0      0     - --- inspect
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2 wit inspect 22 6.3 1300 180 0      0     - --- inspect
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2 wit inspect 23 6.3 1300 180 0      0     - --- inspect
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 2 wit inspect 66 26   2900 560 0      0     - --- inspect
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 2 wit inspect 53 24   2900 460 0      0     - --- inspect
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 2 wit inspect 54 24   2900 410 0      0     - --- inspect
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 2 wit inspect 54 25   2800 400 0      0     - --- inspect
pthread-lit/fkp2013_false-unreach-call.i unknown 0 --- inspect 15 4.4 1200 120 0      0     error (invalid witness file) 0 --- inspect .60 .36 41 0   0  
pthread-lit/fkp2013_variant_false-unreach-call.i unknown 0 --- inspect 14 4.2 1300 100 0      0     error (invalid witness file) 0 --- inspect .61 .38 41 0   0  
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 1 wit inspect 16 4.5 1400 110 0      0     false(unreach-call) 1 wit inspect 5.7  3.1  250 0   0  
pthread-lit/fk2012_true-unreach-call.i unknown 0 --- inspect 17 5.2 1200 130 0      0     - --- inspect
pthread-lit/fkp2013_true-unreach-call.i unknown 0 --- inspect 15 4.4 1200 120 0      0     - --- inspect
pthread-lit/fkp2013_variant_true-unreach-call.i unknown 0 --- inspect 15 4.3 1200 110 0      0     - --- inspect
pthread-lit/fkp2014_true-unreach-call.i unknown 0 --- inspect 14 4.3 1300 110 0      0     - --- inspect
pthread-lit/qw2004_true-unreach-call.i true 2 wit inspect 15 4.6 1400 120 0      0     - --- inspect
pthread-lit/qw2004_variant_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 110 0      0     - --- inspect
pthread-lit/sssc12_true-unreach-call.i unknown 0 --- inspect 15 4.4 1300 120 0      0     - --- inspect
pthread-lit/sssc12_variant_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 100 0      0     - --- inspect
ldv-races/race-1_1-join_true-unreach-call.i true 2 wit inspect 19 6.1 1200 170 0      0     - --- inspect
ldv-races/race-2_1-container_of_true-unreach-call.i false(unreach-call) -16 wit inspect 21 6.6 1200 170 .0082 0     - --- inspect
ldv-races/race-3_1-container_of-global_true-unreach-call.i false(unreach-call) -16 wit inspect 22 6.7 1200 160 .0082 0     - --- inspect
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i true 2 wit inspect 21 6.6 1200 150 0      0     - --- inspect
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 1 wit inspect 19 5.9 1200 150 0      0     false(unreach-call) 1 wit inspect 6.6  3.6  260 0   0  
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 1 wit inspect 18 5.8 1200 160 0      0     false(unreach-call) 1 wit inspect 7.0  3.7  260 0   0  
ldv-races/race-2_2-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 19 6.0 1200 150 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 19 6.0 1200 150 0      0     false(unreach-call) 1 wit inspect 6.9  3.7  270 0   0  
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 20 6.2 1200 160 0      0     false(unreach-call) 1 wit inspect 6.1  3.3  260 0   0  
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect 19 6.1 1200 160 0      0     false(unreach-call) 1 wit inspect 6.3  3.4  260 0   0  
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 1 wit inspect 21 6.7 1500 170 .0082 0     false(unreach-call) 1 wit inspect 6.7  3.6  270 0   0  
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 1 wit inspect 22 6.9 1200 160 0      0     false(unreach-call) 1 wit inspect 6.2  3.3  260 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i unknown 0 --- inspect 870 760   4500 7700 0      0     error (invalid witness file) 0 --- inspect .61 .37 40 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i unknown 0 --- inspect 750 680   3000 6800 0      0     error (invalid witness file) 0 --- inspect .62 .38 42 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i unknown 0 --- inspect 540 490   3300 4200 0      0     error (invalid witness file) 0 --- inspect .60 .38 41 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i timeout 0 --- inspect 910 830   2800 7400 0      0     error (invalid witness file) 0 --- inspect .63 .39 42 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i timeout 0 wit inspect 910 800   3300 7800 0      0     error 0 --- inspect 7.8  4.1  290 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i timeout 0 --- inspect 910 830   3100 7400 0      0     error (invalid witness file) 0 --- inspect .59 .36 40 0   0  
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i unknown 0 --- inspect 870 760   4500 9000 0      0     - --- inspect
pthread-complex/bounded_buffer_false-unreach-call.i unknown 0 --- inspect 24 9.3 1300 190 0      0     error (invalid witness file) 0 --- inspect .63 .38 41 0   0  
pthread-complex/elimination_backoff_stack_false-unreach-call.i unknown 0 --- inspect 26 11   1200 220 0      0     error (invalid witness file) 0 --- inspect .59 .37 40 0   0  
pthread-complex/safestack_relacy_false-unreach-call.i timeout 0 --- inspect 920 850   9400 3600 0      0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0  
pthread-complex/workstealqueue_mutex_false-unreach-call.i timeout 0 --- inspect 920 850   9500 2800 0      0     error (invalid witness file) 0 --- inspect .74 .45 41 0   0  
pthread-complex/workstealqueue_mutex_true-unreach-call.i timeout 0 --- inspect 920 850   8900 4400 0      0     - --- inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i unknown 0 --- inspect 370 340   3400 2900 0      .074 - --- inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i unknown 0 --- inspect 380 340   3000 2700 0      0     - --- inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i unknown 0 --- inspect 400 360   3500 2800 0      0     - --- inspect
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i unknown 0 --- inspect 380 350   3300 3700 0      0     - --- inspect
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i unknown 0 --- inspect 380 350   3400 2800 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i unknown 0 --- inspect 450 400   4300 3300 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i unknown 0 --- inspect 430 390   4100 3900 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i unknown 0 --- inspect 440 400   3600 3000 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i unknown 0 --- inspect 470 430   3300 3500 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i unknown 0 --- inspect 460 410   4300 3600 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i unknown 0 --- inspect 440 400   3200 3100 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i unknown 0 --- inspect 450 400   3800 3100 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i unknown 0 --- inspect 470 420   4200 3000 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i unknown 0 --- inspect 440 400   3700 3600 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i unknown 0 --- inspect 430 390   3600 3100 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i unknown 0 --- inspect 450 410   3900 3100 0      0     - --- inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i unknown 0 --- inspect 460 420   4200 3200 0      0     - --- inspect
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i unknown 0 --- inspect 350 320   3000 3500 0      0     error (invalid witness file) 0 --- inspect .61 .37 41 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i unknown 0 --- inspect 460 430   3500 3800 0      0     error (invalid witness file) 0 --- inspect .62 .38 40 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i unknown 0 --- inspect 430 390   3900 3000 0      0     error (invalid witness file) 0 --- inspect .61 .38 42 0   0  
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i unknown 0 --- inspect 450 400   3900 3000 0      0     error (invalid witness file) 0 --- inspect .63 .39 40 0   0  
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 2 wit inspect 370 320   4200 3900 0      .090 - --- inspect
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i unknown 0 --- inspect 890 850   14000 11000 0      0     - --- inspect
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i unknown 0 --- inspect 18 5.6 1300 140 0      0     - --- inspect
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i timeout 0 wit inspect 900 840   4200 10000 0      0     error 0 --- inspect 4.4  2.4  260 0   0  
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i false(unreach-call) 1 wit inspect 16 4.5 1200 110 0      0     false(unreach-call) 1 wit inspect 4.9  2.7  250 0   0  
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i false(unreach-call) 0 wit inspect 21 6.5 1300 170 .0082 0     true -32 wit inspect 5.3  2.9  260 0   0  
pthread-divine/one_time_barrier_2t_false-unreach-call.i unknown 0 --- inspect 18 5.7 1500 140 0      0     error (invalid witness file) 0 --- inspect .60 .37 42 0   0  
pthread-divine/one_time_barrier_3t_false-unreach-call.i unknown 0 --- inspect 19 5.6 1200 140 0      0     error (invalid witness file) 0 --- inspect .63 .39 41 0   0  
pthread-divine/ring_1w1r_false-unreach-call.i unknown 0 --- inspect 16 5.0 1200 120 0      0     error (invalid witness file) 0 --- inspect .76 .48 42 0   0  
pthread-divine/ring_2w1r_false-unreach-call.i unknown 0 --- inspect 19 5.8 1100 140 0      0     error (invalid witness file) 0 --- inspect .65 .40 40 0   0  
pthread-divine/tls_destructor_worker_false-unreach-call.i false(unreach-call) 1 wit inspect 14 4.2 1300 99 0      0     false(unreach-call) 1 wit inspect 4.6  2.5  270 0   0  
pthread-divine/barrier_2t_true-unreach-call.i unknown 0 --- inspect 20 6.2 1500 150 0      0     - --- inspect
pthread-divine/barrier_3t_true-unreach-call.i unknown 0 --- inspect 20 6.0 1200 140 0      0     - --- inspect
pthread-divine/condvar_true-unreach-call.i true 2 wit inspect 18 5.0 1200 110 0      0     - --- inspect
pthread-divine/divinefifo_1w1r_true-unreach-call.i false(unreach-call) -16 wit inspect 21 6.7 1300 180 .0082 0     - --- inspect
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i unknown 0 --- inspect 18 5.7 1500 160 0      0     - --- inspect
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i unknown 0 --- inspect 19 5.9 1500 150 0      0     - --- inspect
pthread-divine/ring_1w1r_true-unreach-call.i unknown 0 --- inspect 16 5.0 1200 130 0      0     - --- inspect
pthread-divine/ring_2w1r_true-unreach-call.i unknown 0 --- inspect 18 5.8 1200 140 0      0     - --- inspect
pthread-divine/tls_basic_true-unreach-call.i false(unreach-call) -16 wit inspect 13 4.4 1300 110 .0041 0     - --- inspect
pthread-nondet/nondet-array_false-unreach-call.i unknown 0 --- inspect 16 4.5 1200 120 0      0     error (invalid witness file) 0 --- inspect .74 .45 41 0   0  
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i unknown 0 --- inspect 14 4.3 1300 100 0      0     error (invalid witness file) 0 --- inspect .61 .40 42 0   0  
pthread-nondet/nondet-loop-bound_false-unreach-call.i unknown 0 --- inspect 14 4.2 1300 100 0      0     error (invalid witness file) 0 --- inspect .59 .37 42 0   0  
pthread-nondet/nondet-array_true-unreach-call.i unknown 0 --- inspect 16 4.5 1200 110 0      0     - --- inspect
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i unknown 0 --- inspect 15 4.4 1300 130 0      0     - --- inspect
pthread-nondet/nondet-loop-bound_true-unreach-call.i unknown 0 --- inspect 16 4.6 1200 110 0      0     - --- inspect
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)
total 1082 937 95000 61000 2100000 730000 .045  4.0  820 637 21000   14000   650000 0   0  
    correct results 835 1001 55000 29000 1600000 430000 .0082 3.3  669 669 11000   6200   400000 0   0  
        correct true 166 332 5700 2600 260000 47000 0      .66 0
        correct false 669 669 49000 26000 1300000 380000 .0082 2.7  669 669 11000   6200   400000 0   0  
    correct-unconfimed results 103 0 4100 1800 180000 35000 .0082 .36 0
        correct-unconfirmed true 0 0
        correct-unconfirmed false 103 0 4100 1800 180000 35000 .0082 .36 0
    incorrect results 4 -64 77 24 5100 610 .029  0    1 -32 5.3 2.9 260 0   0  
        incorrect true 0 1 -32 5.3 2.9 260 0   0  
        incorrect false 4 -64 77 24 5100 610 .029  0    0
score (1082 tasks, max score: 1344) 937 637
Run set pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main cpa-seq-validate-violation-witnesses-pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main