The first three places of the competition, where score S1 is employed for Optimization problems, herewith follow:
- IDLV+S (UNICAL team)
- IDLV+-CLASP-DLV (UNICAL team)
- IDLV-CLASP-DLV (UNICAL team)
When score S2 is instead employed for Optimization problems, the first three places of the competition are as follow:
- IDLV+S (UNICAL team)
- IDLV+-CLASP-DLV (UNICAL team)
- ME-ASP (ME-ASP team)
Detailed results can be found in the slides of the LPNMR presentation.