This is QMaxSAT0.2c-pck1 based on minisat 2.2.0.
using parallel counter for encoding cardinaltiy constraints
with same heuristics as minisat 2.0.