Možnost preverjanja logične ekvivalence formul (enaka vrednost pri
vsakem naboru vrednosti spremenljivk)
Podvojen kos kode premaknjen posebej.
Dodana formula brez SAT rešitve.