Instances of family RankingFunctions solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
rankfunc33_signed_32SAT70.16
rankfunc5_unsigned_64SAT71.82
rankfunc3_signed_64SAT72.67
rankfunc5_signed_32SAT79.38
rankfunc14_signed_64SAT82.63
rankfunc51_signed_32SAT100.73
rankfunc13_unsigned_64FAIL600
rankfunc17_unsigned_16FAIL600
rankfunc22_signed_64FAIL600
rankfunc13_signed_32FAIL600