repositories / mc1516pa.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
[mc1516pa.git] / modelchecker / benchmark.sh
1 #!/bin/bash
2 make
3 for i in 2000 107; do
4 echo "Problem: $i"
5 time ./main ../sokobanzip/screens/screen.$i
6 done
Unnamed repository; edit this file 'description' to name the repository.