X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=code%2Ffancy_benchmark.sh;h=d76761b9f4572e1a4e9a00e02b07adecb87893c4;hb=11f388b11fa3bda90f86d5753417efc3d7300c11;hp=63e24cb1889a489f8dca1eb43f5e5c250aa4e540;hpb=c56640061fcacdc879db6b230cf41701681fc0ed;p=mc1516pa.git

diff --git a/code/fancy_benchmark.sh b/code/fancy_benchmark.sh
index 63e24cb..d76761b 100755
--- a/code/fancy_benchmark.sh
+++ b/code/fancy_benchmark.sh
@@ -1,9 +1,9 @@
 #!/bin/sh
-echo -e "screen\tboxes\tseconds"
+echo -e "screen\tboxes\tseconds\tsteps"
 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;
+		STEPS=`./NuSMV <(<{} ./SokobanObjectwise) | grep -c State`;
 		S2=`date +%s`;
-		echo -e "$(basename {})\t$(grep -o "[*$]" {} | wc -l)\t$((S2-S1))"'
+		echo -e "$(basename {})\t$(grep -o "[*$]" {} | wc -l)\t$((S2-S1))\t$STEPS"'