Instances of family Blocks solved by cqesto
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
BLOCKS4iii.6FAIL900