Example	AProVE		Predator
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.01-alloca.c	YES	54.58	YES	1.72
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.04-alloca.c	YES	13.92	YES	0.63
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.05-alloca.c	YES	14.93	YES	0.63
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.06-alloca.c	YES	43.3	YES	0.81
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.07-alloca.c	YES	82.72	YES	1.87
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.08-alloca.c	YES	18.52	YES	0.63
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.09_assume-alloca.c	YES	5.53	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_a.10-alloca.c	YES	47.82	YES	0.82
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.01-alloca.c	YES	13.0	YES	0.64
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.02-alloca.c	YES	37.63	YES	0.64
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.03_assume-alloca.c	YES	4.71	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.03-no-inv_assume-alloca.c	YES	7.11	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.04-alloca.c	YES	2.54	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.05-alloca.c	YES	6.08	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.06-alloca.c	YES	27.31	YES	0.73
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.07-alloca.c	YES	85.47	YES	1.86
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.09_assume-alloca.c	YES	37.72	YES	1.34
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.09-no-inv_assume-alloca.c	YES	33.97	YES	0.64
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.10-alloca.c	YES	47.54	YES	32.88
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.11-alloca.c	YES	146.45	YES	1.02
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.12-alloca.c	YES	45.08	YES	1.35
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.13-alloca.c	YES	98.6	YES	29.36
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.14-alloca.c	YES	17.17	YES	0.65
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.15-alloca.c	YES	32.94	YES	5.72
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.16-alloca.c	YES	24.61	YES	0.44
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.17-alloca.c	YES	65.86	YES	1.06
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_b.18-alloca.c	YES	6.81	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_bubblesort_alloca.c	TIMEOUT	300	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.01_assume-alloca.c	YES	20.16	YES	0.58
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.01-no-inv-alloca.c	YES	34.91	YES	23.53
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.02-alloca.c	YES	54.14	YES	0.82
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.03-alloca.c	YES	91.83	YES	0.56
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.07-alloca.c	YES	74.37	YES	2.39
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_c.08-alloca.c	YES	95.06	YES	2.4
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_diff_alloca.c	TIMEOUT	300	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_ex1-alloca.c	YES	4.62	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_ex2-alloca.c	YES	89.71	YES	7.95
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_ex3a-alloca.c	YES	8.23	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_ex3b-alloca.c	YES	17.86	YES	0.73
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_fermat-alloca.c	TIMEOUT	300	TIMEOUT	300
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_flag-alloca.c	YES	19.75	YES	0.82
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_insertionsort_alloca.c	YES	156.33	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_AG313-alloca.c	YES	14.25	YES	0.88
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_Break-alloca.c	YES	7.03	YES	0.74
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_BubbleSort_alloca.c	MAYBE	245.74	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_Continue1-alloca.c	YES	10.28	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_LogBuiltIn-alloca.c	YES	9.21	YES	0.46
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_Nested-alloca.c	YES	22.15	YES	3.26
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_java_Sequence-alloca.c	YES	11.6	YES	0.77
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_knapsack_alloca.c	MAYBE	17.29	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_lis_alloca.c	TIMEOUT	300	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_selectionsort_alloca.c	MAYBE	170.85	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/kittel/svcomp_twisted-alloca.c	YES	9.86	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cbzero_alloca.c	YES	11.8	MAYBE	0.26
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cmemchr_alloca.c	YES	39.23	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cmemset_alloca.c	YES	17.09	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstpcpy_alloca.c	YES	14.87	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstpncpy_alloca.c	MAYBE	92.5	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrcat_alloca.c	MAYBE	14.85	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrcmp_alloca.c	YES	27.89	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrcpy_alloca.c	YES	13.11	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrcspn_alloca.c	MAYBE	21.65	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrlcpy_alloca.c	YES	104.52	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrlen_alloca.c	YES	4.78	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrncat_alloca.c	MAYBE	6.03	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrncmp_alloca.c	YES	62.7	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrncpy_alloca.c	MAYBE	72.21	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrnlen_alloca.c	YES	21.58	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrpbrk_alloca.c	YES	86.16	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrspn_alloca.c	MAYBE	18.06	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/openbsd/svcomp_openbsd_cstrstr_alloca.c	MAYBE	58.24	MAYBE	0.11
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_add_last_alloca.c	MAYBE	2.2	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_array01_alloca.c	YES	44.66	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_array02_alloca.c	TIMEOUT	300	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_array03_alloca.c	TIMEOUT	300	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_count_down_alloca.c	YES	205.07	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_delete_alloca.c	MAYBE	3.24	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_easySum-alloca.c	YES	37.15	YES	0.44
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_mult_array_alloca.c	YES	144.74	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_reverse_array_alloca.c	MAYBE	8.17	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_stroeder1_alloca.c	YES	16.07	MAYBE	0.11
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_stroeder2_alloca.c	YES	68.11	MAYBE	0.11
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_strreplace_alloca.c	YES	44.88	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_subseq_alloca.c	YES	115.07	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/other/svcomp_substring_alloca.c	YES	172.89	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrcat_alloca.c	MAYBE	14.57	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrchr_true_alloca.c	YES	14.87	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrcmp_true_alloca.c	YES	70.21	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrcpy_alloca.c	YES	17.41	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrcspn_true_alloca.c	TIMEOUT	300	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrlen_true_alloca.c	YES	6.08	MAYBE	0.05
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrncat_alloca.c	MAYBE	6.51	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrncmp_true_alloca.c	YES	137.85	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrncpy_alloca.c	YES	82.53	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrpbrk_true_alloca.c	YES	254.56	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/string/svcomp_cstrspn_true_alloca.c	TIMEOUT	300	MAYBE	0.06
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c	YES	76.22	YES	2.47
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_aviad_true-alloca.c	YES	39.68	YES	0.96
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c	YES	36.76	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c	YES	14.37	YES	0.34
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c	YES	165.1	YES	2.25
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c	YES	16.13	YES	0.34
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c	YES	21.58	YES	0.09
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c	YES	8.94	YES	0.62
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c	YES	5.67	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c	YES	7.79	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c	YES	20.24	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c	YES	126.85	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_gcd1_true-alloca.c	YES	169.22	YES	0.58
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_genady_true-alloca.c	YES	12.86	YES	0.33
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c	YES	17.43	YES	5.62
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c	YES	14.34	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c	TIMEOUT	300	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c	YES	7.48	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c	TIMEOUT	300	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c	YES	26.2	YES	2.16
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Masse_true-alloca.c	YES	8.03	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_min_rf_true-alloca.c	TIMEOUT	300	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c	YES	196.21	YES	16.59
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c	YES	75.45	YES	1.0
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c	YES	2.49	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_TelAviv-Amir-Minimum_true-alloca.c	TIMEOUT	300	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Toulouse-BranchesToLoop_true-alloca.c	YES	8.6	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c	YES	18.05	YES	0.08
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c	YES	5.55	YES	0.07
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c	YES	6.74	YES	0.07
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Urban-2013WST-Fig2_true-alloca.c	YES	8.37	YES	0.07
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Urban_true-alloca.c	YES	150.52	YES	0.07
llvm/c_sources/sv-comp_2014/memory/alloca/svcomp/crafted/svcomp_Velroyen_false-unreach-label-termination-alloca.c	YES	6.75	YES	0.07