detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_669.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_668.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_667.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_666.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_665.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_664.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_663.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_662.smt2 (content) ok ok 0.096s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_661.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_660.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_66.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_658.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_657.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_656.smt2 (content) ok ok 0.113s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_654.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_653.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_652.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_651.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_650.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_65.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_649.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_648.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_647.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_646.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_645.smt2 (content) ok ok 0.111s