Instances of family irqlkeapclte solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt23_72_76SAT30.78
stmt17_63_82SAT32.63
stmt17_62_98SAT35.75
stmt17_70_90SAT37.28
stmt17_70_98SAT39.31
stmt17_82_98SAT40.36
stmt28_68_81SAT40.69
stmt17_86_98SAT41.74
stmt19_64_99FAIL599.71
stmt23_66_96FAIL599.72