Search strategies SeaPearl.DFS SeaPearl.DFWBS SeaPearl.LNSearch SeaPearl.ILDSearch SeaPearl.RBSearch SeaPearl.staticRBSearch SeaPearl.geometricRBSearch SeaPearl.lubyRBSearch