Fig. 4

Large-scale validation: STG generation speed-up. STG generation time for the maximal and the IS reductions. We consider the 13 models omitted in Fig. 3 because the STG generation failed for the original models. The x-axis refers to the model identifier from Fig. 2, while the y-axis refers to the generation time for the reduced models, using green circles and blue crosses for maximal and IS reductions, respectively. The runtimes are averaged over 3 runs