started with the report

[master.git] / ar / assignments / a11.smt

diff --git a/ar/assignments/a11.smt b/ar/assignments/a11.smt
deleted file mode 100644 (file)
index a208034..0000000
--- a/ar/assignments/a11.smt
+++ /dev/null
@@ -1,15 +0,0 @@
-(benchmark a11.smt
-:logic QF_UFLIA
-:extrafuns (
-       (Nuzzles Int)
-       (Prittles Int)
-       (Skipples Int)
-       (Crottles Int)
-       (Duples Int))
-:formula (and
-(= Nuzzles 700)
-(= Prittles 800)
-(= Skipples 1000)
-(= Crottles 1500)
-(= Duples 100)
-))