Author: Martin Gebser
Date: 17-02-2016
Only Ground: No
Format: ASP
System: clingo (version 4)
Decision: Yes
Enumeration: Yes
Optimization: No
Source: 2009 ASP competition

Descriptions:
The encoding under Encodings/Incremental/ aims at running clingo in <incmode>.
The facts under Instances/ constitute a collection made available in the context
of the 2009 ASP competition.

Runtime Range: The instances are quite easy and yield few solutions, so that
               enumeration seems feasible.

Misc: In <incmode>, instances are run up to a fixed number of calls, set via the
      constants "imin" and "imax" in instances.
