ar/assignments/a11.smt

   1 (benchmark a11.smt
   2 :logic QF_UFLIA
   3 :extrafuns (
   4         (Nuzzles Int)
   5         (Prittles Int)
   6         (Skipples Int)
   7         (Crottles Int)
   8         (Duples Int))
   9 :formula (and
  10 (= Nuzzles 700)
  11 (= Prittles 800)
  12 (= Skipples 1000)
  13 (= Crottles 1500)
  14 (= Duples 100)
  15 ))