detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBV/2018-Wolf-fmbench/VexRiscv-regch0-30-compact.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBV/2018-Wolf-fmbench/VexRiscv-regch0-20-compact.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFBV/2018-Wolf-fmbench/VexRiscv-regch0-15-compact.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ANIA/UltimateBuchiAutomizer/aviad_true-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/lis-alloca_true-termination.c.i.smt2 (content) ok ok 0.816s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/java_Sequence-alloca_true-termination.c.i.smt2 (content) ok ok 0.822s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/java_AG313-alloca_true-termination.c.i.smt2 (content) ok ok 2.4s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/gcd1-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/flag-alloca_true-termination.c.i.smt2 (content) ok ok 33.0s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/easySum-alloca_true-termination.c.i.smt2 (content) ok ok 0.977s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/diff-alloca_true-termination.c.i.smt2 (content) ok ok 3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.08-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.07-alloca_true-termination.c.i.smt2 (content) ok ok 0.793s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.03-alloca_true-termination.c.i.smt2 (content) ok ok 31.3s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.02-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/c.01-no-inv-alloca_true-termination.c.i.smt2 (content) ok ok 0.997s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.17-alloca_true-termination.c.i.smt2 (content) ok ok 30.7s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.16-alloca_true-termination.c.i.smt2 (content) ok ok 0.980s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.14-alloca_true-termination.c.i.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/b.12-alloca_true-termination.c.i.smt2 (content) ok ok 1s
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