Introduction
Important Dates
Rules
Machine Specifications
Results
Submitted Benchmarks
Submitted Solvers
Previous Evaluations
Organizers
|
Important Dates
| Submission of benchmarks | March 9th, 2008 |
| First submission of solvers | March 9th, 2008 |
| Testing and bug fixing | March 9th-16th, 2008 |
| Submission of definitive solvers | March 16th, 2008 |
| Experimentation | April-May, 2008 |
| Results of the evaluation | May 12th, 2008 |
|