ASP Evaluations can be run using the computing infrastructure made available by the Software Engineering Research program at the University of Trento or by any other site that is willing to share its experiments or its computing infrastructure.
To maximize its usefulness, the evaluation should be run on a non-competitive basis, i.e., there are no winners and losers. Therefore, we warmly encourage developers of ASP solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of ASP formulas to be used as benchmarks for the evaluation. People thinking about ASP-based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute to the evaluation by submitting ASP instances of their research problems.
