detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2004.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2003.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2002.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2001.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2000.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_200.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_20.smt2 (content) ok ok 0.177s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_2.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1999.smt2 (content) ok ok 0.166s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1998.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1997.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1996.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1995.smt2 (content) ok ok 0.321s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_1994.smt2 (content) ok ok 0.222s
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