updated prism benchmark table

Former-commit-id: d05b06d64a

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