Skip to main content

Table 1 Analysis runtimes (in seconds) for the models in section Case Studies

From: Reducing Boolean networks with backward equivalence

 

MAPK

T-LGL

 

Original

IS

Maximal

Refined

Original

IS

Maximal

Refined

STG generation

Out-of-memory

Out-of-memory

Atractor analysis

0.55

0.16

0.16

0.35

2.66

0.10

0.11

1.17