Skip to main content

Table 1 Execution times for variations of the Notch/Wnt model

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

Size

Pattern

Time

Initial states

Inf. visited states

3

OMH

33 sec.

436 ≈ 1021

1

4

OMHH

4 min. 27 sec.

448 ≈ 1028

256

5

OMHHH

21 min.

460 ≈ 1036

6561

6

OOMHHH

24 min.

472 ≈ 1043

6561

7

OOOMHHH

26 min.

484 ≈ 1050

6561

8

OOOLMHHH

63 min.

496 ≈ 1057

256

9

OOOLMHHHH

171 min.

4108 ≈ 1065

256

10

OOOOLMHHHH

181 min.

4120 ≈ 1072

256

11

OOOOLMHHHHH

513 min.

4132 ≈ 1079

256

12

OOOOOLMHHHHH

543 min.

4144 ≈ 1086

256

  1. This table indicates the execution time for various sizes of the model. The patterns indicate the fixed amount of Notch receptor chosen for each cell of the model. The letters O, L, M and H represents a cell in which the amount of Notch receptor is set to respectively off, low, medium and high. The number of initial states (which is equal to the number of states of the model) and the number of infinitely visited states are also indicated.