detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5707.smt2 (content) ok ok 0.504s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5706.smt2 (content) ok ok 0.290s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5705.smt2 (content) ok ok 0.506s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5704.smt2 (content) ok ok 0.504s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5703.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5702.smt2 (content) ok ok 0.552s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5701.smt2 (content) ok ok 0.495s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5700.smt2 (content) ok ok 0.329s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_570.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_57.smt2 (content) ok ok 15.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5699.smt2 (content) ok ok 0.522s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5698.smt2 (content) ok ok 0.507s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5697.smt2 (content) ok ok 0.499s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5696.smt2 (content) ok ok 0.501s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5695.smt2 (content) ok ok 0.517s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5694.smt2 (content) ok ok 0.497s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5693.smt2 (content) ok ok 0.516s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5692.smt2 (content) ok ok 12.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5691.smt2 (content) ok ok 0.500s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5690.smt2 (content) ok ok 0.516s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_569.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5689.smt2 (content) ok ok 0.500s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5688.smt2 (content) ok ok 0.515s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5687.smt2 (content) ok ok 0.303s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5686.smt2 (content) ok ok 0.466s