detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9804.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9803.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9771.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9763.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-975.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9749.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9728.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9721.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9718.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9712.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9701.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9694.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9690.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-968.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9674.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9665.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9649.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9648.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9638.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9637.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9587.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9579.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9548.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9536.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-9531.smt2 (content) ok ok 0.042s