Hi, the problem likely is related to the mesh join components you are using before feeding the merged meshes into the ShapeDiver Display components. In case the meshes resulting from the merge components have more than 65536 vertices than they need to be decimated, which costs a significant amount of computation time and may lead the model checking to time out. Please simply try to remove the mesh merge components, which will allow the ShapeDiver Display components to merge small meshes into bigger ones itself.
When doing this please make sure to feed a list of meshes to the display component (not a tree), because in case of a tree meshes contained in different branches would not get merged. You can read more about the reason for this here.