On 9/30/13 2:15 AM, Timon Gehr wrote: > What is the optimization that would the specialized algorithm run faster > though? Upon mismatch, restart search right after the mismatch point. Andrei