uautomizer.2018-12-08_0742.results.sv-comp19_prop-reachsafety.ConcurrencySafety-Main.xml.bz2.merged.xml.bz2

Tool	ULTIMATE Automizer 0.1.23-635dfa2a										CPAchecker 1.7-svn 29852
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8										timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2
Host	apollon*
OS	Linux 4.15.0-42-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution	2018-12-08 07:42:40 CET										2018-12-09 20:30:54 CET
Run set	uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main										cpa-seq-validate-violation-witnesses-uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options	--full-output										-witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/uautomizer.2018-12-08_0742.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
pthread/bigshot_p_false-unreach-call.i	false(unreach-call)	0	wit	inspect	12	4.1	490	93	.66	0	error	0	wit	inspect	6.6	3.5	260		0	0
pthread/fib_bench_false-unreach-call.i	timeout	0	---	inspect	900	850	1100	13000	.64	0	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread/fib_bench_longer_false-unreach-call.i	timeout	0	---	inspect	900	840	1000	11000	.64	0	error (invalid witness file)	0	---	inspect	.69	.43	41		0	0
pthread/fib_bench_longest_false-unreach-call.i	timeout	0	---	inspect	900	830	1100	12000	.64	0	error (invalid witness file)	0	---	inspect	.71	.44	42		0	0
pthread/lazy01_false-unreach-call.i	false(unreach-call)	1	wit	inspect	13	4.2	480	98	.66	0	false(unreach-call)	1	wit	inspect	5.2	2.8	260		0	0
pthread/queue_false-unreach-call.i	error (7)	0	---	inspect	13	4.1	340	110	.73	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread/queue_longer_false-unreach-call.i	error (7)	0	---	inspect	13	4.7	350	100	.74	0	error (invalid witness file)	0	---	inspect	.77	.47	40		0	0
pthread/queue_longest_false-unreach-call.i	error (7)	0	---	inspect	14	4.8	350	110	.74	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread/reorder_2_false-unreach-call.i	error (7)	0	---	inspect	14	4.4	360	110	.73	.0082	error (invalid witness file)	0	---	inspect	.72	.45	40		0	0
pthread/reorder_5_false-unreach-call.i	error (7)	0	---	inspect	14	4.7	350	120	.74	0	error (invalid witness file)	0	---	inspect	.61	.38	41		0	0
pthread/sigma_false-unreach-call.i	error (7)	0	---	inspect	16	6.1	380	140	.75	0	error (invalid witness file)	0	---	inspect	.63	.38	42		0	0
pthread/singleton_false-unreach-call.i	false(unreach-call)	0	wit	inspect	120	80	4800	1500	.62	0	error	0	wit	inspect	8.3	4.4	300		0	0
pthread/stack_false-unreach-call.i	false(unreach-call)	0	wit	inspect	30	9.0	830	260	.66	0	error	0	wit	inspect	5.9	3.2	270		0	0
pthread/stack_longer_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	12	980	270	.66	0	error	0	wit	inspect	7.7	4.1	280		0	0
pthread/stack_longest_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	12	990	300	.66	0	error	0	wit	inspect	7.5	4.0	260		0	0
pthread/stateful01_false-unreach-call.i	false(unreach-call)	0	wit	inspect	11	3.6	390	71	.66	0	true	-32	wit	inspect	8.0	4.3	280		0	0
pthread/triangular-longer_false-unreach-call.i	false(unreach-call)	0	wit	inspect	35	14	1100	320	.66	0	timeout	0	wit	inspect	92	75	1900		0	0
pthread/triangular-longest_false-unreach-call.i	false(unreach-call)	0	wit	inspect	87	50	1000	1000	.62	0	timeout	0	wit	inspect	92	75	2100		0	0
pthread/triangular_false-unreach-call.i	false(unreach-call)	0	wit	inspect	23	7.3	650	200	.66	0	timeout	0	wit	inspect	92	76	2200		0	0
pthread/twostage_3_false-unreach-call.i	error (7)	0	---	inspect	14	4.6	350	100	.74	0	error (invalid witness file)	0	---	inspect	.79	.48	42		0	0
pthread/bigshot_s2_true-unreach-call.i	unknown	0	---	inspect	18	7.0	380	160	.75	0	-		---	inspect
pthread/bigshot_s_true-unreach-call.i	unknown	0	---	inspect	18	6.5	390	140	.75	0	-		---	inspect
pthread/fib_bench_longer_true-unreach-call.i	timeout	0	---	inspect	900	840	890	12000	.64	0	-		---	inspect
pthread/fib_bench_longest_true-unreach-call.i	timeout	0	---	inspect	900	840	990	12000	.64	0	-		---	inspect
pthread/fib_bench_true-unreach-call.i	timeout	0	---	inspect	900	850	1000	11000	.63	0	-		---	inspect
pthread/indexer_true-unreach-call.i	error (7)	0	---	inspect	17	6.4	360	120	.75	0	-		---	inspect
pthread/queue_ok_longer_true-unreach-call.i	error (7)	0	---	inspect	13	4.3	360	110	.73	0	-		---	inspect
pthread/queue_ok_longest_true-unreach-call.i	error (7)	0	---	inspect	14	4.6	340	100	.74	0	-		---	inspect
pthread/queue_ok_true-unreach-call.i	error (7)	0	---	inspect	14	4.2	360	110	.73	0	-		---	inspect
pthread/singleton_with-uninit-problems_true-unreach-call.i	true	2	wit	inspect	110	64	4800	930	.62	0	-		---	inspect
pthread/stack_longer_true-unreach-call.i	timeout	0	---	inspect	900	860	2400	13000	.63	0	-		---	inspect
pthread/stack_longest_true-unreach-call.i	timeout	0	---	inspect	900	860	2300	11000	.63	0	-		---	inspect
pthread/stack_true-unreach-call.i	timeout	0	---	inspect	900	840	1800	12000	.64	0	-		---	inspect
pthread/stateful01_true-unreach-call.i	true	2	wit	inspect	11	3.5	420	85	.66	0	-		---	inspect
pthread/sync01_true-unreach-call.i	unknown	0	---	inspect	7.3	2.2	330	60	.65	0	-		---	inspect
pthread/triangular-longer_true-unreach-call.i	true	2	wit	inspect	37	16	750	330	.66	0	-		---	inspect
pthread/triangular-longest_true-unreach-call.i	true	2	wit	inspect	91	53	1000	970	.62	0	-		---	inspect
pthread/triangular_true-unreach-call.i	true	2	wit	inspect	22	7.4	570	180	.66	0	-		---	inspect
pthread-atomic/qrcu_false-unreach-call.i	error (7)	0	---	inspect	15	5.7	360	130	.75	0	error (invalid witness file)	0	---	inspect	.75	.45	40		0	0
pthread-atomic/read_write_lock_false-unreach-call.i	error (7)	0	---	inspect	44	15	1500	360	.75	0	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-atomic/dekker_true-unreach-call.i	true	2	wit	inspect	11	3.5	380	86	.66	0	-		---	inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i	error (7)	0	---	inspect	15	5.1	360	130	.75	0	-		---	inspect
pthread-atomic/lamport_true-unreach-call.i	true	2	wit	inspect	12	3.6	530	100	.66	0	-		---	inspect
pthread-atomic/peterson_true-unreach-call.i	true	2	wit	inspect	11	3.8	380	82	.66	0	-		---	inspect
pthread-atomic/qrcu_true-unreach-call.i	error (7)	0	---	inspect	16	5.6	370	120	.75	0	-		---	inspect
pthread-atomic/read_write_lock_true-unreach-call.i	true	2	wit	inspect	18	6.1	990	130	.66	0	-		---	inspect
pthread-atomic/scull_true-unreach-call.i	timeout	0	---	inspect	900	770	7200	6700	.63	0	-		---	inspect
pthread-atomic/szymanski_true-unreach-call.i	true	2	wit	inspect	12	3.6	450	92	.66	0	-		---	inspect
pthread-atomic/time_var_mutex_true-unreach-call.i	true	2	wit	inspect	12	3.6	420	90	.66	0	-		---	inspect
pthread-ext/25_stack_longer_false-unreach-call.i	error (7)	0	---	inspect	15	5.1	370	120	.75	0	error (invalid witness file)	0	---	inspect	.61	.37	40		0	0
pthread-ext/25_stack_longest_false-unreach-call.i	error (7)	0	---	inspect	17	5.9	360	120	.75	.029	error (invalid witness file)	0	---	inspect	.63	.38	40		0	0
pthread-ext/26_stack_cas_longer_false-unreach-call.i	error (7)	0	---	inspect	15	5.0	340	110	.75	0	error (invalid witness file)	0	---	inspect	.76	.46	40		0	0
pthread-ext/26_stack_cas_longest_false-unreach-call.i	error (7)	0	---	inspect	18	6.0	370	140	.75	0	error (invalid witness file)	0	---	inspect	.70	.45	41		0	0
pthread-ext/27_Boop_simple_vf_false-unreach-call.i	error (7)	0	---	inspect	15	5.7	370	110	.75	0	error (invalid witness file)	0	---	inspect	.77	.46	41		0	0
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i	error (7)	0	---	inspect	16	6.0	360	120	.75	0	error (invalid witness file)	0	---	inspect	.60	.38	42		0	0
pthread-ext/32_pthread5_vs_false-unreach-call.i	error (7)	0	---	inspect	14	5.6	340	110	.75	0	error (invalid witness file)	0	---	inspect	.60	.36	42		0	0
pthread-ext/40_barrier_vf_false-unreach-call.i	error (7)	0	---	inspect	15	5.5	370	120	.75	0	error (invalid witness file)	0	---	inspect	.65	.41	40		0	0
pthread-ext/01_inc_true-unreach-call.i	error (7)	0	---	inspect	14	5.1	350	110	.75	0	-		---	inspect
pthread-ext/02_inc_cas_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	370	110	.75	0	-		---	inspect
pthread-ext/03_incdec_true-unreach-call.i	error (7)	0	---	inspect	16	5.4	360	120	.75	0	-		---	inspect
pthread-ext/04_incdec_cas_true-unreach-call.i	error (7)	0	---	inspect	15	5.5	370	110	.75	.016	-		---	inspect
pthread-ext/05_tas_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	340	110	.75	0	-		---	inspect
pthread-ext/06_ticket_true-unreach-call.i	error (7)	0	---	inspect	14	5.2	350	110	.75	0	-		---	inspect
pthread-ext/07_rand_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	360	120	.75	0	-		---	inspect
pthread-ext/08_rand_cas_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	360	110	.75	.033	-		---	inspect
pthread-ext/09_fmaxsym_true-unreach-call.i	error (7)	0	---	inspect	16	6.5	370	120	.75	0	-		---	inspect
pthread-ext/10_fmaxsym_cas_true-unreach-call.i	error (7)	0	---	inspect	14	5.3	360	110	.75	0	-		---	inspect
pthread-ext/11_fmaxsymopt_true-unreach-call.i	error (7)	0	---	inspect	16	5.4	360	120	.75	0	-		---	inspect
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i	error (7)	0	---	inspect	14	5.4	370	110	.75	0	-		---	inspect
pthread-ext/13_unverif_true-unreach-call.i	error (7)	0	---	inspect	15	5.5	370	110	.75	0	-		---	inspect
pthread-ext/14_spin2003_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	370	130	.75	0	-		---	inspect
pthread-ext/15_dekker_true-unreach-call.i	true	2	wit	inspect	10	3.2	370	81	.66	0	-		---	inspect
pthread-ext/16_peterson_true-unreach-call.i	true	2	wit	inspect	9.8	3.1	370	82	.66	0	-		---	inspect
pthread-ext/17_szymanski_true-unreach-call.i	true	2	wit	inspect	11	3.4	410	84	.66	0	-		---	inspect
pthread-ext/18_read_write_lock_true-unreach-call.i	true	2	wit	inspect	9.6	3.1	370	74	.66	0	-		---	inspect
pthread-ext/19_time_var_mutex_true-unreach-call.i	true	2	wit	inspect	10	3.6	390	86	.66	0	-		---	inspect
pthread-ext/20_lamport_true-unreach-call.i	true	2	wit	inspect	12	3.6	430	83	.66	0	-		---	inspect
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i	error (7)	0	---	inspect	14	4.8	340	110	.75	0	-		---	inspect
pthread-ext/25_stack_longer_true-unreach-call.i	error (7)	0	---	inspect	16	5.2	340	110	.75	0	-		---	inspect
pthread-ext/25_stack_longest_true-unreach-call.i	error (7)	0	---	inspect	16	5.1	360	130	.75	0	-		---	inspect
pthread-ext/25_stack_true-unreach-call.i	error (7)	0	---	inspect	14	5.3	340	110	.75	0	-		---	inspect
pthread-ext/26_stack_cas_longer_true-unreach-call.i	error (7)	0	---	inspect	15	5.4	360	120	.75	0	-		---	inspect
pthread-ext/26_stack_cas_longest_true-unreach-call.i	error (7)	0	---	inspect	17	5.7	360	140	.75	0	-		---	inspect
pthread-ext/26_stack_cas_true-unreach-call.i	error (7)	0	---	inspect	15	5.1	360	110	.75	0	-		---	inspect
pthread-ext/29_conditionals_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.4	360	120	.75	0	-		---	inspect
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i	error (7)	0	---	inspect	14	5.3	330	120	.75	0	-		---	inspect
pthread-ext/31_simple_loop5_vs_true-unreach-call.i	error (7)	0	---	inspect	14	5.0	340	100	.75	.037	-		---	inspect
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i	error (7)	0	---	inspect	16	5.3	350	120	.75	0	-		---	inspect
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	370	140	.75	0	-		---	inspect
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i	error (7)	0	---	inspect	16	5.4	380	120	.75	.0082	-		---	inspect
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i	error (7)	0	---	inspect	15	5.6	330	110	.75	0	-		---	inspect
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i	error (7)	0	---	inspect	14	5.0	360	130	.75	0	-		---	inspect
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i	error (7)	0	---	inspect	15	5.4	360	120	.75	0	-		---	inspect
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.5	370	120	.75	0	-		---	inspect
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	340	120	.75	0	-		---	inspect
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	340	110	.75	0	-		---	inspect
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i	error (7)	0	---	inspect	7.9	2.4	340	65	.65	0	-		---	inspect
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i	error (7)	0	---	inspect	17	5.8	370	120	.75	0	-		---	inspect
pthread-ext/45_monabsex1_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.1	380	110	.75	0	-		---	inspect
pthread-ext/46_monabsex2_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	370	120	.75	0	-		---	inspect
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	360	120	.75	0	-		---	inspect
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i	error (7)	0	---	inspect	15	5.1	350	110	.75	0	-		---	inspect
pthread-wmm/mix000_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	220	94	7800	1500	.62	.40	timeout	0	wit	inspect	95	74	2000		0	.033
pthread-wmm/mix000_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	58	26	2800	540	.66	.061	true	-32	wit	inspect	77	58	2100		0	0
pthread-wmm/mix000_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	220	100	7700	1600	.62	0	timeout	0	wit	inspect	95	77	2000		0	0
pthread-wmm/mix000_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	63	26	2800	560	.66	0	true	-32	wit	inspect	77	56	2100		0	0
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	220	93	7600	1500	.62	0	timeout	0	wit	inspect	95	77	2000		0	0
pthread-wmm/mix000_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	58	26	2800	530	.66	0	true	-32	wit	inspect	62	46	2000		0	0
pthread-wmm/mix000_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	82	44	4400	680	.62	0	timeout	0	wit	inspect	94	75	2100		0	0
pthread-wmm/mix000_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	57	26	2700	520	.66	0	true	-32	wit	inspect	72	53	2100		0	0
pthread-wmm/mix001_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	6400	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
pthread-wmm/mix001_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	350	14000	5500	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-wmm/mix001_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	9500	.63	0	error (invalid witness file)	0	---	inspect	.77	.46	43		0	0
pthread-wmm/mix001_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	40		0	0
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6600	.63	0	error (invalid witness file)	0	---	inspect	.82	.49	42		0	0
pthread-wmm/mix001_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	6700	.63	0	error (invalid witness file)	0	---	inspect	.63	.38	42		0	0
pthread-wmm/mix001_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	800	7100	6900	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	40		0	0
pthread-wmm/mix001_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	340	14000	5200	.63	0	error (invalid witness file)	0	---	inspect	.71	.45	40		0	0
pthread-wmm/mix002_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	6900	.63	0	error (invalid witness file)	0	---	inspect	.76	.48	43		0	0
pthread-wmm/mix002_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	530	240	10000	3500	.62	0	timeout	0	wit	inspect	94	70	2300		0	0
pthread-wmm/mix002_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	5300	.62	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix002_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.80	.49	41		0	0
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	40		0	0
pthread-wmm/mix002_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	440	250	9600	3200	.62	0	timeout	0	wit	inspect	95	70	2200		0	0
pthread-wmm/mix002_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5800	.62	0	error (invalid witness file)	0	---	inspect	.59	.38	40		0	0
pthread-wmm/mix002_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	4900	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	41		0	0
pthread-wmm/mix003_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	6500	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	40		0	0
pthread-wmm/mix003_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	13000	4800	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/mix003_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	510	13000	5400	.63	0	error (invalid witness file)	0	---	inspect	.75	.48	41		0	0
pthread-wmm/mix003_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	14000	5800	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i	timeout	0	---	inspect	900	350	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.79	.47	42		0	0
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5300	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix003_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	43		0	0
pthread-wmm/mix003_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	42		0	0
pthread-wmm/mix003_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	13000	4800	.63	0	error (invalid witness file)	0	---	inspect	.68	.41	41		0	0
pthread-wmm/mix004_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6900	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix004_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	6900	5500	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix004_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5800	.63	.016	error (invalid witness file)	0	---	inspect	.60	.37	42		0	0
pthread-wmm/mix004_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	6100	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	40		0	0
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	43		0	0
pthread-wmm/mix004_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	6900	6100	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	42		0	0
pthread-wmm/mix004_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6200	.63	0	error (invalid witness file)	0	---	inspect	.58	.35	40		0	0
pthread-wmm/mix004_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5900	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	41		0	0
pthread-wmm/mix005_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	40		0	0
pthread-wmm/mix005_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7200	6400	.63	0	error (invalid witness file)	0	---	inspect	.78	.46	41		0	0
pthread-wmm/mix005_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	4700	.63	0	error (invalid witness file)	0	---	inspect	.66	.40	41		0	0
pthread-wmm/mix005_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	7100	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	41		0	0
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	800	7000	6000	.63	0	error (invalid witness file)	0	---	inspect	.71	.44	41		0	0
pthread-wmm/mix005_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5700	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix005_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6100	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	43		0	0
pthread-wmm/mix005_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5600	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread-wmm/mix006_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	520	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	40		0	0
pthread-wmm/mix006_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	5600	.63	0	error (invalid witness file)	0	---	inspect	.71	.44	43		0	0
pthread-wmm/mix006_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	530	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.64	.40	40		0	0
pthread-wmm/mix006_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	310	13000	6600	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	42		0	0
pthread-wmm/mix006_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	520	13000	6000	.63	.037	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/mix006_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5600	.63	0	error (invalid witness file)	0	---	inspect	.69	.41	41		0	0
pthread-wmm/mix006_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7700	6100	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	40		0	0
pthread-wmm/mix006_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	40		0	0
pthread-wmm/mix007_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5700	.63	0	error (invalid witness file)	0	---	inspect	.75	.47	41		0	0
pthread-wmm/mix007_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5600	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-wmm/mix007_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	41		0	0
pthread-wmm/mix007_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	5800	.63	0	error (invalid witness file)	0	---	inspect	.75	.44	40		0	0
pthread-wmm/mix007_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5900	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	40		0	0
pthread-wmm/mix007_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7700	.63	0	error (invalid witness file)	0	---	inspect	.70	.44	40		0	0
pthread-wmm/mix007_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6400	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	42		0	0
pthread-wmm/mix007_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6100	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	42		0	0
pthread-wmm/mix008_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7500	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	42		0	0
pthread-wmm/mix008_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6500	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	42		0	0
pthread-wmm/mix008_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6700	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	41		0	0
pthread-wmm/mix008_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	7100	.63	0	error (invalid witness file)	0	---	inspect	.79	.48	41		0	0
pthread-wmm/mix008_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	8600	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	40		0	0
pthread-wmm/mix008_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.80	.48	41		0	0
pthread-wmm/mix008_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7900	6900	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	40		0	0
pthread-wmm/mix008_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6200	.63	0	error (invalid witness file)	0	---	inspect	.68	.42	41		0	0
pthread-wmm/mix009_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	22	2600	440	.66	0	true	-32	wit	inspect	52	34	1700		0	0
pthread-wmm/mix009_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	62	27	2900	490	.66	0	true	-32	wit	inspect	69	50	2100		0	0
pthread-wmm/mix009_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	60	22	2300	530	.66	.037	true	-32	wit	inspect	52	34	1700		0	.016
pthread-wmm/mix009_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	58	24	2700	480	.62	0	true	-32	wit	inspect	71	54	2100		0	0
pthread-wmm/mix009_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	51	21	2300	440	.66	0	timeout	0	wit	inspect	95	76	1700		0	0
pthread-wmm/mix009_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	57	23	2500	510	.66	.11	true	-32	wit	inspect	79	58	2100		0	0
pthread-wmm/mix009_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	61	23	2200	440	.66	0	true	-32	wit	inspect	53	36	1800		0	.037
pthread-wmm/mix009_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	57	25	2500	470	.66	0	true	-32	wit	inspect	76	56	2200		0	0
pthread-wmm/mix010_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.81	.51	41		0	0
pthread-wmm/mix010_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	330	13000	5300	.63	.037	error (invalid witness file)	0	---	inspect	.61	.38	42		0	0
pthread-wmm/mix010_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	41		0	0
pthread-wmm/mix010_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	40		0	0
pthread-wmm/mix010_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5400	.62	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix010_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5800	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/mix010_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	6300	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/mix010_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.71	.44	41		0	0
pthread-wmm/mix011_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	40		0	0
pthread-wmm/mix011_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	350	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/mix011_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	5700	.62	0	error (invalid witness file)	0	---	inspect	.75	.46	43		0	0
pthread-wmm/mix011_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	500	250	11000	3800	.62	0	timeout	0	wit	inspect	94	69	2300		0	0
pthread-wmm/mix011_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.90	.55	42		0	0
pthread-wmm/mix011_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	510	250	9800	3200	.62	0	timeout	0	wit	inspect	94	73	2400		0	0
pthread-wmm/mix011_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	40		0	0
pthread-wmm/mix011_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	320	14000	5600	.63	0	error (invalid witness file)	0	---	inspect	.79	.49	41		0	0
pthread-wmm/mix012_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	62	29	3700	480	.66	0	true	-32	wit	inspect	57	37	1800		0	0
pthread-wmm/mix012_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	64	28	3600	530	.66	0	true	-32	wit	inspect	51	33	1500		0	.016
pthread-wmm/mix012_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	64	29	3300	520	.66	0	true	-32	wit	inspect	59	38	1700		0	0
pthread-wmm/mix012_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	67	7100	1100	.62	0	true	-32	wit	inspect	65	49	2000		0	0
pthread-wmm/mix012_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	64	29	3100	550	.66	.037	true	-32	wit	inspect	61	43	1600		0	0
pthread-wmm/mix012_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	63	29	3300	520	.66	0	true	-32	wit	inspect	56	36	1600		0	0
pthread-wmm/mix012_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	67	30	3800	580	.66	0	true	-32	wit	inspect	47	31	1600		0	0
pthread-wmm/mix012_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	63	28	3100	630	.62	0	true	-32	wit	inspect	78	57	2100		0	.037
pthread-wmm/mix013_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6000	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	42		0	0
pthread-wmm/mix013_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6500	.63	0	error (invalid witness file)	0	---	inspect	.69	.42	40		0	0
pthread-wmm/mix013_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5800	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread-wmm/mix013_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6900	5700	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
pthread-wmm/mix013_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5700	.63	0	error (invalid witness file)	0	---	inspect	.84	.51	41		0	0
pthread-wmm/mix013_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	6900	5400	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	40		0	0
pthread-wmm/mix013_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6600	.63	0	error (invalid witness file)	0	---	inspect	.82	.51	40		0	0
pthread-wmm/mix013_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6800	6100	.63	0	error (invalid witness file)	0	---	inspect	.67	.40	42		0	0
pthread-wmm/mix014_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5400	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/mix014_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6100	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	40		0	0
pthread-wmm/mix014_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix014_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5800	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix014_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6000	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
pthread-wmm/mix014_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6500	.63	0	error (invalid witness file)	0	---	inspect	.57	.34	40		0	0
pthread-wmm/mix014_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7900	5500	.63	0	error (invalid witness file)	0	---	inspect	.87	.53	42		0	0
pthread-wmm/mix014_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6100	.63	.045	error (invalid witness file)	0	---	inspect	.89	.56	42		0	0
pthread-wmm/mix015_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	4800	.63	.045	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix015_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	14000	5000	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	41		0	0
pthread-wmm/mix015_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix015_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	640	310	9800	4300	.62	0	timeout	0	wit	inspect	96	70	2300		0	.0041
pthread-wmm/mix015_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	450	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.74	.47	40		0	0
pthread-wmm/mix015_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	380	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	41		0	0
pthread-wmm/mix015_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	470	13000	6000	.62	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix015_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	590	280	11000	4300	.62	0	timeout	0	wit	inspect	94	70	2300		0	0
pthread-wmm/mix016_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	510	13000	5300	.62	0	error (invalid witness file)	0	---	inspect	.58	.37	40		0	0
pthread-wmm/mix016_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	420	14000	6200	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix016_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/mix016_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	14000	4900	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix016_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	6200	.62	0	error (invalid witness file)	0	---	inspect	.79	.49	42		0	0
pthread-wmm/mix016_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	390	14000	5700	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix016_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	510	13000	6500	.62	0	error (invalid witness file)	0	---	inspect	.79	.48	41		0	0
pthread-wmm/mix016_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	14000	5100	.63	0	error (invalid witness file)	0	---	inspect	.82	.52	43		0	0
pthread-wmm/mix017_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	7800	.63	0	error (invalid witness file)	0	---	inspect	.63	.40	40		0	0
pthread-wmm/mix017_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5900	.63	0	error (invalid witness file)	0	---	inspect	.56	.36	41		0	0
pthread-wmm/mix017_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7700	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	42		0	0
pthread-wmm/mix017_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	7300	.63	0	error (invalid witness file)	0	---	inspect	.78	.49	41		0	0
pthread-wmm/mix017_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	7400	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	41		0	0
pthread-wmm/mix017_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	5700	.63	0	error (invalid witness file)	0	---	inspect	.72	.43	40		0	0
pthread-wmm/mix017_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6800	.63	0	error (invalid witness file)	0	---	inspect	.64	.40	42		0	0
pthread-wmm/mix017_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	41		0	0
pthread-wmm/mix018_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5700	.63	0	error (invalid witness file)	0	---	inspect	.58	.35	40		0	0
pthread-wmm/mix018_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	40		0	0
pthread-wmm/mix018_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	8600	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	42		0	0
pthread-wmm/mix018_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	6300	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	40		0	0
pthread-wmm/mix018_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6000	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix018_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	5300	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	40		0	0
pthread-wmm/mix018_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6500	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix018_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	9400	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix019_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	42		0	0
pthread-wmm/mix019_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	13000	5000	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
pthread-wmm/mix019_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	450	13000	6600	.62	0	error (invalid witness file)	0	---	inspect	.59	.38	42		0	0
pthread-wmm/mix019_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	14000	5100	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	42		0	0
pthread-wmm/mix019_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	5600	.62	0	error (invalid witness file)	0	---	inspect	.60	.36	40		0	0
pthread-wmm/mix019_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5200	.62	0	error (invalid witness file)	0	---	inspect	.67	.40	40		0	0
pthread-wmm/mix019_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	4100	.64	0	error (invalid witness file)	0	---	inspect	.66	.41	40		0	0
pthread-wmm/mix019_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	330	14000	4900	.63	0	error (invalid witness file)	0	---	inspect	.61	.39	41		0	0
pthread-wmm/mix020_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	7200	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	40		0	0
pthread-wmm/mix020_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	6200	.63	0	error (invalid witness file)	0	---	inspect	.80	.48	41		0	0
pthread-wmm/mix020_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6200	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	42		0	0
pthread-wmm/mix020_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	6200	.63	0	error (invalid witness file)	0	---	inspect	.66	.40	40		0	0
pthread-wmm/mix020_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	8000	.63	.074	error (invalid witness file)	0	---	inspect	.77	.46	42		0	0
pthread-wmm/mix020_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	6400	.63	0	error (invalid witness file)	0	---	inspect	.77	.46	41		0	0
pthread-wmm/mix020_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6200	.63	0	error (invalid witness file)	0	---	inspect	.68	.43	40		0	0
pthread-wmm/mix020_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6600	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix021_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.68	.42	40		0	0
pthread-wmm/mix021_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6300	.63	0	error (invalid witness file)	0	---	inspect	.59	.35	41		0	0
pthread-wmm/mix021_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5400	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	40		0	0
pthread-wmm/mix021_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5500	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
pthread-wmm/mix021_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	42		0	0
pthread-wmm/mix021_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	5700	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread-wmm/mix021_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7300	9100	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix021_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5800	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	40		0	0
pthread-wmm/mix022_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	20	2300	460	.66	0	true	-32	wit	inspect	69	48	2000		0	0
pthread-wmm/mix022_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	21	2400	380	.66	0	true	-32	wit	inspect	60	43	2000		0	0
pthread-wmm/mix022_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	55	22	2000	500	.66	0	true	-32	wit	inspect	65	44	1900		0	0
pthread-wmm/mix022_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	21	2400	430	.66	0	true	-32	wit	inspect	65	46	2000		0	0
pthread-wmm/mix022_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	21	1800	460	.66	0	true	-32	wit	inspect	64	44	2000		0	0
pthread-wmm/mix022_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	52	21	2000	480	.66	0	true	-32	wit	inspect	60	42	1900		0	0
pthread-wmm/mix022_tso.oepc_false-unreach-call.i	false(unreach-call)	1	wit	inspect	79	33	4000	720	.62	0	false(unreach-call)	1	wit	inspect	7.9	4.2	280		0	0
pthread-wmm/mix022_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	83	40	4500	700	.62	0	true	-32	wit	inspect	83	63	2000		0	0
pthread-wmm/mix023_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6600	.63	.078	error (invalid witness file)	0	---	inspect	.61	.39	40		0	0
pthread-wmm/mix023_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6700	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	40		0	0
pthread-wmm/mix023_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6100	.65	0	error (invalid witness file)	0	---	inspect	.76	.48	41		0	0
pthread-wmm/mix023_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	6100	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	43		0	0
pthread-wmm/mix023_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5400	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix023_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6900	6400	.63	0	error (invalid witness file)	0	---	inspect	.70	.41	40		0	0
pthread-wmm/mix023_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	710	8100	7800	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix023_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	8000	5300	.63	0	error (invalid witness file)	0	---	inspect	.60	.39	41		0	0
pthread-wmm/mix024_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	42		0	0
pthread-wmm/mix024_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	420	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/mix024_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	5600	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	42		0	0
pthread-wmm/mix024_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	420	14000	5900	.63	0	error (invalid witness file)	0	---	inspect	.68	.41	41		0	0
pthread-wmm/mix024_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	450	13000	6200	.62	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix024_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	400	13000	6500	.63	0	error (invalid witness file)	0	---	inspect	.90	.55	42		0	0
pthread-wmm/mix024_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	42		0	0
pthread-wmm/mix024_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	42		0	0
pthread-wmm/mix025_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.79	.47	40		0	0
pthread-wmm/mix025_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	6700	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	40		0	0
pthread-wmm/mix025_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	5000	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix025_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	410	14000	5700	.63	.037	error (invalid witness file)	0	---	inspect	.67	.42	40		0	0
pthread-wmm/mix025_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.58	.38	41		0	0
pthread-wmm/mix025_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	400	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.65	.41	40		0	0
pthread-wmm/mix025_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	470	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	42		0	0
pthread-wmm/mix025_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	5800	.62	0	error (invalid witness file)	0	---	inspect	.61	.36	42		0	0
pthread-wmm/mix026_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5300	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	40		0	0
pthread-wmm/mix026_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7300	5700	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/mix026_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix026_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6700	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-wmm/mix026_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	41		0	0
pthread-wmm/mix026_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6900	6200	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/mix026_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	8400	.64	0	error (invalid witness file)	0	---	inspect	.72	.44	42		0	0
pthread-wmm/mix026_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5700	.63	0	error (invalid witness file)	0	---	inspect	.58	.36	41		0	0
pthread-wmm/mix027_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix027_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6900	7600	.64	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix027_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.73	.46	41		0	0
pthread-wmm/mix027_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	6900	6100	.64	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix027_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5700	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix027_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	800	6900	6500	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	43		0	0
pthread-wmm/mix027_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	7400	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix027_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7000	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix028_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	470	13000	6500	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread-wmm/mix028_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	300	14000	5800	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	41		0	0
pthread-wmm/mix028_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	510	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	40		0	0
pthread-wmm/mix028_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5000	.63	0	error (invalid witness file)	0	---	inspect	.80	.49	42		0	0
pthread-wmm/mix028_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6000	.62	0	error (invalid witness file)	0	---	inspect	.67	.43	42		0	0
pthread-wmm/mix028_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	4900	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-wmm/mix028_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	330	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.68	.44	41		0	0
pthread-wmm/mix028_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	740	280	13000	4000	.62	0	timeout	0	wit	inspect	94	68	2200		0	0
pthread-wmm/mix029_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6500	.63	0	error (invalid witness file)	0	---	inspect	.77	.49	41		0	0
pthread-wmm/mix029_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6900	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	41		0	0
pthread-wmm/mix029_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5800	.63	0	error (invalid witness file)	0	---	inspect	.84	.51	41		0	0
pthread-wmm/mix029_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5900	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
pthread-wmm/mix029_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	9000	.63	0	error (invalid witness file)	0	---	inspect	.71	.45	40		0	0
pthread-wmm/mix029_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6900	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	41		0	0
pthread-wmm/mix029_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	7200	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	40		0	0
pthread-wmm/mix029_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5900	.63	0	error (invalid witness file)	0	---	inspect	.64	.40	41		0	0
pthread-wmm/mix030_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.69	.42	40		0	0
pthread-wmm/mix030_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	8800	.63	.037	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread-wmm/mix030_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6800	.63	0	error (invalid witness file)	0	---	inspect	.70	.44	40		0	0
pthread-wmm/mix030_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5900	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	41		0	0
pthread-wmm/mix030_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/mix030_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	5900	.63	0	error (invalid witness file)	0	---	inspect	.61	.39	41		0	0
pthread-wmm/mix030_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	40		0	0
pthread-wmm/mix030_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	5700	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	40		0	0
pthread-wmm/mix031_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	18	1900	410	.66	0	true	-32	wit	inspect	55	37	1700		0	0
pthread-wmm/mix031_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	32	11	1400	260	.66	0	true	-32	wit	inspect	34	20	1300		0	0
pthread-wmm/mix031_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	19	2300	430	.66	0	true	-32	wit	inspect	63	41	1800		0	0
pthread-wmm/mix031_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	37	14	1800	280	.66	0	true	-32	wit	inspect	44	25	1300		0	0
pthread-wmm/mix031_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	51	21	2100	430	.66	0	true	-32	wit	inspect	50	34	1800		0	0
pthread-wmm/mix031_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	36	15	1800	320	.66	0	true	-32	wit	inspect	37	22	1500		0	.037
pthread-wmm/mix031_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	18	2000	400	.66	0	true	-32	wit	inspect	50	33	1700		0	.041
pthread-wmm/mix031_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	11	1300	270	.66	0	true	-32	wit	inspect	36	21	1300		0	0
pthread-wmm/mix032_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	6000	.62	0	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread-wmm/mix032_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	340	120	11000	2200	.62	0	timeout	0	wit	inspect	97	69	2400		0	0
pthread-wmm/mix032_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6300	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	42		0	0
pthread-wmm/mix032_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	320	120	10000	2400	.62	0	timeout	0	wit	inspect	97	67	2400		0	0
pthread-wmm/mix032_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	460	13000	7000	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/mix032_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	350	130	9400	2100	.62	0	timeout	0	wit	inspect	98	66	2300		0	0
pthread-wmm/mix032_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	460	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	41		0	0
pthread-wmm/mix032_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	320	120	10000	1900	.62	0	timeout	0	wit	inspect	97	69	2400		0	0
pthread-wmm/mix033_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	470	13000	5800	.63	.041	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-wmm/mix033_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	130	63	6300	950	.62	0	timeout	0	wit	inspect	96	68	2300		0	0
pthread-wmm/mix033_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	460	13000	6300	.63	.045	error (invalid witness file)	0	---	inspect	.61	.37	41		0	0
pthread-wmm/mix033_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	120	61	6400	920	.62	0	timeout	0	wit	inspect	96	69	2500		0	0
pthread-wmm/mix033_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	40		0	0
pthread-wmm/mix033_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	350	130	10000	2000	.62	0	timeout	0	---	inspect	98	71	2400		0	0
pthread-wmm/mix033_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	320	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/mix033_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	320	120	10000	2400	.62	0	timeout	0	wit	inspect	98	70	2500		0	0
pthread-wmm/mix034_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	45	18	2000	380	.66	0	timeout	0	wit	inspect	93	80	1400		0	0
pthread-wmm/mix034_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	18	2200	380	.66	0	timeout	0	---	inspect	97	83	1400		0	0
pthread-wmm/mix034_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	18	2100	390	.66	0	true	-32	wit	inspect	64	43	1900		0	0
pthread-wmm/mix034_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	46	19	2800	370	.66	0	true	-32	wit	inspect	38	22	1300		0	0
pthread-wmm/mix034_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	18	2100	410	.66	0	true	-32	wit	inspect	69	53	1800		0	0
pthread-wmm/mix034_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	18	2200	400	.66	0	timeout (true)	0	wit	inspect	91	70	1800		0	0
pthread-wmm/mix034_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	18	1500	390	.66	0	timeout (true)	0	wit	inspect	93	73	1800		0	0
pthread-wmm/mix034_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	46	20	2900	360	.66	0	true	-32	wit	inspect	37	22	1200		0	0
pthread-wmm/mix035_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	41		0	0
pthread-wmm/mix035_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	420	13000	5500	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	41		0	0
pthread-wmm/mix035_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.83	.50	41		0	0
pthread-wmm/mix035_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	280	110	8700	1800	.62	0	timeout	0	wit	inspect	95	68	2400		0	0
pthread-wmm/mix035_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	42		0	0
pthread-wmm/mix035_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	410	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix035_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/mix035_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	290	110	9700	1900	.62	0	timeout	0	wit	inspect	96	68	2400		0	0
pthread-wmm/mix036_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6700	.63	0	error (invalid witness file)	0	---	inspect	.72	.43	42		0	0
pthread-wmm/mix036_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6300	.63	0	error (invalid witness file)	0	---	inspect	.65	.41	41		0	0
pthread-wmm/mix036_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6300	.63	0	error (invalid witness file)	0	---	inspect	.59	.38	41		0	0
pthread-wmm/mix036_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	6700	6900	.63	0	error (invalid witness file)	0	---	inspect	.63	.40	41		0	0
pthread-wmm/mix036_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	7600	.63	0	error (invalid witness file)	0	---	inspect	.64	.42	40		0	0
pthread-wmm/mix036_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	7700	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-wmm/mix036_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.73	.46	40		0	0
pthread-wmm/mix036_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	6600	6200	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	41		0	0
pthread-wmm/mix037_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6000	.63	0	error (invalid witness file)	0	---	inspect	.65	.41	41		0	0
pthread-wmm/mix037_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	700	10000	6100	.64	0	error (invalid witness file)	0	---	inspect	.72	.45	41		0	0
pthread-wmm/mix037_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	7500	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
pthread-wmm/mix037_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	670	12000	8500	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix037_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6100	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-wmm/mix037_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	670	11000	6600	.63	0	error (invalid witness file)	0	---	inspect	.61	.39	41		0	0
pthread-wmm/mix037_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5700	.63	0	error (invalid witness file)	0	---	inspect	.75	.47	42		0	0
pthread-wmm/mix037_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	670	12000	7100	.64	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/mix038_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.79	.47	42		0	0
pthread-wmm/mix038_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	280	100	9500	1700	.62	0	timeout	0	wit	inspect	97	68	2400		0	.037
pthread-wmm/mix038_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix038_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	270	100	9700	1800	.62	0	timeout	0	wit	inspect	96	68	2400		0	0
pthread-wmm/mix038_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	41		0	0
pthread-wmm/mix038_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	250	98	9600	1700	.62	0	timeout	0	wit	inspect	97	70	2300		0	.033
pthread-wmm/mix038_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	310	14000	5800	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/mix038_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	270	100	9500	1800	.62	0	timeout	0	wit	inspect	97	69	2400		0	0
pthread-wmm/mix039_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5900	.63	0	error (invalid witness file)	0	---	inspect	.78	.49	41		0	0
pthread-wmm/mix039_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	690	10000	6100	.63	0	error (invalid witness file)	0	---	inspect	.64	.38	41		0	0
pthread-wmm/mix039_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6600	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	40		0	0
pthread-wmm/mix039_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	680	11000	6600	.64	0	error (invalid witness file)	0	---	inspect	.70	.43	41		0	0
pthread-wmm/mix039_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6600	.63	0	error (invalid witness file)	0	---	inspect	.64	.41	41		0	0
pthread-wmm/mix039_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	690	11000	5800	.64	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/mix039_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5700	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/mix039_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	680	11000	6800	.64	0	error (invalid witness file)	0	---	inspect	.70	.43	41		0	0
pthread-wmm/mix040_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6300	.63	0	error (invalid witness file)	0	---	inspect	.66	.40	40		0	0
pthread-wmm/mix040_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	650	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.62	.40	41		0	0
pthread-wmm/mix040_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7100	.63	0	error (invalid witness file)	0	---	inspect	.84	.50	40		0	0
pthread-wmm/mix040_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	660	12000	6200	.64	0	error (invalid witness file)	0	---	inspect	.76	.47	41		0	0
pthread-wmm/mix040_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6700	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix040_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	620	12000	6700	.64	0	error (invalid witness file)	0	---	inspect	.60	.36	42		0	0
pthread-wmm/mix040_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	9000	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	42		0	0
pthread-wmm/mix040_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	650	12000	6600	.64	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/mix041_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	53	20	1700	440	.66	0	true	-32	wit	inspect	55	37	1800		0	0
pthread-wmm/mix041_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	43	16	2200	320	.66	0	true	-32	wit	inspect	37	21	1100		0	0
pthread-wmm/mix041_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	66	30	3400	590	.66	0	true	-32	wit	inspect	56	37	1900		0	0
pthread-wmm/mix041_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	16	2200	370	.66	0	true	-32	wit	inspect	37	22	1200		0	0
pthread-wmm/mix041_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	63	29	3100	540	.66	0	true	-32	wit	inspect	52	34	1700		0	0
pthread-wmm/mix041_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	16	2400	400	.66	0	true	-32	wit	inspect	28	17	1200		0	0
pthread-wmm/mix041_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	43	15	2100	350	.66	0	true	-32	wit	inspect	30	17	1200		0	0
pthread-wmm/mix041_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	58	27	3000	540	.66	0	true	-32	wit	inspect	43	25	1200		0	0
pthread-wmm/mix042_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-wmm/mix042_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	460	170	11000	3100	.62	0	timeout	0	---	inspect	96	69	2400		0	0
pthread-wmm/mix042_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/mix042_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	270	110	8700	1800	.62	0	timeout	0	wit	inspect	97	72	2300		0	0
pthread-wmm/mix042_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	520	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread-wmm/mix042_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	200	83	8000	1400	.62	0	timeout	0	---	inspect	98	72	2400		0	0
pthread-wmm/mix042_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6500	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix042_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	520	190	11000	3100	.62	0	timeout	0	wit	inspect	97	71	2300		0	0
pthread-wmm/mix043_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5700	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/mix043_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	560	13000	5400	.63	0	error (invalid witness file)	0	---	inspect	.74	.47	41		0	0
pthread-wmm/mix043_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5500	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	40		0	0
pthread-wmm/mix043_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	560	13000	5500	.64	0	error (invalid witness file)	0	---	inspect	.67	.42	41		0	0
pthread-wmm/mix043_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6300	.63	0	error (invalid witness file)	0	---	inspect	.75	.48	40		0	0
pthread-wmm/mix043_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	560	13000	5900	.64	0	error (invalid witness file)	0	---	inspect	.77	.46	43		0	0
pthread-wmm/mix043_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6800	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	43		0	0
pthread-wmm/mix043_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	550	14000	5800	.62	0	error (invalid witness file)	0	---	inspect	.70	.43	42		0	0
pthread-wmm/mix044_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	7800	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	41		0	0
pthread-wmm/mix044_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	560	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	40		0	0
pthread-wmm/mix044_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6200	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	42		0	0
pthread-wmm/mix044_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	560	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.69	.42	40		0	0
pthread-wmm/mix044_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	8500	.61	0	error (invalid witness file)	0	---	inspect	.57	.36	42		0	0
pthread-wmm/mix044_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	580	13000	5400	.64	0	error (invalid witness file)	0	---	inspect	.71	.44	41		0	0
pthread-wmm/mix044_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6800	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	40		0	0
pthread-wmm/mix044_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	550	13000	5800	.64	0	error (invalid witness file)	0	---	inspect	.64	.39	42		0	0
pthread-wmm/mix045_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	6300	.62	.037	error (invalid witness file)	0	---	inspect	.66	.40	41		0	0
pthread-wmm/mix045_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	69	7900	1300	.62	0	timeout	0	wit	inspect	97	69	2500		0	0
pthread-wmm/mix045_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
pthread-wmm/mix045_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	600	230	12000	3600	.62	0	timeout	0	wit	inspect	98	69	2500		0	0
pthread-wmm/mix045_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	460	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.78	.46	41		0	0
pthread-wmm/mix045_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	200	77	8000	1400	.62	0	timeout	0	wit	inspect	97	68	2500		0	.033
pthread-wmm/mix045_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	730	250	12000	4100	.62	0	timeout	0	wit	inspect	97	71	2600		0	.033
pthread-wmm/mix045_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	68	8500	1300	.62	0	timeout	0	wit	inspect	97	68	2400		0	0
pthread-wmm/mix046_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6400	.63	0	error (invalid witness file)	0	---	inspect	.71	.44	41		0	0
pthread-wmm/mix046_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	550	13000	5600	.63	0	error (invalid witness file)	0	---	inspect	.63	.38	40		0	0
pthread-wmm/mix046_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7400	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	41		0	0
pthread-wmm/mix046_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	530	14000	7900	.63	.10	error (invalid witness file)	0	---	inspect	.59	.35	40		0	0
pthread-wmm/mix046_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	6100	.63	.037	error (invalid witness file)	0	---	inspect	.65	.41	40		0	0
pthread-wmm/mix046_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	540	14000	5600	.63	.045	error (invalid witness file)	0	---	inspect	.65	.40	41		0	0
pthread-wmm/mix046_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5900	.63	0	error (invalid witness file)	0	---	inspect	.58	.36	40		0	0
pthread-wmm/mix046_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	550	13000	6200	.62	0	error (invalid witness file)	0	---	inspect	.59	.36	42		0	0
pthread-wmm/mix047_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6100	.63	0	error (invalid witness file)	0	---	inspect	.63	.37	40		0	0
pthread-wmm/mix047_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	540	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	42		0	0
pthread-wmm/mix047_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	8400	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	42		0	0
pthread-wmm/mix047_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	520	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	40		0	0
pthread-wmm/mix047_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	7700	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/mix047_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	530	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix047_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	540	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.68	.43	40		0	0
pthread-wmm/mix047_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	540	13000	5400	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	40		0	0
pthread-wmm/mix048_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	20	2000	440	.66	0	true	-32	wit	inspect	53	34	1600		0	0
pthread-wmm/mix048_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	20	1800	410	.66	0	true	-32	wit	inspect	53	34	1600		0	0
pthread-wmm/mix048_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	21	2300	410	.66	0	true	-32	wit	inspect	51	33	1600		0	0
pthread-wmm/mix048_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	52	20	2100	440	.66	0	true	-32	wit	inspect	52	34	1600		0	0
pthread-wmm/mix048_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	20	1900	380	.66	0	true	-32	wit	inspect	46	30	1600		0	0
pthread-wmm/mix048_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	20	2300	410	.66	0	true	-32	wit	inspect	49	32	1700		0	.033
pthread-wmm/mix048_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	21	2200	400	.66	0	true	-32	wit	inspect	55	36	1600		0	0
pthread-wmm/mix048_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	22	2200	440	.66	0	true	-32	wit	inspect	53	35	1600		0	0
pthread-wmm/mix049_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/mix049_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	41		0	0
pthread-wmm/mix049_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	6700	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-wmm/mix049_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	41		0	0
pthread-wmm/mix049_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	6300	.63	0	error (invalid witness file)	0	---	inspect	.59	.35	41		0	0
pthread-wmm/mix049_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	6300	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/mix049_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	41		0	0
pthread-wmm/mix049_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	500	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.57	.36	42		0	0
pthread-wmm/mix050_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7000	.63	0	error (invalid witness file)	0	---	inspect	.77	.46	40		0	0
pthread-wmm/mix050_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6300	.63	.053	error (invalid witness file)	0	---	inspect	.79	.48	41		0	0
pthread-wmm/mix050_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	5400	.63	0	error (invalid witness file)	0	---	inspect	.81	.49	41		0	0
pthread-wmm/mix050_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7300	5800	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	42		0	0
pthread-wmm/mix050_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6000	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread-wmm/mix050_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6500	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix050_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	7100	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
pthread-wmm/mix050_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6700	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	41		0	0
pthread-wmm/mix051_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	6900	8000	.64	0	error (invalid witness file)	0	---	inspect	.65	.39	41		0	0
pthread-wmm/mix051_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6900	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	40		0	0
pthread-wmm/mix051_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6700	.63	0	error (invalid witness file)	0	---	inspect	.58	.37	40		0	0
pthread-wmm/mix051_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	630	11000	6300	.64	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix051_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7000	8300	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	42		0	0
pthread-wmm/mix051_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	640	13000	6700	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	40		0	0
pthread-wmm/mix051_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	5400	.63	0	error (invalid witness file)	0	---	inspect	.65	.41	41		0	0
pthread-wmm/mix051_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	640	13000	6700	.64	0	error (invalid witness file)	0	---	inspect	.69	.42	40		0	0
pthread-wmm/mix052_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	4900	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-wmm/mix052_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	41		0	0
pthread-wmm/mix052_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	480	13000	7600	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	40		0	0
pthread-wmm/mix052_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	110	11000	1800	.62	0	timeout	0	wit	inspect	97	69	2400		0	0
pthread-wmm/mix052_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	6800	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix052_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	110	10000	1800	.62	0	timeout	0	wit	inspect	97	68	2300		0	0
pthread-wmm/mix052_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	5000	.63	0	error (invalid witness file)	0	---	inspect	.70	.44	40		0	0
pthread-wmm/mix052_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	110	10000	1900	.62	0	timeout	0	wit	inspect	97	68	2400		0	0
pthread-wmm/mix053_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	7400	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	41		0	0
pthread-wmm/mix053_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	700	10000	7300	.63	0	error (invalid witness file)	0	---	inspect	.71	.44	40		0	0
pthread-wmm/mix053_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.61	.39	41		0	0
pthread-wmm/mix053_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	700	11000	5500	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-wmm/mix053_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6900	.64	0	error (invalid witness file)	0	---	inspect	.69	.45	40		0	0
pthread-wmm/mix053_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	680	12000	6600	.64	0	error (invalid witness file)	0	---	inspect	.69	.43	41		0	0
pthread-wmm/mix053_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	800	7000	6400	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	40		0	0
pthread-wmm/mix053_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	720	11000	6400	.64	0	error (invalid witness file)	0	---	inspect	.82	.50	42		0	0
pthread-wmm/mix054_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	18	2300	450	.66	0	true	-32	wit	inspect	47	32	1600		0	0
pthread-wmm/mix054_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	51	20	2100	430	.66	0	true	-32	wit	inspect	60	40	1800		0	.037
pthread-wmm/mix054_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	46	17	2200	430	.66	0	true	-32	wit	inspect	53	35	1700		0	0
pthread-wmm/mix054_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	42	13	1600	330	.66	0	true	-32	wit	inspect	30	16	960		0	0
pthread-wmm/mix054_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	18	1900	380	.66	0	true	-32	wit	inspect	53	36	1700		0	0
pthread-wmm/mix054_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	43	13	1500	330	.66	0	true	-32	wit	inspect	30	17	940		0	0
pthread-wmm/mix054_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	37	12	1600	320	.66	0	true	-32	wit	inspect	35	20	1100		0	0
pthread-wmm/mix054_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	40	13	1500	340	.62	0	true	-32	wit	inspect	29	16	1000		0	0
pthread-wmm/mix055_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/mix055_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	560	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/mix055_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	5900	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/mix055_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	550	14000	7000	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/mix055_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	42		0	0
pthread-wmm/mix055_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	560	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.81	.51	40		0	0
pthread-wmm/mix055_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7400	6100	.63	0	error (invalid witness file)	0	---	inspect	.64	.41	41		0	0
pthread-wmm/mix055_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	560	14000	5100	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	42		0	0
pthread-wmm/mix056_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	530	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.68	.43	42		0	0
pthread-wmm/mix056_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	650	220	13000	4200	.62	0	timeout	0	wit	inspect	98	70	2500		0	0
pthread-wmm/mix056_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	530	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.68	.42	40		0	0
pthread-wmm/mix056_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	480	170	12000	2900	.62	0	timeout	0	---	inspect	97	68	2400		0	0
pthread-wmm/mix056_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.65	.39	41		0	0
pthread-wmm/mix056_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	660	220	13000	4500	.62	0	timeout	0	---	inspect	98	70	2500		0	0
pthread-wmm/mix056_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	150	60	7300	1100	.62	.037	timeout	0	wit	inspect	98	69	2400		0	.0041
pthread-wmm/mix056_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	150	59	7200	1000	.62	0	timeout	0	wit	inspect	96	72	2200		0	0
pthread-wmm/mix057_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	5100	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	40		0	0
pthread-wmm/mix057_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	590	12000	5800	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	41		0	0
pthread-wmm/mix057_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6600	.63	0	error (invalid witness file)	0	---	inspect	.58	.36	41		0	0
pthread-wmm/mix057_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	580	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	42		0	0
pthread-wmm/mix057_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	6200	.64	0	error (invalid witness file)	0	---	inspect	.63	.38	42		0	0
pthread-wmm/mix057_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	540	14000	7000	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/mix057_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	600	12000	5500	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/mix057_tso.opt_false-unreach-call.i	timeout	0	---	inspect	910	580	13000	6800	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-wmm/podwr000_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	20	2300	410	.66	0	true	-32	wit	inspect	53	34	1600		0	0
pthread-wmm/podwr000_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	51	20	2300	450	.62	0	true	-32	wit	inspect	54	36	1600		0	0
pthread-wmm/podwr000_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	20	1900	380	.66	0	true	-32	wit	inspect	47	30	1600		0	0
pthread-wmm/podwr000_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	18	2100	380	.66	0	true	-32	wit	inspect	52	34	1600		0	.037
pthread-wmm/podwr000_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	53	21	2300	430	.66	0	true	-32	wit	inspect	54	34	1700		0	0
pthread-wmm/podwr000_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	20	2000	440	.66	0	true	-32	wit	inspect	42	27	1600		0	0
pthread-wmm/podwr000_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	20	1900	410	.66	0	true	-32	wit	inspect	55	36	1600		0	0
pthread-wmm/podwr000_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	21	2300	440	.66	0	true	-32	wit	inspect	50	33	1700		0	0
pthread-wmm/podwr001_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.71	.45	40		0	0
pthread-wmm/podwr001_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	40		0	0
pthread-wmm/podwr001_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	6800	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/podwr001_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	480	13000	5300	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	40		0	0
pthread-wmm/podwr001_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	460	13000	7200	.62	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/podwr001_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	490	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	41		0	0
pthread-wmm/podwr001_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	42		0	0
pthread-wmm/podwr001_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	490	13000	5600	.62	0	error (invalid witness file)	0	---	inspect	.77	.47	40		0	0
pthread-wmm/rfi000_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	91	6700	1800	.62	0	timeout	0	wit	inspect	94	73	2100		0	0
pthread-wmm/rfi000_power.opt_false-unreach-call.i	false(unreach-call)	1	wit	inspect	45	16	2200	360	.66	0	false(unreach-call)	1	wit	inspect	6.7	3.5	280		0	0
pthread-wmm/rfi000_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	170	94	6900	1300	.62	0	timeout	0	wit	inspect	95	73	2100		0	0
pthread-wmm/rfi000_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	16	2000	360	.66	0	true	-32	wit	inspect	43	27	1500		0	0
pthread-wmm/rfi000_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	96	6500	1400	.62	0	timeout	0	wit	inspect	94	71	2100		0	.016
pthread-wmm/rfi000_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	17	2200	360	.66	0	true	-32	wit	inspect	44	29	1500		0	0
pthread-wmm/rfi001_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	62	28	2900	550	.66	0	true	-32	wit	inspect	55	39	1800		0	0
pthread-wmm/rfi001_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	42	14	2000	350	.66	0	true	-32	wit	inspect	34	20	1100		0	0
pthread-wmm/rfi001_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	20	2300	430	.62	0	true	-32	wit	inspect	56	40	1800		0	0
pthread-wmm/rfi001_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	41	15	2200	320	.66	0	true	-32	wit	inspect	31	18	1100		0	0
pthread-wmm/rfi001_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	64	31	3400	650	.62	0	true	-32	wit	inspect	56	37	1700		0	0
pthread-wmm/rfi001_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	89	48	5100	710	.62	0	true	-32	wit	inspect	27	17	1200		0	0
pthread-wmm/rfi001_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	42	14	1900	300	.66	0	true	-32	wit	inspect	34	20	1200		0	0
pthread-wmm/rfi001_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	100	48	5500	790	.62	0	true	-32	wit	inspect	32	19	1100		0	0
pthread-wmm/rfi003_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	55	24	3000	460	.66	0	true	-32	wit	inspect	52	34	1800		0	.033
pthread-wmm/rfi003_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	55	24	3100	470	.62	0	true	-32	wit	inspect	54	35	1800		0	.0041
pthread-wmm/rfi003_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	23	2700	500	.66	0	true	-32	wit	inspect	40	27	1700		0	0
pthread-wmm/rfi003_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	23	2600	450	.66	0	true	-32	wit	inspect	53	34	1700		0	0
pthread-wmm/rfi003_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	22	2700	460	.66	0	true	-32	wit	inspect	44	29	1800		0	0
pthread-wmm/rfi003_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	55	23	3100	520	.62	0	true	-32	wit	inspect	51	34	1700		0	0
pthread-wmm/rfi004_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	57	23	2900	470	.66	0	true	-32	wit	inspect	40	23	1300		0	.0041
pthread-wmm/rfi004_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	53	22	2800	500	.66	0	true	-32	wit	inspect	38	22	1200		0	0
pthread-wmm/rfi004_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	45	17	2000	370	.66	0	true	-32	wit	inspect	35	22	1300		0	.029
pthread-wmm/rfi004_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	43	17	2000	350	.66	0	true	-32	wit	inspect	37	24	1400		0	0
pthread-wmm/rfi004_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	43	18	2000	410	.66	0	true	-32	wit	inspect	33	19	1300		0	0
pthread-wmm/rfi004_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	35	12	1300	290	.66	0	true	-32	wit	inspect	32	19	1300		0	0
pthread-wmm/rfi004_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	23	3100	480	.66	0	true	-32	wit	inspect	30	18	1400		0	0
pthread-wmm/rfi004_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	53	24	3200	450	.66	0	true	-32	wit	inspect	37	23	1300		0	0
pthread-wmm/rfi005_power.oepc_false-unreach-call.i	error (7)	0	---	inspect	170	94	5600	1200	.68	0	error (invalid witness file)	0	---	inspect	.60	.36	42		0	0
pthread-wmm/rfi005_power.opt_false-unreach-call.i	error (7)	0	---	inspect	160	93	5600	1300	.68	0	error (invalid witness file)	0	---	inspect	.80	.49	40		0	0
pthread-wmm/rfi005_pso.oepc_false-unreach-call.i	error (7)	0	---	inspect	160	93	4900	1500	.68	0	error (invalid witness file)	0	---	inspect	.83	.50	41		0	0
pthread-wmm/rfi005_pso.opt_false-unreach-call.i	error (7)	0	---	inspect	150	93	4900	1500	.68	0	error (invalid witness file)	0	---	inspect	.84	.52	41		0	0
pthread-wmm/rfi005_rmo.oepc_false-unreach-call.i	error (7)	0	---	inspect	160	97	4400	1400	.68	0	error (invalid witness file)	0	---	inspect	.74	.46	40		0	0
pthread-wmm/rfi005_rmo.opt_false-unreach-call.i	error (7)	0	---	inspect	140	88	5400	1400	.68	0	error (invalid witness file)	0	---	inspect	.76	.46	40		0	0
pthread-wmm/rfi005_tso.oepc_false-unreach-call.i	error (7)	0	---	inspect	150	91	4800	1300	.68	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/rfi005_tso.opt_false-unreach-call.i	error (7)	0	---	inspect	150	90	4500	1300	.68	0	error (invalid witness file)	0	---	inspect	.77	.54	41		0	0
pthread-wmm/rfi006_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7400	6100	.63	0	error (invalid witness file)	0	---	inspect	.79	.48	41		0	0
pthread-wmm/rfi006_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.72	.45	40		0	0
pthread-wmm/rfi006_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	800	7000	6500	.63	0	error (invalid witness file)	0	---	inspect	.67	.43	40		0	0
pthread-wmm/rfi006_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.58	.35	41		0	0
pthread-wmm/rfi006_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6300	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread-wmm/rfi006_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	800	7000	6100	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	40		0	0
pthread-wmm/rfi006_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	7300	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	40		0	0
pthread-wmm/rfi006_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7100	6700	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	43		0	0
pthread-wmm/rfi007_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	56	23	2200	470	.66	0	true	-32	wit	inspect	60	42	2000		0	0
pthread-wmm/rfi007_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	23	2200	450	.66	0	true	-32	wit	inspect	63	44	1900		0	0
pthread-wmm/rfi007_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	54	21	1900	460	.66	0	true	-32	wit	inspect	62	43	1900		0	0
pthread-wmm/rfi007_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	60	22	1900	520	.66	0	true	-32	wit	inspect	58	41	1900		0	0
pthread-wmm/rfi007_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	53	20	1800	460	.66	0	true	-32	wit	inspect	59	40	1800		0	0
pthread-wmm/rfi007_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	19	2100	500	.66	0	true	-32	wit	inspect	66	47	2100		0	0
pthread-wmm/rfi007_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	88	37	4800	660	.62	0	true	-32	wit	inspect	78	56	2000		0	0
pthread-wmm/rfi007_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	76	30	4400	610	.66	0	true	-32	wit	inspect	70	50	1900		0	.016
pthread-wmm/rfi008_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	210	91	8300	1800	.62	0	timeout	0	wit	inspect	93	75	2100		0	0
pthread-wmm/rfi008_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	56	6800	930	.62	0	true	-32	wit	inspect	68	51	2000		0	0
pthread-wmm/rfi008_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	95	46	5000	790	.62	0	timeout	0	wit	inspect	94	76	2100		0	0
pthread-wmm/rfi008_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	58	6600	930	.62	0	true	-32	wit	inspect	71	52	2000		0	0
pthread-wmm/rfi008_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	89	47	4700	770	.62	0	timeout	0	wit	inspect	94	76	2100		0	0
pthread-wmm/rfi008_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	57	7800	1200	.62	0	true	-32	wit	inspect	74	54	2100		0	0
pthread-wmm/rfi008_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	210	91	8300	1300	.62	0	timeout	0	wit	inspect	95	76	2100		0	0
pthread-wmm/rfi008_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	130	55	6600	920	.62	0	true	-32	wit	inspect	69	51	2100		0	0
pthread-wmm/rfi009_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6900	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	42		0	0
pthread-wmm/rfi009_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6300	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/rfi009_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	8600	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	40		0	0
pthread-wmm/rfi009_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7000	6500	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/rfi009_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5800	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	42		0	0
pthread-wmm/rfi009_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	6500	.63	0	error (invalid witness file)	0	---	inspect	.64	.40	40		0	0
pthread-wmm/rfi009_tso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	5700	.63	0	error (invalid witness file)	0	---	inspect	.64	.41	41		0	0
pthread-wmm/rfi009_tso.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7000	6000	.63	0	error (invalid witness file)	0	---	inspect	.63	.40	40		0	0
pthread-wmm/rfi010_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	60	6700	1000	.62	0	true	-32	wit	inspect	75	56	2000		0	0
pthread-wmm/rfi010_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	69	7100	1200	.62	0	true	-32	wit	inspect	64	48	2000		0	0
pthread-wmm/rfi010_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	70	7000	1100	.62	0	true	-32	wit	inspect	79	57	2200		0	0
pthread-wmm/rfi010_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	59	6800	1000	.62	0	true	-32	wit	inspect	79	58	2100		0	0
pthread-wmm/rfi010_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	67	7400	1000	.62	0	true	-32	wit	inspect	66	48	2100		0	0
pthread-wmm/rfi010_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	150	66	7200	1300	.62	0	true	-32	wit	inspect	76	57	2100		0	0
pthread-wmm/rfi010_tso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	68	7100	1100	.62	0	true	-32	wit	inspect	66	49	2100		0	0
pthread-wmm/rfi010_tso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	76	7400	1200	.62	0	true	-32	wit	inspect	83	63	2000		0	0
pthread-wmm/safe000_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7400	7200	.63	0	error (invalid witness file)	0	---	inspect	.59	.37	41		0	0
pthread-wmm/safe000_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6900	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	41		0	0
pthread-wmm/safe000_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6200	.63	0	error (invalid witness file)	0	---	inspect	.75	.47	40		0	0
pthread-wmm/safe000_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	5900	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/safe001_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	5800	.63	0	error (invalid witness file)	0	---	inspect	.70	.43	40		0	0
pthread-wmm/safe001_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	6100	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	41		0	0
pthread-wmm/safe001_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	350	14000	5600	.63	0	error (invalid witness file)	0	---	inspect	.66	.41	41		0	0
pthread-wmm/safe001_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	14000	5700	.63	0	error (invalid witness file)	0	---	inspect	.61	.37	42		0	0
pthread-wmm/safe001_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6300	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	40		0	0
pthread-wmm/safe001_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5300	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-wmm/safe002_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7400	6800	.64	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/safe002_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	440	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	41		0	0
pthread-wmm/safe002_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	410	13000	5900	.62	0	error (invalid witness file)	0	---	inspect	.58	.36	40		0	0
pthread-wmm/safe002_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	400	13000	7000	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-wmm/safe002_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.79	.48	43		0	0
pthread-wmm/safe002_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	400	14000	5600	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	40		0	0
pthread-wmm/safe003_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7400	6400	.64	0	error (invalid witness file)	0	---	inspect	.74	.47	41		0	0
pthread-wmm/safe003_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6600	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	41		0	0
pthread-wmm/safe003_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7500	6400	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	40		0	0
pthread-wmm/safe003_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7400	6300	.63	0	error (invalid witness file)	0	---	inspect	.59	.38	40		0	0
pthread-wmm/safe003_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	5400	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	41		0	0
pthread-wmm/safe003_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	6300	.63	0	error (invalid witness file)	0	---	inspect	.71	.43	40		0	0
pthread-wmm/safe004_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	7500	.63	0	error (invalid witness file)	0	---	inspect	.66	.42	40		0	0
pthread-wmm/safe004_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	320	14000	5200	.63	.041	error (invalid witness file)	0	---	inspect	.77	.46	40		0	0
pthread-wmm/safe004_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6600	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/safe004_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5200	.63	0	error (invalid witness file)	0	---	inspect	.80	.51	41		0	0
pthread-wmm/safe004_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6400	.63	0	error (invalid witness file)	0	---	inspect	.57	.36	41		0	0
pthread-wmm/safe004_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	4900	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	41		0	0
pthread-wmm/safe005_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	420	14000	5500	.63	0	error (invalid witness file)	0	---	inspect	.70	.44	40		0	0
pthread-wmm/safe005_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	420	13000	5400	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/safe005_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	430	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	40		0	0
pthread-wmm/safe005_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	400	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.66	.41	43		0	0
pthread-wmm/safe005_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	400	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	42		0	0
pthread-wmm/safe005_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	400	14000	4800	.63	0	error (invalid witness file)	0	---	inspect	.68	.42	41		0	0
pthread-wmm/safe006_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	51	18	3200	380	.66	0	true	-32	wit	inspect	48	31	1300		0	0
pthread-wmm/safe006_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	66	31	3400	610	.62	0	timeout	0	wit	inspect	92	75	2000		0	0
pthread-wmm/safe006_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	9.7	1200	260	.66	0	true	-32	wit	inspect	44	30	1400		0	0
pthread-wmm/safe006_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	31	9.8	1300	260	.66	0	true	-32	wit	inspect	45	31	1300		0	0
pthread-wmm/safe007_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	150	80	7400	1200	.62	0	timeout	0	wit	inspect	95	68	2400		0	0
pthread-wmm/safe007_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	330	180	9400	2400	.62	0	timeout	0	wit	inspect	93	75	2100		0	0
pthread-wmm/safe007_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	93	39	5600	660	.62	0	timeout	0	wit	inspect	95	71	2300		0	.037
pthread-wmm/safe007_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	83	37	4700	630	.62	0	timeout	0	wit	inspect	96	69	2200		0	0
pthread-wmm/safe008_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.64	.40	41		0	0
pthread-wmm/safe008_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6300	.63	0	error (invalid witness file)	0	---	inspect	.73	.46	41		0	0
pthread-wmm/safe008_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	340	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.68	.43	41		0	0
pthread-wmm/safe008_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	350	14000	5300	.63	0	error (invalid witness file)	0	---	inspect	.58	.35	40		0	0
pthread-wmm/safe008_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	350	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.62	.38	40		0	0
pthread-wmm/safe008_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	370	14000	4400	.63	0	error (invalid witness file)	0	---	inspect	.77	.49	41		0	0
pthread-wmm/safe009_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	7200	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/safe009_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	5900	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	40		0	0
pthread-wmm/safe009_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7800	.63	0	error (invalid witness file)	0	---	inspect	.60	.37	40		0	0
pthread-wmm/safe009_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	450	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/safe010_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	37	12	1700	290	.66	0	true	-32	wit	inspect	28	17	1100		0	0
pthread-wmm/safe010_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	36	12	1600	290	.66	0	true	-32	wit	inspect	33	20	1200		0	.037
pthread-wmm/safe010_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	13	1600	370	.66	0	true	-32	wit	inspect	31	18	1000		0	0
pthread-wmm/safe010_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	34	12	1700	260	.66	0	true	-32	wit	inspect	36	21	1000		0	0
pthread-wmm/safe010_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	36	12	1500	290	.66	.037	true	-32	wit	inspect	35	20	1100		0	0
pthread-wmm/safe010_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	37	12	1500	300	.66	0	true	-32	wit	inspect	33	19	1100		0	0
pthread-wmm/safe011_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5700	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	40		0	0
pthread-wmm/safe011_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	350	14000	5900	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	42		0	0
pthread-wmm/safe011_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	330	14000	6600	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	40		0	0
pthread-wmm/safe011_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	370	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.63	.39	40		0	0
pthread-wmm/safe011_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	5000	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	42		0	0
pthread-wmm/safe011_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	350	14000	5200	.62	.037	error (invalid witness file)	0	---	inspect	.71	.44	41		0	0
pthread-wmm/safe012_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	150	81	7300	1000	.62	0	timeout	0	wit	inspect	96	66	2400		0	.0041
pthread-wmm/safe012_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	340	180	8700	2200	.62	0	timeout	0	wit	inspect	94	74	2100		0	0
pthread-wmm/safe012_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	410	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.80	.50	41		0	0
pthread-wmm/safe012_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	420	14000	5600	.63	.037	error (invalid witness file)	0	---	inspect	.66	.41	40		0	0
pthread-wmm/safe012_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	94	40	5700	690	.62	0	timeout	0	wit	inspect	97	71	2300		0	0
pthread-wmm/safe012_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	400	13000	5800	.63	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-wmm/safe013_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	410	13000	5000	.62	0	error (invalid witness file)	0	---	inspect	.63	.38	41		0	0
pthread-wmm/safe013_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	380	13000	6800	.63	0	error (invalid witness file)	0	---	inspect	.66	.40	41		0	0
pthread-wmm/safe013_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	440	14000	6500	.62	0	error (invalid witness file)	0	---	inspect	.75	.45	40		0	0
pthread-wmm/safe013_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	400	14000	5800	.63	0	error (invalid witness file)	0	---	inspect	.60	.36	40		0	0
pthread-wmm/safe013_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	380	13000	6600	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread-wmm/safe013_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	440	13000	6000	.62	0	error (invalid witness file)	0	---	inspect	.61	.39	40		0	0
pthread-wmm/safe014_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	180	83	8400	1300	.62	0	timeout	0	wit	inspect	95	71	2200		0	0
pthread-wmm/safe014_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	270	110	10000	2200	.62	0	timeout	0	wit	inspect	97	71	2400		0	0
pthread-wmm/safe014_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	100	46	6200	760	.62	0	timeout	0	wit	inspect	95	73	2300		0	0
pthread-wmm/safe014_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6900	.63	0	error (invalid witness file)	0	---	inspect	.72	.46	40		0	0
pthread-wmm/safe015_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	760	7400	6100	.63	0	error (invalid witness file)	0	---	inspect	.61	.39	40		0	0
pthread-wmm/safe015_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7500	6100	.63	0	error (invalid witness file)	0	---	inspect	.79	.48	40		0	0
pthread-wmm/safe015_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7100	6000	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	40		0	0
pthread-wmm/safe015_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	7000	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	42		0	0
pthread-wmm/safe016_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7600	8700	.63	0	error (invalid witness file)	0	---	inspect	.63	.40	40		0	0
pthread-wmm/safe016_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7400	4700	.63	0	error (invalid witness file)	0	---	inspect	.73	.45	42		0	0
pthread-wmm/safe016_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7400	6100	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/safe016_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7600	6300	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	42		0	0
pthread-wmm/safe017_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	330	13000	5200	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	40		0	0
pthread-wmm/safe017_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	14000	4400	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-wmm/safe017_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	320	14000	6000	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread-wmm/safe017_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	340	13000	5100	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	43		0	0
pthread-wmm/safe017_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	340	13000	5600	.63	0	error (invalid witness file)	0	---	inspect	.62	.39	41		0	0
pthread-wmm/safe017_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	350	13000	5700	.63	0	error (invalid witness file)	0	---	inspect	.75	.45	41		0	0
pthread-wmm/safe018_power.oepc_false-unreach-call.i	false(unreach-call)	1	wit	inspect	160	78	6900	1200	.62	0	false(unreach-call)	1	wit	inspect	8.0	4.2	300		0	.037
pthread-wmm/safe018_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6500	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	42		0	0
pthread-wmm/safe018_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	96	44	6200	750	.62	0	timeout	0	wit	inspect	97	69	2300		0	.082
pthread-wmm/safe018_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	6800	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	41		0	0
pthread-wmm/safe019_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7500	6100	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/safe019_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7400	6600	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	42		0	0
pthread-wmm/safe019_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	760	7400	5800	.63	0	error (invalid witness file)	0	---	inspect	.81	.50	41		0	0
pthread-wmm/safe019_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7500	6100	.63	0	error (invalid witness file)	0	---	inspect	.75	.48	42		0	0
pthread-wmm/safe020_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6400	.63	0	error (invalid witness file)	0	---	inspect	.73	.44	41		0	0
pthread-wmm/safe020_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	6700	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	40		0	0
pthread-wmm/safe020_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	5500	.63	0	error (invalid witness file)	0	---	inspect	.76	.47	40		0	0
pthread-wmm/safe020_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	7100	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	40		0	0
pthread-wmm/safe021_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	7000	.63	0	error (invalid witness file)	0	---	inspect	.59	.35	41		0	0
pthread-wmm/safe021_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	310	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.73	.46	42		0	0
pthread-wmm/safe021_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6400	.63	0	error (invalid witness file)	0	---	inspect	.63	.38	40		0	0
pthread-wmm/safe021_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	340	14000	4600	.63	0	error (invalid witness file)	0	---	inspect	.60	.38	40		0	0
pthread-wmm/safe021_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6200	.62	0	error (invalid witness file)	0	---	inspect	.68	.41	40		0	0
pthread-wmm/safe021_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	500	13000	6200	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	40		0	0
pthread-wmm/safe022_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	48	19	2200	400	.62	0	true	-32	wit	inspect	51	33	1600		0	0
pthread-wmm/safe022_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	45	19	1800	460	.66	0	true	-32	wit	inspect	54	35	1500		0	0
pthread-wmm/safe022_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	50	21	2000	430	.66	.041	true	-32	wit	inspect	46	30	1600		0	.0041
pthread-wmm/safe022_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	52	20	2200	450	.66	0	true	-32	wit	inspect	52	35	1600		0	0
pthread-wmm/safe022_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	46	18	2000	380	.62	.037	true	-32	wit	inspect	55	35	1600		0	0
pthread-wmm/safe022_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	46	19	1800	380	.66	0	true	-32	wit	inspect	49	32	1600		0	0
pthread-wmm/safe023_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7500	10000	.63	0	error (invalid witness file)	0	---	inspect	.65	.41	40		0	0
pthread-wmm/safe023_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7400	6000	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	41		0	0
pthread-wmm/safe023_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7400	7200	.63	0	error (invalid witness file)	0	---	inspect	.77	.47	41		0	0
pthread-wmm/safe023_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	5500	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	41		0	0
pthread-wmm/safe023_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	5500	.63	0	error (invalid witness file)	0	---	inspect	.77	.46	42		0	0
pthread-wmm/safe023_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7400	6900	.63	0	error (invalid witness file)	0	---	inspect	.75	.46	43		0	0
pthread-wmm/safe024_power.oepc_false-unreach-call.i	timeout	0	---	inspect	910	400	14000	5700	.62	0	error (invalid witness file)	0	---	inspect	.65	.41	42		0	0
pthread-wmm/safe024_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	420	14000	5100	.63	0	error (invalid witness file)	0	---	inspect	.63	.38	41		0	0
pthread-wmm/safe024_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	380	14000	6400	.62	0	error (invalid witness file)	0	---	inspect	.57	.37	41		0	0
pthread-wmm/safe024_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	380	13000	7300	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	40		0	0
pthread-wmm/safe024_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	420	13000	7100	.63	0	error (invalid witness file)	0	---	inspect	.74	.47	41		0	0
pthread-wmm/safe024_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	400	13000	5600	.63	0	error (invalid witness file)	0	---	inspect	.76	.48	41		0	0
pthread-wmm/safe025_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7300	7100	.63	0	error (invalid witness file)	0	---	inspect	.83	.49	42		0	0
pthread-wmm/safe025_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	760	7500	6300	.63	0	error (invalid witness file)	0	---	inspect	.79	.49	41		0	0
pthread-wmm/safe025_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7200	6700	.63	.049	error (invalid witness file)	0	---	inspect	.77	.51	40		0	0
pthread-wmm/safe025_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	4900	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	41		0	0
pthread-wmm/safe026_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	510	13000	6100	.63	0	error (invalid witness file)	0	---	inspect	.61	.36	40		0	0
pthread-wmm/safe026_power.opt_false-unreach-call.i	timeout	0	---	inspect	910	530	13000	5900	.63	0	error (invalid witness file)	0	---	inspect	.69	.42	40		0	0
pthread-wmm/safe026_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	540	13000	5400	.63	0	error (invalid witness file)	0	---	inspect	.71	.45	42		0	0
pthread-wmm/safe026_pso.opt_false-unreach-call.i	timeout	0	---	inspect	910	510	13000	6900	.63	.045	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
pthread-wmm/safe026_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	520	13000	6300	.63	1.6	error (invalid witness file)	0	---	inspect	.60	.36	41		0	0
pthread-wmm/safe026_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	910	540	13000	6600	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	41		0	0
pthread-wmm/safe027_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7400	5700	.63	0	error (invalid witness file)	0	---	inspect	.71	.42	41		0	0
pthread-wmm/safe027_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7600	8400	.63	0	error (invalid witness file)	0	---	inspect	.83	.51	42		0	0
pthread-wmm/safe027_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7300	5800	.63	0	error (invalid witness file)	0	---	inspect	.64	.39	41		0	0
pthread-wmm/safe027_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7400	8000	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	41		0	0
pthread-wmm/safe028_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5500	.63	0	error (invalid witness file)	0	---	inspect	.78	.48	40		0	0
pthread-wmm/safe028_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6900	.63	0	error (invalid witness file)	0	---	inspect	.72	.44	41		0	0
pthread-wmm/safe028_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7100	6300	.63	.12	error (invalid witness file)	0	---	inspect	.75	.45	42		0	0
pthread-wmm/safe028_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7100	7400	.63	0	error (invalid witness file)	0	---	inspect	.62	.37	40		0	0
pthread-wmm/safe029_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	18	2400	410	.66	0	true	-32	wit	inspect	36	22	1300		0	0
pthread-wmm/safe029_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	45	17	2100	360	.66	0	true	-32	wit	inspect	37	22	1000		0	0
pthread-wmm/safe029_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	49	18	2300	400	.66	0	true	-32	wit	inspect	33	20	1300		0	0
pthread-wmm/safe029_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	16	1800	380	.66	0	true	-32	wit	inspect	35	20	1100		0	.037
pthread-wmm/safe029_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	47	18	2300	370	.66	0	true	-32	wit	inspect	37	22	1200		0	.0041
pthread-wmm/safe029_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	45	16	2000	410	.66	0	true	-32	wit	inspect	31	18	1100		0	0
pthread-wmm/safe030_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	300	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.80	.48	42		0	0
pthread-wmm/safe030_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	220	90	8900	1500	.62	0	timeout	0	wit	inspect	97	71	2400		0	0
pthread-wmm/safe030_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	290	13000	6000	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	40		0	0
pthread-wmm/safe030_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	250	98	9100	2000	.62	0	timeout	0	---	inspect	98	70	2400		0	0
pthread-wmm/safe030_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	340	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	41		0	0
pthread-wmm/safe030_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	130	8800	2000	.62	0	timeout	0	wit	inspect	97	70	2500		0	0
pthread-wmm/safe031_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	420	14000	5400	.63	0	error (invalid witness file)	0	---	inspect	.59	.35	40		0	0
pthread-wmm/safe031_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	66	7200	1100	.62	0	timeout	0	wit	inspect	97	71	2400		0	.037
pthread-wmm/safe031_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	910	400	14000	6300	.63	0	error (invalid witness file)	0	---	inspect	.77	.48	40		0	0
pthread-wmm/safe031_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	64	7500	1100	.62	0	timeout	0	---	inspect	98	70	2400		0	0
pthread-wmm/safe031_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	430	14000	5700	.63	0	error (invalid witness file)	0	---	inspect	.61	.38	42		0	0
pthread-wmm/safe031_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	140	54	7300	970	.62	0	timeout	0	wit	inspect	95	69	2400		0	0
pthread-wmm/safe032_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6100	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	40		0	0
pthread-wmm/safe032_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	6800	.63	0	error (invalid witness file)	0	---	inspect	.79	.49	41		0	0
pthread-wmm/safe032_pso.oepc_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	7900	.63	0	error (invalid witness file)	0	---	inspect	.65	.39	42		0	0
pthread-wmm/safe032_pso.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6800	.63	0	error (invalid witness file)	0	---	inspect	.67	.42	41		0	0
pthread-wmm/safe032_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	900	780	7200	5700	.63	.078	error (invalid witness file)	0	---	inspect	.73	.45	42		0	0
pthread-wmm/safe032_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	5700	.63	0	error (invalid witness file)	0	---	inspect	.69	.43	40		0	0
pthread-wmm/safe033_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	32	9.6	1100	250	.66	0	true	-32	wit	inspect	33	19	1200		0	0
pthread-wmm/safe033_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	31	10	1200	260	.66	0	true	-32	wit	inspect	33	19	1300		0	0
pthread-wmm/safe033_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	9.7	1300	270	.66	0	true	-32	wit	inspect	32	18	1100		0	0
pthread-wmm/safe033_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	34	12	1700	290	.66	0	true	-32	wit	inspect	35	20	1300		0	.0041
pthread-wmm/safe033_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	9.8	1100	240	.66	0	true	-32	wit	inspect	34	19	1100		0	0
pthread-wmm/safe033_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	33	9.7	1300	250	.66	0	true	-32	wit	inspect	35	20	1200		0	0
pthread-wmm/safe034_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	110	9900	2000	.62	0	timeout	0	wit	inspect	96	69	2400		0	0
pthread-wmm/safe034_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	310	120	10000	2000	.62	0	timeout	0	wit	inspect	97	68	2400		0	0
pthread-wmm/safe034_pso.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	310	120	9800	2000	.62	.037	timeout	0	wit	inspect	96	70	2400		0	0
pthread-wmm/safe034_pso.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	310	120	10000	2200	.62	0	timeout	0	wit	inspect	96	71	2300		0	0
pthread-wmm/safe034_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	120	10000	1900	.62	0	timeout	0	---	inspect	98	69	2500		0	0
pthread-wmm/safe034_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	310	120	9800	2000	.62	0	timeout	0	wit	inspect	97	69	2400		0	0
pthread-wmm/thin000_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	56	20	3200	420	.66	0	true	-32	wit	inspect	48	32	1400		0	0
pthread-wmm/thin000_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	110	53	5600	1300	.62	0	timeout	0	wit	inspect	94	75	2200		0	0
pthread-wmm/thin000_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	36	11	1300	280	.66	0	true	-32	wit	inspect	55	38	1300		0	0
pthread-wmm/thin000_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	35	11	1200	280	.66	0	true	-32	wit	inspect	41	27	1300		0	.053
pthread-wmm/thin001_power.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	160	77	8100	1200	.62	0	timeout	0	wit	inspect	97	71	2400		0	.082
pthread-wmm/thin001_power.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	360	170	8900	2800	.62	0	timeout	0	wit	inspect	94	74	2100		0	0
pthread-wmm/thin001_rmo.oepc_false-unreach-call.i	false(unreach-call)	0	wit	inspect	94	41	5300	670	.62	.037	timeout	0	wit	inspect	96	70	2300		0	0
pthread-wmm/thin001_rmo.opt_false-unreach-call.i	false(unreach-call)	0	wit	inspect	98	43	5200	670	.62	0	timeout	0	wit	inspect	96	71	2300		0	0
pthread-wmm/thin002_power.oepc_false-unreach-call.i	timeout	0	---	inspect	900	770	7300	7200	.63	0	error (invalid witness file)	0	---	inspect	.74	.44	40		0	0
pthread-wmm/thin002_power.opt_false-unreach-call.i	timeout	0	---	inspect	900	790	7200	6100	.63	0	error (invalid witness file)	0	---	inspect	.78	.47	41		0	0
pthread-wmm/thin002_rmo.oepc_false-unreach-call.i	timeout	0	---	inspect	910	600	14000	5600	.62	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
pthread-wmm/thin002_rmo.opt_false-unreach-call.i	timeout	0	---	inspect	900	590	13000	5600	.64	0	error (invalid witness file)	0	---	inspect	.73	.44	40		0	0
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i	false(unreach-call)	-16	wit	inspect	140	67	6000	1000	.62	.11	-		---	inspect
pthread-wmm/rfi000_tso.opt_true-unreach-call.i	false(unreach-call)	-16	wit	inspect	160	78	6800	1200	.62	0	-		---	inspect
pthread-wmm/rfi002_power.oepc_true-unreach-call.i	timeout	0	---	inspect	910	380	13000	6100	.63	0	-		---	inspect
pthread-wmm/rfi002_power.opt_true-unreach-call.i	timeout	0	---	inspect	900	400	13000	6300	.63	0	-		---	inspect
pthread-wmm/rfi002_pso.oepc_true-unreach-call.i	timeout	0	---	inspect	900	390	13000	5900	.63	.037	-		---	inspect
pthread-wmm/rfi002_pso.opt_true-unreach-call.i	timeout	0	---	inspect	910	400	14000	6200	.63	0	-		---	inspect
pthread-wmm/rfi002_rmo.oepc_true-unreach-call.i	timeout	0	---	inspect	900	410	13000	6700	.63	0	-		---	inspect
pthread-wmm/rfi002_rmo.opt_true-unreach-call.i	timeout	0	---	inspect	900	420	13000	5800	.65	0	-		---	inspect
pthread-wmm/rfi002_tso.oepc_true-unreach-call.i	timeout	0	---	inspect	910	440	12000	5900	.63	0	-		---	inspect
pthread-wmm/rfi002_tso.opt_true-unreach-call.i	timeout	0	---	inspect	910	450	13000	6500	.63	0	-		---	inspect
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i	timeout	0	---	inspect	910	330	14000	5600	.63	0	-		---	inspect
pthread-wmm/rfi003_tso.opt_true-unreach-call.i	timeout	0	---	inspect	910	330	14000	6600	.63	0	-		---	inspect
pthread-wmm/safe000_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.6	510	110	.66	0	-		---	inspect
pthread-wmm/safe000_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.0	520	100	.66	0	-		---	inspect
pthread-wmm/safe000_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.3	490	110	.66	0	-		---	inspect
pthread-wmm/safe000_tso.opt_true-unreach-call.i	true	2	wit	inspect	15	4.2	530	110	.66	0	-		---	inspect
pthread-wmm/safe001_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.5	500	110	.66	0	-		---	inspect
pthread-wmm/safe001_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.2	540	110	.66	0	-		---	inspect
pthread-wmm/safe002_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.0	510	93	.66	0	-		---	inspect
pthread-wmm/safe002_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	3.8	520	99	.66	0	-		---	inspect
pthread-wmm/safe003_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.0	520	99	.66	0	-		---	inspect
pthread-wmm/safe003_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	560	100	.66	0	-		---	inspect
pthread-wmm/safe004_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.3	490	110	.66	0	-		---	inspect
pthread-wmm/safe004_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	510	100	.66	0	-		---	inspect
pthread-wmm/safe005_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.2	500	100	.66	0	-		---	inspect
pthread-wmm/safe005_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	3.8	510	110	.66	0	-		---	inspect
pthread-wmm/safe006_pso.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.5	430	91	.66	0	-		---	inspect
pthread-wmm/safe006_pso.opt_true-unreach-call.i	true	2	wit	inspect	12	4.1	420	90	.66	0	-		---	inspect
pthread-wmm/safe006_tso.oepc_true-unreach-call.i	true	2	wit	inspect	12	3.6	420	85	.66	0	-		---	inspect
pthread-wmm/safe006_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.5	420	85	.66	0	-		---	inspect
pthread-wmm/safe007_pso.oepc_true-unreach-call.i	true	2	wit	inspect	13	3.9	500	96	.66	0	-		---	inspect
pthread-wmm/safe007_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	540	110	.66	0	-		---	inspect
pthread-wmm/safe007_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	3.9	510	100	.66	0	-		---	inspect
pthread-wmm/safe007_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	570	120	.66	.066	-		---	inspect
pthread-wmm/safe008_tso.oepc_true-unreach-call.i	true	2	wit	inspect	12	4.2	500	94	.66	.037	-		---	inspect
pthread-wmm/safe008_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	510	110	.66	0	-		---	inspect
pthread-wmm/safe009_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.0	560	100	.66	0	-		---	inspect
pthread-wmm/safe009_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	550	99	.66	0	-		---	inspect
pthread-wmm/safe009_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.4	550	100	.66	0	-		---	inspect
pthread-wmm/safe009_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.6	520	110	.66	0	-		---	inspect
pthread-wmm/safe010_tso.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.6	420	79	.66	0	-		---	inspect
pthread-wmm/safe010_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	4.0	400	79	.66	0	-		---	inspect
pthread-wmm/safe011_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	520	100	.66	0	-		---	inspect
pthread-wmm/safe011_tso.opt_true-unreach-call.i	true	2	wit	inspect	12	4.2	490	100	.66	0	-		---	inspect
pthread-wmm/safe012_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	540	110	.66	0	-		---	inspect
pthread-wmm/safe012_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.0	530	110	.66	0	-		---	inspect
pthread-wmm/safe013_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.3	540	120	.66	0	-		---	inspect
pthread-wmm/safe013_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	550	110	.66	0	-		---	inspect
pthread-wmm/safe014_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.3	500	110	.66	0	-		---	inspect
pthread-wmm/safe014_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	500	110	.66	0	-		---	inspect
pthread-wmm/safe014_tso.oepc_true-unreach-call.i	true	2	wit	inspect	15	4.2	520	120	.66	0	-		---	inspect
pthread-wmm/safe014_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.6	500	110	.66	0	-		---	inspect
pthread-wmm/safe015_pso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.2	510	100	.66	0	-		---	inspect
pthread-wmm/safe015_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	520	110	.66	0	-		---	inspect
pthread-wmm/safe015_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.0	530	110	.66	4.5	-		---	inspect
pthread-wmm/safe015_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	570	100	.66	0	-		---	inspect
pthread-wmm/safe016_pso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.4	780	150	.66	0	-		---	inspect
pthread-wmm/safe016_pso.opt_true-unreach-call.i	true	2	wit	inspect	18	5.8	660	140	.66	0	-		---	inspect
pthread-wmm/safe016_tso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.6	680	140	.66	0	-		---	inspect
pthread-wmm/safe016_tso.opt_true-unreach-call.i	true	2	wit	inspect	17	5.3	690	120	.66	0	-		---	inspect
pthread-wmm/safe017_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	3.8	500	100	.66	0	-		---	inspect
pthread-wmm/safe017_tso.opt_true-unreach-call.i	true	2	wit	inspect	15	4.5	560	110	.66	0	-		---	inspect
pthread-wmm/safe018_pso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.0	510	100	.66	0	-		---	inspect
pthread-wmm/safe018_pso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.0	540	100	.66	0	-		---	inspect
pthread-wmm/safe018_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.3	570	110	.66	0	-		---	inspect
pthread-wmm/safe018_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	570	110	.66	0	-		---	inspect
pthread-wmm/safe019_pso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.4	810	160	.66	0	-		---	inspect
pthread-wmm/safe019_pso.opt_true-unreach-call.i	true	2	wit	inspect	17	5.6	760	130	.66	0	-		---	inspect
pthread-wmm/safe019_tso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.7	840	150	.66	0	-		---	inspect
pthread-wmm/safe019_tso.opt_true-unreach-call.i	true	2	wit	inspect	18	5.4	810	140	.66	0	-		---	inspect
pthread-wmm/safe020_pso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.0	520	100	.66	0	-		---	inspect
pthread-wmm/safe020_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	510	110	.66	0	-		---	inspect
pthread-wmm/safe020_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.1	570	100	.66	0	-		---	inspect
pthread-wmm/safe020_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	580	110	.66	0	-		---	inspect
pthread-wmm/safe021_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	500	97	.66	0	-		---	inspect
pthread-wmm/safe021_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.4	520	110	.66	0	-		---	inspect
pthread-wmm/safe022_tso.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.5	420	86	.66	0	-		---	inspect
pthread-wmm/safe022_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.6	420	92	.66	0	-		---	inspect
pthread-wmm/safe023_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	3.9	510	120	.66	0	-		---	inspect
pthread-wmm/safe023_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.3	520	99	.66	0	-		---	inspect
pthread-wmm/safe024_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.2	520	100	.66	0	-		---	inspect
pthread-wmm/safe024_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	3.9	520	100	.66	0	-		---	inspect
pthread-wmm/safe025_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	530	110	.66	0	-		---	inspect
pthread-wmm/safe025_pso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.0	570	97	.66	0	-		---	inspect
pthread-wmm/safe025_tso.oepc_true-unreach-call.i	true	2	wit	inspect	15	4.3	560	110	.66	0	-		---	inspect
pthread-wmm/safe025_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.0	570	100	.66	0	-		---	inspect
pthread-wmm/safe026_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.4	550	110	.66	0	-		---	inspect
pthread-wmm/safe026_tso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.3	500	100	.66	0	-		---	inspect
pthread-wmm/safe027_pso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.4	820	130	.66	0	-		---	inspect
pthread-wmm/safe027_pso.opt_true-unreach-call.i	true	2	wit	inspect	21	5.6	820	160	.66	0	-		---	inspect
pthread-wmm/safe027_tso.oepc_true-unreach-call.i	true	2	wit	inspect	18	5.4	670	150	.66	0	-		---	inspect
pthread-wmm/safe027_tso.opt_true-unreach-call.i	true	2	wit	inspect	18	5.8	680	150	.66	0	-		---	inspect
pthread-wmm/safe028_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	3.9	510	100	.66	0	-		---	inspect
pthread-wmm/safe028_pso.opt_true-unreach-call.i	true	2	wit	inspect	12	3.8	490	91	.66	0	-		---	inspect
pthread-wmm/safe028_tso.oepc_true-unreach-call.i	true	2	wit	inspect	15	4.1	580	110	.66	0	-		---	inspect
pthread-wmm/safe028_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	3.8	530	110	.66	0	-		---	inspect
pthread-wmm/safe029_tso.oepc_true-unreach-call.i	true	2	wit	inspect	10	3.4	370	74	.66	0	-		---	inspect
pthread-wmm/safe029_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.5	410	97	.66	0	-		---	inspect
pthread-wmm/safe030_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	500	100	.66	0	-		---	inspect
pthread-wmm/safe030_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.0	500	110	.66	0	-		---	inspect
pthread-wmm/safe031_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.4	520	100	.66	0	-		---	inspect
pthread-wmm/safe031_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	520	110	.66	0	-		---	inspect
pthread-wmm/safe032_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	560	95	.66	0	-		---	inspect
pthread-wmm/safe032_tso.opt_true-unreach-call.i	true	2	wit	inspect	12	4.0	530	100	.66	0	-		---	inspect
pthread-wmm/safe033_tso.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.6	420	87	.66	0	-		---	inspect
pthread-wmm/safe033_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.5	420	86	.66	0	-		---	inspect
pthread-wmm/safe034_tso.oepc_true-unreach-call.i	true	2	wit	inspect	15	4.7	560	110	.66	0	-		---	inspect
pthread-wmm/safe034_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	560	110	.66	0	-		---	inspect
pthread-wmm/safe035_power.oepc_true-unreach-call.i	timeout	0	---	inspect	900	760	7300	6300	.63	0	-		---	inspect
pthread-wmm/safe035_power.opt_true-unreach-call.i	timeout	0	---	inspect	900	790	7300	5800	.63	0	-		---	inspect
pthread-wmm/safe035_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.7	510	110	.66	0	-		---	inspect
pthread-wmm/safe035_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	490	100	.66	0	-		---	inspect
pthread-wmm/safe035_rmo.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.3	600	110	.66	0	-		---	inspect
pthread-wmm/safe035_rmo.opt_true-unreach-call.i	true	2	wit	inspect	14	4.2	500	110	.66	0	-		---	inspect
pthread-wmm/safe035_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.0	560	110	.66	0	-		---	inspect
pthread-wmm/safe035_tso.opt_true-unreach-call.i	true	2	wit	inspect	15	4.6	580	110	.66	0	-		---	inspect
pthread-wmm/safe036_power.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.4	430	92	.66	0	-		---	inspect
pthread-wmm/safe036_power.opt_true-unreach-call.i	true	2	wit	inspect	11	3.5	390	80	.66	0	-		---	inspect
pthread-wmm/safe036_pso.oepc_true-unreach-call.i	true	2	wit	inspect	11	3.5	420	96	.66	0	-		---	inspect
pthread-wmm/safe036_pso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.6	400	82	.66	0	-		---	inspect
pthread-wmm/safe036_rmo.oepc_true-unreach-call.i	true	2	wit	inspect	10	3.7	400	88	.66	0	-		---	inspect
pthread-wmm/safe036_rmo.opt_true-unreach-call.i	true	2	wit	inspect	10	3.5	390	78	.66	0	-		---	inspect
pthread-wmm/safe036_tso.oepc_true-unreach-call.i	true	2	wit	inspect	12	4.1	410	85	.66	0	-		---	inspect
pthread-wmm/safe036_tso.opt_true-unreach-call.i	true	2	wit	inspect	12	3.6	410	100	.66	0	-		---	inspect
pthread-wmm/safe037_power.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	520	120	.66	0	-		---	inspect
pthread-wmm/safe037_power.opt_true-unreach-call.i	true	2	wit	inspect	12	3.9	520	93	.66	0	-		---	inspect
pthread-wmm/safe037_pso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.0	560	110	.66	0	-		---	inspect
pthread-wmm/safe037_pso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	570	110	.66	0	-		---	inspect
pthread-wmm/safe037_rmo.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	550	97	.66	0	-		---	inspect
pthread-wmm/safe037_rmo.opt_true-unreach-call.i	true	2	wit	inspect	14	4.7	560	110	.66	0	-		---	inspect
pthread-wmm/safe037_tso.oepc_true-unreach-call.i	true	2	wit	inspect	13	4.1	510	100	.66	0	-		---	inspect
pthread-wmm/safe037_tso.opt_true-unreach-call.i	true	2	wit	inspect	15	4.2	570	120	.66	0	-		---	inspect
pthread-wmm/thin000_pso.oepc_true-unreach-call.i	true	2	wit	inspect	12	3.6	420	97	.66	0	-		---	inspect
pthread-wmm/thin000_pso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.5	400	97	.66	0	-		---	inspect
pthread-wmm/thin000_tso.oepc_true-unreach-call.i	true	2	wit	inspect	9.9	3.2	390	80	.66	0	-		---	inspect
pthread-wmm/thin000_tso.opt_true-unreach-call.i	true	2	wit	inspect	11	3.4	420	83	.66	0	-		---	inspect
pthread-wmm/thin001_pso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.4	520	98	.66	0	-		---	inspect
pthread-wmm/thin001_pso.opt_true-unreach-call.i	true	2	wit	inspect	13	4.5	540	120	.66	0	-		---	inspect
pthread-wmm/thin001_tso.oepc_true-unreach-call.i	true	2	wit	inspect	14	4.1	580	110	.66	0	-		---	inspect
pthread-wmm/thin001_tso.opt_true-unreach-call.i	true	2	wit	inspect	14	4.1	510	100	.66	0	-		---	inspect
pthread-wmm/thin002_pso.oepc_true-unreach-call.i	true	2	wit	inspect	20	5.8	660	150	.66	0	-		---	inspect
pthread-wmm/thin002_pso.opt_true-unreach-call.i	true	2	wit	inspect	21	6.0	780	160	.66	0	-		---	inspect
pthread-wmm/thin002_tso.oepc_true-unreach-call.i	true	2	wit	inspect	20	6.4	810	160	.66	0	-		---	inspect
pthread-wmm/thin002_tso.opt_true-unreach-call.i	true	2	wit	inspect	19	5.8	830	160	.66	0	-		---	inspect
pthread-lit/fkp2013_false-unreach-call.i	error (7)	0	---	inspect	14	5.4	360	100	.75	0	error (invalid witness file)	0	---	inspect	.77	.47	42		0	0
pthread-lit/fkp2013_variant_false-unreach-call.i	error (7)	0	---	inspect	15	5.6	370	110	.75	0	error (invalid witness file)	0	---	inspect	.61	.38	40		0	0
pthread-lit/qw2004_false-unreach-call.i	false(unreach-call)	0	wit	inspect	12	3.7	430	97	.66	0	true	-32	wit	inspect	8.7	4.6	320		0	0
pthread-lit/fk2012_true-unreach-call.i	error (7)	0	---	inspect	16	5.5	370	120	.75	0	-		---	inspect
pthread-lit/fkp2013_true-unreach-call.i	error (7)	0	---	inspect	14	5.2	350	120	.75	0	-		---	inspect
pthread-lit/fkp2013_variant_true-unreach-call.i	error (7)	0	---	inspect	15	5.6	370	110	.75	0	-		---	inspect
pthread-lit/fkp2014_true-unreach-call.i	error (7)	0	---	inspect	15	5.5	370	140	.75	0	-		---	inspect
pthread-lit/qw2004_true-unreach-call.i	error (7)	0	---	inspect	14	5.1	350	110	.75	0	-		---	inspect
pthread-lit/qw2004_variant_true-unreach-call.i	error (7)	0	---	inspect	14	4.9	340	110	.75	0	-		---	inspect
pthread-lit/sssc12_true-unreach-call.i	error (7)	0	---	inspect	15	5.8	350	110	.75	0	-		---	inspect
pthread-lit/sssc12_variant_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	380	120	.75	0	-		---	inspect
ldv-races/race-1_1-join_true-unreach-call.i	true	2	wit	inspect	12	4.3	490	110	.66	0	-		---	inspect
ldv-races/race-2_1-container_of_true-unreach-call.i	timeout	0	---	inspect	900	770	1300	10000	.64	0	-		---	inspect
ldv-races/race-3_1-container_of-global_true-unreach-call.i	timeout	0	---	inspect	900	780	1300	11000	.63	0	-		---	inspect
ldv-races/race-4_1-thread_local_vars_true-unreach-call.i	error (7)	0	---	inspect	22	7.4	530	190	.75	0	-		---	inspect
ldv-races/race-1_2-join_false-unreach-call.i	false(unreach-call)	1	wit	inspect	13	4.2	520	100	.66	0	false(unreach-call)	1	wit	inspect	6.1	3.3	270		0	0
ldv-races/race-1_3-join_false-unreach-call.i	false(unreach-call)	1	wit	inspect	15	4.3	560	120	.66	0	false(unreach-call)	1	wit	inspect	6.0	3.2	270		0	0
ldv-races/race-2_2-container_of_false-unreach-call.i	timeout	0	---	inspect	900	790	1100	11000	.63	0	error (invalid witness file)	0	---	inspect	.74	.45	43		0	0
ldv-races/race-2_3-container_of_false-unreach-call.i	error (7)	0	---	inspect	51	21	920	480	.75	0	error (invalid witness file)	0	---	inspect	.71	.43	40		0	0
ldv-races/race-2_4-container_of_false-unreach-call.i	error (7)	0	---	inspect	51	20	980	460	.75	0	error (invalid witness file)	0	---	inspect	.67	.40	41		0	0
ldv-races/race-2_5-container_of_false-unreach-call.i	false(unreach-call)	0	wit	inspect	44	19	900	370	.66	0	true	-32	wit	inspect	10	5.4	370		0	0
ldv-races/race-3_2-container_of-global_false-unreach-call.i	witness invalid (false(unreach-call))	0	wit	inspect	320	250	1200	3800	.62	0	error (invalid witness file)	0	---	inspect	3.6	2.0	200		0	0
ldv-races/race-4_2-thread_local_vars_false-unreach-call.i	error (7)	0	---	inspect	23	7.5	530	190	.75	0	error (invalid witness file)	0	---	inspect	.64	.39	42		0	0
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_false-unreach-call.cil.i	unknown	0	---	inspect	12	4.0	400	100	.66	0	error (invalid witness file)	0	---	inspect	.63	.39	41		0	0
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i	error (7)	0	---	inspect	26	8.7	420	190	.75	0	error (invalid witness file)	0	---	inspect	.65	.40	43		0	0
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i	timeout	0	---	inspect	910	400	13000	4600	.62	0	error (invalid witness file)	0	---	inspect	.73	.45	40		0	0
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i	error (7)	0	---	inspect	220	130	4700	1900	.68	0	error (invalid witness file)	0	---	inspect	.74	.45	41		0	0
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i	timeout	0	---	inspect	900	560	13000	7400	.63	0	error (invalid witness file)	0	---	inspect	.74	.46	41		0	0
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i	timeout	0	---	inspect	900	530	13000	7500	.63	0	error (invalid witness file)	0	---	inspect	.77	.46	40		0	0
ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko_true-unreach-call.cil.i	unknown	0	---	inspect	12	4.0	390	96	.66	0	-		---	inspect
pthread-complex/bounded_buffer_false-unreach-call.i	unknown	0	---	inspect	7.6	2.4	350	69	.65	0	error (invalid witness file)	0	---	inspect	.62	.37	42		0	0
pthread-complex/elimination_backoff_stack_false-unreach-call.i	timeout	0	---	inspect	900	530	13000	5000	.63	0	error (invalid witness file)	0	---	inspect	.59	.36	40		0	0
pthread-complex/safestack_relacy_false-unreach-call.i	error (7)	0	---	inspect	22	7.9	490	170	.75	0	error (invalid witness file)	0	---	inspect	.75	.47	40		0	0
pthread-complex/workstealqueue_mutex_false-unreach-call.i	error (7)	0	---	inspect	15	5.5	350	130	.75	0	error (invalid witness file)	0	---	inspect	.71	.45	40		0	0
pthread-complex/workstealqueue_mutex_true-unreach-call.i	error (7)	0	---	inspect	15	5.7	370	130	.75	0	-		---	inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_nvram_unlocked_ioctl_true-unreach-call.i	unknown	0	---	inspect	13	5.0	380	120	.66	0	-		---	inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_read_nvram_true-unreach-call.i	unknown	0	---	inspect	13	4.8	370	110	.66	0	-		---	inspect
pthread-driver-races/char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.i	unknown	0	---	inspect	12	4.7	360	94	.66	0	-		---	inspect
pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram_true-unreach-call.i	unknown	0	---	inspect	13	4.8	360	110	.66	0	-		---	inspect
pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.i	unknown	0	---	inspect	14	5.1	370	130	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure_true-unreach-call.i	unknown	0	---	inspect	13	5.2	370	120	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get_true-unreach-call.i	unknown	0	---	inspect	13	5.1	370	100	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current_true-unreach-call.i	unknown	0	---	inspect	12	4.5	370	100	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get_true-unreach-call.i	unknown	0	---	inspect	13	5.1	350	110	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set_true-unreach-call.i	unknown	0	---	inspect	12	5.0	360	100	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get_true-unreach-call.i	unknown	0	---	inspect	13	5.1	370	120	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set_true-unreach-call.i	unknown	0	---	inspect	13	5.1	370	130	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change_true-unreach-call.i	unknown	0	---	inspect	13	5.0	370	100	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure_true-unreach-call.i	unknown	0	---	inspect	12	4.9	370	96	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_true-unreach-call.i	unknown	0	---	inspect	12	5.2	360	110	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get_true-unreach-call.i	unknown	0	---	inspect	12	5.0	370	110	.66	0	-		---	inspect
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set_true-unreach-call.i	unknown	0	---	inspect	13	5.2	380	110	.66	0	-		---	inspect
pthread-driver-races/char_generic_nvram_read_nvram_write_nvram_false-unreach-call.i	unknown	0	---	inspect	12	4.4	360	99	.66	0	error (invalid witness file)	0	---	inspect	.71	.43	41		0	0
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current_false-unreach-call.i	unknown	0	---	inspect	12	4.5	380	110	.66	0	error (invalid witness file)	0	---	inspect	.73	.44	41		0	0
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set_false-unreach-call.i	unknown	0	---	inspect	13	5.1	370	97	.66	0	error (invalid witness file)	0	---	inspect	.78	.49	41		0	0
pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set_false-unreach-call.i	unknown	0	---	inspect	13	5.2	380	100	.66	0	error (invalid witness file)	0	---	inspect	.62	.38	40		0	0
pthread-C-DAC/pthread-demo-datarace_true-unreach-call.i	timeout	0	---	inspect	900	700	5400	9900	.63	0	-		---	inspect
pthread-C-DAC/pthread-finding-k-matches_true-unreach-call.i	unknown	0	---	inspect	7.1	2.6	330	58	.66	0	-		---	inspect
pthread-C-DAC/pthread-numerical-integration_true-unreach-call.i	unknown	0	---	inspect	7.8	2.2	360	66	.65	0	-		---	inspect
pthread-C-DAC/pthread-demo-datarace_false-unreach-call.i	false(unreach-call)	0	wit	inspect	300	230	2700	3400	.62	0	assertion	0	---	inspect	4.4	2.4	200		0	0
pthread-divine/condvar_spurious_wakeup_false-unreach-call.i	unknown	0	---	inspect	7.2	2.2	320	53	.65	0	error (invalid witness file)	0	---	inspect	.60	.38	40		0	0
pthread-divine/divinefifo-bug_1w1r_false-unreach-call.i	timeout	0	---	inspect	900	750	2400	7600	.64	0	error (invalid witness file)	0	---	inspect	.61	.38	43		0	0
pthread-divine/one_time_barrier_2t_false-unreach-call.i	unknown	0	---	inspect	7.2	2.2	350	58	.65	0	error (invalid witness file)	0	---	inspect	.76	.46	40		0	0
pthread-divine/one_time_barrier_3t_false-unreach-call.i	unknown	0	---	inspect	7.1	2.2	330	59	.65	0	error (invalid witness file)	0	---	inspect	.62	.39	40		0	0
pthread-divine/ring_1w1r_false-unreach-call.i	false(unreach-call)	0	wit	inspect	10	3.6	410	97	.66	0	error	0	wit	inspect	5.5	2.9	260		0	0
pthread-divine/ring_2w1r_false-unreach-call.i	timeout	0	---	inspect	900	710	5900	6500	.63	0	error (invalid witness file)	0	---	inspect	.65	.40	41		0	0
pthread-divine/tls_destructor_worker_false-unreach-call.i	unknown	0	---	inspect	7.5	2.4	340	62	.65	17	error (invalid witness file)	0	---	inspect	.75	.47	41		0	0
pthread-divine/barrier_2t_true-unreach-call.i	unknown	0	---	inspect	7.7	2.3	350	54	.65	0	-		---	inspect
pthread-divine/barrier_3t_true-unreach-call.i	unknown	0	---	inspect	7.4	2.5	310	66	.65	0	-		---	inspect
pthread-divine/condvar_true-unreach-call.i	unknown	0	---	inspect	6.5	2.1	310	57	.65	0	-		---	inspect
pthread-divine/divinefifo_1w1r_true-unreach-call.i	timeout	0	---	inspect	900	750	2100	6500	.64	0	-		---	inspect
pthread-divine/one_time_barrier_twice_2t_true-unreach-call.i	unknown	0	---	inspect	7.1	2.4	340	53	.65	0	-		---	inspect
pthread-divine/one_time_barrier_twice_3t_true-unreach-call.i	unknown	0	---	inspect	6.7	2.4	320	59	.66	0	-		---	inspect
pthread-divine/ring_1w1r_true-unreach-call.i	timeout	0	---	inspect	900	770	1100	6300	.64	0	-		---	inspect
pthread-divine/ring_2w1r_true-unreach-call.i	timeout	0	---	inspect	900	690	6700	6300	.64	0	-		---	inspect
pthread-divine/tls_basic_true-unreach-call.i	unknown	0	---	inspect	7.5	2.2	350	57	.65	0	-		---	inspect
pthread-nondet/nondet-array_false-unreach-call.i	error (7)	0	---	inspect	14	5.2	340	120	.75	0	error (invalid witness file)	0	---	inspect	.61	.38	41		0	0
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i	error (7)	0	---	inspect	15	5.6	360	130	.75	0	error (invalid witness file)	0	---	inspect	.76	.46	41		0	0
pthread-nondet/nondet-loop-bound_false-unreach-call.i	error (7)	0	---	inspect	15	5.3	360	120	.75	0	error (invalid witness file)	0	---	inspect	.75	.46	41		0	0
pthread-nondet/nondet-array_true-unreach-call.i	error (7)	0	---	inspect	15	5.3	360	110	.75	0	-		---	inspect
pthread-nondet/nondet-loop-bound-variant_true-unreach-call.i	error (7)	0	---	inspect	15	5.4	370	120	.75	0	-		---	inspect
pthread-nondet/nondet-loop-bound_true-unreach-call.i	error (7)	0	---	inspect	15	5.2	360	110	.75	0	-		---	inspect
sv-benchmarks/c/	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy (J)	blkio-w (MB)	blkio-r (MB)	status	score	witness	inspect witness	cpu (s)	wall (s)	mem (MB)	energy	blkio-w (MB)	blkio-r (MB)
total	1082	270			540000	360000	6700000	3800000	700	26	820	-4698			16000	11000	450000		0	.99
correct results	154	302			2500	890	98000	20000	100	4.6	6	6			40	21	1700		0	.037
correct true	148	296			2200	750	83000	18000	97	4.6	0
correct false	6	6			320	140	15000	2600	3.9	0	6	6			40	21	1700		0	.037
correct-unconfimed results	240	0			31000	13000	1100000	230000	150	.87	0
correct-unconfirmed true	0										0
correct-unconfirmed false	240	0			31000	13000	1100000	230000	150	.87	0
incorrect results	2	-32			300	150	13000	2300	1.2	.11	147	-4704			7400	4900	230000		0	.52
incorrect true	0										147	-4704			7400	4900	230000		0	.52
incorrect false	2	-32			300	150	13000	2300	1.2	.11	0
score (1082 tasks, max score: 1344)	270										-4698
Run set	uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main										cpa-seq-validate-violation-witnesses-uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main