Instances of family irqlkeapclte solved by squeezebf+struqs
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt7_33_34SAT358.29
stmt19_65_87FAIL599.71
stmt17_74_78FAIL599.71
stmt23_92_96FAIL599.71
stmt28_73_85FAIL599.71
stmt19_79_87FAIL599.71
stmt23_72_76FAIL599.71
stmt17_74_90FAIL599.71
stmt17_63_82FAIL599.71
stmt17_94_98FAIL599.71
stmt23_66_76FAIL599.71
stmt17_63_78FAIL599.71
stmt28_73_97FAIL599.71
stmt19_71_95FAIL599.71
stmt17_86_98FAIL599.71
stmt28_68_73FAIL599.71
stmt17_62_98FAIL599.71
stmt17_78_94FAIL599.71
stmt17_82_94FAIL599.71
stmt17_62_78FAIL599.71
stmt17_70_82FAIL599.71
stmt19_64_91FAIL599.71
stmt19_64_99FAIL599.71
stmt19_75_83FAIL599.71
stmt28_68_81FAIL599.71
stmt23_66_96FAIL599.71
stmt19_64_87FAIL599.71
stmt23_67_92FAIL599.71
stmt17_78_98FAIL599.71
stmt17_70_98FAIL599.71
stmt17_70_90FAIL599.71
stmt23_66_67FAIL599.71
stmt28_89_97FAIL599.71
stmt17_78_90FAIL599.71
stmt17_82_98FAIL599.71
stmt19_83_91FAIL599.71
stmt23_88_92FAIL599.71
stmt19_65_95FAIL599.71
stmt17_70_78FAIL599.71
stmt17_63_70FAIL599.71
stmt19_87_95FAIL599.71
stmt19_75_95FAIL599.81
stmt28_68_69FAIL599.81
stmt17_82_86FAIL599.81
stmt19_79_83FAIL599.81
stmt17_70_86FAIL599.81