Instances of family RankingFunctions solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
rankfunc33_signed_32FAIL599.81
rankfunc22_signed_64FAIL599.81
rankfunc3_signed_64FAIL599.81
rankfunc13_signed_32FAIL599.81
rankfunc5_unsigned_64FAIL599.81
rankfunc5_signed_32FAIL599.81
rankfunc14_signed_64FAIL599.81
rankfunc51_signed_32FAIL599.81
rankfunc13_unsigned_64FAIL599.81
rankfunc17_unsigned_16FAIL599.81