detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_642.smt2 (content) ok ok 0.044s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_641.smt2 (content) ok ok 0.750s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_640.smt2 (content) ok ok 0.417s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_64.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_639.smt2 (content) ok ok 0.448s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_638.smt2 (content) ok ok 0.471s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_637.smt2 (content) ok ok 0.432s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_636.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_635.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_634.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_633.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_632.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_631.smt2 (content) ok ok 0.460s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_630.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_63.smt2 (content) ok ok 0.013s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_629.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_628.smt2 (content) ok ok 0.470s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_627.smt2 (content) ok ok 0.377s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_626.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_625.smt2 (content) ok ok 0.421s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_624.smt2 (content) ok ok 0.440s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_623.smt2 (content) ok ok 0.429s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_622.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_621.smt2 (content) ok ok 0.498s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_620.smt2 (content) ok ok 0.417s