Instances of family RankingFunctions solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
rankfunc17_unsigned_16FAIL599.61
rankfunc13_unsigned_64FAIL599.71
rankfunc33_signed_32FAIL599.71
rankfunc5_unsigned_64FAIL599.71
rankfunc14_signed_64FAIL599.71