From c56640061fcacdc879db6b230cf41701681fc0ed Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Sat, 12 Mar 2016 17:33:45 +0100
Subject: [PATCH] added fancy benchmark

---
 code/.gitignore         | 1 +
 code/fancy_benchmark.sh | 9 +++++++++
 2 files changed, 10 insertions(+)
 create mode 100755 code/fancy_benchmark.sh

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))"'
-- 
2.20.1