Instances of family irqlkeapclte solved by depqbf
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt28_68_81FAIL1200.15
stmt7_33_34FAIL1200.15
stmt17_63_70FAIL1200.16
stmt23_66_76FAIL1200.16
stmt19_79_87FAIL1200.16
stmt17_63_78FAIL1200.16
stmt17_82_94FAIL1200.16