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

InstanceResultTime
rankfunc38_unsigned_64SAT0.11
rankfunc38_signed_64SAT0.2
rankfunc60_unsigned_32SAT0.32
rankfunc56_unsigned_64SAT0.41
rankfunc53_unsigned_64SAT0.5
rankfunc53_signed_64SAT0.56
rankfunc56_signed_64SAT0.62
rankfunc48_unsigned_16SAT0.62
rankfunc34_signed_64SAT0.66
rankfunc34_unsigned_64SAT0.7
rankfunc61_unsigned_64SAT0.78
rankfunc51_signed_64SAT0.8
rankfunc51_unsigned_64SAT0.8
rankfunc54_signed_64SAT0.89
rankfunc55_signed_64SAT0.92
rankfunc54_unsigned_64SAT0.92
rankfunc52_signed_64SAT1.01
rankfunc58_unsigned_64SAT1.01
rankfunc52_unsigned_64SAT1.02
rankfunc58_signed_64SAT1.03
rankfunc61_signed_64SAT1.1
rankfunc55_unsigned_64SAT1.22
rankfunc59_signed_64SAT1.32
rankfunc31_unsigned_64SAT1.32
rankfunc41_unsigned_64SAT1.35
rankfunc59_unsigned_64SAT1.37
rankfunc31_signed_64SAT1.38
rankfunc41_signed_64SAT1.4
rankfunc49_signed_64SAT1.41
rankfunc49_unsigned_64SAT1.42
rankfunc55_unsigned_32SAT1.46
rankfunc35_unsigned_64SAT1.53
rankfunc2_unsigned_64SAT1.9
rankfunc57_unsigned_64SAT2.12
rankfunc35_signed_64SAT2.83
rankfunc48_unsigned_64SAT2.85
rankfunc48_signed_64SAT3.93