detailed results (330073 total)

proverfileresexpectedtime
dolmen/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2(content)okok0.231s
dolmen/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2(content)okok0.446s
dolmen/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2(content)okok0.468s
dolmen/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2(content)okok0.239s
dolmen/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/aviad_true-alloca_true-termination.c.i.smt2(content)okok0.936s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/lis-alloca_true-termination.c.i.smt2(content)okok0.779s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/java_AG313-alloca_true-termination.c.i.smt2(content)okok2.4s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/diff-alloca_true-termination.c.i.smt2(content)okok1.5s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.08-alloca_true-termination.c.i.smt2(content)okok0.939s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.02-alloca_true-termination.c.i.smt2(content)okok0.934s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/c.01-no-inv-alloca_true-termination.c.i.smt2(content)okok0.967s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.16-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.11-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.09_assume-alloca_true-termination.c.i.smt2(content)okok1.3s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.09-no-inv_assume-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.06-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.04-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/b.01-alloca_true-termination.c.i.smt2(content)okok0.927s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.10-alloca_true-termination.c.i.smt2(content)okok0.989s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.09_assume-alloca_true-termination.c.i.smt2(content)okok1.2s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.08-alloca_true-termination.c.i.smt2(content)okok1.4s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/a.04-alloca_true-termination.c.i.smt2(content)okok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/Urban-2013WST-Fig2-alloca_true-termination.c.i.smt2(content)okok57.8s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i.smt2(content)okok0.801s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i.smt2(content)okok0.765s