Instances of family irqlkeapclte solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
stmt19_64_99FAIL877.2
stmt17_63_82FAIL877.22
stmt28_68_81FAIL877.31
stmt17_86_98FAIL877.32
stmt17_70_90FAIL877.81