Instances of family RankingFunctions solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
rankfunc19_unsigned_64SAT0
rankfunc15_signed_64SAT0
rankfunc30_signed_64SAT0
rankfunc42_signed_64SAT0
rankfunc30_unsigned_64SAT0
rankfunc19_signed_64SAT0
rankfunc18_unsigned_64SAT0
rankfunc21_unsigned_64SAT0
rankfunc18_signed_64SAT0
rankfunc3_signed_64SAT0
rankfunc16_signed_64SAT0
rankfunc15_unsigned_64SAT0
rankfunc21_signed_64SAT0
rankfunc3_unsigned_64SAT0
rankfunc16_unsigned_64SAT0