-iterations = 11
-numa = 8
+#!/usr/bin/env python3
+import sys
+iterations = int(sys.argv[1]) if len(sys.argv) > 1 else 11
+numa = int(sys.argv[2]) if len(sys.argv) > 2 else 7
##Print preamble
print("(benchmark a4.smt")
for ov in [k for k in range(2, numa) if k != v]:
print("(= i{0}a{1} i{0}a{2})".format(iterations-1, v, ov))
print("))")
-
-
print(")")
+
## Close the and,benchmark parenthesis
print("))")