Instances of family RankingFunctions solved by quantor-3.1
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
rankfunc4_unsigned_16SAT2.11
rankfunc37_unsigned_32UNSAT3.39
rankfunc14_signed_64FAIL20.69
rankfunc15_unsigned_32FAIL20.75
rankfunc40_unsigned_64FAIL20.82
rankfunc59_unsigned_16FAIL20.82
rankfunc8_unsigned_32FAIL21.12
rankfunc48_unsigned_16FAIL21.54
rankfunc49_signed_32FAIL21.57
rankfunc57_unsigned_64FAIL21.81
rankfunc55_unsigned_32FAIL22.01
rankfunc52_unsigned_32FAIL22.01
rankfunc16_signed_64FAIL22.24
rankfunc36_signed_64FAIL22.49
rankfunc29_signed_16FAIL22.65
rankfunc11_signed_32FAIL22.97
rankfunc24_unsigned_64FAIL23.06
rankfunc19_unsigned_16FAIL23.52
rankfunc50_signed_64FAIL23.55
rankfunc22_unsigned_32FAIL23.75
rankfunc2_unsigned_64FAIL23.83
rankfunc25_signed_64FAIL23.93
rankfunc10_unsigned_64FAIL24.29
rankfunc33_unsigned_32FAIL24.39
rankfunc9_signed_64FAIL24.43
rankfunc6_unsigned_16FAIL24.59
rankfunc26_unsigned_32FAIL24.59
rankfunc35_unsigned_32FAIL24.99
rankfunc61_signed_32FAIL25.15
rankfunc47_signed_64FAIL25.3
rankfunc58_signed_32FAIL25.34
rankfunc20_unsigned_32FAIL25.47
rankfunc56_signed_16FAIL25.5
rankfunc41_signed_32FAIL25.59
rankfunc46_unsigned_32FAIL25.83
rankfunc23_signed_64FAIL25.88
rankfunc39_unsigned_64FAIL26.16
rankfunc21_signed_16FAIL26.21
rankfunc30_signed_64FAIL26.6
rankfunc3_signed_64FAIL26.67
rankfunc5_signed_64FAIL27.32
rankfunc27_signed_64FAIL27.34
rankfunc28_unsigned_16FAIL27.38
rankfunc34_signed_32FAIL28.25
rankfunc53_signed_16FAIL28.29
rankfunc7_signed_16FAIL30.94
rankfunc1_signed_32FAIL30.95
rankfunc44_unsigned_32FAIL31.25
rankfunc17_unsigned_16FAIL31.29
rankfunc32_signed_64FAIL32.79
rankfunc12_unsigned_16FAIL34
rankfunc31_unsigned_16FAIL35.92
rankfunc42_unsigned_16FAIL41.17
rankfunc54_signed_32FAIL45.8
rankfunc51_signed_32FAIL47.49
rankfunc45_signed_16FAIL51.74
rankfunc38_signed_32FAIL55.14
rankfunc18_signed_64FAIL56.9
rankfunc43_signed_64FAIL57.36
rankfunc60_unsigned_32FAIL59.89