From 2fd9cc46ff2428bb2fa891f47002e9d3e7585583 Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Sat, 13 Aug 2022 11:33:30 +0100
Subject: init: import project

---
 examples/sol3.txt | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 examples/sol3.txt

(limited to 'examples/sol3.txt')

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