detailed results (330073 total)

prover file res expected time
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/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/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
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/sqrt_poly2_smt-query.1.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/sqrt_poly2_smt-query.0.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/sin_interpolated_bigrange_tight_smt-query.0.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/sin_interpolated_bigrange_loose_smt-query.0.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/rekh_nxt.3.M4_smt-query.0.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/rekh_nxt.3.M1_smt-query.0.smt2 (content) ok ok 0.414s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/rekh_nxt.2.M4-2_smt-query.0.smt2 (content) ok ok 1.2s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/rekh_nxt.2.M4-1_smt-query.0.smt2 (content) ok ok 0.983s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20190307-CPAchecker_kInduction-SoSy_Lab/rekh_nxt.2.M1-2_smt-query.0.smt2 (content) ok ok 0.409s