Warpy #1 I just tried increasing the number of options to 1000, and the binary search is about ten times quicker. So, right algorithm for the right situations, I suppose.