Participants
The competition featured 13 systems coming from three teams:
- Aalto Team from the Aalto University (9 solvers): LP2SAT+LINGELING, LP2SAT+PLINGELING-MT, LP2ACYCASP+CLASP, LP2ACYCPB+CLASP, LP2ACYCSAT+CLASP , LP2ACYCSAT+GLUCOSE, LP2MIP, LP2MIP-MT, LP2NORMAL+CLASP.
- ME-ASP Team for the University of Genoa, University of Sassari and University of Calabria (1 solver): ME-ASP.
- Wasp Team from the University of Calabria (3 solvers): WASP, WASP+DLV, JWASP.
Some details about the systems can be found in Section 5 of the LPNMR report.