detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3147.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3146.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3145.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3144.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3143.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3142.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3141.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3140.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_314.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3139.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3138.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3137.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3136.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3135.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3134.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3133.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3132.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3131.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3130.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_313.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3129.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3128.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3127.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3126.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app9/bench_3125.smt2 (content) ok ok 0.113s