X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fbenchmark.sh;h=189dfd5c620612d9bc7d3e037e8d4e1241ca22e4;hb=HEAD;hp=05808dd015e4ca9c9bb9c184551894516253fc0c;hpb=6d27f2cbfee60299b29e28167962574d09851d34;p=mc1516pa.git

diff --git a/modelchecker/benchmark.sh b/modelchecker/benchmark.sh
index 05808dd..189dfd5 100644
--- a/modelchecker/benchmark.sh
+++ b/modelchecker/benchmark.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 make
-for i in 2000 107 1001 387 372 792 747 38 754 2; do
+for i in 2000 107; do
 	echo "Problem: $i"
-	time ./main -v ../sokobanzip/screens/screen.$i
+	time ./main ../sokobanzip/screens/screen.$i
 done