detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_54.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_539.smt2 (content) ok ok 0.797s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_538.smt2 (content) ok ok 0.698s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_537.smt2 (content) ok ok 0.752s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_536.smt2 (content) ok ok 0.680s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_535.smt2 (content) ok ok 0.741s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_534.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_533.smt2 (content) ok ok 0.710s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_532.smt2 (content) ok ok 0.688s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_531.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_530.smt2 (content) ok ok 0.736s
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