1
2
3
4
5
6
7
8
9
10
11
|
clingo version 4.4.0
Reading from rubik.lp
Solving...
Answer: 1
move(0,pitch,0,-1) move(1,roll,1,-1) move(2,roll,1,-1) move(3,pitch,0,-1) move(4,roll,1,-1) move(5,yaw,0,1) move(6,pitch,1,-1) move(7,pitch,1,-1) move(8,roll,1,-1) move(9,yaw,1,-1) move(10,pitch,0,1) move(11,yaw,1,-1) move(12,roll,0,1) is(0,0,yellow,green,orange) is(0,1,blue,white,orange) is(0,2,yellow,orange,blue) is(0,3,blue,yellow,red) is(0,4,green,orange,white) is(0,5,red,blue,white) is(0,6,green,red,yellow) is(0,7,red,white,green) solved(12)
SATISFIABLE
Models : 1+
Calls : 1
Time : 566.654s (Solving: 566.65s 1st Model: 566.64s Unsat: 0.00s)
CPU Time : 572.460s
|
