Instances of family irqlkeapclte solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
stmt28_68_81FAIL339.06
stmt17_63_82FAIL339.78
stmt19_64_99FAIL347.93
stmt17_70_90FAIL367.87
stmt17_82_98FAIL373.25
stmt23_66_96FAIL394.05
stmt17_86_98FAIL413.18
stmt17_70_98FAIL467.03
stmt17_62_98FAIL469.41
stmt23_72_76FAIL900