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

InstanceResultTime
rankfunc17_unsigned_16SAT0.13
rankfunc5_signed_32SAT0.14
rankfunc13_signed_32SAT0.17
rankfunc51_signed_32SAT0.22
rankfunc5_unsigned_64SAT0.31
rankfunc33_signed_32SAT0.34
rankfunc14_signed_64SAT0.42
rankfunc13_unsigned_64SAT0.46
rankfunc22_signed_64SAT0.69
rankfunc3_signed_64SAT2.69