Tool	CBMC 4.5			CPAchecker 1.2.11-svcomp14b			ESBMC 1.22.1			LLBMC			Predator 2013-10-30			Symbiotic			UFO			UltimateAutomizer			UltimateKojak
Limits	timelimit: 900 s, memlimit: 15360 MB, CPU core limit: 8
OS	Linux 3.2.0-56-generic x86_64
System	CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3401 MHz; RAM: 32827640 kB
Date of execution	13-11-18 23:43			13-11-18 14:59			13-11-18 23:26			13-11-21 13:28			13-11-19 22:09			13-11-24 22:59			13-11-18 15:05			13-11-19 23:49			13-11-21 12:52
Options	--propertyfile ${sourcefile_path}/ALL.prp --32			-sv-comp14 -heap 10000M -spec ${sourcefile_path}/ALL.prp -disable-java-assertions			-c ${sourcefile_path}/ALL.prp			-spec ${sourcefile_path}/ALL.prp -witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt			--propertyfile ${sourcefile_path}/ALL.prp --trace ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -m32						--spec=${sourcefile_path}/ALL.prp --cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt			${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt			${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
../../sv-benchmarks/c/	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
systemc/kundu1_false.cil.c	false(label)	3.3	56	false(label)	2.8	160	false(label)	380	340	false(label)	0.63	11	false(label)	0.12	5.0	timeout	900	550	false(label)	8.3	260	false(label)	40	1100	timeout	920	620
systemc/kundu2_false.cil.c	false(label)	0.34	19	false(label)	2.4	150	false(label)	900	580	false(label)	0.40	10.0	false(label)	0.13	6.0	timeout	900	760	false(label)	18	320	false(label)	110	4300	timeout	920	490
systemc/pc_sfifo_1_false.cil.c	false(label)	0.22	18	false(label)	23	1400	false(label)	200	280	false(label)	0.12	2.0	false(label)	0.10	4.0	timeout	900	660	false(label)	1.5	130	false(label)	3.4	210	false(label)	4.5	220
systemc/pc_sfifo_2_false.cil.c	false(label)	0.22	18	false(label)	24	1400	false(label)	150	210	false(label)	0.12	3.0	false(label)	0.13	4.0	timeout	900	720	false(label)	2.4	170	false(label)	5.5	270	false(label)	6.0	260
systemc/pipeline_false.cil.c	false(label)	45	320	false(label)	4.1	260	false(label)	900	1200	timeout	910	2600	false(label)	500	350	timeout	900	670	false(label)	34	440	false(label)	64	1200	unknown	20	670
systemc/token_ring.01_false.cil.c	false(label)	2.4	40	false(label)	5.5	230	false(label)	400	340	false(label)	1.5	17	false(label)	0.13	5.0	timeout	900	450	false(label)	1.8	150	false(label)	18	640	false(label)	69	630
systemc/token_ring.02_false.cil.c	false(label)	4.9	57	false(label)	6.9	250	false(label)	880	500	false(label)	2.5	32	false(label)	0.12	5.0	timeout	900	480	false(label)	2.9	170	false(label)	32	1000	timeout	920	630
systemc/token_ring.03_false.cil.c	false(label)	11	75	false(label)	8.3	270	false(label)	900	690	false(label)	4.3	47	false(label)	0.14	7.0	timeout	900	480	false(label)	4.5	190	false(label)	49	1600	timeout	920	490
systemc/token_ring.04_false.cil.c	false(label)	22	96	false(label)	12	480	false(label)	900	800	false(label)	6.8	69	false(label)	0.27	10.0	timeout	900	500	false(label)	7.5	210	false(label)	150	4900	timeout	920	390
systemc/token_ring.05_false.cil.c	false(label)	40	120	false(label)	14	710	false(label)	900	670	false(label)	10	100	false(label)	0.56	14	timeout	900	520	false(label)	12	200	false(label)	130	4100	timeout	920	400
systemc/token_ring.06_false.cil.c	false(label)	70	150	false(label)	28	1900	false(label)	900	820	false(label)	15	130	false(label)	1.9	26	timeout	900	580	false(label)	9.2	210	timeout	920	11000	timeout	920	470
systemc/token_ring.07_false.cil.c	false(label)	110	180	false(label)	31	1900	false(label)	900	1100	false(label)	20	180	false(label)	11	47	timeout	900	820	false(label)	23	220	timeout	920	8200	timeout	920	410
systemc/token_ring.08_false.cil.c	false(label)	170	210	false(label)	60	3200	false(label)	900	720	false(label)	27	230	false(label)	57	83	timeout	900	820	false(label)	24	230	timeout	920	11000	timeout	920	380
systemc/token_ring.09_false.cil.c	false(label)	240	240	false(label)	66	3900	unknown	900	650	false(label)	34	300	false(label)	470	180	timeout	900	820	false(label)	25	260	timeout	920	11000	timeout	920	390
systemc/token_ring.10_false.cil.c	false(label)	350	290	false(label)	78	3500	unknown	900	750	false(label)	43	370	timeout	900	390	timeout	900	800	false(label)	29	250	timeout	920	11000	timeout	920	380
systemc/token_ring.11_false.cil.c	false(label)	470	320	false(label)	100	3300	unknown	900	850	false(label)	54	440	timeout	900	480	timeout	900	760	false(label)	12	220	timeout	920	12000	timeout	920	410
systemc/token_ring.12_false.cil.c	false(label)	650	370	false(label)	170	2900	unknown	900	1000	false(label)	66	530	timeout	900	570	timeout	900	820	false(label)	31	250	timeout	920	11000	timeout	920	400
systemc/token_ring.13_false.cil.c	true	850	330	false(label)	310	3400	unknown	900	1100	false(label)	79	650	timeout	900	650	timeout	900	850	false(label)	15	230	timeout	920	11000	timeout	920	440
systemc/token_ring.14_false.cil.c	false(label)	650	370	false(label)	150	3600	unknown	900	1000	false(label)	65	530	timeout	900	570	timeout	900	810	false(label)	27	250	timeout	920	11000	timeout	920	410
systemc/token_ring.15_false.cil.c	true	850	310	false(label)	320	3900	unknown	900	1100	false(label)	79	650	timeout	900	650	timeout	900	850	false(label)	20	240	timeout	920	12000	timeout	920	450
systemc/toy1_false.cil.c	false(label)	4.0	57	false(label)	2.5	150	false(label)	730	450	false(label)	1.3	34	false(label)	0.16	6.0	timeout	900	600	false(label)	67	370	false(label)	120	2100	timeout	920	970
systemc/toy2_false.cil.c	false(label)	3.8	55	false(label)	2.6	150	false(label)	600	400	false(label)	1.2	33	false(label)	0.12	6.0	timeout	900	600	false(label)	67	390	false(label)	100	2600	timeout	920	630
systemc/transmitter.01_false.cil.c	false(label)	0.20	17	false(label)	2.1	130	false(label)	72	150	false(label)	0.22	6.0	false(label)	0.10	4.0	timeout	900	250	false(label)	1.5	140	false(label)	7.6	270	false(label)	33	390
systemc/transmitter.02_false.cil.c	false(label)	0.23	18	false(label)	2.4	140	false(label)	250	270	false(label)	0.32	10.0	false(label)	0.12	5.0	timeout	900	270	false(label)	1.4	130	false(label)	20	680	timeout	920	640
systemc/transmitter.03_false.cil.c	false(label)	0.28	18	false(label)	2.6	150	false(label)	700	410	false(label)	0.52	17	false(label)	0.15	6.0	timeout	900	310	false(label)	2.0	150	false(label)	30	1400	timeout	920	370
systemc/transmitter.04_false.cil.c	false(label)	0.33	19	false(label)	3.1	180	false(label)	900	590	false(label)	0.84	24	false(label)	0.23	8.0	timeout	900	380	false(label)	2.4	160	false(label)	130	4700	timeout	920	370
systemc/transmitter.05_false.cil.c	false(label)	0.42	20	false(label)	3.5	200	false(label)	900	780	false(label)	1.2	34	false(label)	0.35	11	timeout	900	450	false(label)	2.6	160	timeout	910	11000	timeout	920	380
systemc/transmitter.06_false.cil.c	false(label)	0.53	21	false(label)	4.4	260	false(label)	900	600	false(label)	1.8	47	false(label)	0.84	19	timeout	900	540	false(label)	2.9	170	timeout	910	9900	timeout	920	380
systemc/transmitter.07_false.cil.c	false(label)	0.68	22	false(label)	5.6	280	false(label)	900	740	false(label)	2.4	59	false(label)	5.8	36	timeout	900	800	false(label)	3.3	170	timeout	910	11000	timeout	920	380
systemc/transmitter.08_false.cil.c	false(label)	0.87	23	false(label)	7.3	300	false(label)	900	960	false(label)	3.3	81	false(label)	46	72	timeout	900	760	false(label)	3.8	170	timeout	910	12000	timeout	920	440
systemc/transmitter.09_false.cil.c	false(label)	1.1	24	false(label)	13	480	false(label)	900	1100	false(label)	4.3	100	false(label)	350	150	timeout	900	750	false(label)	3.1	180	timeout	910	11000	timeout	920	440
systemc/transmitter.10_false.cil.c	false(label)	1.4	25	false(label)	63	2600	unknown	900	600	false(label)	5.4	120	timeout	900	350	timeout	900	730	false(label)	4.7	200	timeout	920	12000	timeout	920	450
systemc/transmitter.11_false.cil.c	false(label)	1.8	27	false(label)	62	2700	unknown	900	710	false(label)	6.9	150	timeout	900	490	timeout	900	690	false(label)	4.2	190	timeout	920	12000	timeout	920	460
systemc/transmitter.12_false.cil.c	false(label)	2.3	30	false(label)	65	2500	unknown	900	800	false(label)	8.6	190	timeout	900	580	timeout	900	730	false(label)	5.7	200	timeout	920	11000	timeout	920	470
systemc/transmitter.13_false.cil.c	false(label)	2.8	34	false(label)	65	2100	unknown	900	980	false(label)	10	210	timeout	900	620	timeout	900	760	false(label)	5.8	200	timeout	920	11000	timeout	920	490
systemc/transmitter.15_false.cil.c	false(label)	2.8	32	false(label)	59	3500	unknown	900	980	false(label)	0.51	32	false(label)	0.16	8.0	timeout	900	830	false(label)	2.6	170	false(label)	32	380	false(label)	59	420
systemc/transmitter.16_false.cil.c	false(label)	3.1	34	false(label)	60	3100	unknown	900	990	false(label)	0.52	36	false(label)	0.15	8.0	timeout	900	750	false(label)	2.7	170	false(label)	38	350	false(label)	98	390
systemc/bist_cell_true.cil.c	true	320	390	true	1.8	98	true	1.3	46	true	16	110	true	0.13	5.0	timeout	900	650	true	0.44	35	true	35	950	timeout	920	630
systemc/kundu_true.cil.c	true	850	560	true	4.7	230	true	900	340	timeout	920	740	true	0.39	9.0	timeout	900	580	true	670	1300	true	250	5000	timeout	920	490
systemc/mem_slave_tlm.1_true.cil.c	true	850	560	true	2.2	110	true	390	1900	timeout	920	760	true	0.15	7.0	timeout	900	460	true	520	950	true	66	1900	timeout	920	400
systemc/mem_slave_tlm.2_true.cil.c	true	850	550	true	2.3	110	true	900	1900	timeout	920	760	true	0.16	7.0	timeout	900	500	timeout	920	2000	true	95	2000	timeout	920	400
systemc/mem_slave_tlm.3_true.cil.c	true	850	540	true	2.4	110	true	900	2100	timeout	920	760	true	0.17	8.0	timeout	900	500	timeout	920	2900	true	120	1800	timeout	920	400
systemc/mem_slave_tlm.4_true.cil.c	true	850	530	true	2.5	120	true	900	2100	timeout	920	820	true	0.19	9.0	timeout	900	500	timeout	920	3000	true	140	2000	timeout	920	410
systemc/mem_slave_tlm.5_true.cil.c	true	850	540	true	2.5	120	true	900	2200	timeout	920	820	true	0.22	9.0	timeout	900	510	timeout	920	3400	true	180	2100	timeout	920	410
systemc/pc_sfifo_1_true.cil.c	true	850	620	true	56	3000	true	140	270	true	270	140	false(label)	0.14	5.0	timeout	900	650	true	9.4	250	true	26	400	timeout	920	500
systemc/pc_sfifo_2_true.cil.c	true	850	570	true	58	3000	true	900	260	true	390	130	false(label)	0.16	6.0	timeout	900	700	unknown	8.8	240	timeout	920	740	timeout	920	490
systemc/pc_sfifo_3_true.cil.c	true	850	480	true	1.9	110	true	30	200	true	630	240	true	0.13	5.0	timeout	900	440	true	2.1	170	true	8.1	260	true	97	620
systemc/pipeline_true.cil.c	true	850	490	timeout	900	4000	true	640	2500	timeout	920	2500	timeout	900	540	timeout	900	660	true	240	670	timeout	920	8900	unknown	23	1100
systemc/token_ring.01_true.cil.c	true	850	330	true	5.7	210	true	67	280	true	400	270	false(label)	0.13	4.0	timeout	900	460	true	4.6	190	true	17	400	timeout	920	640
systemc/token_ring.02_true.cil.c	true	850	600	true	7.5	230	true	310	430	true	900	440	false(label)	0.11	5.0	timeout	900	470	true	10	200	true	29	1200	timeout	920	630
systemc/token_ring.03_true.cil.c	true	850	470	true	9.7	230	true	900	620	timeout	920	590	false(label)	0.16	7.0	timeout	900	490	true	29	260	true	39	1500	timeout	920	490
systemc/token_ring.04_true.cil.c	true	850	690	true	16	450	true	900	510	timeout	920	520	false(label)	0.26	9.0	timeout	900	500	true	55	310	true	70	3000	timeout	920	650
systemc/token_ring.05_true.cil.c	true	850	290	true	32	620	true	900	640	timeout	920	770	false(label)	0.54	14	timeout	900	520	true	95	320	true	120	4100	timeout	920	630
systemc/token_ring.06_true.cil.c	true	850	280	true	150	2100	true	900	760	timeout	910	570	false(label)	1.9	26	timeout	900	580	true	190	350	unknown	400	5600	timeout	920	470
systemc/token_ring.07_true.cil.c	true	850	270	true	110	1900	unknown	900	440	timeout	910	820	false(label)	11	47	timeout	900	810	true	340	370	timeout	920	7900	timeout	920	380
systemc/token_ring.08_true.cil.c	true	850	320	timeout	900	3900	unknown	900	540	timeout	920	1000	false(label)	57	83	timeout	900	820	true	510	540	timeout	920	10000	timeout	920	390
systemc/token_ring.09_true.cil.c	true	850	320	timeout	900	4000	unknown	900	630	timeout	920	1300	false(label)	470	180	timeout	900	820	true	740	630	timeout	920	12000	timeout	920	590
systemc/token_ring.10_true.cil.c	true	850	470	timeout	900	3900	unknown	900	730	timeout	920	1600	timeout	900	390	timeout	900	800	timeout	920	1800	timeout	920	11000	timeout	920	400
systemc/token_ring.11_true.cil.c	true	850	450	timeout	900	4000	unknown	900	810	timeout	920	2000	timeout	900	480	timeout	900	760	timeout	920	2400	timeout	920	11000	timeout	920	380
systemc/token_ring.12_true.cil.c	true	850	490	timeout	900	4000	unknown	900	1000	timeout	920	2500	timeout	900	570	timeout	900	810	timeout	920	3200	timeout	920	11000	timeout	920	420
systemc/token_ring.13_true.cil.c	true	850	430	timeout	900	4300	unknown	900	1100	timeout	920	3200	timeout	900	650	timeout	900	860	timeout	920	2000	timeout	920	11000	timeout	920	480
systemc/toy_true.cil.c	true	850	670	true	60	3700	true	900	270	timeout	920	690	false(label)	0.37	12	timeout	900	600	true	790	840	true	180	2900	timeout	920	960
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.1.ufo.BOUNDED-10.pals.c	false(label)	0.29	19	false(label)	25	1400	false(label)	3.7	33	false(label)	1.3	24	false(label)	0.35	7.0	unknown	0.23	2.0	false(label)	1.5	130	unknown	6.5	220	timeout	920	380
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.26	19	false(label)	27	1500	false(label)	5.2	43	false(label)	0.19	5.0	false(label)	0.34	7.0	unknown	0.13	2.0	false(label)	1.8	140	unknown	6.6	220	false(label)	870	470
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.4_1.ufo.BOUNDED-10.pals.c	false(label)	0.26	19	false(label)	27	1400	false(label)	2.9	33	false(label)	0.61	26	false(label)	1.2	14	unknown	0.13	2.0	false(label)	2.6	150	unknown	6.4	220	timeout	920	380
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.4_1.ufo.UNBOUNDED.pals.c	false(label)	0.27	19	false(label)	28	1500	false(label)	4.6	43	false(label)	0.26	8.0	false(label)	1.2	14	unknown	0.15	1.00	false(label)	2.6	160	unknown	6.4	220	timeout	920	370
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.4_2.ufo.BOUNDED-10.pals.c	false(label)	0.27	19	false(label)	28	1400	false(label)	3.0	32	false(label)	0.60	26	false(label)	1.2	14	unknown	0.13	2.0	false(label)	2.6	160	unknown	6.5	220	timeout	920	380
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.4_2.ufo.UNBOUNDED.pals.c	false(label)	0.27	19	false(label)	29	1500	false(label)	4.9	44	false(label)	0.30	8.0	false(label)	1.2	14	unknown	0.13	1.00	false(label)	2.8	160	unknown	6.4	220	timeout	920	650
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.5.ufo.BOUNDED-10.pals.c	false(label)	0.84	22	timeout	900	2800	false(label)	3.0	32	false(label)	0.56	25	false(label)	1.2	13	unknown	0.13	2.0	false(label)	18	250	unknown	6.4	220	timeout	920	390
seq-mthreaded/pals_STARTPALS_ActiveStandby_false.5.ufo.UNBOUNDED.pals.c	false(label)	0.84	22	false(label)	510	3500	false(label)	4.8	43	false(label)	0.71	19	false(label)	1.2	13	unknown	0.13	2.0	false(label)	12	220	unknown	6.4	220	timeout	920	390
seq-mthreaded/pals_STARTPALS_Triplicated_false.1.ufo.BOUNDED-10.pals.c	false(label)	0.69	22	false(label)	87	3600	false(label)	2.9	31	false(label)	1.3	40	false(label)	190	110	unknown	0.13	2.0	false(label)	2.4	170	unknown	6.6	250	timeout	920	640
seq-mthreaded/pals_STARTPALS_Triplicated_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.70	22	false(label)	74	3300	false(label)	4.7	41	false(label)	0.61	30	false(label)	180	110	unknown	0.13	2.0	false(label)	2.1	160	false(label)	570	4000	timeout	920	650
seq-mthreaded/pals_STARTPALS_Triplicated_false.2.ufo.BOUNDED-10.pals.c	false(label)	0.68	21	timeout	900	3800	false(label)	2.8	30	false(label)	1.3	39	false(label)	170	110	unknown	0.13	1.00	false(label)	2.3	170	unknown	6.7	250	timeout	920	720
seq-mthreaded/pals_STARTPALS_Triplicated_false.2.ufo.UNBOUNDED.pals.c	false(label)	0.68	22	timeout	900	3800	false(label)	4.5	40	false(label)	0.63	30	false(label)	170	110	unknown	0.13	2.0	false(label)	2.2	170	timeout	920	2800	timeout	920	610
seq-mthreaded/pals_floodmax.3_false.1.ufo.BOUNDED-6.pals.c	false(label)	0.55	24	false(label)	37	1800	false(label)	2.7	28	false(label)	0.53	20	timeout	900	210	unknown	0.12	1.00	false(label)	3.7	160	unknown	5.6	220	unknown	540	760
seq-mthreaded/pals_floodmax.3_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.54	24	false(label)	69	2300	false(label)	9.4	51	false(label)	1.1	25	timeout	900	250	unknown	0.12	2.0	unknown	3.9	160	unknown	5.6	220	unknown	530	770
seq-mthreaded/pals_floodmax.3_false.2.ufo.BOUNDED-6.pals.c	false(label)	0.25	19	false(label)	19	670	false(label)	2.5	28	false(label)	0.61	20	false(label)	11	37	unknown	0.13	2.0	false(label)	3.4	160	unknown	5.7	220	unknown	520	740
seq-mthreaded/pals_floodmax.3_false.2.ufo.UNBOUNDED.pals.c	false(label)	0.24	19	false(label)	19	520	false(label)	8.8	51	false(label)	0.35	9.0	false(label)	11	37	unknown	0.13	1.00	false(label)	2.3	150	unknown	6.2	220	unknown	520	1300
seq-mthreaded/pals_floodmax.3_false.3.ufo.BOUNDED-6.pals.c	false(label)	0.56	24	false(label)	110	2000	false(label)	2.7	28	false(label)	0.56	20	false(label)	480	240	unknown	0.12	2.0	false(label)	3.2	160	unknown	7.8	220	timeout	920	840
seq-mthreaded/pals_floodmax.3_false.3.ufo.UNBOUNDED.pals.c	false(label)	0.58	24	false(label)	460	3500	false(label)	9.2	52	false(label)	1.4	24	false(label)	250	180	unknown	0.13	2.0	unknown	4.0	160	unknown	5.8	220	unknown	880	1400
seq-mthreaded/pals_floodmax.3_false.4.ufo.BOUNDED-6.pals.c	false(label)	0.55	24	false(label)	650	2900	false(label)	3.1	29	false(label)	0.57	20	false(label)	370	200	unknown	0.11	2.0	unknown	3.9	160	unknown	5.8	220	unknown	550	790
seq-mthreaded/pals_floodmax.3_false.4.ufo.UNBOUNDED.pals.c	false(label)	0.55	24	false(label)	680	3700	false(label)	11	53	false(label)	1.2	24	false(label)	170	150	unknown	0.13	2.0	unknown	3.6	160	unknown	5.7	220	timeout	920	890
seq-mthreaded/pals_floodmax.4_false.1.ufo.BOUNDED-8.pals.c	false(label)	1.1	31	timeout	900	3600	false(label)	9.7	54	false(label)	1.4	45	timeout	900	5900	unknown	0.14	2.0	unknown	4.4	190	unknown	16	350	timeout	920	420
seq-mthreaded/pals_floodmax.4_false.1.ufo.UNBOUNDED.pals.c	false(label)	1.1	31	timeout	900	3500	false(label)	23	87	false(label)	2.1	37	timeout	900	5900	unknown	0.18	2.0	unknown	4.3	180	unknown	16	250	timeout	920	420
seq-mthreaded/pals_floodmax.4_false.2.ufo.BOUNDED-8.pals.c	false(label)	1.1	31	timeout	900	2800	false(label)	10.0	55	false(label)	1.9	45	timeout	900	4500	unknown	0.14	2.0	unknown	5.1	200	unknown	17	260	timeout	920	440
seq-mthreaded/pals_floodmax.4_false.2.ufo.UNBOUNDED.pals.c	false(label)	1.1	31	timeout	900	2800	false(label)	22	86	false(label)	3.3	38	timeout	900	4500	unknown	0.15	2.0	unknown	5.1	180	unknown	17	250	timeout	920	440
seq-mthreaded/pals_floodmax.4_false.3.ufo.BOUNDED-8.pals.c	false(label)	1.1	31	timeout	900	3600	false(label)	10	55	false(label)	1.7	46	timeout	900	4500	unknown	0.17	2.0	unknown	5.0	180	unknown	16	250	timeout	920	450
seq-mthreaded/pals_floodmax.4_false.3.ufo.UNBOUNDED.pals.c	false(label)	1.1	31	timeout	900	3400	false(label)	23	88	false(label)	12	45	timeout	900	4500	unknown	0.14	2.0	unknown	5.0	180	unknown	17	250	timeout	920	440
seq-mthreaded/pals_floodmax.4_false.4.ufo.BOUNDED-8.pals.c	false(label)	1.2	31	timeout	900	3700	false(label)	14	57	false(label)	1.8	45	timeout	900	4500	unknown	0.15	2.0	unknown	4.7	180	unknown	17	250	timeout	920	450
seq-mthreaded/pals_floodmax.4_false.4.ufo.UNBOUNDED.pals.c	false(label)	1.2	31	timeout	900	3400	false(label)	37	89	false(label)	2.4	39	timeout	900	4500	unknown	0.17	2.0	unknown	5.0	180	unknown	17	250	timeout	920	440
seq-mthreaded/pals_floodmax.5_false.1.ufo.BOUNDED-10.pals.c	false(label)	6.6	76	timeout	900	3300	false(label)	32	110	false(label)	3.4	95	timeout	900	7100	unknown	0.16	2.0	unknown	4.1	180	unknown	64	390	unknown	460	7700
seq-mthreaded/pals_floodmax.5_false.1.ufo.UNBOUNDED.pals.c	false(label)	7.3	87	timeout	900	3600	false(label)	50	140	false(label)	8.9	82	timeout	900	7100	unknown	0.18	2.0	unknown	5.8	190	unknown	64	370	timeout	920	440
seq-mthreaded/pals_floodmax.5_false.2.ufo.BOUNDED-10.pals.c	false(label)	3.6	56	timeout	900	2900	false(label)	31	110	false(label)	4.2	93	timeout	900	14000	unknown	0.16	2.0	unknown	6.8	230	unknown	67	390	unknown	850	8100
seq-mthreaded/pals_floodmax.5_false.2.ufo.UNBOUNDED.pals.c	false(label)	3.6	56	timeout	900	3000	false(label)	51	140	false(label)	4.8	67	timeout	900	14000	unknown	0.16	2.0	unknown	7.0	230	unknown	67	400	unknown	630	7500
seq-mthreaded/pals_floodmax.5_false.3.ufo.BOUNDED-10.pals.c	false(label)	7.0	77	timeout	900	3600	false(label)	32	110	false(label)	3.4	95	timeout	900	14000	unknown	0.16	2.0	unknown	7.0	230	unknown	68	380	unknown	420	7100
seq-mthreaded/pals_floodmax.5_false.3.ufo.UNBOUNDED.pals.c	false(label)	7.7	88	timeout	900	3600	false(label)	50	140	timeout	910	160	timeout	900	14000	unknown	0.13	2.0	unknown	6.9	230	unknown	67	400	timeout	920	470
seq-mthreaded/pals_floodmax.5_false.4.ufo.BOUNDED-10.pals.c	false(label)	7.1	77	timeout	900	3000	false(label)	50	110	false(label)	4.4	95	timeout	900	14000	unknown	0.16	2.0	unknown	6.9	240	unknown	68	380	timeout	920	470
seq-mthreaded/pals_floodmax.5_false.4.ufo.UNBOUNDED.pals.c	false(label)	8.4	87	timeout	900	3600	false(label)	140	150	false(label)	9.8	87	timeout	900	14000	unknown	0.17	2.0	unknown	6.9	230	unknown	67	390	unknown	600	7500
seq-mthreaded/pals_lcr-var-start-time.3_false.1.ufo.BOUNDED-6.pals.c	false(label)	0.41	20	false(label)	24	610	false(label)	1.1	20	false(label)	0.24	12	false(label)	0.57	11	unknown	0.15	2.0	unknown	3.7	150	unknown	3.8	220	timeout	920	6400
seq-mthreaded/pals_lcr-var-start-time.3_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.40	20	false(label)	65	3000	false(label)	3.5	31	false(label)	0.50	12	false(label)	0.57	11	unknown	0.12	1.00	unknown	3.6	170	unknown	3.9	220	timeout	920	6300
seq-mthreaded/pals_lcr-var-start-time.3_false.2.ufo.BOUNDED-6.pals.c	false(label)	0.40	20	false(label)	51	670	false(label)	1.00	20	false(label)	0.23	11	false(label)	0.67	12	unknown	0.12	1.00	unknown	3.0	150	unknown	3.8	220	timeout	920	2000
seq-mthreaded/pals_lcr-var-start-time.3_false.2.ufo.UNBOUNDED.pals.c	false(label)	0.38	20	false(label)	68	3000	false(label)	3.3	30	false(label)	0.52	12	false(label)	0.62	12	unknown	0.12	2.0	unknown	3.7	160	unknown	3.7	220	timeout	920	620
seq-mthreaded/pals_lcr-var-start-time.4_false.1.ufo.BOUNDED-8.pals.c	false(label)	0.85	23	timeout	900	3500	false(label)	2.9	24	false(label)	0.35	19	false(label)	9.0	38	unknown	0.12	2.0	unknown	4.1	170	unknown	4.5	220	timeout	920	1300
seq-mthreaded/pals_lcr-var-start-time.4_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.95	26	timeout	900	3700	false(label)	7.3	38	false(label)	1.6	21	false(label)	8.8	37	unknown	0.13	2.0	unknown	4.0	160	unknown	4.5	220	timeout	920	2200
seq-mthreaded/pals_lcr-var-start-time.4_false.2.ufo.BOUNDED-8.pals.c	false(label)	0.95	23	timeout	900	3600	false(label)	2.4	24	false(label)	0.36	19	false(label)	11	42	unknown	0.14	2.0	unknown	4.1	160	unknown	4.5	220	timeout	920	1700
seq-mthreaded/pals_lcr-var-start-time.4_false.2.ufo.UNBOUNDED.pals.c	false(label)	1.1	25	timeout	900	3700	false(label)	4.9	36	false(label)	1.4	20	false(label)	11	41	unknown	0.12	1.00	unknown	3.9	160	unknown	4.6	220	timeout	920	1300
seq-mthreaded/pals_lcr-var-start-time.5_false.1.ufo.BOUNDED-10.pals.c	false(label)	1.2	26	timeout	900	3600	false(label)	5.0	34	false(label)	0.54	30	false(label)	240	180	unknown	0.12	2.0	unknown	4.1	170	unknown	5.7	220	timeout	920	6000
seq-mthreaded/pals_lcr-var-start-time.5_false.1.ufo.UNBOUNDED.pals.c	false(label)	1.3	29	timeout	900	3600	false(label)	7.5	46	false(label)	9.6	38	false(label)	230	180	unknown	0.13	2.0	unknown	4.0	160	unknown	5.4	220	timeout	920	8100
seq-mthreaded/pals_lcr-var-start-time.5_false.2.ufo.BOUNDED-10.pals.c	false(label)	1.1	26	timeout	900	3700	false(label)	4.5	33	false(label)	0.59	30	false(label)	300	200	unknown	0.12	1.00	unknown	4.0	170	unknown	5.4	220	timeout	920	7800
seq-mthreaded/pals_lcr-var-start-time.5_false.2.ufo.UNBOUNDED.pals.c	false(label)	1.3	28	timeout	900	3700	false(label)	7.2	45	false(label)	7.9	37	false(label)	290	200	unknown	0.16	2.0	unknown	4.0	160	unknown	5.3	220	timeout	920	2900
seq-mthreaded/pals_lcr-var-start-time.6_false.1.ufo.BOUNDED-12.pals.c	false(label)	1.5	31	timeout	900	3700	false(label)	7.7	44	false(label)	0.73	43	timeout	900	300	unknown	0.13	2.0	unknown	4.3	170	unknown	6.6	220	unknown	580	8000
seq-mthreaded/pals_lcr-var-start-time.6_false.1.ufo.UNBOUNDED.pals.c	false(label)	1.5	31	timeout	900	3700	false(label)	11	54	false(label)	53	56	timeout	900	300	unknown	0.14	2.0	unknown	4.1	170	unknown	6.6	220	timeout	920	7700
seq-mthreaded/pals_lcr-var-start-time.6_false.2.ufo.BOUNDED-12.pals.c	false(label)	1.4	31	timeout	900	3600	false(label)	7.5	44	false(label)	0.78	43	timeout	900	300	unknown	0.14	2.0	unknown	4.3	170	unknown	6.7	220	unknown	490	8200
seq-mthreaded/pals_lcr-var-start-time.6_false.2.ufo.UNBOUNDED.pals.c	false(label)	1.5	31	timeout	900	3700	false(label)	9.6	53	false(label)	58	66	timeout	900	290	unknown	0.12	2.0	unknown	4.4	170	unknown	6.8	220	timeout	920	4800
seq-mthreaded/pals_lcr.3_false.1.ufo.BOUNDED-6.pals.c	false(label)	0.36	19	false(label)	20	440	false(label)	0.86	19	false(label)	0.22	10.0	false(label)	0.18	7.0	unknown	0.12	2.0	unknown	3.6	160	unknown	3.5	210	timeout	920	1100
seq-mthreaded/pals_lcr.3_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.37	19	false(label)	71	3000	false(label)	2.4	26	false(label)	0.44	10.0	false(label)	0.17	7.0	unknown	0.12	2.0	unknown	3.6	160	unknown	3.4	210	timeout	920	850
seq-mthreaded/pals_lcr.4_false.1.ufo.BOUNDED-8.pals.c	false(label)	0.69	22	timeout	900	3500	false(label)	1.8	23	false(label)	0.30	18	false(label)	0.52	13	unknown	0.13	2.0	unknown	3.7	160	unknown	4.0	210	timeout	920	1400
seq-mthreaded/pals_lcr.4_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.80	24	timeout	900	3700	false(label)	4.1	33	false(label)	1.1	17	false(label)	0.55	12	unknown	0.12	2.0	unknown	3.7	150	unknown	3.9	210	timeout	920	1600
seq-mthreaded/pals_lcr.5_false.1.ufo.BOUNDED-10.pals.c	false(label)	0.85	25	timeout	900	3800	false(label)	2.9	29	false(label)	0.42	25	false(label)	4.5	33	unknown	0.13	2.0	unknown	4.0	160	unknown	4.7	220	timeout	920	2600
seq-mthreaded/pals_lcr.5_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.90	26	timeout	900	3700	false(label)	5.2	38	false(label)	2.8	30	false(label)	4.5	32	unknown	0.11	2.0	unknown	3.6	160	unknown	4.6	220	timeout	920	2400
seq-mthreaded/pals_lcr.6_false.1.ufo.BOUNDED-12.pals.c	false(label)	1.0	29	timeout	900	3600	false(label)	5.1	36	false(label)	0.61	37	false(label)	60	110	unknown	0.14	2.0	unknown	3.2	160	unknown	5.4	220	timeout	920	2600
seq-mthreaded/pals_lcr.6_false.1.ufo.UNBOUNDED.pals.c	false(label)	1.0	28	timeout	900	3700	false(label)	6.7	46	false(label)	9.3	39	false(label)	59	110	unknown	0.12	2.0	unknown	2.9	150	unknown	5.3	220	timeout	920	2500
seq-mthreaded/pals_lcr.7_false.1.ufo.BOUNDED-14.pals.c	false(label)	10	35	timeout	900	3600	false(label)	5.7	47	false(label)	0.91	50	false(label)	800	400	unknown	0.13	2.0	unknown	3.9	170	unknown	6.4	220	timeout	920	2500
seq-mthreaded/pals_lcr.7_false.1.ufo.UNBOUNDED.pals.c	false(label)	11	42	timeout	900	3600	false(label)	6.4	51	true	25	54	false(label)	790	390	unknown	0.13	2.0	unknown	4.3	170	unknown	6.3	220	timeout	920	2500
seq-mthreaded/pals_lcr.8_false.1.ufo.BOUNDED-16.pals.c	false(label)	14	44	timeout	900	3600	false(label)	8.6	57	false(label)	1.2	65	timeout	900	350	unknown	0.14	2.0	unknown	4.4	170	unknown	7.5	220	timeout	920	2400
seq-mthreaded/pals_lcr.8_false.1.ufo.UNBOUNDED.pals.c	false(label)	14	47	timeout	900	3700	false(label)	8.6	57	true	20	60	timeout	900	350	unknown	0.13	2.0	unknown	4.3	170	unknown	7.5	220	timeout	920	2900
seq-mthreaded/pals_opt-floodmax.3_false.1.ufo.BOUNDED-6.pals.c	false(label)	0.60	25	false(label)	180	3800	false(label)	3.0	29	false(label)	0.61	21	timeout	900	340	unknown	0.11	2.0	unknown	3.4	160	unknown	6.2	220	timeout	920	1600
seq-mthreaded/pals_opt-floodmax.3_false.1.ufo.UNBOUNDED.pals.c	false(label)	0.59	25	false(label)	180	3000	false(label)	11	57	false(label)	1.2	26	false(label)	720	320	unknown	0.13	1.00	unknown	4.1	160	unknown	6.2	220	timeout	920	1000
seq-mthreaded/pals_opt-floodmax.3_false.2.ufo.BOUNDED-6.pals.c	false(label)	0.26	20	false(label)	32	1400	false(label)	2.9	30	false(label)	0.66	22	false(label)	12	40	unknown	0.12	2.0	false(label)	2.6	160	unknown	6.4	220	timeout	920	1600
seq-mthreaded/pals_opt-floodmax.3_false.2.ufo.UNBOUNDED.pals.c	false(label)	0.25	20	false(label)	33	1400	false(label)	11	57	false(label)	0.35	10.0	false(label)	12	40	unknown	0.12	2.0	false(label)	2.4	150	unknown	6.4	220	timeout	920	1600
seq-mthreaded/pals_opt-floodmax.3_false.3.ufo.BOUNDED-6.pals.c	false(label)	0.59	25	false(label)	220	3800	false(label)	3.1	30	false(label)	0.65	22	false(label)	260	220	unknown	0.12	2.0	unknown	4.2	170	unknown	6.4	220	timeout	920	1200
seq-mthreaded/pals_opt-floodmax.3_false.3.ufo.UNBOUNDED.pals.c	false(label)	0.60	25	false(label)	210	3600	false(label)	11	57	false(label)	1.5	25	false(label)	110	130	unknown	0.12	2.0	unknown	4.1	170	unknown	6.5	220	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.3_false.4.ufo.BOUNDED-6.pals.c	false(label)	0.64	25	false(label)	800	3900	false(label)	3.6	30	false(label)	0.67	22	false(label)	260	220	unknown	0.13	2.0	false(label)	3.5	170	unknown	6.5	220	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.3_false.4.ufo.UNBOUNDED.pals.c	false(label)	0.63	25	false(label)	170	3500	false(label)	13	58	false(label)	1.3	23	false(label)	110	130	unknown	0.12	1.00	unknown	4.3	160	unknown	6.4	220	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.4_false.1.ufo.BOUNDED-8.pals.c	false(label)	1.2	33	timeout	900	3700	false(label)	13	58	false(label)	1.5	48	timeout	900	6900	unknown	0.15	2.0	unknown	4.8	180	unknown	17	350	timeout	920	440
seq-mthreaded/pals_opt-floodmax.4_false.1.ufo.UNBOUNDED.pals.c	false(label)	1.2	33	timeout	900	3600	false(label)	29	93	false(label)	2.3	43	timeout	900	6900	unknown	0.14	2.0	unknown	3.3	170	unknown	17	350	timeout	920	890
seq-mthreaded/pals_opt-floodmax.4_false.2.ufo.BOUNDED-8.pals.c	false(label)	1.2	33	timeout	900	3700	false(label)	12	59	false(label)	2.0	48	timeout	900	4900	unknown	0.14	2.0	false(label)	4.6	190	unknown	19	250	timeout	920	450
seq-mthreaded/pals_opt-floodmax.4_false.2.ufo.UNBOUNDED.pals.c	false(label)	1.3	33	timeout	900	3700	false(label)	27	92	false(label)	3.4	44	timeout	900	4900	unknown	0.14	2.0	unknown	5.0	180	unknown	18	340	timeout	920	610
seq-mthreaded/pals_opt-floodmax.4_false.3.ufo.BOUNDED-8.pals.c	false(label)	1.2	33	timeout	900	3700	false(label)	13	59	false(label)	1.8	49	timeout	900	4900	unknown	0.14	2.0	unknown	5.2	180	unknown	18	350	timeout	920	530
seq-mthreaded/pals_opt-floodmax.4_false.3.ufo.UNBOUNDED.pals.c	false(label)	1.2	33	timeout	900	3100	false(label)	28	93	false(label)	13	48	timeout	900	4900	unknown	0.14	2.0	unknown	5.2	180	unknown	19	250	timeout	920	520
seq-mthreaded/pals_opt-floodmax.4_false.4.ufo.BOUNDED-8.pals.c	false(label)	1.3	33	timeout	900	3700	false(label)	19	60	false(label)	1.7	48	timeout	900	4900	unknown	0.16	2.0	unknown	5.1	190	unknown	18	360	timeout	920	440
seq-mthreaded/pals_opt-floodmax.4_false.4.ufo.UNBOUNDED.pals.c	false(label)	1.2	33	timeout	900	3600	false(label)	41	94	false(label)	3.0	42	timeout	900	4900	unknown	0.14	2.0	unknown	5.0	180	unknown	18	370	timeout	920	530
seq-mthreaded/pals_opt-floodmax.5_false.1.ufo.BOUNDED-10.pals.c	false(label)	7.5	82	timeout	900	2900	false(label)	38	120	false(label)	3.6	110	timeout	900	7000	unknown	0.17	2.0	unknown	6.5	210	unknown	69	390	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.5_false.1.ufo.UNBOUNDED.pals.c	false(label)	8.5	96	timeout	900	2900	false(label)	62	150	false(label)	10	93	timeout	900	7000	unknown	0.16	2.0	unknown	6.2	210	unknown	69	410	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.5_false.2.ufo.BOUNDED-10.pals.c	false(label)	4.0	59	timeout	900	3600	false(label)	38	120	false(label)	4.7	110	timeout	900	14000	unknown	0.16	2.0	unknown	6.8	210	unknown	73	380	timeout	920	1200
seq-mthreaded/pals_opt-floodmax.5_false.2.ufo.UNBOUNDED.pals.c	false(label)	4.1	60	timeout	900	3600	false(label)	64	150	false(label)	5.3	83	timeout	900	14000	unknown	0.16	2.0	unknown	6.9	220	unknown	73	400	timeout	920	1200
seq-mthreaded/pals_opt-floodmax.5_false.3.ufo.BOUNDED-10.pals.c	false(label)	8.0	83	timeout	900	2900	false(label)	39	120	false(label)	3.8	110	timeout	900	14000	unknown	0.16	2.0	unknown	7.0	240	unknown	73	380	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.5_false.3.ufo.UNBOUNDED.pals.c	false(label)	8.9	97	timeout	900	2700	false(label)	63	150	timeout	910	170	timeout	900	14000	unknown	0.16	2.0	unknown	6.8	230	unknown	73	380	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.5_false.4.ufo.BOUNDED-10.pals.c	false(label)	8.3	83	timeout	900	2900	false(label)	78	120	false(label)	7.3	110	timeout	900	14000	unknown	0.17	2.0	unknown	6.8	220	unknown	73	390	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.5_false.4.ufo.UNBOUNDED.pals.c	false(label)	9.1	97	timeout	900	2900	false(label)	98	150	false(label)	12	110	timeout	900	14000	unknown	0.16	2.0	unknown	6.9	230	unknown	73	400	timeout	920	1200
seq-mthreaded/rekcba_aso_false.1.M1.c	unknown	850	1700	timeout	900	7400	unknown	900	230	false(label)	250	2000	unknown	350	15000	unknown	0.15	2.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.4	120
seq-mthreaded/rekcba_aso_false.1.M4.c	unknown	850	5700	timeout	900	9400	unknown	900	1300	unknown	370	15000	unknown	540	15000	unknown	0.46	7.0	unknown	0.10	4.0	unknown	3.2	150	unknown	3.2	150
seq-mthreaded/rekcba_aso_false.2.M1.c	unknown	850	1700	timeout	900	6600	unknown	900	230	false(label)	220	2100	unknown	350	15000	unknown	0.16	2.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.4	120
seq-mthreaded/rekcba_aso_false.2.M4.c	unknown	850	5700	timeout	900	7700	unknown	900	1400	unknown	380	15000	unknown	540	15000	unknown	0.43	7.0	unknown	0.10	4.0	unknown	3.2	150	unknown	3.3	150
seq-mthreaded/rekcba_aso_false.3.M1.c	unknown	850	1800	timeout	900	8600	unknown	900	280	false(label)	440	4500	unknown	350	15000	unknown	0.18	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.4	120
seq-mthreaded/rekcba_aso_false.3.M4.c	unknown	850	6600	timeout	900	10000	unknown	900	1500	unknown	170	15000	unknown	530	15000	unknown	0.46	7.0	unknown	0.09	4.0	unknown	3.3	150	unknown	3.4	150
seq-mthreaded/rekcba_aso_false.4.M1.c	unknown	850	1800	timeout	900	8800	unknown	900	290	false(label)	420	4300	unknown	350	15000	unknown	0.18	2.0	unknown	0.10	4.0	unknown	2.3	110	unknown	2.4	120
seq-mthreaded/rekcba_aso_false.4.M4.c	unknown	850	6500	timeout	900	10000	unknown	900	1500	unknown	170	15000	unknown	530	15000	unknown	0.50	7.0	unknown	0.08	4.0	unknown	3.3	150	unknown	3.4	160
seq-mthreaded/rekcba_ctm_false.2.c	false(label)	190	1100	timeout	900	10000	unknown	900	970	unknown	190	15000	unknown	420	15000	unknown	0.26	4.0	unknown	0.10	4.0	unknown	2.6	120	unknown	2.7	130
seq-mthreaded/rekcba_ctm_false.3.c	unknown	850	2300	timeout	900	14000	unknown	900	1600	unknown	250	15000	unknown	480	15000	unknown	0.38	6.0	unknown	0.10	4.0	unknown	2.9	140	unknown	3.1	140
seq-mthreaded/rekcba_nxt_false.1.M1.c	true	850	1800	false(label)	840	9900	false(label)	900	180	false(label)	170	700	unknown	350	15000	unknown	0.15	2.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.3	120
seq-mthreaded/rekcba_nxt_false.1.M4.c	true	850	5300	timeout	900	10000	unknown	900	870	timeout	900	9900	unknown	540	15000	unknown	0.40	6.0	unknown	0.09	4.0	unknown	2.9	140	unknown	2.9	140
seq-mthreaded/rekcba_nxt_false.2.M1.c	true	850	1800	timeout	900	9900	false(label)	900	260	false(label)	140	1400	unknown	350	15000	unknown	0.16	2.0	unknown	0.08	4.0	unknown	2.2	110	unknown	2.3	120
seq-mthreaded/rekcba_nxt_false.2.M4.c	true	850	5600	timeout	900	11000	unknown	900	1300	unknown	320	15000	unknown	540	15000	unknown	0.51	7.0	unknown	0.09	4.0	unknown	3.0	140	unknown	3.1	140
seq-mthreaded/rekh_aso_false.1.M1.c	unknown	850	1900	timeout	900	1300	false(label)	170	190	false(label)	99	1200	unknown	680	15000	unknown	0.18	2.0	unknown	0.09	4.0	unknown	2.3	120	unknown	2.4	120
seq-mthreaded/rekh_aso_false.1.M4.c	unknown	850	4900	timeout	900	2300	unknown	900	750	false(label)	880	8700	unknown	680	15000	unknown	0.15	3.0	unknown	0.13	4.0	unknown	2.4	120	unknown	2.4	120
seq-mthreaded/rekh_aso_false.2.M1.c	unknown	850	1800	timeout	900	1200	false(label)	150	190	false(label)	200	1300	unknown	680	15000	unknown	0.18	3.0	unknown	0.10	4.0	unknown	2.4	120	unknown	2.5	120
seq-mthreaded/rekh_aso_false.2.M4.c	unknown	850	4900	timeout	900	2200	unknown	900	730	timeout	900	8800	unknown	670	15000	unknown	0.18	3.0	unknown	0.12	4.0	unknown	2.4	120	unknown	2.5	120
seq-mthreaded/rekh_aso_false.4.M1.c	unknown	850	1900	timeout	900	2600	false(label)	350	310	false(label)	72	1800	unknown	490	15000	unknown	0.24	3.0	unknown	0.09	4.0	unknown	2.5	120	unknown	2.7	120
seq-mthreaded/rekh_aso_false.4.M4.c	unknown	850	5200	timeout	900	3200	unknown	900	1100	unknown	260	15000	unknown	490	15000	unknown	0.22	3.0	unknown	0.10	4.0	unknown	2.6	120	unknown	2.7	120
seq-mthreaded/rekh_ctm_false.2.c	false(label)	51	490	timeout	900	6000	unknown	900	920	unknown	320	15000	unknown	28	2100	unknown	0.20	2.0	unknown	0.09	4.0	unknown	2.9	150	unknown	2.9	150
seq-mthreaded/rekh_ctm_false.3.c	false(label)	140	740	timeout	900	5300	unknown	900	1200	unknown	170	15000	unknown	28	2100	unknown	0.19	3.0	unknown	0.08	4.0	unknown	2.9	150	unknown	2.9	150
seq-mthreaded/rekh_nxt_false.1.M1.c	true	850	1800	timeout	900	11000	false(label)	85	120	false(label)	9.9	470	unknown	33	810	unknown	0.17	2.0	unknown	0.10	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_false.1.M4.c	true	850	4800	timeout	900	11000	unknown	900	480	false(label)	62	2800	unknown	33	810	unknown	0.17	2.0	unknown	0.12	4.0	unknown	2.3	110	unknown	2.4	120
seq-mthreaded/rekh_nxt_false.2.M1.c	true	850	1800	timeout	900	1000	false(label)	150	170	false(label)	120	880	unknown	33	840	unknown	0.18	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.4	120
seq-mthreaded/rekh_nxt_false.2.M4.c	true	850	4900	timeout	900	2100	unknown	900	660	timeout	900	6300	unknown	33	840	unknown	0.18	2.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.3	120
seq-mthreaded/pals_STARTPALS_ActiveStandby_true.ufo.BOUNDED-10.pals.c	true	6.3	30	true	500	2800	true	2.0	31	true	7.6	32	false(label)	1.2	14	unknown	0.13	2.0	true	17	200	unknown	6.7	220	timeout	920	380
seq-mthreaded/pals_STARTPALS_ActiveStandby_true.ufo.UNBOUNDED.pals.c	true	48	130	true	190	2000	true	2.8	41	true	4.8	39	false(label)	1.2	14	unknown	0.13	2.0	unknown	15	250	unknown	6.4	220	timeout	920	390
seq-mthreaded/pals_STARTPALS_Triplicated_true.ufo.BOUNDED-10.pals.c	true	4.3	25	timeout	900	3800	true	1.5	29	true	11	59	false(label)	190	120	unknown	0.13	2.0	false(label)	2.7	180	unknown	6.7	250	timeout	920	600
seq-mthreaded/pals_STARTPALS_Triplicated_true.ufo.UNBOUNDED.pals.c	true	20	91	timeout	900	3700	true	1.9	38	true	10	68	false(label)	180	110	unknown	0.13	2.0	false(label)	2.2	160	timeout	920	5800	timeout	920	630
seq-mthreaded/pals_floodmax.3_true.ufo.BOUNDED-6.pals.c	true	2.8	24	timeout	900	2800	true	2.8	28	true	6.3	20	false(label)	490	240	unknown	0.12	2.0	unknown	4.1	160	unknown	6.0	220	timeout	920	1300
seq-mthreaded/pals_floodmax.3_true.ufo.UNBOUNDED.pals.c	true	8.1	95	timeout	900	3600	true	7.8	51	true	7.9	40	false(label)	250	180	unknown	0.13	2.0	unknown	3.0	150	unknown	5.9	220	unknown	820	830
seq-mthreaded/pals_floodmax.4_true.ufo.BOUNDED-8.pals.c	true	610	50	timeout	900	3600	true	110	58	true	180	59	timeout	900	4500	unknown	0.14	2.0	unknown	5.1	180	unknown	17	350	timeout	920	600
seq-mthreaded/pals_floodmax.4_true.ufo.UNBOUNDED.pals.c	true	560	270	timeout	900	3400	true	180	89	true	120	79	timeout	900	4500	unknown	0.11	2.0	unknown	5.2	180	unknown	16	370	timeout	920	440
seq-mthreaded/pals_floodmax.5_true.ufo.BOUNDED-10.pals.c	true	850	150	timeout	900	3000	unknown	900	110	timeout	900	170	timeout	900	14000	unknown	0.16	2.0	unknown	6.8	230	unknown	67	400	unknown	510	7500
seq-mthreaded/pals_floodmax.5_true.ufo.UNBOUNDED.pals.c	true	850	190	timeout	900	3500	unknown	900	110	timeout	910	180	timeout	900	14000	unknown	0.17	2.0	unknown	7.0	230	unknown	67	390	unknown	440	7500
seq-mthreaded/pals_lcr-var-start-time.3_true.ufo.BOUNDED-6.pals.c	true	1.7	20	true	160	1000	true	1.00	19	true	3.7	13	false(label)	0.67	12	unknown	0.11	1.00	unknown	3.7	150	unknown	3.9	220	timeout	920	6400
seq-mthreaded/pals_lcr-var-start-time.3_true.ufo.UNBOUNDED.pals.c	true	7.2	53	timeout	900	3800	true	3.3	30	true	5.5	25	false(label)	0.63	11	unknown	0.13	2.0	unknown	3.8	170	unknown	4.0	210	timeout	920	6300
seq-mthreaded/pals_lcr-var-start-time.4_true.ufo.BOUNDED-8.pals.c	true	16	24	timeout	900	3600	true	3.8	24	true	24	23	false(label)	12	42	unknown	0.13	2.0	unknown	4.1	160	unknown	4.6	220	timeout	920	1500
seq-mthreaded/pals_lcr-var-start-time.4_true.ufo.UNBOUNDED.pals.c	true	70	110	timeout	900	3700	true	8.9	37	true	20	36	false(label)	11	40	unknown	0.11	1.00	unknown	4.0	160	unknown	4.6	220	timeout	920	1700
seq-mthreaded/pals_lcr-var-start-time.5_true.ufo.BOUNDED-10.pals.c	true	280	39	timeout	900	3600	true	11	34	true	210	47	false(label)	300	200	unknown	0.13	2.0	unknown	4.0	160	unknown	5.5	220	timeout	920	5200
seq-mthreaded/pals_lcr-var-start-time.5_true.ufo.UNBOUNDED.pals.c	true	700	250	timeout	900	3700	true	20	47	true	110	56	false(label)	290	200	unknown	0.12	2.0	unknown	4.0	160	unknown	5.4	220	unknown	610	8300
seq-mthreaded/pals_lcr-var-start-time.6_true.ufo.BOUNDED-12.pals.c	true	850	83	timeout	900	3600	true	29	48	timeout	920	91	timeout	900	300	unknown	0.14	2.0	unknown	3.3	160	unknown	6.8	220	timeout	920	3200
seq-mthreaded/pals_lcr-var-start-time.6_true.ufo.UNBOUNDED.pals.c	true	850	78	timeout	900	3700	true	43	57	true	370	92	timeout	900	290	unknown	0.13	2.0	unknown	3.5	160	unknown	6.7	220	unknown	810	8400
seq-mthreaded/pals_lcr.3_true.ufo.BOUNDED-6.pals.c	true	1.2	19	timeout	900	680	true	0.79	18	true	1.9	10.0	false(label)	0.21	7.0	unknown	0.13	1.00	unknown	2.6	140	unknown	3.5	210	timeout	920	800
seq-mthreaded/pals_lcr.3_true.ufo.UNBOUNDED.pals.c	true	5.2	45	timeout	900	3800	true	2.3	26	true	2.9	21	false(label)	0.17	7.0	unknown	0.11	2.0	unknown	2.6	140	unknown	3.5	210	timeout	920	870
seq-mthreaded/pals_lcr.4_true.ufo.BOUNDED-8.pals.c	true	4.1	22	timeout	900	3500	true	2.3	22	true	6.0	17	false(label)	0.84	14	unknown	0.13	2.0	unknown	3.7	150	unknown	4.0	210	timeout	920	1400
seq-mthreaded/pals_lcr.4_true.ufo.UNBOUNDED.pals.c	true	22	78	timeout	900	3700	true	4.4	32	true	5.7	27	false(label)	0.80	14	unknown	0.13	2.0	unknown	3.6	150	unknown	4.0	210	timeout	920	1500
seq-mthreaded/pals_lcr.5_true.ufo.BOUNDED-10.pals.c	true	22	25	timeout	900	3700	true	4.7	29	true	27	28	false(label)	8.4	41	unknown	0.12	2.0	unknown	3.7	160	unknown	4.6	220	timeout	920	2700
seq-mthreaded/pals_lcr.5_true.ufo.UNBOUNDED.pals.c	true	81	150	timeout	900	3600	true	8.0	38	true	13	33	false(label)	8.3	40	unknown	0.14	2.0	unknown	3.6	160	unknown	4.6	220	timeout	920	2700
seq-mthreaded/pals_lcr.6_true.ufo.BOUNDED-12.pals.c	true	130	33	timeout	900	3700	true	15	37	true	140	48	false(label)	110	140	unknown	0.12	2.0	unknown	4.0	170	unknown	5.3	220	timeout	920	2300
seq-mthreaded/pals_lcr.6_true.ufo.UNBOUNDED.pals.c	true	350	220	timeout	900	3600	true	20	47	true	33	47	false(label)	110	140	unknown	0.13	2.0	unknown	3.8	170	unknown	5.4	220	timeout	920	2500
seq-mthreaded/pals_lcr.7_true.ufo.BOUNDED-14.pals.c	true	480	49	timeout	900	3700	true	20	49	true	450	79	timeout	900	390	unknown	0.13	2.0	unknown	4.3	160	unknown	6.4	220	timeout	920	2200
seq-mthreaded/pals_lcr.7_true.ufo.UNBOUNDED.pals.c	true	850	300	timeout	900	3600	true	33	54	true	37	65	timeout	900	390	unknown	0.13	2.0	unknown	4.0	160	unknown	6.2	220	timeout	920	2400
seq-mthreaded/pals_lcr.8_true.ufo.BOUNDED-16.pals.c	true	850	80	timeout	900	3600	true	77	60	timeout	920	120	timeout	900	360	unknown	0.14	2.0	unknown	4.5	170	unknown	7.3	220	timeout	920	2200
seq-mthreaded/pals_lcr.8_true.ufo.UNBOUNDED.pals.c	true	850	80	timeout	900	3600	true	76	61	true	25	61	timeout	900	360	unknown	0.13	2.0	unknown	4.4	170	unknown	7.5	220	timeout	920	3000
seq-mthreaded/pals_opt-floodmax.3_true.ufo.BOUNDED-6.pals.c	true	2.8	25	timeout	900	3800	true	2.8	30	true	6.3	22	false(label)	260	220	unknown	0.13	2.0	unknown	4.3	180	unknown	6.4	220	timeout	920	1600
seq-mthreaded/pals_opt-floodmax.3_true.ufo.UNBOUNDED.pals.c	true	9.0	100	timeout	900	3600	true	8.1	55	true	8.3	43	false(label)	110	130	unknown	0.12	1.00	unknown	2.9	150	unknown	6.4	220	timeout	920	1100
seq-mthreaded/pals_opt-floodmax.4_true.ufo.BOUNDED-8.pals.c	true	170	49	timeout	900	3700	true	95	62	true	160	64	timeout	900	4900	unknown	0.14	2.0	unknown	5.2	190	unknown	18	250	timeout	920	530
seq-mthreaded/pals_opt-floodmax.4_true.ufo.UNBOUNDED.pals.c	true	200	220	timeout	900	3100	true	200	95	true	100	80	timeout	900	4900	unknown	0.16	2.0	unknown	5.1	180	unknown	18	350	timeout	920	440
seq-mthreaded/pals_opt-floodmax.5_true.ufo.BOUNDED-10.pals.c	true	850	150	timeout	900	2900	unknown	900	120	timeout	900	170	timeout	900	14000	unknown	0.17	2.0	unknown	6.8	230	unknown	72	380	timeout	920	1200
seq-mthreaded/pals_opt-floodmax.5_true.ufo.UNBOUNDED.pals.c	true	850	160	timeout	900	2900	unknown	900	120	timeout	910	190	timeout	900	14000	unknown	0.15	2.0	unknown	6.8	230	unknown	72	400	timeout	920	1700
seq-mthreaded/rekcba_aso_true.1.M1.c	true	120	1200	timeout	900	6900	unknown	900	220	timeout	900	2000	unknown	350	15000	unknown	0.17	2.0	unknown	0.09	4.0	unknown	2.5	110	unknown	2.4	120
seq-mthreaded/rekcba_aso_true.1.M4.c	unknown	850	5700	timeout	900	8400	unknown	900	1300	unknown	370	15000	unknown	540	15000	unknown	0.42	7.0	unknown	0.09	4.0	unknown	3.2	140	unknown	3.3	150
seq-mthreaded/rekcba_aso_true.2.M1.c	unknown	850	1800	timeout	900	7000	unknown	900	300	false(label)	420	4400	unknown	350	15000	unknown	0.18	2.0	unknown	0.10	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekcba_aso_true.2.M4.c	unknown	850	6500	timeout	900	12000	unknown	900	1700	unknown	170	15000	unknown	530	15000	unknown	0.46	7.0	unknown	0.09	4.0	unknown	3.3	150	unknown	3.3	160
seq-mthreaded/rekcba_ctm_true.1.c	unknown	850	1200	timeout	900	11000	unknown	900	970	unknown	190	15000	unknown	420	15000	unknown	0.27	4.0	unknown	0.09	4.0	unknown	2.6	120	unknown	2.7	130
seq-mthreaded/rekcba_ctm_true.2.c	unknown	850	1200	timeout	900	9600	unknown	900	970	unknown	190	15000	unknown	420	15000	unknown	0.28	4.0	unknown	0.09	4.0	unknown	2.6	120	unknown	2.7	130
seq-mthreaded/rekcba_ctm_true.3.c	unknown	850	2400	timeout	900	11000	unknown	900	1700	unknown	260	15000	unknown	470	15000	unknown	0.36	5.0	unknown	0.10	4.0	unknown	2.9	140	unknown	3.0	140
seq-mthreaded/rekcba_ctm_true.4.c	unknown	850	3900	timeout	900	13000	unknown	900	3500	unknown	330	15000	unknown	480	15000	unknown	0.48	8.0	unknown	0.10	4.0	unknown	3.4	150	unknown	3.4	160
seq-mthreaded/rekcba_nxt_true.1.M1.c	true	92	1200	false(label)	830	9700	true	900	180	true	390	700	unknown	350	15000	unknown	0.15	2.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.3	120
seq-mthreaded/rekcba_nxt_true.1.M4.c	true	850	5300	timeout	900	10000	unknown	900	980	timeout	900	9900	unknown	530	15000	unknown	0.44	6.0	unknown	0.08	4.0	unknown	2.9	140	unknown	2.9	140
seq-mthreaded/rekcba_nxt_true.2.M1.c	true	97	1200	false(label)	850	9900	unknown	900	200	timeout	900	860	unknown	350	15000	unknown	0.16	2.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.3	120
seq-mthreaded/rekcba_nxt_true.2.M4.c	true	850	5500	timeout	900	10000	unknown	900	1200	timeout	900	12000	unknown	530	15000	unknown	0.40	6.0	unknown	0.09	4.0	unknown	3.0	140	unknown	3.0	140
seq-mthreaded/rekcba_nxt_true.3.M1.c	true	98	1200	timeout	900	10000	unknown	900	240	true	610	1400	unknown	350	15000	unknown	0.16	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.3	110
seq-mthreaded/rekcba_nxt_true.3.M4.c	true	850	5600	timeout	900	11000	unknown	900	1300	unknown	320	15000	unknown	540	15000	unknown	0.41	6.0	unknown	0.10	4.0	unknown	3.1	140	unknown	3.1	140
seq-mthreaded/rekh_aso_true.1.M1.c	true	97	1200	timeout	900	1200	true	130	180	true	230	1200	unknown	680	15000	unknown	0.17	3.0	unknown	0.09	4.0	unknown	2.3	120	unknown	2.4	120
seq-mthreaded/rekh_aso_true.1.M4.c	true	850	4900	timeout	900	2200	unknown	900	700	timeout	900	8600	unknown	680	15000	unknown	0.19	3.0	unknown	0.09	4.0	unknown	2.4	110	unknown	2.4	120
seq-mthreaded/rekh_aso_true.2.M1.c	unknown	850	2000	timeout	900	3300	false(label)	490	320	false(label)	72	1800	unknown	490	15000	unknown	0.22	3.0	unknown	0.10	4.0	unknown	2.5	120	unknown	2.6	120
seq-mthreaded/rekh_aso_true.2.M4.c	unknown	850	5200	timeout	900	4000	unknown	900	1200	unknown	260	15000	unknown	490	15000	unknown	0.20	3.0	unknown	0.09	4.0	unknown	2.6	120	unknown	2.7	120
seq-mthreaded/rekh_aso_true.3.M1.c	unknown	850	2000	timeout	900	2600	false(label)	510	320	false(label)	74	1800	unknown	490	15000	unknown	0.21	3.0	unknown	0.10	4.0	unknown	2.6	120	unknown	2.6	120
seq-mthreaded/rekh_aso_true.3.M4.c	unknown	850	5200	timeout	900	3300	unknown	900	1100	unknown	270	15000	unknown	490	15000	unknown	0.22	3.0	unknown	0.10	4.0	unknown	2.6	120	unknown	2.6	120
seq-mthreaded/rekh_ctm_true.1.c	true	330	500	timeout	900	5800	unknown	900	920	unknown	160	15000	unknown	28	2100	unknown	0.19	3.0	unknown	0.10	4.0	unknown	2.9	140	unknown	2.9	150
seq-mthreaded/rekh_ctm_true.2.c	true	330	490	timeout	900	8700	true	90	570	unknown	210	15000	unknown	28	2100	unknown	0.19	2.0	unknown	0.10	4.0	unknown	2.9	140	unknown	2.9	150
seq-mthreaded/rekh_ctm_true.3.c	true	850	760	out of memory	130	15000	unknown	900	1200	unknown	180	15000	unknown	28	2100	unknown	0.19	3.0	unknown	0.13	4.0	unknown	2.9	150	unknown	3.0	150
seq-mthreaded/rekh_ctm_true.4.c	true	850	1100	timeout	900	5900	unknown	900	1600	unknown	190	15000	unknown	28	2100	unknown	0.20	3.0	unknown	0.09	4.0	unknown	2.9	150	unknown	3.0	150
seq-mthreaded/rekh_nxt_true.1.M1.c	true	87	1200	timeout	900	11000	true	77	110	true	7.8	470	unknown	33	810	unknown	0.16	2.0	unknown	0.09	4.0	unknown	2.8	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_true.1.M4.c	true	490	4800	timeout	900	11000	unknown	900	480	true	56	2800	unknown	33	810	unknown	0.17	2.0	unknown	0.10	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_true.2.M1.c	true	89	1200	timeout	900	930	true	110	130	true	120	480	unknown	33	830	unknown	0.19	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_true.2.M4.c	true	520	4800	timeout	900	920	unknown	900	470	timeout	900	2800	unknown	33	830	unknown	0.16	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_true.3.M1.c	true	93	1200	timeout	900	1100	true	140	160	true	140	880	unknown	33	840	unknown	0.18	2.0	unknown	0.09	4.0	unknown	2.3	110	unknown	2.3	120
seq-mthreaded/rekh_nxt_true.3.M4.c	true	680	4800	timeout	900	2100	unknown	900	700	timeout	900	6300	unknown	33	840	unknown	0.14	2.0	unknown	0.10	4.0	unknown	2.3	110	unknown	2.3	120
seq-pthread/cs_fib_false.i	false(label)	3.4	57	timeout	910	460	unknown	900	75	false(label)	120	540	unknown	0.13	6.0	true	0.33	4.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_fib_longer_false.i	false(label)	15	90	timeout	900	930	unknown	900	81	timeout	920	880	unknown	0.12	6.0	true	0.24	4.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_lazy_false.i	false(label)	0.61	29	false(label)	130	610	false(label)	15	67	false(label)	1.7	110	unknown	0.11	5.0	true	0.26	4.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_queue_false.i	false(label)	74	590	timeout	900	1600	unknown	900	870	false(label)	55	1100	unknown	0.15	7.0	true	0.47	10.0	unknown	0.08	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_read_write_lock_false.i	false(label)	1.0	44	timeout	900	940	false(label)	130	140	true	1.7	120	unknown	0.11	6.0	true	0.28	4.0	unknown	0.10	4.0	unknown	2.1	110	unknown	2.6	110
seq-pthread/cs_stack_false.i	false(label)	1.6	64	timeout	910	610	unknown	900	360	false(label)	11	240	unknown	0.12	6.0	true	770	28	unknown	0.10	4.0	unknown	2.1	110	unknown	2.2	110
seq-pthread/cs_stateful_false.i	false(label)	0.54	28	false(label)	76	450	false(label)	9.1	52	false(label)	1.3	85	unknown	0.16	5.0	true	0.45	4.0	unknown	0.09	4.0	unknown	2.1	110	unknown	2.2	110
seq-pthread/cs_dekker_true.i	true	850	530	unknown	79	390	true	900	450	true	0.72	53	unknown	0.12	6.0	true	0.31	4.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_fib_longer_true.i	true	66	110	unknown	290	490	unknown	900	82	timeout	920	920	unknown	0.12	6.0	true	0.26	4.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_fib_true.i	true	18	58	unknown	250	480	unknown	900	71	true	700	670	unknown	0.12	6.0	true	0.25	4.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_lamport_true.i	true	850	730	unknown	96	390	unknown	900	910	true	0.84	53	unknown	0.11	6.0	true	0.33	6.0	unknown	0.12	4.0	unknown	2.1	110	unknown	2.2	110
seq-pthread/cs_peterson_true.i	true	13	110	unknown	90	390	true	23	79	true	0.69	47	unknown	0.15	5.0	true	0.26	4.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_queue_true.i	true	850	2800	timeout	900	1000	true	900	1000	timeout	920	2500	unknown	0.13	7.0	true	0.47	10.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_read_write_lock_true.i	true	5.5	42	timeout	900	950	true	14	68	true	1.9	120	unknown	0.12	6.0	true	0.28	4.0	unknown	0.09	4.0	unknown	2.1	110	unknown	2.2	110
seq-pthread/cs_stack_true.i	true	24	150	unknown	230	690	true	460	270	true	57	770	unknown	0.12	6.0	true	770	28	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_stateful_true.i	true	2.8	28	false(label)	77	440	true	3.2	39	true	1.3	85	unknown	0.12	5.0	true	0.42	4.0	unknown	0.09	4.0	unknown	2.1	110	unknown	2.2	110
seq-pthread/cs_sync_true.i	true	26	350	timeout	900	770	true	15	120	true	22	320	unknown	0.13	5.0	true	0.27	4.0	unknown	0.10	4.0	unknown	2.2	110	unknown	2.5	110
seq-pthread/cs_szymanski_true.i	true	79	420	unknown	86	380	true	57	160	true	0.57	41	unknown	0.12	6.0	true	0.30	5.0	unknown	0.09	4.0	unknown	2.2	110	unknown	2.2	110
seq-pthread/cs_time_var_mutex_true.i	true	3.9	33	false(label)	76	460	true	13	49	true	0.97	68	unknown	0.12	6.0	true	0.27	5.0	unknown	0.10	4.0	unknown	2.8	110	unknown	2.4	110
../../sv-benchmarks/c/	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
total files	261	77000	200000	261	150000	900000	261	100000	100000	261	55000	520000	261	94000	1010000	261	57000	40000	261	13000	58000	261	33000	410000	261	160000	310000
correct results	225	47000	79000	92	9200	160000	187	38000	44000	191	11000	56000	82	7700	5700	12	770	82	74	4800	19000	34	3000	65000	8	1200	3400
false negatives	10	8500	28000	0	0	0	0	0	0	3	46	240	0	0	0	7	770	58	0	0	0	0	0	0	0	0	0
false positives	0	0	0	4	1800	20000	2	1000	630	3	570	8000	34	2900	2300	0	0	0	2	4.8	340	0	0	0	0	0	0
score (261 files, max score: 364)	237			97			244			208			-46			-32			83			49			9