
9 Nov
2001
9 Nov
'01
3:53 p.m.
For those who care about performance, here is the total time (in seconds) spent by China+PPL to analyze the entire benchmark suite. Each result is prefixed by a date. Those interested can thus see what was the cost of the extra-checks we have added and how we recovered with smarter memory allocation strategies. To get sense of what follows you need to keep an eye on the CVS history, of course.
2001-10-23 3026.66 2001-10-24 2965.83 2001-10-29 3028.75 2001-10-29 2621.58 2001-10-30 2833.64 2001-10-31 2688.87 2001-11-01 2892.96 2001-11-01 2650 2001-11-02 2629.1 2001-11-04 2533.4 2001-11-04 2514.51 2001-11-04 2390.36 2001-11-05 2416.02 2001-11-08 2459.47 2001-11-09 2364.58
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it