detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_652.smt2 (content) ok ok 0.366s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_651.smt2 (content) ok ok 0.407s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_650.smt2 (content) ok ok 0.429s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_65.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_649.smt2 (content) ok ok 0.417s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_648.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_647.smt2 (content) ok ok 0.451s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_646.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_645.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_644.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_643.smt2 (content) ok ok 0.519s