detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_755.smt2 (content) ok ok 0.412s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_754.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_753.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_752.smt2 (content) ok ok 0.963s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_751.smt2 (content) ok ok 0.337s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_750.smt2 (content) ok ok 0.338s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_75.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_749.smt2 (content) ok ok 0.399s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_748.smt2 (content) ok ok 0.372s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_747.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_746.smt2 (content) ok ok 0.331s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_745.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_744.smt2 (content) ok ok 0.332s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_743.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_742.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_741.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_740.smt2 (content) ok ok 0.347s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_74.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_739.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_738.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_737.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_736.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_735.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_734.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_733.smt2 (content) ok ok 0.365s