detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_528.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5279.smt2 (content) ok ok 0.880s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5278.smt2 (content) ok ok 0.563s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5277.smt2 (content) ok ok 0.538s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5276.smt2 (content) ok ok 0.869s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5275.smt2 (content) ok ok 0.950s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5274.smt2 (content) ok ok 0.664s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5273.smt2 (content) ok ok 0.921s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5272.smt2 (content) ok ok 0.933s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5271.smt2 (content) ok ok 0.938s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5270.smt2 (content) ok ok 0.920s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_527.smt2 (content) ok ok 16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5269.smt2 (content) ok ok 15.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5268.smt2 (content) ok ok 0.928s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5267.smt2 (content) ok ok 0.552s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5266.smt2 (content) ok ok 0.954s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5265.smt2 (content) ok ok 0.673s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5264.smt2 (content) ok ok 0.923s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5263.smt2 (content) ok ok 0.925s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5262.smt2 (content) ok ok 0.902s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5261.smt2 (content) ok ok 0.922s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5260.smt2 (content) ok ok 0.583s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_526.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5259.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5258.smt2 (content) ok ok 15.7s