detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_416.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_415.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_414.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_413.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_412.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_411.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_410.smt2 (content) ok ok 0.296s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_41.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_409.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_408.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_407.smt2 (content) ok ok 0.194s