final bijna

[ar1516.git] / src / a4.bash

diff --git a/src/a4.bash b/src/a4.bash
index 61d4529..9b4f4d4 100644 (file)
--- a/src/a4.bash
+++ b/src/a4.bash
@@ -55,10 +55,11 @@ function generate {
        echo ")))"
 }
 
-i=1
+time { i=1
 while [ $(generate $i | yices-smt) = "unsat" ]; do
        echo "N=$i is still unsat"
        i=$((i+1))
 done
 echo "N=$i is sat thus minimum N=$i"
+}
 generate $i | yices-smt -m | python src/a4.py > $1