Instances of family RankingFunctions solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
rankfunc60_signed_32SAT0.21
rankfunc35_signed_32SAT0.92