Instances of family RankingFunctions solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
rankfunc13_signed_32FAIL0.02
rankfunc5_signed_32FAIL0.02
rankfunc51_signed_32FAIL0.02
rankfunc17_unsigned_16FAIL0.02
rankfunc33_signed_32FAIL0.11
rankfunc3_signed_64FAIL600.42
rankfunc5_unsigned_64FAIL600.64
rankfunc14_signed_64FAIL602.32
rankfunc22_signed_64FAIL604.02
rankfunc13_unsigned_64FAIL606.52