Scatter Plot from Scientific Research

Large-scale validation: Attractor computation speed-up. Attractor computation time of the original models versus the one of maximal and IS reductions. Out of the 86 models from Fig. 2 we select the 78 admitting both maximal and IS reduction. The figure further omits models 18 and 29 from Fig. 2 for which the analysis failed for the original model due to time-out . The x-axis refers to the analysis time for original models, while the y-axis refers to that for reduced models, using green circles and blue crosses for maximal and IS reductions, respectively. The runtimes are averaged over 3 runs

DOI