		Revision 18 . . . . 2004-07-08 14:08 UTC by server.cluster.mbg.gr (minor)
		Revision 15 . . . . 2004-06-17 14:36 UTC by server.cluster.mbg.gr

History of HPL benchmarks (9 nodes)