detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5761.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5760.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_576.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5759.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5758.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5757.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5756.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5755.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5754.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5753.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5752.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5751.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5750.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_575.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5749.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5748.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5747.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5746.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5745.smt2 (content) ok ok 0.083s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5744.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5743.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5742.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5741.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_5740.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_574.smt2 (content) ok ok 0.036s