Instances of family irqlkeapclte solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt19_87_95FAIL900
stmt17_78_98FAIL900
stmt19_65_87FAIL900.01
stmt19_79_83FAIL900.01
stmt17_86_98FAIL900.01
stmt17_70_82FAIL900.01
stmt19_64_91FAIL900.01
stmt17_78_90FAIL900.01
stmt17_82_98FAIL900.01
stmt17_63_70FAIL900.01
stmt17_74_78FAIL900.02
stmt23_72_76FAIL900.02
stmt17_94_98FAIL900.02
stmt19_71_95FAIL900.02
stmt23_66_76FAIL900.02
stmt17_78_94FAIL900.02
stmt17_62_98FAIL900.02
stmt23_67_92FAIL900.02
stmt17_82_94FAIL900.03
stmt28_68_81FAIL900.03
stmt23_66_67FAIL900.03
stmt28_73_85FAIL900.04
stmt17_63_78FAIL900.04
stmt19_64_87FAIL900.04
stmt17_82_86FAIL900.04
stmt28_89_97FAIL900.04
stmt17_70_78FAIL900.04
stmt23_88_92FAIL900.04
stmt17_74_90FAIL900.05
stmt19_79_87FAIL900.05
stmt17_70_90FAIL900.05
stmt19_83_91FAIL900.05
stmt19_65_95FAIL900.05
stmt23_92_96FAIL900.06
stmt28_73_97FAIL900.06
stmt28_68_73FAIL900.06
stmt23_66_96FAIL900.06
stmt19_64_99FAIL900.06
stmt19_75_83FAIL900.06
stmt17_63_82FAIL900.07
stmt17_70_86FAIL900.08
stmt17_62_78FAIL900.08
stmt28_68_69FAIL900.08
stmt19_75_95FAIL900.09
stmt17_70_98FAIL900.09