detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1012.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1011.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1010.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_101.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1009.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1008.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1007.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1006.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1005.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1004.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1003.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1002.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1001.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1000.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_100.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_10.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_1.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_99.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_98.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_97.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_96.smt2 (content) ok ok 5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_95.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_94.smt2 (content) ok ok 6.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_93.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_92.smt2 (content) ok ok 7.8s