Instances of family irqlkeapclte solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt23_72_76FAIL412.65
stmt17_63_82FAIL480.84
stmt23_66_96FAIL482.63
stmt28_68_81FAIL505.63
stmt19_64_99FAIL509.44
stmt17_62_98FAIL520.73
stmt17_70_98FAIL529.73
stmt17_82_98FAIL558.63
stmt17_86_98FAIL568.13
stmt17_70_90FAIL599.22