detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3836.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3835.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3834.smt2 (content) ok ok 0.014s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3833.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3832.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3831.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3830.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_383.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3829.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3828.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3827.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3826.smt2 (content) ok ok 0.010s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3825.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3824.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3823.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3822.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3821.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3820.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_382.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3819.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3818.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3817.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3816.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3815.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3814.smt2 (content) ok ok 0.059s