From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 20 Oct 2015 14:19:10 +0000 (+0200)
Subject: model for ar e2
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7be046e507459d8d1fd9afb26ce0deb19409ca79;p=master.git

model for ar e2
---

diff --git a/ar/assignments/src/2.model b/ar/assignments/src/2.model
new file mode 100644
index 0000000..b334a86
--- /dev/null
+++ b/ar/assignments/src/2.model
@@ -0,0 +1,47 @@
+sat
+
+(= c06y 16)
+(= c10h 5)
+(= c01h 3)
+(= c11w 7)
+(= c11h 9)
+(= c02y 2)
+(= c02x 9)
+(= c05w 11)
+(= c04x 21)
+(= c06x 11)
+(= c09x 1)
+(= c06w 9)
+(= c09h 9)
+(= c03y 21)
+(= c03h 1)
+(= c05y 6)
+(= c08x 8)
+(= c07x 11)
+(= c07y 1)
+(= c10y 6)
+(= c09y 11)
+(= c09w 5)
+(= c01x 28)
+(= c04y 16)
+(= c05h 5)
+(= c06h 6)
+(= c04w 8)
+(= c10x 21)
+(= c02h 3)
+(= c08y 12)
+(= c08w 19)
+(= c11y 1)
+(= c01w 1)
+(= c07w 17)
+(= c07h 4)
+(= c10w 7)
+(= c04h 6)
+(= c08h 3)
+(= c05x 9)
+(= c01y 12)
+(= c11x 1)
+(= c02w 1)
+(= c03x 7)
+(= c03w 3)
+