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

InstanceResultTime
s820_d10_sFAIL900
s820_d15_uFAIL900