started with the report

[master.git] / ar / assignments / src / 4.model

diff --git a/ar/assignments/src/4.model b/ar/assignments/src/4.model
new file mode 100644 (file)
index 0000000..ffccc8a
--- /dev/null
+++ b/ar/assignments/src/4.model
@@ -0,0 +1,71 @@
+sat
+
+(= i3a3 3)
+(= i6a3 3)
+(= i8a5 47)
+(= i0a3 3)
+(= i6a6 30)
+(= c6 6)
+(= i0a5 5)
+(= i8a3 3)
+(= i0a4 4)
+(= i2a6 6)
+(= i8a4 50)
+(= i1a6 6)
+(= i10a6 54)
+(= i7a2 4)
+(= i3a2 4)
+(= i10a5 47)
+(= i5a2 4)
+(= i3a4 8)
+(= i8a2 4)
+(= i7a5 47)
+(= i5a5 23)
+(= c8 4)
+(= i1a3 3)
+(= i1a5 5)
+(= i10a2 4)
+(= i2a5 5)
+(= i4a4 17)
+(= i3a6 6)
+(= c3 5)
+(= c5 5)
+(= i5a3 3)
+(= i9a4 50)
+(= i5a4 17)
+(= i9a6 30)
+(= i9a2 4)
+(= a1 1)
+(= c1 2)
+(= c7 5)
+(= c2 4)
+(= i9a3 54)
+(= i10a3 54)
+(= i3a5 14)
+(= i7a3 3)
+(= c10 6)
+(= i2a2 4)
+(= i5a6 6)
+(= c0 0)
+(= c9 3)
+(= i4a5 14)
+(= i4a6 6)
+(= i7a4 17)
+(= i6a5 23)
+(= i10a4 50)
+(= i0a2 2)
+(= i4a2 4)
+(= i4a3 3)
+(= i6a2 4)
+(= i2a3 3)
+(= i7a6 30)
+(= c4 4)
+(= i2a4 8)
+(= a7 7)
+(= i6a4 17)
+(= i8a6 30)
+(= i9a5 47)
+(= i0a6 6)
+(= i1a2 4)
+(= i1a4 4)
+