welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: Participants\IDP2

IDP 2

Team

Description

IDP2 consists of the grounder GidL and the search algorithm MinisatID.

System Settings

System versions:

All benchmarks were solved with IDP using its default parameter settings except the maximum approximation level was set to 6. IDP3 was used to handle pre- and postprocessing.

References