diff example/Miller_Rabin/time.sh @ 1274:64e15fee0397 draft

add shell script that measure time
author Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
date Sun, 20 Nov 2011 11:35:32 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/example/Miller_Rabin/time.sh	Sun Nov 20 11:35:32 2011 +0900
@@ -0,0 +1,4 @@
+#!/bin/zsh
+
+./run.sh $* |& awk '{cpu[$2]+=$12; total[$2]++;} END {for(i in cpu){ ans=cpu[i]/total[i]; print "CPU" i "\t" ans }}' 
+