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

InstanceResultTime
s820_d10_sFAIL50.27
s820_d15_uFAIL200.67