>ajhotdraw-fresh: 83078ms
>ajhotdraw-tm-naive: 250764ms
>ajhotdraw-tm-opt: 160761ms
>PQL: 186041 ms
>
>
Apologies, there is a typo -- the ajhotdraw-fresh number is 8378, not 83078.
- P
Received on Thu Mar 02 10:03:40 2006
This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:27 GMT