Searching in RexBench/Octane2