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

InstanceResultTime
stmt23_72_76FAIL131.65
stmt17_86_98FAIL138.65
stmt17_70_90FAIL140.39
stmt17_63_82FAIL147.49
stmt17_70_98FAIL154.32
stmt28_68_81FAIL158.2
stmt17_82_98FAIL159.64
stmt19_64_99FAIL159.92
stmt23_66_96FAIL161.73
stmt17_62_98FAIL194.37