Instance dimitri_yorick.52.steps.10.lp

Name dimitri_yorick.52.steps.10.lp [Root]    Grids (772)    Sokoban (175) Martin Gebser Wolfgang Faber 2009-04-09 20:18 2009-04-09 20:18 box/1next/2right/2sokoban/1solution/1step/1top/2 ASP Contest 09 (Martin Gebser) box(col2row2). box(col2row4). box(col3row4). box(col5row2). box(col5row4). box(col6row4). next(1,2). next(2,3). next(3,4). next(4,5). next(5,6). next(6,7). next(7,8). next(8,9). next(9,10). right(col1row1,col2row1). right(col1row2,col2row2). right(col1row3,col2row3). right(col1row4,col2row4). right(col1row5,col2row5). right(col1row6,col2row6). right(col2row1,col3row1). right(col2row4,col3row4). right(col2row5,col3row5). right(col2row6,col3row6). right(col3row1,col4row1). right(col3row4,col4row4). right(col3row5,col4row5). right(col4row1,col5row1). right(col4row4,col5row4). right(col4row5,col5row5). right(col5row1,col6row1). right(col5row2,col6row2). right(col5row3,col6row3). right(col5row4,col6row4). right(col5row5,col6row5). right(col5row6,col6row6). sokoban(col4row4). solution(col1row1). solution(col2row1). solution(col3row1). solution(col4row1). solution(col5row1). solution(col6row1). step(1). step(10). step(2). step(3). step(4). step(5). step(6). step(7). step(8). step(9). top(col1row2,col1row1). top(col1row3,col1row2). top(col1row4,col1row3). top(col1row5,col1row4). top(col1row6,col1row5). top(col2row2,col2row1). top(col2row3,col2row2). top(col2row4,col2row3). top(col2row5,col2row4). top(col2row6,col2row5). top(col3row5,col3row4). top(col3row6,col3row5). top(col4row5,col4row4). top(col5row2,col5row1). top(col5row3,col5row2). top(col5row4,col5row3). top(col5row5,col5row4). top(col5row6,col5row5). top(col6row2,col6row1). top(col6row3,col6row2). top(col6row4,col6row3). top(col6row5,col6row4). top(col6row6,col6row5).