detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_294.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_293.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_292.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_291.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_290.smt2 (content) ok ok 0.303s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_29.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_289.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_288.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_287.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_286.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_285.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_284.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_283.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_282.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_281.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_280.smt2 (content) ok ok 0.202s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_28.smt2 (content) ok ok 0.201s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_279.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_278.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_277.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_276.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_275.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_274.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_273.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_272.smt2 (content) ok ok 0.123s