Table 7. Comparison of average model checker execution times when PBLMSTL statements corresponding to a computational model are stored in a single, respectively multiple separate files.

MId	Execution time (seconds)
	Single file	Separate files
1	17.9	53.07
2	0.56	1.63
3	36.3	105
4	87.51	264.68

The “MId” column records the numeric identifiers associated with each computational model. Average model checker execution times corresponding to PBLMSTL statements stored in a single, respectively multiple separate files are given in columns “Single file” and “Separate files”.