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

InstanceResultTime
BLOCKS4iii.6FAIL900