% bw-large.e % 19 block problem % needs 10 steps % typical command line % cat bw.lp bw-large.e | lparse -1 -d none -c steps=10 | smodels block(a). block(b). block(c). block(d). block(e). block(f). block(g). block(h). block(i). block(j). block(k). block(l). block(m). block(n). block(o). block(p). block(q). block(r). block(s). block(1). block(2). block(3). block(4). block(5). block(6). block(7). block(8). block(9). block(10). block(11). block(12). block(13). % initial situation on(m,table,0). on(l,m,0). on(a,l,0). on(b,a,0). on(c,b,0). on(o,table,0). on(n,o,0). on(d,n,0). on(e,d,0). % addition to bw-large.d on(s,e,0). on(j,s,0). on(k,j,0). on(f,table,0). on(g,f,0). % addition to bw-large.d on(r,g,0). on(h,r,0). on(i,h,0). on(p,c,0). on(q,i,0). on(1,p,0). on(2,k,0). on(3,q,0). on(4,1,0). on(5,2,0). on(6,3,0). on(7,4,0). on(8,5,0). on(9,6,0). on(10,7,0). on(11,8,0). on(12,9,0). on(13,10,0). % goal goal(T) :- time(T), on(r,e,T), on(e,j,T), on(a,r,T), on(n,p,T), on(i,d,T), on(h,i,T), on(m,q,T), on(o,m,T), on(k,g,T), on(s,k,T), on(c,s,T), on(b,c,T), on(l,b,T), on(p,a,T), on(q,h,T), on(1,n,T), on(2,l,T), on(3,o,T), on(4,1,T), on(5,2,T), on(6,3,T), on(7,4,T), on(8,5,T), on(9,6,T), on(10,7,T), on(11,8,T), on(12,9,T), on(13,10,T).