Instances of family irqlkeapclte solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
stmt7_33_34SAT26.31
stmt23_88_92FAIL600
stmt19_65_95FAIL600
stmt17_82_98FAIL600
stmt17_82_86FAIL600
stmt19_83_91FAIL600
stmt19_79_83FAIL600
stmt17_70_86FAIL600
stmt19_87_95FAIL600
stmt17_70_78FAIL600
stmt17_63_70FAIL600
stmt28_73_85FAIL600
stmt19_79_87FAIL600
stmt23_72_76FAIL600
stmt19_65_87FAIL600
stmt17_74_78FAIL600
stmt23_92_96FAIL600
stmt23_66_76FAIL600
stmt17_63_78FAIL600
stmt28_73_97FAIL600
stmt17_74_90FAIL600
stmt17_63_82FAIL600
stmt17_94_98FAIL600
stmt17_86_98FAIL600
stmt28_68_73FAIL600
stmt17_62_98FAIL600
stmt17_78_94FAIL600
stmt19_75_95FAIL600
stmt19_71_95FAIL600
stmt19_64_91FAIL600
stmt19_64_99FAIL600
stmt19_75_83FAIL600
stmt17_82_94FAIL600
stmt17_62_78FAIL600
stmt17_70_82FAIL600
stmt23_67_92FAIL600
stmt17_78_98FAIL600
stmt17_70_98FAIL600
stmt28_68_81FAIL600
stmt23_66_96FAIL600
stmt19_64_87FAIL600
stmt28_89_97FAIL600
stmt17_78_90FAIL600
stmt28_68_69FAIL600
stmt17_70_90FAIL600
stmt23_66_67FAIL600