detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_935.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_934.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_933.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_932.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_931.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_930.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_93.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_929.smt2 (content) ok ok 0.272s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_928.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_927.smt2 (content) ok ok 0.306s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_926.smt2 (content) ok ok 0.260s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_925.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_924.smt2 (content) ok ok 0.242s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_923.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_922.smt2 (content) ok ok 0.244s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_921.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_920.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_92.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_919.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_918.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_917.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_916.smt2 (content) ok ok 0.287s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_915.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_914.smt2 (content) ok ok 0.284s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_913.smt2 (content) ok ok 0.310s