... state that is a singleton state or thefirst state, p[1], of a pair has a forward begin edge. Eachsecond state, p[i], of a pair has a forward proceed edge, anda looping take edge. Every state (except ... experiment, we instrumented both algorithms to returnshortest non-overlapping results.We first reran all previous queries with non-overlap.These queries exhibit similar trends for the two algorithms,as ... themost sharing opportunity: all of the overlapping runs forthe same partition can be merged. However, p1leads tolong query matches, hence a high overhead of maintainingthe match buffer as...