Robert Clipsham: >I've got a better idea. That page is automatically generated from an xml file, >I'll just make that available instead.<
I don't like XML; a small txt table is so easy to process with three lines of Python... :-) (Json is fine too). >I would probably have to exclude tests that use that much memory, there isn't >enough ram in my server to go much higher than 256mb in the benchmarks >(without taking out all the services running on it first).< Your timings may be quite noisy then. You may need more re-runs and/or much longer timings. >That'd be great! Thanks.< OK. I see you accept both ways. Bye, bearophile
