SolutionGuarantor: static bufferCores, buffers Cores by a number of Blocks
coresolvertest: modifying sopnet test. Care must be taken