one more number:
VAXstation 3100M38, 16MB, NetBSD-1.5

Time: 861940 ms
Time: 862350 ms
Time: 864740 ms

Nodes: 550822
Best time: 861940 ms
Nodes per second: 639 (4.3 MIPS)

For comparison, I'll try it on a DS10 on Monday.
Should be *somewhat* faster :-)

Wolfgang