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

InstanceResultTime
rankfunc60_signed_32SAT0.78
rankfunc35_signed_32SAT2.15