detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_259.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2581.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2570.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_257.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_256.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2559.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2558.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2557.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2556.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_255.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2547.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_254.smt2 (content) ok ok 0.122s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2536.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_253.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2525.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_252.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2514.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_251.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2503.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_250.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_25.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2496.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2492.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_249.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_2481.smt2 (content) ok ok 0.022s