Instances of family irqlkeapclte solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
stmt17_82_98FAIL299.82
stmt23_66_96FAIL299.83
stmt19_64_99FAIL299.85
stmt17_63_82FAIL299.85
stmt17_62_98FAIL299.85
stmt23_72_76FAIL299.86
stmt28_68_81FAIL299.9
stmt17_70_90FAIL299.91
stmt17_70_98FAIL299.92
stmt17_86_98FAIL299.93