ConcurrencySafety-Main – BenchExec results

Tool	2LS 0.7.2-sv-comp19					CBMC					CBMC Path 5.10 ()					CPAchecker 1.6.1-svn 68e5355+					CPAchecker 1.7-svn 29852					DepthK 3.1					DIVINE										ESBMC version 6.0.0 64-bit x86_64 linux					Lazy-CSeq CSeq-1.6--lazy +SV-COMP2019					PeSCo 1.7-svn b8d6131600+					SMACK 1.9.3					symbiotic 6.0.3-77d4af47					ULTIMATE Automizer 0.1.23-635dfa2a					ULTIMATE Kojak 0.1.23-635dfa2a					ULTIMATE Taipan 0.1.23-635dfa2a					Yogar-CBMC 1.1.0					Yogar-CBMC-Parallel 1.0
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
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-04 22:44:17 CET					2018-12-04 22:48:40 CET					2018-12-04 22:45:10 CET					2018-12-04 22:45:25 CET					2018-12-05 05:46:16 CET					2018-12-05 09:36:33 CET					2018-12-10 10:00:20 CET					2018-12-06 11:06:04 CET					2018-12-06 11:03:31 CET					2018-12-06 12:10:51 CET					2018-12-06 12:44:04 CET					2018-12-07 19:13:55 CET					2018-12-07 21:42:05 CET					2018-12-08 07:42:40 CET					2018-12-08 11:04:44 CET					2018-12-08 14:19:36 CET					2018-12-09 21:19:39 CET					2018-12-09 21:27:18 CET
Run set	2ls.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					cbmc.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					cbmc-path.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					cpa-lockator.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					cpa-seq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					depthk.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					divine-explicit.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					divine-smt.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					esbmc-kind.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					lazycseq.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					pesco.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					smack.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					symbiotic.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					uautomizer.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					ukojak.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					utaipan.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					yogar-cbmc.sv-comp19_prop-reachsafety.ConcurrencySafety-Main					yogar-cbmc-parallel.sv-comp19_prop-reachsafety.ConcurrencySafety-Main
Options	--graphml-witness witness.graphml					--graphml-witness witness.graphml					--graphml-witness witness.graphml					-svcomp19-lockator -disable-java-assertions -heap 12000m					-svcomp19 -heap 10000M -benchmark -timelimit 900s										--no-symbolic										-s kinduction					--witness error-witness.graphml					-svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s					-w error-witness.graphml					--witness witness.graphml					--full-output					--full-output					--full-output
../sv-benchmarks/c/	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score	status	cpu (s)	mem (MB)	energy (J)	score
pthread/bigshot_p_false-unreach-call.i	error (134)	.28	30	3.0	0	error (6)	.13	7.9	.86	0	error (6)	.10	11	1.1	0	false(unreach-call)	5.3	280	45	0	error	4.4	270	36	0	false(unreach-call)	.24	35	2.8	0	false(unreach-call)	8.5	450	100	0	false(unreach-call)	8.6	450	120	0	false(unreach-call)	.17	27	2.6	0	false(unreach-call)	.80	55	11	0	unknown	16	1200	130	0	disqualified	1.8	63	22	0	unknown	.085	13	.92	0	false(unreach-call)	12	490	93	0	error (7)	16	370	110	0	false(unreach-call)	22	490	180	0	false(unreach-call)	.33	33	2.5	0	false(unreach-call)	1.7	130	8.9	0
pthread/fib_bench_false-unreach-call.i	error (5)	.20	28	1.9	0	false(unreach-call)	.35	13	4.6	1	false(unreach-call)	.84	19	11	1	error	3.8	270	34	0	false(unreach-call)	38	1500	300	1	true	2.9	38	34	-32	false(unreach-call)	17	500	190	1	false(unreach-call)	14	490	160	1	true	.60	26	7.0	-32	false(unreach-call)	7.4	110	100	1	false(unreach-call)	38	2000	360	1	disqualified	880	400	12000	0	unknown	.073	13	.96	0	timeout	900	1100	13000	0	error (7)	16	370	120	0	timeout	900	810	11000	0	false(unreach-call)	.37	31	3.4	1	false(unreach-call)	1.4	120	7.9	1
pthread/fib_bench_longer_false-unreach-call.i	error (5)	.19	27	1.7	0	false(unreach-call)	3.2	32	41	1	false(unreach-call)	1.1	21	18	1	error	3.5	250	33	0	false(unreach-call)	230	3900	2100	1	true	3.7	38	48	-32	false(unreach-call)	55	660	520	1	false(unreach-call)	52	660	490	1	true	.68	27	11	-32	false(unreach-call)	11	120	160	1	false(unreach-call)	210	3700	2000	1	disqualified	880	420	12000	0	unknown	.079	13	.80	0	timeout	900	1000	11000	0	error (7)	14	370	130	0	timeout	900	780	12000	0	false(unreach-call)	.44	32	4.5	1	false(unreach-call)	2.2	130	16	1
pthread/fib_bench_longest_false-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	300	10000	0	false(unreach-call)	430	240	5000	0	error	3.6	250	31	0	timeout	900	4100	7400	0	true	9.3	40	100	-32	timeout	900	8300	7800	0	timeout	900	8400	9200	0	true	1.7	28	24	-32	false(unreach-call)	180	310	1900	0	timeout	900	4300	8900	0	disqualified	880	390	11000	0	unknown	.10	13	.86	0	timeout	900	1100	12000	0	error (7)	15	360	110	0	timeout	900	1000	13000	0	false(unreach-call)	13	110	160	1	false(unreach-call)	74	380	510	1
pthread/lazy01_false-unreach-call.i	error (5)	.20	27	2.3	0	false(unreach-call)	.21	17	2.6	1	false(unreach-call)	.21	18	2.5	1	false(unreach-call)	4.6	280	41	1	false(unreach-call)	4.2	270	35	1	witness invalid (false(unreach-call))	.42	35	5.4	0	false(unreach-call)	8.6	450	120	0	false(unreach-call)	8.8	450	120	0	witness invalid (false(unreach-call))	.37	27	4.3	0	false(unreach-call)	.70	55	9.2	1	false(unreach-call)	15	1200	110	1	disqualified	6.5	110	87	0	unknown	.074	13	.92	0	false(unreach-call)	13	480	98	1	error (7)	15	370	120	0	false(unreach-call)	13	490	98	1	false(unreach-call)	.21	30	2.2	1	false(unreach-call)	1.0	120	6.5	1
pthread/queue_false-unreach-call.i	error (5)	.23	29	2.3	0	false(unreach-call)	8.2	360	120	1	error (42)	880	520	11000	0	false(unreach-call)	9.8	440	85	0	false(unreach-call)	5.4	310	42	1	true	10	170	150	-32	unknown	8.7	450	110	0	false(unreach-call)	17	460	190	0	true	73	1300	990	-32	false(unreach-call)	26	390	310	0	false(unreach-call)	18	1200	140	1	disqualified	400	1800	5200	0	unknown	.085	14	.96	0	error (7)	13	340	110	0	error (7)	13	340	110	0	timeout	900	2000	6400	0	false(unreach-call)	.31	41	2.7	1	false(unreach-call)	1.4	160	8.4	1
pthread/queue_longer_false-unreach-call.i	error (5)	.21	28	2.3	0	false(unreach-call)	510	5100	6000	1	error (42)	880	830	11000	0	false(unreach-call)	10	440	94	0	false(unreach-call)	5.2	300	44	1	unknown	900	1200	10000	0	unknown	8.4	450	120	0	false(unreach-call)	16	460	160	0	timeout	900	15000	12000	0	false(unreach-call)	150	230	1600	0	false(unreach-call)	19	1200	150	1	disqualified	900	14000	10000	0	unknown	.089	14	.95	0	error (7)	13	350	100	0	error (7)	13	340	110	0	timeout	900	4500	7700	0	false(unreach-call)	1.3	320	18	1	false(unreach-call)	5.9	1300	47	1
pthread/queue_longest_false-unreach-call.i	error (5)	.23	29	2.0	0	error (42)	880	8200	12000	0	error (42)	880	1400	12000	0	false(unreach-call)	10	460	85	0	false(unreach-call)	5.5	310	48	1	unknown	900	1200	11000	0	unknown	8.7	450	100	0	false(unreach-call)	14	460	150	0	timeout	900	12000	12000	0	false(unreach-call)	150	230	1600	0	false(unreach-call)	20	1200	140	1	disqualified	900	14000	11000	0	unknown	.099	13	.92	0	error (7)	14	350	110	0	error (7)	14	340	100	0	timeout	900	4800	8300	0	false(unreach-call)	2.4	640	28	1	false(unreach-call)	11	2500	84	1
pthread/reorder_2_false-unreach-call.i	error (134)	.30	32	2.7	0	error (6)	.11	9.7	1.2	0	error (6)	.17	13	2.0	0	error	2.1	150	19	0	error	5.8	460	54	0	false(unreach-call)	3.1	38	51	0	false(unreach-call)	12	460	130	0	false(unreach-call)	13	460	170	0	false(unreach-call)	2.3	27	35	0	false(unreach-call)	2.4	66	37	0	unknown	17	1200	130	0	disqualified	7.7	120	92	0	unknown	.085	14	.70	0	error (7)	14	360	110	0	error (7)	13	330	97	0	error (7)	14	360	110	0	false(unreach-call)	.36	35	4.0	0	false(unreach-call)	2.0	130	10	0
pthread/reorder_5_false-unreach-call.i	error (134)	.29	31	3.0	0	error (6)	.12	10	1.5	0	error (6)	.17	13	2.3	0	error	2.1	150	21	0	error	6.2	470	51	0	false(unreach-call)	13	65	170	0	false(unreach-call)	18	470	200	0	false(unreach-call)	15	470	180	0	false(unreach-call)	37	120	500	0	false(unreach-call)	7.3	130	110	0	unknown	17	1200	140	0	disqualified	7.7	130	110	0	unknown	.090	14	.91	0	error (7)	14	350	120	0	error (7)	14	350	120	0	error (7)	14	350	110	0	false(unreach-call)	.41	34	2.7	0	false(unreach-call)	2.0	130	9.5	0
pthread/sigma_false-unreach-call.i	error (134)	.19	29	2.3	0	false(unreach-call)	93	760	1000	0	error (42)	880	2900	12000	0	error	2.1	150	20	0	error	6.4	460	52	0	unknown	900	260	12000	0	timeout	900	3000	8400	0	timeout	900	3000	8100	0	timeout	900	3200	11000	0	witness invalid (false(unreach-call))	7.2	230	88	0	unknown	16	1200	130	0	disqualified	880	470	13000	0	unknown	.086	13	.91	0	error (7)	16	380	140	0	error (7)	15	350	120	0	error (7)	16	370	120	0	false(unreach-call)	17	350	130	0	false(unreach-call)	35	1200	170	0
pthread/singleton_false-unreach-call.i	error (134)	.20	29	1.8	0	error (6)	.091	7.1	.95	0	error (6)	.33	45	3.7	0	false(unreach-call)	4.8	260	47	0	error	4.8	280	40	0	true	550	1000	6000	-32	false(unreach-call)	11	450	150	0	false(unreach-call)	10	450	120	0	true	270	1300	3200	-32	witness invalid (false(unreach-call))	4.0	90	59	0	unknown	17	1200	110	0	disqualified	240	6800	3100	0	unknown	.097	13	.91	0	false(unreach-call)	120	4800	1500	0	error (7)	16	370	120	0	false(unreach-call)	150	4600	1200	0	false(unreach-call)	.24	33	3.8	0	false(unreach-call)	1.2	130	6.3	0
pthread/stack_false-unreach-call.i	error (134)	.20	28	1.8	0	false(unreach-call)	.34	24	3.9	0	error (42)	880	730	11000	0	false(unreach-call)	6.2	290	49	0	error	6.7	460	62	0	true	13	70	190	-32	unknown	8.5	450	100	0	false(unreach-call)	98	520	820	0	true	6.6	130	100	-32	false(unreach-call)	1.7	79	22	0	unknown	17	1200	130	0	disqualified	31	150	420	0	unknown	.085	14	1.1	0	false(unreach-call)	30	830	260	0	error (7)	16	360	130	0	false(unreach-call)	45	930	370	0	false(unreach-call)	.27	34	3.2	0	false(unreach-call)	1.4	130	10	0
pthread/stack_longer_false-unreach-call.i	error (134)	.19	29	2.6	0	false(unreach-call)	7.4	130	94	0	error (42)	870	190	10000	0	false(unreach-call)	31	1300	300	0	error	19	1300	160	0	unknown	900	710	11000	0	unknown	8.4	450	99	0	false(unreach-call)	470	800	3900	0	timeout	900	12000	10000	0	false(unreach-call)	170	5000	1800	0	unknown	31	1700	280	0	disqualified	900	240	10000	0	unknown	.082	13	1.1	0	false(unreach-call)	33	980	270	0	error (7)	15	350	140	0	false(unreach-call)	47	980	370	0	false(unreach-call)	.43	61	4.0	0	false(unreach-call)	2.1	240	11	0
pthread/stack_longest_false-unreach-call.i	error (134)	.21	29	1.8	0	false(unreach-call)	26	230	360	0	error (42)	880	300	11000	0	false(unreach-call)	72	2400	530	0	error	36	2900	430	0	unknown	900	640	12000	0	unknown	8.4	450	110	0	false(unreach-call)	380	750	3000	0	timeout	900	10000	12000	0	false(unreach-call)	220	8700	2600	0	unknown	49	2000	460	0	disqualified	900	230	10000	0	unknown	.093	14	.80	0	false(unreach-call)	33	990	300	0	error (7)	16	350	130	0	false(unreach-call)	51	1600	440	0	false(unreach-call)	.58	110	7.3	0	false(unreach-call)	3.0	440	18	0
pthread/stateful01_false-unreach-call.i	error (5)	.20	27	2.3	0	false(unreach-call)	.27	20	3.4	1	false(unreach-call)	13	27	200	1	false(unreach-call)	4.6	280	36	1	false(unreach-call)	4.2	290	41	1	witness invalid (false(unreach-call))	.30	34	3.9	0	false(unreach-call)	8.4	450	96	1	false(unreach-call)	8.4	450	100	1	witness invalid (false(unreach-call))	.24	27	3.1	0	false(unreach-call)	.68	55	9.7	1	false(unreach-call)	15	1200	120	1	disqualified	6.9	140	91	0	unknown	.076	13	.83	0	false(unreach-call)	11	390	71	0	error (7)	15	350	130	0	false(unreach-call)	11	410	81	0	false(unreach-call)	.21	30	2.1	1	false(unreach-call)	1.1	120	5.4	1
pthread/triangular-longer_false-unreach-call.i	error (5)	.20	28	1.6	0	false(unreach-call)	370	200	5000	1	false(unreach-call)	630	220	7300	1	error	4.0	270	31	0	false(unreach-call)	64	3900	540	1	true	7.4	38	96	-32	false(unreach-call)	30	490	310	1	false(unreach-call)	31	490	330	1	true	1.3	27	19	-32	false(unreach-call)	13	130	140	1	false(unreach-call)	63	2600	550	1	disqualified	880	850	11000	0	unknown	.084	14	.89	0	false(unreach-call)	35	1100	320	0	error (7)	15	350	110	0	false(unreach-call)	53	800	650	0	false(unreach-call)	5.9	68	67	1	false(unreach-call)	21	240	200	1
pthread/triangular-longest_false-unreach-call.i	error (5)	.21	27	1.7	0	error (42)	880	310	10000	0	error (42)	880	310	10000	0	error	3.5	250	32	0	timeout	900	4000	9900	0	true	27	45	390	-32	false(unreach-call)	300	1100	2900	1	false(unreach-call)	290	1100	2800	1	true	4.2	44	63	-32	false(unreach-call)	50	220	630	1	timeout	900	4200	11000	0	disqualified	880	510	12000	0	unknown	.079	13	.76	0	false(unreach-call)	87	1000	1000	0	error (7)	14	360	120	0	false(unreach-call)	100	870	1300	0	timeout	900	970	9200	0	timeout	900	1900	5100	0
pthread/triangular_false-unreach-call.i	error (5)	.19	27	1.9	0	false(unreach-call)	8.8	28	110	1	false(unreach-call)	3.2	25	47	1	error	3.5	250	33	0	false(unreach-call)	19	800	130	1	true	2.7	37	41	-32	false(unreach-call)	11	450	120	1	false(unreach-call)	11	450	130	1	true	.59	27	7.2	-32	false(unreach-call)	6.0	92	76	1	false(unreach-call)	23	1300	170	1	disqualified	880	400	11000	0	unknown	.089	18	.78	0	false(unreach-call)	23	650	200	0	error (7)	14	350	120	0	false(unreach-call)	28	570	230	0	false(unreach-call)	.29	30	2.4	1	false(unreach-call)	1.2	120	7.2	1
pthread/twostage_3_false-unreach-call.i	error (134)	.33	32	3.2	0	error (6)	.13	11	1.4	0	error (6)	.95	30	12	0	error	2.2	160	22	0	error	6.5	470	53	0	true	9.7	120	110	-32	false(unreach-call)	13	460	140	0	false(unreach-call)	14	460	160	0	true	4.3	72	51	-32	false(unreach-call)	2.9	73	40	0	unknown	18	1200	140	0	disqualified	82	400	1200	0	unknown	.081	14	1.2	0	error (7)	14	350	100	0	error (7)	14	340	110	0	error (7)	14	360	99	0	false(unreach-call)	.43	35	3.5	0	false(unreach-call)	2.1	130	11	0
pthread/bigshot_s2_true-unreach-call.i	error (134)	.21	29	1.7	0	error (6)	.093	8.1	1.1	0	error (6)	.099	10	1.1	0	false(unreach-call)	4.9	280	45	-16	error	4.6	290	42	0	true	1.2	44	13	2	true	8.4	390	100	2	true	8.7	390	110	2	true	.24	27	3.1	2	true	4.7	110	56	2	unknown	15	1300	110	0	disqualified	1.7	59	20	0	unknown	.089	14	.77	0	unknown	18	380	160	0	error (7)	15	370	140	0	unknown	18	360	140	0	true	.20	32	2.5	2	true	1.0	120	5.2	2
pthread/bigshot_s_true-unreach-call.i	error (134)	.24	29	1.8	0	error (6)	.093	7.8	1.0	0	error (6)	.11	10	.98	0	false(unreach-call)	5.2	290	50	-16	error	4.3	270	36	0	true	1.1	44	13	2	true	8.4	390	130	2	true	8.7	390	110	2	true	.24	27	2.8	2	true	4.7	110	62	2	unknown	15	1300	120	0	disqualified	1.7	61	20	0	unknown	.089	13	1.2	0	unknown	18	390	140	0	error (7)	16	360	140	0	unknown	19	410	160	0	true	.20	32	2.4	2	true	1.0	130	5.3	2
pthread/fib_bench_longer_true-unreach-call.i	error (5)	.23	27	1.7	0	true	93	60	1400	2	true	39	48	490	2	error	3.7	270	32	0	true	790	4100	7900	2	true	3.7	37	45	2	true	190	700	1800	2	true	190	700	1700	2	true	.66	27	8.0	2	true	17	140	200	2	true	750	4300	6600	2	disqualified	880	360	10000	0	unknown	.087	13	.84	0	timeout	900	890	12000	0	error (7)	14	370	110	0	timeout	900	860	11000	0	true	.68	34	7.6	2	true	3.2	130	24	2
pthread/fib_bench_longest_true-unreach-call.i	error (5)	.19	27	1.6	0	error (42)	880	330	11000	0	error (42)	880	320	11000	0	error	3.6	250	34	0	timeout	900	4100	7400	0	true	9.3	40	130	2	timeout	900	7600	8400	0	timeout	900	7800	8700	0	true	1.6	28	20	2	true	250	340	2500	2	timeout	900	4300	8800	0	disqualified	880	410	11000	0	unknown	.078	13	.90	0	timeout	900	990	12000	0	error (7)	14	350	100	0	timeout	900	1000	11000	0	true	22	130	300	2	true	240	510	1600	2
pthread/fib_bench_true-unreach-call.i	error (5)	.20	27	1.7	0	true	8.8	28	110	2	true	8.8	27	100	2	error	3.7	280	30	0	true	89	3700	790	2	true	2.9	37	35	2	true	48	460	500	2	true	49	460	450	2	true	.60	26	7.4	2	true	9.5	110	130	2	true	84	2700	800	2	disqualified	880	350	11000	0	unknown	.078	13	1.1	0	timeout	900	1000	11000	0	error (7)	15	360	120	0	timeout	900	840	10000	0	true	.35	30	3.8	2	true	1.8	120	11	2
pthread/indexer_true-unreach-call.i	error (134)	.21	28	2.1	0	error (42)	880	4700	13000	0	error (42)	880	4600	11000	0	error	2.1	150	18	0	error	8.0	460	62	0	true	.46	36	6.5	2	timeout	900	4700	9300	0	timeout	900	4700	8400	0	true	.35	27	4.0	2	true	460	3800	6600	2	unknown	27	1300	230	0	disqualified	890	510	11000	0	unknown	.096	13	1.0	0	error (7)	17	360	120	0	error (7)	16	350	130	0	error (7)	20	480	170	0	true	.65	100	6.7	2	true	3.3	410	20	2
pthread/queue_ok_longer_true-unreach-call.i	error (5)	.22	29	2.7	0	error (42)	880	3000	13000	0	error (42)	880	670	13000	0	error	9.7	450	81	0	error	40	3400	390	0	true	2.5	52	35	2	unknown	11	460	130	0	timeout	900	800	9400	0	timeout	900	6600	13000	0	true	470	610	5400	2	unknown	53	2200	620	0	disqualified	900	270	10000	0	unknown	.091	13	.97	0	error (7)	13	360	110	0	error (7)	14	340	110	0	error (7)	29	1400	230	0	true	.61	150	6.5	2	true	2.9	610	20	2
pthread/queue_ok_longest_true-unreach-call.i	error (5)	.22	28	1.9	0	error (42)	880	5900	12000	0	error (42)	880	1100	11000	0	error	9.5	450	79	0	error	100	3800	1200	0	true	2.8	51	31	2	unknown	12	470	140	0	timeout	900	1100	9700	0	timeout	900	6600	9900	0	true	550	1100	6400	2	unknown	130	2700	1700	0	disqualified	900	250	11000	0	unknown	.11	13	.80	0	error (7)	14	340	100	0	error (7)	13	340	110	0	error (7)	35	3000	320	0	true	.97	290	14	2	true	4.4	1200	31	2
pthread/queue_ok_true-unreach-call.i	error (5)	.22	28	2.1	0	error (42)	880	6200	13000	0	error (42)	880	530	13000	0	error	9.9	450	81	0	error	8.7	480	69	0	true	5.1	90	65	2	unknown	8.7	450	120	0	true	40	410	430	2	true	23	260	300	2	true	300	320	2800	2	unknown	19	1200	150	0	disqualified	890	260	12000	0	unknown	.084	13	.90	0	error (7)	14	360	110	0	error (7)	13	360	99	0	error (7)	22	630	160	0	true	.26	36	2.1	2	true	1.4	140	6.6	2
pthread/singleton_with-uninit-problems_true-unreach-call.i	error (134)	.20	29	1.7	0	error (6)	.11	7.8	.95	0	error (6)	.34	48	4.1	0	false(unreach-call)	4.6	260	48	-16	error	4.8	280	46	0	true	560	930	7000	2	true	11	390	120	2	true	11	390	130	2	true	270	1300	3800	2	true	4.8	89	60	2	unknown	16	1200	130	0	disqualified	540	6800	6100	0	unknown	.10	13	.79	0	true	110	4800	930	2	error (7)	16	350	120	0	true	110	4800	1100	2	true	.28	33	2.0	2	true	1.2	130	6.9	2
pthread/stack_longer_true-unreach-call.i	error (134)	.21	28	1.9	0	error (42)	880	1100	5200	0	error (42)	880	190	11000	0	false(unreach-call)	24	920	180	-16	error	18	1000	150	0	unknown	900	720	13000	0	unknown	8.4	450	98	0	timeout	900	1000	7300	0	timeout	900	13000	12000	0	true	590	5700	5400	2	unknown	31	1700	300	0	disqualified	900	240	11000	0	unknown	.11	18	.84	0	timeout	900	2400	13000	0	error (7)	17	380	140	0	timeout	900	2600	11000	0	true	.43	61	4.4	2	true	2.1	240	12	2
pthread/stack_longest_true-unreach-call.i	error (134)	.19	28	1.6	0	error (42)	880	1400	6600	0	error (42)	880	310	11000	0	false(unreach-call)	47	1800	350	-16	error	35	2800	270	0	unknown	900	640	11000	0	unknown	8.4	450	110	0	timeout	900	1100	7200	0	timeout	900	11000	11000	0	true	900	8700	9500	2	unknown	46	2000	350	0	disqualified	900	220	11000	0	unknown	.089	14	.88	0	timeout	900	2300	11000	0	error (7)	17	360	140	0	timeout	900	2600	12000	0	true	.63	110	6.8	2	true	3.2	450	18	2
pthread/stack_true-unreach-call.i	error (134)	.19	28	2.2	0	error (42)	880	390	7100	0	error (42)	880	710	14000	0	false(unreach-call)	5.6	270	53	-16	error	6.9	460	53	0	true	17	82	210	2	unknown	8.2	450	99	0	timeout	900	900	6300	0	true	8.0	160	110	2	true	130	490	1300	2	unknown	17	1200	120	0	disqualified	52	140	680	0	unknown	.10	13	.91	0	timeout	900	1800	12000	0	error (7)	16	370	140	0	true	740	1400	8800	2	true	.82	35	10	2	true	5.1	140	26	2
pthread/stateful01_true-unreach-call.i	error (5)	.19	28	2.2	0	true	2.3	23	30	2	true	16	28	220	2	false(unreach-call)	4.2	280	38	-16	true	4.7	290	39	2	true	1.3	36	14	2	true	8.6	390	99	2	true	8.7	390	130	2	true	.54	27	8.2	2	true	3.8	78	59	2	true	14	1300	120	2	disqualified	5.5	94	66	0	unknown	.10	13	.75	0	true	11	420	85	2	error (7)	15	340	110	0	true	11	430	80	2	true	.21	30	1.9	2	true	1.1	120	5.2	2
pthread/sync01_true-unreach-call.i	error (5)	.20	28	2.0	0	error (42)	880	4000	11000	0	true	11	47	170	2	error	4.0	280	38	0	true	5.7	430	54	2	true	5.2	120	75	2	true	8.6	390	110	2	true	8.6	390	120	2	true	.53	31	7.7	2	true	5.7	96	75	2	true	17	1200	130	2	disqualified	6.3	120	70	0	unknown	.081	13	.72	0	unknown	7.3	330	60	0	unknown	7.3	330	57	0	unknown	7.4	350	58	0	error (6)	.21	32	1.5	0	timeout	4.6	130	1300	0
pthread/triangular-longer_true-unreach-call.i	error (5)	.19	27	1.8	0	error (42)	880	220	11000	0	error (42)	880	250	9400	0	error	3.7	260	35	0	true	68	3900	700	2	true	7.4	38	89	2	true	34	430	350	2	true	34	430	330	2	true	1.3	28	15	2	true	14	130	170	2	true	75	2700	640	2	disqualified	880	420	13000	0	unknown	.098	13	.80	0	true	37	750	330	2	error (7)	15	370	110	0	true	42	730	440	2	true	7.5	93	100	2	true	33	260	300	2
pthread/triangular-longest_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	300	12000	0	error (42)	880	330	11000	0	error	3.6	250	31	0	timeout	900	4000	12000	0	true	27	45	390	2	true	300	1000	2900	2	true	300	1000	2600	2	true	4.2	44	64	2	true	56	220	530	2	timeout	900	4200	8600	0	disqualified	880	480	11000	0	unknown	.10	13	.70	0	true	91	1000	970	2	error (7)	16	370	120	0	true	170	860	1900	2	timeout	900	820	7800	0	timeout	900	2100	4300	0
pthread/triangular_true-unreach-call.i	error (5)	.21	27	1.9	0	true	41	28	540	2	true	130	42	1700	2	error	3.9	270	31	0	true	19	790	140	2	true	2.7	37	33	2	true	12	390	140	2	true	12	390	150	2	true	.60	27	7.4	2	true	6.7	92	94	2	true	23	1600	170	2	disqualified	880	420	12000	0	unknown	.075	13	.80	0	true	22	570	180	2	error (7)	15	370	120	0	true	32	660	270	2	true	.38	31	3.5	2	true	1.5	120	9.0	2
pthread-atomic/qrcu_false-unreach-call.i	error (5)	.21	28	2.3	0	false(unreach-call)	.54	30	6.0	1	false(unreach-call)	9.3	1200	130	0	false(unreach-call)	6.7	310	63	0	false(unreach-call)	12	570	86	1	true	5.3	67	76	-32	unknown	10	450	140	0	false(unreach-call)	37	640	340	0	timeout	900	5200	11000	0	false(unreach-call)	1.2	65	15	0	false(unreach-call)	22	1200	170	1	disqualified	21	650	260	0	unknown	.088	14	.81	0	error (7)	15	360	130	0	error (7)	15	360	130	0	error (7)	15	360	130	0	false(unreach-call)	.28	32	2.6	0	false(unreach-call)	1.4	130	7.3	0
pthread-atomic/read_write_lock_false-unreach-call.i	error (5)	.21	27	2.4	0	false(unreach-call)	.20	17	2.8	1	error (42)	350	57	4600	0	error	3.6	250	33	0	false(unreach-call)	21	830	160	1	true	2.1	35	27	-32	false(unreach-call)	9.9	450	130	0	false(unreach-call)	11	450	160	0	true	1.4	27	19	-32	false(unreach-call)	.71	55	10	1	false(unreach-call)	25	1300	210	1	disqualified	24	180	310	0	unknown	.078	13	.86	0	error (7)	44	1500	360	0	error (7)	15	350	120	0	error (7)	40	1500	340	0	false(unreach-call)	.26	30	1.6	1	false(unreach-call)	1.2	120	6.4	1
pthread-atomic/dekker_true-unreach-call.i	error (5)	.19	27	1.6	0	error (42)	880	850	11000	0	error (42)	880	10000	12000	0	false(unreach-call)	5.2	280	44	-16	true	6.3	380	52	2	unknown	43	40	550	0	true	8.5	390	110	2	true	8.7	390	110	2	timeout	900	5000	12000	0	true	6.0	74	68	2	true	16	1200	130	2	disqualified	4.5	94	54	0	unknown	.074	13	.90	0	true	11	380	86	2	error (7)	15	350	120	0	true	11	390	82	2	true	.21	30	1.8	2	true	1.1	120	5.4	2
pthread-atomic/gcd_true-unreach-call_true-termination.i	error (5)	.19	27	1.9	0	error (42)	880	320	10000	0	error (42)	880	15000	13000	0	error	3.7	250	32	0	timeout	920	3600	3800	0	unknown	900	62	10000	0	unknown	8.3	450	110	0	timeout	900	660	8200	0	timeout	900	54	12000	0	true	.64	53	10	2	timeout	910	3500	4600	0	disqualified	360	200	5100	0	unknown	.076	13	.77	0	error (7)	15	360	130	0	error (7)	14	340	110	0	error (7)	15	370	110	0	true	23	100	270	2	true	77	240	410	2
pthread-atomic/lamport_true-unreach-call.i	error (5)	.20	28	1.9	0	true	.72	16	9.2	2	true	130	290	2000	2	false(unreach-call)	5.1	280	49	-16	true	6.9	430	60	2	unknown	900	1000	9200	0	true	9.0	390	110	2	true	9.1	390	120	2	timeout	900	13000	13000	0	true	10	80	120	2	true	16	1400	140	2	disqualified	4.8	98	58	0	unknown	.075	13	.79	0	true	12	530	100	2	error (7)	15	340	110	0	true	12	490	100	2	true	.26	30	1.8	2	true	1.2	120	6.1	2
pthread-atomic/peterson_true-unreach-call.i	error (5)	.18	27	2.0	0	true	.21	8.7	2.6	2	true	1.2	15	17	2	false(unreach-call)	4.7	280	41	-16	true	5.3	310	46	2	true	.56	35	7.5	2	true	8.6	390	100	2	true	8.7	390	120	2	timeout	900	9400	13000	0	true	3.6	69	48	2	true	16	1200	110	2	disqualified	4.5	88	52	0	unknown	.097	13	.73	0	true	11	380	82	2	error (7)	15	370	120	0	true	10	390	88	2	true	.22	30	1.8	2	true	1.1	120	5.3	2
pthread-atomic/qrcu_true-unreach-call.i	error (5)	.21	28	2.7	0	error (42)	880	650	6700	0	false(unreach-call)	22	2400	260	-16	timeout	950	5600	11000	0	timeout	910	4000	4600	0	true	5.3	66	62	2	true	240	650	2300	2	true	250	650	2600	2	timeout	900	5200	13000	0	true	46	230	610	2	timeout	920	8900	4000	0	disqualified	900	860	12000	0	unknown	.081	13	.94	0	error (7)	16	370	120	0	error (7)	14	330	110	0	error (7)	15	370	110	0	true	.32	32	4.3	2	true	1.5	130	6.8	2
pthread-atomic/read_write_lock_true-unreach-call.i	error (5)	.20	27	2.0	0	true	1.6	20	21	2	false(unreach-call)	.42	27	5.6	-16	error	3.5	250	33	0	true	9.1	480	89	2	true	2.1	36	28	2	true	13	390	140	2	true	13	390	150	2	true	1.4	27	17	2	true	7.2	94	110	2	true	20	1200	150	2	disqualified	91	210	1400	0	unknown	.077	13	.96	0	true	18	990	130	2	error (7)	14	350	130	0	true	19	990	150	2	true	.24	30	2.2	2	true	1.1	120	6.0	2
pthread-atomic/scull_true-unreach-call.i	error (5)	.26	28	2.6	0	true	2.7	43	35	2	error (42)	880	1100	12000	0	true	8.0	320	66	2	timeout	910	3300	5800	0	true	18	80	220	2	unknown	8.6	450	140	0	timeout	900	450	6900	0	true	12	130	150	2	true	38	280	470	2	timeout	910	3400	5100	0	disqualified	1.3	39	17	0	unknown	.081	13	.79	0	timeout	900	7200	6700	0	error (7)	17	370	140	0	timeout	900	7200	7300	0	true	.26	31	2.5	2	true	1.3	120	5.8	2
pthread-atomic/szymanski_true-unreach-call.i	error (5)	.19	27	1.9	0	true	.29	12	3.5	2	true	14	63	180	2	false(unreach-call)	4.9	280	48	-16	true	6.0	380	45	2	true	.50	36	5.5	2	true	9.3	390	110	2	true	9.5	390	110	2	out of memory	860	15000	13000	0	true	4.9	74	62	2	true	16	1200	120	2	disqualified	4.5	97	66	0	unknown	.092	13	.87	0	true	12	450	92	2	error (7)	16	370	130	0	true	12	430	89	2	true	.23	30	1.8	2	true	1.0	110	6.3	2
pthread-atomic/time_var_mutex_true-unreach-call.i	error (5)	.20	27	2.0	0	true	.57	19	6.2	2	true	12	37	150	2	false(unreach-call)	4.6	280	38	-16	true	4.2	290	43	2	true	.89	36	11	2	true	8.6	390	120	2	true	8.7	390	120	2	true	.37	27	4.1	2	true	5.3	82	68	2	true	16	1200	110	2	disqualified	5.7	110	69	0	unknown	.081	13	.75	0	true	12	420	90	2	error (7)	15	360	120	0	true	12	420	100	2	true	.22	30	1.9	2	true	1.1	120	5.0	2
pthread-ext/25_stack_longer_false-unreach-call.i	error (5)	.20	27	1.8	0	false(unreach-call)	70	810	880	0	error (6)	.087	9.7	.79	0	error	3.8	250	33	0	error	6.7	480	51	0	false(unreach-call)	.14	34	1.8	0	false(unreach-call)	8.5	450	110	0	false(unreach-call)	8.5	450	110	0	false(unreach-call)	.089	27	.96	0	false(unreach-call)	1.6	180	17	0	unknown	16	1200	120	0	disqualified	14	190	220	0	unknown	.10	13	.78	0	error (7)	15	370	120	0	error (7)	15	340	120	0	error (7)	16	370	110	0	false(unreach-call)	.24	30	2.5	0	false(unreach-call)	1.2	120	7.2	0
pthread-ext/25_stack_longest_false-unreach-call.i	error (5)	.18	27	1.7	0	false(unreach-call)	560	2300	7300	0	error (6)	.096	9.6	.78	0	error	3.9	270	34	0	error	6.5	470	52	0	false(unreach-call)	.15	35	2.0	0	false(unreach-call)	8.5	450	100	0	false(unreach-call)	8.4	450	100	0	false(unreach-call)	.12	27	.92	0	false(unreach-call)	3.2	460	37	0	unknown	17	1200	130	0	disqualified	190	540	2000	0	unknown	.11	13	.90	0	error (7)	17	360	120	0	error (7)	15	360	130	0	error (7)	16	370	120	0	false(unreach-call)	.27	30	2.4	0	false(unreach-call)	1.4	120	6.2	0
pthread-ext/26_stack_cas_longer_false-unreach-call.i	error (5)	.19	27	1.8	0	false(unreach-call)	110	1700	1400	0	error (6)	.080	9.4	.88	0	error	3.7	250	31	0	error	6.7	470	55	0	false(unreach-call)	.15	34	2.2	0	false(unreach-call)	8.4	450	110	0	false(unreach-call)	8.6	450	98	0	false(unreach-call)	.095	27	1.1	0	false(unreach-call)	1.6	180	20	0	unknown	17	1200	130	0	disqualified	16	200	190	0	unknown	.082	13	.84	0	error (7)	15	340	110	0	error (7)	15	350	120	0	error (7)	15	350	120	0	false(unreach-call)	.26	30	2.0	0	false(unreach-call)	1.3	120	7.0	0
pthread-ext/26_stack_cas_longest_false-unreach-call.i	error (5)	.19	28	1.6	0	error (42)	880	4800	13000	0	error (6)	.10	9.4	.79	0	error	3.9	270	33	0	error	6.5	470	52	0	false(unreach-call)	.17	35	1.7	0	false(unreach-call)	8.4	450	120	0	false(unreach-call)	8.8	450	110	0	false(unreach-call)	.10	27	.99	0	false(unreach-call)	3.2	450	37	0	unknown	17	1200	140	0	disqualified	240	560	3300	0	unknown	.077	13	.84	0	error (7)	18	370	140	0	error (7)	16	370	120	0	error (7)	16	370	140	0	false(unreach-call)	.25	30	2.8	0	false(unreach-call)	1.3	120	6.5	0
pthread-ext/27_Boop_simple_vf_false-unreach-call.i	error (5)	.19	27	1.6	0	false(unreach-call)	.15	11	1.8	0	error (42)	880	4900	14000	0	false(unreach-call)	5.2	290	51	0	error	5.5	360	45	0	timeout	900	910	11000	0	unknown	8.5	450	94	0	timeout	900	3900	8200	0	false(unreach-call)	.32	27	3.2	0	false(unreach-call)	.74	56	12	0	unknown	16	1200	120	0	disqualified	880	560	7900	0	unknown	.078	13	.80	0	error (7)	15	370	110	0	error (7)	15	360	130	0	error (7)	15	380	120	0	false(unreach-call)	.23	30	1.9	0	false(unreach-call)	1.1	120	6.0	0
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i	error (5)	.18	27	1.9	0	false(unreach-call)	.13	9.4	1.4	0	false(unreach-call)	.13	9.8	1.5	0	false(unreach-call)	4.3	280	36	0	error	5.3	350	42	0	false(unreach-call)	.14	34	1.9	0	unknown	8.4	450	110	0	false(unreach-call)	18	450	200	0	false(unreach-call)	.11	26	.83	0	false(unreach-call)	.68	55	8.4	0	unknown	15	1200	120	0	disqualified	5.1	90	64	0	unknown	.11	13	.83	0	error (7)	16	360	120	0	error (7)	15	370	130	0	error (7)	16	380	140	0	false(unreach-call)	.20	30	1.7	0	false(unreach-call)	1.1	120	6.4	0
pthread-ext/32_pthread5_vs_false-unreach-call.i	error (5)	.19	27	1.7	0	false(unreach-call)	.31	20	3.2	0	error (42)	880	14000	9300	0	error	3.9	280	34	0	error	5.5	360	51	0	timeout	900	8200	12000	0	false(unreach-call)	12	460	150	0	false(unreach-call)	12	460	140	0	timeout	900	11000	12000	0	false(unreach-call)	.73	55	11	0	unknown	16	1200	110	0	disqualified	8.9	260	100	0	unknown	.079	13	.76	0	error (7)	14	340	110	0	error (7)	15	360	130	0	error (7)	16	370	140	0	false(unreach-call)	.24	30	2.4	0	false(unreach-call)	1.2	120	6.2	0
pthread-ext/40_barrier_vf_false-unreach-call.i	error (5)	.18	27	1.9	0	false(unreach-call)	.70	34	9.2	0	error (42)	880	2000	12000	0	error	3.6	270	33	0	error	5.5	350	45	0	timeout	900	8900	13000	0	false(unreach-call)	9.9	460	140	0	false(unreach-call)	11	470	120	0	timeout	900	13000	10000	0	false(unreach-call)	1.8	55	23	0	unknown	15	1200	110	0	disqualified	8.3	100	110	0	unknown	.078	13	.94	0	error (7)	15	370	120	0	error (7)	14	370	120	0	error (7)	14	340	120	0	false(unreach-call)	.25	30	3.0	0	false(unreach-call)	1.2	120	6.4	0
pthread-ext/01_inc_true-unreach-call.i	error (5)	.19	27	1.4	0	error (42)	880	550	6700	0	out of memory	460	15000	6500	0	error	3.6	280	32	0	error	5.6	340	46	0	timeout	900	1200	11000	0	timeout	900	2700	9200	0	timeout	900	2800	8400	0	timeout	900	2000	12000	0	true	3.4	65	51	2	unknown	15	1200	110	0	disqualified	890	430	10000	0	unknown	.079	13	.88	0	error (7)	14	350	110	0	error (7)	15	360	110	0	error (7)	15	350	130	0	true	.22	30	1.5	2	true	1.1	120	4.4	2
pthread-ext/02_inc_cas_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	950	5500	0	out of memory	220	15000	3000	0	error	3.8	270	32	0	error	5.2	330	39	0	timeout	900	1500	13000	0	timeout	900	4000	8200	0	timeout	900	4100	8200	0	timeout	900	2600	11000	0	true	7.8	72	120	2	unknown	15	1200	110	0	disqualified	880	240	13000	0	unknown	.082	13	.75	0	error (7)	15	370	110	0	error (7)	14	340	99	0	error (7)	15	360	110	0	true	.25	30	1.7	2	true	1.1	110	5.3	2
pthread-ext/03_incdec_true-unreach-call.i	error (5)	.18	27	1.5	0	error (42)	880	840	6200	0	error (42)	880	7300	13000	0	error	3.7	280	37	0	error	6.0	380	54	0	unknown	900	11000	13000	0	unknown	8.5	450	99	0	timeout	900	850	7700	0	timeout	900	8900	11000	0	true	6.0	78	92	2	unknown	14	1300	100	0	disqualified	890	300	11000	0	unknown	.077	13	.97	0	error (7)	16	360	120	0	error (7)	15	360	110	0	error (7)	16	380	130	0	true	.30	31	2.2	2	true	1.4	120	8.3	2
pthread-ext/04_incdec_cas_true-unreach-call.i	error (5)	.22	27	1.8	0	error (42)	880	1700	6900	0	false(unreach-call)	.20	22	2.9	-16	error	3.8	250	32	0	error	5.9	380	47	0	unknown	900	5500	8300	0	unknown	8.6	450	120	0	timeout	900	480	7300	0	timeout	900	11000	9700	0	true	28	120	420	2	unknown	16	1200	120	0	disqualified	880	220	11000	0	unknown	.10	13	.90	0	error (7)	15	370	110	0	error (7)	15	370	110	0	error (7)	15	360	130	0	true	.27	30	1.9	2	true	1.2	120	7.4	2
pthread-ext/05_tas_true-unreach-call.i	error (5)	.17	27	2.3	0	error (42)	880	5600	12000	0	out of memory	180	15000	2300	0	error	3.8	270	30	0	error	5.6	320	47	0	unknown	900	1700	11000	0	timeout	900	4000	8600	0	timeout	900	4100	8600	0	timeout	900	3800	12000	0	true	4.3	67	53	2	unknown	14	1300	110	0	disqualified	880	240	12000	0	unknown	.080	13	.81	0	error (7)	15	340	110	0	error (7)	14	360	120	0	error (7)	16	350	120	0	true	.32	30	3.3	2	true	1.4	120	10	2
pthread-ext/06_ticket_true-unreach-call.i	error (5)	.18	27	1.6	0	error (42)	880	230	8000	0	false(unreach-call)	7.3	660	84	-16	error	3.9	270	37	0	error	5.9	360	48	0	timeout	900	2700	13000	0	timeout	900	3000	8300	0	timeout	900	3000	8300	0	timeout	900	3400	11000	0	true	4.0	71	52	2	unknown	16	1200	110	0	disqualified	890	490	9500	0	unknown	.076	13	.88	0	error (7)	14	350	110	0	error (7)	16	370	120	0	error (7)	15	340	110	0	true	.25	30	1.8	2	true	1.1	120	5.5	2
pthread-ext/07_rand_true-unreach-call.i	error (5)	.20	27	1.8	0	error (42)	880	1000	5100	0	error (42)	880	15000	11000	0	error	3.9	280	32	0	error	6.1	380	54	0	unknown	900	9800	10000	0	unknown	8.3	450	99	0	timeout	900	520	7200	0	timeout	900	12000	13000	0	true	6.4	83	83	2	unknown	16	1200	120	0	disqualified	890	310	11000	0	unknown	.074	13	.81	0	error (7)	15	360	120	0	error (7)	16	370	110	0	error (7)	17	370	130	0	true	.24	30	1.9	2	true	1.1	120	6.1	2
pthread-ext/08_rand_cas_true-unreach-call.i	error (5)	.18	27	1.7	0	error (42)	880	5500	12000	0	out of memory	420	15000	5200	0	error	3.8	270	36	0	error	5.9	400	53	0	unknown	900	2200	11000	0	unknown	8.6	450	110	0	timeout	900	520	6900	0	timeout	900	7800	12000	0	true	8.8	97	130	2	unknown	16	1200	120	0	disqualified	890	290	10000	0	unknown	.098	13	.79	0	error (7)	15	360	110	0	error (7)	14	350	110	0	error (7)	15	370	120	0	true	.24	30	2.3	2	true	1.2	120	6.4	2
pthread-ext/09_fmaxsym_true-unreach-call.i	error (5)	.18	27	1.7	0	error (42)	880	4300	11000	0	out of memory	520	15000	7000	0	error	3.9	270	34	0	error	5.0	330	46	0	unknown	900	6300	7400	0	unknown	8.5	440	100	0	timeout	900	720	7400	0	timeout	900	11000	12000	0	true	6.8	92	92	2	unknown	16	1200	110	0	disqualified	880	220	11000	0	unknown	.075	13	.82	0	error (7)	16	370	120	0	error (7)	15	360	110	0	error (7)	16	380	120	0	true	.26	30	2.1	2	true	1.2	120	6.8	2
pthread-ext/10_fmaxsym_cas_true-unreach-call.i	error (5)	.18	27	1.7	0	error (42)	880	3500	13000	0	error (42)	880	3100	11000	0	error	4.5	280	43	0	error	5.2	330	41	0	unknown	900	3700	11000	0	unknown	8.6	450	110	0	timeout	900	680	7100	0	timeout	900	7700	10000	0	true	7.4	100	99	2	unknown	16	1200	110	0	disqualified	880	210	10000	0	unknown	.080	13	.97	0	error (7)	14	360	110	0	error (7)	15	370	110	0	error (7)	14	340	110	0	true	.24	31	2.4	2	true	1.2	120	6.5	2
pthread-ext/11_fmaxsymopt_true-unreach-call.i	error (5)	.20	27	1.6	0	error (42)	880	710	6000	0	out of memory	110	15000	1700	0	error	3.9	270	34	0	error	4.9	320	49	0	unknown	900	6300	10000	0	unknown	8.4	450	97	0	timeout	900	700	6900	0	timeout	900	10000	9300	0	true	5.5	83	72	2	unknown	16	1200	110	0	disqualified	890	350	10000	0	unknown	.082	13	.89	0	error (7)	16	360	120	0	error (7)	15	360	130	0	error (7)	15	350	120	0	true	.21	30	2.5	2	true	1.0	120	7.3	2
pthread-ext/12_fmaxsymopt_cas_true-unreach-call.i	error (5)	.19	27	2.0	0	error (42)	880	3900	10000	0	out of memory	180	15000	2400	0	error	3.9	250	34	0	error	5.0	330	45	0	unknown	900	5000	8000	0	unknown	8.5	450	100	0	timeout	900	680	7500	0	timeout	900	10000	13000	0	true	6.4	87	84	2	unknown	16	1200	120	0	disqualified	880	220	11000	0	unknown	.078	13	.82	0	error (7)	14	370	110	0	error (7)	14	340	110	0	error (7)	14	350	110	0	true	.23	31	2.5	2	true	1.1	120	7.6	2
pthread-ext/13_unverif_true-unreach-call.i	error (5)	.18	27	1.9	0	error (42)	880	6400	12000	0	error (42)	880	2300	12000	0	timeout	900	1800	7300	0	error	5.1	340	44	0	timeout	900	1000	9000	0	timeout	900	3900	9000	0	timeout	900	3900	8000	0	timeout	900	1700	11000	0	true	3.2	63	43	2	unknown	15	1200	120	0	disqualified	890	230	12000	0	unknown	.10	13	.91	0	error (7)	15	370	110	0	error (7)	15	370	120	0	error (7)	16	370	130	0	true	.20	30	2.0	2	true	1.1	120	5.1	2
pthread-ext/14_spin2003_true-unreach-call.i	error (5)	.18	27	1.4	0	error (42)	880	420	7300	0	false(unreach-call)	3.4	37	46	-16	error	3.9	270	32	0	error	5.2	340	40	0	timeout	900	1100	11000	0	timeout	900	2900	8500	0	timeout	900	2700	8000	0	timeout	900	1800	12000	0	true	3.0	62	38	2	unknown	15	1200	100	0	disqualified	900	1900	6700	0	unknown	.082	13	.90	0	error (7)	15	370	130	0	error (7)	15	360	110	0	error (7)	15	370	110	0	true	.19	30	2.2	2	true	1.1	110	4.8	2
pthread-ext/15_dekker_true-unreach-call.i	error (5)	.22	27	1.7	0	error (42)	880	840	13000	0	error (42)	880	3500	12000	0	false(unreach-call)	4.6	260	39	-16	true	5.9	370	56	2	unknown	27	39	410	0	true	8.4	390	97	2	true	8.5	390	100	2	timeout	900	800	9200	0	true	5.1	67	69	2	true	16	1200	120	2	disqualified	4.2	86	50	0	unknown	.076	13	.82	0	true	10	370	81	2	error (7)	15	360	130	0	true	10	390	76	2	true	.23	30	1.5	2	true	1.1	110	5.2	2
pthread-ext/16_peterson_true-unreach-call.i	error (5)	.19	27	1.6	0	true	.16	7.6	1.9	2	true	.21	9.7	1.9	2	false(unreach-call)	4.6	280	39	-16	true	5.3	320	48	2	true	.37	36	4.8	2	true	8.4	390	120	2	true	8.6	390	120	2	true	.11	26	.87	2	true	4.3	66	57	2	true	15	1300	110	2	disqualified	4.1	87	48	0	unknown	.10	13	.90	0	true	9.8	370	82	2	error (7)	15	380	110	0	true	10	370	67	2	true	.21	30	1.4	2	true	1.1	110	5.0	2
pthread-ext/17_szymanski_true-unreach-call.i	error (5)	.19	27	1.6	0	error (42)	880	810	11000	0	error (42)	880	870	11000	0	false(unreach-call)	4.8	290	44	-16	true	6.0	420	53	2	true	.45	35	5.7	2	true	12	400	140	2	true	12	400	150	2	timeout	900	6300	9900	0	true	4.9	69	63	2	true	17	1200	110	2	disqualified	4.1	87	49	0	unknown	.076	13	.91	0	true	11	410	84	2	error (7)	15	370	130	0	true	11	400	90	2	true	.29	30	2.5	2	true	1.3	120	7.5	2
pthread-ext/18_read_write_lock_true-unreach-call.i	error (5)	.18	27	2.2	0	true	.14	7.8	1.5	2	true	.17	9.5	1.5	2	error	3.9	270	30	0	true	4.3	280	37	2	true	.37	36	5.1	2	true	8.6	380	110	2	true	8.4	390	120	2	true	.086	26	1.0	2	true	3.1	64	45	2	true	15	1200	120	2	disqualified	3.8	79	46	0	unknown	.076	13	1.0	0	true	9.6	370	74	2	error (7)	14	360	100	0	true	9.6	380	83	2	true	.20	30	1.8	2	true	1.0	120	4.9	2
pthread-ext/19_time_var_mutex_true-unreach-call.i	error (5)	.18	27	2.0	0	true	.16	8.1	1.6	2	true	.23	9.6	2.7	2	error	3.7	270	35	0	true	4.6	290	39	2	true	.37	36	5.0	2	true	8.3	390	110	2	true	8.7	390	100	2	true	.12	26	.81	2	true	4.0	66	53	2	true	16	1200	120	2	disqualified	4.1	82	61	0	unknown	.091	13	.90	0	true	10	390	86	2	error (7)	15	370	110	0	true	11	390	76	2	true	.23	30	1.7	2	true	1.1	120	5.3	2
pthread-ext/20_lamport_true-unreach-call.i	error (5)	.19	27	1.6	0	true	.59	14	7.7	2	true	9.2	35	140	2	false(unreach-call)	5.3	290	45	-16	true	6.6	420	59	2	unknown	900	3300	11000	0	true	8.7	390	110	2	true	8.6	390	120	2	timeout	900	910	10000	0	true	9.1	73	110	2	true	17	1200	130	2	disqualified	4.3	90	45	0	unknown	.078	13	.88	0	true	12	430	83	2	error (7)	14	350	130	0	true	11	400	100	2	true	.22	30	2.3	2	true	1.2	120	5.3	2
pthread-ext/23_lu-fig2.fixed_true-unreach-call.i	error (5)	.22	27	1.8	0	true	.14	8.2	1.7	2	false(unreach-call)	.13	9.2	1.0	-16	error	3.8	270	38	0	true	5.8	320	46	2	true	.37	35	4.4	2	true	8.5	390	110	2	true	8.6	390	120	2	out of memory	690	15000	9500	0	true	3.4	66	41	2	true	16	1200	130	2	disqualified	5.3	91	67	0	unknown	.081	13	.83	0	error (7)	14	340	110	0	error (7)	15	360	110	0	error (7)	15	350	100	0	true	.20	30	2.2	2	true	1.0	120	6.2	2
pthread-ext/25_stack_longer_true-unreach-call.i	error (5)	.19	27	2.0	0	error (42)	880	7200	12000	0	error (6)	.12	13	1.1	0	error	4.0	270	40	0	error	6.7	480	61	0	unknown	900	1400	8700	0	out of memory (unknown error)	860	15000	7600	0	timeout	900	6900	8500	0	timeout	900	3500	11000	0	true	33	2000	450	2	unknown	17	1200	130	0	disqualified	880	320	12000	0	unknown	.10	13	.78	0	error (7)	16	340	110	0	error (7)	16	350	120	0	error (7)	16	370	130	0	true	.37	31	3.4	2	true	1.6	120	9.1	2
pthread-ext/25_stack_longest_true-unreach-call.i	error (5)	.20	27	1.5	0	error (42)	880	2400	11000	0	error (6)	.12	13	1.7	0	error	3.9	270	35	0	error	6.4	480	58	0	unknown	900	1600	11000	0	out of memory (unknown error)	710	15000	6300	0	timeout	900	8500	8300	0	timeout	900	3500	12000	0	true	88	5900	910	2	unknown	16	1200	120	0	disqualified	880	600	11000	0	unknown	.082	13	.89	0	error (7)	16	360	130	0	error (7)	18	360	130	0	error (7)	16	370	120	0	true	.36	31	3.0	2	true	1.7	120	8.7	2
pthread-ext/25_stack_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	12000	11000	0	error (6)	.12	12	1.4	0	error	3.7	250	37	0	error	6.4	470	55	0	unknown	900	1600	10000	0	timeout	900	15000	8500	0	timeout	900	6800	8500	0	timeout	900	3400	14000	0	true	11	290	140	2	unknown	16	1200	130	0	disqualified	880	230	11000	0	unknown	.082	13	.88	0	error (7)	14	340	110	0	error (7)	15	360	110	0	error (7)	14	370	100	0	true	.32	31	3.9	2	true	1.6	120	8.6	2
pthread-ext/26_stack_cas_longer_true-unreach-call.i	error (5)	.20	27	1.6	0	error (42)	880	2600	10000	0	error (6)	.29	29	3.2	0	error	3.8	270	31	0	error	6.7	460	56	0	unknown	900	1300	9300	0	timeout	900	11000	7700	0	timeout	900	6400	8200	0	timeout	900	3200	12000	0	true	41	2100	450	2	unknown	16	1300	130	0	disqualified	890	330	8800	0	unknown	.12	13	.87	0	error (7)	15	360	120	0	error (7)	15	340	110	0	error (7)	16	350	110	0	true	.32	31	3.6	2	true	1.6	120	10	2
pthread-ext/26_stack_cas_longest_true-unreach-call.i	error (5)	.19	27	2.1	0	error (42)	880	4900	11000	0	error (6)	.31	30	3.7	0	error	3.9	270	36	0	error	6.8	460	57	0	unknown	900	1400	8800	0	timeout	900	13000	8800	0	timeout	900	6600	7600	0	timeout	900	3200	11000	0	true	110	5900	1000	2	unknown	17	1200	120	0	disqualified	880	600	9500	0	unknown	.081	13	.91	0	error (7)	17	360	140	0	error (7)	15	330	110	0	error (7)	16	350	130	0	true	.33	31	3.5	2	true	1.7	120	7.9	2
pthread-ext/26_stack_cas_true-unreach-call.i	error (5)	.19	27	2.1	0	error (42)	880	3100	8700	0	error (6)	.29	29	3.5	0	error	4.0	270	39	0	error	6.6	460	56	0	unknown	900	1500	11000	0	timeout	900	11000	8800	0	timeout	900	6600	8300	0	timeout	900	3200	13000	0	true	14	290	170	2	unknown	17	1200	130	0	disqualified	880	230	10000	0	unknown	.10	13	.84	0	error (7)	15	360	110	0	error (7)	15	350	120	0	error (7)	15	360	110	0	true	.31	31	3.1	2	true	1.7	120	9.0	2
pthread-ext/29_conditionals_vs_true-unreach-call.i	error (5)	.21	27	1.6	0	error (42)	880	4900	5300	0	out of memory	230	15000	3000	0	error	3.7	270	30	0	error	5.6	350	47	0	timeout	900	8700	12000	0	unknown	8.4	450	110	0	timeout	900	630	7000	0	timeout	900	11000	11000	0	true	3.1	63	40	2	unknown	15	1200	110	0	disqualified	900	1900	7100	0	unknown	.077	13	.79	0	error (7)	15	360	120	0	error (7)	14	360	120	0	error (7)	15	380	120	0	true	.19	30	2.3	2	true	1.2	110	4.9	2
pthread-ext/30_Function_Pointer3_vs_true-unreach-call.i	error (5)	.18	27	1.8	0	error (42)	880	1900	5400	0	error (42)	880	4700	12000	0	error	3.9	270	33	0	error	5.6	350	49	0	timeout	900	3600	11000	0	timeout	900	3000	8300	0	timeout	900	3100	8800	0	timeout	900	12000	10000	0	true	3.8	70	49	2	unknown	16	1200	110	0	disqualified	890	390	11000	0	unknown	.080	13	.89	0	error (7)	14	330	120	0	error (7)	15	360	110	0	error (7)	16	370	130	0	true	.22	30	1.6	2	true	1.1	120	5.5	2
pthread-ext/31_simple_loop5_vs_true-unreach-call.i	error (5)	.19	27	1.9	0	error (42)	880	1400	8500	0	error (42)	880	1200	7800	0	error	3.8	270	32	0	error	5.3	320	47	0	unknown	900	1800	7200	0	timeout	900	3100	8500	0	timeout	900	3100	8500	0	timeout	900	3600	9900	0	true	3.5	68	47	2	unknown	16	1200	110	0	disqualified	890	400	8500	0	unknown	.073	13	.83	0	error (7)	14	340	100	0	error (7)	14	340	110	0	error (7)	14	340	120	0	true	.48	30	3.9	2	true	1.8	120	12	2
pthread-ext/33_double_lock_p1_vs_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	630	7100	0	error (42)	880	7400	12000	0	error	3.6	250	30	0	error	5.9	380	47	0	timeout	900	2500	11000	0	timeout	900	3900	8900	0	timeout	900	3900	8800	0	timeout	900	12000	13000	0	true	4.8	75	76	2	unknown	16	1200	110	0	disqualified	890	210	11000	0	unknown	.082	13	.90	0	error (7)	16	350	120	0	error (7)	14	370	120	0	error (7)	15	360	120	0	true	.27	30	3.1	2	true	1.3	120	7.3	2
pthread-ext/34_double_lock_p2_vs_true-unreach-call.i	error (5)	.23	27	2.0	0	error (42)	880	710	7000	0	error (42)	880	7400	12000	0	error	3.8	270	33	0	error	5.8	380	53	0	timeout	900	2500	11000	0	timeout	900	4600	8500	0	timeout	900	4600	7700	0	timeout	900	12000	13000	0	true	4.8	75	69	2	unknown	16	1200	120	0	disqualified	890	270	11000	0	unknown	.078	13	.82	0	error (7)	15	370	140	0	error (7)	15	370	120	0	error (7)	16	370	120	0	true	.26	30	2.6	2	true	1.2	120	7.2	2
pthread-ext/35_double_lock_p3_vs_true-unreach-call.i	error (5)	.19	27	1.8	0	error (42)	880	640	7600	0	error (42)	880	4600	12000	0	error	3.7	270	36	0	error	5.6	370	45	0	timeout	900	1900	13000	0	timeout	900	2900	9600	0	timeout	900	2800	8300	0	timeout	900	11000	14000	0	true	4.3	73	65	2	unknown	16	1200	110	0	disqualified	890	510	8500	0	unknown	.073	13	.83	0	error (7)	16	380	120	0	error (7)	15	370	110	0	error (7)	16	370	120	0	true	.28	30	2.2	2	true	1.2	120	6.6	2
pthread-ext/36_stack_cas_p0_vs_concur_true-unreach-call.i	error (5)	.23	27	1.6	0	error (42)	880	5900	10000	0	error (42)	880	2600	11000	0	error	3.7	250	35	0	error	6.0	380	53	0	timeout	900	6400	11000	0	timeout	900	4000	9000	0	timeout	900	4100	8600	0	timeout	900	8800	12000	0	true	6.5	170	81	2	unknown	16	1200	120	0	disqualified	880	250	8300	0	unknown	.075	13	.83	0	error (7)	15	330	110	0	error (7)	14	350	110	0	error (7)	15	360	120	0	true	.25	30	2.2	2	true	1.2	120	6.8	2
pthread-ext/37_stack_lock_p0_vs_concur_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	8000	7600	0	error (42)	880	15000	11000	0	error	3.9	270	31	0	error	5.8	380	50	0	unknown	900	1900	11000	0	out of memory (unknown error)	390	15000	3700	0	out of memory (unknown error)	420	15000	3900	0	timeout	900	3500	11000	0	true	5.9	210	70	2	unknown	15	1200	100	0	disqualified	880	240	8400	0	unknown	.073	13	.90	0	error (7)	14	360	130	0	error (7)	15	360	120	0	error (7)	15	360	120	0	true	.22	30	1.8	2	true	1.2	120	5.4	2
pthread-ext/38_rand_cas_vs_concur_true-unreach-call.i	error (5)	.18	27	1.7	0	error (42)	880	8400	12000	0	out of memory	110	15000	1500	0	error	3.7	270	32	0	error	5.6	330	41	0	unknown	900	2300	9300	0	unknown	8.5	450	110	0	timeout	900	450	7200	0	timeout	900	7800	13000	0	true	5.4	78	68	2	unknown	16	1200	120	0	disqualified	900	1700	8900	0	unknown	.078	13	.93	0	error (7)	15	360	120	0	error (7)	15	360	120	0	error (7)	14	340	110	0	true	.21	30	1.7	2	true	1.0	120	6.6	2
pthread-ext/39_rand_lock_p0_vs_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	3500	9200	0	error (42)	880	2100	11000	0	error	3.8	270	33	0	error	5.8	350	45	0	unknown	900	10000	12000	0	unknown	8.3	450	110	0	timeout	900	430	7100	0	timeout	900	5000	11000	0	true	3.8	69	53	2	unknown	16	1200	110	0	disqualified	890	290	11000	0	unknown	.080	13	.86	0	error (7)	15	370	120	0	error (7)	15	370	110	0	error (7)	15	360	110	0	true	.20	30	2.1	2	true	1.1	120	5.8	2
pthread-ext/41_FreeBSD__abd_kbd__sliced_true-unreach-call.i	error (6)	.20	27	2.2	0	error (42)	880	3900	6600	0	out of memory	460	15000	6000	0	error	3.7	250	36	0	error	6.1	460	50	0	unknown	900	3800	11000	0	unknown	8.6	450	96	0	timeout	900	700	6400	0	timeout	900	8400	11000	0	true	90	87	1100	2	unknown	17	1200	130	0	disqualified	880	280	13000	0	unknown	.079	13	.91	0	error (7)	15	340	120	0	error (7)	14	370	110	0	error (7)	16	380	120	0	true	3.1	840	36	2	true	15	3300	100	2
pthread-ext/42_FreeBSD__rdma_addr__sliced_true-unreach-call.i	error (5)	.18	27	2.2	0	error (42)	880	1600	8000	0	error (42)	880	1600	12000	0	error	3.8	270	31	0	error	6.6	460	54	0	unknown	900	1100	11000	0	timeout	900	7500	8300	0	timeout	900	3500	7900	0	timeout	900	3400	14000	0	true	93	110	1100	2	unknown	16	1300	140	0	disqualified	890	190	11000	0	unknown	.077	13	.91	0	error (7)	15	340	110	0	error (7)	15	370	110	0	error (7)	16	380	130	0	true	4.1	1100	41	2	true	20	4300	120	2
pthread-ext/43_NetBSD__sysmon_power__sliced_true-unreach-call.i	error (5)	.19	27	2.1	0	error (42)	880	1300	8100	0	error (42)	880	14000	13000	0	error	4.2	270	36	0	error	8.0	480	74	0	unknown	890	3800	11000	0	timeout	900	3300	8600	0	timeout	900	2600	8300	0	timeout	900	7500	10000	0	true	270	320	3400	2	unknown	18	1200	150	0	disqualified	890	280	14000	0	unknown	.086	13	.83	0	error (7)	7.9	340	65	0	error (7)	7.3	330	56	0	error (7)	7.7	350	61	0	true	18	540	170	2	true	52	2200	260	2
pthread-ext/44_Solaris__space_map__sliced_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	3600	12000	0	error (42)	880	560	12000	0	error	3.7	250	33	0	error	7.8	480	64	0	unknown	900	3000	11000	0	timeout	900	1700	8900	0	timeout	900	1000	7600	0	timeout	900	8000	9900	0	true	240	220	3700	2	unknown	19	1200	140	0	disqualified	890	300	13000	0	unknown	.076	13	.84	0	error (7)	17	370	120	0	error (7)	15	330	130	0	error (7)	16	380	130	0	true	1.4	240	15	2	true	6.3	970	40	2
pthread-ext/45_monabsex1_vs_true-unreach-call.i	error (5)	.18	27	1.5	0	error (42)	880	4300	5300	0	error (42)	880	1600	11000	0	true	4.1	270	37	2	error	5.2	330	43	0	timeout	900	980	12000	0	timeout	900	3800	8700	0	timeout	900	810	7000	0	timeout	900	1500	12000	0	true	2.8	62	34	2	unknown	15	1200	110	0	disqualified	890	1000	7100	0	unknown	.073	13	.87	0	error (7)	15	380	110	0	error (7)	15	370	120	0	error (7)	16	370	120	0	true	.21	30	1.7	2	true	1.1	110	4.7	2
pthread-ext/46_monabsex2_vs_true-unreach-call.i	error (5)	.18	27	1.5	0	error (42)	880	6700	6500	0	error (42)	880	11000	4400	0	false(unreach-call)	4.1	250	39	-16	error	5.2	300	43	0	timeout	900	850	13000	0	timeout	900	3600	9300	0	timeout	900	3600	9000	0	timeout	900	1400	11000	0	true	2.9	61	36	2	unknown	15	1200	120	0	disqualified	880	360	11000	0	unknown	.081	13	.96	0	error (7)	15	370	120	0	error (7)	14	350	110	0	error (7)	15	380	120	0	true	.18	30	2.1	2	true	.98	120	5.7	2
pthread-ext/47_ticket_lock_hc_backoff_vs_true-unreach-call.i	error (5)	.19	27	1.7	0	error (42)	880	1700	12000	0	false(unreach-call)	.78	26	9.9	-16	false(unreach-call)	5.5	280	48	-16	timeout	910	6100	3800	0	unknown	900	1400	11000	0	timeout	900	5500	8400	0	timeout	900	5400	8700	0	timeout	900	3100	10000	0	true	6.1	74	79	2	timeout	910	9100	4100	0	disqualified	900	860	9900	0	unknown	.079	13	.76	0	error (7)	15	360	120	0	error (7)	15	370	120	0	error (7)	16	370	110	0	true	.32	30	2.7	2	true	1.5	120	10	2
pthread-ext/48_ticket_lock_low_contention_vs_true-unreach-call.i	error (5)	.18	27	2.3	0	error (42)	880	190	10000	0	false(unreach-call)	.67	25	8.2	-16	false(unreach-call)	5.4	290	49	-16	timeout	910	3900	4500	0	timeout	900	660	13000	0	timeout	900	4900	9500	0	timeout	900	4800	9000	0	timeout	900	1500	12000	0	true	4.2	71	54	2	timeout	910	9100	4400	0	disqualified	900	1800	7500	0	unknown	.074	13	.78	0	error (7)	15	350	110	0	error (7)	15	360	120	0	error (7)	15	350	110	0	true	.23	30	1.7	2	true	1.1	110	5.1	2
pthread-wmm/mix000_power.oepc_false-unreach-call.i	error (5)	.20	28	1.9	0	false(unreach-call)	.26	21	3.0	1	error (6)	.092	9.7	.89	0	error	4.1	260	34	0	false(unreach-call)	10	470	86	1	false(unreach-call)	.56	36	6.3	1	unknown	8.6	450	100	0	false(unreach-call)	520	570	4000	1	false(unreach-call)	.48	28	6.1	1	false(unreach-call)	1.1	60	17	1	false(unreach-call)	31	1300	290	1	disqualified	44	2600	520	0	unknown	.11	14	1.1	0	false(unreach-call)	220	7800	1500	0	error (7)	15	360	120	0	false(unreach-call)	200	8100	1500	0	false(unreach-call)	.39	31	4.1	1	false(unreach-call)	1.4	120	8.5	1
pthread-wmm/mix000_power.opt_false-unreach-call.i	error (5)	.19	28	1.9	0	false(unreach-call)	.24	18	3.3	1	false(unreach-call)	.15	11	1.7	1	error	4.2	270	36	0	false(unreach-call)	9.6	480	86	1	false(unreach-call)	.55	36	8.1	1	unknown	8.8	450	120	0	false(unreach-call)	250	520	2100	1	false(unreach-call)	.48	28	5.9	1	false(unreach-call)	1.1	60	16	1	false(unreach-call)	29	1300	250	1	disqualified	32	2300	410	0	unknown	.11	14	1.3	0	false(unreach-call)	58	2800	540	0	error (7)	17	370	120	0	false(unreach-call)	60	2700	520	0	false(unreach-call)	.34	31	3.2	1	false(unreach-call)	1.4	120	7.9	1
pthread-wmm/mix000_pso.oepc_false-unreach-call.i	error (5)	.20	28	1.7	0	false(unreach-call)	.26	21	3.0	1	error (6)	.086	9.3	1.0	0	error	4.3	280	35	0	false(unreach-call)	11	470	90	1	false(unreach-call)	.56	36	7.1	1	unknown	8.6	450	120	0	false(unreach-call)	640	610	5200	0	false(unreach-call)	.47	28	6.7	1	false(unreach-call)	1.1	61	17	1	false(unreach-call)	31	1300	260	1	disqualified	44	2600	630	0	unknown	.10	14	1.2	0	false(unreach-call)	220	7700	1600	0	error (7)	15	370	130	0	false(unreach-call)	230	7800	1600	0	false(unreach-call)	.41	31	4.1	1	false(unreach-call)	1.5	120	9.2	1
pthread-wmm/mix000_pso.opt_false-unreach-call.i	error (5)	.19	28	1.9	0	false(unreach-call)	.24	19	2.7	1	false(unreach-call)	.15	11	1.7	1	error	4.4	280	38	0	false(unreach-call)	9.6	480	74	1	false(unreach-call)	.56	36	7.5	1	unknown	8.5	450	100	0	false(unreach-call)	310	530	2700	1	false(unreach-call)	.48	28	6.1	1	false(unreach-call)	1.1	60	14	1	false(unreach-call)	28	1300	230	1	disqualified	32	2300	380	0	unknown	.11	14	1.2	0	false(unreach-call)	63	2800	560	0	error (7)	17	350	140	0	false(unreach-call)	57	2800	560	0	false(unreach-call)	.31	31	3.9	1	false(unreach-call)	1.4	120	8.9	1
pthread-wmm/mix000_rmo.oepc_false-unreach-call.i	error (5)	.22	28	2.7	0	false(unreach-call)	.26	20	4.0	1	error (6)	.091	10	.91	0	error	4.3	270	42	0	false(unreach-call)	10	480	88	1	false(unreach-call)	.55	36	8.1	1	unknown	8.7	450	98	0	false(unreach-call)	290	520	2800	0	false(unreach-call)	.51	28	6.6	1	false(unreach-call)	1.1	60	17	1	false(unreach-call)	30	1300	290	1	disqualified	44	2600	490	0	unknown	.11	14	1.1	0	false(unreach-call)	220	7600	1500	0	error (7)	15	350	120	0	false(unreach-call)	200	7600	1400	0	false(unreach-call)	.39	31	3.8	1	false(unreach-call)	1.5	120	9.2	1
pthread-wmm/mix000_rmo.opt_false-unreach-call.i	error (5)	.19	28	2.6	0	false(unreach-call)	.28	18	3.6	1	false(unreach-call)	.15	11	1.7	1	error	4.3	280	36	0	false(unreach-call)	9.9	480	77	1	false(unreach-call)	.56	36	6.5	1	unknown	8.5	450	110	0	false(unreach-call)	420	550	4200	1	false(unreach-call)	.51	28	6.2	1	false(unreach-call)	1.1	60	14	1	false(unreach-call)	28	1300	240	1	disqualified	32	2300	400	0	unknown	.10	14	1.2	0	false(unreach-call)	58	2800	530	0	error (7)	16	380	120	0	false(unreach-call)	63	2700	510	0	false(unreach-call)	.36	31	3.2	1	false(unreach-call)	1.5	120	7.5	1
pthread-wmm/mix000_tso.oepc_false-unreach-call.i	error (5)	.20	28	1.8	0	false(unreach-call)	.29	21	3.2	1	error (6)	.12	9.6	1.6	0	error	4.2	280	38	0	false(unreach-call)	11	500	100	1	false(unreach-call)	.58	36	6.9	1	unknown	8.6	450	99	0	false(unreach-call)	240	510	2600	0	false(unreach-call)	.49	28	5.5	1	false(unreach-call)	1.1	60	15	1	false(unreach-call)	31	1300	320	1	disqualified	45	2600	620	0	unknown	.11	13	1.1	0	false(unreach-call)	82	4400	680	0	error (7)	16	370	110	0	false(unreach-call)	88	4800	750	0	false(unreach-call)	.39	31	4.0	1	false(unreach-call)	1.5	120	8.6	1
pthread-wmm/mix000_tso.opt_false-unreach-call.i	error (5)	.20	28	1.8	0	false(unreach-call)	.30	18	3.3	1	false(unreach-call)	.17	11	1.7	1	error	4.2	270	34	0	false(unreach-call)	9.4	470	81	1	false(unreach-call)	.56	36	6.5	1	unknown	8.8	450	130	0	false(unreach-call)	280	520	2400	1	false(unreach-call)	.49	28	6.4	1	false(unreach-call)	1.1	60	14	1	false(unreach-call)	28	1300	270	1	disqualified	32	2300	400	0	unknown	.11	14	1.1	0	false(unreach-call)	57	2700	520	0	error (7)	16	370	140	0	false(unreach-call)	59	3200	510	0	false(unreach-call)	.31	31	3.1	1	false(unreach-call)	1.4	120	7.4	1
pthread-wmm/mix001_power.oepc_false-unreach-call.i	error (5)	.24	28	1.7	0	false(unreach-call)	.45	26	5.6	0	error (6)	.092	10	.99	0	error	4.3	270	36	0	false(unreach-call)	15	690	130	1	false(unreach-call)	2.6	44	38	1	unknown	8.6	450	110	0	timeout	900	590	7500	0	false(unreach-call)	2.5	36	32	1	false(unreach-call)	1.3	65	18	1	false(unreach-call)	33	1500	280	1	disqualified	120	8500	1600	0	unknown	.12	14	2.0	0	timeout	900	7000	6400	0	error (7)	14	350	110	0	timeout	900	7100	5800	0	false(unreach-call)	.77	31	8.2	1	false(unreach-call)	2.2	120	15	1
pthread-wmm/mix001_power.opt_false-unreach-call.i	error (5)	.20	28	2.4	0	false(unreach-call)	.30	21	4.0	0	false(unreach-call)	.17	13	1.9	0	error	4.2	270	36	0	false(unreach-call)	35	1500	240	1	false(unreach-call)	2.6	42	42	1	false(unreach-call)	54	620	550	0	false(unreach-call)	170	860	1500	0	false(unreach-call)	2.6	35	34	1	false(unreach-call)	1.2	62	17	1	false(unreach-call)	42	1800	360	1	disqualified	67	6900	930	0	unknown	.13	14	1.1	0	timeout	910	14000	5500	0	error (7)	15	350	110	0	timeout	910	14000	5100	0	false(unreach-call)	.37	31	3.3	1	false(unreach-call)	1.5	120	9.8	1
pthread-wmm/mix001_pso.oepc_false-unreach-call.i	error (5)	.21	28	2.1	0	false(unreach-call)	.45	26	5.4	0	error (6)	.096	10	1.0	0	error	4.2	260	35	0	false(unreach-call)	15	680	110	1	false(unreach-call)	2.6	44	30	1	unknown	8.4	450	110	0	timeout	900	590	6400	0	false(unreach-call)	2.5	36	29	1	false(unreach-call)	1.3	64	19	1	false(unreach-call)	32	1400	260	1	disqualified	130	8500	1700	0	unknown	.11	14	1.2	0	timeout	900	7200	9500	0	error (7)	15	370	110	0	timeout	900	7100	6100	0	false(unreach-call)	.76	31	9.2	1	false(unreach-call)	2.3	130	18	1
pthread-wmm/mix001_pso.opt_false-unreach-call.i	error (5)	.23	28	2.3	0	false(unreach-call)	.29	21	3.4	0	false(unreach-call)	.17	13	2.1	0	error	4.3	270	42	0	false(unreach-call)	35	1500	260	1	false(unreach-call)	2.6	42	37	1	false(unreach-call)	57	620	520	0	false(unreach-call)	45	670	460	0	false(unreach-call)	2.5	35	34	1	false(unreach-call)	1.2	62	14	1	false(unreach-call)	43	1900	380	1	disqualified	67	7000	860	0	unknown	.10	14	1.2	0	timeout	910	13000	5300	0	error (7)	16	370	120	0	timeout	910	14000	5000	0	false(unreach-call)	.34	31	3.6	1	false(unreach-call)	1.5	120	8.5	1
pthread-wmm/mix001_rmo.oepc_false-unreach-call.i	error (5)	.21	28	1.8	0	false(unreach-call)	.45	26	4.9	0	error (6)	.12	9.4	1.0	0	error	4.1	250	35	0	false(unreach-call)	15	690	120	1	false(unreach-call)	2.6	44	38	1	unknown	9.1	450	100	0	timeout	900	560	6900	0	false(unreach-call)	2.5	36	33	1	false(unreach-call)	1.3	64	19	1	false(unreach-call)	33	1500	280	1	disqualified	130	8600	1800	0	unknown	.11	14	1.3	0	timeout	900	7200	6600	0	error (7)	16	370	120	0	timeout	900	7100	6500	0	false(unreach-call)	.79	32	8.6	1	false(unreach-call)	2.4	120	20	1
pthread-wmm/mix001_rmo.opt_false-unreach-call.i	error (5)	.22	28	1.7	0	false(unreach-call)	.30	21	4.0	0	false(unreach-call)	.17	13	1.8	0	error	4.2	270	36	0	false(unreach-call)	25	1200	180	1	false(unreach-call)	2.6	42	32	1	false(unreach-call)	54	620	560	0	false(unreach-call)	480	970	4000	0	false(unreach-call)	2.5	35	35	1	false(unreach-call)	1.2	62	16	1	false(unreach-call)	43	1900	380	1	disqualified	67	7100	890	0	unknown	.10	14	1.1	0	timeout	910	14000	6700	0	error (7)	15	340	120	0	timeout	900	14000	5300	0	false(unreach-call)	.36	31	3.6	1	false(unreach-call)	1.6	120	8.9	1
pthread-wmm/mix001_tso.oepc_false-unreach-call.i	error (5)	.21	28	2.2	0	false(unreach-call)	.47	26	4.9	0	error (6)	.090	10	1.0	0	error	4.2	270	38	0	false(unreach-call)	16	590	120	1	false(unreach-call)	2.6	44	36	1	unknown	8.5	560	98	0	timeout	900	590	7400	0	false(unreach-call)	2.5	36	31	1	false(unreach-call)	1.3	64	17	1	false(unreach-call)	33	1400	280	1	disqualified	130	8600	1700	0	unknown	.11	14	1.2	0	timeout	900	7100	6900	0	error (7)	15	360	110	0	timeout	900	7200	6000	0	false(unreach-call)	.79	32	9.8	1	false(unreach-call)	2.1	130	14	1
pthread-wmm/mix001_tso.opt_false-unreach-call.i	error (5)	.21	28	2.0	0	false(unreach-call)	.30	20	4.0	0	false(unreach-call)	.17	14	1.7	0	error	4.3	270	41	0	false(unreach-call)	36	1500	250	1	false(unreach-call)	2.6	42	36	1	false(unreach-call)	57	620	600	0	false(unreach-call)	150	830	1400	0	false(unreach-call)	2.5	35	28	1	false(unreach-call)	1.2	62	16	1	false(unreach-call)	42	1900	340	1	disqualified	67	6900	850	0	unknown	.11	14	1.4	0	timeout	900	14000	5200	0	error (7)	16	380	120	0	timeout	910	14000	5800	0	false(unreach-call)	.34	31	3.6	1	false(unreach-call)	1.5	120	9.0	1
pthread-wmm/mix002_power.oepc_false-unreach-call.i	error (5)	.20	28	1.9	0	false(unreach-call)	.29	22	3.4	0	error (6)	.085	9.3	1.1	0	error	4.3	280	38	0	false(unreach-call)	13	560	110	1	false(unreach-call)	2.4	41	34	1	false(unreach-call)	41	660	380	0	false(unreach-call)	47	740	490	0	false(unreach-call)	2.4	33	37	1	false(unreach-call)	1.1	62	14	1	false(unreach-call)	29	1300	240	1	disqualified	73	6200	820	0	unknown	.10	14	1.2	0	timeout	910	13000	6900	0	error (7)	14	360	110	0	timeout	900	13000	6200	0	false(unreach-call)	.39	31	3.9	1	false(unreach-call)	1.9	120	14	1
pthread-wmm/mix002_power.opt_false-unreach-call.i	error (5)	.22	28	1.9	0	false(unreach-call)	.27	21	3.4	0	false(unreach-call)	.17	13	1.9	0	error	4.4	270	37	0	false(unreach-call)	36	1500	240	1	false(unreach-call)	2.8	43	35	1	false(unreach-call)	53	620	480	0	false(unreach-call)	530	1000	4700	0	false(unreach-call)	2.7	36	39	1	false(unreach-call)	1.2	62	16	1	false(unreach-call)	42	1900	420	1	disqualified	68	7000	850	0	unknown	.10	14	1.1	0	false(unreach-call)	530	10000	3500	0	error (7)	16	370	120	0	false(unreach-call)	410	9600	3300	0	false(unreach-call)	.42	31	4.2	1	false(unreach-call)	1.6	120	10	1
pthread-wmm/mix002_pso.oepc_false-unreach-call.i	error (5)	.21	28	1.8	0	false(unreach-call)	.28	21	3.4	0	error (6)	.092	9.8	.98	0	error	4.3	280	37	0	false(unreach-call)	13	570	110	1	false(unreach-call)	2.4	41	32	1	false(unreach-call)	30	630	290	0	false(unreach-call)	52	760	510	0	false(unreach-call)	2.4	33	36	1	false(unreach-call)	1.1	62	16	1	false(unreach-call)	28	1300	230	1	disqualified	74	6200	1000	0	unknown	.10	13	1.0	0	timeout	910	13000	5300	0	error (7)	15	370	120	0	timeout	910	13000	7500	0	false(unreach-call)	.42	31	4.3	1	false(unreach-call)	2.2	120	15	1
pthread-wmm/mix002_pso.opt_false-unreach-call.i	error (5)	.22	28	1.9	0	false(unreach-call)	.28	20	3.3	0	false(unreach-call)	.17	13	2.0	0	error	4.3	270	36	0	false(unreach-call)	34	1500	240	1	false(unreach-call)	2.8	43	35	1	false(unreach-call)	51	610	490	0	false(unreach-call)	670	1100	5900	0	false(unreach-call)	2.7	35	31	1	false(unreach-call)	1.2	62	19	1	false(unreach-call)	42	1800	410	1	disqualified	68	7000	950	0	unknown	.11	14	1.1	0	timeout	910	13000	5300	0	error (7)	16	360	120	0	timeout	910	13000	6000	0	false(unreach-call)	.42	31	4.3	1	false(unreach-call)	1.5	120	10	1
pthread-wmm/mix002_rmo.oepc_false-unreach-call.i	error (5)	.23	28	2.3	0	false(unreach-call)	.29	22	3.2	0	error (6)	.12	9.8	.74	0	error	4.3	270	40	0	false(unreach-call)	14	560	120	1	false(unreach-call)	2.4	41	33	1	false(unreach-call)	33	640	350	0	false(unreach-call)	20	550	200	0	false(unreach-call)	2.4	33	35	1	false(unreach-call)	1.1	62	14	1	false(unreach-call)	28	1300	210	1	disqualified	74	6200	1000	0	unknown	.099	14	.96	0	timeout	900	13000	6000	0	error (7)	14	370	120	0	timeout	910	13000	5900	0	false(unreach-call)	.40	31	4.8	1	false(unreach-call)	1.8	120	12	1
pthread-wmm/mix002_rmo.opt_false-unreach-call.i	error (5)	.21	28	1.9	0	false(unreach-call)	.27	20	3.6	0	false(unreach-call)	.17	13	1.8	0	error	4.3	270	40	0	false(unreach-call)	35	1500	240	1	false(unreach-call)	2.8	43	33	1	false(unreach-call)	50	600	450	0	false(unreach-call)	310	980	3000	0	false(unreach-call)	2.7	35	34	1	false(unreach-call)	1.2	62	15	1	false(unreach-call)	43	1900	340	1	disqualified	69	7000	890	0	unknown	.11	13	1.0	0	false(unreach-call)	440	9600	3200	0	error (7)	16	350	120	0	false(unreach-call)	490	11000	3300	0	false(unreach-call)	.44	31	4.6	1	false(unreach-call)	1.5	120	9.2	1
pthread-wmm/mix002_tso.oepc_false-unreach-call.i	error (5)	.20	28	2.5	0	false(unreach-call)	.29	21	3.7	0	error (6)	.089	10	1.1	0	error	4.3	270	36	0	false(unreach-call)	13	560	100	1	false(unreach-call)	2.4	41	32	1	false(unreach-call)	34	640	320	0	false(unreach-call)	130	810	1400	0	false(unreach-call)	2.4	33	31	1	false(unreach-call)	1.2	62	17	1	false(unreach-call)	31	1400	270	1	disqualified	73	6200	880	0	unknown	.11	14	1.0	0	timeout	910	13000	5800	0	error (7)	15	350	110	0	timeout	910	13000	5500	0	false(unreach-call)	.39	31	4.9	1	false(unreach-call)	2.1	120	12	1
pthread-wmm/mix002_tso.opt_false-unreach-call.i	error (5)	.20	28	2.1	0	false(unreach-call)	.27	20	3.3	0	false(unreach-call)	.17	13	1.8	0	error	4.4	270	42	0	false(unreach-call)	38	1500	280	1	false(unreach-call)	2.8	43	38	1	false(unreach-call)	57	620	530	0	false(unreach-call)	110	820	1100	0	false(unreach-call)	2.7	36	29	1	false(unreach-call)	1.2	62	15	1	false(unreach-call)	44	2000	380	1	disqualified	69	7000	960	0	unknown	.11	14	1.2	0	timeout	910	14000	4900	0	error (7)	16	370	140	0	timeout	910	14000	5600	0	false(unreach-call)	.43	31	4.8	1	false(unreach-call)	1.6	130	9.1	1
pthread-wmm/mix003_power.oepc_false-unreach-call.i	error (5)	.21	28	2.0	0	false(unreach-call)	.35	21	3.5	0	error (6)	.088	10	1.0	0	error	3.9	250	38	0	false(unreach-call)	13	530	120	1	false(unreach-call)	2.1	40	25	1	false(unreach-call)	35	630	390	0	false(unreach-call)	74	770	710	0	false(unreach-call)	2.1	32	25	1	false(unreach-call)	1.1	61	15	1	false(unreach-call)	30	1300	240	1	disqualified	90	5100	1000	0	unknown	.10	13	1.1	0	timeout	910	13000	6500	0	error (7)	15	370	110	0	timeout	900	13000	6400	0	false(unreach-call)	.54	31	6.4	1	false(unreach-call)	2.0	120	13	1
pthread-wmm/mix003_power.opt_false-unreach-call.i	error (5)	.20	28	2.0	0	false(unreach-call)	.28	20	3.6	0	false(unreach-call)	.17	13	1.8	0	error	4.2	270	36	0	false(unreach-call)	32	1500	220	1	false(unreach-call)	2.4	42	33	1	false(unreach-call)	62	620	610	0	false(unreach-call)	200	930	1800	0	false(unreach-call)	2.3	34	29	1	false(unreach-call)	1.2	62	15	1	false(unreach-call)	42	2000	400	1	disqualified	67	7000	910	0	unknown	.11	14	1.2	0	timeout	900	13000	4800	0	error (7)	16	360	140	0	timeout	910	14000	6000	0	false(unreach-call)	.39	31	3.8	1	false(unreach-call)	1.6	120	9.8	1
pthread-wmm/mix003_pso.oepc_false-unreach-call.i	error (5)	.22	28	1.8	0	false(unreach-call)	.32	21	3.8	0	error (6)	.10	8.9	.74	0	error	4.2	270	38	0	false(unreach-call)	14	540	110	1	false(unreach-call)	2.2	39	29	1	false(unreach-call)	33	630	310	0	false(unreach-call)	39	700	370	0	false(unreach-call)	2.1	32	26	1	false(unreach-call)	1.1	61	14	1	false(unreach-call)	29	1300	270	1	disqualified	90	5100	1100	0	unknown	.11	15	1.5	0	timeout	900	13000	5400	0	error (7)	14	330	110	0	timeout	900	13000	5300	0	false(unreach-call)	.56	31	6.0	1	false(unreach-call)	1.9	120	13	1
pthread-wmm/mix003_pso.opt_false-unreach-call.i	error (5)	.20	28	2.1	0	false(unreach-call)	.27	20	3.7	0	false(unreach-call)	.16	13	1.8	0	error	4.3	270	36	0	false(unreach-call)	32	1500	220	1	false(unreach-call)	2.4	42	32	1	false(unreach-call)	44	600	490	0	false(unreach-call)	290	1000	2600	0	false(unreach-call)	2.3	34	30	1	false(unreach-call)	1.2	62	14	1	false(unreach-call)	42	1800	360	1	disqualified	68	7000	850	0	unknown	.10	14	1.2	0	timeout	910	14000	5800	0	error (7)	15	370	120	0	timeout	900	13000	5200	0	false(unreach-call)	.36	31	3.3	1	false(unreach-call)	1.6	120	9.0	1
pthread-wmm/mix003_rmo.oepc_false-unreach-call.i	error (5)	.22	28	1.9	0	false(unreach-call)	.31	21	3.2	0	error (6)	.096	9.6	.93	0	error	4.1	250	33	0	false(unreach-call)	13	540	120	1	false(unreach-call)	2.1	39	26	1	false(unreach-call)	36	640	370	0	false(unreach-call)	31	620	310	0	false(unreach-call)	2.1	32	25	1	false(unreach-call)	1.1	62	13	1	false(unreach-call)	30	1300	270	1	disqualified	90	5100	1000	0	unknown	.099	14	1.0	0	timeout	910	13000	5700	0	error (7)	16	360	130	0	timeout	900	13000	5700	0	false(unreach-call)	.54	31	5.6	1	false(unreach-call)	2.0	120	15	1
pthread-wmm/mix003_rmo.opt.0.1_false-unreach-call.i	error (5)	.20	28	2.0	0	false(unreach-call)	.35	20	4.3	0	false(unreach-call)	.16	13	1.7	0	error	4.3	280	36	0	false(unreach-call)	33	1500	230	1	false(unreach-call)	2.4	42	33	1	false(unreach-call)	53	620	480	0	false(unreach-call)	240	910	2000	0	false(unreach-call)	2.3	35	29	1	false(unreach-call)	1.2	62	15	1	false(unreach-call)	43	1900	420	1	disqualified	67	7000	820	0	unknown	.10	14	1.2	0	timeout	900	13000	5300	0	error (7)	15	340	120	0	timeout	900	13000	6000	0	false(unreach-call)	.34	31	4.2	1	false(unreach-call)	1.4	120	8.2	1
pthread-wmm/mix003_rmo.opt.0_false-unreach-call.i	error (5)	.21	28	1.9	0	false(unreach-call)	.28	20	3.1	0	false(unreach-call)	.17	13	1.8	0	error	4.5	270	36	0	false(unreach-call)	24	1200	200	1	false(unreach-call)	2.4	42	28	1	false(unreach-call)	57	610	560	0	false(unreach-call)	280	920	2600	0	false(unreach-call)	2.3	35	29	1	false(unreach-call)	1.2	62	15	1	false(unreach-call)	42	1900	320	1	disqualified	68	7000	780	0	unknown	.11	14	1.0	0	timeout	910	14000	5300	0	error (7)	16	370	120	0	timeout	910	14000	5100	0	false(unreach-call)	.36	31	3.9	1	false(unreach-call)	1.4	120	8.6	1
pthread-wmm/mix003_rmo.opt_false-unreach-call.i	error (5)	.20	28	2.6	0	false(unreach-call)	.27	20	3.1	0	false(unreach-call)	.16	13	2.0	0	error	4.3	270	36	0	false(unreach-call)	32	1500	210	1	false(unreach-call)	2.4	42	28	1	false(unreach-call)	53	620	550	0	false(unreach-call)	160	820	1400	0	false(unreach-call)	2.3	35	32	1	false(unreach-call)	1.2	62	16	1	false(unreach-call)	42	1900	390	1	disqualified	67	7000	950	0	unknown	.12	19	1.2	0	timeout	910	13000	6200	0	error (7)	16	370	130	0	timeout	910	13000	5100	0	false(unreach-call)	.39	31	3.7	1	false(unreach-call)	1.5	120	8.5	1
pthread-wmm/mix003_tso.oepc_false-unreach-call.i	error (5)	.22	28	2.0	0	false(unreach-call)	.31	21	4.0	0	error (6)	.090	10	1.0	0	error	4.0	250	37	0	false(unreach-call)	13	540	110	1	false(unreach-call)	2.2	39	28	1	false(unreach-call)	27	610	280	0	false(unreach-call)	51	720	480	0	false(unreach-call)	2.1	32	28	1	false(unreach-call)	1.1	61	16	1	false(unreach-call)	30	1400	260	1	disqualified	90	5100	1300	0	unknown	.11	14	1.2	0	timeout	910	13000	5900	0	error (7)	15	340	120	0	timeout	900	13000	5800	0	false(unreach-call)	.55	31	6.1	1	false(unreach-call)	2.0	120	14	1
pthread-wmm/mix003_tso.opt_false-unreach-call.i	error (5)	.20	28	2.3	0	false(unreach-call)	.30	20	2.9	0	false(unreach-call)	.16	13	1.9	0	error	4.2	270	42	0	false(unreach-call)	26	1200	200	1	false(unreach-call)	2.4	42	36	1	false(unreach-call)	52	620	530	0	false(unreach-call)	160	830	1500	0	false(unreach-call)	2.3	34	30	1	false(unreach-call)	1.2	62	16	1	false(unreach-call)	42	1800	390	1	disqualified	68	7000	840	0	unknown	.11	14	1.1	0	timeout	900	13000	4800	0	error (7)	16	370	130	0	timeout	900	13000	5100	0	false(unreach-call)	.38	31	3.2	1	false(unreach-call)	1.5	120	9.4	1
pthread-wmm/mix004_power.oepc_false-unreach-call.i	error (5)	.25	28	2.3	0	false(unreach-call)	.44	26	6.1	0	error (6)	.097	9.3	1.7	0	error	4.1	250	33	0	false(unreach-call)	24	1100	200	0	false(unreach-call)	14	110	180	0	false(unreach-call)	330	3000	3300	0	timeout	900	5200	7900	0	false(unreach-call)	14	100	170	0	false(unreach-call)	1.2	63	14	1	false(unreach-call)	39	1700	340	0	disqualified	320	12000	4800	0	unknown	.11	14	1.1	0	timeout	900	7100	6900	0	error (7)	15	370	130	0	timeout	900	7200	6300	0	false(unreach-call)	1.4	31	15	1	false(unreach-call)	3.6	130	28	1
pthread-wmm/mix004_power.opt_false-unreach-call.i	error (5)	.23	28	2.1	0	false(unreach-call)	.33	23	4.6	0	false(unreach-call)	.18	15	1.8	0	error	4.2	270	33	0	false(unreach-call)	370	5600	2400	1	false(unreach-call)	14	110	190	1	false(unreach-call)	900	2900	8800	0	timeout	900	3600	7300	0	false(unreach-call)	14	110	180	1	false(unreach-call)	1.3	63	16	1	false(unreach-call)	360	4800	2300	1	disqualified	90	13000	1000	0	unknown	.14	14	1.6	0	timeout	900	6900	5500	0	error (7)	16	350	120	0	timeout	900	7000	6000	0	false(unreach-call)	.47	32	4.8	1	false(unreach-call)	1.7	120	10	1
pthread-wmm/mix004_pso.oepc_false-unreach-call.i	error (5)	.21	28	2.8	0	false(unreach-call)	.43	26	5.3	0	error (6)	.10	9.8	1.0	0	error	4.2	270	39	0	false(unreach-call)	25	1100	180	0	false(unreach-call)	14	110	190	0	false(unreach-call)	390	3500	3500	0	timeout	900	5400	8400	0	false(unreach-call)	14	100	160	0	false(unreach-call)	1.2	64	15	1	false(unreach-call)	42	2000	340	0	disqualified	900	12000	14000	0	unknown	.11	14	1.6	0	timeout	900	7100	5800	0	error (7)	15	350	120	0	timeout	900	7200	7600	0	false(unreach-call)	1.4	31	18	1	false(unreach-call)	2.8	130	20	1
pthread-wmm/mix004_pso.opt_false-unreach-call.i	error (5)	.22	28	2.4	0	false(unreach-call)	.33	23	4.1	0	false(unreach-call)	.19	15	2.5	0	error	4.3	270	38	0	false(unreach-call)	360	5500	2800	1	false(unreach-call)	14	110	200	1	timeout	900	2800	8600	0	timeout	900	3000	8000	0	false(unreach-call)	14	110	210	1	false(unreach-call)	1.3	63	18	1	false(unreach-call)	340	4800	2600	1	disqualified	95	13000	1400	0	unknown	.10	13	1.3	0	timeout	900	7000	6100	0	error (7)	16	360	130	0	timeout	900	6900	6100	0	false(unreach-call)	.45	31	4.6	1	false(unreach-call)	1.7	120	12	1
pthread-wmm/mix004_rmo.oepc_false-unreach-call.i	error (5)	.21	28	2.3	0	false(unreach-call)	.43	26	4.8	0	error (6)	.091	9.6	.99	0	error	4.4	260	40	0	false(unreach-call)	24	1100	200	0	false(unreach-call)	13	110	170	0	false(unreach-call)	570	4600	4900	0	false(unreach-call)	730	5000	7000	0	false(unreach-call)	14	100	190	0	false(unreach-call)	1.2	63	17	1	false(unreach-call)	40	1800	320	0	disqualified	320	12000	4400	0	unknown	.10	13	1.1	0	timeout	900	7100	6000	0	error (7)	15	350	130	0	timeout	900	7100	6300	0	false(unreach-call)	1.4	32	18	1	false(unreach-call)	4.0	130	30	1
pthread-wmm/mix004_rmo.opt_false-unreach-call.i	error (5)	.23	28	2.0	0	false(unreach-call)	.37	23	4.2	0	false(unreach-call)	.18	16	2.5	0	error	4.4	270	42	0	false(unreach-call)	350	5500	2600	1	false(unreach-call)	14	110	210	1	timeout	900	2800	7900	0	timeout	900	3800	9300	0	false(unreach-call)	14	110	200	1	false(unreach-call)	1.3	63	18	1	false(unreach-call)	350	4800	2400	1	disqualified	81	13000	1200	0	unknown	.11	14	1.6	0	timeout	900	6900	6100	0	error (7)	17	360	130	0	timeout	900	7000	5900	0	false(unreach-call)	.44	31	4.6	1	false(unreach-call)	1.8	120	12	1
pthread-wmm/mix004_tso.oepc_false-unreach-call.i	error (5)	.24	28	2.1	0	false(unreach-call)	.43	26	5.0	0	error (6)	.088	9.7	1.1	0	error	4.0	250	41	0	false(unreach-call)	23	1100	180	0	false(unreach-call)	14	110	160	0	false(unreach-call)	520	4300	4800	0	timeout	900	5600	8900	0	false(unreach-call)	14	100	190	0	false(unreach-call)	1.2	64	20	1	false(unreach-call)	39	1700	350	0	disqualified	320	12000	4600	0	unknown	.10	14	1.1	0	timeout	900	7200	6200	0	error (7)	15	370	120	0	timeout	900	7100	6300	0	false(unreach-call)	1.4	31	19	1	false(unreach-call)	3.9	130	31	1
pthread-wmm/mix004_tso.opt_false-unreach-call.i	error (5)	.24	28	1.9	0	false(unreach-call)	.35	22	4.5	0	false(unreach-call)	.19	16	1.9	0	error	4.4	280	38	0	false(unreach-call)	370	5500	2300	1	false(unreach-call)	14	110	180	1	timeout	900	2800	8400	0	timeout	900	3400	8300	0	false(unreach-call)	14	110	200	1	false(unreach-call)	1.2	63	20	1	false(unreach-call)	360	4800	2000	1	disqualified	83	13000	1100	0	unknown	.10	14	1.2	0	timeout	900	7000	5900	0	error (7)	16	370	120	0	timeout	900	7000	6800	0	false(unreach-call)	.44	31	4.5	1	false(unreach-call)	1.8	120	11	1
pthread-wmm/mix005_power.oepc_false-unreach-call.i	error (5)	.22	28	2.1	0	false(unreach-call)	.45	26	5.3	0	error (6)	.095	11	1.1	0	error	4.4	280	37	0	false(unreach-call)	24	1100	170	0	false(unreach-call)	14	110	160	0	false(unreach-call)	900	5700	7400	0	timeout	900	4400	8800	0	false(unreach-call)	14	100	220	0	false(unreach-call)	1.2	63	16	1	false(unreach-call)	39	1700	350	0	disqualified	260	12000	3300	0	unknown	.10	14	1.0	0	timeout	900	7100	6800	0	error (7)	16	340	110	0	timeout	900	7100	6200	0	false(unreach-call)	.88	31	10	1	false(unreach-call)	4.3	130	33	1
pthread-wmm/mix005_power.opt_false-unreach-call.i	error (5)	.23	28	2.2	0	false(unreach-call)	.31	23	4.3	0	false(unreach-call)	.18	15	2.3	0	error	4.0	250	34	0	false(unreach-call)	370	5500	2200	1	false(unreach-call)	14	110	170	1	false(unreach-call)	870	2900	8000	0	timeout	900	3300	8300	0	false(unreach-call)	14	100	160	1	false(unreach-call)	1.2	63	16	1	false(unreach-call)	330	4800	2900	1	disqualified	900	13000	10000	0	unknown	.11	14	1.2	0	timeout	900	7200	6400	0	error (7)	16	380	130	0	timeout	900	7100	5700	0	false(unreach-call)	.46	31	4.4	1	false(unreach-call)	1.7	120	9.4	1
pthread-wmm/mix005_pso.oepc_false-unreach-call.i	error (5)	.23	28	2.1	0	false(unreach-call)	.44	26	5.5	0	error (6)	.13	10	.71	0	error	4.2	270	41	0	false(unreach-call)	23	1200	180	0	false(unreach-call)	14	110	200	0	false(unreach-call)	570	4600	4800	0	timeout	900	4700	9300	0	false(unreach-call)	14	100	180	0	false(unreach-call)	1.2	63	16	1	false(unreach-call)	39	1700	340	0	disqualified	260	12000	3200	0	unknown	.10	13	1.1	0	timeout	900	7200	4700	0	error (7)	15	360	120	0	timeout	900	7100	5800	0	false(unreach-call)	.86	32	12	1	false(unreach-call)	4.4	130	29	1
pthread-wmm/mix005_pso.opt_false-unreach-call.i	error (5)	.22	28	2.2	0	false(unreach-call)	.31	23	4.1	0	false(unreach-call)	.18	15	2.0	0	error	4.2	270	37	0	false(unreach-call)	360	5600	2700	1	false(unreach-call)	15	110	190	1	false(unreach-call)	840	2900	8400	0	timeout	900	3600	7500	0	false(unreach-call)	14	100	180	1	false(unreach-call)	1.2	64	18	1	false(unreach-call)	340	4900	2900	1	disqualified	900	13000	11000	0	unknown	.10	13	1.4	0	timeout	900	7300	7100	0	error (7)	16	350	130	0	timeout	900	7200	5800	0	false(unreach-call)	.42	32	4.3	1	false(unreach-call)	1.5	120	9.7	1
pthread-wmm/mix005_rmo.oepc_false-unreach-call.i	error (5)	.23	28	1.9	0