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

InstanceResultTime
stmt17_62_98FAIL900
stmt17_86_98FAIL900
stmt17_70_98FAIL900
stmt23_72_76FAIL900
stmt28_68_81FAIL900
stmt17_82_98FAIL900
stmt23_66_96FAIL900
stmt17_70_90FAIL900
stmt19_64_99FAIL900
stmt17_63_82FAIL900