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

InstanceResultTime
stmt28_73_85FAIL900
stmt17_63_78FAIL900
stmt28_68_69FAIL900
stmt19_71_95FAIL900
stmt19_64_91FAIL900
stmt23_66_76FAIL900
stmt19_75_83FAIL900
stmt19_65_87FAIL900
stmt17_70_82FAIL900
stmt23_67_92FAIL900
stmt28_68_73FAIL900
stmt17_78_90FAIL900
stmt17_74_90FAIL900
stmt19_64_87FAIL900
stmt17_78_98FAIL900
stmt19_65_95FAIL900
stmt19_75_95FAIL900
stmt23_66_67FAIL900
stmt28_89_97FAIL900
stmt19_87_95FAIL900
stmt17_62_78FAIL900
stmt19_83_91FAIL900
stmt23_88_92FAIL900
stmt28_73_97FAIL900
stmt17_82_86FAIL900
stmt17_63_70FAIL900
stmt17_70_86FAIL900
stmt17_78_94FAIL900
stmt17_70_78FAIL900
stmt23_92_96FAIL900
stmt19_79_83FAIL900
stmt19_79_87FAIL900
stmt17_82_94FAIL900
stmt17_74_78FAIL900
stmt17_94_98FAIL900