Instances of family irqlkeapclte solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
stmt17_63_82SAT7.06
stmt23_72_76SAT7.85
stmt28_68_81SAT8.14
stmt19_64_99SAT10.48
stmt23_66_96SAT10.67
stmt17_70_90SAT10.73
stmt17_62_98SAT12.99
stmt17_70_98SAT15.22
stmt17_82_98SAT17.3
stmt17_86_98SAT19.25