detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_811.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_810.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_81.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_809.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_808.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_807.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_806.smt2 (content) ok ok 0.245s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_805.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_804.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_803.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_802.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_801.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_800.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_80.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_8.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_799.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_798.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_797.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_796.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_795.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_794.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_793.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_792.smt2 (content) ok ok 0.211s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_791.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_790.smt2 (content) ok ok 0.019s