detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3614.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3613.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3612.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3611.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3610.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_361.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3609.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3608.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3607.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3606.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3605.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3604.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3603.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3602.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3601.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3600.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_360.smt2 (content) ok ok 16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_36.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3599.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3598.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3597.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3596.smt2 (content) ok ok 3.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3595.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3594.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3593.smt2 (content) ok ok 2.9s