Instances of family RankingFunctions solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
rankfunc35_signed_32SAT0.26
rankfunc60_signed_32SAT0.27