Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
Random Group M2
Add all to Cart
Pagination
6
7
8
9
10
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class Random Group M2
Class Tree
[Root]
Grids (772)
Labyrinths (400)
Random Group M2
(260)
Description
A suite of more difficult randomly generated Labyrinth instances. (generated by Martin Gebser)
Submitter
Martin Gebser
Compatible Encodings
labyrinth_path_decision.gringo
labyrinth_path_optimization.gringo
Output Predicates
connect/3
field/2
goal_on/2
init_on/2
max_steps/1
Instances
141 - 160 of 260
 
laby_17_17_01.lp
 
laby_17_17_02.lp
 
laby_17_17_03.lp
 
laby_17_17_04.lp
 
laby_17_17_05.lp
 
laby_17_17_06.lp
 
laby_17_17_07.lp
 
laby_17_17_08.lp
 
laby_17_17_09.lp
 
laby_17_17_10.lp
 
laby_17_17_11.lp
 
laby_17_17_12.lp
 
laby_17_17_13.lp
 
laby_17_17_14.lp
 
laby_17_17_15.lp
 
laby_17_17_16.lp
 
laby_17_17_17.lp
 
laby_17_17_18.lp
 
laby_17_17_19.lp
 
laby_17_17_20.lp
un-/mark all