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

InstanceResultTime
stmt28_68_81SAT70.42
stmt23_72_76SAT71.18
stmt17_63_82SAT91.22
stmt19_64_99SAT103.61
stmt23_66_96SAT105.2
stmt17_62_98SAT126.47
stmt17_82_98SAT134.45
stmt17_70_90SAT144.25
stmt17_70_98SAT173.88
stmt17_86_98SAT199.69