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

InstanceResultTime
stmt17_86_98FAIL593.42
stmt17_70_90FAIL594.32
stmt17_63_82FAIL594.62
stmt19_64_99FAIL596.32
stmt17_82_98FAIL597.62
stmt17_62_98FAIL598.35
stmt17_70_98FAIL598.72
stmt23_66_96FAIL603.85
stmt23_72_76FAIL607.15
stmt28_68_81FAIL608.32