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