detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_688.smt2 (content) ok ok 0.397s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_687.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_686.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_685.smt2 (content) ok ok 0.392s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_684.smt2 (content) ok ok 0.443s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_683.smt2 (content) ok ok 0.425s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_682.smt2 (content) ok ok 0.353s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_681.smt2 (content) ok ok 0.447s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_680.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_68.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_679.smt2 (content) ok ok 0.404s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_678.smt2 (content) ok ok 0.427s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_677.smt2 (content) ok ok 0.509s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_676.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_675.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_674.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_673.smt2 (content) ok ok 0.435s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_672.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_671.smt2 (content) ok ok 0.415s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_670.smt2 (content) ok ok 0.457s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_67.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_669.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_668.smt2 (content) ok ok 0.462s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_667.smt2 (content) ok ok 0.392s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_666.smt2 (content) ok ok 0.449s