detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_552.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_551.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_550.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_55.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_549.smt2 (content) ok ok 0.730s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_548.smt2 (content) ok ok 0.663s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_547.smt2 (content) ok ok 0.677s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_546.smt2 (content) ok ok 0.676s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_545.smt2 (content) ok ok 0.754s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_544.smt2 (content) ok ok 0.716s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_543.smt2 (content) ok ok 0.709s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_542.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_541.smt2 (content) ok ok 0.715s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_540.smt2 (content) ok ok 0.694s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_54.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_539.smt2 (content) ok ok 0.797s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_538.smt2 (content) ok ok 0.698s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_537.smt2 (content) ok ok 0.752s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_536.smt2 (content) ok ok 0.680s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_535.smt2 (content) ok ok 0.741s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_534.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_533.smt2 (content) ok ok 0.710s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_532.smt2 (content) ok ok 0.688s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_531.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_530.smt2 (content) ok ok 0.736s