Statistics

• Run logs that compare HaifaCSP with and without Combine, against (old) Mistral using the benchmarks of the 2009 CSP competition.
• Run summary that compares HaifaCSP with and without combine, against Opturion-CPX-1.0.2 and against iZplus.