Started with function for reading SAT-solver-statistics.
Evaluating the basic data.