Instances of family irqlkeapclte solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
stmt7_33_34SAT1.29
stmt23_92_96FAIL437.59
stmt17_86_98FAIL451.21
stmt28_89_97FAIL453.2
stmt23_66_67FAIL456.26
stmt17_94_98FAIL457.49
stmt17_63_82FAIL459.66
stmt19_64_91FAIL461.47
stmt23_72_76FAIL463.38
stmt23_66_96FAIL467.25
stmt19_64_99FAIL468.5
stmt17_63_70FAIL474.86
stmt19_79_83FAIL476.69
stmt28_68_69FAIL477.01
stmt28_73_85FAIL477.55
stmt17_70_90FAIL477.69
stmt19_65_95FAIL478.06
stmt19_79_87FAIL478.48
stmt23_66_76FAIL478.5
stmt17_74_90FAIL478.78
stmt19_71_95FAIL479.14
stmt17_62_98FAIL479.73
stmt17_78_90FAIL480.15
stmt17_82_86FAIL480.2
stmt19_75_95FAIL480.25
stmt28_68_73FAIL480.41
stmt17_70_98FAIL480.7
stmt19_83_91FAIL481.47
stmt17_78_94FAIL481.89
stmt17_62_78FAIL482.26
stmt17_70_78FAIL482.43
stmt23_88_92FAIL482.44
stmt28_73_97FAIL482.57
stmt17_63_78FAIL482.78
stmt19_64_87FAIL483.01
stmt17_82_94FAIL483.25
stmt28_68_81FAIL483.33
stmt17_78_98FAIL483.44
stmt19_87_95FAIL483.85
stmt17_74_78FAIL483.97
stmt17_70_86FAIL484.03
stmt17_82_98FAIL484.46
stmt17_70_82FAIL484.86
stmt19_65_87FAIL484.87
stmt19_75_83FAIL485.85
stmt23_67_92FAIL487.46