# HG changeset patch
# User kent <kent@cr.ie.u-ryukyu.ac.jp>
# Date 1264408065 -32400
# Node ID a14cd9f25ac47d75413118cde925b1676bc8b878
# Parent  607e6dc322e53f5fe6a5239c3a9c59df46a7615e# Parent  9e4f9e20b8f14b9e81310c694b49d44a6f1614d2
merge.

diff -r 9e4f9e20b8f1 -r a14cd9f25ac4 CbC-examples/quicksort/benchmark.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CbC-examples/quicksort/benchmark.sh	Mon Jan 25 17:27:45 2010 +0900
@@ -0,0 +1,44 @@
+#!/usr/bin/env zsh
+
+time=/usr/bin/time
+QS=./quicksort_cbc
+size=10000000
+seed=123456789
+num=10
+
+
+max=0
+min=99999
+count=0
+amount=0
+
+echo "size of array = $size"
+while [[ $count -lt $num ]]; do
+	usertime=$( $time -p $QS -n $size -s $seed 2>&1 >& - |grep '^user'|tr -s " "|cut -f2 -d" ")
+	#usertime=$(printf "%d" $usertime)
+	echo $usertime
+
+	amount=$(($usertime+$amount))
+	if [[ $usertime -lt $min ]]; then
+	    min=$usertime
+	fi
+	if [[ $usertime -gt $max ]]; then
+	    max=$usertime
+	fi
+	#seed=$seed[1,-2]
+	seed=$(($seed+10))
+	count=$(($count+1))
+done
+
+echo "amount time = $amount"
+echo "maxtime = $max"
+echo "mintime = $min"
+
+amount=$(($amount - $max - $min))
+echo "amount time - mintime - maxtime = $amount"
+count=$(($count-2))
+echo "count = $count"
+averagetime=$(($amount/($count)))
+echo "average time = $averagetime"
+
+