Instances of family RankingFunctions solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
rankfunc33_signed_32SAT0
rankfunc17_unsigned_16SAT0
rankfunc13_unsigned_64SAT0