Instances of family irqlkeapclte solved by iprover-QBF
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt7_33_34FAIL326.34
stmt17_63_70FAIL330.05
stmt28_68_69FAIL345.24
stmt23_66_76FAIL376.44
stmt28_68_73FAIL394.53
stmt23_72_76FAIL412.44
stmt17_63_78FAIL427.43
stmt17_62_78FAIL448.24
stmt17_70_78FAIL467.65
stmt17_63_82FAIL480.03
stmt23_66_67FAIL481.83
stmt23_66_96FAIL482.33
stmt17_74_78FAIL490.43
stmt28_68_81FAIL505.53
stmt19_65_95FAIL508.37
stmt19_64_99FAIL509.23
stmt17_62_98FAIL519.24
stmt17_70_82FAIL523.24
stmt19_64_87FAIL528.17
stmt17_70_98FAIL530.03
stmt28_73_97FAIL537.33
stmt19_71_95FAIL537.44
stmt19_75_83FAIL544.24
stmt17_78_98FAIL547.13
stmt19_75_95FAIL556.33
stmt17_82_98FAIL558.84
stmt17_70_86FAIL559.07
stmt19_79_83FAIL561.53
stmt19_65_87FAIL562.03
stmt17_86_98FAIL568.13
stmt17_78_94FAIL580.83
stmt28_89_97FAIL583.63
stmt17_94_98FAIL587.03
stmt17_82_94FAIL599.22
stmt19_64_91FAIL599.22
stmt23_67_92FAIL599.22
stmt17_78_90FAIL599.22
stmt17_70_90FAIL599.22
stmt23_88_92FAIL599.22
stmt17_82_86FAIL599.22
stmt19_83_91FAIL599.22
stmt19_87_95FAIL599.22
stmt28_73_85FAIL599.22
stmt19_79_87FAIL599.22
stmt23_92_96FAIL599.22
stmt17_74_90FAIL599.22