Instances of family RankingFunctions solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
rankfunc60_signed_32FAIL900
rankfunc35_signed_32FAIL900