From 2fd9cc46ff2428bb2fa891f47002e9d3e7585583 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sat, 13 Aug 2022 11:33:30 +0100 Subject: init: import project --- examples/sol1.txt | 15 +++++++++++++++ examples/sol2.txt | 11 +++++++++++ examples/sol3.txt | 14 ++++++++++++++ 3 files changed, 40 insertions(+) create mode 100755 examples/sol1.txt create mode 100755 examples/sol2.txt create mode 100755 examples/sol3.txt (limited to 'examples') diff --git a/examples/sol1.txt b/examples/sol1.txt new file mode 100755 index 0000000..2f58ef1 --- /dev/null +++ b/examples/sol1.txt @@ -0,0 +1,15 @@ +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 diff --git a/examples/sol2.txt b/examples/sol2.txt new file mode 100755 index 0000000..92374be --- /dev/null +++ b/examples/sol2.txt @@ -0,0 +1,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 diff --git a/examples/sol3.txt b/examples/sol3.txt new file mode 100755 index 0000000..cd3ec66 --- /dev/null +++ b/examples/sol3.txt @@ -0,0 +1,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 -- cgit v1.2.3