detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5347.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5346.smt2 (content) ok ok 0.887s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5345.smt2 (content) ok ok 0.911s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5344.smt2 (content) ok ok 0.650s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5343.smt2 (content) ok ok 0.897s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5342.smt2 (content) ok ok 0.887s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5341.smt2 (content) ok ok 0.909s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5340.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_534.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5339.smt2 (content) ok ok 0.911s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5338.smt2 (content) ok ok 0.881s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5337.smt2 (content) ok ok 0.912s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5336.smt2 (content) ok ok 17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5335.smt2 (content) ok ok 16s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5334.smt2 (content) ok ok 0.638s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5333.smt2 (content) ok ok 0.829s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5332.smt2 (content) ok ok 0.527s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5331.smt2 (content) ok ok 0.890s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5330.smt2 (content) ok ok 0.901s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_533.smt2 (content) ok ok 14.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5329.smt2 (content) ok ok 0.924s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5328.smt2 (content) ok ok 0.920s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5327.smt2 (content) ok ok 0.535s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5326.smt2 (content) ok ok 0.925s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5325.smt2 (content) ok ok 0.922s