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:
Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu,
Torsten Schaub and Marius Schneider. Ricochet Robots: A transverse ASP benchmark.
In P. Cabalar and T. Son. Proceedings of the Twelfth International Conference on
Logic Programming and Nonmonotonic Reasoning (LPNMR'13), LNAI 8148, pp. 348-360,
Springer, 2013

Descriptions:
The Ricochet robot benchmarks primarily aim at running clingo in <incmode>.
The "naive" (incremental) encoding variant described in the paper quoted as
source in available under Encodings/Incremental/.
The instance file Instances/board16_targets.lp can be configured via constants
"c" (for color: red, blue, green, yellow) and "g" (for goal location: 1..252) to
produce all feasible targets on a 16x16 board. E.g., a call can look like this:

$ clingo -c c=green -c g=19 Instances/board16_targets.lp Encodings/Incremental/ricochet.lp

Runtime Range: Very Easy to Very Hard.

Misc: Instances along with a generator under generated-grounded/ are left-overs.
