Instances of family irqlkeapclte solved by AIGSolve
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt17_63_82SAT10.55
stmt19_64_99SAT12.44
stmt23_66_96SAT13.96
stmt28_68_81SAT14.55
stmt23_72_76SAT15.37
stmt17_62_98SAT18.67
stmt17_70_98SAT19.44
stmt17_86_98SAT19.5
stmt17_70_90SAT19.68
stmt17_82_98SAT21.95