1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
clingo version 4.4.0
Reading from rubik.lp
Solving...
Answer: 1
move(0,yaw,0,-1) move(1,yaw,0,-1) move(2,pitch,0,1) move(3,roll,1,-1) move(4,yaw,0,-1) move(5,yaw,0,-1) move(6,pitch,1,-1) move(7,yaw,1,1) move(8,roll,1,-1) is(0,0,orange,yellow,green) is(0,1,white,green,orange) is(0,2,orange,white,blue) is(0,3,red,blue,yellow) is(0,4,white,blue,red) is(0,5,blue,yellow,orange) is(0,6,green,white,red) is(0,7,yellow,red,green) solved(8)
Optimization: 8
OPTIMUM FOUND
Models : 1
Optimum : yes
Optimization : 8
Calls : 1
Time : 9935.368s (Solving: 9935.09s 1st Model: 9935.09s Unsat: 0.00s)
CPU Time : 9949.430s
|
