The first three places of the competition, where score S1 is employed for Optimization problems, herewith follow:

  1. IDLV+S (UNICAL team)
  2. IDLV+-CLASP-DLV (UNICAL team)
  3. IDLV-CLASP-DLV (UNICAL team)

 

When score S2 is instead employed for Optimization problems, the first three places of the competition are as follow:

  1. IDLV+S (UNICAL team)
  2. IDLV+-CLASP-DLV (UNICAL team)
  3. ME-ASP (ME-ASP team)

 

Detailed results can be found in the slides of the LPNMR presentation.