From c56640061fcacdc879db6b230cf41701681fc0ed Mon Sep 17 00:00:00 2001 From: Mart Lubbers 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