detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_1_false-unreach-call.i.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_poly_true-unreach-call.c.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_biNewton_pseudoconstant_true-unreach-call.c.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_Newton_pseudoconstant_true-unreach-call.c.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_pseudoconstant_true-unreach-call.c.smt2 (content) warn ok 0.174s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_interval_true-unreach-call.c.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sqrt_Householder_constant_true-unreach-call.c.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sine_6_true-unreach-call.i.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sine_5_true-unreach-call.i.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/sine_4_true-unreach-call.i.smt2 (content) warn ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/rlim_exit_true-unreach-call.c.smt2 (content) warn ok 0.290s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_8_false-unreach-call.i.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_7_false-unreach-call.i.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_6_false-unreach-call.i.smt2 (content) warn ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_5_true-unreach-call.i.smt2 (content) warn ok 0.168s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_4_true-unreach-call.i.smt2 (content) warn ok 0.092s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_3_true-unreach-call.i.smt2 (content) warn ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_2_true-unreach-call.i.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_3_1_true-unreach-call.i.smt2 (content) warn ok 0.087s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_8_false-unreach-call.i.smt2 (content) warn ok 0.096s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_7_false-unreach-call.i.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_6_false-unreach-call.i.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_5_true-unreach-call.i.smt2 (content) warn ok 0.089s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_4_true-unreach-call.i.smt2 (content) warn ok 0.099s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_3_true-unreach-call.i.smt2 (content) warn ok 0.127s