detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.25489.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.24990.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.24491.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.23992.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.23493.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.22994.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.22495.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.21996.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.21497.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.20998.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.20499.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pspace/ndist.a.20000.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/pipe/pipe-noabs.atlas.qf_bv.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/99.smt2 (content) ok ok 0.442s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/98.smt2 (content) ok ok 0.524s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/97.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/96.smt2 (content) ok ok 0.606s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/95.smt2 (content) ok ok 0.469s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/94.smt2 (content) ok ok 0.395s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/93.smt2 (content) ok ok 0.448s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/92.smt2 (content) ok ok 0.344s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/91.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/90.smt2 (content) ok ok 0.679s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/89.smt2 (content) ok ok 0.518s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/88.smt2 (content) ok ok 0.641s