detailed results (33316 total)

prover file res expected time
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/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/insertionsort-alloca_true-termination.c.i.smt2 (content) warn ok 0.786s
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/LexIndexValue-Pointer_true-termination.c.smt2 (content) warn ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i.smt2 (content) warn ok 0.956s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/BradleyMannaSipma-2005CAV-Fig1-alloca_unknown-termination.c.i.smt2 (content) warn ok 1.3s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i.smt2 (content) warn ok 1s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_smallrange_true-unreach-call.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_negation_true-unreach-call.c.smt2 (content) warn ok 0.147s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_true-unreach-call.c.smt2 (content) warn ok 0.108s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_false-unreach-call.c.smt2 (content) warn ok 0.224s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_bigrange_tight_true-unreach-call.c.smt2 (content) warn ok 0.104s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_iterated_true-unreach-call.c.smt2 (content) warn ok 0.174s
dolmen /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_alt_true-unreach-call.c.smt2 (content) warn ok 0.097s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c.smt2 (content) warn ok 0.321s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c.smt2 (content) warn ok 0.274s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c.smt2 (content) warn ok 0.551s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c.smt2 (content) warn ok 0.282s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_int_true-unreach-call.c.smt2 (content) warn ok 0.292s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float21_true-unreach-call.i.smt2 (content) warn ok 0.941s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i.smt2 (content) warn ok 0.274s