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

InstanceResultTime
rankfunc17_unsigned_16SAT0.12
rankfunc5_signed_32SAT0.14
rankfunc13_signed_32SAT0.17
rankfunc51_signed_32SAT0.23
rankfunc33_signed_32SAT0.32
rankfunc5_unsigned_64SAT0.33
rankfunc14_signed_64SAT0.42
rankfunc13_unsigned_64SAT0.48
rankfunc22_signed_64SAT0.69
rankfunc3_signed_64SAT2.69