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

InstanceResultTime
rankfunc13_signed_32SAT0.01
rankfunc5_signed_32SAT0.01
rankfunc51_signed_32SAT0.01
rankfunc17_unsigned_16SAT0.01
rankfunc5_unsigned_64SAT0.02
rankfunc33_signed_32SAT0.02
rankfunc14_signed_64SAT0.03
rankfunc13_unsigned_64SAT0.03
rankfunc22_signed_64SAT0.07
rankfunc3_signed_64SAT0.1