echo "Starting daVinci V2.0 benchmark."
echo "Please do nothing while the benchmark is executed six times."
echo
echo "Executing step 1/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "Executing step 2/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "Executing step 3/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "Executing step 4/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "Executing step 5/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "Executing step 6/6"
time ../daVinci -pipe <benchmark.script >/dev/null
echo
echo "daVinci V2.0 benchmark finished. Please send the results together"
echo "with your system specification, including:"
echo "  hardware vendor, computer model, processor and MHz, type of graphics" 
echo "  adapter, color depth, amount of memory, OS brand and version"
echo "by e-mail to daVinci@Informatik.Uni-Bremen.DE"
