detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6333.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6328.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6316.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6309.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6303.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-628.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6276.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6269.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6263.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6258.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6257.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6254.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-625.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6238.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6226.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6216.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-621.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6207.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-620.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6181.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-618.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6179.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6158.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6151.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-6142.smt2 (content) ok ok 0.038s