Instances of family RankingFunctions solved by nenofex-qbfeval10
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
rankfunc4_unsigned_16SAT0.05
rankfunc34_signed_32SAT0.16
rankfunc37_unsigned_32UNSAT0.18
rankfunc59_unsigned_16SAT0.84
rankfunc28_unsigned_16SAT0.96
rankfunc38_signed_32SAT1.19
rankfunc36_signed_64SAT1.94
rankfunc22_unsigned_32SAT2.15
rankfunc61_signed_32SAT3.68
rankfunc9_signed_64SAT4.38
rankfunc52_unsigned_32SAT4.54
rankfunc12_unsigned_16SAT5.52
rankfunc31_unsigned_16SAT46.99
rankfunc45_signed_16FAIL54.1
rankfunc56_signed_16FAIL71.34
rankfunc53_signed_16FAIL87.51
rankfunc27_signed_64FAIL135.08
rankfunc44_unsigned_32FAIL136.61
rankfunc33_unsigned_32FAIL147.27
rankfunc30_signed_64FAIL171.08
rankfunc26_unsigned_32FAIL239.36
rankfunc24_unsigned_64FAIL240.23
rankfunc48_unsigned_16FAIL287.39
rankfunc25_signed_64FAIL293.52
rankfunc50_signed_64FAIL298.33
rankfunc41_signed_32FAIL298.88
rankfunc40_unsigned_64FAIL301.12
rankfunc7_signed_16FAIL306.46
rankfunc43_signed_64FAIL310.58
rankfunc51_signed_32FAIL320.9
rankfunc49_signed_32FAIL329.98
rankfunc58_signed_32FAIL330.45
rankfunc8_unsigned_32FAIL360.85
rankfunc3_signed_64FAIL378.08
rankfunc1_signed_32FAIL397.37
rankfunc29_signed_16FAIL431.74
rankfunc2_unsigned_64FAIL466.8
rankfunc55_unsigned_32FAIL479.24
rankfunc42_unsigned_16FAIL484.22
rankfunc46_unsigned_32FAIL489.04
rankfunc54_signed_32FAIL531.44
rankfunc21_signed_16SAT532.93
rankfunc19_unsigned_16FAIL536.82
rankfunc11_signed_32FAIL541.45
rankfunc16_signed_64FAIL578.6
rankfunc14_signed_64FAIL619.55
rankfunc17_unsigned_16FAIL627.11
rankfunc10_unsigned_64FAIL637.78
rankfunc32_signed_64FAIL655.25
rankfunc6_unsigned_16FAIL695.52
rankfunc15_unsigned_32FAIL744.34
rankfunc20_unsigned_32FAIL797.47
rankfunc39_unsigned_64FAIL815.86
rankfunc57_unsigned_64FAIL843.94
rankfunc18_signed_64FAIL847.13
rankfunc47_signed_64FAIL847.57
rankfunc5_signed_64FAIL849.21
rankfunc35_unsigned_32FAIL1050.36
rankfunc23_signed_64FAIL1200.23
rankfunc60_unsigned_32FAIL1200.23