code/fancy_benchmark.sh

   1 #!/bin/sh
   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 \
   6                 'S1=`date +%s`;
   7                 ./NuSMV <(<{} ./SokobanObjectwise) 2>&1>/dev/null;
   8                 S2=`date +%s`;
   9                 echo -e "$(basename {})\t$(grep -o "[*$]" {} | wc -l)\t$((S2-S1))"'