dump bdd workdone