Instance 10 steps

Name	10 steps
Classes	[Root] Puzzles (806) 15-Puzzle (11)
Submitter	Martin Gebser
Author
Description	10 steps
Created	2009-03-30 13:02
Modified	2008-11-29 00:06
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	% 15-puzzle - 10 moves required % % time/1: possible time steps % entry/1: pieces % pos/1: x/y-dimension of board % % in0(X,Y,Piece): initial configuration % maxtime(10). time(0). time(1). time(2). time(3). time(4). time(5). time(6). time(7). time(8). time(9). time(10). entry(0). entry(1). entry(2). entry(3). entry(4). entry(5). entry(6). entry(7). entry(8). entry(9). entry(10). entry(11). entry(12). entry(13). entry(14). entry(15). pos(1). pos(2). pos(3). pos(4). in0(1,1,1). in0(1,2,2). in0(1,3,0). in0(1,4,7). in0(2,1,4). in0(2,2,5). in0(2,3,3). in0(2,4,11). in0(3,1,8). in0(3,2,9). in0(3,3,6). in0(3,4,15). in0(4,1,12). in0(4,2,13). in0(4,3,10). in0(4,4,14).

Actions