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

InstanceResultTime
rankfunc22_signed_64FAIL587.24
rankfunc3_signed_64FAIL599.63
rankfunc33_signed_32FAIL599.71
rankfunc13_signed_32FAIL599.71
rankfunc14_signed_64FAIL599.71
rankfunc51_signed_32FAIL599.71
rankfunc13_unsigned_64FAIL599.71
rankfunc17_unsigned_16FAIL599.72
rankfunc5_unsigned_64FAIL599.72
rankfunc5_signed_32FAIL599.72