detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_4_true-unreach-call.i.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_3_true-unreach-call.i.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_2_true-unreach-call.i.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_2_1_true-unreach-call.i.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_8_false-unreach-call.i.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_7_false-unreach-call.i.smt2 (content) fatal ok 0.257s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_6_false-unreach-call.i.smt2 (content) fatal ok 0.342s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_5_false-unreach-call.i.smt2 (content) fatal ok 0.346s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_4_false-unreach-call.i.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_3_true-unreach-call.i.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_2_true-unreach-call.i.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/newton_1_1_true-unreach-call.i.smt2 (content) fatal ok 0.321s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/loop_true-unreach-call.c.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/float4_true-unreach-call.i.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/float-no-simp2_true-unreach-call.i.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/filter2_true-unreach-call.c.smt2 (content) fatal ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/filter2_set_true-unreach-call.c.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/filter2_reinit_true-unreach-call.c.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/drift_tenth_true-unreach-call.c.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/digits_while_true-unreach-call.i.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/digits_for_true-unreach-call.i.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/digits_bad_while_false-unreach-call.i.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/digits_bad_for_false-unreach-call.i.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/cos_polynomial_true-unreach-call.c.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/arctan_Pade_true-unreach-call.c.smt2 (content) fatal ok 0.306s