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

InstanceResultTime
stmt7_33_34SAT0.41
stmt23_66_67SAT4.91
stmt17_63_70SAT5.42
stmt23_66_76SAT5.91
stmt17_63_78SAT6.51
stmt17_63_82SAT6.91
stmt19_64_91SAT8.41
stmt19_71_95FAIL592.52
stmt17_70_98FAIL592.62
stmt28_89_97FAIL592.72
stmt17_62_78FAIL592.72
stmt19_83_91FAIL592.83
stmt17_70_82FAIL592.93
stmt17_82_86FAIL592.94
stmt17_62_98FAIL592.94
stmt28_68_69FAIL593.02
stmt17_74_78FAIL593.02
stmt17_78_98FAIL593.12
stmt19_87_95FAIL593.12
stmt19_65_87FAIL593.12
stmt28_73_97FAIL593.12
stmt17_86_98FAIL593.12
stmt19_64_99FAIL593.12
stmt19_75_83FAIL593.12
stmt17_82_98FAIL593.32
stmt19_79_83FAIL593.32
stmt28_73_85FAIL593.32
stmt23_72_76FAIL593.32
stmt23_92_96FAIL593.32
stmt17_94_98FAIL593.32
stmt17_82_94FAIL593.32
stmt17_78_90FAIL593.42
stmt17_70_86FAIL593.42
stmt28_68_81FAIL593.52
stmt17_70_90FAIL593.52
stmt19_75_95FAIL593.52
stmt19_64_87FAIL593.62
stmt23_67_92FAIL593.62
stmt23_88_92FAIL593.62
stmt19_65_95FAIL593.62
stmt17_74_90FAIL593.62
stmt28_68_73FAIL593.62
stmt17_70_78FAIL593.63
stmt19_79_87FAIL593.72
stmt17_78_94FAIL593.72
stmt23_66_96FAIL593.94