detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3682.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3681.smt2 (content) ok ok 23.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3680.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_368.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3679.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3678.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3677.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3676.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3675.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3674.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3673.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3672.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3671.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3670.smt2 (content) ok ok 22.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_367.smt2 (content) ok ok 15.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3669.smt2 (content) ok ok 17.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3668.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3667.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3666.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3665.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3664.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3663.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3662.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3661.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3660.smt2 (content) ok ok 0.023s