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

InstanceResultTime
rankfunc51_signed_32FAIL88.98
rankfunc33_signed_32FAIL92.31
rankfunc13_unsigned_64FAIL92.66
rankfunc17_unsigned_16FAIL93.83
rankfunc5_signed_32FAIL96.38
rankfunc14_signed_64FAIL97.03
rankfunc5_unsigned_64FAIL100.36
rankfunc3_signed_64FAIL102.67
rankfunc13_signed_32FAIL103.53
rankfunc22_signed_64FAIL104.53