detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_665.smt2 (content) ok ok 0.412s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_664.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_663.smt2 (content) ok ok 0.418s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_662.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_661.smt2 (content) ok ok 0.622s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_660.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_66.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_659.smt2 (content) ok ok 0.616s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_658.smt2 (content) ok ok 0.404s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_657.smt2 (content) ok ok 0.434s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_656.smt2 (content) ok ok 0.422s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_655.smt2 (content) ok ok 0.528s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_654.smt2 (content) ok ok 0.465s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_653.smt2 (content) ok ok 0.035s