63e24cb1889a489f8dca1eb43f5e5c250aa4e540
2 echo -e "screen\tboxes\tseconds"
3 find ..
/sokobanzip
/screens
/ -type f |
xargs -I{} \
4 bash
-c 'echo -ne "{}\t" && grep -o "[*$]" {} | wc -l' |
sort -k2 -nr |\
5 tac | cut
-f1 |
xargs -I{} bash
-c \
7 ./NuSMV <(<{} ./SokobanObjectwise) 2>&1>/dev/null;
9 echo -e "$(basename {})\t$(grep -o "[*$]" {} | wc -l)\t$((S2-S1))"'