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

InstanceResultTime
rankfunc53_unsigned_64SAT0
rankfunc60_unsigned_32SAT0
rankfunc56_unsigned_64SAT0.42
rankfunc53_signed_64SAT0.48
rankfunc48_unsigned_16SAT0.5
rankfunc56_signed_64SAT0.55
rankfunc61_unsigned_64SAT0.78
rankfunc51_signed_64SAT0.79
rankfunc51_unsigned_64SAT0.8
rankfunc54_signed_64SAT0.94
rankfunc54_unsigned_64SAT0.95
rankfunc52_unsigned_64SAT1.06
rankfunc58_unsigned_64SAT1.09
rankfunc61_signed_64SAT1.09
rankfunc58_signed_64SAT1.09
rankfunc52_signed_64SAT1.1
rankfunc55_unsigned_64SAT1.11
rankfunc59_unsigned_64SAT1.4
rankfunc31_signed_64SAT1.4
rankfunc59_signed_64SAT1.41
rankfunc49_signed_64SAT1.45
rankfunc31_unsigned_64SAT1.46
rankfunc41_signed_64SAT1.47
rankfunc41_unsigned_64SAT1.47
rankfunc49_unsigned_64SAT1.53
rankfunc35_unsigned_64SAT1.59
rankfunc2_unsigned_64SAT2.01
rankfunc57_unsigned_64SAT2.05
rankfunc35_signed_64SAT2.89
rankfunc48_unsigned_64SAT3
rankfunc48_signed_64SAT3.09