up

[mc1516pa.git] / modelchecker / benchmark.sh

diff --git a/modelchecker/benchmark.sh b/modelchecker/benchmark.sh
index 05808dd..189dfd5 100644 (file)
--- 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