clingo version 4.4.0
Reading from rubik.lp
Solving...
Answer: 1
move(0,pitch,0,-1) move(1,roll,1,-1) move(2,yaw,0,-1) move(3,pitch,1,-1) move(4,yaw,1,-1) move(5,roll,1,-1) move(6,pitch,0,-1) move(7,yaw,0,-1) move(8,pitch,0,1) move(9,roll,1,-1) move(10,pitch,0,-1) is(0,0,red,white,green) is(0,1,white,green,orange) is(0,2,orange,white,blue) is(0,3,green,red,yellow) is(0,4,blue,orange,yellow) is(0,5,white,red,blue) is(0,6,blue,yellow,red) is(0,7,yellow,green,orange) solved(10)
Answer: 2
move(0,pitch,0,-1) move(1,roll,1,-1) move(2,yaw,0,-1) move(3,pitch,1,-1) move(4,yaw,1,-1) move(5,roll,1,-1) move(6,pitch,0,-1) move(7,yaw,0,-1) move(8,pitch,0,1) move(9,roll,1,-1) move(10,pitch,0,1) is(0,0,red,white,green) is(0,1,white,green,orange) is(0,2,orange,white,blue) is(0,3,green,red,yellow) is(0,4,blue,orange,yellow) is(0,5,white,red,blue) is(0,6,blue,yellow,red) is(0,7,yellow,green,orange) solved(10)
Answer: 3
move(0,pitch,0,-1) move(1,roll,1,-1) move(2,yaw,0,-1) move(3,pitch,1,-1) move(4,yaw,1,-1) move(5,roll,1,-1) move(6,pitch,0,-1) move(7,yaw,0,-1) move(8,pitch,0,1) move(9,roll,1,-1) move(10,roll,0,1) is(0,0,red,white,green) is(0,1,white,green,orange) is(0,2,orange,white,blue) is(0,3,green,red,yellow) is(0,4,blue,orange,yellow) is(0,5,white,red,blue) is(0,6,blue,yellow,red) is(0,7,yellow,green,orange) solved(10)
SATISFIABLE

Models       : 3+    
Calls        : 1
Time         : 765.674s (Solving: 765.45s 1st Model: 765.44s Unsat: 0.00s)
CPU Time     : 766.460s