Instances of family RankingFunctions solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
rankfunc42_signed_64SAT0.91
rankfunc18_unsigned_64SAT1.07
rankfunc21_unsigned_64SAT1.5
rankfunc21_signed_64SAT1.5
rankfunc30_signed_64SAT1.71
rankfunc30_unsigned_64SAT1.74
rankfunc3_unsigned_64SAT1.9
rankfunc3_signed_64SAT1.97
rankfunc19_unsigned_64SAT1.98
rankfunc19_signed_64SAT2.09