added clearParams() for Minisat
changed counting preprocessed problems