Searching in bench/btl