| Example | CPAchecker | Predator |
|---|
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.01-malloc.c | YES | 1.53 | YES | 5.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.04-malloc.c | YES | 1.49 | YES | 9.51 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.05-malloc.c | YES | 1.48 | YES | 9.41 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.06-malloc.c | YES | 1.53 | YES | 12.57 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.07-malloc.c | YES | 1.55 | YES | 38.37 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.08-malloc.c | YES | 1.51 | YES | 9.47 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.09_assume-malloc.c | YES | 1.59 | YES | 0.87 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_a.10-malloc.c | YES | 1.53 | YES | 14.85 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.01-malloc.c | YES | 1.49 | YES | 9.45 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.02-malloc.c | YES | 1.5 | YES | 9.47 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.03_assume-malloc.c | YES | 1.48 | YES | 0.61 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.03-no-inv_assume-malloc.c | YES | 1.48 | YES | 0.61 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.04-malloc.c | YES | 1.49 | YES | 0.72 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.05-malloc.c | YES | 1.47 | YES | 0.99 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.06-malloc.c | YES | 1.5 | YES | 25.02 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.07-malloc.c | YES | 1.53 | YES | 38.37 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.09_assume-malloc.c | YES | 1.54 | YES | 23.04 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.09-no-inv_assume-malloc.c | YES | 1.57 | YES | 17.0 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.10-malloc.c | YES | 1.56 | YES | 34.3 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.11-malloc.c | YES | 1.55 | YES | 18.38 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.12-malloc.c | YES | 1.55 | YES | 27.28 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.13-malloc.c | YES | 1.55 | YES | 32.78 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.14-malloc.c | YES | 1.51 | YES | 13.59 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.15-malloc.c | YES | 1.54 | YES | 57.53 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.16-malloc.c | YES | 1.5 | YES | 14.47 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.17-malloc.c | YES | 1.54 | YES | 19.81 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_b.18-malloc.c | YES | 1.51 | YES | 0.61 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_bubblesort_malloc.c | MAYBE | 1.42 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.01_assume-malloc.c | YES | 1.52 | YES | 1.39 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.01-no-inv-malloc.c | YES | 1.51 | YES | 27.27 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.02-malloc.c | YES | 1.51 | YES | 5.07 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.03-malloc.c | YES | 1.55 | YES | 19.8 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.07-malloc.c | YES | 1.55 | YES | 53.85 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_c.08-malloc.c | YES | 1.55 | YES | 6.29 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_diff_malloc.c | MAYBE | 1.42 | MAYBE | 1.14 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_ex1-malloc.c | YES | 1.51 | YES | 0.86 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_ex2-malloc.c | YES | 1.62 | YES | 96.27 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_ex3a-malloc.c | YES | 1.46 | YES | 2.08 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_ex3b-malloc.c | YES | 1.52 | YES | 16.52 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_fermat-malloc.c | YES | 1.53 | TIMEOUT | 300 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_flag-malloc.c | YES | 1.5 | YES | 12.15 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_insertionsort_malloc.c | MAYBE | 1.43 | MAYBE | 0.2 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_AG313-malloc.c | YES | 1.51 | YES | 16.64 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_Break-malloc.c | YES | 1.45 | YES | 0.74 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_BubbleSort_malloc.c | MAYBE | 1.46 | MAYBE | 0.2 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_Continue1-malloc.c | YES | 1.45 | YES | 2.79 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_LogBuiltIn-malloc.c | YES | 1.49 | YES | 6.34 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_Nested-malloc.c | YES | 1.45 | YES | 3.24 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_java_Sequence-malloc.c | YES | 1.45 | YES | 0.77 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_knapsack_malloc.c | MAYBE | 1.49 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_lis_malloc.c | MAYBE | 1.42 | MAYBE | 0.76 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_selectionsort_malloc.c | MAYBE | 1.4 | MAYBE | 0.2 |
| llvm/c_sources/sv-comp_2014/memory/malloc/kittel/svcomp_twisted-malloc.c | YES | 1.57 | YES | 5.12 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cbzero_malloc.c | MAYBE | 1.43 | MAYBE | 0.26 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cmemchr_malloc.c | MAYBE | 1.47 | MAYBE | 0.29 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cmemrchr_malloc.c | MAYBE | 1.41 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cmemset_malloc.c | MAYBE | 1.48 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstpcpy_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstpncpy_malloc.c | MAYBE | 1.46 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrcat_malloc.c | MAYBE | 1.47 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrcmp_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrcpy_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrcspn_malloc.c | MAYBE | 1.41 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrlcpy_malloc.c | MAYBE | 1.42 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrlen_malloc.c | MAYBE | 1.42 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrncat_malloc.c | MAYBE | 1.44 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrncmp_malloc.c | MAYBE | 1.44 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrncpy_malloc.c | MAYBE | 1.44 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrnlen_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrpbrk_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrspn_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/openbsd/svcomp_openbsd_cstrstr_malloc.c | MAYBE | 1.43 | MAYBE | 0.11 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_add_last_malloc.c | MAYBE | 1.4 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_array01_malloc.c | MAYBE | 1.43 | MAYBE | 0.26 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_array02_malloc.c | MAYBE | 1.41 | MAYBE | 0.29 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_array03_malloc.c | MAYBE | 1.42 | MAYBE | 0.32 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_count_down_malloc.c | MAYBE | 1.44 | MAYBE | 0.35 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_delete_malloc.c | MAYBE | 1.4 | MAYBE | 0.31 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_easySum-malloc.c | YES | 1.47 | YES | 9.14 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_mult_array_malloc.c | MAYBE | 1.47 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_reverse_array_malloc.c | MAYBE | 1.49 | MAYBE | 0.05 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_stroeder1_malloc.c | MAYBE | 1.41 | MAYBE | 0.28 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_stroeder2_malloc.c | MAYBE | 1.4 | MAYBE | 0.31 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_strreplace_malloc.c | MAYBE | 1.41 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_subseq_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/other/svcomp_substring_malloc.c | MAYBE | 1.46 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrcat_malloc.c | MAYBE | 1.46 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrchr_true_malloc.c | MAYBE | 1.4 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrcmp_true_malloc.c | MAYBE | 1.41 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrcpy_malloc.c | MAYBE | 1.45 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrcspn_true_malloc.c | MAYBE | 1.48 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrlen_true_malloc.c | MAYBE | 1.41 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrncat_malloc.c | MAYBE | 1.45 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrncmp_true_malloc.c | MAYBE | 1.45 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrncpy_malloc.c | MAYBE | 1.43 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrpbrk_true_malloc.c | MAYBE | 1.42 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/string/svcomp_cstrspn_true_malloc.c | MAYBE | 1.42 | MAYBE | 0.06 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Avery-2006FLOPS-Tabel1_true-malloc.c | YES | 1.58 | YES | 72.01 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_aviad_true-malloc.c | YES | 1.54 | YES | 14.98 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-malloc.c | YES | 1.5 | YES | 1.11 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c | YES | 1.51 | YES | 1.54 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-malloc.c | YES | 1.51 | YES | 5.09 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-malloc.c | YES | 1.5 | YES | 1.17 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-malloc.c | YES | 1.45 | YES | 9.82 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-malloc.c | YES | 1.45 | YES | 5.04 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-malloc.c | YES | 1.51 | YES | 0.34 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-malloc.c | YES | 1.46 | YES | 0.49 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-malloc.c | YES | 1.51 | YES | 1.11 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-malloc.c | YES | 1.49 | YES | 1.11 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_gcd1_true-malloc.c | YES | 1.57 | YES | 2.15 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_genady_true-malloc.c | YES | 1.47 | YES | 0.33 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-malloc.c | YES | 1.52 | YES | 8.44 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-malloc.c | YES | 1.7 | YES | 5.5 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-malloc.c | MAYBE | 1.56 | YES | 4.37 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-malloc.c | YES | 1.54 | YES | 0.19 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-malloc.c | YES | 1.45 | YES | 0.27 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-malloc.c | YES | 1.52 | YES | 4.29 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Masse_true-malloc.c | YES | 1.42 | YES | 0.18 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_min_rf_true-malloc.c | YES | 1.55 | YES | 0.67 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig7_true-malloc.c | YES | 1.47 | YES | 17.08 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_NoriSharma-2013FSE-Fig8_true-malloc.c | YES | 1.5 | YES | 18.49 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-malloc.c | YES | 1.4 | YES | 0.19 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_TelAviv-Amir-Minimum_true-malloc.c | YES | 1.47 | YES | 0.49 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Toulouse-BranchesToLoop_true-malloc.c | YES | 1.48 | YES | 1.72 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Toulouse-MultiBranchesToLoop_true-malloc.c | MAYBE | 1.51 | YES | 4.75 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-malloc.c | YES | 1.45 | YES | 0.19 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Urban-2013WST-Fig2-modified1000_true-malloc.c | YES | 1.43 | YES | 0.27 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Urban-2013WST-Fig2_true-malloc.c | YES | 1.48 | YES | 1.11 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Urban_true-malloc.c | MAYBE | 1.48 | YES | 0.49 |
| llvm/c_sources/sv-comp_2014/memory/malloc/svcomp/crafted/svcomp_Velroyen_false-unreach-label-termination-malloc.c | YES | 1.46 | YES | 0.19 |