Important Dates

Rules

Machine Specifications

Previous Evaluations

Results - Complete solvers

Results - Incomplete solvers

Presentation

Benchmarks

Solvers

Submitted benchmarks

Organizers