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

InstanceResultTime
rankfunc37_signed_16UNSAT0.03
rankfunc42_signed_64FAIL599.71
rankfunc46_unsigned_16FAIL599.71
rankfunc60_signed_64FAIL599.71
rankfunc8_unsigned_64FAIL599.71
rankfunc16_unsigned_64FAIL599.71
rankfunc26_unsigned_64FAIL599.71
rankfunc22_unsigned_64FAIL599.71
rankfunc43_signed_64FAIL599.71
rankfunc45_signed_64FAIL599.71
rankfunc16_signed_64FAIL599.71
rankfunc1_signed_32FAIL599.71
rankfunc34_unsigned_32FAIL599.71
rankfunc55_signed_16FAIL599.71
rankfunc21_signed_32FAIL599.71
rankfunc45_signed_32FAIL599.71
rankfunc33_unsigned_64FAIL599.71
rankfunc5_unsigned_16FAIL599.71
rankfunc60_signed_16FAIL599.71
rankfunc18_signed_32FAIL599.71
rankfunc19_signed_16FAIL599.71
rankfunc58_signed_32FAIL599.71
rankfunc52_unsigned_32FAIL599.71
rankfunc44_unsigned_64FAIL599.71
rankfunc3_unsigned_64FAIL599.71
rankfunc56_unsigned_16FAIL599.71
rankfunc43_signed_16FAIL599.71
rankfunc45_unsigned_64FAIL599.71
rankfunc61_signed_32FAIL599.81
rankfunc27_signed_16FAIL599.81
rankfunc1_unsigned_64FAIL599.81
rankfunc25_signed_64FAIL599.81
rankfunc57_signed_32FAIL599.81
rankfunc16_signed_32FAIL599.81
rankfunc46_unsigned_64FAIL599.81
rankfunc28_signed_16FAIL599.81
rankfunc15_signed_16FAIL599.81
rankfunc36_signed_32FAIL599.81
rankfunc27_signed_32FAIL599.81
rankfunc3_unsigned_32FAIL599.81
rankfunc43_unsigned_32FAIL599.81
rankfunc22_signed_32FAIL599.81
rankfunc17_unsigned_16FAIL599.81
rankfunc45_unsigned_16FAIL599.81
rankfunc2_signed_16FAIL599.81
rankfunc25_unsigned_16FAIL599.81
rankfunc19_unsigned_64FAIL599.81
rankfunc15_unsigned_16FAIL599.81
rankfunc57_signed_16FAIL599.81
rankfunc58_unsigned_32FAIL599.81