Time experiments with a full cycle on sudoku rules

* retransform-tseitin need to much time (2/3 of the time)
* generate-tseitin and generate-dimacs-clauses can be work quicker