Instances of family s820 solved by heretiq
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s820_d15_uFAIL900
s820_d10_sFAIL900