detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6134.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6133.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6132.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6131.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6130.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_613.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6129.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6128.smt2 (content) ok ok 0.186s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6127.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6126.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6125.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6124.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6123.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6122.smt2 (content) ok ok 0.181s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6121.smt2 (content) ok ok 0.191s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6120.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_612.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6119.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6118.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6117.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6116.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6115.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6114.smt2 (content) ok ok 18.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6113.smt2 (content) ok ok 19s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6112.smt2 (content) ok ok 0.188s