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

InstanceResultTime
s820_d10_sSAT95.9
s820_d15_uUNSAT247.91