Instances of family RankingFunctions solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
rankfunc17_unsigned_16SAT0.31
rankfunc14_signed_64SAT0.63
rankfunc5_unsigned_64SAT0.7
rankfunc33_signed_32SAT0.79
rankfunc13_unsigned_64SAT0.97