Benchmarks used for the SAT 2005 Competition with raw results

<p>Set of benchmarjs used for the SAT 2005 competitions.</p> <p>Some benchmarks are not included because they were only distributed via their author&#39;s web site (IBM and Miroslav Velev problems).</p> <p>This set is the set that was distributed after the contest.</p> <p>Note that the benchmarks are distributed as shuffled problems.</p> <p>The competition was organised by the LRI (Orsay, France) and the CRIL (Lens, France) with the help of the university of Cincinnati and Intel. Organizers were Daniel Leberre, Olivier Roussel and Laurent Simon</p>