Instances of family irqlkeapclte solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt23_72_76FAIL599.71
stmt17_82_98FAIL599.72
stmt17_86_98FAIL599.81
stmt17_62_98FAIL599.82
stmt23_66_96FAIL599.83
stmt17_63_82FAIL599.83
stmt17_70_98FAIL599.83
stmt19_64_99FAIL599.89
stmt17_70_90FAIL599.9
stmt28_68_81FAIL599.92