| Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i_Iteration4_Lasso+nonterminationTemplate.smt2 |
| LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1-alloca_unknown-termination.c.i_Iteration6_Lasso+nonterminationTemplate.smt2 |
| CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i_Iteration8_Lasso+nonterminationTemplate.smt2 |
| Masse-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| b.09-no-inv_assume-alloca_true-termination.c.i_Iteration4_Lasso+nonterminationTemplate.smt2 |
| Velroyen-alloca_false-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| Urban-2013WST-Fig1-alloca_false-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i_Iteration3_Lasso+nonterminationTemplate.smt2 |
| BradleyMannaSipma-2005ICALP-Fig1-alloca_unknown-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| HarrisLalNoriRajamani-2010SAS-Fig2-alloca_unknown-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1-alloca_unknown-termination.c.i_Iteration4_Lasso+nonterminationTemplate.smt2 |
| PodelskiRybalchenko-2004VMCAI-Ex2-alloca_false-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i_Iteration3_Lasso+nonterminationTemplate.smt2 |
| b.13-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| openbsd_cstrstr-alloca_true-termination.c.i_Iteration8_Lasso+nonterminationTemplate.smt2 |
| b.17-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| twisted-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| diff-alloca_true-termination.c.i_Iteration7_Lasso+nonterminationTemplate.smt2 |
| BradleyMannaSipma-2005CAV-Fig1-alloca_unknown-termination.c.i_Iteration5_Lasso+nonterminationTemplate.smt2 |
| openbsd_cstpncpy-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| BradleyMannaSipma-2005CAV-Fig1-modified-alloca_unknown-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| java_AG313-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| substring-alloca_true-termination.c.i_Iteration5_Lasso+nonterminationTemplate.smt2 |
| b.15-alloca_true-termination.c.i_Iteration4_Lasso+nonterminationTemplate.smt2 |
| LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1-alloca_unknown-termination.c.i_Iteration7_Lasso+nonterminationTemplate.smt2 |
| flag-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| a.06-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |
| a.07-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| b.07-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 |
| c.03-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 |