done with 1

[ar1516.git] / a2 / src / 1a.bash

diff --git a/a2/src/1a.bash b/a2/src/1a.bash
index 1724514..f157243 100755 (executable)
--- a/a2/src/1a.bash
+++ b/a2/src/1a.bash
@@ -160,7 +160,7 @@ GEN
        echo ")))"
 }
 it=1
-while generate $it 318 | $YICES -m | pee sort "grep -q unsat"
+while generate $it 300 | $YICES -m | pee sort "grep -q unsat"
 do
        echo $((it++))
 done