Instances of family RankingFunctions solved by CADET_2017
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
rankfunc61_signed_64SAT0
rankfunc2_unsigned_64SAT0
rankfunc56_signed_64SAT0
rankfunc48_signed_64SAT0
rankfunc58_unsigned_64SAT0
rankfunc31_signed_64SAT0
rankfunc35_signed_64SAT0
rankfunc53_unsigned_64SAT0
rankfunc52_signed_64SAT0
rankfunc51_unsigned_64SAT0
rankfunc41_signed_64SAT0
rankfunc49_unsigned_64SAT0
rankfunc51_signed_64SAT0
rankfunc59_unsigned_64SAT0
rankfunc49_signed_64SAT0
rankfunc54_unsigned_64SAT0
rankfunc48_unsigned_16SAT0
rankfunc31_unsigned_64SAT0
rankfunc48_unsigned_64SAT0
rankfunc54_signed_64SAT0
rankfunc58_signed_64SAT0
rankfunc61_unsigned_64SAT0
rankfunc56_unsigned_64SAT0
rankfunc55_unsigned_64SAT0
rankfunc57_unsigned_64SAT0
rankfunc59_signed_64SAT0
rankfunc53_signed_64SAT0
rankfunc60_unsigned_32SAT0
rankfunc35_unsigned_64SAT0
rankfunc52_unsigned_64SAT0
rankfunc41_unsigned_64SAT0