def __init__(self):
Solver.__init__(self, "topn", "fuzz")
def __init__(self):
Solver.__init__(self, "topn", "ib")
self._tids = TS.instance().ids()
def __init__(self):
Solver.__init__(self, "pred", "ub")
def __init__(self):
Solver.__init__(self, "pred", "fuzz")