detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5557.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5549.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5542.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5533.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5529.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5518.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5511.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5497.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5457.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5440.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5432.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5409.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5376.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5350.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5341.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5334.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5331.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5325.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5312.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-531.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5306.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5298.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5283.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5277.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-5254.smt2 (content) ok ok 0.033s