Instances of family RankingFunctions solved by aspQ
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
rankfunc37_signed_16UNSAT0
rankfunc60_signed_16SAT0.01
rankfunc28_signed_16SAT0.01
rankfunc15_signed_16SAT0.01
rankfunc36_signed_32SAT0.01
rankfunc27_signed_32SAT0.01
rankfunc17_unsigned_16SAT0.01
rankfunc46_unsigned_16SAT0.01
rankfunc27_signed_16SAT0.01
rankfunc5_unsigned_16SAT0.01
rankfunc43_signed_16SAT0.01
rankfunc25_unsigned_16SAT0.01
rankfunc45_unsigned_16SAT0.01
rankfunc56_unsigned_16SAT0.01
rankfunc34_unsigned_32SAT0.02
rankfunc19_signed_16SAT0.02
rankfunc15_unsigned_16SAT0.02
rankfunc43_unsigned_32SAT0.02
rankfunc52_unsigned_32SAT0.03
rankfunc22_signed_32SAT0.03
rankfunc61_signed_32SAT0.03
rankfunc44_unsigned_64SAT0.03
rankfunc25_signed_64SAT0.03
rankfunc1_signed_32SAT0.03
rankfunc45_signed_32SAT0.03
rankfunc58_unsigned_32SAT0.03
rankfunc55_signed_16SAT0.03
rankfunc18_signed_32SAT0.03
rankfunc57_signed_16SAT0.03
rankfunc58_signed_32SAT0.03
rankfunc2_signed_16SAT0.04
rankfunc21_signed_32SAT0.04
rankfunc16_signed_32SAT0.04
rankfunc33_unsigned_64SAT0.04
rankfunc43_signed_64SAT0.05
rankfunc45_unsigned_64SAT0.05
rankfunc3_unsigned_32SAT0.05
rankfunc42_signed_64SAT0.05
rankfunc46_unsigned_64SAT0.06
rankfunc22_unsigned_64SAT0.07
rankfunc1_unsigned_64SAT0.07
rankfunc45_signed_64SAT0.07
rankfunc26_unsigned_64SAT0.08
rankfunc16_signed_64SAT0.09
rankfunc57_signed_32SAT0.09
rankfunc16_unsigned_64SAT0.09
rankfunc8_unsigned_64SAT0.09
rankfunc19_unsigned_64SAT0.1
rankfunc60_signed_64SAT0.1
rankfunc3_unsigned_64SAT0.11