detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5955.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5954.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5953.smt2 (content) ok ok 0.281s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5952.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5951.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5950.smt2 (content) ok ok 0.279s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_595.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5949.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5948.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5947.smt2 (content) ok ok 10.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5946.smt2 (content) ok ok 0.263s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5945.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5944.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5943.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5942.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5941.smt2 (content) ok ok 0.288s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5940.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_594.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5939.smt2 (content) ok ok 0.272s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5938.smt2 (content) ok ok 0.219s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5937.smt2 (content) ok ok 0.284s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5936.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5935.smt2 (content) ok ok 0.283s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5934.smt2 (content) ok ok 0.285s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5933.smt2 (content) ok ok 0.282s