detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_912.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_911.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_910.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_91.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_909.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_908.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_907.smt2 (content) ok ok 0.455s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_906.smt2 (content) ok ok 0.262s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_905.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_904.smt2 (content) ok ok 0.242s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_903.smt2 (content) ok ok 0.226s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_902.smt2 (content) ok ok 0.278s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_901.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_900.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_90.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_9.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_899.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_898.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_897.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_896.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_895.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_894.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_893.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_892.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_891.smt2 (content) ok ok 0.266s