The Symbolics numbers you gave are all quite slow compared to what I've seen before for the same machines. What was your testing procedure?