Tool	BLAST 2.7.1			CBMC 4.5			CPAchecker 1.2.11-svcomp14b			CPAlien			ESBMC 1.22.1			FrankenBit			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															Linux 3.2.0-57-generic x86_64			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-19 16:04; 13-11-22 09:28]			13-11-18 23:43			13-11-18 14:59			[13-11-19 00:04; 13-11-22 09:12]			13-11-18 23:26			[13-12-04 16:48; 13-12-04 17:02]			13-11-21 13:28			13-11-19 22:09			[13-11-25 00:14; 13-11-24 23:10; 13-11-24 22:54]			[13-11-18 15:05; 13-11-21 15:51]			13-11-19 23:49			13-11-21 12:52
Options	-alias empty -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb -nosserr -errorpathfile ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt -propertyfile ${sourcefile_path}/ALL.prp			--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 --cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt			-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)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
ntdrivers-simplified/cdaudio_simpl1_false.cil.c	false(label)	190	140	false(label)	1.3	72	false(label)	3.3	170	false(label)	6.1	390	false(label)	1.7	53	false(label)	2.7	93	false(label)	0.39	13	false(label)	0.16	8.0	false(label)	1.3	30	false(label)	2.0	140	unknown	20	350	timeout	920	750
ntdrivers-simplified/floppy_simpl3_false.cil.c	false(label)	28	81	false(label)	0.32	23	false(label)	2.8	160	false(label)	6.7	470	false(label)	0.77	24	false(label)	0.41	28	false(label)	0.32	12	false(label)	0.14	7.0	false(label)	0.41	9.0	false(label)	1.1	120	unknown	8.4	260	timeout	920	880
ntdrivers-simplified/floppy_simpl4_false.cil.c	false(label)	26	72	false(label)	0.50	29	false(label)	3.0	160	false(label)	7.0	470	false(label)	1.1	35	false(label)	0.53	32	false(label)	0.37	14	false(label)	0.18	8.0	false(label)	0.71	15	false(label)	1.5	130	unknown	13	290	unknown	48	400
ntdrivers-simplified/kbfiltr_simpl2_false.cil.c	false(label)	9.0	34	false(label)	0.28	21	false(label)	2.5	150	false(label)	6.2	460	false(label)	0.63	23	false(label)	0.38	26	false(label)	0.19	7.0	false(label)	0.19	8.0	false(label)	0.34	7.0	false(label)	0.79	110	unknown	7.0	220	false(label)	34	650
ntdrivers-simplified/cdaudio_simpl1_true.cil.c	true	860	300	true	7.4	72	true	3.6	150	true	35	610	true	1.5	51	true	3.3	53	true	0.38	12	false(label)	0.15	7.0	true	1.3	30	true	1.5	120	unknown	20	370	timeout	920	630
ntdrivers-simplified/diskperf_simpl1_true.cil.c	true	210	140	true	1.8	25	true	29	1100	unknown	900	560	true	0.86	26	true	1.0	31	true	4.6	15	false(label)	0.13	6.0	true	0.77	12	true	1.1	110	unknown	8.6	260	timeout	920	630
ntdrivers-simplified/floppy_simpl3_true.cil.c	true	250	140	true	1.4	23	true	3.2	140	true	17	470	true	0.73	24	true	1.1	30	true	0.42	13	false(label)	0.14	7.0	true	0.41	9.0	true	1.1	110	unknown	8.4	260	timeout	920	880
ntdrivers-simplified/floppy_simpl4_true.cil.c	true	460	250	true	2.6	29	true	3.5	160	true	120	510	true	1.1	33	true	1.7	34	true	0.47	17	false(label)	0.16	8.0	true	0.70	15	true	1.3	120	unknown	13	300	unknown	47	510
ntdrivers-simplified/kbfiltr_simpl1_true.cil.c	true	2.4	19	true	0.81	18	true	2.1	110	true	6.2	370	true	0.43	18	true	0.25	17	true	0.14	4.0	false(label)	0.13	5.0	true	0.24	4.0	true	0.42	36	unknown	4.4	220	true	54	620
ntdrivers-simplified/kbfiltr_simpl2_true.cil.c	true	2.7	22	true	1.1	20	true	2.5	120	true	16	490	true	0.58	22	true	0.26	18	true	0.16	5.0	false(label)	0.16	8.0	true	0.33	7.0	true	0.45	35	unknown	6.9	220	true	85	620
ssh-simplified/s3_clnt_1_false.cil.c	false(label)	23	34	false(label)	2.1	65	false(label)	2.8	160	false(label)	44	460	false(label)	13	94	false(label)	0.70	28	false(label)	0.27	8.0	false(label)	2.8	18	false(label)	0.88	8.0	false(label)	2.7	160	unknown	4.6	220	false(label)	100	680
ssh-simplified/s3_clnt_2_false.cil.c	false(label)	23	34	false(label)	2.1	66	false(label)	2.8	170	false(label)	44	460	false(label)	14	97	false(label)	0.82	28	false(label)	0.24	8.0	false(label)	2.5	16	false(label)	0.88	8.0	false(label)	2.8	160	unknown	4.7	220	false(label)	110	790
ssh-simplified/s3_clnt_3_false.cil.c	false(label)	23	34	false(label)	2.5	78	false(label)	2.8	180	false(label)	48	460	false(label)	17	120	false(label)	1.1	29	false(label)	0.24	8.0	false(label)	3.6	23	false(label)	0.89	8.0	false(label)	3.0	160	unknown	4.7	220	false(label)	120	1100
ssh-simplified/s3_clnt_4_false.cil.c	false(label)	23	34	false(label)	2.1	66	false(label)	2.8	170	false(label)	44	460	false(label)	14	96	false(label)	0.95	29	false(label)	0.24	8.0	false(label)	2.5	16	false(label)	0.88	8.0	false(label)	3.0	160	unknown	4.6	220	false(label)	100	680
ssh-simplified/s3_srvr_10_false.cil.c	false(label)	0.15	13	false(label)	0.21	18	false(label)	7.0	250	unknown	900	580	false(label)	15	100	false(label)	0.63	41	false(label)	0.12	3.0	false(label)	0.25	9.0	timeout	900	1000	false(label)	3.9	200	unknown	5.1	220	false(label)	21	390
ssh-simplified/s3_srvr_11_false.cil.c	exception (gremlins)	2.9	18	false(label)	14	260	false(label)	3.1	180	false(label)	15	460	false(label)	26	120	false(label)	1.8	32	false(label)	0.48	20	false(label)	0.27	10.0	timeout	900	570	false(label)	11	280	unknown	5.3	220	timeout	920	1600
ssh-simplified/s3_srvr_12_false.cil.c	exception (gremlins)	3.3	18	false(label)	3.4	100	false(label)	3.3	190	unknown	900	550	false(label)	33	130	false(label)	2.5	37	false(label)	0.36	14	false(label)	0.33	13	timeout	900	490	false(label)	26	330	unknown	5.9	220	false(label)	620	1600
ssh-simplified/s3_srvr_13_false.cil.c	exception (gremlins)	2.7	17	false(label)	3.2	98	false(label)	3.2	180	false(label)	490	570	false(label)	26	130	false(label)	0.88	33	false(label)	0.31	12	false(label)	0.27	9.0	timeout	900	490	false(label)	4.3	190	unknown	5.4	220	false(label)	170	1200
ssh-simplified/s3_srvr_14_false.cil.c	exception (gremlins)	5.2	17	false(label)	0.20	18	false(label)	4.5	230	false(label)	180	510	false(label)	20	110	false(label)	0.49	31	false(label)	0.16	4.0	false(label)	0.27	10.0	timeout	900	1100	false(label)	2.8	160	unknown	5.3	220	false(label)	40	640
ssh-simplified/s3_srvr_1_false.cil.c	false(label)	4.2	23	false(label)	3.0	98	false(label)	2.4	160	false(label)	2.7	200	false(label)	22	120	false(label)	0.51	28	false(label)	0.26	9.0	false(label)	0.50	13	timeout	900	1200	false(label)	2.0	150	unknown	5.1	220	false(label)	240	700
ssh-simplified/s3_srvr_2_false.cil.c	false(label)	4.4	24	false(label)	2.8	86	false(label)	2.4	160	false(label)	2.7	200	false(label)	18	110	false(label)	0.49	28	false(label)	0.26	9.0	false(label)	2.2	21	timeout	900	1100	false(label)	1.7	130	unknown	5.0	220	false(label)	230	700
ssh-simplified/s3_srvr_6_false.cil.c	false(label)	0.15	13	false(label)	0.21	19	false(label)	19	1100	unknown	900	560	false(label)	21	120	false(label)	0.37	26	false(label)	0.13	3.0	false(label)	14	40	timeout	900	920	false(label)	1.3	110	false(label)	7.3	260	false(label)	14	380
ssh-simplified/s3_clnt_1_true.cil.c	true	140	73	true	88	1500	true	3.5	180	unknown	900	570	true	3.4	87	timeout	920	1000	true	0.74	18	false(label)	19	40	true	1.6	10.0	true	3.6	170	unknown	4.6	220	timeout	920	1800
ssh-simplified/s3_clnt_2_true.cil.c	timeout	920	160	true	90	1500	true	3.6	180	unknown	900	570	true	4.2	91	true	730	450	true	0.74	18	false(label)	3.4	19	true	1.3	10.0	true	3.8	160	unknown	4.6	220	timeout	920	1600
ssh-simplified/s3_clnt_3_true.cil.c	true	350	110	true	110	1900	true	3.7	180	unknown	900	560	true	3.9	110	true	19	60	true	0.76	18	false(label)	8.8	31	true	1.3	10.0	true	3.7	160	unknown	4.8	220	timeout	920	1600
ssh-simplified/s3_clnt_4_true.cil.c	timeout	920	160	true	90	1500	true	3.5	180	unknown	900	560	true	3.6	90	timeout	920	640	true	0.73	18	true	50	59	true	1.3	10.0	true	3.5	160	unknown	4.6	220	true	810	1600
ssh-simplified/s3_srvr_1_true.cil.c	unknown	0.10	7.0	true	160	1700	true	4.6	200	timeout	900	580	true	3.9	110	true	0.45	18	true	1.3	20	false(label)	4.2	19	timeout	900	1100	true	0.48	36	unknown	5.0	220	timeout	920	1600
ssh-simplified/s3_srvr_1a_true.cil.c	true	1.2	15	true	3.4	54	true	1.8	97	true	3.4	220	true	0.69	18	true	0.80	29	true	0.33	7.0	false(label)	0.13	4.0	timeout	900	360	true	2.1	140	unknown	2.8	200	true	110	370
ssh-simplified/s3_srvr_1b_true.cil.c	true	1.2	14	true	1.3	25	true	1.6	96	true	1.8	110	true	0.48	15	true	0.59	29	true	0.29	4.0	true	0.13	3.0	timeout	900	970	true	1.2	120	unknown	2.4	160	true	6.0	240
ssh-simplified/s3_srvr_2_true.cil.c	true	410	130	true	200	1900	true	4.4	180	unknown	900	550	true	3.9	110	true	390	240	true	0.99	26	false(label)	5.6	28	timeout	900	1100	true	5.3	180	unknown	4.9	220	timeout	920	1600
ssh-simplified/s3_srvr_3_true.cil.c	true	430	140	true	210	1900	true	13	250	unknown	900	590	true	4.0	110	true	29	69	true	0.92	26	false(label)	1.9	19	timeout	900	1100	true	4.6	170	unknown	5.0	220	true	160	1200
ssh-simplified/s3_srvr_4_true.cil.c	true	440	130	true	210	1900	true	14	260	unknown	900	590	true	3.8	110	timeout	920	380	true	0.96	22	false(label)	4.8	30	timeout	900	1100	true	6.0	190	unknown	5.0	220	true	170	1200
ssh-simplified/s3_srvr_6_true.cil.c	timeout	920	240	true	230	2000	true	24	1100	unknown	900	560	true	4.3	110	timeout	920	360	true	1.0	24	false(label)	14	40	timeout	900	1100	true	5.3	200	unknown	5.5	220	timeout	920	1100
ssh-simplified/s3_srvr_7_true.cil.c	timeout	920	160	true	210	2000	true	24	1100	unknown	900	580	true	4.3	110	timeout	920	350	true	1.0	27	false(label)	8.3	32	timeout	900	1100	true	7.4	200	unknown	5.1	220	timeout	920	1100
ssh-simplified/s3_srvr_8_true.cil.c	true	220	81	true	220	1900	true	4.7	200	unknown	900	570	true	4.1	110	true	80	160	true	0.96	27	false(label)	1.7	15	timeout	900	1100	true	6.5	200	unknown	5.1	220	true	290	1600
locks/test_locks_14_false.c	false(label)	0.14	12	false(label)	0.22	17	false(label)	2.0	140	false(label)	1.6	100	false(label)	1.4	28	false(label)	0.40	25	false(label)	0.14	3.0	false(label)	0.11	4.0	timeout	900	1100	false(label)	0.79	100	false(label)	3.4	210	false(label)	12	410
locks/test_locks_15_false.c	false(label)	0.13	13	false(label)	0.21	17	false(label)	2.0	140	false(label)	1.7	100	false(label)	1.5	30	false(label)	0.36	25	false(label)	0.12	3.0	false(label)	0.12	4.0	timeout	900	1100	false(label)	0.73	94	false(label)	4.1	210	false(label)	14	410
locks/test_locks_10_true.c	timeout	920	470	true	5.6	86	true	53	680	unknown	900	540	true	0.54	19	true	0.21	17	true	0.35	6.0	true	340	52	timeout	900	1100	true	0.47	35	true	12	850	true	6.9	250
locks/test_locks_11_true.c	timeout	920	360	true	7.0	100	true	53	690	unknown	900	550	true	0.60	20	true	0.22	17	true	0.33	6.0	timeout	900	140	timeout	900	1100	true	0.42	40	true	19	1600	true	7.4	260
locks/test_locks_12_true.c	timeout	920	510	true	8.7	120	true	53	680	unknown	900	560	true	0.62	22	true	0.22	17	true	0.36	7.0	timeout	900	110	timeout	900	1100	true	0.41	38	true	34	2800	true	8.3	320
locks/test_locks_13_true.c	timeout	920	430	true	11	140	true	52	690	unknown	900	570	true	0.66	24	true	0.22	17	true	0.39	7.0	timeout	900	82	timeout	900	1100	true	0.43	36	true	64	4300	true	9.5	390
locks/test_locks_14_true.c	timeout	920	420	true	14	150	true	52	1100	unknown	900	530	true	0.68	25	true	0.23	18	true	0.39	7.0	timeout	900	78	timeout	900	1100	true	0.46	35	true	200	6800	true	11	400
locks/test_locks_15_true.c	timeout	920	520	true	15	170	true	53	1100	unknown	900	500	true	0.77	27	true	0.22	17	true	0.40	8.0	timeout	900	59	timeout	900	1100	true	0.45	36	true	470	9000	true	12	420
locks/test_locks_5_true.c	true	23	65	true	1.6	30	true	2.1	110	true	5.4	450	true	0.43	14	true	0.23	18	true	0.26	4.0	true	0.25	4.0	timeout	900	1100	true	0.39	34	true	4.8	250	true	3.8	210
locks/test_locks_6_true.c	true	44	130	true	2.4	39	true	2.7	170	true	10	460	true	0.42	15	true	0.25	17	true	0.27	5.0	true	1.0	6.0	timeout	900	1100	true	0.46	35	true	6.3	260	true	4.5	220
locks/test_locks_7_true.c	true	140	150	true	2.8	49	true	5.0	200	true	40	460	true	0.45	15	true	0.23	17	true	0.29	5.0	true	8.2	10.0	timeout	900	1100	true	0.44	35	true	7.4	360	true	5.1	240
locks/test_locks_8_true.c	true	280	180	true	3.6	60	true	21	600	true	200	480	true	0.48	17	true	0.22	18	true	0.34	5.0	true	33	15	timeout	900	1100	true	0.42	37	true	8.3	380	true	5.7	240
locks/test_locks_9_true.c	true	610	350	true	4.5	72	true	53	1100	unknown	900	560	true	0.52	17	true	0.22	17	true	0.30	6.0	true	110	23	timeout	900	1100	true	0.42	35	true	9.9	460	true	6.1	240
eca/Problem01_20_false.c	timeout	920	430	false(label)	150	270	false(label)	5.3	210	false(label)	8.0	480	false(label)	33	120	false(label)	2.8	47	false(label)	12	220	timeout	900	11000	timeout	900	680	false(label)	12	220	false(label)	140	890	timeout	910	9900
eca/Problem01_50_false.c	timeout	920	320	false(label)	22	120	false(label)	4.8	200	false(label)	7.3	470	false(label)	33	120	false(label)	1.6	36	false(label)	5.1	120	timeout	900	11000	timeout	900	680	false(label)	8.7	210	false(label)	110	480	timeout	910	11000
eca/Problem01_60_false.c	false(label)	780	360	false(label)	0.56	24	false(label)	2.8	160	false(label)	2.4	130	false(label)	30	120	false(label)	0.66	35	false(label)	0.45	18	false(label)	16	250	timeout	900	590	false(label)	3.1	160	false(label)	32	290	false(label)	47	570
eca/Problem02_50_false.c	timeout	920	490	false(label)	16	100	false(label)	5.9	250	false(label)	11	490	false(label)	32	120	false(label)	1.5	38	false(label)	2.0	55	timeout	900	14000	timeout	900	600	false(label)	8.3	200	false(label)	57	590	timeout	920	9500
eca/Problem02_60_false.c	timeout	920	350	false(label)	16	100	false(label)	5.4	210	false(label)	8.4	480	false(label)	31	110	false(label)	1.5	37	false(label)	2.0	52	timeout	900	14000	timeout	900	600	false(label)	7.6	200	false(label)	67	450	timeout	920	9400
eca/Problem03_50_false.c	timeout	920	960	false(label)	290	710	false(label)	10.0	530	false(label)	53	610	false(label)	660	530	false(label)	53	280	false(label)	30	800	timeout	900	3500	timeout	910	2400	false(label)	92	690	false(label)	340	3600	timeout	920	10000
eca/Problem03_60_false.c	timeout	920	990	false(label)	4.1	75	false(label)	5.3	270	false(label)	4.4	230	false(label)	580	510	false(label)	6.1	84	false(label)	1.5	45	false(label)	780	3100	timeout	910	2400	false(label)	22	430	false(label)	130	910	false(label)	630	900
eca/Problem04_40_false.c	timeout	920	530	true	850	2600	false(label)	200	4500	unknown	900	1300	true	900	1200	timeout	920	3000	true	270	1200	timeout	900	310	true	360	2300	timeout	920	4000	timeout	920	4200	timeout	920	11000
eca/Problem04_60_false.c	timeout	920	760	false(label)	14	130	false(label)	8.7	270	false(label)	5.8	220	false(label)	900	700	false(label)	12	150	false(label)	6.8	130	timeout	900	310	false(label)	830	2500	false(label)	47	630	false(label)	870	1100	timeout	920	2400
eca/Problem05_00_false.c	timeout	920	860	true	850	3000	false(label)	200	4400	timeout	900	1300	unknown	900	1600	timeout	920	1900	false(label)	240	1500	timeout	900	770	true	280	2300	false(label)	540	1900	timeout	920	790	timeout	920	820
eca/Problem05_30_false.c	timeout	920	740	true	850	3000	false(label)	210	4600	unknown	900	1300	unknown	900	1600	false(label)	900	1900	false(label)	220	1500	timeout	900	770	true	280	2300	timeout	920	3100	timeout	920	810	timeout	920	820
eca/Problem05_40_false.c	timeout	920	690	true	850	3100	false(label)	180	4000	timeout	900	1300	unknown	900	1600	timeout	910	1900	false(label)	240	1500	timeout	900	770	true	270	2200	timeout	920	2600	timeout	920	810	timeout	920	830
eca/Problem05_60_false.c	timeout	920	740	false(label)	31	230	false(label)	14	320	false(label)	8.1	240	unknown	900	1600	false(label)	40	280	false(label)	31	250	timeout	900	770	false(label)	420	2300	false(label)	140	890	timeout	920	810	timeout	920	830
eca/Problem06_00_false.c	timeout	920	1500	true	850	2800	false(label)	160	3500	unknown	900	1300	unknown	900	2000	timeout	920	3000	false(label)	200	4200	timeout	900	520	true	260	2200	false(label)	500	2300	timeout	920	790	timeout	920	790
eca/Problem06_10_false.c	timeout	920	1500	true	850	2900	false(label)	160	3700	unknown	900	1300	unknown	900	2000	timeout	920	3000	false(label)	200	4200	timeout	900	520	true	260	2200	false(label)	720	2600	timeout	920	800	timeout	920	810
eca/Problem06_20_false.c	timeout	920	1900	true	850	2800	false(label)	180	3800	unknown	900	1300	unknown	900	2000	timeout	920	3000	false(label)	190	4200	timeout	900	520	false(label)	260	2200	false(label)	760	2600	timeout	920	800	timeout	920	810
eca/Problem06_60_false.c	timeout	920	2000	false(label)	15	190	false(label)	13	290	false(label)	7.5	230	unknown	900	1900	false(label)	93	400	false(label)	34	220	timeout	900	520	false(label)	320	2200	false(label)	160	980	timeout	920	800	timeout	920	800
eca/Problem07_20_false.c	timeout	920	3200	true	850	1700	timeout	900	5300	unknown	900	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2800	timeout	920	2200	timeout	920	2400
eca/Problem07_30_false.c	timeout	920	3100	true	850	1300	timeout	900	5600	unknown	900	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2800	timeout	920	2200	timeout	920	2400
eca/Problem07_40_false.c	timeout	920	3200	true	850	1300	timeout	900	5900	unknown	690	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	370	2100	timeout	920	2800	timeout	920	2200	timeout	920	2300
eca/Problem07_60_false.c	timeout	920	3100	false(label)	550	1700	false(label)	33	1500	false(label)	23	720	unknown	900	6900	timeout	920	1600	timeout	910	1800	timeout	900	1200	false(label)	390	2100	timeout	910	2600	timeout	920	2200	timeout	920	2400
eca/Problem08_10_false.c	timeout	920	5300	unknown	850	2500	timeout	900	5900	unknown	480	1300	unknown	900	15000	timeout	920	670	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	660	timeout	920	2500	timeout	920	2500
eca/Problem08_50_false.c	timeout	920	5500	unknown	850	2500	timeout	900	8100	unknown	490	1400	unknown	900	15000	timeout	920	660	unknown	660	15000	timeout	900	1700	true	700	4200	timeout	920	660	timeout	920	2500	timeout	920	2500
eca/Problem08_60_false.c	timeout	920	5500	unknown	850	2500	false(label)	400	6900	false(label)	44	1000	unknown	900	15000	timeout	920	660	timeout	920	3500	timeout	900	1700	false(label)	710	4200	timeout	920	660	timeout	920	2500	timeout	920	2500
eca/Problem09_10_false.c	timeout	920	9900	unknown	850	2700	timeout	900	5800	unknown	900	1300	unknown	190	15000	timeout	920	710	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	710	timeout	920	2800	timeout	920	2800
eca/Problem09_20_false.c	timeout	920	10000	unknown	850	2700	timeout	900	6700	unknown	900	1300	unknown	190	15000	timeout	920	700	unknown	860	15000	timeout	900	2100	timeout	910	5200	timeout	920	700	timeout	920	2700	timeout	920	2800
eca/Problem09_60_false.c	timeout	920	10000	unknown	850	2700	timeout	900	6100	false(label)	44	1100	unknown	190	15000	timeout	920	710	timeout	920	3900	timeout	900	2100	timeout	910	5200	timeout	920	700	timeout	920	2900	timeout	920	2800
eca/Problem10_30_false.c	exception (gremlins)	1.6	23	true	850	1300	timeout	900	3800	false(label)	6.3	370	true	480	1400	timeout	920	1400	true	79	580	timeout	900	5600	timeout	900	710	false(label)	4.6	160	false(label)	99	1100	timeout	910	11000
eca/Problem10_40_false.c	exception (gremlins)	11	34	true	850	1000	timeout	900	3700	false(label)	4.8	240	true	850	1400	timeout	920	1300	true	75	580	false(label)	240	2800	timeout	900	710	false(label)	3.6	160	true	75	750	timeout	910	8900
eca/Problem10_50_false.c	exception (gremlins)	1.0	22	false(label)	76	290	false(label)	40	2300	false(label)	6.9	400	false(label)	420	1400	false(label)	1.4	49	false(label)	5.0	200	false(label)	170	2200	timeout	900	710	false(label)	4.8	160	timeout	920	1500	timeout	910	9500
eca/Problem10_60_false.c	exception (gremlins)	0.63	19	false(label)	35	290	false(label)	41	2200	false(label)	9.5	540	false(label)	160	1400	false(label)	1.1	44	false(label)	4.8	200	timeout	900	5600	timeout	900	690	false(label)	4.3	160	false(label)	120	1300	timeout	910	10000
eca/Problem11_00_false.c	exception (gremlins)	11	41	false(label)	270	690	timeout	900	4200	false(label)	8.6	510	unknown	900	1600	false(label)	2.9	130	false(label)	16	540	timeout	900	8200	timeout	900	1800	false(label)	8.1	220	timeout	920	700	timeout	920	9500
eca/Problem11_10_false.c	exception (gremlins)	44	64	true	850	1700	timeout	900	4500	false(label)	8.7	510	unknown	900	1600	timeout	920	1500	true	810	1600	timeout	900	8300	timeout	900	1800	false(label)	8.7	210	unknown	170	3300	timeout	920	10000
eca/Problem11_20_false.c	exception (gremlins)	24	48	false(label)	210	690	timeout	900	4100	false(label)	8.7	510	false(label)	900	2600	false(label)	3.4	130	false(label)	14	530	timeout	900	8200	timeout	900	1800	false(label)	11	240	timeout	920	1800	timeout	920	9600
eca/Problem11_30_false.c	exception (gremlins)	61	90	true	850	1700	timeout	900	4500	false(label)	8.7	510	unknown	900	1600	timeout	920	1500	true	620	1600	timeout	900	8300	timeout	900	1800	false(label)	9.2	230	timeout	920	930	timeout	920	9400
eca/Problem11_40_false.c	exception (gremlins)	280	160	true	850	1700	timeout	900	4200	false(label)	8.6	510	unknown	900	1600	timeout	920	1500	timeout	920	1600	timeout	900	8200	timeout	900	1800	false(label)	7.8	220	timeout	920	1300	timeout	920	9700
eca/Problem11_50_false.c	exception (gremlins)	190	150	true	850	1700	timeout	900	4500	false(label)	8.7	510	unknown	900	1600	timeout	920	1500	timeout	920	1600	timeout	900	8200	timeout	900	1800	false(label)	8.0	220	timeout	920	1300	timeout	920	9600
eca/Problem11_60_false.c	exception (gremlins)	69	80	true	850	1700	timeout	900	4100	false(label)	7.2	390	unknown	900	1700	timeout	920	1600	true	670	1600	timeout	900	8300	timeout	900	1800	false(label)	8.7	210	true	110	1400	timeout	920	9500
eca/Problem12_00_false.c	exception (gremlins)	58	110	true	850	2500	timeout	900	6300	false(label)	31	890	unknown	900	4800	false(label)	86	1200	false(label)	66	1600	timeout	900	160	false(label)	470	2400	false(label)	130	830	timeout	920	5600	timeout	920	11000
eca/Problem12_10_false.c	exception (gremlins)	45	85	true	850	2500	timeout	900	6200	false(label)	250	1300	unknown	900	4800	false(label)	210	2600	false(label)	76	1600	timeout	900	160	false(label)	470	2400	false(label)	130	790	timeout	920	5100	unknown	400	8800
eca/Problem12_20_false.c	exception (gremlins)	3.7	48	true	850	2500	timeout	900	6000	unknown	900	1300	unknown	900	4800	false(label)	77	1200	false(label)	61	1600	timeout	900	160	true	470	2400	false(label)	130	810	timeout	920	5800	timeout	920	11000
eca/Problem12_30_false.c	exception (gremlins)	3.1	49	true	850	2500	timeout	900	6100	false(label)	77	1300	false(label)	900	4800	false(label)	76	1200	false(label)	180	1600	timeout	900	160	false(label)	470	2400	false(label)	120	790	unknown	380	2600	timeout	920	12000
eca/Problem12_40_false.c	exception (gremlins)	3.6	48	true	850	2500	timeout	900	5900	unknown	900	1300	unknown	900	4800	false(label)	76	1200	false(label)	61	1600	timeout	900	160	false(label)	470	2400	false(label)	140	810	timeout	920	5800	timeout	920	11000
eca/Problem12_50_false.c	exception (gremlins)	3.1	48	true	850	2500	timeout	900	6300	unknown	900	1300	unknown	900	4800	false(label)	67	1200	false(label)	69	1600	timeout	900	160	false(label)	470	2400	false(label)	140	810	timeout	920	4600	timeout	920	11000
eca/Problem12_60_false.c	false(label)	5.5	48	false(label)	29	240	false(label)	8.1	300	false(label)	9.0	300	false(label)	900	8500	false(label)	8.5	180	false(label)	2.1	99	timeout	900	160	false(label)	680	2400	false(label)	52	530	false(label)	450	780	timeout	920	2400
eca/Problem13_00_false.c	exception (gremlins)	14	70	true	850	2700	timeout	900	5800	unknown	900	1300	unknown	900	8000	timeout	920	3400	timeout	920	4700	timeout	900	180	true	390	2400	false(label)	42	630	unknown	590	3100	timeout	920	10000
eca/Problem13_10_false.c	exception (gremlins)	160	150	true	850	2700	timeout	900	5800	unknown	900	1300	unknown	900	8000	timeout	920	4400	timeout	920	4700	timeout	900	180	true	390	2400	false(label)	78	780	unknown	580	2900	timeout	920	10000
eca/Problem13_20_false.c	exception (gremlins)	73	140	true	850	2700	timeout	900	8400	unknown	900	1300	unknown	900	8000	timeout	920	4400	timeout	920	7700	timeout	900	180	true	390	2400	false(label)	110	860	unknown	580	3000	timeout	920	690
eca/Problem13_30_false.c	exception (gremlins)	1.6	51	true	850	2700	timeout	900	8700	unknown	900	1300	unknown	900	8000	false(label)	62	1500	false(label)	110	2700	timeout	900	180	false(label)	390	2400	false(label)	78	790	unknown	570	2800	timeout	920	9600
eca/Problem13_40_false.c	exception (gremlins)	1.6	51	true	850	2700	false(label)	9.6	330	unknown	900	1300	unknown	900	8000	false(label)	64	1500	false(label)	79	2700	timeout	900	180	false(label)	390	2400	false(label)	42	620	unknown	580	2900	timeout	920	10000
eca/Problem13_50_false.c	exception (gremlins)	5.0	61	true	850	2700	timeout	900	5800	unknown	900	1300	unknown	900	8000	timeout	920	4400	timeout	920	4700	timeout	900	180	true	390	2400	false(label)	80	770	unknown	590	3200	timeout	920	9300
eca/Problem13_60_false.c	exception (gremlins)	60	140	false(label)	25	200	false(label)	50	2400	unknown	900	1300	unknown	900	7900	false(label)	7.0	200	false(label)	3.6	120	timeout	900	180	false(label)	480	2400	false(label)	47	640	unknown	570	2800	timeout	920	2600
eca/Problem14_10_false.c	exception (gremlins)	0.98	21	false(label)	270	790	false(label)	38	2200	false(label)	12	610	false(label)	650	1700	true	5.4	57	false(label)	74	720	timeout	900	9800	timeout	900	2100	true	10	220	false(label)	130	670	timeout	920	9600
eca/Problem14_40_false.c	timeout	920	280	true	850	1200	false(label)	37	2200	false(label)	15	680	false(label)	610	1700	true	4.0	57	true	110	720	timeout	900	9800	timeout	900	2100	true	14	220	false(label)	130	590	timeout	920	9500
eca/Problem14_60_false.c	false(label)	2.1	23	false(label)	0.36	24	false(label)	3.4	180	false(label)	2.6	140	false(label)	130	1600	false(label)	0.81	44	false(label)	0.49	19	false(label)	360	4500	timeout	900	830	false(label)	3.6	170	false(label)	38	310	false(label)	53	380
eca/Problem15_00_false.c	exception (gremlins)	240	92	true	850	1700	timeout	900	5000	false(label)	12	650	false(label)	900	6100	false(label)	16	620	false(label)	31	1200	timeout	900	92	false(label)	790	2500	false(label)	6.1	220	timeout	920	1100	timeout	920	11000
eca/Problem15_10_false.c	exception (gremlins)	65	96	true	850	1700	timeout	900	4800	false(label)	5.7	290	unknown	900	3600	timeout	920	2500	timeout	920	3600	timeout	900	92	true	790	2500	false(label)	20	340	timeout	920	2200	timeout	920	11000
eca/Problem15_20_false.c	timeout	920	240	true	850	1700	timeout	900	4800	false(label)	12	650	unknown	900	3600	timeout	920	2500	timeout	920	3600	timeout	900	92	true	790	2500	false(label)	8.2	260	timeout	920	1900	timeout	920	11000
eca/Problem15_30_false.c	exception (gremlins)	4.7	32	true	850	1700	false(label)	48	2700	false(label)	5.7	290	false(label)	900	6100	false(label)	16	620	false(label)	48	1200	timeout	900	92	false(label)	790	2500	false(label)	22	390	timeout	920	1200	timeout	920	11000
eca/Problem15_40_false.c	exception (gremlins)	820	210	true	850	1700	false(label)	41	2300	false(label)	12	640	unknown	900	3600	false(label)	13	620	false(label)	55	1200	timeout	900	92	false(label)	790	2500	false(label)	6.1	220	timeout	920	1900	timeout	920	11000
eca/Problem15_50_false.c	timeout	920	340	true	850	1700	false(label)	47	2700	false(label)	5.7	290	false(label)	900	6100	false(label)	15	620	false(label)	38	1200	timeout	900	92	false(label)	790	2500	false(label)	21	360	timeout	920	1100	timeout	920	11000
eca/Problem15_60_false.c	false(label)	2.1	29	false(label)	1.2	41	false(label)	4.6	190	false(label)	12	650	false(label)	900	8700	false(label)	1.9	82	false(label)	1.1	40	timeout	900	92	timeout	900	2500	false(label)	8.5	270	false(label)	90	400	timeout	920	1000
eca/Problem16_00_false.c	exception (gremlins)	1.00	23	true	850	1200	timeout	900	4300	false(label)	4.2	180	unknown	900	1600	timeout	920	1400	timeout	920	1400	timeout	900	140	timeout	900	2500	false(label)	5.0	200	timeout	920	680	timeout	920	11000
eca/Problem16_08_false.c	exception (gremlins)	95	100	true	850	1200	timeout	900	9400	false(label)	31	840	true	900	3400	false(label)	340	1900	true	250	1600	timeout	900	140	timeout	900	2500	false(label)	210	600	timeout	920	1500	timeout	920	11000
eca/Problem16_20_false.c	exception (gremlins)	15	65	true	850	1200	timeout	900	8100	false(label)	16	660	true	900	3400	false(label)	340	1700	true	260	1600	timeout	900	140	timeout	900	2500	false(label)	170	540	timeout	920	1500	timeout	920	11000
eca/Problem16_30_false.c	exception (gremlins)	760	250	true	850	1200	timeout	900	7600	false(label)	17	690	true	900	3300	false(label)	430	1900	true	280	1600	timeout	900	140	timeout	900	2500	false(label)	190	550	unknown	140	2900	timeout	920	11000
eca/Problem16_40_false.c	exception (gremlins)	390	310	true	850	1200	timeout	900	7500	false(label)	34	910	true	280	3300	timeout	920	3400	true	200	1600	timeout	900	140	timeout	900	2500	false(label)	210	610	true	200	1400	timeout	920	11000
eca/Problem16_60_false.c	exception (gremlins)	13	46	false(label)	1.7	48	false(label)	4.2	190	false(label)	4.2	180	false(label)	740	3300	false(label)	1.6	70	false(label)	0.83	36	timeout	900	140	timeout	900	2300	false(label)	4.7	200	false(label)	97	660	false(label)	340	960
eca/Problem17_00_false.c	exception (gremlins)	7.4	45	true	850	3500	timeout	900	6200	false(label)	7.7	450	unknown	900	6300	timeout	920	3300	timeout	920	3800	unknown	780	4300	true	780	2500	false(label)	13	350	timeout	920	2100	unknown	220	1000
eca/Problem17_10_false.c	exception (gremlins)	7.4	43	true	850	3500	timeout	900	6100	false(label)	7.9	450	unknown	900	6200	timeout	920	3300	timeout	920	3800	unknown	790	4300	true	780	2500	false(label)	12	350	timeout	920	2100	timeout	920	11000
eca/Problem17_20_false.c	exception (gremlins)	1.2	34	true	850	3500	timeout	900	8400	false(label)	7.8	450	unknown	900	6200	false(label)	33	1200	false(label)	170	2400	unknown	790	4300	false(label)	770	2500	false(label)	12	350	timeout	920	3000	timeout	920	11000
eca/Problem17_30_false.c	exception (gremlins)	1.2	34	true	850	3500	timeout	900	8400	false(label)	7.8	450	false(label)	900	10000	false(label)	37	1200	false(label)	79	2400	unknown	790	4300	false(label)	780	2500	false(label)	13	350	unknown	170	2600	timeout	920	11000
eca/Problem17_40_false.c	exception (gremlins)	1.2	34	true	850	3500	timeout	900	8400	false(label)	7.9	450	unknown	900	6200	false(label)	30	1200	false(label)	71	2400	unknown	790	4300	false(label)	790	2500	false(label)	12	360	timeout	920	2100	unknown	260	1200
eca/Problem17_50_false.c	exception (gremlins)	0.73	33	true	850	3500	timeout	900	8400	false(label)	8.0	450	unknown	900	6200	false(label)	29	1200	false(label)	160	2400	unknown	790	4300	false(label)	790	2500	false(label)	13	350	timeout	920	2600	timeout	920	11000
eca/Problem17_60_false.c	exception (gremlins)	2.0	35	false(label)	20	220	false(label)	7.6	310	false(label)	7.9	450	false(label)	900	10000	false(label)	3.0	110	false(label)	2.0	65	unknown	790	4300	timeout	900	2500	false(label)	12	370	false(label)	200	1300	false(label)	330	1500
eca/Problem18_00_false.c	exception (gremlins)	360	160	true	850	2100	timeout	900	7000	unknown	900	1300	false(label)	900	4700	false(label)	110	1300	false(label)	98	1500	timeout	900	2100	true	850	2600	false(label)	170	690	timeout	920	4300	timeout	920	12000
eca/Problem18_10_false.c	exception (gremlins)	1.2	40	true	850	2100	timeout	900	7100	unknown	900	1300	false(label)	900	4700	false(label)	110	1300	false(label)	85	1500	timeout	900	2100	true	800	2500	false(label)	170	740	timeout	920	3900	timeout	920	11000
eca/Problem18_20_false.c	exception (gremlins)	590	210	true	850	2100	timeout	900	5900	false(label)	46	1100	false(label)	900	4700	false(label)	110	1300	false(label)	76	1500	timeout	900	2100	true	840	2500	false(label)	150	680	timeout	920	3800	timeout	920	11000
eca/Problem18_30_false.c	timeout	920	840	true	850	2100	timeout	900	6700	false(label)	46	1100	true	900	6600	timeout	920	4100	true	400	3100	timeout	900	2100	true	830	2500	false(label)	140	690	true	660	4500	timeout	920	11000
eca/Problem18_40_false.c	exception (gremlins)	140	400	true	850	2100	timeout	900	5800	false(label)	25	760	true	900	4800	timeout	920	2900	true	470	3100	timeout	900	2100	timeout	900	2600	false(label)	150	680	true	460	3700	timeout	920	11000
eca/Problem18_50_false.c	timeout	920	850	true	850	2100	timeout	900	5900	false(label)	23	760	true	900	6500	timeout	920	3700	true	410	3100	timeout	900	2100	true	830	2500	false(label)	120	760	true	570	4000	timeout	920	11000
eca/Problem18_60_false.c	false(label)	17	97	false(label)	1.4	60	false(label)	5.6	210	false(label)	4.6	210	false(label)	900	4700	false(label)	5.6	130	false(label)	1.7	73	false(label)	64	88	timeout	900	2400	false(label)	30	420	false(label)	370	1700	timeout	920	2100
eca/Problem19_00_false.c	timeout	920	330	true	850	2900	timeout	900	12000	false(label)	25	870	unknown	900	13000	timeout	920	15000	timeout	920	8400	timeout	900	250	true	150	2200	false(label)	270	1300	timeout	920	800	timeout	920	820
eca/Problem19_10_false.c	timeout	920	280	true	850	2900	timeout	900	12000	false(label)	24	880	unknown	900	13000	timeout	920	15000	timeout	920	8400	timeout	900	250	true	150	2200	false(label)	270	1300	timeout	920	780	timeout	920	830
eca/Problem19_20_false.c	exception (gremlins)	540	440	true	850	2900	timeout	900	12000	unknown	900	1300	unknown	900	13000	timeout	920	15000	timeout	920	8400	timeout	900	250	true	150	2200	false(label)	280	1300	timeout	920	790	timeout	920	820
eca/Problem19_30_false.c	timeout	920	610	true	850	2900	timeout	900	12000	unknown	770	1300	unknown	900	13000	timeout	920	10000	timeout	920	8400	timeout	900	250	true	150	2200	false(label)	270	1300	timeout	920	790	timeout	920	830
eca/Problem19_38_false.c	timeout	920	510	true	850	2900	timeout	900	7200	unknown	900	1300	unknown	900	14000	unknown	750	15000	timeout	920	8400	timeout	900	250	true	150	2200	false(label)	210	1100	timeout	920	790	timeout	920	830
eca/Problem19_50_false.c	exception (gremlins)	410	300	true	850	2900	timeout	900	15000	timeout	900	1300	unknown	900	13000	timeout	920	10000	timeout	920	8400	timeout	900	250	false(label)	150	2200	false(label)	340	1200	timeout	920	790	timeout	920	820
eca/Problem19_60_false.c	false(label)	6.3	96	false(label)	24	180	false(label)	9.6	270	unknown	900	1300	unknown	900	13000	false(label)	34	330	false(label)	8.1	180	timeout	900	250	false(label)	470	2300	false(label)	120	820	timeout	920	790	timeout	920	820
eca/Problem01_00_true.c	timeout	920	480	true	850	430	true	4.5	210	true	26	520	true	4.6	110	true	2.0	38	true	64	440	timeout	900	11000	timeout	900	680	true	3.3	160	true	32	300	timeout	920	10000
eca/Problem01_10_true.c	true	730	480	true	850	430	true	4.5	220	true	26	530	true	4.2	110	true	2.0	38	true	64	440	timeout	900	11000	timeout	900	680	true	3.7	170	true	43	330	timeout	920	10000
eca/Problem01_30_true.c	timeout	920	420	true	850	420	true	4.6	220	true	26	530	true	4.0	110	true	1.9	38	true	64	440	timeout	900	11000	timeout	900	680	true	3.1	160	true	45	310	timeout	920	10000
eca/Problem01_40_true.c	timeout	920	360	true	850	430	true	4.5	220	true	26	530	true	5.9	110	true	2.0	38	true	64	440	timeout	900	11000	timeout	900	680	true	4.1	170	true	35	300	timeout	910	9600
eca/Problem02_00_true.c	true	460	250	true	850	470	true	4.3	220	true	14	500	true	6.3	110	true	2.1	41	true	19	140	timeout	900	14000	timeout	900	600	true	4.1	170	true	32	300	timeout	920	9500
eca/Problem02_10_true.c	true	580	470	true	850	470	true	4.3	220	true	14	490	true	4.8	110	true	2.1	41	true	19	140	timeout	900	14000	timeout	900	600	true	3.7	170	true	38	360	timeout	920	11000
eca/Problem02_20_true.c	exception (gremlins)	350	170	true	850	470	true	4.3	220	true	14	490	true	4.8	110	true	2.1	41	true	19	140	timeout	900	14000	timeout	900	600	true	3.4	170	true	36	310	timeout	920	10000
eca/Problem02_30_true.c	timeout	920	330	true	850	470	true	4.3	220	true	13	490	true	5.4	110	true	2.0	41	true	19	140	timeout	900	14000	timeout	900	600	true	2.4	140	true	43	370	timeout	920	10000
eca/Problem02_40_true.c	timeout	920	420	true	850	470	true	4.3	220	true	13	490	true	5.0	110	true	2.1	41	true	19	140	timeout	900	14000	timeout	900	600	true	3.7	170	true	37	330	timeout	920	9700
eca/Problem03_00_true.c	timeout	920	2100	true	850	880	true	7.8	500	true	110	660	true	380	510	true	220	990	true	480	3100	timeout	900	3500	timeout	910	2400	true	340	1000	unknown	710	6400	timeout	920	10000
eca/Problem03_10_true.c	timeout	920	1000	true	850	870	true	7.8	500	true	110	660	true	82	490	true	9.2	87	true	470	3100	timeout	900	3500	timeout	910	2400	true	25	480	true	160	1300	timeout	920	10000
eca/Problem03_20_true.c	timeout	920	1000	true	850	880	true	7.9	500	true	110	660	true	290	510	true	120	640	true	480	3100	timeout	900	3500	timeout	910	2400	true	290	950	timeout	920	10000	timeout	920	9800
eca/Problem03_30_true.c	timeout	920	1100	true	850	870	true	7.8	510	true	110	650	true	91	500	true	9.0	88	true	470	3100	timeout	900	3500	timeout	910	2400	true	23	440	true	110	810	timeout	920	10000
eca/Problem03_40_true.c	timeout	920	1600	true	850	870	true	7.9	500	true	110	660	true	81	490	true	11	86	true	470	3100	timeout	900	3500	timeout	910	2400	true	40	540	true	180	1900	timeout	920	11000
eca/Problem04_00_true.c	timeout	920	660	true	850	2600	true	100	3300	timeout	900	1300	true	900	1200	true	26	170	true	260	1200	timeout	900	310	true	360	2300	true	99	930	timeout	920	4500	timeout	920	11000
eca/Problem04_10_true.c	timeout	920	530	true	850	2600	true	85	2800	unknown	900	1300	true	400	1200	true	27	160	true	260	1200	timeout	900	310	true	370	2300	true	85	850	timeout	920	2800	timeout	920	11000
eca/Problem04_20_true.c	timeout	920	640	true	850	2600	true	110	3200	unknown	900	1300	true	520	1200	true	26	160	true	260	1200	timeout	900	310	true	360	2300	true	80	870	timeout	920	4300	timeout	920	11000
eca/Problem04_30_true.c	timeout	920	670	true	850	2600	true	110	3300	timeout	900	1300	true	510	1200	true	28	170	true	260	1200	timeout	900	310	true	360	2300	true	130	920	timeout	920	4500	timeout	920	11000
eca/Problem04_50_true.c	timeout	920	840	true	850	2600	true	110	3000	unknown	900	1300	true	750	1200	true	25	160	true	260	1200	timeout	900	310	true	370	2300	true	70	830	timeout	920	4200	timeout	920	11000
eca/Problem05_10_true.c	timeout	920	830	true	850	3000	true	150	3500	unknown	900	1300	true	900	2200	timeout	920	2500	true	700	2500	timeout	900	770	true	290	2300	timeout	920	3500	timeout	920	810	timeout	920	830
eca/Problem05_20_true.c	timeout	920	1000	true	850	3000	true	180	3600	unknown	900	1300	true	900	2200	timeout	920	2400	true	670	2500	timeout	900	770	true	280	2200	timeout	920	3000	timeout	920	800	timeout	920	830
eca/Problem05_50_true.c	timeout	920	790	true	850	3000	true	150	3400	unknown	900	1300	true	900	2200	timeout	920	2100	true	690	2500	timeout	900	770	true	280	2300	timeout	920	5000	timeout	920	810	timeout	920	820
eca/Problem06_30_true.c	timeout	920	1700	true	850	2900	true	150	3100	unknown	900	1300	unknown	900	2000	timeout	920	3000	timeout	920	15000	timeout	900	520	true	260	2200	timeout	920	3700	timeout	920	800	timeout	920	810
eca/Problem06_40_true.c	timeout	920	1600	true	850	2800	true	150	3100	unknown	900	1300	unknown	900	2000	timeout	920	3000	timeout	920	15000	timeout	900	520	true	250	2200	timeout	920	4800	timeout	920	790	timeout	920	810
eca/Problem06_50_true.c	timeout	920	2100	true	850	2800	true	280	4600	timeout	900	1300	unknown	900	2000	timeout	920	3000	timeout	920	15000	timeout	900	520	true	260	2200	timeout	920	3800	timeout	920	790	timeout	920	800
eca/Problem07_00_true.c	timeout	920	3200	true	850	1700	timeout	900	5300	unknown	900	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2800	timeout	920	2100	timeout	920	2400
eca/Problem07_10_true.c	timeout	920	3100	true	850	1700	timeout	900	5000	unknown	900	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2800	timeout	920	2200	timeout	920	2400
eca/Problem07_50_true.c	timeout	920	3100	true	850	1700	timeout	900	5100	unknown	900	1300	unknown	900	6900	timeout	920	6300	timeout	920	13000	timeout	900	1200	true	380	2100	timeout	920	2800	timeout	920	2100	timeout	920	2400
eca/Problem08_00_true.c	timeout	920	5900	unknown	850	2500	timeout	900	5700	unknown	500	1300	unknown	900	15000	timeout	920	660	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	660	timeout	920	2500	timeout	920	2500
eca/Problem08_20_true.c	timeout	920	5400	unknown	850	2500	timeout	900	8500	unknown	900	1300	unknown	900	15000	timeout	920	660	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	670	timeout	920	2500	timeout	920	2800
eca/Problem08_30_true.c	timeout	920	5900	unknown	850	2500	timeout	900	8300	unknown	550	1400	unknown	900	15000	timeout	920	660	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	660	timeout	920	2500	timeout	920	2500
eca/Problem08_40_true.c	timeout	920	5400	unknown	850	2500	timeout	900	6000	unknown	490	1400	unknown	900	15000	timeout	920	670	unknown	660	15000	timeout	900	1700	true	710	4200	timeout	920	670	timeout	920	2500	timeout	920	2500
eca/Problem09_00_true.c	timeout	920	10000	unknown	850	2700	timeout	900	6300	unknown	900	1300	unknown	190	15000	timeout	920	710	unknown	860	15000	timeout	900	2100	timeout	910	5200	timeout	920	710	timeout	920	2900	timeout	920	2800
eca/Problem09_30_true.c	timeout	920	10000	unknown	850	2700	timeout	900	6300	unknown	900	1300	unknown	190	15000	timeout	920	710	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	710	timeout	920	2900	timeout	920	2800
eca/Problem09_40_true.c	timeout	920	10000	unknown	850	2700	timeout	900	6300	unknown	900	1300	unknown	190	15000	timeout	920	720	unknown	850	15000	timeout	900	2100	timeout	910	5200	timeout	920	710	timeout	920	2800	timeout	920	2800
eca/Problem09_50_true.c	timeout	920	10000	unknown	850	2700	timeout	900	6300	unknown	810	1400	unknown	180	15000	timeout	920	700	unknown	850	15000	timeout	900	2100	timeout	910	5100	timeout	920	710	timeout	920	2800	timeout	920	2800
eca/Problem10_00_true.c	exception (gremlins)	19	40	true	850	1300	true	69	3500	false(label)	9.5	540	true	45	1300	timeout	920	1900	true	70	580	timeout	900	5600	timeout	900	710	false(label)	4.4	160	true	120	1300	timeout	910	9900
eca/Problem10_10_true.c	timeout	920	310	true	850	1300	true	36	2200	true	11	560	true	32	1300	true	2.4	45	true	70	580	timeout	900	5600	timeout	900	710	true	3.1	150	true	76	610	timeout	910	10000
eca/Problem10_20_true.c	exception (gremlins)	1.00	20	true	850	1300	true	37	2200	true	11	560	true	42	1300	true	2.2	45	true	70	580	timeout	900	5600	timeout	900	710	true	2.3	140	true	68	690	timeout	910	11000
eca/Problem14_00_true.c	exception (gremlins)	130	130	true	850	1200	true	65	3200	false(label)	11	610	true	120	1600	true	5.2	56	true	85	720	timeout	900	9800	timeout	900	2100	true	23	240	true	64	600	timeout	920	9100
eca/Problem14_20_true.c	exception (gremlins)	320	210	true	850	1200	true	31	1800	true	31	860	true	50	1600	true	3.5	55	true	80	720	timeout	900	9800	timeout	900	2100	true	4.8	180	true	96	1100	timeout	920	9200
eca/Problem14_30_true.c	exception (gremlins)	20	54	true	850	1200	true	32	1800	true	32	860	true	59	1600	true	3.5	56	true	80	720	timeout	900	9800	timeout	900	2100	true	6.7	190	true	120	1200	timeout	920	10000
eca/Problem14_50_true.c	exception (gremlins)	1.3	22	true	850	1200	true	66	3200	false(label)	15	670	true	94	1600	true	6.5	56	true	86	720	timeout	900	9800	timeout	900	2100	true	10	220	timeout	920	1600	timeout	920	9500
eca/Problem16_50_true.c	exception (gremlins)	690	320	true	850	1200	true	65	3700	true	57	1200	true	120	3300	true	7.8	110	true	200	1600	timeout	900	140	timeout	900	2500	true	12	260	true	200	1400	timeout	920	11000
loops/array_false.i	false(label)	0.92	13	false(label)	0.18	16	false(label)	2.2	140	false(label)	1.6	99	false(label)	0.28	12	false(label)	0.52	23	false(label)	0.21	2.0	false(label)	0.09	3.0	unknown	0.18	2.0	false(label)	0.52	64	unknown	2.2	110	unknown	2.2	110
loops/bubble_sort_false.i	exception (gremlins)	0.11	12	false(label)	2.0	160	false(label)	8.4	490	unknown	1.9	110	false(label)	900	1500	false(label)	0.38	27	false(label)	0.16	3.0	unknown	0.11	5.0	timeout	900	60	false(label)	1.0	120	unknown	2.2	110	unknown	2.2	110
loops/count_up_down_false.i	false(label)	0.10	10.0	false(label)	0.17	16	false(label)	1.8	120	false(label)	1.6	97	false(label)	0.30	12	false(label)	0.25	18	false(label)	0.09	2.0	false(label)	0.08	3.0	false(label)	0.57	2.0	false(label)	0.43	35	false(label)	2.5	140	false(label)	2.7	150
loops/eureka_01_false.i	false(label)	5.6	29	false(label)	0.36	20	false(label)	51	1800	unknown	2.1	150	false(label)	900	560	false(label)	0.38	26	false(label)	0.29	19	unknown	490	89	unknown	0.30	4.0	false(label)	1.0	110	timeout	920	2300	unknown	200	1700
loops/for_bounded_loop1_false.i	false(label)	1.6	14	false(label)	0.19	16	false(label)	1.8	120	false(label)	1.6	99	false(label)	0.36	13	false(label)	0.28	24	false(label)	0.09	2.0	false(label)	0.11	3.0	timeout	900	240	false(label)	0.67	99	false(label)	7.8	210	false(label)	3.5	210
loops/insertion_sort_false.i	false(label)	7.5	15	false(label)	3.0	260	timeout	900	2200	unknown	1.6	99	false(label)	18	66	false(label)	0.43	25	false(label)	0.24	7.0	unknown	0.11	3.0	unknown	0.38	2.0	false(label)	1.1	110	unknown	2.2	110	unknown	2.2	110
loops/invert_string_false.i	false(label)	1.8	17	false(label)	0.47	28	timeout	900	2200	unknown	1.7	110	false(label)	0.60	17	false(label)	0.38	25	false(label)	0.17	4.0	unknown	0.12	3.0	unknown	0.19	2.0	false(label)	0.86	120	unknown	2.2	110	unknown	2.2	110
loops/linear_search_false.i	false(label)	0.13	11	false(label)	0.62	19	exception	2.6	150	false(label)	1.6	99	true	0.30	12	false(label)	1.1	24	false(label)	0.20	5.0	unknown	0.12	3.0	unknown	0.19	2.0	false(label)	0.59	80	unknown	2.2	110	unknown	2.3	120
loops/ludcmp_false.i	false(label)	2.8	18	false(label)	0.65	36	false(label)	4.7	490	false(label)	1.8	120	false(label)	0.32	13	false(label)	0.25	17	false(label)	0.18	54	false(label)	0.11	4.0	false(label)	0.19	2.0	false(label)	0.42	33	unknown	2.2	110	unknown	2.2	110
loops/matrix_false.i	exception (gremlins)	0.10	5.0	false(label)	0.20	18	false(label)	24	1700	unknown	900	690	false(label)	900	350	unknown	0.12	8.0	false(label)	0.11	2.0	unknown	0.11	3.0	unknown	0.23	2.0	unknown	0.12	8.0	unknown	2.1	110	unknown	2.2	110
loops/nec11_false.i	false(label)	0.11	10.0	false(label)	0.17	16	false(label)	2.0	130	false(label)	1.7	100	false(label)	0.29	12	false(label)	0.25	23	false(label)	0.10	1.00	false(label)	0.10	3.0	unknown	0.20	2.0	false(label)	0.59	97	false(label)	2.9	200	false(label)	2.7	170
loops/nec20_false.i	false(label)	0.38	14	false(label)	0.34	31	false(label)	1.8	120	false(label)	1.6	98	false(label)	0.31	12	false(label)	0.26	24	false(label)	0.09	2.0	unknown	0.10	3.0	unknown	0.20	2.0	false(label)	0.74	110	false(label)	4.2	230	false(label)	3.3	200
loops/s3_false.i	false(label)	33	43	false(label)	40	1000	false(label)	3.1	160	unknown	2.0	110	false(label)	900	1700	false(label)	0.92	29	false(label)	130	2900	unknown	0.12	6.0	true	0.31	5.0	false(label)	4.1	180	unknown	2.3	120	unknown	2.4	130
loops/string_false.i	false(label)	2.5	16	false(label)	0.29	17	false(label)	54	1700	false(label)	1.8	110	false(label)	0.72	18	false(label)	0.30	25	false(label)	0.15	3.0	unknown	0.10	4.0	unknown	0.39	5.0	unknown	0.10	4.0	false(label)	3.5	210	false(label)	9.6	250
loops/sum01_bug02_false.i	false(label)	29	23	false(label)	0.34	16	false(label)	2.2	140	false(label)	1.7	99	false(label)	0.31	12	false(label)	0.42	25	false(label)	0.16	3.0	false(label)	0.10	3.0	timeout	900	160	false(label)	1.5	120	false(label)	15	240	false(label)	9.0	250
loops/sum01_bug02_sum01_bug02_base.case_false.i	false(label)	16	19	false(label)	0.24	16	false(label)	2.0	130	false(label)	1.6	99	false(label)	0.32	12	false(label)	0.34	24	false(label)	0.14	2.0	false(label)	0.09	3.0	timeout	900	160	false(label)	1.0	110	false(label)	6.4	240	false(label)	5.3	240
loops/sum01_false.i	false(label)	44	26	false(label)	0.34	16	false(label)	2.5	160	false(label)	1.6	100	false(label)	0.28	12	false(label)	0.61	27	false(label)	0.18	3.0	false(label)	0.10	3.0	timeout	900	160	false(label)	1.9	140	false(label)	24	250	false(label)	14	250
loops/sum03_false.i	false(label)	8.7	20	false(label)	0.30	16	false(label)	1.9	120	false(label)	1.9	130	false(label)	0.29	12	false(label)	0.36	24	false(label)	0.16	2.0	false(label)	0.10	3.0	false(label)	0.34	2.0	false(label)	1.7	140	false(label)	28	250	false(label)	16	250
loops/sum04_false.i	false(label)	2.1	15	false(label)	0.33	16	false(label)	1.8	120	false(label)	1.7	110	false(label)	0.30	12	false(label)	0.24	18	false(label)	0.10	2.0	false(label)	0.10	3.0	false(label)	0.20	2.0	false(label)	0.45	36	false(label)	6.2	240	false(label)	7.0	240
loops/sum_array_false.i	false(label)	1.1	17	false(label)	0.18	17	false(label)	23	1700	unknown	1.6	99	false(label)	4.8	33	false(label)	0.32	25	false(label)	0.11	3.0	unknown	0.12	3.0	unknown	0.19	2.0	false(label)	1.00	120	unknown	2.2	110	unknown	2.3	110
loops/terminator_01_false.i	false(label)	0.10	10.0	false(label)	0.18	16	false(label)	1.9	120	false(label)	1.6	97	false(label)	0.31	12	false(label)	0.27	23	false(label)	0.12	2.0	false(label)	0.10	3.0	false(label)	0.19	2.0	false(label)	0.62	78	false(label)	3.4	200	false(label)	2.8	190
loops/terminator_02_false.i	false(label)	0.14	10.0	false(label)	0.17	16	false(label)	1.8	120	false(label)	1.6	99	false(label)	0.40	15	false(label)	0.27	24	false(label)	0.10	2.0	false(label)	0.09	3.0	unknown	0.19	2.0	false(label)	0.80	110	false(label)	2.4	140	false(label)	2.6	160
loops/terminator_03_false.i	false(label)	0.26	13	false(label)	0.17	16	false(label)	2.1	140	false(label)	1.6	98	false(label)	0.33	14	false(label)	0.27	24	false(label)	0.10	2.0	false(label)	0.09	3.0	timeout	900	61	false(label)	0.77	100	false(label)	3.1	150	false(label)	2.7	170
loops/trex01_false.i	false(label)	0.11	11	false(label)	0.17	16	false(label)	1.8	120	false(label)	1.6	98	false(label)	0.42	15	false(label)	0.30	24	false(label)	0.10	2.0	false(label)	0.12	3.0	unknown	0.61	2.0	false(label)	0.78	100	false(label)	2.5	150	false(label)	2.8	190
loops/trex02_false.i	false(label)	0.14	10.0	false(label)	0.17	16	false(label)	1.8	120	false(label)	1.6	98	false(label)	0.35	13	false(label)	0.24	23	false(label)	0.11	2.0	false(label)	0.09	3.0	false(label)	0.20	2.0	false(label)	0.57	87	false(label)	2.4	140	false(label)	2.6	160
loops/trex03_false.i	false(label)	0.12	11	false(label)	0.17	16	false(label)	2.1	140	false(label)	1.6	99	false(label)	0.39	16	false(label)	0.32	24	false(label)	0.11	2.0	false(label)	0.09	3.0	unknown	0.20	2.0	false(label)	0.77	110	false(label)	2.5	150	false(label)	3.0	200
loops/verisec_NetBSD-libc__loop_false.i	false(label)	0.91	14	false(label)	0.26	16	false(label)	2.2	140	unknown	1.6	96	false(label)	0.30	12	false(label)	0.29	24	false(label)	0.12	2.0	false(label)	0.10	4.0	false(label)	0.19	2.0	false(label)	0.63	87	unknown	2.1	100	unknown	2.2	110
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false.i	false(label)	69	34	false(label)	0.34	19	false(label)	23	1100	unknown	1.6	99	false(label)	1.1	29	false(label)	0.38	26	false(label)	0.30	9.0	unknown	0.10	5.0	unknown	0.20	2.0	false(label)	0.64	87	unknown	2.2	110	unknown	2.3	110
loops/verisec_sendmail__tTflag_arr_one_loop_false.i	true	0.74	13	false(label)	0.36	18	false(label)	3.2	180	unknown	1.8	130	false(label)	0.79	17	false(label)	31	64	false(label)	0.25	5.0	unknown	0.10	4.0	unknown	0.26	5.0	true	1.0	110	false(label)	3.0	200	true	11	250
loops/vogal_false.i	timeout	920	210	false(label)	0.48	22	false(label)	55	1200	unknown	1.6	98	false(label)	1.4	33	false(label)	0.72	29	false(label)	0.13	3.0	false(label)	0.15	4.0	unknown	0.64	11	false(label)	4.2	190	unknown	2.2	100	unknown	2.5	110
loops/while_infinite_loop_4_false.i	false(label)	0.12	10.0	false(label)	0.17	16	false(label)	1.8	120	false(label)	1.6	97	false(label)	0.28	12	false(label)	0.25	18	false(label)	0.10	2.0	false(label)	0.09	3.0	false(label)	0.20	2.0	false(label)	0.44	35	false(label)	2.4	140	false(label)	2.5	160
loops/array_true.i	true	1.4	14	true	0.54	16	true	2.2	130	false(label)	1.6	98	true	0.27	12	true	0.32	26	true	0.11	2.0	false(label)	0.11	3.0	unknown	0.19	2.0	true	0.67	110	unknown	2.2	110	unknown	2.2	110
loops/bubble_sort_true.i	true	0.10	10.0	true	34	180	true	22	1700	unknown	900	690	true	0.63	14	true	0.23	17	true	0.10	2.0	unknown	0.16	4.0	true	0.20	2.0	true	0.43	36	unknown	2.1	100	unknown	2.2	110
loops/count_up_down_true.i	false(label)	0.10	10.0	true	0.62	18	timeout	900	4200	false(label)	1.6	98	true	0.28	12	true	0.22	17	true	0.26	3.0	false(label)	0.09	3.0	true	0.19	2.0	true	0.43	36	false(label)	2.6	140	false(label)	2.5	150
loops/eureka_01_true.i	timeout	920	620	true	0.70	18	timeout	900	1000	true	22	460	true	0.24	12	timeout	920	1500	true	0.45	5.0	true	8.2	11	true	0.19	2.0	false(label)	95	280	timeout	920	1500	timeout	920	990
loops/eureka_05_true.i	false(label)	13	20	true	0.54	16	true	14	230	true	5.7	450	true	0.31	12	timeout	920	1200	true	0.14	2.0	true	0.19	3.0	true	0.20	2.0	false(label)	2.8	170	timeout	910	550	timeout	920	440
loops/for_infinite_loop_1_true.i	true	0.10	9.0	true	0.56	16	true	22	1700	timeout	900	660	true	0.24	11	true	0.40	17	true	0.19	2.0	true	0.18	3.0	timeout	900	2.0	true	0.43	36	true	2.7	140	true	3.7	170
loops/for_infinite_loop_2_true.i	true	0.12	9.0	true	0.53	16	true	22	1700	unknown	900	630	true	0.23	12	true	0.25	17	true	0.19	2.0	true	0.17	3.0	timeout	900	2.0	true	0.43	37	true	2.4	140	true	2.7	170
loops/insertion_sort_true.i	false(label)	6.6	15	true	850	3700	timeout	900	1700	unknown	1.6	98	unknown	900	110	timeout	920	170	timeout	920	180	unknown	0.11	3.0	unknown	0.36	2.0	false(label)	0.80	110	unknown	2.1	110	unknown	2.3	110
loops/invert_string_true.i	false(label)	2.7	24	true	0.61	16	true	8.0	200	unknown	1.6	100	true	0.29	12	timeout	920	72	true	0.21	2.0	unknown	0.09	3.0	unknown	0.19	2.0	false(label)	0.64	82	unknown	2.1	110	unknown	2.2	110
loops/linear_sea.ch_true.i	false(label)	0.10	11	true	0.78	21	exception	23	1100	false(label)	1.6	99	true	0.32	12	timeout	920	220	true	0.43	8.0	unknown	0.14	3.0	unknown	0.20	2.0	false(label)	0.63	83	unknown	2.2	110	unknown	2.3	120
loops/lu.cmp_true.i	true	72	66	true	0.77	16	true	1.9	100	true	23	470	true	0.32	13	true	0.99	30	true	0.30	10.0	true	1.3	10.0	true	0.19	2.0	true	0.83	110	unknown	2.3	110	unknown	2.2	110
loops/matrix_true.i	exception (gremlins)	0.09	5.0	true	0.55	16	true	4.9	170	false(label)	1.6	99	true	0.27	12	unknown	0.14	8.0	true	0.10	2.0	false(label)	0.10	4.0	unknown	0.19	2.0	unknown	0.11	8.0	unknown	2.1	110	unknown	2.3	110
loops/n.c11_true.i	true	1.3	15	true	0.57	16	true	1.6	95	true	1.7	110	true	0.31	12	true	0.35	26	true	0.17	2.0	true	0.12	3.0	unknown	0.19	2.0	true	0.80	95	true	8.9	240	true	5.1	240
loops/n.c24_true.i	timeout	920	220	true	1.1	18	timeout	900	3300	unknown	560	560	true	0.25	14	timeout	920	11000	timeout	920	13000	false(label)	0.10	4.0	timeout	900	1700	timeout	920	740	unknown	2.1	110	unknown	2.2	110
loops/n.c40_true.i	false(label)	0.47	13	true	0.54	16	false(label)	8.4	210	false(label)	1.6	95	true	0.27	12	true	0.42	17	true	0.20	2.0	true	0.11	3.0	true	0.35	2.0	true	0.45	36	unknown	2.2	110	unknown	2.3	110
loops/nec40_true.i	false(label)	0.51	13	true	0.54	16	false(label)	1.9	130	false(label)	1.6	99	true	0.22	11	true	0.23	18	true	0.10	2.0	true	0.12	3.0	true	0.19	2.0	true	0.41	38	unknown	2.2	110	unknown	2.2	110
loops/string_true.i	true	1.3	14	true	0.81	23	true	53	1700	false(label)	1.8	110	true	0.35	13	true	0.25	18	true	0.27	8.0	unknown	1.2	6.0	unknown	0.38	5.0	unknown	0.10	4.0	false(label)	3.6	210	true	12	250
loops/sum01_true.i	true	2.0	15	true	0.58	16	timeout	900	4100	false(label)	1.6	99	true	0.32	12	timeout	920	500	true	0.19	3.0	false(label)	0.09	3.0	true	0.19	2.0	true	1.1	120	timeout	920	340	timeout	920	300
loops/sum03_true.i	true	0.31	13	true	0.55	16	true	53	1700	unknown	900	820	true	0.22	11	true	0.41	18	true	0.19	2.0	false(label)	0.09	3.0	timeout	900	2.0	true	0.44	38	timeout	920	370	timeout	920	370
loops/sum04_true.i	true	1.6	16	true	0.53	16	true	1.6	95	true	1.7	100	true	0.21	11	true	0.22	18	true	0.09	2.0	true	0.12	3.0	true	0.37	2.0	true	0.42	36	true	11	240	true	9.1	240
loops/sum_array_true.i	false(label)	1.1	16	true	39	590	timeout	900	2600	unknown	1.6	99	true	2.9	29	timeout	920	640	true	13	77	unknown	0.11	3.0	unknown	0.19	2.0	false(label)	1.00	120	unknown	2.6	110	unknown	2.2	110
loops/terminator_02_true.i	true	1.3	16	true	0.90	24	true	2.0	130	false(label)	1.6	98	true	0.31	14	true	0.56	27	true	0.11	2.0	true	0.12	3.0	unknown	0.19	2.0	true	0.81	110	true	2.6	160	true	2.9	190
loops/terminator_03_true.i	true	0.57	14	true	0.66	19	true	2.0	130	false(label)	1.6	98	true	0.37	14	true	0.34	26	true	0.32	5.0	true	0.12	3.0	timeout	900	72	true	0.61	81	true	3.2	160	true	3.0	190
loops/trex01_true.i	true	1.4	14	true	1.1	25	true	53	1100	unknown	900	800	true	0.38	15	timeout	920	1300	true	0.36	6.0	false(label)	0.10	4.0	unknown	0.34	2.0	true	1.0	120	true	3.3	170	true	3.4	200
loops/trex02_true.i	true	0.21	13	true	0.68	20	true	2.0	130	false(label)	1.6	98	true	0.34	13	true	0.42	17	true	0.24	4.0	true	0.14	3.0	true	0.19	2.0	true	0.41	34	true	3.0	150	true	2.8	170
loops/trex03_true.i	false(label)	0.14	11	true	1.4	31	true	2.1	140	false(label)	1.6	99	true	0.34	15	true	0.42	27	true	0.40	8.0	true	0.12	3.0	unknown	0.19	2.0	true	0.89	110	false(label)	2.8	150	false(label)	3.0	200
loops/trex04_true.i	true	0.65	16	true	0.66	19	true	2.2	140	false(label)	1.6	99	true	2.4	17	true	0.37	27	true	0.29	4.0	true	0.11	3.0	unknown	0.19	2.0	true	0.66	100	true	3.3	170	true	3.1	200
loops/veris.c_NetBSD-libc__loop_true.i	true	0.37	13	true	0.62	17	true	2.1	130	unknown	1.6	95	true	0.33	12	true	0.21	17	true	0.10	2.0	true	0.13	3.0	true	0.20	2.0	true	0.42	35	unknown	2.9	110	unknown	2.2	110
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true.i	true	0.14	10.0	true	73	100	true	22	1100	unknown	1.6	100	true	0.38	13	true	0.23	17	true	1.5	32	unknown	120	520	true	0.19	2.0	true	0.44	35	unknown	2.6	110	unknown	2.3	110
loops/veris.c_sendmail__tTflag_arr_one_loop_true.i	true	0.43	13	true	0.63	16	true	23	1100	unknown	1.6	96	true	0.31	12	true	0.22	17	true	0.17	3.0	unknown	0.11	4.0	true	0.20	2.0	true	0.43	36	false(label)	2.7	170	true	4.2	230
loops/vogal_true.i	timeout	920	150	true	0.92	23	timeout	900	1800	unknown	1.6	97	true	0.34	14	timeout	920	96	true	0.18	3.0	unknown	8.8	15	unknown	0.20	2.0	unknown	0.10	4.0	unknown	2.5	100	unknown	2.2	110
loops/while_infinite_loop_1_true.i	true	0.10	9.0	true	0.52	16	true	1.6	94	true	1.5	98	true	0.20	11	true	0.42	17	true	0.18	2.0	true	0.16	3.0	timeout	900	2.0	true	0.42	35	true	3.0	140	true	2.7	170
loops/while_infinite_loop_2_true.i	true	0.12	9.0	true	0.53	16	true	1.6	94	true	1.6	96	true	0.22	11	true	0.22	17	true	0.18	2.0	true	0.19	3.0	timeout	900	2.0	true	0.42	36	true	2.4	140	true	2.7	160
loops/while_infinite_loop_3_true.i	true	0.11	9.0	true	0.56	16	true	1.6	94	true	1.5	97	true	0.22	11	true	0.21	17	true	0.20	2.0	true	0.16	3.0	timeout	900	2.0	true	0.43	35	true	2.5	140	true	3.3	160
product-lines/elevator_spec14_product20_false.cil.c	false(label)	760	420	false(label)	0.33	28	false(label)	5.2	370	false(label)	2.9	140	false(label)	0.68	37	false(label)	1.1	54	false(label)	1.2	100	false(label)	0.40	10.0	false(label)	2.1	61	false(label)	1.2	55	unknown	2.7	110	unknown	2.3	120
product-lines/elevator_spec14_product24_false.cil.c	exception (gremlins)	2.0	32	false(label)	0.31	28	false(label)	5.1	410	false(label)	3.0	150	false(label)	0.71	38	false(label)	1.5	69	false(label)	1.5	150	false(label)	0.42	10.0	false(label)	2.2	65	false(label)	1.7	69	unknown	3.0	120	unknown	2.5	130
product-lines/elevator_spec14_product28_false.cil.c	false(label)	820	420	false(label)	0.30	28	false(label)	6.0	370	false(label)	3.0	140	false(label)	0.69	38	false(label)	1.1	53	false(label)	1.1	110	false(label)	0.38	10.0	false(label)	2.3	63	false(label)	1.3	53	unknown	2.8	120	unknown	2.5	130
product-lines/elevator_spec14_product32_false.cil.c	exception (gremlins)	2.0	32	false(label)	0.32	28	false(label)	5.1	410	false(label)	3.0	150	false(label)	0.67	38	false(label)	1.6	71	false(label)	1.5	150	false(label)	0.42	10.0	false(label)	2.3	67	false(label)	1.7	71	unknown	3.0	110	unknown	2.4	120
product-lines/elevator_spec14_productSimulator_false.cil.c	exception (gremlins)	210	300	false(label)	38	170	false(label)	6.8	450	false(label)	3.1	170	false(label)	900	880	false(label)	5.6	210	false(label)	20	500	false(label)	0.40	11	false(label)	3.1	77	false(label)	14	460	unknown	3.1	120	unknown	2.6	130
product-lines/elevator_spec1_product18_false.cil.c	timeout	920	300	false(label)	0.53	28	false(label)	4.9	390	false(label)	3.4	190	false(label)	0.69	38	false(label)	1.7	37	false(label)	1.9	80	false(label)	0.41	11	false(label)	2.0	60	false(label)	5.5	190	unknown	2.6	110	unknown	2.4	120
product-lines/elevator_spec1_product20_false.cil.c	timeout	920	390	false(label)	0.58	28	false(label)	5.8	430	false(label)	3.4	190	false(label)	0.68	38	false(label)	1.8	38	false(label)	1.6	83	false(label)	0.37	11	false(label)	2.3	65	false(label)	5.6	190	unknown	2.8	120	unknown	2.4	120
product-lines/elevator_spec1_product22_false.cil.c	exception (gremlins)	3.4	52	false(label)	0.54	28	false(label)	5.9	430	false(label)	3.5	190	false(label)	0.68	38	false(label)	2.4	44	false(label)	2.4	120	false(label)	0.38	11	false(label)	2.2	64	false(label)	7.3	210	unknown	2.8	110	unknown	2.3	120
product-lines/elevator_spec1_product24_false.cil.c	exception (gremlins)	3.3	47	false(label)	0.56	29	false(label)	6.8	490	false(label)	3.5	190	false(label)	0.72	39	false(label)	2.4	45	false(label)	2.5	120	false(label)	0.38	11	false(label)	2.3	70	false(label)	7.5	220	unknown	2.9	110	unknown	2.6	120
product-lines/elevator_spec1_product26_false.cil.c	timeout	920	290	false(label)	0.54	28	false(label)	6.3	390	false(label)	3.4	190	false(label)	0.67	38	false(label)	2.0	38	false(label)	1.6	83	false(label)	0.42	11	false(label)	2.1	61	false(label)	5.7	190	unknown	2.9	120	unknown	2.5	120
product-lines/elevator_spec1_product28_false.cil.c	timeout	920	290	false(label)	0.54	28	false(label)	6.1	430	false(label)	3.5	190	false(label)	0.72	39	false(label)	1.8	38	false(label)	2.1	86	false(label)	0.42	11	false(label)	2.3	67	false(label)	5.8	190	unknown	2.7	120	unknown	2.5	130
product-lines/elevator_spec1_product30_false.cil.c	exception (gremlins)	3.8	64	false(label)	0.54	28	false(label)	6.0	430	false(label)	3.4	190	false(label)	0.70	39	false(label)	3.0	46	false(label)	2.5	120	false(label)	0.38	11	false(label)	2.3	66	false(label)	7.4	210	unknown	2.4	110	unknown	2.3	120
product-lines/elevator_spec1_product32_false.cil.c	exception (gremlins)	3.6	53	false(label)	0.55	29	false(label)	6.9	490	false(label)	3.5	190	false(label)	0.74	39	false(label)	2.8	48	false(label)	2.5	120	false(label)	0.38	11	false(label)	2.4	72	false(label)	7.4	230	unknown	2.5	120	unknown	2.5	130
product-lines/elevator_spec1_productSimulator_false.cil.c	timeout	920	810	false(label)	310	420	false(label)	6.3	550	false(label)	3.7	190	false(label)	900	1000	false(label)	20	120	false(label)	18	370	false(label)	0.32	12	false(label)	3.5	81	false(label)	30	450	unknown	2.4	110	unknown	2.4	120
product-lines/elevator_spec2_product18_false.cil.c	timeout	920	410	false(label)	0.54	28	false(label)	5.7	400	false(label)	3.3	190	false(label)	0.68	38	false(label)	1.2	33	false(label)	1.5	82	false(label)	0.43	10.0	false(label)	1.9	60	false(label)	3.5	160	unknown	2.4	120	unknown	2.5	130
product-lines/elevator_spec2_product20_false.cil.c	timeout	920	370	false(label)	0.54	28	false(label)	5.7	420	false(label)	3.4	190	false(label)	0.69	39	false(label)	1.3	33	false(label)	1.6	84	false(label)	0.37	11	false(label)	2.1	65	false(label)	3.5	160	unknown	2.9	120	unknown	2.5	120
product-lines/elevator_spec2_product22_false.cil.c	exception (gremlins)	3.4	49	false(label)	0.54	28	false(label)	5.5	430	false(label)	3.4	190	false(label)	0.68	38	false(label)	1.7	41	false(label)	2.8	120	false(label)	0.39	11	false(label)	2.0	64	false(label)	5.0	180	unknown	2.6	120	unknown	2.5	120
product-lines/elevator_spec2_product24_false.cil.c	exception (gremlins)	3.5	45	false(label)	0.54	28	false(label)	8.4	490	false(label)	3.5	190	false(label)	0.71	39	false(label)	1.8	42	false(label)	3.2	120	false(label)	0.37	11	false(label)	2.2	70	false(label)	4.6	190	unknown	2.8	120	unknown	2.6	130
product-lines/elevator_spec2_product26_false.cil.c	timeout	920	410	false(label)	0.54	28	false(label)	5.0	400	false(label)	3.3	190	false(label)	0.67	38	false(label)	1.2	33	false(label)	1.7	85	false(label)	0.38	11	false(label)	2.0	61	false(label)	2.9	160	unknown	3.1	120	unknown	2.5	130
product-lines/elevator_spec2_product28_false.cil.c	timeout	920	370	false(label)	0.54	28	false(label)	5.3	420	false(label)	3.4	190	false(label)	0.68	39	false(label)	1.4	33	false(label)	2.0	88	false(label)	0.39	11	false(label)	2.3	67	false(label)	3.6	170	unknown	3.0	120	unknown	3.2	130
product-lines/elevator_spec2_product30_false.cil.c	exception (gremlins)	3.9	58	false(label)	0.54	28	false(label)	5.9	430	false(label)	3.4	190	false(label)	0.69	39	false(label)	1.8	42	false(label)	3.2	120	false(label)	0.39	11	false(label)	2.1	66	false(label)	4.8	190	unknown	2.7	120	unknown	2.6	130
product-lines/elevator_spec2_product32_false.cil.c	exception (gremlins)	3.8	50	false(label)	0.55	28	false(label)	6.1	490	false(label)	3.5	190	false(label)	0.72	39	false(label)	1.7	43	false(label)	3.1	130	false(label)	0.37	11	false(label)	2.3	72	false(label)	4.7	190	unknown	2.9	120	unknown	2.5	120
product-lines/elevator_spec2_productSimulator_false.cil.c	timeout	920	700	false(label)	230	320	false(label)	5.9	530	false(label)	3.6	190	false(label)	900	1000	false(label)	8.4	110	false(label)	22	380	false(label)	0.36	13	false(label)	3.3	81	false(label)	11	320	unknown	2.6	120	unknown	2.4	120
product-lines/elevator_spec3_product03_false.cil.c	false(label)	0.40	63	false(label)	0.42	29	false(label)	5.1	420	false(label)	3.2	180	false(label)	0.90	40	false(label)	0.61	30	false(label)	0.62	52	false(label)	0.31	11	false(label)	2.0	62	false(label)	0.79	43	unknown	2.8	110	unknown	2.3	120
product-lines/elevator_spec3_product11_false.cil.c	false(label)	0.42	63	false(label)	0.40	28	false(label)	6.0	420	false(label)	3.2	180	false(label)	0.89	40	false(label)	0.69	31	false(label)	0.63	55	false(label)	0.32	11	false(label)	2.0	63	false(label)	0.82	36	unknown	2.9	110	unknown	2.3	120
product-lines/elevator_spec3_product19_false.cil.c	false(label)	0.43	64	false(label)	0.39	29	false(label)	5.3	400	false(label)	3.2	180	false(label)	0.89	40	false(label)	0.64	32	false(label)	0.62	56	false(label)	0.30	11	false(label)	2.2	63	false(label)	0.83	38	unknown	2.9	110	unknown	2.5	120
product-lines/elevator_spec3_product20_false.cil.c	false(label)	0.48	69	false(label)	0.41	29	false(label)	5.6	440	false(label)	3.3	180	false(label)	0.91	41	false(label)	1.1	52	false(label)	0.98	110	false(label)	0.35	11	false(label)	2.3	66	false(label)	1.3	52	unknown	3.1	120	unknown	2.5	130
product-lines/elevator_spec3_product23_false.cil.c	exception (gremlins)	0.99	28	false(label)	0.42	29	false(label)	7.3	460	false(label)	3.3	180	false(label)	0.95	41	false(label)	0.86	45	false(label)	0.86	78	false(label)	0.30	11	false(label)	2.3	69	false(label)	1.0	45	unknown	2.7	120	unknown	2.5	130
product-lines/elevator_spec3_product24_false.cil.c	exception (gremlins)	1.0	28	false(label)	0.44	29	false(label)	6.5	510	false(label)	3.3	180	false(label)	0.97	42	false(label)	1.6	70	false(label)	1.3	150	false(label)	0.39	11	false(label)	2.5	71	false(label)	1.7	71	unknown	2.9	120	unknown	2.5	130
product-lines/elevator_spec3_product27_false.cil.c	false(label)	0.43	64	false(label)	0.40	29	false(label)	5.8	420	false(label)	3.2	180	false(label)	0.93	40	false(label)	0.67	33	false(label)	0.65	58	false(label)	0.29	11	false(label)	2.1	65	false(label)	0.82	37	unknown	2.7	120	unknown	2.5	130
product-lines/elevator_spec3_product28_false.cil.c	false(label)	0.43	70	false(label)	0.41	29	false(label)	5.9	440	false(label)	3.3	180	false(label)	0.95	41	false(label)	1.1	54	false(label)	1.0	110	false(label)	0.35	11	false(label)	2.3	68	false(label)	1.3	54	unknown	2.9	120	unknown	3.1	130
product-lines/elevator_spec3_product31_false.cil.c	exception (gremlins)	0.98	28	false(label)	0.42	29	false(label)	5.8	460	false(label)	3.3	180	false(label)	0.94	41	false(label)	0.89	46	false(label)	0.83	80	false(label)	0.30	11	false(label)	2.3	71	false(label)	1.1	47	unknown	2.7	110	unknown	2.4	120
product-lines/elevator_spec3_product32_false.cil.c	exception (gremlins)	1.0	28	false(label)	0.43	29	false(label)	6.6	500	false(label)	3.3	180	false(label)	0.95	42	false(label)	1.6	72	false(label)	1.4	150	false(label)	0.36	11	false(label)	2.5	73	false(label)	1.8	72	unknown	2.8	110	unknown	2.4	120
product-lines/elevator_spec3_productSimulator_false.cil.c	exception (gremlins)	760	270	false(label)	200	320	false(label)	6.6	510	false(label)	3.4	180	unknown	900	1100	false(label)	6.1	210	false(label)	31	510	false(label)	0.59	17	false(label)	3.2	82	false(label)	12	300	unknown	2.8	110	unknown	2.4	120
product-lines/elevator_spec9_product26_false.cil.c	timeout	920	560	false(label)	0.52	28	false(label)	4.8	390	false(label)	3.4	190	false(label)	0.68	38	false(label)	1.2	33	false(label)	1.6	85	false(label)	0.40	11	false(label)	1.9	61	false(label)	3.5	170	unknown	2.5	110	unknown	2.4	120
product-lines/elevator_spec9_product28_false.cil.c	timeout	920	400	false(label)	0.54	28	false(label)	5.4	410	false(label)	3.4	190	false(label)	0.69	38	false(label)	1.2	33	false(label)	2.3	88	false(label)	0.38	11	false(label)	2.1	66	false(label)	3.9	160	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec9_product30_false.cil.c	exception (gremlins)	110	150	false(label)	0.55	28	false(label)	5.7	420	false(label)	3.4	190	false(label)	0.68	38	false(label)	1.8	42	false(label)	2.2	120	false(label)	0.42	11	false(label)	2.0	65	false(label)	4.7	190	unknown	2.9	110	unknown	2.4	120
product-lines/elevator_spec9_product32_false.cil.c	exception (gremlins)	160	170	false(label)	0.56	29	false(label)	7.0	480	false(label)	3.5	190	false(label)	0.70	39	false(label)	2.0	43	false(label)	3.4	130	false(label)	0.38	11	false(label)	2.3	71	false(label)	4.8	180	unknown	2.9	120	unknown	2.5	130
product-lines/elevator_spec9_productSimulator_false.cil.c	timeout	920	1000	false(label)	220	320	false(label)	7.4	520	false(label)	3.6	190	false(label)	900	1000	false(label)	9.0	110	false(label)	21	380	false(label)	0.35	12	false(label)	3.2	80	false(label)	15	350	unknown	2.5	110	unknown	2.3	120
product-lines/elevator_spec13_product21_true.cil.c	exception (gremlins)	1.9	37	true	1.9	27	true	2.6	120	unknown	900	1300	true	0.70	37	timeout	920	15000	true	32	1200	true	1.5	11	timeout	900	62	true	190	970	unknown	2.9	120	unknown	2.5	130
product-lines/elevator_spec13_product22_true.cil.c	exception (gremlins)	1.9	37	true	2.0	27	true	2.6	120	unknown	900	1300	true	0.72	37	timeout	920	15000	true	39	1400	true	1.5	12	timeout	900	64	true	170	1000	unknown	2.7	110	unknown	2.4	120
product-lines/elevator_spec13_product23_true.cil.c	exception (gremlins)	2.0	36	true	2.0	28	true	2.7	120	false(label)	68	740	true	0.73	38	timeout	920	15000	true	32	1200	true	1.4	12	timeout	900	68	true	170	1000	unknown	2.7	120	unknown	2.5	130
product-lines/elevator_spec13_product24_true.cil.c	exception (gremlins)	2.0	36	true	2.0	28	true	2.7	120	false(label)	48	670	true	0.70	38	timeout	920	15000	true	40	1400	true	1.5	12	timeout	900	70	true	190	1200	unknown	2.9	110	unknown	2.3	120
product-lines/elevator_spec13_product29_true.cil.c	exception (gremlins)	2.4	40	true	1.9	27	true	2.7	120	timeout	900	1300	true	0.69	37	timeout	920	15000	true	33	1200	true	1.5	11	timeout	900	64	true	180	1000	unknown	2.7	120	unknown	2.6	130
product-lines/elevator_spec13_product30_true.cil.c	exception (gremlins)	2.3	41	true	2.0	27	true	2.6	120	unknown	900	1300	true	0.69	38	timeout	920	15000	true	48	1400	true	1.5	12	timeout	900	66	true	150	1000	unknown	2.8	120	unknown	2.5	130
product-lines/elevator_spec13_product31_true.cil.c	exception (gremlins)	2.3	39	true	1.9	27	true	2.7	120	false(label)	69	710	true	0.70	38	timeout	920	15000	true	28	1200	true	1.4	12	timeout	900	70	true	150	970	unknown	2.7	110	unknown	2.5	120
product-lines/elevator_spec13_product32_true.cil.c	exception (gremlins)	2.4	39	true	2.0	28	true	2.7	120	false(label)	48	670	true	0.71	38	timeout	920	15000	true	44	1400	true	1.5	12	timeout	900	72	true	260	1200	unknown	3.0	120	unknown	2.4	120
product-lines/elevator_spec13_productSimulator_true.cil.c	exception (gremlins)	2.9	66	true	850	510	true	4.7	180	false(label)	57	730	true	490	4600	timeout	920	11000	timeout	920	840	true	3.4	14	timeout	900	81	timeout	920	3300	unknown	2.6	110	unknown	2.3	120
product-lines/elevator_spec14_product03_true.cil.c	timeout	920	370	true	2.8	27	true	2.9	120	true	5.6	400	true	0.82	37	true	1.8	36	true	5.2	140	true	0.29	12	true	2.1	57	true	3.9	180	unknown	2.8	120	unknown	2.4	120
product-lines/elevator_spec14_product11_true.cil.c	timeout	920	380	true	2.7	27	true	2.9	120	true	5.7	380	true	0.82	37	true	2.1	37	true	4.5	150	true	0.28	12	true	1.9	58	true	8.4	210	unknown	2.6	110	unknown	2.4	120
product-lines/elevator_spec14_product19_true.cil.c	timeout	920	560	true	2.8	27	true	3.0	130	true	5.8	380	true	0.83	37	true	1.9	36	true	4.0	150	true	0.28	13	true	2.1	59	true	6.5	200	unknown	2.9	120	unknown	2.4	120
product-lines/elevator_spec14_product23_true.cil.c	exception (gremlins)	2.0	31	true	3.5	27	true	3.0	130	true	140	1000	true	0.86	38	true	2.5	43	true	8.0	240	true	0.28	12	true	2.1	64	true	6.8	270	unknown	2.9	110	unknown	2.4	120
product-lines/elevator_spec14_product27_true.cil.c	timeout	920	410	true	2.9	27	true	3.0	130	true	5.7	370	true	0.84	37	true	2.0	37	true	4.4	160	true	0.29	12	true	2.1	60	true	7.7	210	unknown	2.5	120	unknown	2.6	130
product-lines/elevator_spec14_product31_true.cil.c	exception (gremlins)	1.9	32	true	3.5	27	true	3.0	130	true	140	1000	true	0.83	38	true	4.7	59	true	9.5	240	true	0.29	12	true	2.1	66	true	7.9	290	unknown	2.9	110	unknown	2.5	120
product-lines/elevator_spec1_product01_true.cil.c	timeout	920	380	true	2.2	27	true	2.8	120	true	6.0	400	true	0.77	37	true	5.4	36	true	3.0	110	true	0.30	12	true	1.6	55	true	48	270	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec1_product03_true.cil.c	timeout	920	300	true	2.5	27	true	2.9	120	true	6.1	410	true	0.78	38	true	5.5	37	true	2.6	120	true	0.28	12	true	2.0	61	true	40	290	unknown	2.5	110	unknown	2.4	120
product-lines/elevator_spec1_product09_true.cil.c	timeout	920	380	true	2.2	27	true	3.1	120	true	6.0	400	true	0.77	37	true	6.4	40	true	3.0	120	true	0.29	12	true	1.5	56	true	61	290	unknown	2.6	110	unknown	2.3	120
product-lines/elevator_spec1_product11_true.cil.c	timeout	920	280	true	2.5	28	true	2.9	120	true	6.1	410	true	0.79	38	timeout	920	1100	true	3.0	120	true	0.28	13	true	2.0	63	true	78	270	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec1_product17_true.cil.c	timeout	920	400	true	2.3	27	true	2.8	120	true	5.8	380	true	0.79	37	true	5.0	36	true	3.6	120	true	0.30	12	true	1.7	56	true	46	240	unknown	2.5	120	unknown	2.4	120
product-lines/elevator_spec1_product19_true.cil.c	timeout	920	280	true	2.6	28	true	2.9	120	true	5.7	380	true	0.84	38	true	5.5	37	true	3.7	130	true	0.27	13	true	2.3	63	true	59	260	unknown	2.7	120	unknown	2.6	130
product-lines/elevator_spec1_product21_true.cil.c	exception (gremlins)	4.5	77	true	2.5	28	true	2.9	120	false(label)	14	560	true	0.83	38	timeout	920	930	true	4.1	170	true	0.28	13	true	2.0	63	true	210	340	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec1_product23_true.cil.c	exception (gremlins)	37	150	true	2.8	28	true	2.9	130	false(label)	15	580	true	0.85	38	true	53	120	true	4.1	180	true	0.28	13	true	2.3	68	true	50	290	unknown	2.4	110	unknown	2.3	120
product-lines/elevator_spec1_product25_true.cil.c	timeout	920	300	true	2.3	27	true	2.8	120	true	5.9	380	true	0.77	37	true	6.4	38	true	3.3	130	true	0.30	12	true	1.6	58	true	68	290	unknown	2.5	110	unknown	2.4	120
product-lines/elevator_spec1_product27_true.cil.c	timeout	920	340	true	2.6	28	true	3.0	120	true	5.9	400	true	0.83	38	true	4.9	38	true	3.9	130	true	0.27	13	true	2.1	64	true	45	240	unknown	2.4	120	unknown	3.0	120
product-lines/elevator_spec1_product29_true.cil.c	exception (gremlins)	4.5	79	true	2.5	28	true	2.9	130	false(label)	14	570	true	0.80	38	true	22	50	true	5.6	180	true	0.27	13	true	2.0	65	true	180	320	unknown	2.5	120	unknown	2.5	130
product-lines/elevator_spec1_product31_true.cil.c	exception (gremlins)	37	160	true	2.9	28	true	3.0	130	false(label)	15	580	true	0.89	39	true	51	120	true	4.3	190	true	0.28	13	true	2.5	70	true	36	280	unknown	2.4	110	unknown	2.4	120
product-lines/elevator_spec2_product01_true.cil.c	timeout	920	380	true	1.7	27	true	2.7	120	true	3.9	210	true	0.66	37	true	27	92	true	1.1	69	true	0.35	11	true	1.5	55	true	16	230	unknown	2.9	110	unknown	2.5	120
product-lines/elevator_spec2_product03_true.cil.c	timeout	920	400	true	1.8	27	true	2.7	120	true	3.9	220	true	0.72	38	true	2.9	33	true	1.6	71	true	0.32	12	true	1.9	61	true	24	240	unknown	2.7	110	unknown	2.4	120
product-lines/elevator_spec2_product09_true.cil.c	timeout	920	290	true	1.7	27	true	2.7	120	true	3.9	210	true	0.69	37	true	2.5	33	true	1.7	72	true	0.33	12	true	1.6	56	true	20	250	unknown	2.9	120	unknown	2.5	130
product-lines/elevator_spec2_product11_true.cil.c	timeout	920	400	true	1.8	27	true	2.7	120	true	4.1	220	true	0.73	38	true	3.0	33	true	1.2	75	true	0.34	12	true	2.0	62	true	25	260	unknown	3.0	110	unknown	2.4	120
product-lines/elevator_spec2_product17_true.cil.c	timeout	920	390	true	1.7	27	true	2.7	120	true	3.8	210	true	0.66	37	true	2.8	33	true	1.7	73	true	0.33	12	true	1.6	56	true	24	250	unknown	2.8	120	unknown	2.5	130
product-lines/elevator_spec2_product19_true.cil.c	timeout	920	540	true	1.9	27	true	2.8	120	true	4.0	220	true	0.72	38	true	2.2	32	true	1.6	76	true	0.31	12	true	2.0	63	true	16	240	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec2_product21_true.cil.c	exception (gremlins)	4.5	67	true	1.7	27	true	2.7	120	false(label)	19	570	true	0.67	38	timeout	920	1100	true	2.0	110	true	0.33	12	true	2.0	63	true	30	270	unknown	2.4	110	unknown	2.3	120
product-lines/elevator_spec2_product23_true.cil.c	exception (gremlins)	55	220	true	1.8	28	true	2.7	120	false(label)	20	590	true	0.71	38	true	6.0	37	true	2.5	110	true	0.32	12	true	2.4	68	true	22	230	unknown	2.5	110	unknown	2.4	120
product-lines/elevator_spec2_product25_true.cil.c	timeout	920	420	true	1.7	27	true	2.7	120	true	3.9	210	true	0.69	37	true	2.6	33	true	1.6	77	true	0.33	12	true	1.7	58	true	19	250	unknown	2.4	120	unknown	2.5	130
product-lines/elevator_spec2_product27_true.cil.c	timeout	920	400	true	1.9	27	true	2.7	120	true	4.0	220	true	0.71	38	true	2.5	34	true	1.3	79	true	0.33	12	true	2.2	65	true	19	250	unknown	2.3	110	unknown	2.4	120
product-lines/elevator_spec2_product29_true.cil.c	exception (gremlins)	4.4	70	true	1.8	27	true	2.7	120	false(label)	18	570	true	0.72	38	true	5.6	37	true	2.6	110	true	0.32	12	true	2.1	65	true	35	270	unknown	2.5	120	unknown	2.5	130
product-lines/elevator_spec2_product31_true.cil.c	exception (gremlins)	58	270	true	1.9	28	true	2.7	120	false(label)	20	600	true	0.74	39	true	4.9	36	true	2.7	110	true	0.31	12	true	2.6	70	true	42	280	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec3_product01_true.cil.c	timeout	920	380	true	3.2	27	true	3.1	130	true	7.8	490	true	0.86	37	true	1.3	32	true	4.7	160	true	0.29	13	true	1.6	56	true	1.6	130	unknown	2.6	120	unknown	2.5	120
product-lines/elevator_spec3_product09_true.cil.c	timeout	920	380	true	3.2	27	true	3.1	130	true	7.9	490	true	0.88	37	true	1.3	32	true	5.1	170	true	0.30	13	true	1.6	58	true	1.7	130	unknown	2.6	120	unknown	2.5	130
product-lines/elevator_spec3_product17_true.cil.c	timeout	920	390	true	3.2	27	true	3.0	130	true	6.7	480	true	0.84	37	true	1.3	32	true	5.0	170	true	0.30	13	true	1.7	58	true	1.7	130	unknown	2.4	120	unknown	2.4	120
product-lines/elevator_spec3_product18_true.cil.c	timeout	920	270	true	3.4	27	true	3.1	130	true	6.7	480	true	0.86	38	true	2.4	47	true	9.6	320	true	0.34	14	true	2.1	61	true	2.8	150	unknown	2.8	110	unknown	2.4	120
product-lines/elevator_spec3_product21_true.cil.c	exception (gremlins)	2.9	44	true	3.8	28	true	3.1	130	true	50	830	true	0.91	38	true	1.9	43	true	7.3	240	true	0.32	14	true	2.0	64	true	2.2	140	unknown	2.4	120	unknown	2.5	130
product-lines/elevator_spec3_product22_true.cil.c	exception (gremlins)	3.0	46	true	4.0	28	true	3.1	130	true	51	870	true	0.94	38	true	3.4	68	true	15	460	true	0.35	14	true	2.2	65	true	3.7	160	unknown	2.4	110	unknown	2.3	120
product-lines/elevator_spec3_product25_true.cil.c	timeout	920	390	true	3.2	27	true	3.0	130	true	6.7	480	true	0.86	38	true	1.4	33	true	5.4	180	true	0.30	13	true	1.7	59	true	1.7	130	unknown	3.0	110	unknown	2.3	120
product-lines/elevator_spec3_product26_true.cil.c	timeout	920	270	true	3.4	27	true	3.1	130	true	6.7	480	true	0.86	38	true	2.4	52	true	11	330	true	0.35	14	true	2.1	62	true	2.8	160	unknown	2.8	120	unknown	2.5	130
product-lines/elevator_spec3_product29_true.cil.c	exception (gremlins)	2.9	44	true	3.9	28	true	3.1	130	true	51	840	true	0.93	38	true	1.9	44	true	7.7	250	true	0.32	14	true	2.0	65	true	2.4	140	unknown	2.8	110	unknown	2.4	120
product-lines/elevator_spec3_product30_true.cil.c	exception (gremlins)	3.0	45	true	4.0	28	true	3.1	130	true	50	850	true	0.92	38	true	3.5	70	true	15	470	true	0.35	14	true	2.2	67	true	4.1	180	unknown	2.9	120	unknown	2.5	130
product-lines/elevator_spec9_product09_true.cil.c	timeout	920	390	true	1.7	27	true	2.7	120	true	4.0	220	true	0.68	37	true	3.9	35	true	1.8	72	true	0.35	11	true	1.5	57	true	17	220	unknown	2.7	120	unknown	2.5	130
product-lines/elevator_spec9_product11_true.cil.c	timeout	920	370	true	1.8	27	true	2.7	120	true	4.2	220	true	0.70	38	true	3.1	34	true	1.3	75	true	0.34	12	true	1.8	62	true	25	260	unknown	2.9	110	unknown	2.4	120
product-lines/elevator_spec9_product25_true.cil.c	timeout	920	430	true	1.7	27	true	2.7	120	true	4.0	220	true	0.71	37	true	2.6	34	true	1.5	77	true	0.33	11	true	1.5	58	true	16	240	unknown	2.8	110	unknown	2.3	120
product-lines/elevator_spec9_product27_true.cil.c	timeout	920	280	true	1.9	27	true	2.7	120	true	4.1	220	true	0.72	38	true	3.5	34	true	1.3	79	true	0.33	12	true	1.9	64	true	15	210	unknown	2.7	110	unknown	2.4	120
product-lines/elevator_spec9_product29_true.cil.c	exception (gremlins)	30	100	true	1.8	27	true	2.7	120	false(label)	20	570	true	0.69	38	true	6.4	37	true	2.5	110	true	0.32	12	true	2.0	64	true	19	220	unknown	2.8	120	unknown	2.4	120
product-lines/elevator_spec9_product31_true.cil.c	exception (gremlins)	46	270	true	2.0	28	true	2.7	120	false(label)	21	590	true	0.75	38	true	6.5	37	true	2.8	110	true	0.34	12	true	2.4	69	true	20	240	unknown	2.9	120	unknown	2.6	130
product-lines/email_spec0_product16_false.cil.c	false(label)	660	330	false(label)	1.6	36	false(label)	4.6	330	false(label)	5.5	360	false(label)	2.1	63	false(label)	0.72	28	false(label)	1.7	85	false(label)	0.77	20	false(label)	120	150	false(label)	2.2	150	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec0_product21_false.cil.c	timeout	920	370	false(label)	2.9	41	false(label)	4.8	340	false(label)	6.1	370	false(label)	4.2	75	false(label)	1.7	44	false(label)	6.5	130	false(label)	0.88	21	false(label)	110	150	false(label)	7.9	250	unknown	2.7	120	unknown	2.5	120
product-lines/email_spec0_product22_false.cil.c	timeout	920	350	false(label)	1.7	36	false(label)	4.9	340	false(label)	5.6	380	false(label)	2.3	65	false(label)	0.86	32	false(label)	1.8	91	false(label)	1.2	24	false(label)	110	150	false(label)	3.8	180	unknown	2.6	110	unknown	3.2	120
product-lines/email_spec0_product26_false.cil.c	timeout	920	380	false(label)	3.3	44	false(label)	5.3	400	false(label)	5.7	380	false(label)	4.7	80	false(label)	1.8	47	false(label)	6.5	130	false(label)	1.3	25	false(label)	110	150	false(label)	11	290	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec0_product31_false.cil.c	timeout	920	330	false(label)	1.9	36	false(label)	5.1	360	false(label)	5.6	370	false(label)	2.7	71	false(label)	0.82	29	false(label)	2.3	100	false(label)	0.99	22	false(label)	120	150	false(label)	2.8	160	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec0_product33_false.cil.c	timeout	920	340	false(label)	2.0	36	false(label)	5.8	420	false(label)	5.8	380	false(label)	2.9	77	false(label)	0.93	35	false(label)	2.8	120	false(label)	1.7	26	false(label)	110	150	false(label)	4.3	200	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec0_product34_false.cil.c	timeout	920	410	false(label)	4.2	48	false(label)	6.5	420	false(label)	5.7	370	false(label)	5.8	90	false(label)	2.3	52	false(label)	7.8	140	false(label)	1.1	22	false(label)	120	150	false(label)	10	310	unknown	3.0	120	unknown	2.5	120
product-lines/email_spec0_product35_false.cil.c	timeout	920	400	false(label)	4.6	51	false(label)	5.9	450	false(label)	5.9	380	false(label)	6.5	91	false(label)	2.7	56	false(label)	8.0	150	false(label)	1.9	27	false(label)	110	150	false(label)	11	320	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec0_productSimulator_false.cil.c	timeout	920	4200	unknown	850	440	false(label)	11	560	false(label)	6.1	400	false(label)	480	530	false(label)	40	370	false(label)	820	660	false(label)	5.8	43	timeout	900	630	false(label)	110	920	unknown	2.6	120	unknown	2.5	130
product-lines/email_spec11_product15_false.cil.c	timeout	920	290	false(label)	1.5	35	false(label)	4.7	320	false(label)	4.7	260	false(label)	1.9	54	false(label)	0.65	27	false(label)	2.0	94	false(label)	0.97	23	false(label)	120	150	false(label)	1.7	130	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec11_product20_false.cil.c	timeout	920	400	false(label)	2.6	40	false(label)	5.2	350	false(label)	4.7	260	false(label)	3.7	63	false(label)	1.5	41	false(label)	6.1	130	false(label)	1.1	23	false(label)	110	150	false(label)	7.0	240	unknown	3.3	120	unknown	2.4	120
product-lines/email_spec11_product22_false.cil.c	timeout	920	510	false(label)	1.6	35	false(label)	4.8	330	false(label)	4.8	260	false(label)	2.4	66	false(label)	1.00	32	false(label)	1.9	94	false(label)	1.2	25	false(label)	110	150	false(label)	3.6	180	unknown	2.8	120	unknown	2.5	120
product-lines/email_spec11_product26_false.cil.c	timeout	920	330	false(label)	3.3	43	false(label)	5.8	390	false(label)	4.7	250	false(label)	4.6	81	false(label)	1.7	46	false(label)	6.3	130	false(label)	1.4	25	false(label)	110	150	false(label)	6.4	280	unknown	2.7	120	unknown	2.4	120
product-lines/email_spec11_product30_false.cil.c	timeout	920	400	false(label)	1.7	36	false(label)	5.0	370	false(label)	4.7	260	false(label)	2.3	56	false(label)	0.67	27	false(label)	2.1	97	false(label)	1.4	25	false(label)	120	150	false(label)	1.8	140	unknown	3.0	120	unknown	2.8	120
product-lines/email_spec11_product32_false.cil.c	timeout	920	400	false(label)	3.5	46	false(label)	5.9	410	false(label)	4.9	260	false(label)	4.9	69	false(label)	1.8	47	false(label)	8.0	140	false(label)	1.6	25	false(label)	110	150	false(label)	8.7	280	unknown	2.5	120	unknown	2.5	120
product-lines/email_spec11_product33_false.cil.c	timeout	920	330	false(label)	1.9	36	false(label)	5.3	390	false(label)	4.7	260	false(label)	2.8	76	false(label)	1.0	35	false(label)	2.6	110	false(label)	1.8	28	false(label)	110	150	false(label)	5.0	200	unknown	3.1	120	unknown	2.4	120
product-lines/email_spec11_product35_false.cil.c	timeout	920	300	false(label)	4.7	50	false(label)	6.2	440	false(label)	4.8	340	false(label)	6.3	92	false(label)	2.1	54	false(label)	9.4	160	false(label)	2.0	28	false(label)	110	150	false(label)	13	320	unknown	2.8	120	unknown	2.5	120
product-lines/email_spec11_productSimulator_false.cil.c	timeout	920	4700	unknown	850	460	false(label)	5.9	490	false(label)	4.9	290	false(label)	700	610	false(label)	43	2000	timeout	920	500	false(label)	6.4	47	timeout	900	610	false(label)	210	1600	unknown	2.6	120	unknown	2.4	120
product-lines/email_spec1_product14_false.cil.c	timeout	920	380	false(label)	1.5	35	false(label)	5.0	330	false(label)	7.0	480	false(label)	1.9	55	false(label)	0.92	28	false(label)	2.2	76	false(label)	3.4	36	false(label)	110	140	false(label)	2.5	150	unknown	3.0	120	unknown	2.4	120
product-lines/email_spec1_product15_false.cil.c	timeout	920	370	false(label)	1.5	35	false(label)	6.7	380	false(label)	24	590	false(label)	1.9	54	false(label)	0.72	27	false(label)	0.79	62	false(label)	0.37	15	false(label)	100	140	false(label)	1.9	140	unknown	3.1	120	unknown	2.5	130
product-lines/email_spec1_product16_false.cil.c	timeout	920	320	false(label)	1.5	35	false(label)	5.2	350	false(label)	13	510	false(label)	2.1	63	false(label)	0.78	28	false(label)	0.81	62	false(label)	0.89	21	false(label)	110	140	false(label)	2.3	150	unknown	3.0	120	unknown	2.4	120
product-lines/email_spec1_product20_false.cil.c	timeout	920	400	false(label)	2.6	39	false(label)	5.6	390	false(label)	7.1	480	false(label)	3.7	63	false(label)	1.5	40	false(label)	2.4	80	false(label)	0.38	15	false(label)	85	130	false(label)	6.1	230	unknown	3.1	120	unknown	2.5	130
product-lines/email_spec1_product21_false.cil.c	timeout	920	380	false(label)	2.9	41	false(label)	5.5	380	false(label)	6.9	480	false(label)	4.2	76	false(label)	1.9	44	false(label)	2.4	80	false(label)	0.89	21	false(label)	95	140	false(label)	6.3	230	unknown	2.6	120	unknown	2.5	120
product-lines/email_spec1_product22_false.cil.c	timeout	920	390	false(label)	1.6	35	false(label)	6.3	390	false(label)	13	560	false(label)	2.3	66	false(label)	1.00	31	false(label)	0.77	57	false(label)	0.45	16	false(label)	92	140	false(label)	3.2	170	unknown	2.4	110	unknown	2.4	120
product-lines/email_spec1_product26_false.cil.c	timeout	920	400	false(label)	3.3	43	false(label)	5.8	420	false(label)	7.0	490	false(label)	4.7	79	false(label)	1.9	46	false(label)	2.6	84	false(label)	0.46	16	false(label)	81	130	false(label)	7.2	260	unknown	2.5	120	unknown	2.9	130
product-lines/email_spec1_product29_false.cil.c	timeout	920	380	false(label)	1.7	35	false(label)	6.0	460	false(label)	7.4	490	false(label)	2.3	58	false(label)	1.00	30	false(label)	2.2	84	false(label)	3.8	39	false(label)	110	140	false(label)	2.1	160	unknown	2.6	110	unknown	2.5	120
product-lines/email_spec1_product30_false.cil.c	timeout	920	390	false(label)	1.7	35	false(label)	8.7	440	false(label)	25	670	false(label)	2.3	56	false(label)	0.83	28	false(label)	0.80	59	false(label)	0.44	16	false(label)	100	140	false(label)	2.3	150	unknown	2.5	120	unknown	2.5	120
product-lines/email_spec1_product31_false.cil.c	timeout	920	380	false(label)	1.8	36	false(label)	5.9	430	false(label)	13	530	false(label)	2.5	70	false(label)	1.1	28	false(label)	0.83	58	false(label)	1.1	23	false(label)	110	140	false(label)	2.5	160	unknown	2.6	110	unknown	2.5	120
product-lines/email_spec1_product32_false.cil.c	timeout	920	390	false(label)	3.5	45	false(label)	6.3	460	false(label)	7.4	490	false(label)	5.1	69	false(label)	1.8	45	false(label)	3.4	95	false(label)	0.48	16	false(label)	84	130	false(label)	8.2	250	unknown	2.7	110	unknown	2.5	120
product-lines/email_spec1_product33_false.cil.c	timeout	920	510	false(label)	1.9	36	false(label)	7.8	440	false(label)	14	590	false(label)	2.8	76	false(label)	1.4	34	false(label)	0.92	64	false(label)	0.55	17	false(label)	94	140	false(label)	3.5	180	unknown	3.0	110	unknown	2.5	120
product-lines/email_spec1_product34_false.cil.c	timeout	920	390	false(label)	4.2	47	false(label)	6.2	460	false(label)	7.0	490	false(label)	5.8	88	false(label)	2.2	49	false(label)	3.5	97	false(label)	1.2	24	false(label)	96	140	false(label)	9.7	280	unknown	3.0	110	unknown	2.4	120
product-lines/email_spec1_product35_false.cil.c	timeout	920	390	false(label)	4.6	49	false(label)	6.0	510	false(label)	7.1	500	false(label)	6.4	91	false(label)	3.0	55	false(label)	3.6	97	false(label)	0.59	17	false(label)	82	130	false(label)	9.6	290	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec1_productSimulator_false.cil.c	timeout	920	1500	false(label)	520	320	false(label)	12	600	false(label)	9.3	560	false(label)	140	270	false(label)	19	230	false(label)	56	480	false(label)	1.2	22	timeout	900	570	false(label)	47	770	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec27_product17_false.cil.c	false(label)	98	140	false(label)	1.6	35	false(label)	8.5	440	false(label)	59	550	false(label)	2.1	57	false(label)	0.99	30	false(label)	1.9	68	false(label)	1.5	26	false(label)	110	140	false(label)	2.5	170	unknown	2.7	120	unknown	2.5	120
product-lines/email_spec27_product18_false.cil.c	false(label)	8.9	110	false(label)	1.5	35	false(label)	11	470	unknown	900	1300	false(label)	2.0	55	false(label)	0.72	27	false(label)	0.88	57	false(label)	0.42	15	false(label)	120	140	false(label)	2.3	150	unknown	2.7	110	unknown	2.3	120
product-lines/email_spec27_product19_false.cil.c	false(label)	99	140	false(label)	1.6	35	false(label)	5.9	380	false(label)	13	510	false(label)	2.3	65	false(label)	0.87	28	false(label)	0.81	53	false(label)	2.0	30	false(label)	120	140	false(label)	2.5	170	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec27_product23_false.cil.c	false(label)	9.9	110	false(label)	2.8	41	false(label)	9.4	450	false(label)	66	830	false(label)	4.0	64	false(label)	1.8	43	false(label)	3.1	84	false(label)	0.44	16	false(label)	93	140	false(label)	7.0	240	unknown	3.0	120	unknown	2.5	130
product-lines/email_spec27_product24_false.cil.c	false(label)	9.0	100	false(label)	1.7	35	false(label)	6.5	420	false(label)	13	560	false(label)	2.4	68	false(label)	1.2	32	false(label)	1.0	65	false(label)	0.49	16	false(label)	110	140	false(label)	3.5	180	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec27_product25_false.cil.c	false(label)	110	140	false(label)	3.2	43	false(label)	6.4	430	false(label)	12	520	false(label)	4.4	79	false(label)	1.7	44	false(label)	3.0	84	false(label)	2.0	29	false(label)	92	140	false(label)	7.5	240	unknown	2.5	120	unknown	2.5	130
product-lines/email_spec27_product27_false.cil.c	false(label)	10	110	false(label)	3.5	44	false(label)	7.2	460	false(label)	13	570	false(label)	4.9	83	false(label)	2.8	51	false(label)	3.5	89	false(label)	0.50	16	false(label)	84	130	false(label)	8.3	250	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec27_product29_false.cil.c	false(label)	210	280	false(label)	1.9	36	false(label)	8.2	470	false(label)	61	610	false(label)	2.5	59	false(label)	1.1	32	false(label)	2.8	91	false(label)	1.7	28	false(label)	110	140	false(label)	3.3	180	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec27_product30_false.cil.c	false(label)	660	270	false(label)	1.8	36	false(label)	13	530	timeout	900	1300	false(label)	2.4	57	false(label)	0.87	28	false(label)	1.2	73	false(label)	0.46	16	false(label)	100	150	false(label)	2.4	160	unknown	2.6	120	unknown	2.5	130
product-lines/email_spec27_product31_false.cil.c	timeout	920	360	false(label)	1.9	36	false(label)	7.1	450	false(label)	13	520	false(label)	2.7	72	false(label)	0.87	29	false(label)	1.2	71	false(label)	2.4	33	false(label)	110	150	false(label)	3.0	170	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec27_product32_false.cil.c	false(label)	670	270	false(label)	3.9	47	false(label)	9.8	530	false(label)	69	930	false(label)	5.6	72	false(label)	3.1	56	false(label)	4.5	110	false(label)	0.47	16	false(label)	89	140	false(label)	8.4	320	unknown	2.7	120	unknown	2.5	120
product-lines/email_spec27_product33_false.cil.c	false(label)	450	210	false(label)	2.0	36	false(label)	7.5	450	false(label)	14	580	false(label)	3.0	77	false(label)	1.5	37	false(label)	1.1	66	false(label)	0.57	17	false(label)	97	140	false(label)	4.7	210	unknown	3.0	110	unknown	2.4	120
product-lines/email_spec27_product34_false.cil.c	timeout	920	390	false(label)	4.6	50	false(label)	6.9	510	false(label)	13	540	false(label)	6.4	90	false(label)	3.5	57	false(label)	4.4	110	false(label)	2.3	31	false(label)	90	140	false(label)	13	380	unknown	3.1	120	unknown	2.5	130
product-lines/email_spec27_product35_false.cil.c	false(label)	470	230	false(label)	5.1	52	false(label)	8.8	520	false(label)	14	610	false(label)	6.9	91	false(label)	3.6	62	false(label)	4.9	110	false(label)	0.60	18	false(label)	83	140	false(label)	15	380	unknown	2.8	120	unknown	2.5	120
product-lines/email_spec27_productSimulator_false.cil.c	false(label)	71	400	true	850	470	timeout	900	3900	false(label)	18	740	false(label)	350	400	false(label)	42	700	timeout	920	460	false(label)	1.3	23	timeout	900	600	false(label)	190	1800	unknown	3.0	110	unknown	2.3	120
product-lines/email_spec3_product13_false.cil.c	false(label)	120	140	false(label)	0.56	31	false(label)	4.5	330	false(label)	5.3	360	false(label)	1.6	52	false(label)	0.50	26	false(label)	0.41	27	false(label)	0.18	9.0	false(label)	22	64	false(label)	1.1	110	unknown	2.7	120	unknown	2.4	120
product-lines/email_spec3_product17_false.cil.c	false(label)	130	140	false(label)	0.68	33	false(label)	5.3	360	false(label)	5.3	360	false(label)	2.2	60	false(label)	0.49	28	false(label)	0.29	33	false(label)	0.18	9.0	false(label)	19	62	false(label)	1.6	140	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec3_product18_false.cil.c	false(label)	6.7	90	false(label)	0.65	32	false(label)	5.1	370	false(label)	5.0	290	false(label)	2.2	58	false(label)	0.46	26	false(label)	0.28	38	false(label)	0.16	9.0	false(label)	17	60	false(label)	1.3	120	unknown	2.7	120	unknown	2.4	120
product-lines/email_spec3_product19_false.cil.c	false(label)	120	140	false(label)	0.68	32	false(label)	5.0	330	false(label)	5.3	360	false(label)	2.4	69	false(label)	0.46	27	false(label)	0.27	32	false(label)	0.15	9.0	false(label)	17	59	false(label)	1.3	130	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec3_product23_false.cil.c	false(label)	7.5	90	false(label)	1.2	35	false(label)	6.2	420	false(label)	5.1	290	false(label)	4.2	67	false(label)	0.85	39	false(label)	0.29	34	false(label)	0.15	9.0	false(label)	16	62	false(label)	2.8	160	unknown	2.5	110	unknown	2.5	120
product-lines/email_spec3_product24_false.cil.c	false(label)	6.8	88	false(label)	0.74	33	false(label)	5.9	370	false(label)	5.0	290	false(label)	2.5	74	false(label)	0.52	30	false(label)	0.26	35	false(label)	0.20	9.0	false(label)	14	56	false(label)	1.7	140	unknown	3.0	120	unknown	2.5	130
product-lines/email_spec3_product25_false.cil.c	false(label)	130	140	false(label)	1.4	36	false(label)	5.3	370	false(label)	5.4	360	false(label)	4.8	85	false(label)	0.97	42	false(label)	0.38	46	false(label)	0.17	9.0	false(label)	16	61	false(label)	3.2	200	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec3_product27_false.cil.c	false(label)	7.7	92	false(label)	1.6	38	false(label)	5.7	430	false(label)	5.1	290	false(label)	5.3	89	false(label)	0.89	43	false(label)	0.31	36	false(label)	0.17	9.0	false(label)	14	58	false(label)	3.6	200	unknown	2.8	110	unknown	2.5	120
product-lines/email_spec3_product28_false.cil.c	false(label)	200	140	false(label)	0.56	31	false(label)	4.9	330	false(label)	5.3	360	false(label)	1.7	54	false(label)	0.44	26	false(label)	0.27	31	false(label)	0.26	10.0	false(label)	22	64	false(label)	1.3	130	unknown	2.4	110	unknown	2.6	120
product-lines/email_spec3_product29_false.cil.c	false(label)	210	140	false(label)	0.79	34	false(label)	5.8	420	false(label)	5.4	360	false(label)	2.5	63	false(label)	0.60	30	false(label)	0.38	46	false(label)	0.16	10.0	false(label)	19	67	false(label)	2.0	150	unknown	2.9	110	unknown	2.3	120
product-lines/email_spec3_product30_false.cil.c	false(label)	8.0	100	false(label)	0.74	33	false(label)	5.3	430	false(label)	5.0	300	false(label)	2.5	60	false(label)	0.49	27	false(label)	0.27	31	false(label)	0.17	10.0	false(label)	18	68	false(label)	1.6	130	unknown	3.0	110	unknown	2.4	120
product-lines/email_spec3_product31_false.cil.c	false(label)	210	140	false(label)	0.81	33	false(label)	5.2	370	false(label)	5.4	360	false(label)	2.9	79	false(label)	0.50	28	false(label)	0.29	42	false(label)	0.17	10.0	false(label)	17	67	false(label)	1.7	140	unknown	3.0	120	unknown	2.5	120
product-lines/email_spec3_product32_false.cil.c	false(label)	8.8	110	false(label)	1.7	40	false(label)	5.8	510	false(label)	5.0	300	false(label)	6.0	76	false(label)	1.2	46	false(label)	0.40	45	false(label)	0.16	10.0	false(label)	17	68	false(label)	4.3	240	unknown	2.8	120	unknown	2.6	130
product-lines/email_spec3_product33_false.cil.c	false(label)	8.0	100	false(label)	0.85	33	false(label)	6.9	460	false(label)	5.1	300	false(label)	3.1	82	false(label)	0.62	34	false(label)	0.32	43	false(label)	0.19	10.0	false(label)	15	65	false(label)	2.4	170	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec3_product34_false.cil.c	false(label)	220	140	false(label)	2.0	43	false(label)	6.1	420	false(label)	5.5	360	false(label)	6.7	93	false(label)	1.3	52	false(label)	0.40	46	false(label)	0.51	10.0	false(label)	16	67	false(label)	4.6	260	unknown	2.8	120	unknown	2.6	130
product-lines/email_spec3_product35_false.cil.c	false(label)	9.1	110	false(label)	2.2	44	false(label)	6.7	510	false(label)	5.1	300	false(label)	7.3	99	false(label)	1.6	56	false(label)	0.43	46	false(label)	0.16	10.0	false(label)	15	66	false(label)	4.7	230	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec3_productSimulator_false.cil.c	false(label)	26	150	false(label)	270	320	false(label)	8.1	540	false(label)	5.0	320	false(label)	160	280	false(label)	15	270	false(label)	42	470	false(label)	0.19	11	timeout	900	520	false(label)	21	480	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec4_product18_false.cil.c	timeout	920	420	false(label)	1.5	35	false(label)	5.1	350	false(label)	4.9	260	false(label)	2.0	54	false(label)	0.64	27	false(label)	0.75	63	false(label)	0.40	15	false(label)	120	140	false(label)	2.1	150	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec4_product19_false.cil.c	timeout	920	410	false(label)	1.5	35	false(label)	5.5	350	false(label)	5.6	370	false(label)	2.2	65	false(label)	0.70	27	false(label)	0.64	50	false(label)	0.35	14	false(label)	110	140	false(label)	1.8	140	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec4_product23_false.cil.c	timeout	920	410	false(label)	2.6	39	false(label)	5.4	410	false(label)	4.9	270	false(label)	3.5	63	false(label)	1.4	38	false(label)	2.5	83	false(label)	0.46	16	false(label)	110	140	false(label)	4.7	200	unknown	2.6	120	unknown	2.6	120
product-lines/email_spec4_product24_false.cil.c	timeout	920	400	false(label)	1.6	35	false(label)	4.9	360	false(label)	4.8	260	false(label)	2.3	67	false(label)	0.89	31	false(label)	0.79	67	false(label)	0.40	15	false(label)	100	130	false(label)	2.2	160	unknown	3.2	120	unknown	2.5	120
product-lines/email_spec4_product25_false.cil.c	timeout	920	390	false(label)	2.9	41	false(label)	5.3	400	false(label)	5.6	370	false(label)	4.0	78	false(label)	1.6	40	false(label)	1.9	72	false(label)	0.34	15	false(label)	110	140	false(label)	5.8	200	unknown	2.9	110	unknown	2.4	120
product-lines/email_spec4_product27_false.cil.c	timeout	920	810	false(label)	3.2	43	false(label)	5.9	410	false(label)	4.8	270	false(label)	4.4	80	false(label)	1.5	42	false(label)	2.9	93	false(label)	0.39	16	false(label)	93	140	false(label)	4.1	220	unknown	2.5	120	unknown	2.5	130
product-lines/email_spec4_product30_false.cil.c	timeout	920	270	false(label)	1.7	36	false(label)	5.8	410	false(label)	4.9	270	false(label)	2.3	56	false(label)	0.70	28	false(label)	0.89	64	false(label)	0.46	16	false(label)	110	140	false(label)	1.9	140	unknown	2.7	120	unknown	2.6	130
product-lines/email_spec4_product31_false.cil.c	timeout	920	390	false(label)	1.8	36	false(label)	5.3	410	false(label)	5.7	370	false(label)	2.6	69	false(label)	0.83	28	false(label)	0.93	70	false(label)	0.38	15	false(label)	110	140	false(label)	2.3	160	unknown	2.7	120	unknown	2.4	120
product-lines/email_spec4_product32_false.cil.c	timeout	920	330	false(label)	3.5	45	false(label)	6.3	480	false(label)	5.1	270	false(label)	5.1	69	false(label)	1.7	45	false(label)	3.5	97	false(label)	0.51	16	false(label)	100	140	false(label)	8.1	250	unknown	2.6	120	unknown	2.5	130
product-lines/email_spec4_product33_false.cil.c	timeout	920	410	false(label)	1.9	36	false(label)	5.6	400	false(label)	4.9	270	false(label)	2.9	78	false(label)	1.0	33	false(label)	0.90	65	false(label)	0.39	16	false(label)	92	140	false(label)	2.6	170	unknown	2.9	110	unknown	2.4	120
product-lines/email_spec4_product34_false.cil.c	timeout	920	390	false(label)	4.2	48	false(label)	6.5	490	false(label)	5.9	370	false(label)	5.9	90	false(label)	2.2	48	false(label)	3.4	97	false(label)	0.40	15	false(label)	110	140	false(label)	10	280	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec4_product35_false.cil.c	timeout	920	340	false(label)	4.6	49	false(label)	5.9	480	false(label)	4.9	270	false(label)	6.5	92	false(label)	2.8	53	false(label)	4.1	110	false(label)	0.47	16	false(label)	90	140	false(label)	10	300	unknown	2.6	120	unknown	2.6	130
product-lines/email_spec4_productSimulator_false.cil.c	timeout	920	1500	false(label)	490	310	false(label)	6.2	510	false(label)	4.9	300	false(label)	140	260	false(label)	19	270	false(label)	56	480	false(label)	1.0	21	timeout	900	540	false(label)	66	1000	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec6_product12_false.cil.c	timeout	920	640	false(label)	1.3	35	false(label)	4.3	320	false(label)	4.8	270	false(label)	1.5	51	false(label)	0.86	27	false(label)	0.68	52	false(label)	0.74	19	false(label)	100	130	false(label)	1.6	130	unknown	2.9	110	unknown	3.0	120
product-lines/email_spec6_product14_false.cil.c	timeout	920	670	false(label)	1.6	35	false(label)	4.6	330	false(label)	4.9	280	false(label)	2.1	59	false(label)	0.72	29	false(label)	2.0	79	false(label)	0.74	20	false(label)	97	130	false(label)	1.9	150	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec6_product15_false.cil.c	timeout	920	400	false(label)	1.5	35	false(label)	4.8	330	false(label)	4.8	270	false(label)	2.1	57	false(label)	0.85	27	false(label)	0.89	64	false(label)	0.96	22	false(label)	89	130	false(label)	2.3	150	unknown	3.0	120	unknown	2.5	130
product-lines/email_spec6_product16_false.cil.c	timeout	920	570	false(label)	1.6	35	false(label)	4.9	320	false(label)	4.9	270	false(label)	2.3	67	false(label)	0.74	28	false(label)	0.90	65	false(label)	0.85	21	false(label)	94	130	false(label)	2.4	150	unknown	2.5	120	unknown	2.5	120
product-lines/email_spec6_product20_false.cil.c	timeout	920	400	false(label)	2.8	42	false(label)	5.7	390	false(label)	4.8	280	false(label)	4.1	67	false(label)	1.6	42	false(label)	3.5	93	false(label)	1.0	23	false(label)	86	130	false(label)	6.8	240	unknown	3.1	120	unknown	2.5	120
product-lines/email_spec6_product21_false.cil.c	timeout	920	630	false(label)	3.2	43	false(label)	5.3	360	false(label)	4.9	280	false(label)	4.6	82	false(label)	1.7	45	false(label)	3.0	84	false(label)	0.92	21	false(label)	91	130	false(label)	7.6	260	unknown	2.6	120	unknown	2.5	130
product-lines/email_spec6_product22_false.cil.c	timeout	920	460	false(label)	1.7	36	false(label)	4.6	340	false(label)	4.9	280	false(label)	2.4	69	false(label)	0.81	32	false(label)	1.00	70	false(label)	1.2	25	false(label)	87	130	false(label)	2.5	170	unknown	2.7	110	unknown	2.5	120
product-lines/email_spec6_product26_false.cil.c	timeout	920	380	false(label)	3.5	45	false(label)	4.8	400	false(label)	4.9	280	false(label)	5.3	87	false(label)	1.7	46	false(label)	3.5	95	false(label)	1.4	25	false(label)	86	130	false(label)	9.3	280	unknown	2.5	110	unknown	2.3	120
product-lines/email_spec6_product28_false.cil.c	timeout	920	360	false(label)	1.3	35	false(label)	4.8	340	false(label)	4.9	270	false(label)	1.7	53	false(label)	0.85	27	false(label)	0.70	57	false(label)	0.83	20	false(label)	100	130	false(label)	2.2	150	unknown	2.5	120	unknown	2.5	120
product-lines/email_spec6_product29_false.cil.c	timeout	920	400	false(label)	1.9	37	false(label)	5.3	400	false(label)	4.9	280	false(label)	2.5	62	false(label)	0.93	31	false(label)	2.6	90	false(label)	0.88	21	false(label)	98	130	false(label)	2.3	170	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec6_product30_false.cil.c	timeout	920	400	false(label)	1.7	36	false(label)	5.0	360	false(label)	4.9	280	false(label)	2.4	59	false(label)	0.92	28	false(label)	1.1	79	false(label)	1.3	24	false(label)	91	130	false(label)	2.4	150	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec6_product31_false.cil.c	timeout	920	460	false(label)	1.9	36	false(label)	4.7	360	false(label)	4.9	280	false(label)	2.7	80	false(label)	0.69	28	false(label)	1.0	70	false(label)	1.1	22	false(label)	94	130	false(label)	2.5	170	unknown	2.6	120	unknown	2.5	120
product-lines/email_spec6_product32_false.cil.c	timeout	920	390	false(label)	3.8	47	false(label)	5.7	410	false(label)	4.9	280	false(label)	5.5	75	false(label)	1.7	47	false(label)	4.5	110	false(label)	1.4	24	false(label)	87	130	false(label)	8.5	290	unknown	2.6	120	unknown	2.5	120
product-lines/email_spec6_product33_false.cil.c	timeout	920	330	false(label)	2.1	36	false(label)	4.9	350	false(label)	5.0	280	false(label)	3.0	82	false(label)	1.0	34	false(label)	1.2	81	false(label)	1.7	27	false(label)	88	130	false(label)	3.7	180	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec6_product34_false.cil.c	timeout	920	400	false(label)	4.5	50	false(label)	6.1	410	false(label)	4.9	280	false(label)	6.4	92	false(label)	2.1	52	false(label)	3.5	95	false(label)	1.1	23	false(label)	92	130	false(label)	9.3	290	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec6_product35_false.cil.c	timeout	920	550	false(label)	5.0	52	false(label)	5.1	410	false(label)	4.9	280	false(label)	7.1	97	false(label)	1.9	55	false(label)	4.0	100	false(label)	1.9	27	false(label)	85	130	false(label)	12	330	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec6_productSimulator_false.cil.c	timeout	920	1400	false(label)	530	320	false(label)	5.6	450	false(label)	4.9	290	false(label)	150	280	false(label)	19	270	false(label)	83	500	false(label)	14	77	timeout	900	580	false(label)	36	710	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec7_product28_false.cil.c	timeout	920	380	false(label)	1.3	35	false(label)	4.6	320	false(label)	4.6	260	false(label)	1.6	49	false(label)	0.82	27	false(label)	0.74	53	false(label)	0.78	20	false(label)	100	130	false(label)	1.6	140	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec7_product29_false.cil.c	timeout	920	360	false(label)	1.8	36	false(label)	5.5	390	false(label)	4.7	250	false(label)	2.3	57	false(label)	1.0	29	false(label)	2.3	82	false(label)	0.85	20	false(label)	99	130	false(label)	2.8	170	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec7_product30_false.cil.c	timeout	920	400	false(label)	1.7	35	false(label)	5.1	340	false(label)	4.7	260	false(label)	2.2	55	false(label)	0.60	27	false(label)	1.0	69	false(label)	1.3	24	false(label)	90	130	false(label)	1.8	140	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec7_product31_false.cil.c	timeout	920	380	false(label)	1.9	36	false(label)	5.0	340	false(label)	4.8	260	false(label)	2.5	68	false(label)	0.69	28	false(label)	0.92	61	false(label)	1.0	22	false(label)	94	130	false(label)	2.6	170	unknown	2.7	120	unknown	2.5	120
product-lines/email_spec7_product32_false.cil.c	timeout	920	270	false(label)	3.4	44	false(label)	5.1	420	false(label)	4.8	250	false(label)	4.9	66	false(label)	1.6	46	false(label)	3.5	89	false(label)	1.4	24	false(label)	88	130	false(label)	5.9	270	unknown	3.0	120	unknown	2.4	120
product-lines/email_spec7_product33_false.cil.c	timeout	920	400	false(label)	1.9	36	false(label)	5.4	350	false(label)	4.8	260	false(label)	2.8	71	false(label)	0.96	34	false(label)	0.98	64	false(label)	1.7	27	false(label)	87	130	false(label)	2.9	180	unknown	3.2	110	unknown	2.4	120
product-lines/email_spec7_product34_false.cil.c	timeout	920	400	false(label)	4.1	47	false(label)	5.1	420	false(label)	4.7	260	false(label)	5.6	85	false(label)	1.8	48	false(label)	3.5	90	false(label)	1.1	22	false(label)	91	130	false(label)	9.1	280	unknown	3.3	120	unknown	2.4	120
product-lines/email_spec7_product35_false.cil.c	timeout	920	270	false(label)	4.6	49	false(label)	5.0	390	false(label)	4.8	260	false(label)	6.2	89	false(label)	2.1	52	false(label)	4.1	97	false(label)	1.9	27	false(label)	86	130	false(label)	12	300	unknown	3.3	120	unknown	2.5	130
product-lines/email_spec7_productSimulator_false.cil.c	timeout	920	2500	false(label)	630	350	false(label)	6.4	500	false(label)	5.0	280	false(label)	170	290	false(label)	30	270	false(label)	190	490	false(label)	13	76	timeout	900	530	false(label)	84	1200	unknown	2.9	130	unknown	2.6	130
product-lines/email_spec8_product15_false.cil.c	timeout	920	500	false(label)	1.5	35	false(label)	7.0	400	false(label)	25	590	false(label)	2.0	56	false(label)	0.84	27	false(label)	0.85	65	false(label)	1.00	23	false(label)	110	150	false(label)	2.2	150	unknown	3.2	120	unknown	2.5	130
product-lines/email_spec8_product16_false.cil.c	timeout	920	390	false(label)	1.6	35	false(label)	5.6	350	false(label)	13	520	false(label)	2.2	66	false(label)	0.84	28	false(label)	0.82	64	false(label)	0.89	21	false(label)	110	140	false(label)	2.2	150	unknown	2.6	120	unknown	2.4	120
product-lines/email_spec8_product20_false.cil.c	timeout	920	380	false(label)	2.6	40	false(label)	7.1	440	false(label)	23	630	false(label)	3.9	66	false(label)	1.7	42	false(label)	2.7	90	false(label)	1.1	23	false(label)	110	150	false(label)	6.3	230	unknown	3.1	110	unknown	2.4	120
product-lines/email_spec8_product21_false.cil.c	timeout	920	370	false(label)	3.0	42	false(label)	5.6	390	false(label)	12	530	false(label)	4.3	81	false(label)	1.7	43	false(label)	2.2	78	false(label)	0.90	22	false(label)	110	150	false(label)	7.2	230	unknown	2.9	120	unknown	2.5	120
product-lines/email_spec8_product22_false.cil.c	timeout	920	410	false(label)	1.7	35	false(label)	6.3	400	false(label)	13	570	false(label)	2.4	68	false(label)	0.89	31	false(label)	0.82	63	false(label)	1.2	25	false(label)	100	140	false(label)	2.8	180	unknown	2.4	110	unknown	2.3	120
product-lines/email_spec8_product26_false.cil.c	timeout	920	380	false(label)	3.3	44	false(label)	6.9	440	false(label)	13	590	false(label)	4.9	85	false(label)	1.9	45	false(label)	2.5	86	false(label)	1.4	26	false(label)	100	140	false(label)	8.6	250	unknown	2.9	120	unknown	2.4	120
product-lines/email_spec8_product30_false.cil.c	timeout	920	510	false(label)	1.7	36	false(label)	9.1	430	false(label)	25	660	false(label)	2.3	58	false(label)	0.64	28	false(label)	0.82	61	false(label)	1.4	25	false(label)	110	150	false(label)	2.2	150	unknown	2.8	120	unknown	2.4	120
product-lines/email_spec8_product31_false.cil.c	timeout	920	340	false(label)	1.9	35	false(label)	7.5	430	false(label)	13	540	false(label)	2.7	78	false(label)	0.85	28	false(label)	0.97	74	false(label)	1.1	23	false(label)	110	150	false(label)	2.5	160	unknown	2.5	120	unknown	2.6	120
product-lines/email_spec8_product32_false.cil.c	timeout	920	390	false(label)	3.6	45	false(label)	8.3	520	false(label)	23	710	false(label)	5.2	74	false(label)	1.7	46	false(label)	3.6	110	false(label)	1.5	25	false(label)	110	150	false(label)	6.1	250	unknown	2.8	120	unknown	2.4	120
product-lines/email_spec8_product33_false.cil.c	timeout	920	630	false(label)	2.0	36	false(label)	7.5	450	false(label)	14	600	false(label)	2.9	81	false(label)	1.3	34	false(label)	1.00	75	false(label)	1.8	28	false(label)	100	140	false(label)	3.4	180	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec8_product34_false.cil.c	timeout	920	390	false(label)	4.3	48	false(label)	8.1	510	false(label)	13	550	false(label)	5.9	91	false(label)	2.0	48	false(label)	3.7	110	false(label)	1.2	24	false(label)	110	150	false(label)	8.6	270	unknown	2.9	120	unknown	2.4	120
product-lines/email_spec8_product35_false.cil.c	timeout	920	390	false(label)	4.7	50	false(label)	8.5	530	false(label)	14	620	false(label)	6.6	96	false(label)	2.5	55	false(label)	3.6	110	false(label)	2.0	28	false(label)	100	140	false(label)	7.4	280	unknown	3.2	120	unknown	2.4	120
product-lines/email_spec8_productSimulator_false.cil.c	timeout	920	1400	false(label)	510	320	false(label)	540	4600	false(label)	19	730	false(label)	140	270	false(label)	17	270	false(label)	63	510	false(label)	45	190	timeout	900	570	false(label)	71	1100	unknown	2.9	110	unknown	2.4	120
product-lines/email_spec9_product15_false.cil.c	timeout	920	510	false(label)	1.5	35	false(label)	7.1	400	false(label)	25	600	false(label)	2.0	56	false(label)	0.75	27	false(label)	0.85	65	false(label)	0.97	23	false(label)	110	150	false(label)	2.2	150	unknown	3.0	110	unknown	2.5	120
product-lines/email_spec9_product16_false.cil.c	timeout	920	390	false(label)	1.6	35	false(label)	5.2	350	false(label)	13	520	false(label)	2.2	66	false(label)	0.67	27	false(label)	0.71	55	false(label)	0.85	21	false(label)	110	140	false(label)	2.2	150	unknown	2.9	110	unknown	2.4	120
product-lines/email_spec9_product20_false.cil.c	timeout	920	380	false(label)	2.6	40	false(label)	7.1	450	false(label)	22	640	false(label)	4.1	66	false(label)	1.5	40	false(label)	2.6	86	false(label)	1.1	24	false(label)	110	150	false(label)	4.1	220	unknown	3.1	120	unknown	2.4	120
product-lines/email_spec9_product21_false.cil.c	timeout	920	380	false(label)	3.0	42	false(label)	6.2	390	false(label)	12	530	false(label)	4.3	81	false(label)	1.5	43	false(label)	2.6	86	false(label)	0.93	22	false(label)	110	150	false(label)	7.1	230	unknown	3.0	120	unknown	2.5	130
product-lines/email_spec9_product22_false.cil.c	timeout	920	510	false(label)	1.7	36	false(label)	6.1	400	false(label)	13	570	false(label)	2.4	68	false(label)	1.1	31	false(label)	0.88	68	false(label)	1.3	25	false(label)	100	140	false(label)	3.2	170	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec9_product26_false.cil.c	timeout	920	380	false(label)	3.3	44	false(label)	6.9	450	false(label)	13	590	false(label)	5.0	84	false(label)	1.7	45	false(label)	2.4	84	false(label)	1.4	26	false(label)	100	140	false(label)	7.9	240	unknown	2.4	110	unknown	2.5	120
product-lines/email_spec9_product30_false.cil.c	timeout	920	510	false(label)	1.7	35	false(label)	7.8	410	false(label)	25	670	false(label)	2.3	58	false(label)	0.62	28	false(label)	0.87	66	false(label)	1.4	25	false(label)	110	150	false(label)	2.2	150	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec9_product31_false.cil.c	timeout	920	340	false(label)	1.9	35	false(label)	7.4	430	false(label)	13	530	false(label)	2.7	78	false(label)	0.88	28	false(label)	0.97	75	false(label)	1.1	23	false(label)	110	140	false(label)	2.5	160	unknown	2.5	110	unknown	2.5	120
product-lines/email_spec9_product32_false.cil.c	timeout	920	390	false(label)	3.6	45	false(label)	8.2	520	false(label)	23	710	false(label)	5.2	74	false(label)	2.6	50	false(label)	3.2	98	false(label)	1.5	25	false(label)	110	150	false(label)	8.3	250	unknown	2.4	120	unknown	2.5	130
product-lines/email_spec9_product33_false.cil.c	timeout	920	630	false(label)	2.0	36	false(label)	7.5	450	false(label)	14	590	false(label)	2.9	81	false(label)	1.5	34	false(label)	0.92	67	false(label)	1.8	28	false(label)	100	140	false(label)	3.7	180	unknown	3.2	120	unknown	2.5	120
product-lines/email_spec9_product34_false.cil.c	timeout	920	390	false(label)	4.3	48	false(label)	7.0	510	false(label)	13	560	false(label)	6.3	91	false(label)	2.3	51	false(label)	3.2	99	false(label)	1.2	23	false(label)	110	150	false(label)	9.5	310	unknown	3.2	120	unknown	2.4	120
product-lines/email_spec9_product35_false.cil.c	timeout	920	390	false(label)	4.7	50	false(label)	8.4	530	false(label)	14	620	false(label)	6.6	97	false(label)	2.5	54	false(label)	3.9	110	false(label)	2.0	28	false(label)	100	140	false(label)	11	290	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec9_productSimulator_false.cil.c	timeout	920	1400	false(label)	520	310	false(label)	160	4700	false(label)	19	740	false(label)	140	280	false(label)	17	270	false(label)	56	500	false(label)	45	190	timeout	900	570	false(label)	55	960	unknown	3.3	120	unknown	2.4	120
product-lines/email_spec0_product05_true.cil.c	true	0.51	30	true	2.5	28	true	20	270	timeout	900	690	true	0.69	33	true	0.40	18	true	0.30	6.0	true	5.4	20	true	130	150	true	0.48	36	unknown	2.4	120	unknown	2.4	120
product-lines/email_spec0_product09_true.cil.c	true	0.87	46	true	4.2	28	true	17	420	unknown	900	920	true	0.93	34	true	0.33	18	true	0.31	9.0	true	6.2	27	true	130	150	true	0.58	36	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec0_product10_true.cil.c	true	0.70	37	true	2.8	28	true	19	420	timeout	900	850	true	0.76	34	true	0.31	18	true	0.26	6.0	true	5.3	23	true	130	150	true	0.49	42	unknown	2.9	110	unknown	2.3	120
product-lines/email_spec0_product11_true.cil.c	true	0.97	48	true	4.0	29	true	17	470	timeout	900	960	true	0.95	35	true	0.35	18	true	0.34	15	true	12	58	true	130	150	true	0.53	36	unknown	2.9	120	unknown	2.5	120
product-lines/email_spec0_product19_true.cil.c	true	1.3	62	true	4.7	29	true	20	800	timeout	900	1300	true	1.0	36	true	0.32	18	true	0.38	16	true	15	66	true	130	150	true	0.57	36	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec0_product24_true.cil.c	true	1.5	72	true	5.0	29	true	22	830	timeout	900	1300	true	1.1	37	true	0.34	18	true	0.40	16	true	19	82	true	120	150	true	0.51	37	unknown	3.0	120	unknown	2.4	120
product-lines/email_spec0_product25_true.cil.c	true	2.2	110	true	8.8	32	true	21	830	timeout	900	1300	true	1.4	40	true	0.35	18	true	0.53	21	true	26	99	true	130	150	true	0.54	38	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec0_product27_true.cil.c	true	2.9	130	true	9.8	33	true	24	970	timeout	900	1300	true	1.5	40	true	0.35	18	true	0.47	22	true	30	110	true	120	150	true	0.56	36	unknown	2.6	110	unknown	2.5	120
product-lines/email_spec0_product36_true.cil.c	true	1.1	59	true	4.9	28	true	18	470	timeout	900	1100	true	1.00	34	true	0.33	18	true	0.32	10.0	true	8.0	31	true	120	150	true	0.51	35	unknown	2.9	110	unknown	2.3	120
product-lines/email_spec0_product37_true.cil.c	true	1.3	64	true	4.3	29	true	18	510	unknown	900	1100	true	0.99	35	true	0.30	18	true	0.38	15	true	15	70	true	140	150	true	0.46	35	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec0_product38_true.cil.c	true	1.4	66	true	6.1	29	true	17	560	unknown	900	1200	true	1.1	37	true	0.31	18	true	0.47	19	true	19	84	true	130	150	true	0.49	36	unknown	2.9	110	unknown	2.5	120
product-lines/email_spec0_product40_true.cil.c	true	2.2	100	true	7.0	29	true	19	800	timeout	900	1300	true	1.2	38	true	0.34	18	true	0.43	19	true	24	95	true	120	150	true	0.49	37	unknown	2.5	120	unknown	2.5	130
product-lines/email_spec11_product03_true.cil.c	true	0.50	29	true	2.5	28	true	19	330	timeout	900	720	true	0.70	33	true	0.30	18	true	0.26	5.0	true	5.7	22	true	130	150	true	0.45	33	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec11_product07_true.cil.c	true	0.78	42	true	3.9	28	true	17	420	unknown	900	900	true	0.89	34	true	0.33	18	true	0.32	9.0	true	8.6	30	true	120	150	true	0.43	30	unknown	2.6	120	unknown	2.6	130
product-lines/email_spec11_product08_true.cil.c	true	1.1	52	true	3.9	29	true	16	460	timeout	900	920	true	0.93	35	true	0.31	18	true	0.38	15	true	12	55	true	130	150	true	0.51	37	unknown	2.7	120	unknown	2.5	120
product-lines/email_spec11_product10_true.cil.c	true	0.64	35	true	2.8	28	true	19	420	timeout	900	880	true	0.71	34	true	0.28	18	true	0.25	6.0	true	5.5	23	true	130	150	true	0.47	33	unknown	2.8	120	unknown	2.5	120
product-lines/email_spec11_product18_true.cil.c	true	1.2	62	true	4.4	29	true	19	660	unknown	900	1300	true	1.0	36	true	0.31	18	true	0.37	15	true	13	61	true	130	150	true	0.54	36	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec11_product23_true.cil.c	true	2.1	100	true	7.7	30	true	21	820	unknown	900	1300	true	1.3	39	true	0.34	18	true	0.44	20	true	23	88	true	120	150	true	0.53	36	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec11_product24_true.cil.c	true	1.5	72	true	5.0	29	true	21	840	timeout	900	1300	true	1.1	37	true	0.32	18	true	0.39	16	true	19	83	true	120	150	true	0.50	38	unknown	2.8	110	unknown	2.4	120
product-lines/email_spec11_product27_true.cil.c	true	2.9	130	true	9.9	33	true	23	850	unknown	900	1300	true	1.5	40	true	0.37	18	true	0.52	22	true	32	110	true	120	150	true	0.55	38	unknown	2.7	120	unknown	2.5	130
product-lines/email_spec11_product36_true.cil.c	true	1.1	56	true	4.9	28	true	18	470	unknown	900	1100	true	1.00	34	true	0.31	18	true	0.32	10.0	true	6.5	30	true	120	150	true	0.49	37	unknown	2.4	110	unknown	2.4	120
product-lines/email_spec11_product37_true.cil.c	true	1.3	62	true	4.2	29	true	18	520	unknown	900	1100	true	0.98	35	true	0.33	18	true	0.36	15	true	14	70	true	140	150	true	0.47	37	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec11_product39_true.cil.c	true	1.6	74	true	5.7	29	true	17	530	unknown	900	1100	true	1.1	37	true	0.32	18	true	0.41	19	true	20	76	true	120	150	true	0.49	36	unknown	2.9	110	unknown	2.4	120
product-lines/email_spec11_product40_true.cil.c	true	2.1	99	true	7.0	29	true	19	800	unknown	900	1300	true	1.2	38	true	0.35	18	true	0.45	20	true	22	94	true	120	150	true	0.53	37	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec1_product12_true.cil.c	true	0.93	47	true	3.6	29	true	17	470	unknown	900	1100	true	0.91	35	true	0.32	18	true	1.1	37	true	10	48	true	130	150	true	0.51	35	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec1_product28_true.cil.c	true	1.1	55	true	3.8	29	true	20	680	unknown	900	1300	true	0.95	36	true	0.36	18	true	1.3	44	true	12	51	true	130	150	true	0.52	36	unknown	3.1	110	unknown	2.4	120
product-lines/email_spec27_product13_true.cil.c	false(label)	94	140	true	3.9	34	true	18	530	timeout	900	1100	true	1.2	48	true	0.70	28	true	1.1	37	true	12	50	true	130	150	true	1.1	110	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec27_product28_true.cil.c	false(label)	190	280	true	4.1	34	true	20	800	unknown	900	1300	true	1.2	49	true	0.75	28	true	1.3	42	true	12	52	true	130	150	true	1.1	110	unknown	2.5	110	unknown	2.4	120
product-lines/email_spec4_product13_true.cil.c	true	31	120	true	3.9	33	true	18	510	unknown	900	1100	true	1.2	47	true	0.32	18	true	0.91	34	true	12	49	true	130	150	true	0.50	37	unknown	2.5	110	unknown	2.3	120
product-lines/email_spec4_product17_true.cil.c	true	180	170	true	4.9	34	true	20	800	unknown	900	1300	true	1.4	53	true	0.32	18	true	4.0	63	true	20	72	true	130	150	true	0.50	37	unknown	3.1	120	unknown	2.6	130
product-lines/email_spec4_product28_true.cil.c	true	230	140	true	4.1	34	true	20	800	unknown	900	1300	true	1.2	49	true	0.34	18	true	1.3	44	true	11	51	true	130	150	true	0.53	36	unknown	2.9	120	unknown	2.5	130
product-lines/email_spec4_product29_true.cil.c	timeout	920	270	true	5.6	35	true	22	830	unknown	900	1300	true	1.5	56	true	0.33	18	true	4.3	62	true	22	78	true	130	150	true	0.53	37	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec7_product13_true.cil.c	true	0.96	48	true	3.7	29	true	18	480	unknown	900	1100	true	0.88	35	true	0.31	18	true	0.37	15	true	12	49	true	130	150	true	0.48	35	unknown	2.8	110	unknown	2.3	120
product-lines/email_spec7_product17_true.cil.c	true	1.2	58	true	4.5	29	true	19	800	unknown	900	1300	true	1.0	36	true	0.34	18	true	0.49	19	true	19	71	true	130	150	true	0.50	35	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec7_product18_true.cil.c	true	1.3	62	true	4.3	29	true	20	800	timeout	900	1300	true	1.0	36	true	0.32	18	true	0.38	15	true	14	62	true	130	150	true	0.53	37	unknown	2.7	110	unknown	2.4	120
product-lines/email_spec7_product19_true.cil.c	true	1.3	62	true	4.7	29	true	20	810	unknown	900	1300	true	1.0	36	true	0.32	18	true	0.38	16	true	14	66	true	130	150	true	0.53	36	unknown	2.6	110	unknown	2.4	120
product-lines/email_spec7_product23_true.cil.c	true	2.2	100	true	7.5	29	true	21	830	unknown	900	1300	true	1.3	39	true	0.36	18	true	0.43	20	true	23	88	true	120	150	true	0.53	37	unknown	3.1	120	unknown	2.5	120
product-lines/email_spec7_product24_true.cil.c	true	1.6	72	true	5.0	29	true	22	840	unknown	900	1300	true	1.1	37	true	0.34	18	true	0.39	16	true	19	83	true	120	150	true	0.52	37	unknown	3.1	110	unknown	2.4	120
product-lines/email_spec7_product25_true.cil.c	true	2.3	110	true	8.7	32	true	22	840	unknown	900	1300	true	1.4	39	true	0.35	18	true	0.50	21	true	24	99	true	130	150	true	0.53	34	unknown	2.8	120	unknown	2.5	130
product-lines/email_spec7_product27_true.cil.c	true	2.9	130	true	9.7	33	true	24	980	timeout	900	1300	true	1.5	40	true	0.36	18	true	0.52	22	true	30	110	true	120	150	true	0.53	38	unknown	2.6	120	unknown	2.5	130
product-lines/email_spec8_product12_true.cil.c	true	0.98	48	true	3.7	29	true	17	470	unknown	900	1100	true	0.93	35	true	0.29	18	true	0.93	35	true	11	49	true	130	150	true	0.55	41	unknown	2.7	110	unknown	2.3	120
product-lines/email_spec8_product14_true.cil.c	timeout	920	380	true	5.1	35	true	18	660	unknown	900	1300	true	1.4	56	true	0.99	30	true	3.6	56	true	17	71	true	130	150	true	1.8	140	unknown	2.4	110	unknown	2.3	120
product-lines/email_spec8_product28_true.cil.c	true	1.1	56	true	3.9	29	true	20	800	unknown	900	1300	true	0.93	37	true	0.34	18	true	1.1	40	true	11	51	true	140	150	true	0.53	37	unknown	2.8	110	unknown	2.5	120
product-lines/email_spec8_product29_true.cil.c	timeout	920	390	true	5.9	36	true	22	830	timeout	900	1300	true	1.6	59	true	1.3	32	true	4.1	62	true	19	78	true	130	150	true	2.2	160	unknown	2.3	120	unknown	2.4	120
product-lines/email_spec9_product12_true.cil.c	true	0.97	49	true	3.6	29	true	17	470	unknown	900	1100	true	0.92	35	true	0.32	18	true	0.96	36	true	12	49	true	130	150	true	0.52	36	unknown	2.6	120	unknown	2.4	120
product-lines/email_spec9_product14_true.cil.c	timeout	920	380	true	5.1	35	true	18	660	timeout	900	1300	true	1.4	56	true	0.94	30	true	3.5	55	true	17	70	true	130	150	true	1.9	140	unknown	2.5	110	unknown	2.5	120
product-lines/email_spec9_product28_true.cil.c	true	1.2	56	true	4.0	30	true	20	800	unknown	900	1300	true	0.96	37	true	0.35	18	true	1.3	44	true	11	51	true	140	150	true	0.52	37	unknown	2.4	120	unknown	2.5	120
product-lines/email_spec9_product29_true.cil.c	timeout	920	390	true	5.9	35	true	22	840	unknown	900	1300	true	1.6	59	true	1.3	32	true	4.2	63	true	19	78	true	130	150	true	3.2	170	unknown	2.4	110	unknown	2.4	120
product-lines/minepump_spec1_product33_false.cil.c	false(label)	1.4	15	false(label)	0.20	19	false(label)	2.3	140	false(label)	1.9	110	false(label)	0.88	26	false(label)	0.31	24	false(label)	0.15	4.0	false(label)	0.13	5.0	timeout	900	580	false(label)	0.78	99	unknown	2.1	110	unknown	2.3	110
product-lines/minepump_spec1_product34_false.cil.c	false(label)	1.4	15	false(label)	0.20	19	false(label)	2.2	140	false(label)	1.9	110	false(label)	0.90	26	false(label)	0.29	24	false(label)	0.13	4.0	false(label)	0.12	5.0	timeout	900	760	false(label)	0.78	99	unknown	2.3	110	unknown	2.3	110
product-lines/minepump_spec1_product35_false.cil.c	false(label)	1.6	16	false(label)	0.20	19	false(label)	2.2	140	false(label)	1.9	110	false(label)	1.00	26	false(label)	0.30	24	false(label)	0.14	6.0	false(label)	0.15	5.0	timeout	900	670	false(label)	0.85	110	unknown	2.2	110	unknown	2.3	120
product-lines/minepump_spec1_product36_false.cil.c	false(label)	1.7	16	false(label)	0.20	19	false(label)	2.4	140	false(label)	1.9	110	false(label)	1.1	27	false(label)	0.34	24	false(label)	0.15	6.0	false(label)	0.12	5.0	timeout	900	660	false(label)	0.96	110	unknown	2.3	110	unknown	2.2	120
product-lines/minepump_spec1_product37_false.cil.c	false(label)	1.4	15	false(label)	0.21	19	false(label)	2.3	140	false(label)	1.9	110	false(label)	1.1	27	false(label)	0.30	24	false(label)	0.13	5.0	false(label)	0.12	5.0	timeout	900	430	false(label)	0.76	110	unknown	2.5	110	unknown	2.4	110
product-lines/minepump_spec1_product38_false.cil.c	false(label)	1.4	16	false(label)	0.21	19	false(label)	2.2	140	false(label)	1.9	110	false(label)	1.1	27	false(label)	0.30	24	false(label)	0.14	5.0	false(label)	0.17	5.0	timeout	900	470	false(label)	0.77	91	unknown	2.4	110	unknown	2.4	110
product-lines/minepump_spec1_product39_false.cil.c	false(label)	1.7	16	false(label)	0.20	19	false(label)	2.2	140	false(label)	1.9	100	false(label)	1.3	27	false(label)	0.31	25	false(label)	0.14	6.0	false(label)	0.12	5.0	timeout	900	670	false(label)	0.92	110	unknown	2.3	110	unknown	2.2	110
product-lines/minepump_spec1_product40_false.cil.c	false(label)	1.7	16	false(label)	0.21	19	false(label)	2.2	140	false(label)	1.9	100	false(label)	1.3	27	false(label)	0.33	25	false(label)	0.15	6.0	false(label)	0.12	5.0	timeout	900	640	false(label)	0.88	110	unknown	2.4	110	unknown	2.3	120
product-lines/minepump_spec1_product41_false.cil.c	false(label)	16	24	false(label)	0.21	19	false(label)	2.3	140	false(label)	2.1	120	false(label)	0.86	26	false(label)	0.32	25	false(label)	0.17	6.0	false(label)	0.11	5.0	timeout	900	750	false(label)	0.91	110	unknown	2.3	110	unknown	2.3	110
product-lines/minepump_spec1_product42_false.cil.c	false(label)	16	25	false(label)	0.21	19	false(label)	2.3	140	false(label)	2.1	120	false(label)	0.87	25	false(label)	0.33	25	false(label)	0.23	6.0	false(label)	0.11	5.0	timeout	900	830	false(label)	0.84	110	unknown	2.3	110	unknown	2.2	110
product-lines/minepump_spec1_product43_false.cil.c	false(label)	34	32	false(label)	0.20	19	false(label)	2.4	140	false(label)	2.1	120	false(label)	1.1	25	false(label)	0.36	25	false(label)	0.17	6.0	false(label)	0.12	6.0	timeout	900	670	false(label)	1.00	120	unknown	2.3	110	unknown	2.4	120
product-lines/minepump_spec1_product44_false.cil.c	false(label)	35	35	false(label)	0.21	19	false(label)	2.4	140	false(label)	2.1	120	false(label)	1.1	26	false(label)	0.35	25	false(label)	0.19	6.0	false(label)	0.13	6.0	timeout	900	670	false(label)	1.0	120	unknown	2.8	110	unknown	2.2	110
product-lines/minepump_spec1_product49_false.cil.c	false(label)	1.4	15	false(label)	0.21	19	false(label)	2.2	140	false(label)	1.9	110	false(label)	1.3	27	false(label)	0.29	24	false(label)	0.14	5.0	false(label)	0.12	5.0	timeout	900	340	false(label)	0.79	97	unknown	2.4	110	unknown	2.2	120
product-lines/minepump_spec1_product50_false.cil.c	false(label)	1.5	15	false(label)	0.21	19	false(label)	2.3	140	false(label)	1.9	110	false(label)	1.3	27	false(label)	0.34	24	false(label)	0.14	5.0	false(label)	0.16	5.0	timeout	900	370	false(label)	0.83	120	unknown	2.4	110	unknown	2.3	120
product-lines/minepump_spec1_product51_false.cil.c	false(label)	1.7	16	false(label)	0.22	19	false(label)	2.2	140	false(label)	1.9	110	false(label)	1.4	28	false(label)	0.33	25	false(label)	0.18	6.0	false(label)	0.12	5.0	timeout	900	670	false(label)	0.92	110	unknown	2.4	110	unknown	2.3	110
product-lines/minepump_spec1_product52_false.cil.c	false(label)	1.7	16	false(label)	0.20	19	false(label)	2.2	140	false(label)	1.9	100	false(label)	1.5	28	false(label)	0.31	25	false(label)	0.18	6.0	false(label)	0.12	5.0	timeout	900	630	false(label)	0.92	110	unknown	2.6	110	unknown	2.2	120
product-lines/minepump_spec1_product53_false.cil.c	false(label)	1.4	15	false(label)	0.22	20	false(label)	2.2	140	false(label)	1.9	100	false(label)	1.5	32	false(label)	0.31	24	false(label)	0.14	5.0	false(label)	0.12	5.0	timeout	900	450	false(label)	0.87	110	unknown	2.3	110	unknown	2.2	120
product-lines/minepump_spec1_product54_false.cil.c	false(label)	1.4	16	false(label)	0.22	20	false(label)	2.3	140	false(label)	1.9	110	false(label)	1.5	33	false(label)	0.30	24	false(label)	0.14	5.0	false(label)	0.12	5.0	timeout	900	510	false(label)	0.78	100	unknown	2.9	110	unknown	2.3	120
product-lines/minepump_spec1_product55_false.cil.c	false(label)	1.7	16	false(label)	0.22	20	false(label)	2.3	140	false(label)	1.9	110	false(label)	1.6	33	false(label)	0.34	25	false(label)	0.16	7.0	false(label)	0.12	6.0	timeout	900	660	false(label)	0.90	110	unknown	3.3	110	unknown	2.3	120
product-lines/minepump_spec1_product56_false.cil.c	false(label)	1.7	17	false(label)	0.21	20	false(label)	2.2	140	false(label)	2.0	110	false(label)	1.8	33	false(label)	0.31	25	false(label)	0.15	6.0	false(label)	0.12	5.0	timeout	900	620	false(label)	0.89	110	unknown	2.9	110	unknown	2.3	110
product-lines/minepump_spec1_productSimulator_false.cil.c	false(label)	2.9	24	false(label)	0.27	21	false(label)	4.5	220	false(label)	5.0	240	false(label)	6.4	58	false(label)	0.38	26	false(label)	0.22	11	false(label)	0.84	13	timeout	900	830	false(label)	1.1	120	unknown	2.4	110	unknown	2.3	120
product-lines/minepump_spec2_product33_false.cil.c	false(label)	13	24	false(label)	0.22	19	false(label)	2.7	150	false(label)	2.6	170	false(label)	0.83	26	false(label)	0.34	25	false(label)	0.20	6.0	false(label)	0.12	5.0	timeout	900	930	false(label)	0.88	110	unknown	2.7	110	unknown	2.3	120
product-lines/minepump_spec2_product34_false.cil.c	false(label)	14	26	false(label)	0.21	19	false(label)	2.6	150	false(label)	2.7	180	false(label)	0.90	25	false(label)	0.32	24	false(label)	0.18	6.0	false(label)	0.12	5.0	timeout	900	1100	false(label)	0.98	120	unknown	2.7	110	unknown	2.3	110
product-lines/minepump_spec2_product35_false.cil.c	false(label)	38	37	false(label)	0.21	19	false(label)	2.7	150	false(label)	3.8	230	false(label)	1.2	26	false(label)	0.36	25	false(label)	0.18	6.0	false(label)	0.11	5.0	timeout	900	700	false(label)	1.1	120	unknown	2.5	110	unknown	2.3	110
product-lines/minepump_spec2_product36_false.cil.c	false(label)	37	40	false(label)	0.21	19	false(label)	2.8	150	false(label)	4.4	230	false(label)	1.3	26	false(label)	0.39	25	false(label)	0.18	7.0	false(label)	0.13	5.0	timeout	900	660	false(label)	1.1	120	unknown	2.6	110	unknown	2.3	110
product-lines/minepump_spec2_product41_false.cil.c	false(label)	41	37	false(label)	0.36	20	false(label)	2.7	150	false(label)	3.2	200	false(label)	0.97	25	false(label)	0.34	25	false(label)	0.26	7.0	false(label)	0.12	6.0	timeout	900	730	false(label)	1.1	130	unknown	2.9	110	unknown	2.3	110
product-lines/minepump_spec2_product42_false.cil.c	false(label)	42	48	false(label)	0.35	20	false(label)	2.9	160	false(label)	3.2	200	false(label)	1.1	26	false(label)	0.40	25	false(label)	0.23	7.0	false(label)	0.13	6.0	timeout	900	840	false(label)	1.2	130	unknown	2.7	110	unknown	2.2	110
product-lines/minepump_spec2_product43_false.cil.c	false(label)	130	68	false(label)	0.36	20	false(label)	2.9	150	false(label)	5.1	350	false(label)	1.3	27	false(label)	0.39	25	false(label)	0.23	8.0	false(label)	0.14	6.0	timeout	900	670	false(label)	1.3	130	unknown	2.4	110	unknown	2.2	120
product-lines/minepump_spec2_product44_false.cil.c	false(label)	110	60	false(label)	0.39	20	false(label)	3.1	170	false(label)	5.4	370	false(label)	1.2	27	false(label)	0.39	25	false(label)	0.26	8.0	false(label)	0.14	6.0	timeout	900	640	false(label)	1.5	130	unknown	3.0	110	unknown	2.2	110
product-lines/minepump_spec2_productSimulator_false.cil.c	timeout	920	160	false(label)	0.27	21	false(label)	12	380	true	6.1	360	false(label)	6.9	59	false(label)	0.47	27	false(label)	0.31