detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_491.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_490.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_49.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_489.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_488.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_487.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_486.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_485.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_484.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_483.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_482.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_481.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_480.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_48.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_479.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_478.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_477.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_476.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_475.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_474.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_473.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_472.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_471.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_470.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_47.smt2 (content) ok ok 0.091s