detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_587.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_586.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_585.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_584.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_583.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_582.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_581.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_580.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_58.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_579.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_578.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_577.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_576.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_575.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_574.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_573.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_572.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_571.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_570.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_57.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_569.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_568.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_567.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_566.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_565.smt2 (content) ok ok 0.119s