Instances of family irqlkeapclte solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
stmt23_72_76FAIL600
stmt28_68_81FAIL600
stmt17_82_98FAIL600
stmt23_66_96FAIL600
stmt17_70_90FAIL600
stmt19_64_99FAIL600
stmt17_63_82FAIL600
stmt17_62_98FAIL600
stmt17_86_98FAIL600
stmt17_70_98FAIL600