detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/range_mult.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/range_add_mult.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/range_add.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/protected_divide.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/precise_4.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/precise_3.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/precise_2.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/precise_1.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/non_zero_root.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/incorrect_reordering.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/guarded_div_3.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/guarded_div_2.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/guarded_div_1.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/float_to_double.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/exp_3_precision.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/exp_2_precision.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/discrete.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/cases_2.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/cases_1.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/cancel_2.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/cancel_1.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/calc_proportion.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_6.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_5.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_4.smt2 (content) ok ok 0.036s