diff --git a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh new file mode 100755 index 000000000..56d0230ec --- /dev/null +++ b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh @@ -0,0 +1,11 @@ +#!/bin/sh +echo " " >> results.csv +cat *.output | grep construc -A3 | grep States >> results.csv +echo " " >> results.csv +cat *.output | grep "Number of weight vectors used:" >> results.csv +echo " " >> results.csv +cat *.output | grep "value iteration(s) took" >> results.csv +echo " " >> results.csv +cat *.output | grep "Time for model checking:" >> results.csv +echo " " >> results.csv +cat *.output | grep "Result:" >> results.csv diff --git a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods new file mode 100644 index 000000000..89313a3f5 Binary files /dev/null and b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods differ