detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/java_AG313-alloca_true-termination.c.i.smt2 (content) ok ok 2.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/diff-alloca_true-termination.c.i.smt2 (content) ok ok 1.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.08-alloca_true-termination.c.i.smt2 (content) ok ok 0.998s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.02-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.01-no-inv-alloca_true-termination.c.i.smt2 (content) ok ok 0.998s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.16-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.11-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.09_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.09-no-inv_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.06-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.04-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.01-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.10-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.09_assume-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.08-alloca_true-termination.c.i.smt2 (content) ok ok 1.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.04-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/Urban-2013WST-Fig2-alloca_true-termination.c.i.smt2 (content) ok ok 56.6s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i.smt2 (content) ok ok 0.884s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i.smt2 (content) ok ok 0.896s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i.smt2 (content) ok ok 0.738s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/BradleyMannaSipma-2005CAV-Fig1-alloca_unknown-termination.c.i.smt2 (content) warn ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i.smt2 (content) warn ok 0.991s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/inv_Newton_true-unreach-call.c.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/filter_iir_true-unreach-call.c.smt2 (content) fatal ok 0.238s