|» ASP Solver Competition|
Submission and ParticipationWe strongly encourage to contribute to the competition in two ways:
Although benchmarks can be submitted anytime to the Asparagus team, only those submitted before the deadline can be taken into account for the competition. The inclusion of benchmarks into Asparagus is subject to the approval by the Competition or the Asparagus steering committee, respectively. It is advisable to first contact the Asparagus team by email (email@example.com) in order to agree upon the upload of the benchmarks. For all problem classes (MGS, SCore, and SLparse), we appreciate submissions of non-ground problem encodings and ground problem instances in separate files. However, we can also accept ground programs (SCore and SLparse), possibly in lparse format (SLparse). To add a problem to the MGS class, you will have to provide
Solvers, already present in Asparagus, can be registered for the competition here: Registration. Once you have an Asparagus account, different versions of your solver(s) may run on Asparagus (via different call scripts); up to three of them can be registered for each competition class. Please make sure that your call scripts accept input and produce output according to the Competition Format. (Even existent Asparagus users might have to add call scripts in order to meet the competition requirements!) For problems in the MGS class, you might also like to add encodings to Asparagus; one of the available encodings can be registered per MGS problem.
|Last Updated ( Tuesday, 16 January 2007 )|