“…Portfolio solvers have been successful in combinatorially cleaner domains such as SAT solving [27,35,42], quantified boolean satisfiability (QSAT) [32,33,36], answer set programming (ASP) [20,29], and various constraint satisfaction problems (CSP) [21,28,30]. In contrast to software verification, in these areas constituent tools are usually assumed to be correct.…”