detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.11-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.10-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.09_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.09-no-inv_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.07-alloca_true-termination.c.i.smt2 (content) ok ok 31.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.06-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.04-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.02-alloca_true-termination.c.i.smt2 (content) ok ok 0.998s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.01-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/array02-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/a.10-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/a.09_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/a.08-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/a.05-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/a.04-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i.smt2 (content) ok ok 23.9s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/LexIndexValue-Pointer_true-termination.c.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1-alloca_unknown-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i.smt2 (content) ok ok 0.892s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i.smt2 (content) ok ok 0.850s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i.smt2 (content) warn ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/BradleyMannaSipma-2005CAV-Fig1-alloca_unknown-termination.c.i.smt2 (content) warn ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i.smt2 (content) warn ok 0.996s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i.smt2 (content) ok ok 31.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/4BitCounterPointer_true-termination.c.smt2 (content) ok ok 27.7s