Instances of family RankingFunctions solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
rankfunc38_unsigned_64SAT0.06
rankfunc38_signed_64SAT0.07
rankfunc60_unsigned_32SAT0.24
rankfunc56_unsigned_64SAT0.33
rankfunc53_unsigned_64SAT0.35
rankfunc53_signed_64SAT0.35
rankfunc48_unsigned_16SAT0.45
rankfunc56_signed_64SAT0.53
rankfunc61_unsigned_64SAT0.55
rankfunc34_unsigned_64SAT0.55
rankfunc34_signed_64SAT0.57
rankfunc51_unsigned_64SAT0.62
rankfunc51_signed_64SAT0.64
rankfunc54_unsigned_64SAT0.71
rankfunc54_signed_64SAT0.73
rankfunc55_signed_64SAT0.75
rankfunc52_unsigned_64SAT0.85
rankfunc52_signed_64SAT0.87
rankfunc61_signed_64SAT0.89
rankfunc58_signed_64SAT0.91
rankfunc58_unsigned_64SAT0.92
rankfunc31_signed_64SAT1.09
rankfunc31_unsigned_64SAT1.11
rankfunc59_unsigned_64SAT1.12
rankfunc59_signed_64SAT1.13
rankfunc41_signed_64SAT1.16
rankfunc41_unsigned_64SAT1.16
rankfunc55_unsigned_64SAT1.17
rankfunc49_signed_64SAT1.25
rankfunc55_unsigned_32SAT1.27
rankfunc35_unsigned_64SAT1.28
rankfunc49_unsigned_64SAT1.29
rankfunc2_unsigned_64SAT1.76
rankfunc48_unsigned_64SAT2.55
rankfunc35_signed_64SAT2.91
rankfunc57_unsigned_64SAT84.79
rankfunc48_signed_64SAT265.65