Dodani verziji dpll z eno oz. brez ciste pojavitve, ter primerjava casov.