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

InstanceResultTime
rankfunc37_signed_16UNSAT0.26
rankfunc43_signed_16SAT81.22
rankfunc28_signed_16SAT91.17
rankfunc5_unsigned_16SAT98.11
rankfunc27_signed_16SAT105.47
rankfunc45_unsigned_16SAT114.77
rankfunc34_unsigned_32SAT122.19
rankfunc25_unsigned_16SAT122.83
rankfunc46_unsigned_16SAT128.3
rankfunc17_unsigned_16SAT138.85
rankfunc60_signed_64FAIL200.54
rankfunc33_unsigned_64FAIL231.74
rankfunc22_signed_32FAIL269.54
rankfunc22_unsigned_64FAIL282.85
rankfunc44_unsigned_64FAIL284.14
rankfunc21_signed_32FAIL284.23
rankfunc18_signed_32FAIL287.33
rankfunc8_unsigned_64FAIL289.03
rankfunc52_unsigned_32FAIL307.64
rankfunc43_signed_64FAIL314.84
rankfunc25_signed_64FAIL324.44
rankfunc58_unsigned_32FAIL326.85
rankfunc58_signed_32FAIL336.14
rankfunc36_signed_32FAIL338.95
rankfunc1_signed_32FAIL351.64
rankfunc45_unsigned_64FAIL358.63
rankfunc43_unsigned_32FAIL360.53
rankfunc45_signed_64FAIL369.23
rankfunc27_signed_32FAIL382.44
rankfunc3_unsigned_32FAIL389.83
rankfunc1_unsigned_64FAIL404.63
rankfunc46_unsigned_64FAIL413.43
rankfunc45_signed_32FAIL440.74
rankfunc26_unsigned_64FAIL445.03
rankfunc61_signed_32FAIL481.24
rankfunc60_signed_16FAIL502.64
rankfunc16_signed_32FAIL507.15
rankfunc57_signed_32FAIL535.33
rankfunc19_unsigned_64FAIL599.12
rankfunc15_unsigned_16FAIL599.12
rankfunc55_signed_16FAIL599.12
rankfunc16_signed_64FAIL599.21
rankfunc19_signed_16FAIL599.22
rankfunc15_signed_16FAIL599.22
rankfunc42_signed_64FAIL599.22
rankfunc16_unsigned_64FAIL599.22
rankfunc2_signed_16FAIL599.22
rankfunc3_unsigned_64FAIL599.22
rankfunc57_signed_16FAIL599.22
rankfunc56_unsigned_16FAIL599.32