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

InstanceResultTime
stmt17_63_82SAT26.96
stmt28_68_81SAT30.92
stmt17_70_90SAT35.33
stmt19_64_99SAT37.33
stmt17_86_98SAT50.08