Instances of family irqlkeapclte solved by Nenofex
QBFEVAL'08

InstanceResultTime
stmt23_66_76FAIL138.87
stmt28_68_69FAIL146.71
stmt17_63_78FAIL154.26
stmt17_63_82FAIL163.11
stmt23_72_76FAIL170.16
stmt17_62_78FAIL173.67
stmt19_64_87FAIL174.8
stmt28_68_81FAIL179.04
stmt17_63_70FAIL183.87
stmt19_64_91FAIL186.44
stmt28_68_73FAIL188.67
stmt23_66_67FAIL192.76
stmt17_70_78FAIL193.83
stmt19_65_87FAIL194.22
stmt17_70_82FAIL198.44
stmt23_66_96FAIL201.86
stmt23_67_92FAIL203.11
stmt19_64_99FAIL212.37
stmt17_74_78FAIL212.43
stmt19_65_95FAIL216.9
stmt19_75_83FAIL219.49
stmt17_70_86FAIL219.82
stmt28_73_97FAIL225.47
stmt17_70_90FAIL226.29
stmt17_78_94FAIL229.32
stmt17_62_98FAIL231.17
stmt28_73_85FAIL231.44
stmt19_83_91FAIL233.15
stmt19_71_95FAIL237.72
stmt19_79_83FAIL238.35
stmt17_74_90FAIL244
stmt17_78_98FAIL247.6
stmt17_82_94FAIL251.3
stmt17_70_98FAIL252.03
stmt23_88_92FAIL257.04
stmt19_75_95FAIL260.7
stmt17_78_90FAIL262.54
stmt7_33_34FAIL265.38
stmt17_82_98FAIL266.57
stmt19_87_95FAIL268.46
stmt17_82_86FAIL268.75
stmt19_79_87FAIL273.09
stmt17_86_98FAIL286.23
stmt23_92_96FAIL290.37
stmt28_89_97FAIL309.64
stmt17_94_98FAIL331.18