detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_349.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_348.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_347.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_346.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_345.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_344.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_343.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_342.smt2 (content) ok ok 0.181s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_341.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_340.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_34.smt2 (content) ok ok 0.172s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_339.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_338.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_337.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_336.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_335.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_334.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_333.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_332.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_331.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_330.smt2 (content) ok ok 0.173s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_33.smt2 (content) ok ok 0.166s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_329.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_328.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_327.smt2 (content) ok ok 0.152s