Example	AProVE		FuncTion		KITTeL		T2		TAN		UBA
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.01.c	YES	16.29	MAYBE	0.3	YES	0.1	YES	1.33	YES	0.72	YES	6.51
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.04.c	YES	5.48	MAYBE	0.3	YES	0.07	YES	0.67	YES	0.43	YES	2.09
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.05.c	YES	5.59	MAYBE	0.3	YES	0.07	YES	0.69	MAYBE	1.71	YES	2.01
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.06.c	YES	11.77	MAYBE	0.3	YES	0.07	YES	0.68	MAYBE	12.97	YES	2.04
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.07.c	YES	17.35	MAYBE	0.3	YES	0.08	YES	0.66	YES	3.67	YES	2.07
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.08.c	YES	7.56	MAYBE	0.3	YES	0.07	YES	0.68	YES	2.05	YES	2.07
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.09_assume.c	YES	3.06	MAYBE	0.3	YES	0.09	YES	0.69	MAYBE	1.92	YES	2.11
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_a.10.c	YES	11.54	MAYBE	0.3	YES	0.14	MAYBE	14.42	YES	13.49	YES	3.44
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.01.c	YES	6.08	MAYBE	0.3	YES	0.07	YES	0.71	YES	0.35	YES	2.03
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.02.c	YES	11.2	MAYBE	0.3	YES	0.07	YES	0.67	YES	0.61	YES	2.14
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.03_assume.c	YES	2.79	MAYBE	0.3	YES	0.09	YES	0.67	MAYBE	3.31	YES	2.05
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.03-no-inv_assume.c	YES	3.2	MAYBE	0.3	MAYBE	152.1	YES	0.68	MAYBE	2.42	YES	2.48
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.04.c	YES	1.75	MAYBE	0.3	YES	0.06	YES	0.68	YES	1.66	YES	2.1
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.05.c	YES	2.2	MAYBE	0.3	YES	0.1	YES	0.69	YES	0.58	YES	2.11
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.06.c	YES	9.27	MAYBE	0.3	YES	0.08	YES	0.74	YES	0.56	YES	2.05
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.07.c	YES	19.59	MAYBE	0.3	YES	0.08	YES	0.72	YES	0.59	YES	2.11
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.09_assume.c	YES	12.22	MAYBE	0.3	YES	0.15	YES	0.74	YES	1.1	YES	2.26
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.09-no-inv_assume.c	YES	12.79	MAYBE	0.3	TIMEOUT	300	YES	6.0	MAYBE	1.55	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.10.c	YES	18.94	MAYBE	0.3	YES	0.12	YES	4.84	MAYBE	5.03	YES	2.21
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.11.c	YES	42.78	MAYBE	0.3	YES	0.13	YES	0.76	TIMEOUT	300	YES	2.36
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.12.c	YES	17.09	MAYBE	0.3	YES	0.14	YES	0.73	TIMEOUT	300	YES	2.88
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.13.c	YES	27.49	MAYBE	0.3	YES	0.14	YES	4.84	TIMEOUT	300	YES	2.88
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.14.c	YES	6.39	MAYBE	0.3	YES	0.11	YES	0.75	MAYBE	1.47	YES	2.23
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.15.c	YES	8.18	MAYBE	0.3	YES	0.12	YES	0.71	MAYBE	1.47	YES	2.22
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.16.c	YES	9.27	MAYBE	0.3	YES	0.1	YES	4.8	YES	0.59	YES	2.85
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.17.c	YES	17.11	MAYBE	0.3	YES	0.1	YES	0.72	YES	0.61	YES	2.87
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_b.18.c	YES	3.89	MAYBE	0.3	YES	0.15	YES	4.89	MAYBE	1.44	YES	2.48
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.01_assume.c	YES	8.24	MAYBE	0.3	YES	0.11	YES	0.7	MAYBE	3.1	YES	2.39
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.01-no-inv.c	YES	10.3	MAYBE	0.3	MAYBE	147.37	YES	1.02	MAYBE	0.65	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.02.c	YES	9.72	MAYBE	0.3	YES	0.1	YES	0.69	YES	0.74	YES	2.41
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.03.c	YES	20.69	MAYBE	0.3	YES	0.17	YES	5.26	YES	36.55	YES	2.79
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.07.c	YES	15.66	MAYBE	0.3	YES	0.08	YES	0.71	YES	2.66	YES	2.11
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_c.08.c	YES	21.17	MAYBE	0.3	YES	0.1	YES	0.7	MAYBE	2.19	YES	2.45
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_ex1.c	YES	2.68	MAYBE	0.3	YES	0.07	YES	0.68	YES	0.34	MAYBE	1.59
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_ex2.c	YES	26.54	MAYBE	0.3	YES	0.49	MAYBE	7.17	MAYBE	3.76	MAYBE	1.57
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_ex3a.c	YES	5.08	MAYBE	0.3	YES	0.1	MAYBE	5.56	YES	1.38	MAYBE	1.57
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_ex3b.c	YES	5.32	MAYBE	0.3	YES	0.11	MAYBE	5.66	TIMEOUT	300	MAYBE	1.59
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_fermat.c	YES	201.77	MAYBE	0.3	YES	0.59	TIMEOUT	300	MAYBE	102.2	MAYBE	1.58
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_flag.c	YES	7.22	MAYBE	0.3	YES	0.1	MAYBE	0.28	TIMEOUT	300	MAYBE	7.48
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_AG313.c	YES	6.4	MAYBE	0.3	YES	0.11	YES	0.72	YES	0.54	YES	2.06
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_Break.c	YES	3.64	MAYBE	0.3	YES	0.07	YES	0.67	YES	0.44	YES	2.05
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_Continue1.c	YES	4.85	MAYBE	0.3	YES	0.08	YES	0.71	YES	0.45	MAYBE	1.48
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_LogBuiltIn.c	YES	4.96	MAYBE	0.3	YES	0.09	MAYBE	5.36	YES	0.54	YES	2.05
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_Nested.c	YES	10.44	YES	0.47	YES	0.1	MAYBE	5.45	YES	0.91	YES	3.48
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_java_Sequence.c	YES	5.46	YES	0.34	YES	0.09	YES	0.7	YES	0.77	YES	2.14
llvm/c_sources/sv-comp_2014/numeric/kittel/svcomp_twisted.c	YES	75.14	MAYBE	0.31	YES	0.17	YES	4.88	TIMEOUT	300	MAYBE	1.53
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Avery-2006FLOPS-Table1_true.c	YES	24.82	MAYBE	0.38	YES	0.12	YES	0.7	YES	0.74	YES	2.36
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_aviad_true.c	YES	14.99	MAYBE	0.41	YES	0.19	MAYBE	5.77	YES	0.98	YES	3.04
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Ben-Amram-2010LMCS-Ex2.3_true.c	YES	14.34	MAYBE	1.05	YES	0.17	YES	13.42	MAYBE	8.04	YES	3.28
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c	MAYBE	12.28	MAYBE	0.35	MAYBE	258.54	MAYBE	6.8	MAYBE	1.66	NO	2.77
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1_true.c	YES	13.56	MAYBE	0.35	MAYBE	258.27	YES	5.88	MAYBE	4.75	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-termination.c	TIMEOUT	300	MAYBE	0.34	TIMEOUT	300	MAYBE	1.01	MAYBE	5.65	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true.c	YES	11.5	MAYBE	0.32	YES	0.1	YES	0.7	MAYBE	2.16	YES	6.66
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true.c	YES	3.08	YES	0.32	YES	0.11	YES	0.93	MAYBE	12.91	YES	2.12
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true.c	YES	3.36	MAYBE	0.34	YES	0.1	YES	0.98	MAYBE	8.07	YES	2.43
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig3_true.c	YES	6.16	YES	1.9	YES	0.16	YES	0.7	TIMEOUT	300	YES	2.67
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true.c	YES	10.59	YES	49.12	YES	0.19	YES	0.73	TIMEOUT	300	YES	3.05
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true.c	YES	67.11	YES	159.6	YES	2.39	YES	0.75	TIMEOUT	300	YES	4.1
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_gcd1_true.c	YES	54.62	MAYBE	0.41	MAYBE	188.73	YES	0.73	MAYBE	5.9	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_genady_true.c	YES	7.44	MAYBE	0.33	MAYBE	0.02	YES	0.65	MAYBE	7.77	YES	6.18
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true.c	TIMEOUT	300	MAYBE	0.34	TIMEOUT	300	MAYBE	34.36	MAYBE	0.66	MAYBE	8.34
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true.c	TIMEOUT	300	MAYBE	0.3	TIMEOUT	300	MAYBE	0.85	MAYBE	8.09	YES	7.1
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination.c (non-term.)	TIMEOUT	300	MAYBE	0.58	MAYBE	125.97	MAYBE	39.22	MAYBE	0.82	NO	2.69
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true.c	YES	3.39	YES	0.32	TIMEOUT	300	MAYBE	5.85	YES	0.36	YES	2.03
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true.c	TIMEOUT	300	MAYBE	0.33	TIMEOUT	300	MAYBE	5.71	MAYBE	0.83	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true.c	TIMEOUT	300	MAYBE	0.36	YES	0.32	YES	5.15	MAYBE	1.48	YES	10.6
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Masse_true.c	MAYBE	17.6	YES	30.77	TIMEOUT	300	MAYBE	5.61	MAYBE	1.57	MAYBE	2.52
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_min_rf_true.c	YES	156.49	TIMEOUT	300	MAYBE	229.44	MAYBE	35.37	TIMEOUT	300	YES	8.83
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig7_true.c	YES	51.33	MAYBE	0.34	YES	0.24	YES	0.75	YES	0.53	YES	2.44
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig8_true.c	YES	20.84	MAYBE	0.34	YES	0.1	YES	4.8	MAYBE	19.97	YES	2.71
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true.c	MAYBE	21.03	MAYBE	0.32	TIMEOUT	300	MAYBE	5.38	MAYBE	1.53	MAYBE	2.88
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_TelAviv-Amir-Minimum_true.c	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	YES	0.78	TIMEOUT	300	YES	4.56
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Toulouse-BranchesToLoop_true.c	YES	4.45	MAYBE	0.45	MAYBE	154.29	TIMEOUT	300	MAYBE	6.71	YES	2.76
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Toulouse-MultiBranchesToLoop_true.c	YES	8.71	MAYBE	0.89	MAYBE	154.91	TIMEOUT	300	MAYBE	15.96	YES	5.23
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination.c (non-term.)	MAYBE	3.73	MAYBE	0.35	MAYBE	0.12	MAYBE	9.88	MAYBE	0.63	NO	2.61
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Urban-2013WST-Fig2-modified1000_true.c	YES	4.4	YES	0.4	YES	0.09	YES	0.72	YES	0.67	TIMEOUT	300
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Urban-2013WST-Fig2_true.c	YES	4.88	YES	0.4	YES	0.09	YES	4.79	YES	0.67	YES	3.06
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Urban_true.c	YES	80.79	YES	10.06	YES	0.85	MAYBE	55.25	MAYBE	180.74	YES	7.94
llvm/c_sources/sv-comp_2014/numeric/svcomp/crafted/svcomp_Velroyen_false-unreach-label-termination.c (non-term.)	MAYBE	4.47	MAYBE	1.24	MAYBE	0.43	MAYBE	24.96	MAYBE	1.67	NO	2.53