save protocols in BDD and protocols on time