Author: Martin Gebser
Date: 17-02-2016
Only Ground: No
Format: ASP
System: clingo (version 4)
Decision: Yes
Enumeration: No
Optimization: No (no such encoding devised yet)
Source: https://sourceforge.net/p/potassco/code/HEAD/tree/trunk/gringo-examples/incremental/sokoban/instances/handmade/

Descriptions:
The Sokoban benchmarks primarily aim at running clingo in <incmode>.
Two (incremental) encoding variants are available under Encodings/Incremental/.
The facts under Instances/Handmade/ constitute a classical level collection.
Minimum (or maximum) numbers of push actions yielding satisfiable (or
unsatisfiable) instances, known from previous experiments, are listed in
Instances/handmade.csv.

Runtime Range: Computing shortest plans is easy for about 40% of the handmade
               instances, another 40% are medium hard, and 20% remain very hard.

Misc: Instances are non-tight.
