1$ cat control_01.lua | clingo lua.lp blocks_01.lp world.lp lua_interpret.lp 0
2
3clingo version 4.1
4Reading from lua.lp ...
5Ground: base_1
6Ground: init(1,0)
7Ground: state(1,0)
8=============
9TIME 0
10Solving...
11Answer: 1
12order(-1,1,0,0)
13SATISFIABLE
14=============
15Ground: base_2
16Ground: init(2,0)
17Ground: state(2,0)
18=============
19TIME 0
20Solving...
21UNSATISFIABLE
22=============
23Ground: table(1)
24Ground: state(1,1)
25Ground: move(1,1)
26Ground: state(2,1)
27Ground: move(2,1)
28=============
29TIME 1
30Solving...
31UNSATISFIABLE
32=============
33Ground: table(2)
34Ground: state(1,2)
35Ground: move(1,2)
36Ground: state(2,2)
37Ground: move(2,2)
38=============
39TIME 2
40Solving...
41Answer: 1
42order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,0,1) object(2,1) target(0,1) order(-1,1,0,2) order(1,2,1,2) order(-1,2,0,2) object(1,2) target(2,2)
43SATISFIABLE
44=============
45Ground: base_3
46Ground: init(3,0)
47Ground: state(3,0)
48Ground: move(3,1)
49Ground: state(3,1)
50Ground: move(3,2)
51Ground: state(3,2)
52=============
53TIME 2
54Solving...
55UNSATISFIABLE
56=============
57Ground: table(3)
58Ground: state(1,3)
59Ground: move(1,3)
60Ground: state(2,3)
61Ground: move(2,3)
62Ground: state(3,3)
63Ground: move(3,3)
64=============
65TIME 3
66Solving...
67Answer: 1
68order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) target(0,1) order(-1,1,0,2) order(-1,2,0,2) object(2,2) order(-1,3,2,0) order(-1,3,0,1) order(1,3,2,2) order(-1,3,0,2) object(3,1) target(3,2) order(-1,1,0,3) order(1,2,1,3) order(-1,2,0,3) order(1,3,2,3) order(-1,3,0,3) object(1,3) target(2,3)
69SATISFIABLE
70=============
71Ground: base_4
72Ground: init(4,0)
73Ground: state(4,0)
74Ground: move(4,1)
75Ground: state(4,1)
76Ground: move(4,2)
77Ground: state(4,2)
78Ground: move(4,3)
79Ground: state(4,3)
80=============
81TIME 3
82Solving...
83UNSATISFIABLE
84=============
85Ground: table(4)
86Ground: state(1,4)
87Ground: move(1,4)
88Ground: state(2,4)
89Ground: move(2,4)
90Ground: state(3,4)
91Ground: move(3,4)
92Ground: state(4,4)
93Ground: move(4,4)
94=============
95TIME 4
96Solving...
97Answer: 1
98order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) target(0,1) order(-1,1,0,2) order(-1,2,1,2) order(-1,3,2,0) order(-1,3,0,1) order(-1,3,0,2) object(3,1) target(3,2) order(-1,1,0,3) order(-1,2,0,3) order(1,3,2,3) order(-1,3,0,3) object(2,3) order(1,4,3,0) order(-1,4,2,0) order(-1,4,2,1) order(-1,4,3,2) order(1,4,2,3) order(-1,4,3,3) object(4,2) target(4,3) order(-1,1,0,4) order(1,2,1,4) order(-1,2,0,4) order(1,3,2,4) order(-1,3,0,4) order(1,4,2,4) order(-1,4,3,4) object(1,4) target(2,4)
99SATISFIABLE
100=============
101Ground: base_5
102Ground: init(5,1)
103Ground: state(5,1)
104Ground: move(5,1)
105Ground: move(5,2)
106Ground: state(5,2)
107Ground: move(5,3)
108Ground: state(5,3)
109Ground: move(5,4)
110Ground: state(5,4)
111=============
112TIME 4
113Solving...
114UNSATISFIABLE
115=============
116Ground: table(5)
117Ground: state(1,5)
118Ground: move(1,5)
119Ground: state(2,5)
120Ground: move(2,5)
121Ground: state(3,5)
122Ground: move(3,5)
123Ground: state(4,5)
124Ground: move(4,5)
125Ground: state(5,5)
126Ground: move(5,5)
127=============
128TIME 5
129Solving...
130UNSATISFIABLE
131=============
132Ground: table(6)
133Ground: state(1,6)
134Ground: move(1,6)
135Ground: state(2,6)
136Ground: move(2,6)
137Ground: state(3,6)
138Ground: move(3,6)
139Ground: state(4,6)
140Ground: move(4,6)
141Ground: state(5,6)
142Ground: move(5,6)
143=============
144TIME 6
145Solving...
146UNSATISFIABLE
147=============
148Ground: table(7)
149Ground: state(1,7)
150Ground: move(1,7)
151Ground: state(2,7)
152Ground: move(2,7)
153Ground: state(3,7)
154Ground: move(3,7)
155Ground: state(4,7)
156Ground: move(4,7)
157Ground: state(5,7)
158Ground: move(5,7)
159=============
160TIME 7
161Solving...
162Answer: 1
163order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,3,4) object(4,4) target(3,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,0,5) order(1,3,2,5) order(-1,3,0,5) order(1,4,2,5) order(-1,4,3,5) order(-1,5,0,5) object(2,5) target(4,5) order(-1,1,0,6) order(1,2,1,6) order(-1,2,0,6) order(1,3,2,6) order(-1,3,0,6) order(1,4,2,6) order(-1,4,3,6) order(-1,5,0,6) object(1,6) target(2,6) order(-1,1,0,7) order(1,2,1,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,1,7) object(5,7) target(1,7)
164Answer: 2
165order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,3,4) object(4,4) target(3,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,0,5) order(1,3,2,5) order(-1,3,0,5) order(1,4,2,5) order(-1,4,3,5) order(-1,5,0,5) object(2,5) target(4,5) order(-1,1,0,6) order(-1,2,0,6) order(1,3,2,6) order(-1,3,0,6) order(1,4,2,6) order(-1,4,3,6) order(-1,5,2,6) object(5,6) target(2,6) order(-1,1,0,7) order(1,2,1,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(1,5,1,7) order(-1,5,2,7) object(1,7) target(5,7)
166SATISFIABLE
167=============
168Ground: base_6
169Ground: init(6,0)
170Ground: state(6,0)
171Ground: move(6,1)
172Ground: state(6,1)
173Ground: move(6,2)
174Ground: state(6,2)
175Ground: move(6,3)
176Ground: state(6,3)
177Ground: move(6,4)
178Ground: state(6,4)
179Ground: move(6,5)
180Ground: state(6,5)
181Ground: move(6,6)
182Ground: state(6,6)
183Ground: move(6,7)
184Ground: state(6,7)
185=============
186TIME 7
187Solving...
188UNSATISFIABLE
189=============
190Ground: table(8)
191Ground: state(1,8)
192Ground: move(1,8)
193Ground: state(2,8)
194Ground: move(2,8)
195Ground: state(3,8)
196Ground: move(3,8)
197Ground: state(4,8)
198Ground: move(4,8)
199Ground: state(5,8)
200Ground: move(5,8)
201Ground: state(6,8)
202Ground: move(6,8)
203=============
204TIME 8
205Solving...
206UNSATISFIABLE
207=============
208Ground: table(9)
209Ground: state(1,9)
210Ground: move(1,9)
211Ground: state(2,9)
212Ground: move(2,9)
213Ground: state(3,9)
214Ground: move(3,9)
215Ground: state(4,9)
216Ground: move(4,9)
217Ground: state(5,9)
218Ground: move(5,9)
219Ground: state(6,9)
220Ground: move(6,9)
221=============
222TIME 9
223Solving...
224Answer: 1
225order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,2,4) target(0,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,1,5) order(-1,3,0,5) order(-1,4,2,5) order(-1,5,0,5) object(3,5) order(-1,1,0,6) order(-1,2,1,6) order(-1,3,0,6) order(-1,4,3,6) order(-1,5,0,6) object(4,6) target(3,6) order(-1,1,0,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,0,7) object(2,7) target(4,7) order(1,6,3,0) order(-1,6,4,0) order(1,6,5,1) order(-1,6,4,1) order(1,6,5,2) order(-1,6,4,2) order(-1,6,4,3) order(-1,6,0,4) order(1,6,3,5) order(-1,6,0,5) order(1,6,3,6) order(-1,6,0,6) order(1,6,3,7) order(-1,6,0,7) object(6,4) target(6,5) order(-1,1,0,8) order(-1,2,0,8) order(1,3,2,8) order(-1,3,0,8) order(1,4,2,8) order(-1,4,3,8) order(-1,5,2,8) order(1,6,3,8) order(-1,6,0,8) object(5,8) target(2,8) order(-1,1,0,9) order(1,2,1,9) order(-1,2,0,9) order(1,3,2,9) order(-1,3,0,9) order(1,4,2,9) order(-1,4,3,9) order(1,5,1,9) order(-1,5,2,9) order(1,6,3,9) order(-1,6,0,9) object(1,9) target(5,9)
226Answer: 2
227order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,2,4) target(0,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,1,5) order(-1,3,0,5) order(-1,4,2,5) order(-1,5,0,5) object(3,5) order(-1,1,0,6) order(-1,2,1,6) order(-1,3,0,6) order(-1,4,3,6) order(-1,5,0,6) object(4,6) target(3,6) order(-1,1,0,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,0,7) object(2,7) target(4,7) order(1,6,3,0) order(-1,6,4,0) order(1,6,5,1) order(-1,6,4,1) order(1,6,5,2) order(-1,6,4,2) order(-1,6,4,3) order(-1,6,0,4) order(1,6,3,5) order(-1,6,0,5) order(1,6,3,6) order(-1,6,0,6) order(1,6,3,7) order(-1,6,0,7) object(6,4) target(6,5) order(-1,1,0,8) order(1,2,1,8) order(-1,2,0,8) order(1,3,2,8) order(-1,3,0,8) order(1,4,2,8) order(-1,4,3,8) order(-1,5,0,8) order(1,6,3,8) order(-1,6,0,8) object(1,8) target(2,8) order(-1,1,0,9) order(1,2,1,9) order(-1,2,0,9) order(1,3,2,9) order(-1,3,0,9) order(1,4,2,9) order(-1,4,3,9) order(-1,5,1,9) order(1,6,3,9) order(-1,6,0,9) object(5,9) target(1,9)
228SATISFIABLE
229=============
230SATISFIABLE
231
232Models       : 7
233Calls        : 15
234Time         : 0.068s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
235CPU Time     : 0.060s
236