Merge remote-tracking branch 'origin/lurd'

[mc1516pa.git] / modelchecker / benchmark.sh

#!/bin/bash
make
for i in 2000 107 1001 387 372 792 747 38 754 2; do
        echo "Problem: $i"
        time ./main -v ../sokobanzip/screens/screen.$i
done