view example/Miller_Rabin/time.sh @ 1277:4ba9b622073d draft

merge
author Yutaka_Kinjyo <yutaka@cr.ie.u-ryukyu.ac.jp>
date Tue, 22 Nov 2011 19:40:47 +0900
parents 64e15fee0397
children
line wrap: on
line source

#!/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 }}'