Tool	AProVE			CBMC 4.9			CPAchecker 1.3.10-svcomp15			ESBMC 1.24			FuncTion			HIPTNT+			Seahorn			Ultimate Automizer r12950			Ultimate Kojak r12950
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	cayman[1-8]
OS	Linux 3.13.0
System	CPU: Intel Core i7-4770 @ 3.40 GHz with 8 cores, frequency: 3.4 GHz; RAM: 33 GB
Date of execution	14-12-13 16:58			14-12-02 12:55			14-11-16 20:48			14-12-13 18:39			14-12-16 12:50			14-12-11 18:41			14-12-20 18:50			14-11-15 14:42			14-12-02 13:02
Options	witness.txt			--64			-sv-comp15 -disable-java-assertions -heap 10000m -setprop cpa.predicate.handlePointerAliasing=false -64												--cex=witness.graphml -m64			64bit simple			64bit simple
../../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)
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination.c	unknown	2.0	210	unknown	0.030	1.00	unsupported property	0.19	26	true	0.060	11	unknown	0.023	2.0	unknown	0.17	40	unknown	0.040	5.0	false(termination)	5.9	300	unknown	0.028	3.0
termination-crafted/Division_false-termination.c	unknown	4.9	240	unknown	0.030	1.00	unsupported property	0.21	26	true	0.063	11	unknown	0.035	5.0	false(termination)	0.32	45	unknown	0.050	5.0	false(termination)	6.3	300	unknown	0.023	3.0
termination-crafted/Madrid_false-termination.c	unknown	1.9	190	unknown	0.028	1.00	unsupported property	0.19	26	true	0.053	11	unknown	0.018	2.0	false(termination)	0.095	40	unknown	0.038	5.0	false(termination)	6.2	300	unknown	0.026	3.0
termination-crafted/NonTermination1_false-termination.c	unknown	22	820	unknown	0.012	1.00	unsupported property	0.19	24	true	0.068	11	unknown	0.021	2.0	false(termination)	0.11	40	unknown	0.038	5.0	false(termination)	6.1	290	unknown	0.011	3.0
termination-crafted/NonTermination2_false-termination.c	timeout	920	4800	unknown	0.026	1.00	unsupported property	0.19	26	true	0.075	11	unknown	0.042	3.0	false(termination)	0.12	40	unknown	0.037	5.0	false(termination)	6.3	300	unknown	0.020	3.0
termination-crafted/NonTermination3_false-termination.c	unknown	4.0	230	unknown	0.028	1.00	unsupported property	0.21	26	false(reach)	0.10	12	unknown	0.030	9.0	unknown	0.19	40	unknown	0.042	5.0	false(termination)	6.3	300	unknown	0.040	3.0
termination-crafted/NonTermination4_false-termination.c	timeout	920	4900	unknown	0.043	1.00	unsupported property	0.18	28	true	0.065	11	unknown	0.012	3.0	false(termination)	0.094	40	unknown	0.033	5.0	unknown	230	4800	unknown	0.023	3.0
termination-crafted/NonTerminationSimple2_false-termination.c	unknown	8.1	380	unknown	0.033	1.00	unsupported property	0.18	26	true	0.070	12	unknown	0.0098	2.0	false(termination)	0.080	40	unknown	0.034	5.0	false(termination)	6.3	300	unknown	0.019	3.0
termination-crafted/NonTerminationSimple3_false-termination.c	unknown	120	4300	unknown	0.040	1.00	unsupported property	0.19	26	true	0.058	11	unknown	0.054	10.0	false(termination)	0.13	43	unknown	0.045	5.0	false(termination)	6.2	300	unknown	0.035	3.0
termination-crafted/NonTerminationSimple4_false-termination.c	timeout	920	3300	unknown	0.029	1.00	unsupported property	0.20	26	true	0.043	11	unknown	0.014	4.0	false(termination)	0.12	40	unknown	0.031	5.0	false(termination)	6.4	300	unknown	0.031	3.0
termination-crafted/NonTerminationSimple5_false-termination.c	unknown	23	560	unknown	0.025	1.00	unsupported property	0.21	26	true	0.076	12	unknown	0.031	3.0	unknown	100	150	unknown	0.036	5.0	false(termination)	6.2	300	unknown	0.026	3.0
termination-crafted/NonTerminationSimple6_false-termination.c	unknown	9.0	300	unknown	0.030	1.00	unsupported property	0.19	26	true	0.075	11	unknown	0.035	8.0	false(termination)	0.14	43	unknown	0.044	5.0	false(termination)	6.3	290	unknown	0.038	3.0
termination-crafted/NonTerminationSimple7_false-termination.c	unknown	2.4	210	unknown	0.026	1.00	unsupported property	0.18	26	true	0.073	11	unknown	0.029	10.0	false(termination)	0.16	43	unknown	0.021	5.0	false(termination)	6.0	300	unknown	0.030	3.0
termination-crafted/NonTerminationSimple8_false-termination.c	unknown	120	2100	unknown	0.025	1.00	unsupported property	0.19	26	true	0.075	12	unknown	0.031	4.0	false(termination)	0.23	41	unknown	0.037	5.0	false(termination)	6.2	300	unknown	0.039	3.0
termination-crafted/NonTerminationSimple9_false-termination.c	unknown	5.2	290	unknown	0.025	1.00	unsupported property	0.18	28	true	0.062	12	unknown	0.025	2.0	unknown	0.30	43	unknown	0.025	5.0	false(termination)	6.3	290	unknown	0.034	3.0
termination-crafted/RecursiveNonterminating_false-termination.c	unknown	12	290	unknown	0.028	1.00	unsupported property	0.19	25	true	0.056	12	unknown	0.035	8.0	unknown	1.8	47	unknown	0.038	5.0	false(termination)	6.7	300	unknown	0.034	3.0
termination-crafted/Rotation180_false-termination.c	unknown	3.1	210	unknown	0.031	1.00	unsupported property	0.19	28	true	0.043	11	unknown	0.025	1.00	false(termination)	0.094	40	unknown	0.038	5.0	false(termination)	7.2	300	unknown	0.012	3.0
termination-crafted/WhileTrue_false-termination.c	unknown	1.9	190	unknown	0.035	1.00	unsupported property	0.18	26	true	0.067	11	unknown	0.013	1.00	false(termination)	0.067	40	unknown	0.047	5.0	false(termination)	5.9	290	unknown	0.033	3.0
termination-crafted/2Nested_true-termination.c	true	4.3	260	unknown	0.032	1.00	unsupported property	0.19	26	true	0.054	12	unknown	0.060	14	true	0.10	43	unknown	0.038	5.0	true	5.9	300	unknown	0.016	3.0
termination-crafted/4BitCounterPointer_true-termination.c	true	2.3	210	unknown	0.035	1.00	unsupported property	0.21	26	false(reach)	0.31	15	true	0.65	42	true	1.8	52	unknown	0.039	5.0	timeout	920	1200	unknown	0.016	3.0
termination-crafted/4NestedWith3Variables_true-termination.c	true	180	3200	unknown	0.012	1.00	unsupported property	0.21	26	true	0.074	12	unknown	0.099	24	unknown	200	220	unknown	0.041	5.0	true	6.8	300	unknown	0.025	3.0
termination-crafted/Arrays01-EquivalentConstantIndices_true-termination.c	true	2.0	210	unknown	0.024	1.00	unsupported property	0.21	27	true	0.073	11	true	0.018	2.0	unknown	0.16	40	unknown	0.035	5.0	true	6.3	300	unknown	0.030	3.0
termination-crafted/Arrays03-ValueRestictsIndex_true-termination.c	unknown	6.2	250	unknown	0.037	1.00	unsupported property	0.21	26	true	0.071	12	true	0.039	7.0	unknown	0.21	43	unknown	0.045	5.0	unknown	8.2	300	unknown	0.023	3.0
termination-crafted/Bangalore_true-termination.c	true	2.5	220	unknown	0.031	1.00	unsupported property	0.21	26	true	0.057	11	true	0.049	11	true	0.13	43	unknown	0.036	5.0	true	6.7	300	unknown	0.027	3.0
termination-crafted/Benghazi_true-termination.c	true	4.9	380	unknown	0.034	1.00	unsupported property	0.20	26	true	0.071	11	true	0.078	21	true	0.19	43	unknown	0.020	5.0	true	6.5	300	unknown	0.041	3.0
termination-crafted/Cairo_true-termination.c	true	2.2	210	unknown	0.045	1.00	unsupported property	0.18	26	true	0.062	11	true	0.020	4.0	true	0.14	43	unknown	0.041	5.0	true	6.8	300	unknown	0.028	3.0
termination-crafted/Copenhagen_true-termination.c	true	3.1	230	unknown	0.039	1.00	unsupported property	0.18	24	true	0.070	12	true	0.072	17	true	0.15	43	unknown	0.028	5.0	true	6.1	300	unknown	0.030	3.0
termination-crafted/Gothenburg_true-termination.c	true	13	1200	unknown	0.033	1.00	unsupported property	0.20	26	true	0.072	12	unknown	0.70	32	unknown	16	120	unknown	0.046	5.0	true	11	310	unknown	0.032	3.0
termination-crafted/LexIndexValue-Array_true-termination.c	timeout	920	1500	unknown	0.042	1.00	unsupported property	0.19	26	true	0.073	13	true	0.11	24	unknown	0.19	40	unknown	0.037	5.0	true	9.7	300	unknown	0.033	3.0
termination-crafted/LexIndexValue-Pointer_true-termination.c	unknown	1.4	150	unknown	0.026	1.00	unsupported property	0.20	26	false(reach)	0.76	16	invalid syntax	0.017	0	unknown	0.064	12	unknown	0.027	5.0	true	75	1800	unknown	0.026	3.0
termination-crafted/Lobnya-Boolean-Reordered_true-termination.c	true	2.7	220	unknown	0.037	1.00	unsupported property	0.20	26	true	0.061	12	true	0.037	11	true	0.18	43	unknown	0.021	5.0	unknown	14	320	unknown	0.011	3.0
termination-crafted/MenloPark_true-termination.c	true	6.3	380	unknown	0.024	1.00	unsupported property	0.19	26	true	0.057	12	true	0.073	22	unknown	4.8	54	unknown	0.048	5.0	true	7.3	300	unknown	0.027	3.0
termination-crafted/Mysore_true-termination.c	true	7.2	270	unknown	0.019	1.00	unsupported property	0.20	28	true	0.076	11	true	0.061	13	true	0.12	43	unknown	0.040	5.0	true	6.0	300	unknown	0.023	3.0
termination-crafted/Nyala-2lex_true-termination.c	true	4.5	260	unknown	0.028	1.00	unsupported property	0.20	28	true	0.063	12	true	0.23	29	true	1.2	53	unknown	0.030	5.0	true	8.1	300	unknown	0.020	3.0
termination-crafted/Parallel_true-termination.c	true	4.0	250	unknown	0.038	1.00	unsupported property	0.20	28	true	0.075	11	true	0.14	30	true	0.096	43	unknown	0.021	5.0	true	6.6	300	unknown	0.028	3.0
termination-crafted/Piecewise_true-termination.c	true	9.6	660	unknown	0.035	1.00	unsupported property	0.20	26	true	0.061	12	unknown	0.18	35	true	0.21	44	unknown	0.021	5.0	true	9.5	300	unknown	0.030	3.0
termination-crafted/Pure2Phase_true-termination.c	true	6.4	370	unknown	0.029	1.00	unsupported property	0.19	28	true	0.068	12	true	0.13	27	true	0.15	43	unknown	0.026	5.0	true	8.3	300	unknown	0.034	3.0
termination-crafted/Pure3Phase_true-termination.c	timeout	920	6000	unknown	0.035	1.00	unsupported property	0.19	26	true	0.075	12	unknown	0.75	29	true	0.26	44	unknown	0.034	5.0	true	10	300	unknown	0.026	3.0
termination-crafted/RecursiveMultiplication_true-termination.c	true	2.7	220	unknown	0.028	1.00	unsupported property	0.18	26	true	27	2100	unknown	0.049	18	true	0.10	43	unknown	0.030	5.0	true	7.9	300	unknown	0.033	3.0
termination-crafted/Stockholm_true-termination.c	true	5.1	280	unknown	0.030	1.00	unsupported property	0.21	28	true	0.068	11	true	0.036	12	true	0.11	43	unknown	0.020	5.0	true	6.8	300	unknown	0.032	3.0
termination-crafted/SyntaxSupportPointer01_true-termination.c	unknown	2.9	210	unknown	0.035	1.00	unsupported property	0.18	26	false(reach)	0.12	13	true	0.023	2.0	true	0.13	43	unknown	0.044	5.0	true	8.7	300	unknown	0.019	3.0
termination-crafted/Thun_true-termination.c	true	4.1	260	unknown	0.028	1.00	unsupported property	0.19	24	true	0.069	12	unknown	0.070	18	true	0.18	43	unknown	0.029	5.0	true	6.6	300	unknown	0.042	3.0
termination-crafted/Waldkirch_true-termination.c	true	1.3	160	unknown	0.031	1.00	unsupported property	0.20	26	true	0.061	11	true	0.014	2.0	true	0.076	43	unknown	0.034	5.0	true	5.9	300	unknown	0.023	3.0
termination-crafted/WhileFalse_true-termination.c	true	1.3	150	unknown	0.026	1.00	unsupported property	0.18	26	true	0.057	11	true	0.0040	1.00	true	0.094	40	unknown	0.043	5.0	true	5.3	250	unknown	0.037	3.0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	unknown	23	630	unknown	0.017	1.00	unsupported property	0.18	26	true	0.049	12	unknown	1.3	27	false(termination)	0.25	45	unknown	0.020	5.0	false(termination)	6.3	300	unknown	0.040	3.0
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c	unknown	2.4	210	unknown	0.032	1.00	unsupported property	0.20	26	true	0.070	12	unknown	0.021	4.0	unknown	0.27	43	unknown	0.026	5.0	false(termination)	6.5	300	unknown	0.024	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c	timeout	920	4500	unknown	0.036	1.00	unsupported property	0.18	26	true	0.071	11	unknown	0.044	15	false(termination)	0.27	45	unknown	0.024	5.0	unknown	8.7	300	unknown	0.023	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c	unknown	10	270	unknown	0.040	1.00	unsupported property	0.19	26	true	0.065	12	unknown	0.066	18	false(termination)	0.15	44	unknown	0.042	5.0	false(termination)	6.4	300	unknown	0.038	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c	unknown	21	270	unknown	0.030	1.00	unsupported property	0.20	26	true	0.068	11	unknown	0.096	18	false(termination)	0.18	44	unknown	0.050	5.0	false(termination)	6.1	300	unknown	0.036	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c	unknown	11	440	unknown	0.038	1.00	unsupported property	0.19	26	true	0.056	11	unknown	1.4	25	false(termination)	0.34	45	unknown	0.040	5.0	false(termination)	6.5	290	unknown	0.027	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	timeout	920	4000	unknown	0.026	1.00	unsupported property	0.18	28	true	0.067	11	unknown	0.036	14	unknown	0.61	44	unknown	0.041	5.0	unknown	8.6	300	unknown	0.011	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	unknown	22	790	unknown	0.028	1.00	unsupported property	0.18	26	true	0.054	11	unknown	0.033	6.0	false(termination)	0.15	44	unknown	0.032	5.0	timeout	920	4900	unknown	0.020	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	unknown	11	400	unknown	0.044	1.00	unsupported property	0.20	26	true	0.073	12	unknown	0.089	24	false(termination)	0.32	47	unknown	0.041	5.0	false(termination)	6.3	300	unknown	0.035	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	unknown	10	270	unknown	0.030	1.00	unsupported property	0.19	26	true	0.067	11	unknown	0.048	17	unknown	0.63	46	unknown	0.034	5.0	false(termination)	6.3	300	unknown	0.022	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c	unknown	35	1800	unknown	0.025	1.00	unsupported property	0.19	28	true	0.067	11	unknown	0.044	11	false(termination)	0.097	44	unknown	0.044	5.0	false(termination)	6.1	290	unknown	0.021	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	timeout	920	4500	unknown	0.027	1.00	unsupported property	0.20	26	true	0.067	11	unknown	0.037	6.0	false(termination)	0.15	44	unknown	0.043	5.0	false(termination)	6.5	290	unknown	0.025	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c	unknown	49	1200	unknown	0.026	1.00	unsupported property	0.19	26	true	0.065	12	unknown	0.072	16	false(termination)	0.42	46	unknown	0.040	5.0	false(termination)	6.2	300	unknown	0.020	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	timeout	920	4900	unknown	0.022	1.00	unsupported property	0.19	24	true	0.055	11	unknown	0.090	22	false(termination)	0.31	46	unknown	0.036	5.0	unknown	8.9	300	unknown	0.011	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-termination.c	unknown	5.0	250	unknown	0.032	1.00	unsupported property	0.20	28	true	0.067	12	unknown	0.057	17	false(termination)	0.14	44	unknown	0.024	5.0	false(termination)	6.3	300	unknown	0.022	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-termination.c	timeout	920	4400	unknown	0.020	1.00	unsupported property	0.21	28	true	0.051	12	unknown	0.12	28	unknown	1.0	46	unknown	0.038	5.0	false(termination)	6.6	300	unknown	0.033	3.0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c	unknown	100	1600	unknown	0.026	1.00	unsupported property	0.20	26	true	0.069	12	unknown	0.35	28	false(termination)	2.5	54	unknown	0.021	5.0	false(termination)	6.4	300	unknown	0.017	3.0
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c	unknown	28	1300	unknown	0.031	1.00	unsupported property	0.22	26	true	0.074	12	invalid syntax	0.012	0	false(termination)	0.32	45	unknown	0.038	5.0	false(termination)	6.3	310	unknown	0.028	3.0
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-termination.c	timeout	920	2600	unknown	0.035	1.00	unsupported property	0.19	26	true	0.074	11	unknown	0.042	6.0	false(termination)	0.13	43	unknown	0.040	5.0	unknown	8.6	300	unknown	0.015	3.0
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-termination.c	timeout	920	5000	unknown	0.030	1.00	unsupported property	0.20	26	true	0.073	12	unknown	0.038	6.0	false(termination)	0.15	40	unknown	0.047	5.0	unknown	56	4700	unknown	0.011	3.0
termination-crafted-lit/Urban-WST2013-Fig1_false-termination.c	unknown	2.2	210	unknown	0.036	1.00	unsupported property	0.20	26	true	0.065	12	unknown	0.035	9.0	false(termination)	0.14	43	unknown	0.021	5.0	false(termination)	6.9	300	unknown	0.030	3.0
termination-crafted-lit/Velroyen_false-termination.c	unknown	6.1	260	unknown	0.012	1.00	unsupported property	0.19	26	true	0.077	12	unknown	0.24	26	false(termination)	0.25	44	unknown	0.036	5.0	false(termination)	6.3	300	unknown	0.015	3.0
termination-crafted-lit/joey_false-termination.c	unknown	5.4	240	unknown	0.023	1.00	unsupported property	0.18	26	out of memory	130	15000	unknown	0.016	4.0	false(termination)	0.31	42	unknown	0.035	5.0	false(termination)	11	300	unknown	0.013	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	true	37	1500	unknown	0.024	1.00	unsupported property	0.20	26	true	0.097	12	unknown	3.3	30	true	11	72	unknown	0.033	5.0	true	10	300	unknown	0.034	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	timeout	920	4400	unknown	0.026	1.00	unsupported property	0.20	26	true	0.099	12	true	0.28	17	true	0.29	70	unknown	0.041	5.0	true	7.9	310	unknown	0.021	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	timeout	920	4400	unknown	0.030	1.00	unsupported property	0.19	28	true	0.98	150	unknown	1.3	18	true	0.79	78	unknown	0.020	5.0	timeout	920	11000	unknown	0.031	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_true-termination.c	true	12	1200	unknown	0.044	1.00	unsupported property	0.19	28	true	0.069	12	true	0.023	8.0	true	0.17	44	unknown	0.048	5.0	true	7.7	300	unknown	0.029	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_true-termination.c	timeout	920	4500	unknown	0.030	1.00	unsupported property	0.18	26	true	0.046	12	unknown	0.040	8.0	unknown	39	120	unknown	0.045	5.0	true	8.8	300	unknown	0.030	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	true	40	1500	unknown	0.020	1.00	unsupported property	0.18	24	true	0.11	12	unknown	4.8	21	true	0.42	72	unknown	0.041	5.0	true	10	310	unknown	0.026	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	true	16	1100	unknown	0.028	1.00	unsupported property	0.20	26	true	0.071	12	unknown	16	43	unknown	130	150	unknown	0.028	5.0	true	16	310	unknown	0.037	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	true	140	2400	unknown	0.025	1.00	unsupported property	0.20	28	true	0.15	13	unknown	19	38	true	0.44	73	unknown	0.024	5.0	true	8.8	300	unknown	0.024	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	true	4.6	250	unknown	0.033	1.00	unsupported property	0.19	26	true	0.079	12	true	2.2	24	true	1.4	50	unknown	0.038	5.0	true	8.3	300	unknown	0.039	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination.c	true	3.9	250	unknown	0.024	1.00	unsupported property	0.19	26	true	0.057	11	true	0.051	15	true	0.15	43	unknown	0.021	5.0	true	6.3	290	unknown	0.034	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination.c	true	4.4	250	unknown	0.029	1.00	unsupported property	0.19	26	true	0.069	12	true	0.038	4.0	true	0.094	43	unknown	0.040	5.0	true	5.9	300	unknown	0.019	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	true	4.8	320	unknown	0.035	1.00	unsupported property	0.20	26	true	0.067	12	true	0.18	27	true	0.14	44	unknown	0.050	5.0	true	6.5	300	unknown	0.037	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	true	8.0	530	unknown	0.030	1.00	unsupported property	0.19	26	true	0.081	12	unknown	0.61	26	true	0.28	70	unknown	0.021	5.0	true	9.4	300	unknown	0.026	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	true	2.6	220	unknown	0.026	1.00	unsupported property	0.18	26	true	0.069	11	true	0.012	3.0	true	0.13	43	unknown	0.029	5.0	true	6.0	300	unknown	0.024	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	true	30	1500	unknown	0.037	1.00	unsupported property	0.20	26	true	0.35	43	unknown	610	110	true	0.38	75	unknown	0.036	5.0	true	11	310	unknown	0.027	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	true	15	1200	unknown	0.030	1.00	unsupported property	0.18	26	true	0.065	12	true	0.038	5.0	true	0.16	43	unknown	0.053	5.0	true	6.3	300	unknown	0.028	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	timeout	920	4800	unknown	0.032	1.00	unsupported property	0.20	26	true	0.076	12	true	0.12	36	true	0.28	45	unknown	0.048	5.0	true	6.3	300	unknown	0.011	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	timeout	920	1400	unknown	0.037	1.00	unsupported property	0.20	26	true	0.060	12	unknown	0.43	36	true	1.9	52	unknown	0.042	5.0	true	11	320	unknown	0.027	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	true	5.8	360	unknown	0.035	1.00	unsupported property	0.18	26	true	0.052	12	unknown	0.34	34	true	0.21	44	unknown	0.028	5.0	true	8.7	300	unknown	0.030	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	true	8.2	1200	unknown	0.018	1.00	unsupported property	0.20	26	true	0.067	12	true	0.53	31	unknown	3.0	53	unknown	0.034	5.0	true	11	300	unknown	0.030	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	true	11	1200	unknown	0.024	1.00	unsupported property	0.19	26	true	0.059	12	true	1.9	30	true	1.6	52	unknown	0.033	5.0	true	8.9	300	unknown	0.028	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	true	4.5	260	unknown	0.026	1.00	unsupported property	0.18	26	true	0.069	11	true	0.39	22	true	0.23	44	unknown	0.046	5.0	true	9.1	300	unknown	0.029	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	true	5.4	250	unknown	0.022	1.00	unsupported property	0.22	26	true	0.058	11	true	0.18	27	true	0.13	44	unknown	0.029	5.0	true	6.3	300	unknown	0.029	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	true	5.2	250	unknown	0.025	1.00	unsupported property	0.18	27	true	0.075	12	true	0.19	25	true	0.20	69	unknown	0.027	5.0	true	12	310	unknown	0.026	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	true	4.0	250	unknown	0.029	1.00	unsupported property	0.21	26	true	0.076	12	true	1.4	25	true	0.16	69	unknown	0.041	5.0	true	7.8	310	unknown	0.028	3.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	true	8.2	450	unknown	0.038	1.00	unsupported property	0.20	26	true	0.063	12	true	0.048	12	true	0.18	44	unknown	0.049	5.0	true	8.1	300	unknown	0.033	3.0
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination.c	true	40	1500	unknown	0.036	1.00	unsupported property	0.19	26	true	0.074	12	unknown	2.6	35	true	0.16	43	unknown	0.055	5.0	true	6.8	300	unknown	0.028	3.0
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_true-termination.c	true	6.8	270	unknown	0.016	1.00	unsupported property	0.20	27	true	0.051	12	unknown	0.14	34	true	0.20	44	unknown	0.039	5.0	true	9.4	300	unknown	0.033	3.0
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination.c	true	29	730	unknown	0.038	1.00	unsupported property	0.19	26	true	0.071	12	unknown	0.99	27	true	0.25	44	unknown	0.027	5.0	true	21	510	unknown	0.032	3.0
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	timeout	920	6100	unknown	0.026	1.00	unsupported property	0.20	26	true	0.068	12	unknown	0.72	27	unknown	3.7	57	unknown	0.028	5.0	true	12	300	unknown	0.025	3.0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	true	6.9	510	unknown	0.034	1.00	unsupported property	0.20	27	true	0.086	12	true	1.1	23	true	0.23	68	unknown	0.031	5.0	true	7.3	300	unknown	0.035	3.0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	true	20	1500	unknown	0.033	1.00	unsupported property	0.20	28	true	0.083	12	unknown	2.7	24	true	1.1	69	unknown	0.039	5.0	true	8.6	300	unknown	0.015	3.0
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	true	5.0	260	unknown	0.035	1.00	unsupported property	0.20	26	true	0.054	12	true	0.045	13	true	0.11	43	unknown	0.032	5.0	true	6.1	300	unknown	0.034	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	timeout	920	4600	unknown	0.028	1.00	unsupported property	0.22	26	true	0.075	12	unknown	0.028	3.0	true	0.73	45	unknown	0.036	5.0	unknown	5.4	240	unknown	0.028	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	true	17	1100	unknown	0.026	1.00	unsupported property	0.18	26	true	0.071	12	true	0.75	29	true	0.30	44	unknown	0.034	5.0	true	8.1	300	unknown	0.011	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_true-termination.c	true	13	1200	unknown	0.035	1.00	unsupported property	0.19	28	true	0.081	12	true	0.039	8.0	true	0.17	43	unknown	0.035	5.0	true	6.4	300	unknown	0.018	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_true-termination.c	timeout	920	4500	unknown	0.032	1.00	unsupported property	0.21	26	true	0.059	12	unknown	0.029	8.0	unknown	39	110	unknown	0.050	5.0	true	8.7	300	unknown	0.026	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	timeout	920	4900	unknown	0.035	1.00	unsupported property	0.19	26	true	0.080	12	unknown	2.2	45	true	0.86	47	unknown	0.043	5.0	true	8.8	300	unknown	0.019	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	timeout	920	1500	unknown	0.029	1.00	unsupported property	0.20	26	true	0.060	12	unknown	0.088	30	true	0.30	44	unknown	0.029	5.0	true	6.6	300	unknown	0.023	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination.c	true	3.7	240	unknown	0.014	1.00	unsupported property	0.18	26	true	0.062	12	true	0.039	15	true	0.14	43	unknown	0.035	5.0	true	6.3	300	unknown	0.026	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination.c	true	4.3	250	unknown	0.021	1.00	unsupported property	0.19	26	true	0.072	11	true	0.014	4.0	true	0.13	43	unknown	0.038	5.0	true	6.0	300	unknown	0.026	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	true	12	1200	unknown	0.033	1.00	unsupported property	0.20	27	true	0.077	12	true	0.016	5.0	true	0.12	43	unknown	0.035	5.0	true	6.2	300	unknown	0.020	3.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	timeout	920	4800	unknown	0.039	1.00	unsupported property	0.19	26	true	0.073	12	true	0.11	36	true	0.26	43	unknown	0.035	5.0	true	6.6	300	unknown	0.027	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	true	2.8	210	unknown	0.034	1.00	unsupported property	0.19	28	true	0.077	12	true	0.070	17	true	0.10	44	unknown	0.030	5.0	unknown	7.4	300	unknown	0.031	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	true	3.8	230	unknown	0.042	1.00	unsupported property	0.19	26	true	0.063	11	unknown	0.029	6.0	true	0.17	44	unknown	0.047	5.0	true	6.2	300	unknown	0.036	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	unknown	1.5	170	unknown	0.031	1.00	unsupported property	0.18	28	true	0.069	11	true	0.037	6.0	true	0.11	41	unknown	0.044	5.0	true	6.1	300	unknown	0.020	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	true	3.1	230	unknown	0.015	1.00	unsupported property	0.20	27	true	0.075	11	unknown	0.037	4.0	true	0.14	44	unknown	0.030	5.0	true	6.0	300	unknown	0.024	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	true	2.9	230	unknown	0.026	1.00	unsupported property	0.20	26	true	0.062	12	unknown	0.043	4.0	true	0.13	44	unknown	0.045	5.0	true	6.2	300	unknown	0.034	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	true	5.3	250	unknown	0.029	1.00	unsupported property	0.20	26	true	0.054	11	unknown	0.060	14	true	0.14	44	unknown	0.024	5.0	true	6.1	300	unknown	0.011	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	true	3.9	250	unknown	0.029	1.00	unsupported property	0.19	26	true	0.062	11	unknown	0.088	21	true	0.17	44	unknown	0.029	5.0	true	6.3	300	unknown	0.031	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	true	6.0	260	unknown	0.042	1.00	unsupported property	0.20	27	true	0.075	11	unknown	0.12	25	true	0.12	44	unknown	0.051	5.0	true	6.3	300	unknown	0.031	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	true	200	3400	unknown	0.031	1.00	unsupported property	0.20	26	true	0.067	11	true	0.14	24	true	0.22	45	unknown	0.040	5.0	true	6.5	300	unknown	0.031	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c	true	3.2	260	unknown	0.037	1.00	unsupported property	0.19	27	true	0.066	11	true	0.080	20	true	0.14	44	unknown	0.030	5.0	true	6.1	290	unknown	0.034	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	true	7.5	380	unknown	0.033	1.00	unsupported property	0.18	28	true	0.065	11	unknown	0.068	16	true	0.10	44	unknown	0.032	5.0	true	6.0	300	unknown	0.016	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	true	2.5	220	unknown	0.035	1.00	unsupported property	0.18	26	true	0.066	12	true	0.018	5.0	true	0.14	43	unknown	0.044	5.0	true	6.1	290	unknown	0.039	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	true	4.3	260	unknown	0.028	1.00	unsupported property	0.21	26	true	0.065	11	unknown	0.086	19	true	0.20	45	unknown	0.030	5.0	true	6.4	300	unknown	0.022	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	true	4.8	250	unknown	0.019	1.00	unsupported property	0.21	26	true	0.066	11	unknown	0.16	23	true	0.22	44	unknown	0.021	5.0	true	6.1	300	unknown	0.031	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c	true	3.4	230	unknown	0.032	1.00	unsupported property	0.21	26	true	0.080	11	unknown	0.022	5.0	true	0.15	44	unknown	0.032	5.0	true	6.0	300	unknown	0.029	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	true	4.9	250	unknown	0.033	1.00	unsupported property	0.19	26	true	0.068	12	unknown	0.047	17	true	0.14	44	unknown	0.034	5.0	true	6.3	300	unknown	0.042	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	true	2.2	210	unknown	0.030	1.00	unsupported property	0.20	26	true	0.073	11	true	0.031	8.0	true	0.14	44	unknown	0.038	5.0	true	7.4	300	unknown	0.029	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	true	3.0	220	unknown	0.031	1.00	unsupported property	0.20	26	true	0.076	11	true	0.031	4.0	true	0.13	44	unknown	0.020	5.0	true	6.2	300	unknown	0.028	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	true	11	360	unknown	0.018	1.00	unsupported property	0.19	26	true	0.060	12	unknown	0.074	17	true	0.20	44	unknown	0.030	5.0	true	6.2	300	unknown	0.036	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	true	13	760	unknown	0.031	1.00	unsupported property	0.20	26	true	0.064	12	unknown	0.099	25	true	0.22	44	unknown	0.026	5.0	true	6.1	300	unknown	0.011	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	true	11	660	unknown	0.028	1.00	unsupported property	0.19	26	true	0.074	12	unknown	0.17	34	true	0.21	44	unknown	0.038	5.0	true	6.5	300	unknown	0.028	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	true	7.0	260	unknown	0.032	1.00	unsupported property	0.18	26	true	0.071	12	unknown	0.045	15	true	0.15	45	unknown	0.028	5.0	true	6.2	300	unknown	0.042	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	true	5.4	250	unknown	0.022	1.00	unsupported property	0.21	26	true	0.068	12	unknown	0.029	11	true	0.18	44	unknown	0.035	5.0	true	6.3	300	unknown	0.013	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	timeout	920	4500	unknown	0.031	1.00	unsupported property	0.19	26	true	0.066	12	true	0.067	17	true	0.14	44	unknown	0.045	5.0	true	6.2	300	unknown	0.011	3.0
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	true	8.1	370	unknown	0.035	1.00	unsupported property	0.20	26	true	0.052	11	unknown	0.060	15	true	0.17	43	unknown	0.044	5.0	true	6.4	300	unknown	0.015	3.0
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_true-termination.c	true	5.2	310	unknown	0.018	1.00	unsupported property	0.20	26	true	0.053	12	true	0.13	26	true	0.11	43	unknown	0.047	5.0	true	6.1	300	unknown	0.024	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination.c	true	6.6	370	unknown	0.018	1.00	unsupported property	0.19	26	true	0.070	12	true	0.23	35	true	2.5	57	unknown	0.021	5.0	true	8.3	300	unknown	0.011	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	true	9.6	360	unknown	0.041	1.00	unsupported property	0.19	26	true	0.058	12	true	1.2	36	true	38	160	unknown	0.020	5.0	true	8.6	300	unknown	0.027	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	true	29	1200	unknown	0.036	1.00	unsupported property	0.20	28	true	0.064	12	true	4.6	47	true	4.5	62	unknown	0.034	5.0	true	12	300	unknown	0.031	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	true	3.4	250	unknown	0.031	1.00	unsupported property	0.18	26	true	0.068	11	true	0.045	10.0	true	0.15	43	unknown	0.041	5.0	true	7.4	300	unknown	0.032	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	true	2.9	220	unknown	0.023	1.00	unsupported property	0.19	24	true	0.057	11	true	0.036	8.0	true	0.14	43	unknown	0.037	5.0	true	7.8	300	unknown	0.022	3.0
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	true	2.3	210	unknown	0.039	1.00	unsupported property	0.19	26	true	0.072	12	true	0.077	18	true	0.15	43	unknown	0.032	5.0	true	8.8	320	unknown	0.011	3.0
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination.c.c	true	5.2	360	unknown	0.029	1.00	unsupported property	0.21	26	true	0.063	12	true	0.18	25	true	0.17	43	unknown	0.030	5.0	true	8.6	300	unknown	0.011	3.0
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_true-termination.c	true	6.8	430	unknown	0.047	1.00	unsupported property	0.18	26	true	0.069	12	unknown	0.77	24	true	0.17	43	unknown	0.040	5.0	true	8.4	300	unknown	0.015	3.0
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_true-termination.c	true	6.4	370	unknown	0.034	1.00	unsupported property	0.18	26	true	0.066	12	unknown	0.36	32	true	0.17	43	unknown	0.039	5.0	true	7.0	300	unknown	0.034	3.0
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_true-termination.c	true	3.7	250	unknown	0.028	1.00	unsupported property	0.18	26	true	0.071	11	true	0.024	3.0	true	0.11	43	unknown	0.021	5.0	true	5.9	300	unknown	0.022	3.0
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	unknown	21	780	unknown	0.035	1.00	unsupported property	0.18	24	true	0.067	12	unknown	0.77	28	unknown	11	60	unknown	0.042	5.0	timeout	920	540	unknown	0.029	3.0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c	true	52	1500	unknown	0.031	1.00	unsupported property	0.20	26	true	0.077	12	unknown	6.6	44	true	1.4	50	unknown	0.027	5.0	true	18	310	unknown	0.038	3.0
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c	true	3.6	250	unknown	0.028	1.00	unsupported property	0.18	26	true	0.070	11	true	0.027	3.0	true	0.14	43	unknown	0.044	5.0	true	6.2	300	unknown	0.024	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	true	3.6	260	unknown	0.030	1.00	unsupported property	0.19	26	true	0.073	12	true	0.054	13	true	0.13	43	unknown	0.021	5.0	true	6.1	290	unknown	0.040	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c	unknown	11	300	unknown	0.029	1.00	unsupported property	0.20	26	true	0.072	11	unknown	0.21	26	unknown	0.53	44	unknown	0.038	5.0	unknown	8.7	300	unknown	0.011	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	true	2.3	210	unknown	0.032	1.00	unsupported property	0.20	26	true	0.071	12	true	0.021	3.0	true	0.13	43	unknown	0.044	5.0	true	6.0	300	unknown	0.025	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c	true	3.0	230	unknown	0.019	1.00	unsupported property	0.18	26	true	0.076	12	true	0.16	23	true	0.24	44	unknown	0.029	5.0	unknown	8.0	300	unknown	0.035	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	true	2.7	220	unknown	0.024	1.00	unsupported property	0.19	26	true	0.069	12	true	0.024	9.0	true	0.15	43	unknown	0.021	5.0	true	6.4	290	unknown	0.025	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c	true	9.1	380	unknown	0.036	1.00	unsupported property	0.19	26	false(reach)	0.20	14	invalid syntax	0.0093	0	unknown	0.062	12	unknown	0.034	5.0	true	8.5	300	unknown	0.037	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	unknown	57	410	unknown	0.027	1.00	unsupported property	0.19	26	true	0.069	11	true	0.034	11	true	0.14	43	unknown	0.028	5.0	unknown	8.1	300	unknown	0.011	3.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	unknown	35	410	unknown	0.039	1.00	unsupported property	0.19	26	true	0.064	12	true	0.11	26	true	0.13	43	unknown	0.046	5.0	unknown	7.7	300	unknown	0.042	3.0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	true	5.8	370	unknown	0.036	1.00	unsupported property	0.20	26	true	0.061	11	true	0.024	9.0	true	0.14	43	unknown	0.040	5.0	true	6.2	300	unknown	0.017	3.0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c	timeout	920	1400	unknown	0.032	1.00	unsupported property	0.19	26	true	0.063	12	unknown	0.050	10.0	true	1.4	49	unknown	0.036	5.0	true	9.9	300	unknown	0.015	3.0
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	timeout	920	4700	unknown	0.023	1.00	unsupported property	0.20	26	true	0.086	12	unknown	14	30	unknown	1.9	74	unknown	0.039	5.0	true	17	320	unknown	0.032	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c	true	2.6	220	unknown	0.026	1.00	unsupported property	0.20	26	true	0.080	12	unknown	0.050	19	true	0.14	44	unknown	0.030	5.0	true	10	330	unknown	0.033	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c	true	3.0	230	unknown	0.038	1.00	unsupported property	0.18	26	true	0.081	12	invalid syntax	0.018	0	true	0.17	44	unknown	0.051	5.0	true	13	310	unknown	0.011	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c	true	3.1	230	unknown	0.031	1.00	unsupported property	0.18	24	out of memory	170	15000	unknown	0.072	29	true	3.2	69	unknown	0.032	5.0	true	140	1600	unknown	0.020	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c	true	3.5	240	unknown	0.021	1.00	unsupported property	0.20	30	true	30	2400	unknown	0.15	47	true	1.1	47	unknown	0.044	5.0	true	13	300	unknown	0.029	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c	true	2.5	210	unknown	0.032	1.00	unsupported property	0.19	26	true	28	2500	unknown	0.086	27	true	0.22	44	unknown	0.021	5.0	unknown	46	4700	unknown	0.035	3.0
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c	true	3.3	220	unknown	0.016	1.00	unsupported property	0.19	27	true	0.14	12	invalid syntax	0.0090	0	unknown	0.51	45	unknown	0.040	5.0	true	8.7	300	unknown	0.021	3.0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination.c	true	5.0	250	unknown	0.022	1.00	unsupported property	0.18	26	true	0.073	12	true	0.045	8.0	true	0.15	43	unknown	0.028	5.0	true	7.5	290	unknown	0.039	3.0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_true-termination.c	true	5.4	260	unknown	0.020	1.00	unsupported property	0.18	26	true	0.077	11	unknown	0.067	17	true	0.091	43	unknown	0.035	5.0	true	5.9	300	unknown	0.019	3.0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_true-termination.c	true	5.1	270	unknown	0.027	1.00	unsupported property	0.19	25	true	0.065	11	true	0.026	9.0	true	0.16	43	unknown	0.044	5.0	true	8.1	300	unknown	0.033	3.0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination.c	true	3.7	240	unknown	0.022	1.00	unsupported property	0.20	24	true	0.046	12	true	0.16	29	true	0.18	43	unknown	0.020	5.0	true	7.0	300	unknown	0.024	3.0
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_true-termination.c	true	4.2	260	unknown	0.040	1.00	unsupported property	0.18	26	true	0.062	11	unknown	0.11	22	true	0.14	43	unknown	0.030	5.0	true	6.3	300	unknown	0.011	3.0
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination.c	true	2.2	220	unknown	0.032	1.00	unsupported property	0.18	25	true	0.065	11	unknown	0.022	3.0	true	0.13	43	unknown	0.047	5.0	true	6.1	300	unknown	0.011	3.0
termination-crafted-lit/Masse-VMCAI2014-Ex6_true-termination.c	true	5.9	260	unknown	0.037	1.00	unsupported property	0.18	26	true	0.074	11	unknown	0.20	27	true	0.10	43	unknown	0.031	5.0	true	8.1	300	unknown	0.033	3.0
termination-crafted-lit/Masse-VMCAI2014-Fig1a_true-termination.c	true	6.9	360	unknown	0.026	1.00	unsupported property	0.18	26	true	0.069	11	unknown	0.10	26	true	0.16	43	unknown	0.030	5.0	true	9.7	300	unknown	0.039	3.0
termination-crafted-lit/Masse-VMCAI2014-Fig1b_true-termination.c	unknown	110	2400	unknown	0.016	1.00	unsupported property	0.20	26	true	0.068	11	true	0.47	24	unknown	840	450	unknown	0.030	5.0	unknown	7.9	300	unknown	0.033	3.0
termination-crafted-lit/NoriSharma-FSE2013-Fig7_true-termination.c	true	44	1500	unknown	0.035	1.00	unsupported property	0.20	26	true	0.060	12	unknown	0.69	40	true	0.17	43	unknown	0.030	5.0	true	7.2	300	unknown	0.030	3.0
termination-crafted-lit/NoriSharma-FSE2013-Fig8_true-termination.c	true	21	1500	unknown	0.026	1.00	unsupported property	0.19	26	true	0.074	12	unknown	0.98	28	true	0.16	43	unknown	0.039	5.0	true	8.5	300	unknown	0.028	3.0
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	true	5.9	350	unknown	0.028	1.00	unsupported property	0.19	26	true	0.075	12	unknown	0.21	29	true	0.28	69	unknown	0.054	5.0	true	9.7	300	unknown	0.022	3.0
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c	true	140	1900	unknown	0.034	1.00	unsupported property	0.18	27	true	0.072	12	unknown	4.3	30	timeout	920	150	unknown	0.040	5.0	timeout	920	13000	unknown	0.029	3.0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c	true	2.2	210	unknown	0.038	1.00	unsupported property	0.21	26	true	0.050	11	true	0.012	2.0	true	0.12	43	unknown	0.031	5.0	true	6.6	300	unknown	0.028	3.0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	true	6.9	390	unknown	0.026	1.00	unsupported property	0.19	26	true	0.075	12	true	0.53	21	true	0.20	68	unknown	0.034	5.0	true	7.9	310	unknown	0.027	3.0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_true-termination.c	true	150	1900	unknown	0.035	1.00	unsupported property	0.20	26	true	0.074	12	unknown	4.7	30	timeout	920	150	unknown	0.044	5.0	timeout	920	13000	unknown	0.025	3.0
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	true	6.7	270	unknown	0.032	1.00	unsupported property	0.20	26	true	0.054	11	true	0.20	35	true	2.3	57	unknown	0.025	5.0	true	8.3	300	unknown	0.025	3.0
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	true	13	800	unknown	0.030	1.00	unsupported property	0.18	26	true	0.078	12	true	0.018	3.0	true	0.23	43	unknown	0.035	5.0	true	43	310	unknown	0.027	3.0
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	true	3.0	220	unknown	0.041	1.00	unsupported property	0.20	25	true	0.073	11	true	0.075	17	true	0.22	44	unknown	0.034	5.0	unknown	7.5	300	unknown	0.039	3.0
termination-crafted-lit/TelAviv-Amir-Minimum_true-termination.c	timeout	920	5300	unknown	0.028	1.00	unsupported property	0.19	25	true	0.061	12	unknown	0.056	20	true	0.22	45	unknown	0.030	5.0	true	45	1900	unknown	0.021	3.0
termination-crafted-lit/Toulouse-BranchesToLoop_true-termination.c	true	5.1	250	unknown	0.032	1.00	unsupported property	0.19	27	true	0.076	12	unknown	0.31	29	true	0.18	43	unknown	0.045	5.0	true	7.6	300	unknown	0.011	3.0
termination-crafted-lit/Toulouse-MultiBranchesToLoop_true-termination.c	true	6.3	270	unknown	0.027	1.00	unsupported property	0.18	28	true	0.072	12	true	0.32	25	true	0.44	46	unknown	0.045	5.0	true	9.6	300	unknown	0.029	3.0
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination.c	true	4.1	250	unknown	0.016	1.00	unsupported property	0.18	26	true	0.071	12	true	0.084	19	true	0.17	68	unknown	0.028	5.0	timeout	920	660	unknown	0.035	3.0
termination-crafted-lit/Urban-WST2013-Fig2_true-termination.c	true	3.7	250	unknown	0.027	1.00	unsupported property	0.19	26	true	0.078	11	true	0.090	19	true	0.15	68	unknown	0.040	5.0	true	8.7	310	unknown	0.021	3.0
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination.c	true	28	1500	unknown	0.033	1.00	unsupported property	0.19	26	true	0.056	12	true	0.91	26	true	3.4	59	unknown	0.038	5.0	true	16	310	unknown	0.029	3.0
termination-crafted-lit/aviad_true-termination.c	true	12	760	unknown	0.047	1.00	unsupported property	0.19	26	true	0.068	12	unknown	0.069	28	true	0.28	44	unknown	0.021	5.0	true	6.5	300	unknown	0.034	3.0
termination-crafted-lit/cstrcmp_true-termination.c	true	8.0	370	unknown	0.031	1.00	unsupported property	0.21	28	false(reach)	0.18	13	invalid syntax	0.019	0	unknown	0.062	11	unknown	0.030	5.0	unknown	5.4	240	unknown	0.036	3.0
termination-crafted-lit/cstrcspn_true-termination.c	true	28	1400	unknown	0.036	1.00	unsupported property	0.18	24	false(reach)	0.47	29	invalid syntax	0.0045	0	unknown	0.061	12	unknown	0.030	5.0	timeout	920	9300	unknown	0.027	3.0
termination-crafted-lit/cstrlen_true-termination.c	true	3.6	260	unknown	0.036	1.00	unsupported property	0.19	26	false(reach)	0.12	13	invalid syntax	0.0063	0	unknown	0.056	11	unknown	0.042	5.0	true	9.9	310	unknown	0.039	3.0
termination-crafted-lit/cstrncmp_true-termination.c	true	7.8	390	unknown	0.040	1.00	unsupported property	0.20	24	false(reach)	0.22	14	invalid syntax	0.015	0	unknown	0.043	12	unknown	0.037	5.0	unknown	5.3	240	unknown	0.032	3.0
termination-crafted-lit/cstrpbrk_true-termination.c	true	24	950	unknown	0.041	1.00	unsupported property	0.20	26	false(reach)	0.42	28	invalid syntax	0.021	0	unknown	0.054	12	unknown	0.044	5.0	unknown	5.3	240	unknown	0.026	3.0
termination-crafted-lit/cstrspn_true-termination.c	true	23	1000	unknown	0.033	1.00	unsupported property	0.18	26	false(reach)	0.49	29	invalid syntax	0.023	0	unknown	0.058	11	unknown	0.045	5.0	timeout	920	13000	unknown	0.023	3.0
termination-crafted-lit/gcd1_true-termination.c	true	18	860	unknown	0.034	1.00	unsupported property	0.21	26	true	0.071	12	unknown	22	35	true	0.31	69	unknown	0.047	5.0	true	9.2	300	unknown	0.041	3.0
termination-crafted-lit/genady_true-termination.c	true	10	1200	unknown	0.026	1.00	unsupported property	0.19	26	true	0.065	12	true	0.014	3.0	true	0.12	43	unknown	0.020	5.0	true	6.1	300	unknown	0.011	3.0
termination-crafted-lit/min_rf_true-termination.c	true	45	1500	unknown	0.030	1.00	unsupported property	0.19	26	true	0.066	12	true	0.17	20	true	0.18	44	unknown	0.042	5.0	true	15	300	unknown	0.027	3.0
termination-crafted-lit/strchr_true-termination.c	true	4.9	270	unknown	0.044	1.00	unsupported property	0.19	26	false(reach)	0.14	13	invalid syntax	0.021	0	unknown	0.061	11	unknown	0.037	5.0	unknown	5.1	240	unknown	0.028	3.0
termination-memory-alloca/PodelskiRybalchenko-2004VMCAI-Ex2-alloca_false-termination.c.i	timeout	920	4500	unknown	0.024	1.00	unsupported property	0.18	26	false(reach)	1.3	17	unknown	0.029	3.0	false(termination)	0.17	47	unknown	0.043	5.0	false(termination)	7.5	300	unknown	0.011	3.0
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i	unknown	2.5	220	unknown	0.035	1.00	unsupported property	0.19	26	false(reach)	1.3	17	unknown	0.027	9.0	false(termination)	0.16	47	unknown	0.042	5.0	false(termination)	9.2	310	unknown	0.030	3.0
termination-memory-alloca/Velroyen-alloca_false-termination.c.i	unknown	6.2	250	unknown	0.033	1.00	unsupported property	0.19	26	false(reach)	1.3	17	unknown	0.27	26	false(termination)	0.32	47	unknown	0.053	5.0	false(termination)	7.6	300	unknown	0.026	3.0
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i	true	66	1500	unknown	0.012	1.00	unsupported property	0.19	26	false(reach)	1.4	18	unknown	3.0	41	true	0.54	50	unknown	0.052	5.0	true	460	1100	unknown	0.016	3.0
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i	true	8.1	370	unknown	0.027	1.00	unsupported property	0.18	26	false(reach)	1.5	18	unknown	0.14	33	true	0.44	48	unknown	0.043	5.0	true	140	660	unknown	0.017	3.0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i	true	16	1200	unknown	0.027	1.00	unsupported property	0.18	26	false(reach)	1.8	28	true	1.0	21	true	0.48	71	unknown	0.038	5.0	timeout	920	1200	unknown	0.033	3.0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i	true	6.2	410	unknown	0.019	1.00	unsupported property	0.22	26	false(reach)	1.2	17	true	0.038	13	true	0.22	47	unknown	0.049	5.0	true	12	320	unknown	0.013	3.0
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i	true	7.4	260	unknown	0.034	1.00	unsupported property	0.20	25	false(reach)	1.3	17	unknown	0.063	15	true	0.54	48	unknown	0.021	5.0	true	29	710	unknown	0.011	3.0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i	true	7.2	250	unknown	0.015	1.00	unsupported property	0.20	26	false(reach)	1.4	17	true	0.22	34	true	3.2	64	unknown	0.038	5.0	true	44	1400	unknown	0.011	3.0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i	true	8.7	340	unknown	0.030	1.00	unsupported property	0.19	26	false(reach)	1.4	18	true	1.2	36	true	120	370	unknown	0.035	5.0	true	160	1700	unknown	0.029	3.0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i	true	33	1200	unknown	0.033	1.00	unsupported property	0.18	26	false(reach)	1.4	18	true	4.5	50	true	7.8	69	unknown	0.038	5.0	true	300	1200	unknown	0.017	3.0
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i	true	9.1	640	unknown	0.016	1.00	unsupported property	0.20	26	false(reach)	1.4	18	unknown	0.79	28	unknown	13	63	unknown	0.031	5.0	timeout	920	820	unknown	0.021	3.0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i	true	4.2	250	unknown	0.032	1.00	unsupported property	0.19	26	false(reach)	1.6	20	true	1.5	45	true	4.4	78	unknown	0.026	5.0	timeout	920	2200	unknown	0.040	3.0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i	true	6.8	360	unknown	0.037	1.00	unsupported property	0.19	25	false(reach)	0.67	17	true	0.027	5.0	unknown	0.12	39	unknown	0.021	5.0	true	8.5	300	unknown	0.033	3.0
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i	timeout	920	1400	unknown	0.033	1.00	unsupported property	0.20	26	false(reach)	0.68	17	unknown	0.032	10.0	true	1.4	52	unknown	0.035	5.0	true	18	690	unknown	0.030	3.0
termination-memory-alloca/Masse-alloca_true-termination.c.i	timeout	920	4400	unknown	0.041	1.00	unsupported property	0.21	26	false(reach)	1.3	17	true	2.2	24	unknown	110	150	unknown	0.040	5.0	unknown	11	330	unknown	0.024	3.0
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i	true	130	1500	unknown	0.036	1.00	unsupported property	0.18	26	false(reach)	1.4	18	unknown	0.76	38	true	0.81	54	unknown	0.043	5.0	timeout	920	13000	unknown	0.032	3.0
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i	true	49	1500	unknown	0.024	1.00	unsupported property	0.19	26	false(reach)	1.4	19	unknown	0.91	29	true	0.69	52	unknown	0.036	5.0	timeout	920	13000	unknown	0.026	3.0
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i	timeout	920	5000	unknown	0.038	1.00	unsupported property	0.18	26	false(reach)	2.2	24	unknown	0.068	17	true	0.40	47	unknown	0.032	5.0	timeout	920	11000	unknown	0.021	3.0
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i	true	7.3	320	unknown	0.021	1.00	unsupported property	0.18	26	false(reach)	1.3	17	unknown	0.51	31	true	0.48	50	unknown	0.038	5.0	timeout	920	2700	unknown	0.038	3.0
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i	true	6.1	380	unknown	0.021	1.00	unsupported property	0.18	26	false(reach)	1.5	18	unknown	0.81	30	true	1.6	57	unknown	0.044	5.0	timeout	920	1700	unknown	0.039	3.0
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i	true	3.9	250	unknown	0.034	1.00	unsupported property	0.19	26	false(reach)	1.6	24	true	0.077	22	true	0.33	70	unknown	0.032	5.0	true	500	5000	unknown	0.038	3.0
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i	true	5.2	250	unknown	0.017	1.00	unsupported property	0.21	26	false(reach)	1.5	24	true	0.082	22	true	0.32	70	unknown	0.036	5.0	timeout	920	990	unknown	0.011	3.0
termination-memory-alloca/Urban-alloca_true-termination.c.i	true	29	1200	unknown	0.025	1.00	unsupported property	0.19	26	false(reach)	1.3	18	true	0.89	29	true	5.2	65	unknown	0.029	5.0	true	70	1200	unknown	0.037	3.0
termination-memory-alloca/a.01-alloca_true-termination.c.i	true	45	1500	unknown	0.029	1.00	unsupported property	0.19	26	false(reach)	2.2	47	true	1.0	26	true	0.58	72	unknown	0.038	5.0	timeout	920	6700	unknown	0.024	3.0
termination-memory-alloca/a.04-alloca_true-termination.c.i	true	17	1400	unknown	0.032	1.00	unsupported property	0.18	26	false(reach)	0.68	18	true	0.029	8.0	true	0.26	47	unknown	0.048	5.0	true	27	700	unknown	0.022	3.0
termination-memory-alloca/a.05-alloca_true-termination.c.i	true	18	1500	unknown	0.033	1.00	unsupported property	0.20	28	false(reach)	1.2	18	true	0.033	8.0	true	0.24	47	unknown	0.038	5.0	true	25	1200	unknown	0.037	3.0
termination-memory-alloca/a.06-alloca_true-termination.c.i	true	36	1500	unknown	0.041	1.00	unsupported property	0.19	26	false(reach)	1.4	19	true	0.053	12	true	0.34	48	unknown	0.021	5.0	true	370	1100	unknown	0.021	3.0
termination-memory-alloca/a.07-alloca_true-termination.c.i	true	73	1200	unknown	0.025	1.00	unsupported property	0.18	27	false(reach)	1.4	18	true	0.12	33	true	0.39	50	unknown	0.047	5.0	true	380	1100	unknown	0.025	3.0
termination-memory-alloca/a.08-alloca_true-termination.c.i	true	18	1500	unknown	0.034	1.00	unsupported property	0.20	28	false(reach)	1.3	18	true	0.038	10.0	true	0.28	47	unknown	0.033	5.0	true	28	650	unknown	0.031	3.0
termination-memory-alloca/a.09_assume-alloca_true-termination.c.i	true	7.2	350	unknown	0.028	1.00	unsupported property	0.21	26	false(reach)	1.4	18	true	0.041	16	unknown	0.26	47	unknown	0.038	5.0	true	29	670	unknown	0.015	3.0
termination-memory-alloca/a.10-alloca_true-termination.c.i	true	26	1500	unknown	0.029	1.00	unsupported property	0.21	27	false(reach)	1.4	18	true	0.054	17	true	0.46	47	unknown	0.033	5.0	true	57	720	unknown	0.014	3.0
termination-memory-alloca/add_last-alloca_true-termination.c.i	unknown	13	380	unknown	0.031	1.00	unsupported property	0.18	24	false(reach)	1.4	18	invalid syntax	0.021	1.00	unknown	0.059	10.0	unknown	0.047	5.0	true	24	1400	unknown	0.019	3.0
termination-memory-alloca/array01-alloca_true-termination.c.i	true	21	1300	unknown	0.044	1.00	unsupported property	0.19	28	false(reach)	1.6	28	true	0.25	33	unknown	0.052	11	unknown	0.048	5.0	true	14	400	unknown	0.035	3.0
termination-memory-alloca/array02-alloca_true-termination.c.i	true	53	1500	unknown	0.030	1.00	unsupported property	0.18	26	false(reach)	2.1	47	true	0.77	28	unknown	0.046	11	unknown	0.035	5.0	true	18	430	unknown	0.023	3.0
termination-memory-alloca/array03-alloca_true-termination.c.i	true	50	1500	unknown	0.035	1.00	unsupported property	0.18	26	false(reach)	2.2	36	true	6.2	40	unknown	0.057	10.0	unknown	0.024	5.0	unknown	5.6	250	unknown	0.034	3.0
termination-memory-alloca/aviad_true-alloca_true-termination.c.i	true	18	1500	unknown	0.038	1.00	unsupported property	0.20	26	false(reach)	1.3	18	unknown	0.096	29	true	0.66	49	unknown	0.042	5.0	true	38	710	unknown	0.017	3.0
termination-memory-alloca/b.01-alloca_true-termination.c.i	true	18	1500	unknown	0.012	1.00	unsupported property	0.20	26	false(reach)	1.4	18	true	0.031	8.0	true	0.29	47	unknown	0.035	5.0	true	27	1200	unknown	0.011	3.0
termination-memory-alloca/b.02-alloca_true-termination.c.i	true	31	1500	unknown	0.012	1.00	unsupported property	0.20	26	false(reach)	1.2	18	true	0.023	10.0	true	0.28	47	unknown	0.032	5.0	true	27	690	unknown	0.035	3.0
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination.c.i	true	4.9	240	unknown	0.038	1.00	unsupported property	0.18	26	false(reach)	0.83	17	true	0.063	20	true	0.25	47	unknown	0.040	5.0	true	13	440	unknown	0.018	3.0
termination-memory-alloca/b.03_assume-alloca_true-termination.c.i	true	4.8	250	unknown	0.032	1.00	unsupported property	0.18	26	false(reach)	1.3	18	true	0.039	12	unknown	0.23	47	unknown	0.039	5.0	true	13	450	unknown	0.021	3.0
termination-memory-alloca/b.04-alloca_true-termination.c.i	true	2.3	220	unknown	0.022	1.00	unsupported property	0.20	26	false(reach)	1.3	18	true	0.021	4.0	true	0.23	47	unknown	0.039	5.0	true	30	650	unknown	0.026	3.0
termination-memory-alloca/b.05-alloca_true-termination.c.i	true	7.0	350	unknown	0.031	1.00	unsupported property	0.19	26	false(reach)	1.1	18	true	0.067	19	true	0.22	47	unknown	0.039	5.0	true	13	440	unknown	0.011	3.0
termination-memory-alloca/b.06-alloca_true-termination.c.i	true	21	1500	unknown	0.032	1.00	unsupported property	0.22	28	false(reach)	1.4	17	true	0.12	26	true	0.31	47	unknown	0.029	5.0	true	31	650	unknown	0.020	3.0
termination-memory-alloca/b.07-alloca_true-termination.c.i	true	63	1500	unknown	0.027	1.00	unsupported property	0.20	26	false(reach)	1.4	18	true	0.11	32	true	0.40	50	unknown	0.021	5.0	true	380	1200	unknown	0.025	3.0
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination.c.i	true	18	1500	unknown	0.029	1.00	unsupported property	0.20	25	false(reach)	1.4	18	true	0.15	33	true	0.67	48	unknown	0.034	5.0	true	58	1200	unknown	0.011	3.0
termination-memory-alloca/b.09_assume-alloca_true-termination.c.i	true	20	1500	unknown	0.035	1.00	unsupported property	0.20	24	false(reach)	1.4	18	true	0.17	36	unknown	0.45	47	unknown	0.024	5.0	true	88	730	unknown	0.028	3.0
termination-memory-alloca/b.10-alloca_true-termination.c.i	true	23	1500	unknown	0.016	1.00	unsupported property	0.20	26	false(reach)	1.4	18	true	0.51	30	true	0.38	48	unknown	0.021	5.0	true	53	710	unknown	0.035	3.0
termination-memory-alloca/b.11-alloca_true-termination.c.i	true	40	1500	unknown	0.036	1.00	unsupported property	0.19	26	false(reach)	1.5	19	unknown	6.0	40	true	0.49	48	unknown	0.049	5.0	true	75	1200	unknown	0.028	3.0
termination-memory-alloca/b.12-alloca_true-termination.c.i	true	20	1500	unknown	0.022	1.00	unsupported property	0.19	26	false(reach)	1.3	18	true	0.28	36	true	0.40	47	unknown	0.041	5.0	true	70	730	unknown	0.012	3.0
termination-memory-alloca/b.13-alloca_true-termination.c.i	true	44	1500	unknown	0.036	1.00	unsupported property	0.18	24	false(reach)	1.5	20	true	0.37	35	true	0.54	49	unknown	0.032	5.0	timeout	920	1300	unknown	0.029	3.0
termination-memory-alloca/b.14-alloca_true-termination.c.i	true	12	1500	unknown	0.038	1.00	unsupported property	0.20	24	false(reach)	2.1	43	true	0.18	29	true	0.59	72	unknown	0.034	5.0	true	76	970	unknown	0.021	3.0
termination-memory-alloca/b.15-alloca_true-termination.c.i	true	25	1500	unknown	0.040	1.00	unsupported property	0.21	24	false(reach)	2.5	57	true	0.21	37	true	1.2	75	unknown	0.041	5.0	true	700	1200	unknown	0.015	3.0
termination-memory-alloca/b.16-alloca_true-termination.c.i	true	17	1500	unknown	0.024	1.00	unsupported property	0.20	26	false(reach)	2.0	33	true	0.21	29	true	0.43	71	unknown	0.031	5.0	true	43	1200	unknown	0.035	3.0
termination-memory-alloca/b.17-alloca_true-termination.c.i	true	43	1500	unknown	0.021	1.00	unsupported property	0.20	24	false(reach)	2.3	49	true	0.28	32	true	0.75	72	unknown	0.041	5.0	true	800	1100	unknown	0.037	3.0
termination-memory-alloca/b.18-alloca_true-termination.c.i	true	5.6	240	unknown	0.030	1.00	unsupported property	0.21	26	false(reach)	2.0	39	true	0.16	36	true	0.42	72	unknown	0.042	5.0	true	62	970	unknown	0.033	3.0
termination-memory-alloca/bubblesort-alloca_true-termination.c.i	true	70	1500	unknown	0.018	1.00	unsupported property	0.20	26	false(reach)	2.5	60	true	0.92	26	unknown	0.037	11	unknown	0.024	5.0	true	14	320	unknown	0.042	3.0
termination-memory-alloca/c.01-no-inv-alloca_true-termination.c.i	true	22	1500	unknown	0.020	1.00	unsupported property	0.19	25	false(reach)	2.3	47	unknown	0.67	33	true	6.7	74	unknown	0.021	5.0	true	250	2100	unknown	0.033	3.0
termination-memory-alloca/c.01_assume-alloca_true-termination.c.i	true	11	400	unknown	0.026	1.00	unsupported property	0.22	26	false(reach)	2.5	51	unknown	0.56	33	unknown	0.25	47	unknown	0.037	5.0	true	30	1200	unknown	0.040	3.0
termination-memory-alloca/c.02-alloca_true-termination.c.i	true	26	1500	unknown	0.039	1.00	unsupported property	0.19	26	false(reach)	2.3	48	true	1.1	26	true	0.58	72	unknown	0.043	5.0	unknown	560	7000	unknown	0.025	3.0
termination-memory-alloca/c.03-alloca_true-termination.c.i	true	67	1500	unknown	0.035	1.00	unsupported property	0.18	27	false(reach)	1.4	18	unknown	3.2	43	true	0.47	49	unknown	0.044	5.0	timeout	920	980	unknown	0.028	3.0
termination-memory-alloca/c.07-alloca_true-termination.c.i	true	53	1500	unknown	0.039	1.00	unsupported property	0.18	26	false(reach)	1.4	18	true	0.28	39	true	0.55	58	unknown	0.023	5.0	timeout	920	2200	unknown	0.031	3.0
termination-memory-alloca/c.08-alloca_true-termination.c.i	true	79	1500	unknown	0.031	1.00	unsupported property	0.19	26	false(reach)	2.3	50	true	1.0	26	true	0.61	72	unknown	0.033	5.0	timeout	920	9300	unknown	0.024	3.0
termination-memory-alloca/count_down-alloca_true-termination.c.i	true	29	1500	unknown	0.030	1.00	unsupported property	0.20	28	false(reach)	1.5	24	true	0.55	34	unknown	0.051	11	unknown	0.029	5.0	true	16	410	unknown	0.013	3.0
termination-memory-alloca/cstrcat-alloca_true-termination.c.i	unknown	61	1500	unknown	0.034	1.00	unsupported property	0.19	26	false(reach)	1.4	18	invalid syntax	0.0040	1.00	unknown	0.032	11	unknown	0.032	5.0	true	28	320	unknown	0.015	3.0
termination-memory-alloca/cstrchr-alloca_true-termination.c.i	true	10	650	unknown	0.030	1.00	unsupported property	0.18	26	false(reach)	1.3	17	invalid syntax	0.012	1.00	unknown	0.040	12	unknown	0.046	5.0	unknown	5.1	240	unknown	0.011	3.0
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i	true	21	1200	unknown	0.016	1.00	unsupported property	0.20	26	false(reach)	1.4	18	invalid syntax	0.013	1.00	unknown	0.041	10.0	unknown	0.028	5.0	unknown	5.1	240	unknown	0.023	3.0
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i	true	14	1500	unknown	0.022	1.00	unsupported property	0.20	26	false(reach)	1.3	18	invalid syntax	0.023	1.00	unknown	0.029	10.0	unknown	0.038	5.0	true	16	450	unknown	0.026	3.0
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i	true	60	1500	unknown	0.029	1.00	unsupported property	0.18	28	false(reach)	1.9	33	invalid syntax	0.0043	1.00	unknown	0.037	11	unknown	0.024	5.0	timeout	920	12000	unknown	0.019	3.0
termination-memory-alloca/cstrlen-alloca_true-termination.c.i	true	12	640	unknown	0.031	1.00	unsupported property	0.18	26	false(reach)	1.1	17	invalid syntax	0.014	1.00	unknown	0.036	11	unknown	0.044	5.0	true	8.7	310	unknown	0.011	3.0
termination-memory-alloca/cstrncat-alloca_true-termination.c.i	unknown	240	2400	unknown	0.037	1.00	unsupported property	0.19	26	false(reach)	1.4	18	invalid syntax	0.0078	1.00	unknown	0.032	11	unknown	0.040	5.0	true	180	760	unknown	0.027	3.0
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i	true	21	1200	unknown	0.028	1.00	unsupported property	0.20	26	false(reach)	1.4	19	invalid syntax	0.020	1.00	unknown	0.053	10.0	unknown	0.029	5.0	unknown	5.1	240	unknown	0.023	3.0
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i	true	23	1500	unknown	0.023	1.00	unsupported property	0.18	26	false(reach)	1.7	28	invalid syntax	0.021	1.00	unknown	0.038	11	unknown	0.025	5.0	timeout	920	9700	unknown	0.043	3.0
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i	true	34	1500	unknown	0.026	1.00	unsupported property	0.20	28	false(reach)	1.9	33	invalid syntax	0.0050	1.00	unknown	0.056	11	unknown	0.038	5.0	unknown	5.2	240	unknown	0.015	3.0
termination-memory-alloca/cstrspn-alloca_true-termination.c.i	true	37	1500	unknown	0.023	1.00	unsupported property	0.19	26	false(reach)	1.9	33	invalid syntax	0.024	1.00	unknown	0.051	10.0	unknown	0.045	5.0	timeout	920	12000	unknown	0.025	3.0
termination-memory-alloca/diff-alloca_true-termination.c.i	unknown	730	3700	unknown	0.035	1.00	unsupported property	0.20	26	false(reach)	2.9	67	invalid syntax	0.023	1.00	unknown	0.047	10.0	unknown	0.034	5.0	true	200	2000	unknown	0.028	3.0
termination-memory-alloca/easySum-alloca_true-termination.c.i	true	45	1500	unknown	0.024	1.00	unsupported property	0.20	25	false(reach)	1.3	17	true	0.024	8.0	true	0.27	47	unknown	0.021	5.0	true	26	690	unknown	0.020	3.0
termination-memory-alloca/ex1-alloca_true-termination.c.i	true	4.5	260	unknown	0.028	1.00	unsupported property	0.20	26	false(reach)	1.3	17	true	0.021	9.0	true	0.81	55	unknown	0.042	5.0	unknown	5.7	250	unknown	0.027	3.0
termination-memory-alloca/ex2-alloca_true-termination.c.i	true	36	1500	unknown	0.022	1.00	unsupported property	0.18	26	false(reach)	1.6	19	unknown	0.35	38	true	3.8	89	unknown	0.045	5.0	unknown	5.5	250	unknown	0.021	3.0
termination-memory-alloca/ex3a-alloca_true-termination.c.i	true	5.5	350	unknown	0.026	1.00	unsupported property	0.19	25	false(reach)	1.3	17	unknown	0.058	14	unknown	0.34	47	unknown	0.024	5.0	unknown	5.5	240	unknown	0.030	3.0
termination-memory-alloca/ex3b-alloca_true-termination.c.i	true	12	1100	unknown	0.012	1.00	unsupported property	0.18	26	false(reach)	1.4	18	unknown	0.031	14	unknown	0.39	47	unknown	0.021	5.0	unknown	6.5	240	unknown	0.027	3.0
termination-memory-alloca/fermat-alloca_true-termination.c.i	true	87	1900	unknown	0.016	1.00	unsupported property	0.21	28	false(reach)	2.0	48	unknown	93	56	unknown	0.25	47	unknown	0.036	5.0	unknown	5.7	250	unknown	0.025	3.0
termination-memory-alloca/flag-alloca_true-termination.c.i	true	18	1500	unknown	0.032	1.00	unsupported property	0.20	26	false(reach)	1.3	18	true	0.050	20	true	0.53	48	unknown	0.038	5.0	timeout	920	1100	unknown	0.023	3.0
termination-memory-alloca/gcd1-alloca_true-termination.c.i	true	22	1200	unknown	0.032	1.00	unsupported property	0.19	26	false(reach)	2.1	43	unknown	660	200	true	0.62	71	unknown	0.021	5.0	timeout	920	5400	unknown	0.018	3.0
termination-memory-alloca/genady-alloca_true-termination.c.i	true	18	1500	unknown	0.027	1.00	unsupported property	0.21	26	false(reach)	0.68	17	true	0.029	4.0	true	0.16	47	unknown	0.038	5.0	true	11	340	unknown	0.024	3.0
termination-memory-alloca/insertionsort-alloca_true-termination.c.i	true	44	1500	unknown	0.029	1.00	unsupported property	0.18	29	false(reach)	1.9	29	true	2.4	49	unknown	0.040	11	unknown	0.020	5.0	true	19	430	unknown	0.016	3.0
termination-memory-alloca/java_AG313-alloca_true-termination.c.i	true	14	630	unknown	0.012	1.00	unsupported property	0.19	28	false(reach)	1.3	17	true	0.078	17	true	0.39	51	unknown	0.026	5.0	true	43	1200	unknown	0.030	3.0
termination-memory-alloca/java_Break-alloca_true-termination.c.i	true	4.3	250	unknown	0.035	1.00	unsupported property	0.21	26	false(reach)	1.0	17	true	0.015	5.0	true	0.18	47	unknown	0.046	5.0	true	12	340	unknown	0.019	3.0
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i	timeout	920	4500	unknown	0.035	1.00	unsupported property	0.18	26	false(reach)	2.7	68	invalid syntax	0.023	1.00	unknown	0.033	10.0	unknown	0.037	5.0	true	18	690	unknown	0.022	3.0
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i	true	7.7	390	unknown	0.035	1.00	unsupported property	0.19	26	false(reach)	1.2	17	exception itoa	0.021	1.00	true	0.25	47	unknown	0.040	5.0	timeout	920	12000	unknown	0.027	3.0
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i	true	5.2	260	unknown	0.032	1.00	unsupported property	0.19	26	false(reach)	1.3	17	unknown	0.032	9.0	true	0.18	47	unknown	0.027	5.0	true	13	440	unknown	0.035	3.0
termination-memory-alloca/java_Nested-alloca_true-termination.c.i	true	15	1200	unknown	0.022	1.00	unsupported property	0.19	26	false(reach)	2.1	40	true	0.13	24	true	0.44	71	unknown	0.047	5.0	unknown	21	5700	unknown	0.045	3.0
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i	true	7.4	420	unknown	0.035	1.00	unsupported property	0.20	26	false(reach)	1.3	17	true	0.044	7.0	true	0.30	47	unknown	0.022	5.0	unknown	870	3500	unknown	0.016	3.0
termination-memory-alloca/lis-alloca_true-termination.c.i	timeout	920	1600	unknown	0.023	1.00	unsupported property	0.20	26	false(reach)	2.6	72	invalid syntax	0.017	1.00	unknown	0.058	10.0	unknown	0.045	5.0	unknown	160	1000	unknown	0.038	3.0
termination-memory-alloca/min_rf-alloca_true-termination.c.i	true	44	1500	unknown	0.034	1.00	unsupported property	0.20	24	false(reach)	1.6	19	true	0.17	19	true	0.47	48	unknown	0.031	5.0	unknown	860	8400	unknown	0.011	3.0
termination-memory-alloca/mult_array-alloca_true-termination.c.i	true	42	1500	unknown	0.027	1.00	unsupported property	0.19	26	false(reach)	1.4	20	unknown	0.079	25	unknown	0.052	11	unknown	0.049	5.0	unknown	5.4	240	unknown	0.028	3.0
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i	true	6.4	280	unknown	0.027	1.00	unsupported property	0.19	27	false(reach)	1.2	17	invalid syntax	0.024	1.00	unknown	0.056	11	unknown	0.042	5.0	true	14	380	unknown	0.024	3.0
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i	true	17	950	unknown	0.012	1.00	unsupported property	0.19	26	false(reach)	1.4	17	invalid syntax	0.019	1.00	unknown	0.040	10.0	unknown	0.034	5.0	true	18	690	unknown	0.037	3.0
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i	true	24	1500	unknown	0.027	1.00	unsupported property	0.21	26	false(reach)	1.2	17	invalid syntax	0.027	1.00	unknown	0.052	11	unknown	0.021	5.0	unknown	25	1300	unknown	0.017	3.0
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i	true	11	500	unknown	0.026	1.00	unsupported property	0.20	26	false(reach)	1.2	17	invalid syntax	0.0065	1.00	unknown	0.050	11	unknown	0.039	5.0	true	9.9	320	unknown	0.030	3.0
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i	true	13	1300	unknown	0.025	1.00	unsupported property	0.20	26	false(reach)	1.4	17	invalid syntax	0.0092	1.00	unknown	0.039	11	unknown	0.026	5.0	true	19	400	unknown	0.042	3.0
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i	unknown	28	1500	unknown	0.023	1.00	unsupported property	0.18	26	false(reach)	1.6	26	invalid syntax	0.0054	1.00	unknown	0.034	11	unknown	0.029	5.0	unknown	70	730	unknown	0.025	3.0
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i	unknown	70	1500	unknown	0.020	1.00	unsupported property	0.19	27	false(reach)	1.00	18	invalid syntax	0.0069	1.00	unknown	0.036	10.0	unknown	0.030	5.0	true	32	330	unknown	0.027	3.0
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i	true	13	570	unknown	0.025	1.00	unsupported property	0.19	26	false(reach)	1.3	18	invalid syntax	0.019	1.00	unknown	0.046	10.0	unknown	0.031	5.0	unknown	5.3	240	unknown	0.032	3.0
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i	true	16	1200	unknown	0.016	1.00	unsupported property	0.18	28	false(reach)	1.0	18	invalid syntax	0.0054	1.00	unknown	0.050	10.0	unknown	0.035	5.0	true	17	440	unknown	0.031	3.0
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i	unknown	310	5200	unknown	0.027	1.00	unsupported property	0.18	26	false(reach)	1.9	39	invalid syntax	0.019	1.00	unknown	0.046	10.0	unknown	0.043	5.0	timeout	920	12000	unknown	0.032	3.0
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i	true	34	1500	unknown	0.034	1.00	unsupported property	0.19	28	false(reach)	1.2	18	invalid syntax	0.0040	1.00	unknown	0.045	11	unknown	0.023	5.0	true	52	690	unknown	0.011	3.0
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i	true	12	640	unknown	0.024	1.00	unsupported property	0.19	26	false(reach)	0.90	17	invalid syntax	0.0041	1.00	unknown	0.049	11	unknown	0.026	5.0	true	12	320	unknown	0.029	3.0
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i	unknown	81	1500	unknown	0.040	1.00	unsupported property	0.19	26	false(reach)	1.4	18	invalid syntax	0.0041	1.00	unknown	0.047	10.0	unknown	0.042	5.0	true	31	700	unknown	0.032	3.0
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i	true	13	1200	unknown	0.026	1.00	unsupported property	0.19	26	false(reach)	1.4	18	invalid syntax	0.025	1.00	unknown	0.048	10.0	unknown	0.040	5.0	unknown	5.4	240	unknown	0.032	3.0
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i	unknown	20	1500	unknown	0.032	1.00	unsupported property	0.19	26	false(reach)	1.6	26	invalid syntax	0.020	1.00	unknown	0.064	10.0	unknown	0.048	5.0	true	23	690	unknown	0.011	3.0
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i	true	12	930	unknown	0.039	1.00	unsupported property	0.20	28	false(reach)	1.4	17	invalid syntax	0.020	1.00	unknown	0.052	11	unknown	0.037	5.0	true	18	410	unknown	0.039	3.0
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i	true	65	1500	unknown	0.028	1.00	unsupported property	0.19	26	false(reach)	2.0	39	invalid syntax	0.021	1.00	unknown	0.055	11	unknown	0.044	5.0	unknown	5.3	240	unknown	0.016	3.0
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i	timeout	920	3300	unknown	0.031	1.00	unsupported property	0.18	26	false(reach)	2.2	51	invalid syntax	0.016	1.00	unknown	0.045	11	unknown	0.038	5.0	unknown	48	410	unknown	0.024	3.0
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i	timeout	920	1500	unknown	0.042	1.00	unsupported property	0.20	26	false(reach)	8.9	140	invalid syntax	0.013	1.00	unknown	0.057	10.0	unknown	0.042	5.0	unknown	5.5	240	unknown	0.030	3.0
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i	true	3.3	230	unknown	0.016	1.00	unsupported property	0.18	26	false(reach)	0.81	17	invalid syntax	0.0040	1.00	unknown	0.037	11	unknown	0.021	5.0	true	8.0	300	unknown	0.032	3.0
termination-memory-alloca/selectionsort-alloca_true-termination.c.i	timeout	920	4500	unknown	0.017	1.00	unsupported property	0.20	26	false(reach)	2.5	65	true	2.3	34	unknown	0.037	11	unknown	0.042	5.0	true	22	700	unknown	0.026	3.0
termination-memory-alloca/stroeder1-alloca_true-termination.c.i	true	17	1200	unknown	0.026	1.00	unsupported property	0.19	28	false(reach)	1.2	17	unknown	0.0040	1.00	unknown	0.056	10.0	unknown	0.032	5.0	true	8.3	290	unknown	0.028	3.0
termination-memory-alloca/stroeder2-alloca_true-termination.c.i	true	20	1500	unknown	0.015	1.00	unsupported property	0.19	26	false(reach)	1.5	27	unknown	0.0047	1.00	unknown	0.056	11	unknown	0.037	5.0	true	13	400	unknown	0.014	3.0
termination-memory-alloca/strreplace-alloca_true-termination.c.i	true	30	1500	unknown	0.023	1.00	unsupported property	0.19	26	false(reach)	1.2	18	invalid syntax	0.0040	1.00	unknown	0.047	10.0	unknown	0.030	5.0	true	12	320	unknown	0.013	3.0
termination-memory-alloca/subseq-alloca_true-termination.c.i	true	25	1500	unknown	0.012	1.00	unsupported property	0.18	26	false(reach)	1.5	19	invalid syntax	0.018	1.00	unknown	0.050	10.0	unknown	0.021	5.0	true	23	730	unknown	0.024	3.0
termination-memory-alloca/substring-alloca_true-termination.c.i	true	34	1500	unknown	0.041	1.00	unsupported property	0.21	26	false(reach)	2.2	41	invalid syntax	0.018	1.00	unknown	0.037	12	unknown	0.045	5.0	timeout	920	12000	unknown	0.022	3.0
termination-memory-alloca/twisted-alloca_true-termination.c.i	true	2.6	220	unknown	0.021	1.00	unsupported property	0.20	26	false(reach)	37	800	invalid syntax	0.0048	1.00	unknown	0.054	11	unknown	0.031	5.0	false(termination)	320	980	unknown	0.032	3.0
termination-numeric/Ackermann01_true-termination.c	true	4.2	250	unknown	0.031	1.00	unsupported property	0.20	26	out of memory	160	15000	exception itoa	0.013	0	true	3.3	70	unknown	0.032	5.0	timeout	920	5800	unknown	0.018	3.0
termination-numeric/Addition01_true-termination.c	true	2.7	220	unknown	0.033	1.00	unsupported property	0.18	26	true	39	3600	unknown	0.060	17	unknown	0.15	38	unknown	0.041	5.0	true	8.7	300	unknown	0.028	3.0
termination-numeric/Avg_true_true-termination.c	true	5.0	250	unknown	0.028	1.00	unsupported property	0.20	28	true	27	2200	invalid syntax	0.0079	0	true	0.28	45	unknown	0.032	5.0	true	12	300	unknown	0.020	3.0
termination-numeric/Binomial_true-termination.c	true	240	3700	unknown	0.028	1.00	unsupported property	0.18	26	true	0.74	61	true	0.46	39	unknown	0.61	44	unknown	0.024	5.0	unknown	5.1	240	unknown	0.026	3.0
termination-numeric/Et1_true_true-termination.c	true	6.1	350	unknown	0.028	1.00	unsupported property	0.20	26	true	0.061	12	invalid syntax	0.020	0	true	0.16	44	unknown	0.043	5.0	true	7.1	300	unknown	0.027	3.0
termination-numeric/Et2_true_true-termination.c	true	7.9	390	unknown	0.039	1.00	unsupported property	0.20	26	true	0.077	12	invalid syntax	0.020	0	true	0.15	44	unknown	0.033	5.0	true	21	430	unknown	0.024	3.0
termination-numeric/Et3_true_true-termination.c	true	6.8	250	unknown	0.030	1.00	unsupported property	0.19	28	true	0.078	12	invalid syntax	0.0092	0	true	0.15	43	unknown	0.040	5.0	true	7.2	300	unknown	0.022	3.0
termination-numeric/Et4_true_true-termination.c	true	13	400	unknown	0.037	1.00	unsupported property	0.18	26	true	0.071	12	invalid syntax	0.021	0	true	0.20	45	unknown	0.045	5.0	true	8.3	300	unknown	0.030	3.0
termination-numeric/EvenOdd01_true-termination.c	true	2.9	230	unknown	0.035	1.00	unsupported property	0.19	28	true	0.085	12	invalid syntax	0.020	0	true	0.22	44	unknown	0.037	5.0	true	8.8	310	unknown	0.034	3.0
termination-numeric/Fibonacci01_true-termination.c	true	3.6	260	unknown	0.024	1.00	unsupported property	0.20	28	false(reach)	77	8200	exception itoa	0.016	0	true	0.21	69	unknown	0.033	5.0	timeout	920	12000	unknown	0.017	3.0
termination-numeric/LeUserDefRec_true-termination.c	true	3.1	230	unknown	0.040	1.00	unsupported property	0.18	26	true	0.067	12	invalid syntax	0.018	0	true	0.16	44	unknown	0.041	5.0	true	6.3	300	unknown	0.031	3.0
termination-numeric/LogRecursive_true-termination.c	true	15	420	unknown	0.022	1.00	unsupported property	0.18	26	true	0.061	12	invalid syntax	0.0050	0	true	0.15	44	unknown	0.021	5.0	unknown	5.4	250	unknown	0.019	3.0
termination-numeric/MultCommutative_true-termination.c	true	3.2	220	unknown	0.037	1.00	unsupported property	0.19	26	true	140	8700	exception itoa	0.016	0	true	0.33	69	unknown	0.042	5.0	true	9.2	300	unknown	0.025	3.0
termination-numeric/Parts_true-termination.c	true	36	1500	unknown	0.019	1.00	unsupported property	0.20	27	true	8.7	720	true	0.92	33	true	0.47	76	unknown	0.039	5.0	timeout	920	4400	unknown	0.022	3.0
termination-numeric/TerminatorRec02_true-termination.c	true	2.5	220	unknown	0.028	1.00	unsupported property	0.19	26	true	0.061	12	unknown	0.061	14	true	0.14	43	unknown	0.027	5.0	unknown	5.1	240	unknown	0.011	3.0
termination-numeric/TwoWay_true-termination.c	true	3.1	230	unknown	0.028	1.00	unsupported property	0.20	28	true	0.065	12	unknown	0.054	20	true	0.25	45	unknown	0.035	5.0	unknown	5.1	240	unknown	0.025	3.0
termination-numeric/a.01_true-termination.c	true	14	1500	unknown	0.033	1.00	unsupported property	0.19	26	true	0.077	12	true	0.63	24	true	0.21	69	unknown	0.045	5.0	true	8.3	310	unknown	0.041	3.0
termination-numeric/a.04_true-termination.c	true	7.6	670	unknown	0.037	1.00	unsupported property	0.19	26	true	0.060	12	true	0.029	5.0	true	0.13	43	unknown	0.046	5.0	true	6.1	300	unknown	0.028	3.0
termination-numeric/a.05_true-termination.c	true	9.8	910	unknown	0.026	1.00	unsupported property	0.19	28	true	0.074	11	true	0.028	5.0	true	0.13	43	unknown	0.031	5.0	true	6.2	300	unknown	0.016	3.0
termination-numeric/a.06_true-termination.c	true	14	1500	unknown	0.032	1.00	unsupported property	0.19	26	true	0.076	12	true	0.026	6.0	true	0.11	43	unknown	0.028	5.0	true	6.3	300	unknown	0.032	3.0
termination-numeric/a.07_true-termination.c	true	19	1500	unknown	0.031	1.00	unsupported property	0.19	26	true	0.044	12	true	0.073	22	true	0.14	43	unknown	0.045	5.0	true	6.1	300	unknown	0.031	3.0
termination-numeric/a.08_true-termination.c	true	13	1200	unknown	0.044	1.00	unsupported property	0.19	27	true	0.067	12	true	0.030	5.0	true	0.11	43	unknown	0.021	5.0	true	6.2	300	unknown	0.020	3.0
termination-numeric/a.09_assume_true-termination.c	true	3.7	250	unknown	0.033	1.00	unsupported property	0.20	26	true	0.061	12	true	0.031	7.0	unknown	0.15	40	unknown	0.029	5.0	true	6.3	290	unknown	0.024	3.0
termination-numeric/a.10_true-termination.c	true	9.7	1200	unknown	0.016	1.00	unsupported property	0.19	26	true	0.044	12	true	0.048	15	true	0.19	43	unknown	0.049	5.0	true	7.9	300	unknown	0.030	3.0
termination-numeric/b.01_true-termination.c	true	9.6	730	unknown	0.023	1.00	unsupported property	0.19	26	true	0.077	12	true	0.041	5.0	true	0.13	43	unknown	0.042	5.0	true	6.4	300	unknown	0.026	3.0
termination-numeric/b.02_true-termination.c	true	15	1500	unknown	0.034	1.00	unsupported property	0.19	26	true	0.051	12	true	0.040	5.0	true	0.13	43	unknown	0.038	5.0	true	6.2	300	unknown	0.039	3.0
termination-numeric/b.03-no-inv_assume_true-termination.c	true	2.9	240	unknown	0.038	1.00	unsupported property	0.19	26	true	0.043	11	true	0.045	12	true	0.11	43	unknown	0.036	5.0	true	6.6	300	unknown	0.035	3.0
termination-numeric/b.03_assume_true-termination.c	true	3.4	230	unknown	0.030	1.00	unsupported property	0.19	26	true	0.071	11	true	0.027	6.0	unknown	0.19	40	unknown	0.033	5.0	true	6.0	300	unknown	0.038	3.0
termination-numeric/b.04_true-termination.c	true	1.7	190	unknown	0.023	1.00	unsupported property	0.18	24	true	0.067	12	true	0.0061	1.00	true	0.13	40	unknown	0.041	5.0	true	6.0	300	unknown	0.011	3.0
termination-numeric/b.05_true-termination.c	true	1.8	200	unknown	0.029	1.00	unsupported property	0.21	26	true	0.072	12	true	0.047	10.0	true	0.13	41	unknown	0.037	5.0	true	7.3	290	unknown	0.036	3.0
termination-numeric/b.06_true-termination.c	true	11	1500	unknown	0.030	1.00	unsupported property	0.19	26	true	0.070	11	true	0.080	21	true	0.14	43	unknown	0.040	5.0	true	5.9	300	unknown	0.038	3.0
termination-numeric/b.07_true-termination.c	true	19	1500	unknown	0.020	1.00	unsupported property	0.20	26	true	0.044	12	true	0.081	22	true	0.12	43	unknown	0.039	5.0	true	6.3	300	unknown	0.012	3.0
termination-numeric/b.09-no-inv_assume_true-termination.c	true	8.8	1000	unknown	0.026	1.00	unsupported property	0.19	26	true	0.075	12	true	0.085	21	true	0.21	44	unknown	0.028	5.0	true	10	310	unknown	0.034	3.0
termination-numeric/b.09_assume_true-termination.c	true	11	980	unknown	0.031	1.00	unsupported property	0.21	26	true	0.055	12	true	0.10	26	unknown	0.29	41	unknown	0.021	5.0	true	7.3	300	unknown	0.011	3.0
termination-numeric/b.10_true-termination.c	true	13	1500	unknown	0.031	1.00	unsupported property	0.20	26	true	0.076	12	true	0.38	27	true	0.18	43	unknown	0.033	5.0	true	6.5	300	unknown	0.024	3.0
termination-numeric/b.11_true-termination.c	true	18	1500	unknown	0.030	1.00	unsupported property	0.19	26	true	0.069	12	unknown	1.7	30	true	0.21	44	unknown	0.044	5.0	true	9.6	300	unknown	0.036	3.0
termination-numeric/b.12_true-termination.c	true	9.0	780	unknown	0.027	1.00	unsupported property	0.20	26	true	0.045	11	true	0.21	33	true	0.17	43	unknown	0.042	5.0	true	7.2	300	unknown	0.026	3.0
termination-numeric/b.13_true-termination.c	true	16	1500	unknown	0.037	1.00	unsupported property	0.19	26	true	0.073	12	true	0.25	35	true	0.12	43	unknown	0.041	5.0	true	7.2	300	unknown	0.018	3.0
termination-numeric/b.14_true-termination.c	true	7.4	650	unknown	0.032	1.00	unsupported property	0.19	24	true	0.093	12	true	0.095	28	true	0.26	69	unknown	0.043	5.0	true	7.6	300	unknown	0.011	3.0
termination-numeric/b.15_true-termination.c	true	8.5	1200	unknown	0.012	1.00	unsupported property	0.19	28	true	0.064	12	true	0.14	29	true	0.27	70	unknown	0.021	5.0	true	7.4	310	unknown	0.011	3.0
termination-numeric/b.16_true-termination.c	true	7.8	750	unknown	0.035	1.00	unsupported property	0.20	26	true	0.085	12	true	0.16	29	true	0.24	69	unknown	0.035	5.0	true	6.6	300	unknown	0.028	3.0
termination-numeric/b.17_true-termination.c	true	17	1500	unknown	0.038	1.00	unsupported property	0.19	28	true	0.083	12	true	0.18	29	true	0.26	69	unknown	0.050	5.0	true	6.8	300	unknown	0.034	3.0
termination-numeric/b.18_true-termination.c	true	3.3	240	unknown	0.034	1.00	unsupported property	0.19	26	true	0.092	12	true	0.088	24	true	0.23	71	unknown	0.040	5.0	true	7.9	310	unknown	0.034	3.0
termination-numeric/c.01-no-inv_true-termination.c	true	12	670	unknown	0.032	1.00	unsupported property	0.19	26	true	0.089	12	unknown	0.29	30	true	0.41	70	unknown	0.035	5.0	true	11	310	unknown	0.030	3.0
termination-numeric/c.01_assume_true-termination.c	true	7.5	380	unknown	0.021	1.00	unsupported property	0.19	26	true	0.061	12	unknown	0.23	34	unknown	0.17	40	unknown	0.052	5.0	true	7.6	300	unknown	0.026	3.0
termination-numeric/c.02_true-termination.c	true	8.7	590	unknown	0.033	1.00	unsupported property	0.20	26	true	0.086	12	true	0.75	24	true	0.24	69	unknown	0.044	5.0	true	8.0	300	unknown	0.028	3.0
termination-numeric/c.03_true-termination.c	true	21	1500	unknown	0.030	1.00	unsupported property	0.19	26	true	0.064	12	unknown	0.85	28	true	0.15	44	unknown	0.034	5.0	true	10.0	300	unknown	0.023	3.0
termination-numeric/c.07_true-termination.c	true	17	1400	unknown	0.018	1.00	unsupported property	0.19	26	true	0.076	12	unknown	0.99	32	true	0.16	43	unknown	0.024	5.0	true	6.2	300	unknown	0.020	3.0
termination-numeric/c.08_true-termination.c	true	17	1500	unknown	0.032	1.00	unsupported property	0.19	26	true	0.091	12	true	0.72	22	true	0.21	69	unknown	0.021	5.0	true	7.6	310	unknown	0.023	3.0
termination-numeric/easySum_true-termination.c	true	11	1500	unknown	0.029	1.00	unsupported property	0.20	26	true	0.064	12	true	0.028	5.0	true	0.097	43	unknown	0.042	5.0	true	6.2	300	unknown	0.026	3.0
termination-numeric/ex1_true-termination.c	true	2.8	230	unknown	0.038	1.00	unsupported property	0.19	24	true	0.071	12	true	0.026	5.0	true	0.39	43	unknown	0.034	5.0	unknown	5.5	240	unknown	0.035	3.0
termination-numeric/ex2_true-termination.c	true	13	1200	unknown	0.031	1.00	unsupported property	0.21	26	true	0.060	12	unknown	0.17	40	true	0.46	41	unknown	0.036	5.0	unknown	5.6	240	unknown	0.038	3.0
termination-numeric/ex3_true-termination.c	true	2.4	220	unknown	0.030	1.00	unsupported property	0.19	26	out of memory	160	15000	invalid syntax	0.0040	0	true	0.20	69	unknown	0.042	5.0	true	11	300	unknown	0.024	3.0
termination-numeric/ex3a_true-termination.c	timeout	920	11000	unknown	0.020	1.00	unsupported property	0.19	26	true	0.055	11	unknown	0.030	7.0	true	0.22	40	unknown	0.040	5.0	unknown	5.2	240	unknown	0.022	3.0
termination-numeric/ex3b_true-termination.c	true	5.6	370	unknown	0.032	1.00	unsupported property	0.19	26	true	0.071	12	unknown	0.034	7.0	true	0.24	40	unknown	0.047	5.0	unknown	5.5	240	unknown	0.038	3.0
termination-numeric/fermat_true-termination.c	true	71	1800	unknown	0.037	1.00	unsupported property	0.19	26	true	0.068	12	unknown	99	63	unknown	0.18	40	unknown	0.045	5.0	unknown	5.4	240	unknown	0.023	3.0
termination-numeric/flag_true-termination.c	true	9.8	1000	unknown	0.023	1.00	unsupported property	0.20	26	true	0.071	12	true	0.056	14	true	0.21	43	unknown	0.039	5.0	true	16	470	unknown	0.026	3.0
termination-numeric/gcd01_true-termination.c	true	3.5	230	unknown	0.024	1.00	unsupported property	0.19	25	out of memory	190	15000	exception itoa	0.0095	0	true	0.55	72	unknown	0.035	5.0	true	9.5	300	unknown	0.023	3.0
termination-numeric/java_AG313_true-termination.c	true	7.9	400	unknown	0.029	1.00	unsupported property	0.19	26	true	0.061	12	true	0.046	10.0	true	0.16	43	unknown	0.025	5.0	true	6.3	300	unknown	0.026	3.0
termination-numeric/java_Break_true-termination.c	true	3.0	230	unknown	0.030	1.00	unsupported property	0.20	28	true	0.059	12	true	0.025	4.0	true	0.12	43	unknown	0.039	5.0	true	5.9	300	unknown	0.025	3.0
termination-numeric/java_Continue1_true-termination.c	true	5.6	280	unknown	0.023	1.00	unsupported property	0.19	28	true	0.060	12	exception itoa	0.0087	0	true	0.12	43	unknown	0.028	5.0	true	5.9	300	unknown	0.022	3.0
termination-numeric/java_LogBuiltIn_true-termination.c	true	3.6	250	unknown	0.027	1.00	unsupported property	0.19	26	true	0.072	11	unknown	0.020	5.0	true	0.13	43	unknown	0.032	5.0	true	6.0	300	unknown	0.035	3.0
termination-numeric/java_Nested_true-termination.c	true	8.2	770	unknown	0.028	1.00	unsupported property	0.19	26	true	0.063	12	true	0.12	23	true	0.23	69	unknown	0.024	5.0	true	9.0	320	unknown	0.026	3.0
termination-numeric/java_Sequence_true-termination.c	true	4.6	350	unknown	0.021	1.00	unsupported property	0.18	30	true	0.080	11	true	0.041	6.0	true	0.13	43	unknown	0.045	5.0	true	6.9	300	unknown	0.031	3.0
termination-numeric/recHanoi02_true-termination.c	true	2.5	220	unknown	0.031	1.00	unsupported property	0.20	28	false(reach)	0.15	12	exception itoa	0.014	0	true	0.21	69	unknown	0.039	5.0	true	7.4	300	unknown	0.032	3.0
termination-numeric/rec_counter1_true-termination.c	true	3.6	240	unknown	0.036	1.00	unsupported property	0.18	24	true	0.089	12	unknown	0.23	35	true	0.26	72	unknown	0.037	5.0	true	9.0	300	unknown	0.018	3.0
termination-numeric/rec_counter3_true-termination.c	true	4.5	240	unknown	0.035	1.00	unsupported property	0.20	28	true	0.095	12	unknown	0.23	34	true	0.26	72	unknown	0.044	5.0	true	9.6	300	unknown	0.037	3.0
termination-numeric/twisted_true-termination.c	true	26	1200	unknown	0.026	1.00	unsupported property	0.19	26	true	0.69	60	invalid syntax	0.0041	0	unknown	0.055	11	unknown	0.038	5.0	true	7.1	300	unknown	0.027	3.0
../../sv-benchmarks/c/	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)	status	time(s)	memory(MB)
total files	393	42000	440000	393	12	390	393	76	10000	393	1400	110000	393	1700	6800	393	3700	19000	393	14	2000	393	43000	420000	393	10.0	1200
correct results	305	5400	240000	0	-	-	0	-	-	212	310	25000	175	61	3400	290	300	15000	0	-	-	304	8600	130000	0	-	-
false negatives	0	-	-	0	-	-	0	-	-	39	2.5	450	0	-	-	0	-	-	0	-	-	0	-	-	0	-	-
false positives	0	-	-	0	-	-	0	-	-	137	310	12000	0	-	-	0	-	-	0	-	-	0	-	-	0	-	-
false properties	0	-	-	0	-	-	0	-	-	0	-	-	0	-	-	0	-	-	0	-	-	1	320	980	0	-	-
score (393 files, max score: 742)	610	-	-	0	-	-	0	-	-	-866	-	-	350	-	-	545	-	-	0	-	-	565	-	-	0	-	-
Tool	AProVE			CBMC 4.9			CPAchecker 1.3.10-svcomp15			ESBMC 1.24			FuncTion			HIPTNT+			Seahorn			Ultimate Automizer r12950			Ultimate Kojak r12950