A compact IFC4 house with a barrel roof, exported from Revit. Its envelope elements carry IsExternal and U-values, which makes it the model to try the Thermal Bridging Checker on.
Each file names the tools that read it. Open the model first, then load the file into the tool.