Call for Solvers

Download

Call for Benchmarks

Download

Important Dates

• Jan 15, 2017: Declaration of intent by participants
• Feb 1, 2017: Benchmark submission
• Mar 15, 2017: Solver submission
• Apr 15, 2017: System descriptions
• Aug, 2017: Presentation of results