detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5784.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5783.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5782.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5781.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5780.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_578.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5779.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5778.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5777.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5776.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5775.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5774.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5773.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5772.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5771.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5770.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_577.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5769.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5768.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5767.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5766.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5765.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5764.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5763.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5762.smt2 (content) ok ok 0.082s