detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown128.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown064.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown032.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown016.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbsdown008.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs256.smt2 (content) ok ok 0.361s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs128.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs064.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs032.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs016.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbs008.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe256.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe128.smt2 (content) ok ok 0.315s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe064.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe032.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe016.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nlzbe008.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo512.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo256.smt2 (content) ok ok 0.500s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo128.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo064.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo032.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/nextpoweroftwo016.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl256.smt2 (content) ok ok 0.467s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl128.smt2 (content) ok ok 0.252s