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

InstanceResultTime
rankfunc17_unsigned_16SAT0.13
rankfunc5_signed_32SAT0.14
rankfunc13_signed_32SAT0.17
rankfunc51_signed_32SAT0.2
rankfunc5_unsigned_64SAT0.31
rankfunc33_signed_32SAT0.32
rankfunc14_signed_64SAT0.42
rankfunc13_unsigned_64SAT0.43
rankfunc22_signed_64SAT0.68
rankfunc3_signed_64SAT2.67