You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
435 B
11 lines
435 B
#!/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
|