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

InstanceResultTime
stmt17_63_82SAT6.31
stmt23_72_76SAT6.74
stmt28_68_81SAT7.54
stmt23_66_96SAT8.3
stmt19_64_99SAT8.92
stmt17_70_90SAT9.9
stmt17_62_98SAT10.51
stmt17_82_98SAT14.7
stmt17_70_98SAT48.94
stmt17_86_98SAT64.65