Instances of family RankingFunctions solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
rankfunc3_unsigned_64SAT0
rankfunc21_unsigned_64SAT0
rankfunc19_unsigned_64SAT0
rankfunc3_signed_64SAT0
rankfunc30_signed_64SAT0
rankfunc30_unsigned_64SAT0
rankfunc18_unsigned_64SAT0
rankfunc21_signed_64SAT0
rankfunc42_signed_64SAT0
rankfunc19_signed_64SAT0