Fig. 2From: Reducing Boolean networks with backward equivalenceLarge-scale validation: reduction power. The x-axis provides model identifiers for the 86 considered models (only even ones are shown due to space constraints), while the y-axis refers to reduction ratios “reduced variables over original ones”. The green dots denote the reduction ratios, in increasing order, for maximal reductions. Using the same ordering, the blue crosses denote the reduction ratios for IS reductions. Only 6 models do not admit any BBE reduction, while two more models (33 and 58) do not admit IS reductionBack to article page