Instances of family RankingFunctions solved by rareqs
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
rankfunc38_signed_64SAT0
rankfunc38_unsigned_64SAT0.01
rankfunc53_signed_64SAT0.02
rankfunc53_unsigned_64SAT0.02
rankfunc61_unsigned_64SAT0.03
rankfunc34_signed_64SAT0.04
rankfunc34_unsigned_64SAT0.04
rankfunc54_signed_64SAT0.04
rankfunc60_unsigned_32SAT0.04
rankfunc56_unsigned_64SAT0.04
rankfunc51_signed_64SAT0.04
rankfunc51_unsigned_64SAT0.04
rankfunc54_unsigned_64SAT0.04
rankfunc31_unsigned_64SAT0.06
rankfunc31_signed_64SAT0.06
rankfunc41_unsigned_64SAT0.06
rankfunc41_signed_64SAT0.06
rankfunc35_unsigned_64SAT0.07
rankfunc48_unsigned_16SAT0.07
rankfunc52_unsigned_64SAT0.08
rankfunc61_signed_64SAT0.08
rankfunc52_signed_64SAT0.08
rankfunc58_signed_64SAT0.09
rankfunc58_unsigned_64SAT0.09
rankfunc59_signed_64SAT0.11
rankfunc59_unsigned_64SAT0.12
rankfunc56_signed_64SAT0.13
rankfunc55_signed_64SAT0.16
rankfunc49_signed_64SAT0.26
rankfunc49_unsigned_64SAT0.26
rankfunc35_signed_64SAT0.27
rankfunc48_unsigned_64SAT0.38
rankfunc2_unsigned_64SAT0.43
rankfunc55_unsigned_64SAT0.44
rankfunc57_unsigned_64SAT0.66
rankfunc55_unsigned_32SAT0.76
rankfunc48_signed_64FAIL900