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

InstanceResultTime
stmt19_64_99FAIL591.62
stmt23_66_96FAIL591.74
stmt17_70_82FAIL591.75
stmt23_88_92FAIL591.84
stmt19_65_95FAIL591.84
stmt19_64_91FAIL591.85
stmt17_78_90FAIL591.85
stmt23_92_96FAIL591.85
stmt17_63_78FAIL591.85
stmt17_82_86FAIL591.92
stmt17_70_98FAIL591.93
stmt19_87_95FAIL591.94
stmt17_62_78FAIL592.02
stmt28_73_97FAIL592.02
stmt19_75_95FAIL592.02
stmt19_75_83FAIL592.12
stmt28_68_81FAIL592.12
stmt17_70_90FAIL592.12
stmt19_79_87FAIL592.12
stmt17_62_98FAIL592.12
stmt17_82_94FAIL592.22
stmt28_68_69FAIL592.22
stmt23_66_67FAIL592.22
stmt28_73_85FAIL592.22
stmt23_72_76FAIL592.22
stmt28_68_73FAIL592.22
stmt19_64_87FAIL592.32
stmt19_83_91FAIL592.32
stmt17_70_78FAIL592.32
stmt17_94_98FAIL592.32
stmt17_78_94FAIL592.32
stmt17_78_98FAIL592.42
stmt28_89_97FAIL592.42
stmt17_70_86FAIL592.42
stmt17_63_70FAIL592.42
stmt17_63_82FAIL592.42
stmt23_67_92FAIL592.52
stmt19_79_83FAIL592.52
stmt19_65_87FAIL592.52
stmt17_86_98FAIL592.52
stmt17_82_98FAIL592.62
stmt17_74_78FAIL592.62
stmt19_71_95FAIL592.84
stmt17_74_90FAIL592.93
stmt23_66_76FAIL592.94
stmt7_33_34FAIL593.62