final bijna

[ar1516.git] / src / a1.bash

diff --git a/src/a1.bash b/src/a1.bash
index 5e71a17..6304074 100644 (file)
--- a/src/a1.bash
+++ b/src/a1.bash
@@ -54,11 +54,11 @@ function generate {
 )
 GENERATE
 }
-
-i=1
+time { i=1
 while [ $(generate $i | yices-smt) = "sat" ]; do
        echo "n(p)=$i is still sat"
        i=$((i+1))
 done
 echo "n(p)=$i is unsat thus maximum n(p)=$((i-1))"
+}
 generate $((i-1)) | yices-smt -m | python3 src/a1.py > $1