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

InstanceResultTime
stmt7_33_34SAT52.27
stmt17_63_70FAIL1200.03
stmt23_66_76FAIL1200.04
stmt19_79_87FAIL1200.04
stmt17_63_78FAIL1200.04
stmt17_82_94FAIL1200.04
stmt28_68_81FAIL1200.04