This page is an archived version of the original 2017 competition webpage (date of archiving: 2017-10-23)
Call for Solvers
Call for Benchmarks
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