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

InstanceResultTime
stmt7_33_34SAT501.66
stmt28_68_81FAIL1200.09
stmt17_63_70FAIL1200.09
stmt23_66_76FAIL1200.09
stmt19_79_87FAIL1200.09
stmt17_63_78FAIL1200.09
stmt17_82_94FAIL1200.11