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 index 56d0230ec..cbc69d720 100755 --- a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh +++ b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh @@ -4,7 +4,7 @@ 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 +cat *.output | grep "Multi-objective value iterations took" >> results.csv echo " " >> results.csv cat *.output | grep "Time for model checking:" >> results.csv echo " " >> 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 index 89313a3f5..71a6bd2c1 100644 Binary files a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods and b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods differ