detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_439.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_438.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_437.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_436.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_435.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_434.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_433.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_432.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_431.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_430.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_43.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_429.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_428.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_427.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_426.smt2 (content) ok ok 0.187s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_425.smt2 (content) ok ok 0.444s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_424.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_423.smt2 (content) ok ok 0.229s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_422.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_421.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_420.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_42.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_419.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_418.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_417.smt2 (content) ok ok 0.161s