From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 12 Mar 2016 16:33:45 +0000 (+0100)
Subject: added fancy benchmark
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=c56640061fcacdc879db6b230cf41701681fc0ed;p=mc1516pa.git

added fancy benchmark
---

diff --git a/code/.gitignore b/code/.gitignore
index 6c83100..b4022a0 100644
--- 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
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))"'