detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3457.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3456.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3455.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3454.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3453.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3452.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3451.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3450.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_345.smt2 (content) ok ok 14.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3449.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3448.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3447.smt2 (content) ok ok 18.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3446.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3445.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3444.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3443.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3442.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3441.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3440.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_344.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3439.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3438.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3437.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3436.smt2 (content) ok ok 21.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3435.smt2 (content) ok ok 0.031s