Instances of family RankingFunctions solved by depqbf-pre
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
rankfunc26_unsigned_32FAIL1200.15
rankfunc31_unsigned_16FAIL1200.15
rankfunc6_unsigned_16FAIL1200.15
rankfunc12_unsigned_16FAIL1200.15
rankfunc59_unsigned_16FAIL1200.15
rankfunc45_signed_16FAIL1200.15
rankfunc33_unsigned_32FAIL1200.15
rankfunc49_signed_32FAIL1200.15
rankfunc29_signed_16FAIL1200.15
rankfunc55_unsigned_32FAIL1200.15
rankfunc36_signed_64FAIL1200.15
rankfunc39_unsigned_64FAIL1200.16
rankfunc58_signed_32FAIL1200.16
rankfunc5_signed_64FAIL1200.16
rankfunc16_signed_64FAIL1200.16
rankfunc37_unsigned_32FAIL1200.16
rankfunc34_signed_32FAIL1200.16
rankfunc54_signed_32FAIL1200.16
rankfunc19_unsigned_16FAIL1200.16
rankfunc50_signed_64FAIL1200.16
rankfunc10_unsigned_64FAIL1200.16
rankfunc22_unsigned_32FAIL1200.16
rankfunc53_signed_16FAIL1200.16
rankfunc52_unsigned_32FAIL1200.16
rankfunc43_signed_64FAIL1200.16
rankfunc7_signed_16FAIL1200.16
rankfunc44_unsigned_32FAIL1200.16
rankfunc28_unsigned_16FAIL1200.16
rankfunc60_unsigned_32FAIL1200.16
rankfunc51_signed_32FAIL1200.16
rankfunc21_signed_16FAIL1200.16
rankfunc61_signed_32FAIL1200.16
rankfunc4_unsigned_16FAIL1200.16
rankfunc47_signed_64FAIL1200.16
rankfunc20_unsigned_32FAIL1200.16
rankfunc40_unsigned_64FAIL1200.16
rankfunc2_unsigned_64FAIL1200.16
rankfunc46_unsigned_32FAIL1200.16
rankfunc23_signed_64FAIL1200.16
rankfunc11_signed_32FAIL1200.16
rankfunc9_signed_64FAIL1200.16
rankfunc56_signed_16FAIL1200.16
rankfunc14_signed_64FAIL1200.16
rankfunc35_unsigned_32FAIL1200.17
rankfunc32_signed_64FAIL1200.17
rankfunc3_signed_64FAIL1200.17
rankfunc15_unsigned_32FAIL1200.17
rankfunc1_signed_32FAIL1200.17
rankfunc48_unsigned_16FAIL1200.17
rankfunc30_signed_64FAIL1200.17
rankfunc27_signed_64FAIL1200.17
rankfunc42_unsigned_16FAIL1200.17
rankfunc8_unsigned_32FAIL1200.17
rankfunc17_unsigned_16FAIL1200.17
rankfunc24_unsigned_64FAIL1200.17
rankfunc57_unsigned_64FAIL1200.17
rankfunc38_signed_32FAIL1200.17
rankfunc25_signed_64FAIL1200.18
rankfunc41_signed_32FAIL1200.18
rankfunc18_signed_64FAIL1200.18