Tool Yogar-CBMC CPAchecker 1.6.1-svn 26773
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-03 05:13:53 CET 2017-12-03 06:14:41 CET
Run set yogar-cbmc.sv-comp18 cpa-seq-validate-violation-witnesses-yogar-cbmc.sv-comp18-violation-witness
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/yogar-cbmc.2017-12-03_0513.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
pthread/bigshot_p_false-unreach-call.i false(unreach-call) 0 wit inspect .26 31 2.0 error 0 wit inspect 3.2 260
pthread/fib_bench_false-unreach-call.i false(unreach-call) 1 wit inspect .25 31 3.3 false(unreach-call) 1 wit inspect 3.0 270
pthread/fib_bench_longer_false-unreach-call.i false(unreach-call) 1 wit inspect .44 35 4.9 false(unreach-call) 1 wit inspect 4.6 270
pthread/fib_bench_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 16    120 190   false(unreach-call) 1 wit inspect 4.8 270
pthread/lazy01_false-unreach-call.i false(unreach-call) 1 wit inspect .21 29 1.8 false(unreach-call) 1 wit inspect 2.7 260
pthread/queue_false-unreach-call.i false(unreach-call) 1 wit inspect .32 41 2.9 false(unreach-call) 1 wit inspect 4.8 250
pthread/queue_longer_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  330 15   false(unreach-call) 1 wit inspect 4.9 260
pthread/queue_longest_false-unreach-call.i false(unreach-call) 1 wit inspect 2.4  640 30   false(unreach-call) 1 wit inspect 5.3 260
pthread/reorder_2_false-unreach-call.i false(unreach-call) 0 wit inspect .41 33 2.9 error 0 wit inspect 4.6 260
pthread/reorder_5_false-unreach-call.i false(unreach-call) 0 wit inspect .40 33 3.2 error 0 wit inspect 4.8 260
pthread/sigma_false-unreach-call.i false(unreach-call) 0 wit inspect 67    440 630   error 0 wit inspect 3.0 260
pthread/singleton_false-unreach-call.i false(unreach-call) 0 wit inspect .26 31 2.1 error 0 wit inspect 7.7 410
pthread/stack_false-unreach-call.i false(unreach-call) 0 wit inspect .24 32 2.1 error 0 wit inspect 5.2 260
pthread/stack_longer_false-unreach-call.i false(unreach-call) 0 wit inspect .52 59 4.7 error 0 wit inspect 6.2 260
pthread/stack_longest_false-unreach-call.i false(unreach-call) 0 wit inspect .69 110 6.7 error 0 wit inspect 6.9 270
pthread/stateful01_false-unreach-call.i false(unreach-call) 1 wit inspect .20 30 2.2 false(unreach-call) 1 wit inspect 3.9 260
pthread/twostage_3_false-unreach-call.i false(unreach-call) 0 wit inspect .41 33 2.8 error 0 wit inspect 4.8 250
pthread/bigshot_s2_true-unreach-call.i true 2 wit inspect .23 31 1.7 - wit inspect
pthread/bigshot_s_true-unreach-call.i true 2 wit inspect .19 31 1.7 - wit inspect
pthread/fib_bench_longer_true-unreach-call.i true 2 wit inspect .66 34 7.7 - wit inspect
pthread/fib_bench_longest_true-unreach-call.i true 2 wit inspect 16    130 240   - wit inspect
pthread/fib_bench_true-unreach-call.i true 2 wit inspect .41 32 4.1 - wit inspect
pthread/indexer_true-unreach-call.i true 2 wit inspect .52 71 5.7 - wit inspect
pthread/queue_ok_longer_true-unreach-call.i true 2 wit inspect .62 150 7.0 - wit inspect
pthread/queue_ok_longest_true-unreach-call.i true 2 wit inspect 1.0  300 11   - wit inspect
pthread/queue_ok_true-unreach-call.i true 2 wit inspect .24 35 2.6 - wit inspect
pthread/singleton_with-uninit-problems_true-unreach-call.i true 2 wit inspect .25 31 2.6 - wit inspect
pthread/stack_longer_true-unreach-call.i true 2 wit inspect .42 60 4.7 - wit inspect
pthread/stack_longest_true-unreach-call.i true 2 wit inspect .60 110 6.6 - wit inspect
pthread/stack_true-unreach-call.i true 2 wit inspect .22 31 2.6 - wit inspect
pthread/stateful01_true-unreach-call.i true 2 wit inspect .23 28 2.0 - wit inspect
pthread/sync01_true-unreach-call.i true 2 wit inspect .24 31 2.2 - wit inspect
pthread-atomic/qrcu_false-unreach-call.i false(unreach-call) 1 wit inspect .28 31 3.3 false(unreach-call) 1 wit inspect 12   520
pthread-atomic/read_write_lock_false-unreach-call.i false(unreach-call) 1 wit inspect .22 29 2.2 false(unreach-call) 1 wit inspect 5.2 270
pthread-atomic/dekker_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i true 2 wit inspect 22    100 270   - wit inspect
pthread-atomic/lamport_true-unreach-call.i true 2 wit inspect .24 29 2.3 - wit inspect
pthread-atomic/peterson_true-unreach-call.i true 2 wit inspect .20 29 2.5 - wit inspect
pthread-atomic/qrcu_true-unreach-call.i true 2 wit inspect .41 31 4.3 - wit inspect
pthread-atomic/read_write_lock_true-unreach-call.i true 2 wit inspect .26 29 2.1 - wit inspect
pthread-atomic/scull_true-unreach-call.i true 2 wit inspect .25 30 2.7 - wit inspect
pthread-atomic/szymanski_true-unreach-call.i true 2 wit inspect .24 29 1.9 - wit inspect
pthread-atomic/time_var_mutex_true-unreach-call.i true 2 wit inspect .22 29 2.2 - wit inspect
pthread-ext/25_stack_longer_false-unreach-call.i false(unreach-call) 0 wit inspect .25 31 2.7 error 0 wit inspect 2.9 250
pthread-ext/25_stack_longest_false-unreach-call.i false(unreach-call) 0 wit inspect .26 29 2.5 error 0 wit inspect 4.6 280
pthread-ext/26_stack_cas_longer_false-unreach-call.i false(unreach-call) 0 wit inspect .26 30 2.6 error 0 wit inspect 4.3 260
pthread-ext/26_stack_cas_longest_false-unreach-call.i false(unreach-call) 0 wit inspect .25 31 3.3 error 0 wit inspect 4.5 260
pthread-ext/27_Boop_simple_vf_false-unreach-call.i false(unreach-call) 0 wit inspect .24 29 2.2 error 0 wit inspect 3.7 260
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i false(unreach-call) 0 wit inspect .21 29 2.7 error 0 wit inspect 3.8 260
pthread-ext/32_pthread5_vs_false-unreach-call.i false(unreach-call) 0 wit inspect .22 29 2.8 error 0 wit inspect 4.9 260
pthread-ext/40_barrier_vf_false-unreach-call.i false(unreach-call) 0 wit inspect .27 28 1.8 error 0 wit inspect 3.9 260
pthread-ext/01_inc_true-unreach-call.i true 2 wit inspect .20 28 1.8 - wit inspect
pthread-ext/02_inc_cas_true-unreach-call.i true 2 wit inspect .23 29 1.8 - wit inspect
pthread-ext/03_incdec_true-unreach-call.i true 2 wit inspect .28 30 3.7 - wit inspect
pthread-ext/04_incdec_cas_true-unreach-call.i true 2 wit inspect .28 29 2.2 - wit inspect
pthread-ext/05_tas_true-unreach-call.i true 2 wit inspect .31 29 2.7 - wit inspect
pthread-ext/06_ticket_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-ext/07_rand_true-unreach-call.i true 2 wit inspect .26 29 2.0 - wit inspect
pthread-ext/08_rand_cas_true-unreach-call.i true 2 wit inspect .23 30 2.2 - wit inspect
pthread-ext/09_fmaxsym_true-unreach-call.i true 2 wit inspect .26 30 2.2 - wit inspect
pthread-ext/10_fmaxsym_cas_true-unreach-call.i true 2 wit inspect .29 30 2.8 - wit inspect
pthread-ext/11_fmaxsymopt_true-unreach-call.i true 2 wit inspect .25 30 2.0 - wit inspect
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i true 2 wit inspect .28 30 2.2 - wit inspect
pthread-ext/13_unverif_true-unreach-call.i true 2 wit inspect .22 28 1.9 - wit inspect
pthread-ext/14_spin2003_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-ext/15_dekker_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-ext/16_peterson_true-unreach-call.i true 2 wit inspect .20 29 2.3 - wit inspect
pthread-ext/17_szymanski_true-unreach-call.i true 2 wit inspect .39 52 4.0 - wit inspect
pthread-ext/18_read_write_lock_true-unreach-call.i true 2 wit inspect .23 29 1.7 - wit inspect
pthread-ext/19_time_var_mutex_true-unreach-call.i true 2 wit inspect .21 29 2.0 - wit inspect
pthread-ext/20_lamport_true-unreach-call.i true 2 wit inspect .23 29 1.9 - wit inspect
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i true 2 wit inspect .23 29 1.7 - wit inspect
pthread-ext/25_stack_longer_true-unreach-call.i true 2 wit inspect .35 30 3.1 - wit inspect
pthread-ext/25_stack_longest_true-unreach-call.i true 2 wit inspect .41 30 4.4 - wit inspect
pthread-ext/25_stack_true-unreach-call.i true 2 wit inspect .38 30 3.6 - wit inspect
pthread-ext/26_stack_cas_longer_true-unreach-call.i true 2 wit inspect .32 30 3.0 - wit inspect
pthread-ext/26_stack_cas_longest_true-unreach-call.i true 2 wit inspect .32 30 3.0 - wit inspect
pthread-ext/26_stack_cas_true-unreach-call.i true 2 wit inspect .31 30 2.8 - wit inspect
pthread-ext/29_conditionals_vs_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i true 2 wit inspect .23 29 2.3 - wit inspect
pthread-ext/31_simple_loop5_vs_true-unreach-call.i true 2 wit inspect .47 29 4.8 - wit inspect
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i true 2 wit inspect .26 29 2.8 - wit inspect
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i true 2 wit inspect .28 29 2.1 - wit inspect
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i true 2 wit inspect .28 29 2.6 - wit inspect
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i true 2 wit inspect .25 29 2.7 - wit inspect
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i true 2 wit inspect .22 29 2.1 - wit inspect
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i true 2 wit inspect .21 29 2.8 - wit inspect
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i true 2 wit inspect 3.0  840 32   - wit inspect
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i true 2 wit inspect 4.1  1100 43   - wit inspect
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i true 2 wit inspect 14    1400 190   - wit inspect
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i true 2 wit inspect 1.3  240 14   - wit inspect
pthread-ext/45_monabsex1_vs_true-unreach-call.i true 2 wit inspect .24 28 1.6 - wit inspect
pthread-ext/46_monabsex2_vs_true-unreach-call.i true 2 wit inspect .21 29 1.9 - wit inspect
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i true 2 wit inspect .39 29 3.5 - wit inspect
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i true 2 wit inspect .24 30 2.1 - wit inspect
pthread-wmm/mix000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 32 4.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.1 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 3.7 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.1 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.4 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 4.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 4.1 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 30 6.9 false(unreach-call) 1 wit inspect 3.6 270
pthread-wmm/mix001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.6 false(unreach-call) 1 wit inspect 6.0 280
pthread-wmm/mix001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 31 6.3 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.5 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 31 6.4 false(unreach-call) 1 wit inspect 3.8 260
pthread-wmm/mix001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.9 false(unreach-call) 1 wit inspect 5.7 280
pthread-wmm/mix001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 32 7.4 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.5 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 32 6.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 32 6.9 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 32 3.9 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 30 7.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.4 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/mix002_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 30 6.9 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix002_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.0 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .75 30 8.6 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.2 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 30 8.7 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/mix003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.6 false(unreach-call) 1 wit inspect 6.8 270
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .77 30 8.8 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i false(unreach-call) 1 wit inspect .33 32 3.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 4.1 false(unreach-call) 1 wit inspect 5.2 290
pthread-wmm/mix003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 2.9 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix003_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 30 8.5 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix003_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.1 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 15   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 5.7 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 14   false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 31 5.2 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 15   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.9 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 13   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 5.2 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .97 32 14   false(unreach-call) 1 wit inspect 5.5 290
pthread-wmm/mix005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53 30 6.0 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  30 13   false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .54 30 5.7 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .96 30 12   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .51 30 6.5 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  32 11   false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53 30 5.6 false(unreach-call) 1 wit inspect 6.9 270
pthread-wmm/mix006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.8 false(unreach-call) 1 wit inspect 5.5 280
pthread-wmm/mix006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.5 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.7 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.4 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 5.7 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  33 21   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.7 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 22   false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 32 6.4 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  31 21   false(unreach-call) 1 wit inspect 3.6 270
pthread-wmm/mix007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 6.9 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  31 21   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .63 30 6.8 false(unreach-call) 1 wit inspect 3.8 280
pthread-wmm/mix007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  31 25   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 30 6.7 false(unreach-call) 1 wit inspect 3.8 280
pthread-wmm/mix008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 26   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.1 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  33 22   false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 4.5 false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 27   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 5.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  34 27   false(unreach-call) 1 wit inspect 6.5 270
pthread-wmm/mix008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 5.7 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.4 false(unreach-call) 1 wit inspect 6.3 270
pthread-wmm/mix009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.6 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 4.5 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/mix009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 32 3.8 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.1 false(unreach-call) 1 wit inspect 3.6 270
pthread-wmm/mix009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.5 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.8 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 32 3.7 false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 5.1 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.2 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .45 31 4.2 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.7 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.6 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/mix010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.5 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 5.0 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 30 8.6 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.8 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .76 30 8.4 false(unreach-call) 1 wit inspect 6.4 270
pthread-wmm/mix011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.7 false(unreach-call) 1 wit inspect 4.3 270
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 34 7.9 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.8 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix011_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 6.7 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix011_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 4.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.4 false(unreach-call) 1 wit inspect 5.6 260
pthread-wmm/mix012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.1 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.8 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.5 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.9 false(unreach-call) 1 wit inspect 5.8 260
pthread-wmm/mix012_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 32 3.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix012_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.7 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 14   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 32 3.6 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 14   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.6 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 15   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.8 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix013_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 15   false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/mix013_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.0 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 13   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 5.1 false(unreach-call) 1 wit inspect 6.2 260
pthread-wmm/mix014_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 13   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix014_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 5.1 false(unreach-call) 1 wit inspect 3.9 280
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 14   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.1 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix014_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 6.0  34 67   false(unreach-call) 1 wit inspect 6.4 280
pthread-wmm/mix014_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.6 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.8 false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.9 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix015_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42 32 3.9 false(unreach-call) 1 wit inspect 4.1 270
pthread-wmm/mix015_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.8 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.3 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.2 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix015_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.2 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix015_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.0 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/mix016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 32 8.7 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.8 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix016_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 7.2 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix016_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 7.6 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 5.1 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix016_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 8.3 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix016_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.6 false(unreach-call) 1 wit inspect 3.6 270
pthread-wmm/mix017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  32 14   false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.4 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 11   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.1 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 13   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 6.4 false(unreach-call) 1 wit inspect 3.9 260
pthread-wmm/mix017_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 12   false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix017_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 6.3 false(unreach-call) 1 wit inspect 3.8 280
pthread-wmm/mix018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 12   false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 5.7 false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix018_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 14   false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix018_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 4.7 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 14   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.3 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix018_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 13   false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix018_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.3 false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 32 4.4 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.4 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix019_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 4.5 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix019_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 31 3.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.9 false(unreach-call) 1 wit inspect 3.7 260
pthread-wmm/mix019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 4.3 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix019_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 6.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix019_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.7 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 18   false(unreach-call) 1 wit inspect 3.5 260
pthread-wmm/mix020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.2 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix020_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 20   false(unreach-call) 1 wit inspect 5.4 290
pthread-wmm/mix020_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.8 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  31 21   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.2 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix020_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  32 17   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix020_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.8 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 14   false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.7 false(unreach-call) 1 wit inspect 5.8 280
pthread-wmm/mix021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 17   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 4.6 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 18   false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 5.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix021_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.9 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix021_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.6 false(unreach-call) 1 wit inspect 4.3 270
pthread-wmm/mix022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.8 false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/mix022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 4.0 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.3 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 4.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.4 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix022_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.4 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix022_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 4.3 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .84 30 8.4 false(unreach-call) 1 wit inspect 5.6 280
pthread-wmm/mix023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 30 6.0 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .88 30 9.6 false(unreach-call) 1 wit inspect 6.3 270
pthread-wmm/mix023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56 32 6.5 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .85 30 10   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57 32 7.1 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix023_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 3.7  34 41   false(unreach-call) 1 wit inspect 4.3 270
pthread-wmm/mix023_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 3.6  34 41   false(unreach-call) 1 wit inspect 6.5 290
pthread-wmm/mix024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .46 32 5.6 false(unreach-call) 1 wit inspect 4.9 270
pthread-wmm/mix024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 3.8 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 4.3 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.7 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.1 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix024_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.0 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix024_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.0 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 7.2 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 7.3 false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix025_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 30 6.1 false(unreach-call) 1 wit inspect 5.6 260
pthread-wmm/mix025_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.4 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 32 8.0 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 5.0 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix025_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.5 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix025_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 7.8 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 13   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 16   false(unreach-call) 1 wit inspect 6.5 270
pthread-wmm/mix026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 13   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53 32 6.6 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 13   false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .55 30 7.5 false(unreach-call) 1 wit inspect 6.3 270
pthread-wmm/mix026_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 14   false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix026_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 14   false(unreach-call) 1 wit inspect 5.6 280
pthread-wmm/mix027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 12   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 6.1 false(unreach-call) 1 wit inspect 5.8 260
pthread-wmm/mix027_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  32 14   false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix027_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 5.9 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  30 12   false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/mix027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .54 30 7.9 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/mix027_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 19   false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix027_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 16   false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 30 7.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 32 5.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix028_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 32 7.8 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix028_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 5.2 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 30 7.3 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix028_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.1 false(unreach-call) 1 wit inspect 3.9 260
pthread-wmm/mix028_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.8 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 22   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 7.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  32 23   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 30 7.2 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  32 23   false(unreach-call) 1 wit inspect 4.2 270
pthread-wmm/mix029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .65 30 9.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix029_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 22   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix029_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.9  30 28   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  32 23   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 6.4 false(unreach-call) 1 wit inspect 4.0 260
pthread-wmm/mix030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  32 20   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 6.3 false(unreach-call) 1 wit inspect 6.2 260
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  30 19   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56 32 7.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix030_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 30 7.4 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix030_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 32 5.6 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.8 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/mix031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.6 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix031_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 32 4.4 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix031_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 31 2.7 false(unreach-call) 1 wit inspect 5.6 260
pthread-wmm/mix032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.5 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.5 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.6 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 32 5.4 false(unreach-call) 1 wit inspect 4.3 270
pthread-wmm/mix032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.2 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix032_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix032_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 31 3.2 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .64 32 6.8 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 4.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .63 30 6.8 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 3.7 false(unreach-call) 1 wit inspect 5.3 280
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 30 7.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix033_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 5.8 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/mix033_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.9 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.4 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.8 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 31 4.0 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.6 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.8 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.5 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix034_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix034_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix035_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 6.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix035_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 32 4.2 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix035_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .53 30 5.5 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/mix035_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.2 false(unreach-call) 1 wit inspect 5.8 260
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51 32 5.7 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix035_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.9 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/mix035_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 5.5 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix035_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 31 3.1 false(unreach-call) 1 wit inspect 6.2 260
pthread-wmm/mix036_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .72 30 7.4 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix036_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 32 7.1 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix036_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 8.7 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix036_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 31 3.8 false(unreach-call) 1 wit inspect 3.8 260
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 32 8.6 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix036_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 30 6.6 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix036_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 32 7.8 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix036_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix037_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.5  32 17   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix037_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.6 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix037_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.5  32 20   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/mix037_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.5  30 20   false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/mix037_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix037_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  32 16   false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix037_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 4.3 false(unreach-call) 1 wit inspect 5.9 260
pthread-wmm/mix038_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 4.9 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix038_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix038_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 32 6.5 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix038_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 32 5.0 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix038_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.9 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/mix038_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 5.8 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix038_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.2 false(unreach-call) 1 wit inspect 6.1 260
pthread-wmm/mix039_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 14   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix039_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.6 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix039_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 17   false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix039_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.8 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  30 14   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix039_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.4 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix039_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  30 13   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix039_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix040_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  30 15   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix040_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 4.1 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix040_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  32 14   false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/mix040_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 32 3.4 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  30 11   false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/mix040_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.4 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix040_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .79 30 9.0 false(unreach-call) 1 wit inspect 5.4 280
pthread-wmm/mix040_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 2.8 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix041_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix041_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.9 false(unreach-call) 1 wit inspect 4.5 260
pthread-wmm/mix041_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 3.5 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix041_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.8 false(unreach-call) 1 wit inspect 4.6 260
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.0 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/mix041_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.8 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix041_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.5 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix041_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 31 2.8 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix042_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .81 30 10   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix042_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix042_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .81 32 9.0 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix042_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 4.0 false(unreach-call) 1 wit inspect 6.1 260
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .80 32 9.6 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/mix042_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.0 false(unreach-call) 1 wit inspect 5.1 280
pthread-wmm/mix042_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .83 30 8.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix042_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.4 false(unreach-call) 1 wit inspect 5.4 280
pthread-wmm/mix043_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .86 32 9.3 false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix043_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 32 4.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix043_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .88 30 11   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix043_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .87 32 9.5 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix043_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix043_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .87 30 9.4 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix043_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix044_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.0  30 22   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix044_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.2 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix044_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.0  31 22   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix044_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.3 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.0  30 21   false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix044_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.3 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix044_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  32 13   false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix044_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.2 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix045_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51 30 4.9 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix045_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 4.2 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix045_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 32 5.3 false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/mix045_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 3.7 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 5.8 false(unreach-call) 1 wit inspect 5.2 290
pthread-wmm/mix045_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.5 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix045_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix045_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.9 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix046_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 7.9 false(unreach-call) 1 wit inspect 5.6 280
pthread-wmm/mix046_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 32 3.4 false(unreach-call) 1 wit inspect 5.0 250
pthread-wmm/mix046_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 30 8.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix046_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.2 false(unreach-call) 1 wit inspect 5.1 280
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 30 8.3 false(unreach-call) 1 wit inspect 3.7 260
pthread-wmm/mix046_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.5 false(unreach-call) 1 wit inspect 5.0 290
pthread-wmm/mix046_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .73 30 8.8 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix046_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.1 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix047_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  32 23   false(unreach-call) 1 wit inspect 5.5 280
pthread-wmm/mix047_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 5.9 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/mix047_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  32 20   false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix047_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53 30 5.4 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  33 21   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix047_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 6.1 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix047_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .51 30 5.4 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix047_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 5.3 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix048_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 31 3.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix048_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix048_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.5 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix048_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.5 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.9 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix048_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix048_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix048_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.6 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix049_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 30 7.2 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix049_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 30 7.7 false(unreach-call) 1 wit inspect 3.5 260
pthread-wmm/mix049_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 30 6.7 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/mix049_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .69 30 7.8 false(unreach-call) 1 wit inspect 4.8 270
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 30 6.7 false(unreach-call) 1 wit inspect 4.2 260
pthread-wmm/mix049_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 33 8.6 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix049_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .68 31 7.0 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/mix049_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .71 30 7.6 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix050_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  32 18   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix050_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 21   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix050_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 21   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix050_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  33 20   false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  32 18   false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/mix050_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  32 20   false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/mix050_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 17   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix050_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 21   false(unreach-call) 1 wit inspect 5.7 290
pthread-wmm/mix051_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  32 25   false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/mix051_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.7  32 20   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix051_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  32 24   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/mix051_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.5 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  32 23   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix051_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 3.0 false(unreach-call) 1 wit inspect 5.3 280
pthread-wmm/mix051_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.5  32 17   false(unreach-call) 1 wit inspect 5.3 280
pthread-wmm/mix051_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 31 3.2 false(unreach-call) 1 wit inspect 4.0 260
pthread-wmm/mix052_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 7.9 false(unreach-call) 1 wit inspect 3.7 260
pthread-wmm/mix052_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .61 30 6.2 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix052_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .56 30 6.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix052_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 3.1 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 7.2 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/mix052_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix052_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 4.7 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix052_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 31 3.3 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix053_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 17   false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/mix053_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.3 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix053_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  32 19   false(unreach-call) 1 wit inspect 5.8 280
pthread-wmm/mix053_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.6 false(unreach-call) 1 wit inspect 3.9 260
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.6  30 17   false(unreach-call) 1 wit inspect 3.7 270
pthread-wmm/mix053_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 32 3.3 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix053_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 32 6.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix053_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.6 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/mix054_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 29 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix054_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.5 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix054_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix054_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 31 2.8 false(unreach-call) 1 wit inspect 5.0 280
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.5 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix054_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 3.1 false(unreach-call) 1 wit inspect 4.6 260
pthread-wmm/mix054_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 31 2.7 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix054_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 31 2.7 false(unreach-call) 1 wit inspect 5.1 280
pthread-wmm/mix055_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1  31 45   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/mix055_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.3 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/mix055_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1  30 42   false(unreach-call) 1 wit inspect 5.4 280
pthread-wmm/mix055_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.0 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 3.1  31 33   false(unreach-call) 1 wit inspect 5.5 280
pthread-wmm/mix055_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.1 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix055_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  32 14   false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix055_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.1 false(unreach-call) 1 wit inspect 4.9 270
pthread-wmm/mix056_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 30 7.5 false(unreach-call) 1 wit inspect 6.4 260
pthread-wmm/mix056_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 2.7 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/mix056_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .65 30 7.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix056_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 2.9 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .66 30 7.0 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/mix056_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 3.4 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/mix056_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.7 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix056_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.8 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/mix057_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .88 32 9.8 false(unreach-call) 1 wit inspect 4.1 270
pthread-wmm/mix057_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.7 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/mix057_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .89 32 11   false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/mix057_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .85 32 10   false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/mix057_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/mix057_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 4.1 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/mix057_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/podwr000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.2 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/podwr000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 4.1 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.9 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/podwr000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 4.2 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.5 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 31 4.3 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/podwr000_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.3 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/podwr001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 32 8.5 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/podwr001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 30 8.8 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .70 30 8.7 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/podwr001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .68 32 8.6 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .69 32 7.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .70 30 7.8 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .71 30 7.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/podwr001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .67 30 7.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 31 4.8 false(unreach-call) 1 wit inspect 3.6 270
pthread-wmm/rfi000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 31 3.3 false(unreach-call) 1 wit inspect 4.6 260
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .49 32 5.6 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/rfi000_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.0 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.7 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 2.9 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.9 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/rfi001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.6 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.0 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/rfi001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 31 2.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.2 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 3.4 false(unreach-call) 1 wit inspect 4.5 260
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.4 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/rfi001_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 31 2.7 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/rfi003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 29 3.0 false(unreach-call) 1 wit inspect 4.9 270
pthread-wmm/rfi003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.9 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.8 false(unreach-call) 1 wit inspect 3.3 270
pthread-wmm/rfi003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 3.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 29 3.0 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/rfi004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .26 31 2.6 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/rfi004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 2.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.5 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/rfi004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.5 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 2.9 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi004_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 2.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 31 4.6 false(unreach-call) 1 wit inspect 3.7 260
pthread-wmm/rfi005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 31 4.7 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.2 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 31 6.2 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.9 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 4.2 false(unreach-call) 1 wit inspect 6.3 260
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 5.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/rfi005_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 4.9 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/rfi006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 32 3.5 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/rfi006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 30 6.7 false(unreach-call) 1 wit inspect 5.7 290
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 32 6.2 false(unreach-call) 1 wit inspect 5.4 280
pthread-wmm/rfi006_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 30 6.6 false(unreach-call) 1 wit inspect 5.3 280
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 4.2 false(unreach-call) 1 wit inspect 5.6 280
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 32 4.3 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 32 7.2 false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/rfi006_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 7.3 false(unreach-call) 1 wit inspect 4.0 270
pthread-wmm/rfi007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.5 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/rfi007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 31 3.9 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 29 3.8 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/rfi007_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 29 3.8 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.4 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 31 3.8 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/rfi007_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.2 false(unreach-call) 1 wit inspect 5.9 260
pthread-wmm/rfi008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.9 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/rfi008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.5 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.6 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/rfi008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.5 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 3.8 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.9 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.1 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/rfi008_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.4 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/rfi009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.8 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/rfi009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .55 30 7.6 false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .55 32 6.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/rfi009_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56 30 7.6 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 32 4.2 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .55 32 5.5 false(unreach-call) 1 wit inspect 6.0 280
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .56 30 7.0 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/rfi009_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .55 32 6.4 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/rfi010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.8 false(unreach-call) 1 wit inspect 5.1 280
pthread-wmm/rfi010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 3.9 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.1 false(unreach-call) 1 wit inspect 5.2 290
pthread-wmm/rfi010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.6 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 4.1 false(unreach-call) 1 wit inspect 5.0 270
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.6 false(unreach-call) 1 wit inspect 4.4 290
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.7 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/rfi010_tso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.6 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/safe000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .49 33 4.9 false(unreach-call) 1 wit inspect 6.7 270
pthread-wmm/safe000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 5.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.5 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/safe000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 31 4.5 false(unreach-call) 1 wit inspect 6.7 280
pthread-wmm/safe001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .62 31 7.6 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/safe001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.3 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/safe001_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 32 5.0 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe001_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 30 4.6 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .56 31 6.1 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .45 32 4.4 false(unreach-call) 1 wit inspect 3.6 260
pthread-wmm/safe002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .56 33 6.7 false(unreach-call) 1 wit inspect 6.5 280
pthread-wmm/safe002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.3 false(unreach-call) 1 wit inspect 5.8 260
pthread-wmm/safe002_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.7 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe002_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.7 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 31 5.0 false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/safe002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.9 false(unreach-call) 1 wit inspect 6.4 260
pthread-wmm/safe003_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  31 13   false(unreach-call) 1 wit inspect 6.4 270
pthread-wmm/safe003_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 30 7.2 false(unreach-call) 1 wit inspect 4.1 270
pthread-wmm/safe003_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  31 13   false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/safe003_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  32 13   false(unreach-call) 1 wit inspect 4.0 270
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  31 16   false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/safe003_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  33 15   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe004_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  31 15   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe004_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 30 6.2 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/safe004_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  32 14   false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/safe004_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 34 5.8 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.3  33 17   false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe004_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .60 32 6.1 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe005_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .40 30 4.1 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe005_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 32 4.1 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe005_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe005_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .40 32 4.3 false(unreach-call) 1 wit inspect 3.8 270
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .39 32 4.0 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe005_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.5 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/safe006_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .23 30 3.0 false(unreach-call) 1 wit inspect 6.0 280
pthread-wmm/safe006_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 3.0 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .24 29 3.3 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/safe006_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .25 30 2.1 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe007_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.3 false(unreach-call) 1 wit inspect 6.3 280
pthread-wmm/safe007_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 31 2.7 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/safe007_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 31 2.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe008_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 6.4 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/safe008_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .59 32 6.2 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe008_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe008_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 5.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 5.3 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe008_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 4.8 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe009_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 5.3 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe009_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .72 30 8.4 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 4.8 false(unreach-call) 1 wit inspect 6.8 260
pthread-wmm/safe009_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.6 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/safe010_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe010_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.5 false(unreach-call) 1 wit inspect 3.2 260
pthread-wmm/safe010_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe010_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.3 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.5 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe010_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe011_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 5.0 false(unreach-call) 1 wit inspect 6.1 260
pthread-wmm/safe011_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 5.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe011_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 5.1 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/safe011_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 6.1 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 4.9 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/safe011_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 32 5.1 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe012_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.2 false(unreach-call) 1 wit inspect 5.9 270
pthread-wmm/safe012_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 2.9 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/safe012_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe012_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 31 3.9 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.6 false(unreach-call) 1 wit inspect 5.2 280
pthread-wmm/safe012_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.1 false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/safe013_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.3 false(unreach-call) 1 wit inspect 3.6 260
pthread-wmm/safe013_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .43 31 4.6 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/safe013_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 4.5 false(unreach-call) 1 wit inspect 3.5 260
pthread-wmm/safe013_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.4 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .43 30 4.3 false(unreach-call) 1 wit inspect 6.2 260
pthread-wmm/safe013_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .42 30 5.9 false(unreach-call) 1 wit inspect 5.6 260
pthread-wmm/safe014_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 3.4 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/safe014_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 3.0 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.5 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/safe014_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57 31 7.2 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe015_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.3  33 26   false(unreach-call) 1 wit inspect 4.1 260
pthread-wmm/safe015_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .75 32 8.7 false(unreach-call) 1 wit inspect 6.1 280
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 5.6 false(unreach-call) 1 wit inspect 6.3 280
pthread-wmm/safe015_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .48 30 5.3 false(unreach-call) 1 wit inspect 6.9 270
pthread-wmm/safe016_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 31 6.7 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe016_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  31 11   false(unreach-call) 1 wit inspect 6.2 290
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .55 30 6.1 false(unreach-call) 1 wit inspect 5.3 260
pthread-wmm/safe016_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.1  33 13   false(unreach-call) 1 wit inspect 5.8 270
pthread-wmm/safe017_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.4 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/safe017_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.6 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe017_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.8 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe017_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.6 false(unreach-call) 1 wit inspect 5.9 260
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .35 30 3.0 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe017_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.6 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe018_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 31 2.5 false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe018_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .62 31 6.9 false(unreach-call) 1 wit inspect 7.7 270
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.8 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe018_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.9 false(unreach-call) 1 wit inspect 5.7 280
pthread-wmm/safe019_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .40 31 5.2 false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/safe019_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  31 22   false(unreach-call) 1 wit inspect 6.5 270
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .61 30 6.7 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe019_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.5  32 16   false(unreach-call) 1 wit inspect 6.2 270
pthread-wmm/safe020_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .67 31 7.7 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe020_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .66 30 7.4 false(unreach-call) 1 wit inspect 6.1 280
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 6.8 false(unreach-call) 1 wit inspect 6.3 270
pthread-wmm/safe020_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .53 30 6.2 false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/safe021_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 5.9 false(unreach-call) 1 wit inspect 3.5 260
pthread-wmm/safe021_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 6.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe021_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 7.6 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/safe021_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .47 30 4.9 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .59 30 6.3 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/safe021_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 7.0 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe022_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.8 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe022_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.9 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/safe022_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.6 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe022_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe022_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.7 false(unreach-call) 1 wit inspect 5.3 280
pthread-wmm/safe023_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  31 27   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe023_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  33 30   false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/safe023_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.1  33 26   false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe023_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  33 26   false(unreach-call) 1 wit inspect 5.8 280
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 2.1  33 25   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe023_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 2.2  33 27   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe024_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.9 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe024_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 4.3 false(unreach-call) 1 wit inspect 3.4 260
pthread-wmm/safe024_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .37 31 4.4 false(unreach-call) 1 wit inspect 3.5 260
pthread-wmm/safe024_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.0 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 3.7 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/safe024_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 3.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe025_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  33 16   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe025_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.2  31 14   false(unreach-call) 1 wit inspect 5.7 260
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .58 32 6.2 false(unreach-call) 1 wit inspect 5.7 280
pthread-wmm/safe025_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 31 6.0 false(unreach-call) 1 wit inspect 7.0 270
pthread-wmm/safe026_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .56 30 6.4 false(unreach-call) 1 wit inspect 3.4 270
pthread-wmm/safe026_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56 30 6.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe026_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 32 5.8 false(unreach-call) 1 wit inspect 3.5 270
pthread-wmm/safe026_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .56 32 6.2 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 7.1 false(unreach-call) 1 wit inspect 5.1 270
pthread-wmm/safe026_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .57 30 6.6 false(unreach-call) 1 wit inspect 5.8 260
pthread-wmm/safe027_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44 31 5.4 false(unreach-call) 1 wit inspect 6.3 270
pthread-wmm/safe027_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.8  31 21   false(unreach-call) 1 wit inspect 4.1 260
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .41 30 4.2 false(unreach-call) 1 wit inspect 4.2 270
pthread-wmm/safe027_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .39 30 4.7 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/safe028_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .60 31 6.3 false(unreach-call) 1 wit inspect 3.8 260
pthread-wmm/safe028_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .58 30 6.5 false(unreach-call) 1 wit inspect 6.1 270
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .44 30 4.4 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe028_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .44 32 4.9 false(unreach-call) 1 wit inspect 5.4 270
pthread-wmm/safe029_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.9 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe029_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .32 30 2.7 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe029_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .31 31 2.5 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe029_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.4 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.7 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe029_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe030_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54 30 5.3 false(unreach-call) 1 wit inspect 6.3 260
pthread-wmm/safe030_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.7 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/safe030_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .52 30 5.9 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe030_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.5 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .54 30 5.6 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe030_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .38 30 3.7 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe031_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .46 30 7.2 false(unreach-call) 1 wit inspect 5.2 260
pthread-wmm/safe031_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.0 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe031_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .49 30 6.2 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe031_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .34 30 3.5 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .50 30 5.7 false(unreach-call) 1 wit inspect 5.0 260
pthread-wmm/safe031_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 2.9 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe032_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  33 17   false(unreach-call) 1 wit inspect 5.7 270
pthread-wmm/safe032_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  31 17   false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/safe032_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  33 18   false(unreach-call) 1 wit inspect 6.5 280
pthread-wmm/safe032_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  33 18   false(unreach-call) 1 wit inspect 6.6 270
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  31 16   false(unreach-call) 1 wit inspect 5.6 270
pthread-wmm/safe032_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect 1.4  31 19   false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/safe033_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .25 30 3.0 false(unreach-call) 1 wit inspect 5.0 280
pthread-wmm/safe033_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .25 31 2.3 false(unreach-call) 1 wit inspect 5.1 260
pthread-wmm/safe033_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 31 3.1 false(unreach-call) 1 wit inspect 4.9 280
pthread-wmm/safe033_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 2.5 false(unreach-call) 1 wit inspect 6.0 260
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .27 30 2.5 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe033_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 2.6 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe034_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .30 30 3.6 false(unreach-call) 1 wit inspect 3.3 260
pthread-wmm/safe034_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.5 false(unreach-call) 1 wit inspect 4.7 260
pthread-wmm/safe034_pso.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .32 31 3.0 false(unreach-call) 1 wit inspect 6.5 260
pthread-wmm/safe034_pso.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 31 3.3 false(unreach-call) 1 wit inspect 4.9 260
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 2.8 false(unreach-call) 1 wit inspect 4.2 260
pthread-wmm/safe034_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .31 30 3.4 false(unreach-call) 1 wit inspect 6.1 260
pthread-wmm/thin000_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 2.1 false(unreach-call) 1 wit inspect 5.2 270
pthread-wmm/thin000_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 3.1 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 30 2.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/thin000_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .24 30 2.5 false(unreach-call) 1 wit inspect 4.8 260
pthread-wmm/thin001_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 32 2.6 false(unreach-call) 1 wit inspect 5.5 270
pthread-wmm/thin001_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .36 30 4.0 false(unreach-call) 1 wit inspect 5.3 270
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .26 30 2.6 false(unreach-call) 1 wit inspect 5.5 260
pthread-wmm/thin001_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .28 32 3.2 false(unreach-call) 1 wit inspect 3.7 260
pthread-wmm/thin002_power.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .28 30 3.0 false(unreach-call) 1 wit inspect 6.0 280
pthread-wmm/thin002_power.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .37 30 3.3 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i false(unreach-call) 1 wit inspect .29 32 3.3 false(unreach-call) 1 wit inspect 5.4 260
pthread-wmm/thin002_rmo.opt_false-unreach-call.i false(unreach-call) 1 wit inspect .33 30 3.0 false(unreach-call) 1 wit inspect 6.0 270
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i true 2 wit inspect .53 31 5.3 - wit inspect
pthread-wmm/rfi000_tso.opt_true-unreach-call.i true 2 wit inspect .57 30 6.2 - wit inspect
pthread-wmm/rfi002_power.oepc_true-unreach-call.i true 2 wit inspect .37 30 5.3 - wit inspect
pthread-wmm/rfi002_power.opt_true-unreach-call.i true 2 wit inspect .37 31 4.2 - wit inspect
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i true 2 wit inspect .39 31 3.9 - wit inspect
pthread-wmm/rfi002_pso.opt_true-unreach-call.i true 2 wit inspect .38 31 4.1 - wit inspect
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i true 2 wit inspect .39 31 3.7 - wit inspect
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i true 2 wit inspect .41 31 3.7 - wit inspect
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i true 2 wit inspect .51 31 5.7 - wit inspect
pthread-wmm/rfi002_tso.opt_true-unreach-call.i true 2 wit inspect .50 31 5.0 - wit inspect
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i true 2 wit inspect .68 31 6.9 - wit inspect
pthread-wmm/rfi003_tso.opt_true-unreach-call.i true 2 wit inspect .69 30 7.3 - wit inspect
pthread-wmm/safe000_pso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe000_pso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe000_tso.oepc_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-wmm/safe000_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.7 - wit inspect
pthread-wmm/safe001_tso.oepc_true-unreach-call.i true 2 wit inspect .25 29 1.9 - wit inspect
pthread-wmm/safe001_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-wmm/safe002_tso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.2 - wit inspect
pthread-wmm/safe002_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-wmm/safe003_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-wmm/safe003_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.2 - wit inspect
pthread-wmm/safe004_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 2.3 - wit inspect
pthread-wmm/safe004_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.1 - wit inspect
pthread-wmm/safe005_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe005_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.8 - wit inspect
pthread-wmm/safe006_pso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe006_pso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe006_tso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.1 - wit inspect
pthread-wmm/safe006_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.1 - wit inspect
pthread-wmm/safe007_pso.oepc_true-unreach-call.i true 2 wit inspect .23 29 1.8 - wit inspect
pthread-wmm/safe007_pso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.1 - wit inspect
pthread-wmm/safe007_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe007_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-wmm/safe008_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe008_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-wmm/safe009_pso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe009_pso.opt_true-unreach-call.i true 2 wit inspect .24 29 1.8 - wit inspect
pthread-wmm/safe009_tso.oepc_true-unreach-call.i true 2 wit inspect .25 29 1.8 - wit inspect
pthread-wmm/safe009_tso.opt_true-unreach-call.i true 2 wit inspect .21 29 2.0 - wit inspect
pthread-wmm/safe010_tso.oepc_true-unreach-call.i true 2 wit inspect .20 29 1.9 - wit inspect
pthread-wmm/safe010_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.4 - wit inspect
pthread-wmm/safe011_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe011_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 1.9 - wit inspect
pthread-wmm/safe012_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 1.9 - wit inspect
pthread-wmm/safe012_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-wmm/safe013_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe013_tso.opt_true-unreach-call.i true 2 wit inspect .25 29 2.2 - wit inspect
pthread-wmm/safe014_pso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe014_pso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-wmm/safe014_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 2.2 - wit inspect
pthread-wmm/safe014_tso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe015_pso.oepc_true-unreach-call.i true 2 wit inspect .22 30 2.4 - wit inspect
pthread-wmm/safe015_pso.opt_true-unreach-call.i true 2 wit inspect .26 29 1.9 - wit inspect
pthread-wmm/safe015_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe015_tso.opt_true-unreach-call.i true 2 wit inspect .23 31 2.0 - wit inspect
pthread-wmm/safe016_pso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.1 - wit inspect
pthread-wmm/safe016_pso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.2 - wit inspect
pthread-wmm/safe016_tso.oepc_true-unreach-call.i true 2 wit inspect .25 29 2.0 - wit inspect
pthread-wmm/safe016_tso.opt_true-unreach-call.i true 2 wit inspect .24 31 2.1 - wit inspect
pthread-wmm/safe017_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 2.2 - wit inspect
pthread-wmm/safe017_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe018_pso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.2 - wit inspect
pthread-wmm/safe018_pso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe018_tso.oepc_true-unreach-call.i true 2 wit inspect .24 30 1.9 - wit inspect
pthread-wmm/safe018_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-wmm/safe019_pso.oepc_true-unreach-call.i true 2 wit inspect .26 29 2.1 - wit inspect
pthread-wmm/safe019_pso.opt_true-unreach-call.i true 2 wit inspect .26 29 2.1 - wit inspect
pthread-wmm/safe019_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe019_tso.opt_true-unreach-call.i true 2 wit inspect .25 29 2.1 - wit inspect
pthread-wmm/safe020_pso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe020_pso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe020_tso.oepc_true-unreach-call.i true 2 wit inspect .25 29 1.7 - wit inspect
pthread-wmm/safe020_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe021_tso.oepc_true-unreach-call.i true 2 wit inspect .25 30 1.9 - wit inspect
pthread-wmm/safe021_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe022_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-wmm/safe022_tso.opt_true-unreach-call.i true 2 wit inspect .20 31 2.1 - wit inspect
pthread-wmm/safe023_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe023_tso.opt_true-unreach-call.i true 2 wit inspect .21 30 2.1 - wit inspect
pthread-wmm/safe024_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 1.8 - wit inspect
pthread-wmm/safe024_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe025_pso.oepc_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-wmm/safe025_pso.opt_true-unreach-call.i true 2 wit inspect .23 29 1.8 - wit inspect
pthread-wmm/safe025_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe025_tso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe026_tso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.0 - wit inspect
pthread-wmm/safe026_tso.opt_true-unreach-call.i true 2 wit inspect .21 29 1.9 - wit inspect
pthread-wmm/safe027_pso.oepc_true-unreach-call.i true 2 wit inspect .25 29 2.1 - wit inspect
pthread-wmm/safe027_pso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.5 - wit inspect
pthread-wmm/safe027_tso.oepc_true-unreach-call.i true 2 wit inspect .27 29 1.8 - wit inspect
pthread-wmm/safe027_tso.opt_true-unreach-call.i true 2 wit inspect .26 29 2.1 - wit inspect
pthread-wmm/safe028_pso.oepc_true-unreach-call.i true 2 wit inspect .25 30 2.1 - wit inspect
pthread-wmm/safe028_pso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe028_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 2.0 - wit inspect
pthread-wmm/safe028_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.6 - wit inspect
pthread-wmm/safe029_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 1.7 - wit inspect
pthread-wmm/safe029_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 1.8 - wit inspect
pthread-wmm/safe030_tso.oepc_true-unreach-call.i true 2 wit inspect .20 29 2.0 - wit inspect
pthread-wmm/safe030_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.1 - wit inspect
pthread-wmm/safe031_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 1.8 - wit inspect
pthread-wmm/safe031_tso.opt_true-unreach-call.i true 2 wit inspect .21 29 2.1 - wit inspect
pthread-wmm/safe032_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.1 - wit inspect
pthread-wmm/safe032_tso.opt_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe033_tso.oepc_true-unreach-call.i true 2 wit inspect .21 29 1.8 - wit inspect
pthread-wmm/safe033_tso.opt_true-unreach-call.i true 2 wit inspect .19 29 1.9 - wit inspect
pthread-wmm/safe034_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe034_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/safe035_power.oepc_true-unreach-call.i true 2 wit inspect 2.4  32 25   - wit inspect
pthread-wmm/safe035_power.opt_true-unreach-call.i true 2 wit inspect 2.4  32 28   - wit inspect
pthread-wmm/safe035_pso.oepc_true-unreach-call.i true 2 wit inspect .25 29 1.7 - wit inspect
pthread-wmm/safe035_pso.opt_true-unreach-call.i true 2 wit inspect .25 29 1.8 - wit inspect
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe035_rmo.opt_true-unreach-call.i true 2 wit inspect .25 29 2.2 - wit inspect
pthread-wmm/safe035_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 1.6 - wit inspect
pthread-wmm/safe035_tso.opt_true-unreach-call.i true 2 wit inspect .24 29 1.9 - wit inspect
pthread-wmm/safe036_power.oepc_true-unreach-call.i true 2 wit inspect .21 29 1.8 - wit inspect
pthread-wmm/safe036_power.opt_true-unreach-call.i true 2 wit inspect .23 29 1.7 - wit inspect
pthread-wmm/safe036_pso.oepc_true-unreach-call.i true 2 wit inspect .20 29 1.9 - wit inspect
pthread-wmm/safe036_pso.opt_true-unreach-call.i true 2 wit inspect .24 29 1.7 - wit inspect
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/safe036_rmo.opt_true-unreach-call.i true 2 wit inspect .24 29 1.7 - wit inspect
pthread-wmm/safe036_tso.oepc_true-unreach-call.i true 2 wit inspect .24 29 1.9 - wit inspect
pthread-wmm/safe036_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 1.7 - wit inspect
pthread-wmm/safe037_power.oepc_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-wmm/safe037_power.opt_true-unreach-call.i true 2 wit inspect .23 29 2.2 - wit inspect
pthread-wmm/safe037_pso.oepc_true-unreach-call.i true 2 wit inspect .23 29 2.2 - wit inspect
pthread-wmm/safe037_pso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.3 - wit inspect
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i true 2 wit inspect .24 29 1.9 - wit inspect
pthread-wmm/safe037_rmo.opt_true-unreach-call.i true 2 wit inspect .21 29 2.4 - wit inspect
pthread-wmm/safe037_tso.oepc_true-unreach-call.i true 2 wit inspect .23 29 1.9 - wit inspect
pthread-wmm/safe037_tso.opt_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-wmm/thin000_pso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.8 - wit inspect
pthread-wmm/thin000_pso.opt_true-unreach-call.i true 2 wit inspect .20 29 1.9 - wit inspect
pthread-wmm/thin000_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 1.9 - wit inspect
pthread-wmm/thin000_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.3 - wit inspect
pthread-wmm/thin001_pso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.4 - wit inspect
pthread-wmm/thin001_pso.opt_true-unreach-call.i true 2 wit inspect .25 31 1.9 - wit inspect
pthread-wmm/thin001_tso.oepc_true-unreach-call.i true 2 wit inspect .22 29 2.6 - wit inspect
pthread-wmm/thin001_tso.opt_true-unreach-call.i true 2 wit inspect .20 29 2.3 - wit inspect
pthread-wmm/thin002_pso.oepc_true-unreach-call.i true 2 wit inspect .21 29 2.0 - wit inspect
pthread-wmm/thin002_pso.opt_true-unreach-call.i true 2 wit inspect .21 29 2.2 - wit inspect
pthread-wmm/thin002_tso.oepc_true-unreach-call.i true 2 wit inspect .20 29 2.6 - wit inspect
pthread-wmm/thin002_tso.opt_true-unreach-call.i true 2 wit inspect .23 29 2.6 - wit inspect
pthread-lit/fkp2013_false-unreach-call.i false(unreach-call) 0 wit inspect 47    110 650   error 0 wit inspect 4.2 260
pthread-lit/fkp2013_variant_false-unreach-call.i false(unreach-call) 0 wit inspect .21 29 2.0 error 0 wit inspect 4.3 260
pthread-lit/qw2004_false-unreach-call.i false(unreach-call) 1 wit inspect .19 29 2.3 false(unreach-call) 1 wit inspect 5.7 270
pthread-lit/fk2012_true-unreach-call.i true 2 wit inspect .86 110 7.8 - wit inspect
pthread-lit/fkp2013_true-unreach-call.i true 2 wit inspect 50    110 580   - wit inspect
pthread-lit/fkp2013_variant_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-lit/fkp2014_true-unreach-call.i true 2 wit inspect .22 29 2.0 - wit inspect
pthread-lit/qw2004_true-unreach-call.i true 2 wit inspect .21 29 2.1 - wit inspect
pthread-lit/qw2004_variant_true-unreach-call.i true 2 wit inspect 64    55 740   - wit inspect
pthread-lit/sssc12_true-unreach-call.i true 2 wit inspect .24 29 2.0 - wit inspect
pthread-lit/sssc12_variant_true-unreach-call.i true 2 wit inspect 2.9  110 21   - wit inspect
ldv-races/race-1_1-join_true-unreach-call.i true 2 wit inspect .28 35 2.0 - wit inspect
ldv-races/race-2_1-container_of_true-unreach-call.i true 2 wit inspect .55 73 6.2 - wit inspect
ldv-races/race-3_1-container_of-global_true-unreach-call.i true 2 wit inspect .59 71 5.6 - wit inspect
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i true 2 wit inspect .29 36 3.3 - wit inspect
ldv-races/race-1_2-join_false-unreach-call.i false(unreach-call) 1 wit inspect .28 36 2.5 false(unreach-call) 1 wit inspect 3.5 260
ldv-races/race-1_3-join_false-unreach-call.i false(unreach-call) 1 wit inspect .26 35 2.7 false(unreach-call) 1 wit inspect 5.7 270
ldv-races/race-2_2-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .58 78 5.4 false(unreach-call) 1 wit inspect 5.7 260
ldv-races/race-2_3-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .55 75 5.2 false(unreach-call) 1 wit inspect 5.1 260
ldv-races/race-2_4-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .72 76 6.2 false(unreach-call) 1 wit inspect 5.7 270
ldv-races/race-2_5-container_of_false-unreach-call.i false(unreach-call) 1 wit inspect .75 76 6.8 false(unreach-call) 1 wit inspect 7.9 330
ldv-races/race-3_2-container_of-global_false-unreach-call.i false(unreach-call) 1 wit inspect .58 78 5.7 false(unreach-call) 1 wit inspect 6.7 260
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i false(unreach-call) 1 wit inspect .31 35 3.1 false(unreach-call) 1 wit inspect 5.3 260
pthread-complex/bounded_buffer_false-unreach-call.i false(unreach-call) 0 wit inspect 3.5  690 36   error 0 wit inspect 5.6 260
pthread-complex/elimination_backoff_stack_false-unreach-call.i false(unreach-call) 0 wit inspect 25    1300 240   error 0 wit inspect 3.8 260
pthread-complex/safestack_relacy_false-unreach-call.i false(unreach-call) 0 wit inspect 2.8  170 34   timeout 0 wit inspect 97   2800
pthread-complex/workstealqueue_mutex_false-unreach-call.i false(unreach-call) 0 wit inspect 19    510 160   timeout 0 wit inspect 97   1900
pthread-complex/workstealqueue_mutex_true-unreach-call.i true 2 wit inspect 75    530 870   - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect .48 65 3.5 - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i true 2 wit inspect .50 65 4.2 - wit inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i true 2 wit inspect .50 65 4.2 - wit inspect
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i true 2 wit inspect .48 65 4.2 - wit inspect
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i true 2 wit inspect .46 65 4.0 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect .53 67 6.7 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect .54 66 4.6 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect .52 66 4.2 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect .55 66 5.0 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect .56 66 4.4 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect .52 66 6.0 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect .53 66 4.6 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i true 2 wit inspect .54 66 5.2 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i true 2 wit inspect .55 66 4.8 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i true 2 wit inspect .54 66 4.9 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i true 2 wit inspect .51 66 4.6 - wit inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i true 2 wit inspect .57 66 4.7 - wit inspect
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i false(unreach-call) 0 wit inspect .52 66 4.4 timeout 0 wit inspect 96   2200
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i false(unreach-call) 0 wit inspect .57 67 5.1 error 0 wit inspect 24   1300
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 0 wit inspect .56 66 5.2 error 0 wit inspect 24   1100
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i false(unreach-call) 0 wit inspect .58 66 5.7 error 0 wit inspect 25   1300
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i true 2 wit inspect 250    630 3300   - wit inspect
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i true 2 wit inspect .27 33 2.4 - wit inspect
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i true 2 wit inspect .28 36 3.1 - wit inspect
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i false(unreach-call) 1 wit inspect 1.0  230 11   false(unreach-call) 1 wit inspect 5.8 260
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy
total 1047 1266 1300 43000 14000 801 774 4500 220000
    correct results 1020 1266 1100 39000 13000 774 774 4000 210000
        correct true 246 492 580 13000 6900 0
        correct false 774 774 510 25000 5700 774 774 4000 210000
    correct-unconfimed results 27 0 170 4100 1800 0
        correct-unconfirmed true 0 0
        correct-unconfirmed false 27 0 170 4100 1800 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (1047 tasks, max score: 1293) 1266 774
Run set yogar-cbmc.sv-comp18 cpa-seq-validate-violation-witnesses-yogar-cbmc.sv-comp18-violation-witness