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