detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5144.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5143.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5142.smt2 (content) ok ok 0.698s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5141.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5140.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_514.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5139.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5138.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5137.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5136.smt2 (content) ok ok 20.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5135.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5134.smt2 (content) ok ok 0.728s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5133.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5132.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5131.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5130.smt2 (content) ok ok 0.719s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_513.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5129.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5128.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5127.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5126.smt2 (content) ok ok 0.670s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5125.smt2 (content) ok ok 14.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5124.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5123.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5122.smt2 (content) ok ok 1.2s