Automata network | |States| | Goal | MC (NuSMV) | With \((\mathrm{I3})\) | With \((\mathrm{I3}^\#)\) | |||
---|---|---|---|---|---|---|---|---|
\(|t_b|\) | Time (s) | \(|t_b|\) | Time (s) | \(|t_b|\) | Time (s) | |||
Lambda phage \(|\Sigma |=4\quad |T|=11\) | 14 | \(\mathrm {CI}_2\) | 10 | 0.1 | 6 | 0.1 | 0 | 0.2 |
\(\mathrm {Cro}_2\) | 3 | 0.1 | 3 | 0.1 | 2 | 0.3 | ||
EGF/TNF \(|\Sigma |=28\quad |T|=55\) | 3698 | \(\mathrm {NFkB}_0\) | 5 | 0.2 | 4 | 0.1 | 2 | 0.1 |
\(\mathrm {IKB}_1\) | 5 | 0.2 | 3 | 0.1 | 2 | 0.1 | ||
Th_th1 \(|\Sigma |=101\quad |T|=381\) | ≈3.10^{11} | \(\mathrm {BCL6}_1\) | 8 | 13 | 6 | 16 | 5 | 23 |
\(\mathrm {TBET}_1\) | 11 | 14 | 5 | 10 | 4 | 24 | ||
Th_th2 \(|\Sigma |=101\quad |T|=381\) | ≈10^{12} | \(\mathrm {GATA3}_1\) | 9 | 108 | 8 | 24 | 7 | 20 |
\(\mathrm {BCL6}_1\) | 7 | 570 | 5 | 25 | 4 | 25 | ||
Th_pluri \(|\Sigma |=101\quad |T|=381\) | >5.10^{14} |
BCL6_{1}
IL21_{1} FOXP3_{1} TGFB_{1} | Out-of-time | Out-of-time | 2 | 32 | ||
0 | 26 | |||||||
4 | 56 | |||||||
5 | 96 |