detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_519.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_518.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_517.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_516.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_515.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_514.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_513.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_512.smt2 (content) ok ok 0.239s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_511.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_510.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_51.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_509.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_508.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_507.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_506.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_505.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_504.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_503.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_502.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_501.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_500.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_50.smt2 (content) ok ok 0.185s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_5.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_499.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_498.smt2 (content) ok ok 0.155s