Instances of family irqlkeapclte solved by xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
stmt17_63_82SAT8.32
stmt19_64_99SAT49.29
stmt17_86_98FAIL599.61
stmt17_70_90FAIL599.61
stmt28_68_81FAIL599.71