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

InstanceResultTime
rankfunc17_unsigned_16SAT138.84
rankfunc22_signed_64FAIL282.75
rankfunc14_signed_64FAIL303.84
rankfunc5_unsigned_64FAIL342.94
rankfunc51_signed_32FAIL355.74
rankfunc13_signed_32FAIL363.64
rankfunc33_signed_32FAIL415.54
rankfunc5_signed_32FAIL419.93
rankfunc3_signed_64FAIL599.22
rankfunc13_unsigned_64FAIL599.22