Table 2

Size of infinitely visited state sets for partial models

Size

Before

After

BDD Nodes

1

1.4 · 10⁶

3424

427

2

2.9 · 10⁸

3424

451

3

2.9 · 10⁸

3424

475

4

2.9 · 10⁸

3424

499

5

4.5 · 10⁸

1.3 · 10⁶

1189

6

2.5 · 10¹¹

5.2 · 10⁶

23092

7

1.0 · 10¹²

7.2 · 10⁸

70626

8

1.4 · 10¹³

5.6 · 10⁸

146169

9

1.1 · 10¹⁴

5.5 · 10⁹

253558

10

6.1 · 10¹³

255

8830

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.

Schaub et al. BMC Systems Biology 2007 1:4   doi:10.1186/1752-0509-1-4