Searching in ofl/poly