Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance laby_10_10_17.lp

Name	laby_10_10_17.lp
Classes	[Root]    Grids (772)    Labyrinths (400)    Random Group M2 (260)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description
Created	2009-03-09 16:06
Modified	2009-03-09 16:06
Languages	Facts
Language Features
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
Tags:	ASP Contest 09 (Martin Gebser)
Attributes
Content	field(1,1). field(1,2). field(1,3). field(1,4). field(1,5). field(1,6). field(1,7). field(1,8). field(1,9). field(1,10). field(2,1). field(2,2). field(2,3). field(2,4). field(2,5). field(2,6). field(2,7). field(2,8). field(2,9). field(2,10). field(3,1). field(3,2). field(3,3). field(3,4). field(3,5). field(3,6). field(3,7). field(3,8). field(3,9). field(3,10). field(4,1). field(4,2). field(4,3). field(4,4). field(4,5). field(4,6). field(4,7). field(4,8). field(4,9). field(4,10). field(5,1). field(5,2). field(5,3). field(5,4). field(5,5). field(5,6). field(5,7). field(5,8). field(5,9). field(5,10). field(6,1). field(6,2). field(6,3). field(6,4). field(6,5). field(6,6). field(6,7). field(6,8). field(6,9). field(6,10). field(7,1). field(7,2). field(7,3). field(7,4). field(7,5). field(7,6). field(7,7). field(7,8). field(7,9). field(7,10). field(8,1). field(8,2). field(8,3). field(8,4). field(8,5). field(8,6). field(8,7). field(8,8). field(8,9). field(8,10). field(9,1). field(9,2). field(9,3). field(9,4). field(9,5). field(9,6). field(9,7). field(9,8). field(9,9). field(9,10). field(10,1). field(10,2). field(10,3). field(10,4). field(10,5). field(10,6). field(10,7). field(10,8). field(10,9). field(10,10). init_on(2,5). goal_on(9,2). connect(1,3,n). connect(1,4,n). connect(1,7,n). connect(1,9,n). connect(1,10,n). connect(2,1,n). connect(2,2,n). connect(2,4,n). connect(2,5,n). connect(2,6,n). connect(2,8,n). connect(3,1,n). connect(3,3,n). connect(3,8,n). connect(4,1,n). connect(4,3,n). connect(4,4,n). connect(4,7,n). connect(4,8,n). connect(4,10,n). connect(5,1,n). connect(5,2,n). connect(5,5,n). connect(5,9,n). connect(6,1,n). connect(6,4,n). connect(6,5,n). connect(6,6,n). connect(6,8,n). connect(7,3,n). connect(7,4,n). connect(7,6,n). connect(7,10,n). connect(8,4,n). connect(8,7,n). connect(8,8,n). connect(9,1,n). connect(9,3,n). connect(9,4,n). connect(9,6,n). connect(10,4,n). connect(1,1,w). connect(1,2,w). connect(1,4,w). connect(1,5,w). connect(1,7,w). connect(1,8,w). connect(1,10,w). connect(2,2,w). connect(2,5,w). connect(2,8,w). connect(3,1,w). connect(3,4,w). connect(3,5,w). connect(3,8,w). connect(3,10,w). connect(4,3,w). connect(4,4,w). connect(4,6,w). connect(4,10,w). connect(5,5,w). connect(5,8,w). connect(5,9,w). connect(6,3,w). connect(6,5,w). connect(6,6,w). connect(6,8,w). connect(6,10,w). connect(7,1,w). connect(7,2,w). connect(7,5,w). connect(7,6,w). connect(8,1,w). connect(8,4,w). connect(8,7,w). connect(8,8,w). connect(9,3,w). connect(9,5,w). connect(9,6,w). connect(9,7,w). connect(9,9,w). connect(9,10,w). connect(10,1,w). connect(10,2,w). connect(10,3,w). connect(10,4,w). connect(10,10,w). connect(1,2,e). connect(1,4,e). connect(1,6,e). connect(1,9,e). connect(1,10,e). connect(2,4,e). connect(2,5,e). connect(2,7,e). connect(2,10,e). connect(3,1,e). connect(3,4,e). connect(3,5,e). connect(3,6,e). connect(3,7,e). connect(3,8,e). connect(3,9,e). connect(4,2,e). connect(4,3,e). connect(4,5,e). connect(4,6,e). connect(4,9,e). connect(4,10,e). connect(5,2,e). connect(5,3,e). connect(5,5,e). connect(5,8,e). connect(5,10,e). connect(6,2,e). connect(6,7,e). connect(6,8,e). connect(6,9,e). connect(7,8,e). connect(7,9,e). connect(7,10,e). connect(8,4,e). connect(8,5,e). connect(9,2,e). connect(9,3,e). connect(9,6,e). connect(9,7,e). connect(10,1,e). connect(10,3,e). connect(10,4,e). connect(10,5,e). connect(1,3,s). connect(1,4,s). connect(1,5,s). connect(1,7,s). connect(1,8,s). connect(2,2,s). connect(2,3,s). connect(2,4,s). connect(2,5,s). connect(2,6,s). connect(2,9,s). connect(3,1,s). connect(3,2,s). connect(3,4,s). connect(3,5,s). connect(3,6,s). connect(4,2,s). connect(4,4,s). connect(4,10,s). connect(5,2,s). connect(5,4,s). connect(5,5,s). connect(5,6,s). connect(5,7,s). connect(5,9,s). connect(6,1,s). connect(6,3,s). connect(6,6,s). connect(6,9,s). connect(7,6,s). connect(7,7,s). connect(7,10,s). connect(8,1,s). connect(8,2,s). connect(8,3,s). connect(8,6,s). connect(8,7,s). connect(8,9,s). connect(8,10,s). connect(9,7,s). connect(9,8,s). connect(10,1,s). connect(10,2,s). connect(10,6,s). connect(10,7,s). connect(10,8,s). connect(10,9,s). max_steps(10).