detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3153.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3152.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3151.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3150.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_315.smt2 (content) ok ok 0.107s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3149.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3148.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3147.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3146.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3145.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3144.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3143.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3142.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3141.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3140.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_314.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3139.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3138.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3137.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3136.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3135.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3134.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3133.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3132.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3131.smt2 (content) ok ok 0.045s