detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10171.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1016.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10152.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1015.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10139.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10108.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10101.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10099.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10062.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10021.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1002.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10009.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-10007.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_count_2.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_count_1.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/zeros_class_1.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/user_rule_1.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/underflow_2.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/underflow_1.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/shapes.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/scale_2.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/scale_1.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/riposte_floats_are_not_real.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/riposte_floats_are_not_rational.smt2 (content) ok ok 0.033s