detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_AUFBV/2018-Wolf-fmbench/VexRiscv-regch0-15-compact.smt2 (content) ok ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/openbsd_cstrncpy-alloca_true-termination.c.i.smt2 (content) warn ok 0.989s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/openbsd_cstrlcpy-alloca_true-termination.c.i.smt2 (content) warn ok 1.4s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/openbsd_cstpncpy-alloca_true-termination.c.i.smt2 (content) warn ok 2.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/aviad_true-alloca_true-termination.c.i.smt2 (content) ok ok 0.995s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i.smt2 (content) warn ok 0.710s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/min_rf-alloca_true-termination.c.i.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/lis-alloca_true-termination.c.i.smt2 (content) ok ok 0.816s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/java_Sequence-alloca_true-termination.c.i.smt2 (content) ok ok 0.792s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/java_AG313-alloca_true-termination.c.i.smt2 (content) ok ok 2.5s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/insertionsort-alloca_true-termination.c.i.smt2 (content) warn ok 0.786s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/gcd1-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/flag-alloca_true-termination.c.i.smt2 (content) ok ok 34.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/easySum-alloca_true-termination.c.i.smt2 (content) ok ok 0.988s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/diff-alloca_true-termination.c.i.smt2 (content) ok ok 3.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/cstrncpy-alloca_true-termination.c.i.smt2 (content) warn ok 9m16s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.08-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.07-alloca_true-termination.c.i.smt2 (content) ok ok 0.780s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.03-alloca_true-termination.c.i.smt2 (content) ok ok 31.9s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.02-alloca_true-termination.c.i.smt2 (content) ok ok 1.1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.01-no-inv-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.17-alloca_true-termination.c.i.smt2 (content) ok ok 31.2s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.16-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.14-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.12-alloca_true-termination.c.i.smt2 (content) ok ok 1s