detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4717.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4716.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4715.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4714.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4713.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4712.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4711.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4710.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_471.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4709.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4708.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4707.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4706.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4705.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4704.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4703.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4702.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4701.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4700.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_470.smt2 (content) ok ok 23.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_47.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4699.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4698.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4697.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4696.smt2 (content) ok ok 0.027s