Skip to main content

Table 2 Size of infinitely visited state sets for partial models

From: Qualitative networks: a symbolic approach to analyze biological signaling networks

Size Before After BDD Nodes
1 1.4 · 106 3424 427
2 2.9 · 108 3424 451
3 2.9 · 108 3424 475
4 2.9 · 108 3424 499
5 4.5 · 108 1.3 · 106 1189
6 2.5 · 1011 5.2 · 106 23092
7 1.0 · 1012 7.2 · 108 70626
8 1.4 · 1013 5.6 · 108 146169
9 1.1 · 1014 5.5 · 109 253558
10 6.1 · 1013 255 8830
  1. This table describes the execution of the algorithm on the 10 cells Notch/Wnt model. For each partial model, the number of potentially infinitely visited states before the execution of the algorithm and the number of infinitely visited states found by the algorithm are indicated. The size of the symbolic representation of the infinitely visited states of the partition is indicated in terms of number of BDD nodes.