On Thu, 2006-06-15 at 11:42 +0200, karl wettin wrote: > > 2. Standard RAMDirectory:
Oups, I got the headers wrong here. Again: With your fixes: 1000 fuzzy~0.1, 121 per min. 1000 fuzzy~0.2, 190 per min. 1000 fuzzy~0.3, 342 per min. 1000 fuzzy~0.4, 456 per min. 1000 fuzzy~0.5, 578 per min. 1000 fuzzy~0.6, 632 per min. 1000 fuzzy~0.7, 645 per min. 1000 fuzzy~0.8, 679 per min. 1000 fuzzy~0.9, 696 per min. Old implementation: 1000 fuzzy~0.1, 117 per min. 1000 fuzzy~0.2, 185 per min. 1000 fuzzy~0.3, 329 per min. 1000 fuzzy~0.4, 425 per min. 1000 fuzzy~0.5, 585 per min. 1000 fuzzy~0.6, 612 per min. 1000 fuzzy~0.7, 653 per min. 1000 fuzzy~0.8, 615 per min. 1000 fuzzy~0.9, 671 per min. --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]