detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_868.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_867.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_866.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_865.smt2 (content) ok ok 0.325s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_864.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_863.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_862.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_861.smt2 (content) ok ok 0.323s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_860.smt2 (content) ok ok 0.284s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_86.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_859.smt2 (content) ok ok 0.259s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_858.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_857.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_856.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_855.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_854.smt2 (content) ok ok 0.285s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_853.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_852.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_851.smt2 (content) ok ok 0.336s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_850.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_85.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_849.smt2 (content) ok ok 0.260s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_848.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_847.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_846.smt2 (content) ok ok 0.239s