Instances of family s1196 solved by QELL_unit
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s1196_d5_uUNSAT462.18
s1196_d7_uUNSAT637.56