Call for Benchmark Problems

The first (and quite urgent) phase of the competition is the collection of benchmarks. This contest cannot be organized without some help of the research community. In the first place, we are looking for people that can contribute in creating a representative collection of benchmark problems and would be willing to provide support for these. In particular we solicit for the following:

• Benchmarks: Decision- or Optimization problems.
  
• A test program that can verify if a computed witness is a correct solution for the problem (and in case of an optimization problem, the program should be able to compute the "quality" of the answer).
  
• A set of instances of the problem, both for use during the dry-run and for the contest itself.
  
• Preferably a demonstration that the benchmark problem can be effectively solved.