Instances of family RankingFunctions solved by caqe-minisat
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.32
rankfunc14_signed_64SAT0.43
rankfunc13_unsigned_64SAT0.47
rankfunc22_signed_64SAT0.73
rankfunc3_signed_64SAT2.67