detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl064.smt2 (content) ok ok 0.136s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl032.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl016.smt2 (content) ok ok 0.056s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitssrl008.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate256.smt2 (content) ok ok 0.317s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate128.smt2 (content) ok ok 0.173s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate064.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate032.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate016.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbitsrotate008.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits512.smt2 (content) ok ok 0.665s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits256.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/countbits128.smt2 (content) ok ok 0.180s