detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6404.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6403.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6402.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6401.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6400.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_640.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_64.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6399.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6398.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6397.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6396.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6395.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6394.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6393.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6392.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6391.smt2 (content) ok ok 18.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6390.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_639.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6389.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6388.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6387.smt2 (content) ok ok 0.076s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6386.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6385.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6384.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6383.smt2 (content) ok ok 0.112s