Statistics for IMPLEMENTATION AND PARALLELIZATION OF A SAT SOLVER ALGORITHM