detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2016.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2015.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2014.smt2 (content) ok ok 20.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2013.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2012.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2011.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2010.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_201.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2009.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2008.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2007.smt2 (content) ok ok 5.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2006.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2005.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2004.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2003.smt2 (content) ok ok 15.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2002.smt2 (content) ok ok 24.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2001.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2000.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_200.smt2 (content) ok ok 19.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_20.smt2 (content) ok ok 12s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_2.smt2 (content) ok ok 25.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1999.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1998.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1997.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1996.smt2 (content) ok ok 5s