CMODELS

Association:

TAG at the University of Texas at Austin

Description:

Uses the grounder Gringo v. 2.0.3 and the SAT-based answer set solver CMODELS v. 3.79 (with SAT solver Minisat v. 2.0 beta).

Participants:

• Yuliya Lierler

• Vladimir Lifschitz

• Fangkai Yang

System settings:

All benchmarks except one were solved using the grounder Gringo v. 2.0.3 with the default parameter setting and the SAT-based answer set solver CMODELS v. 3.79 with the flag -ms that enforces the use of SAT solver Minisat v. 2.0 beta for search. Only for Grammar-Based Information Extraction we used the grounder Bingo. This did not help since no competition instances of this benchmark could be solved.