detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6292.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6291.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6290.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_629.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6289.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6288.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6287.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6286.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6285.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6284.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6283.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6282.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6281.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6280.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_628.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6279.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6278.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6277.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6276.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6275.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6274.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6273.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6272.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6271.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6270.smt2 (content) ok ok 0.145s