detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3384.smt2 (content) ok ok 0.213s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3383.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3382.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3381.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3380.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_338.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3379.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3378.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3377.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3376.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3375.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3374.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3373.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3372.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3371.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3370.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_337.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3369.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3368.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3367.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3366.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3365.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3364.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3363.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3362.smt2 (content) ok ok 0.076s