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