From: Reducing Boolean networks with backward equivalence
MAPK
T-LGL
Original
IS
Maximal
Refined
STG generation
Out-of-memory
Atractor analysis
0.55
0.16
0.35
2.66
0.10
0.11
1.17