I wonder why they're using a "magic shoebox" instead of a call market a la http://ai.eecs.umich.edu/people/wellman/?p=40.
Further, no one who proposes call markets ever talks about the matching algorithm in the face of order book imbalances. How you do tie-breakers can either still have speed advantages or has other probably worse disadvantages.