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

InstanceResultTime
stmt7_33_34SAT0.29
stmt23_66_67SAT3.83
stmt17_63_70SAT4.14
stmt19_64_87SAT5.96
stmt19_71_95FAIL119.34
stmt17_78_90FAIL123.03
stmt17_70_98FAIL126.43
stmt28_73_85FAIL131.23
stmt19_83_91FAIL134.34
stmt17_74_90FAIL134.45
stmt17_62_98FAIL138.75
stmt17_78_94FAIL142.05
stmt23_88_92FAIL143.23
stmt19_65_95FAIL146.44
stmt19_79_87FAIL146.84
stmt17_82_94FAIL148.24
stmt28_73_97FAIL153.34
stmt19_87_95FAIL154.33
stmt19_79_83FAIL156.84
stmt17_82_86FAIL160.33
stmt17_82_98FAIL169.64
stmt17_86_98FAIL171.43
stmt28_89_97FAIL171.65
stmt23_92_96FAIL174.53
stmt17_78_98FAIL180.93
stmt17_94_98FAIL181.64
stmt17_70_90FAIL194.33
stmt19_65_87FAIL194.74
stmt17_70_86FAIL200.53
stmt17_70_82FAIL204.83
stmt19_75_83FAIL217.94
stmt17_74_78FAIL231.94
stmt23_67_92FAIL435.64
stmt23_66_96FAIL444.93
stmt19_64_91FAIL459.44
stmt17_70_78FAIL481.03
stmt28_68_81FAIL482.95
stmt23_66_76FAIL492.54
stmt17_63_78FAIL494.74
stmt28_68_73FAIL522.14
stmt17_63_82FAIL548.13
stmt28_68_69FAIL565.04
stmt17_62_78FAIL587.13
stmt19_64_99FAIL599.23
stmt23_72_76FAIL599.23