added fancy benchmark

diff --git a/code/.gitignore b/code/.gitignore
index 6c83100..b4022a0 100644 (file)
--- a/code/.gitignore
+++ b/code/.gitignore
@@ -2,3 +2,4 @@ Clean System Files
 a.out
 SokobanObjectwise
 *.prj
+NuSMV

diff --git a/code/fancy_benchmark.sh b/code/fancy_benchmark.sh
new file mode 100755 (executable)
index 0000000..63e24cb
--- /dev/null
+++ b/code/fancy_benchmark.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+echo -e "screen\tboxes\tseconds"
+find ../sokobanzip/screens/ -type f | xargs -I{} \
+       bash -c 'echo -ne "{}\t" && grep -o "[*$]" {} | wc -l' | sort -k2 -nr |\
+       tac | cut -f1 | xargs -I{} bash -c \
+               'S1=`date +%s`; 
+               ./NuSMV <(<{} ./SokobanObjectwise) 2>&1>/dev/null;
+               S2=`date +%s`;
+               echo -e "$(basename {})\t$(grep -o "[*$]" {} | wc -l)\t$((S2-S1))"'