detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_53.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_529.smt2 (content) ok ok 0.703s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_528.smt2 (content) ok ok 0.693s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_527.smt2 (content) ok ok 0.771s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_526.smt2 (content) ok ok 0.828s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_525.smt2 (content) ok ok 0.681s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_524.smt2 (content) ok ok 0.735s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_523.smt2 (content) ok ok 0.633s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_522.smt2 (content) ok ok 0.692s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_521.smt2 (content) ok ok 0.769s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_520.smt2 (content) ok ok 0.756s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_52.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_519.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_518.smt2 (content) ok ok 0.703s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_517.smt2 (content) ok ok 0.773s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_516.smt2 (content) ok ok 0.734s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_515.smt2 (content) ok ok 0.706s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_514.smt2 (content) ok ok 0.790s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_513.smt2 (content) ok ok 0.665s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_512.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_511.smt2 (content) ok ok 0.711s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_510.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_51.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_509.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_508.smt2 (content) ok ok 0.073s