detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18908.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18907.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18889.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18886.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18871.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18864.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18847.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18843.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18829.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18818.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1881.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18781.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18752.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18733.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18703.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1868.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18662.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18660.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18658.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18656.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18634.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18605.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18591.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-18537.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/wintersteiger/abs/abs-has-no-other-solution-1851.smt2 (content) ok ok 0.034s