detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4333.smt2 (content) ok ok 0.079s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4332.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4331.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4330.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_433.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4329.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4328.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4327.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4326.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4325.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4324.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4323.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4322.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4321.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4320.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_432.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4319.smt2 (content) ok ok 0.009s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4318.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4317.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4316.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4315.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4314.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4313.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4312.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_4311.smt2 (content) ok ok 0.022s