param: Output size information for the constructed model

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11616 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/param/ModelBuilder.java

@@ -268,6 +268,8 @@ public final class ModelBuilder extends PrismComponent
 		ParamModel modelExpl = constructModel(modulesFile);
 		time = System.currentTimeMillis() - time;
 
+		mainLog.print("\n"+modelExpl.infoStringTable());
+		
 		mainLog.println("\nTime for model construction: " + time / 1000.0 + " seconds.");
 		model = modelExpl;
 	}