detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5323.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5322.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5321.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5320.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_532.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5319.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5318.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5317.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5316.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5315.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5314.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5313.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5312.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5311.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5310.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_531.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5309.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5308.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5307.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5306.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5305.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5304.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5303.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5302.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5301.smt2 (content) ok ok 0.039s