detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6044.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6043.smt2 (content) ok ok 0.219s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6042.smt2 (content) ok ok 0.233s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6041.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6040.smt2 (content) ok ok 0.227s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_604.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6039.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6038.smt2 (content) ok ok 0.237s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6037.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6036.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6035.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6034.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6033.smt2 (content) ok ok 0.253s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6032.smt2 (content) ok ok 0.229s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6031.smt2 (content) ok ok 0.433s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6030.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_603.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6029.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6028.smt2 (content) ok ok 0.229s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6027.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6026.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6025.smt2 (content) ok ok 18.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6024.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6023.smt2 (content) ok ok 0.241s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6022.smt2 (content) ok ok 0.142s