detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_394.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_393.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_392.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_391.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_390.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_39.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_389.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_388.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_387.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_386.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_385.smt2 (content) ok ok 0.141s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_384.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_383.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_382.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_381.smt2 (content) ok ok 0.289s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_380.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_38.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_379.smt2 (content) ok ok 0.173s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_378.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_377.smt2 (content) ok ok 0.292s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_376.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_375.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_374.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_373.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_372.smt2 (content) ok ok 0.175s