detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1993.smt2 (content) ok ok 0.166s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1992.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1991.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1990.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_199.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1989.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1988.smt2 (content) ok ok 0.237s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1987.smt2 (content) ok ok 0.289s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1986.smt2 (content) ok ok 0.201s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1985.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1984.smt2 (content) ok ok 0.180s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1983.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1982.smt2 (content) ok ok 0.223s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1981.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1980.smt2 (content) ok ok 0.242s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_198.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1979.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1978.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1977.smt2 (content) ok ok 0.185s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1976.smt2 (content) ok ok 0.281s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1975.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1974.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1973.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1972.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1971.smt2 (content) ok ok 0.180s