- This repository provides resources for the evaluations of SAF.
| Name | File(asp) | File(an) | #Automata | #Transition | Attractors | ASP | SAF(S) | SAF(E) |
|---|---|---|---|---|---|---|---|---|
| Example | .lp | .an | 4 | 12 | 1(3):2(1):4(1) | asp | SAF(S) | SAF(E) |
| Lambda phage | .lp | .an | 4 | 46 | 1(1):2(1) | asp | SAF(S) | SAF(E) |
| Trp-reg | .lp | .an | 4 | 14 | 1(2):4(1) | asp | SAF(S) | SAF(E) |
| Fission-yeast | .lp | .an | 9 | 43 | 1(1) | asp | SAF(S) | SAF(E) |
| Mamm. | .lp | .an | 10 | 34 | 1(1) | asp | SAF(S) | SAF(E) |
| Tcrsig | .lp | .an | 40 | 85 | 1(8) | asp | SAF(S) | SAF(E) |
| FGF | .lp | .an | 59 | 102 | 1(1536) | asp | SAF(S) | SAF(E) |
| T-helper | .lp | .an | 101 | 316 | 1(5875504) | asp | SAF(S) | SAF(E) |
| star02 | .lp | .an | 2 | 4 | 3(1) | asp | SAF(S) | SAF(E) |
| star03 | .lp | .an | 3 | 6 | 4(1) | asp | SAF(S) | SAF(E) |
| star04 | .lp | .an | 4 | 8 | 5(1) | asp | SAF(S) | SAF(E) |
| star05 | .lp | .an | 5 | 10 | 6(1) | asp | SAF(S) | SAF(E) |
| star06 | .lp | .an | 6 | 12 | 7(1) | asp | SAF(S) | SAF(E) |
| star07 | .lp | .an | 7 | 14 | 8(1) | asp | SAF(S) | SAF(E) |
| star08 | .lp | .an | 8 | 16 | 9(1) | asp | SAF(S) | SAF(E) |
| star09 | .lp | .an | 9 | 18 | 10(1) | asp | SAF(S) | SAF(E) |
| star10 | .lp | .an | 10 | 20 | 11(1) | asp | SAF(S) | SAF(E) |
| star11 | .lp | .an | 11 | 22 | 12(1) | asp | SAF(S) | SAF(E) |
| star12 | .lp | .an | 12 | 24 | 13(1) | asp | SAF(S) | SAF(E) |
| star13 | .lp | .an | 13 | 26 | 14(1) | asp | SAF(S) | SAF(E) |
| star14 | .lp | .an | 14 | 28 | 15(1) | asp | SAF(S) | SAF(E) |
| star15 | .lp | .an | 15 | 30 | 16(1) | asp | SAF(S) | SAF(E) |
| star16 | .lp | .an | 16 | 32 | 17(1) | asp | SAF(S) | SAF(E) |
| star17 | .lp | .an | 17 | 34 | 18(1) | asp | SAF(S) | SAF(E) |
| star18 | .lp | .an | 18 | 36 | 19(1) | asp | SAF(S) | SAF(E) |
| star19 | .lp | .an | 19 | 38 | 20(1) | asp | SAF(S) | SAF(E) |
| star20 | .lp | .an | 20 | 40 | 21(1) | asp | SAF(S) | SAF(E) |
| star30 | .lp | .an | 30 | 60 | 31(1) | asp | SAF(S) | SAF(E) |
| star40 | .lp | .an | 40 | 80 | 41(1) | asp | SAF(S) | SAF(E) |
| star50 | .lp | .an | 50 | 100 | 51(1) | asp | SAF(S) | SAF(E) |
| Name | File(boolsim) | File(boolannet) | File(bnet) | File(an) | #Var | Boolsim | Cabean | Pyboolnet | Pystablemotifs | SAF(S) | SAF(E) |
|---|---|---|---|---|---|---|---|---|---|---|---|
| T-Cell 2006 | .boolsim | .bnet | .booleannet | .an | 40 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
| ABA | .boolsim | .bnet | .booleannet | .an | 44 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
| T-LGL | .boolsim | .bnet | .booleannet | .an | 61 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
| EMT | .boolsim | .bnet | .booleannet | .an | 69 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
| T-Cell 2007 | .boolsim | .bnet | .booleannet | .an | 101 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
| T-helper (BN) | .boolsim | .bnet | .booleannet | .an | 103 | boolsim | cabean | pyboolnet | pystablemotifs | SAF(S) | SAF(E) |
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
