joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-04-30 02:07:44 +02:00
Code Issues Releases Activity

added example result

Browse source
This commit is contained in:
Joshua Moerman 2023-11-21 16:07:29 +01:00
parent 4e9b009c3b
commit c0c8181b0f
4 changed files with 1023 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

452
results/esm-components-sizes.txt Normal file
View file

@ -0,0 +1,452 @@
"10"
number of states = 1355
"10-O2.2"
number of states = 1287
"10-O36"
number of states = 1209
"10-O5.2-O2.2"
number of states = 1287
"10-O5.23-O2.23"
number of states = 1287
"10-O9"
number of states = 1387
"13-O34"
number of states = 1209
"16-O12-O12-O12-O12-O12-O12-O12-O12"
number of states = 5
"18.4-O18.3-O18.2-O18.1-O18.0"
number of states = 1209
"19.4-O19.3-O19.2-O19.1-O19.0"
number of states = 1209
"2.0"
number of states = 1209
"2.0-O2.8-O38"
number of states = 1209
"2.1"
number of states = 1209
"2.1-O13-O34"
number of states = 1209
"2.1-O2.12-O35"
number of states = 1209
"2.1-O6"
number of states = 1209
"2.1-O6-O10"
number of states = 1209
"2.1-O6-O13-O34"
number of states = 1209
"2.1-O6-O2.12-O35"
number of states = 1209
"2.1-O6-O36"
number of states = 1209
"2.10"
number of states = 1275
"2.10-O36"
number of states = 1273
"2.12"
number of states = 1209
"2.12-O35"
number of states = 1209
"2.13"
number of states = 30
"2.14"
number of states = 35
"2.16"
number of states = 1360
"2.17"
number of states = 1209
"2.18"
number of states = 1225
"2.2"
number of states = 1323
"2.2-O10"
number of states = 1269
"2.2-O18.4-O18.3-O18.2-O18.1-O18.0"
number of states = 1209
"2.2-O36"
number of states = 1209
"2.21"
number of states = 1209
"2.22"
number of states = 27
"2.23"
number of states = 1287
"2.23-O10"
number of states = 1287
"2.23-O36"
number of states = 1209
"2.3"
number of states = 1209
"2.3-O10"
number of states = 1209
"2.3-O2.9-O33"
number of states = 1209
"2.3-O36"
number of states = 1209
"2.4"
number of states = 1371
"2.6"
number of states = 1209
"2.7"
number of states = 1209
"2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13"
number of states = 1209
"2.7-O37"
number of states = 1209
"2.8"
number of states = 1209
"2.8-O38"
number of states = 1209
"2.9"
number of states = 1209
"2.9-O33"
number of states = 1209
"21.4-O21.3-O21.2-O21.1-O21.0"
number of states = 1211
"22.4-O22.3-O22.2-O22.1-O22.0-O13"
number of states = 1209
"23.4-O23.3-O23.2-O23.1-O23.0"
number of states = 1209
"24.4-O24.3-O24.2-O24.1-O24.0"
number of states = 1209
"25.4-O25.3-O25.2-O25.1-O25.0"
number of states = 1249
"26.4-O26.3-O26.2-O26.1-O26.0-O13"
number of states = 1209
"27.4-O27.3-O27.2-O27.1-O27.0"
number of states = 1209
"28.0"
number of states = 1209
"28.3"
number of states = 1359
"3.0"
number of states = 1307
"3.1"
number of states = 1325
"3.10"
number of states = 1286
"3.12"
number of states = 1223
"3.13"
number of states = 57
"3.14"
number of states = 829
"3.16"
number of states = 1294
"3.17"
number of states = 1223
"3.18"
number of states = 1214
"3.19"
number of states = 1231
"3.2"
number of states = 1289
"3.20"
number of states = 1267
"3.21"
number of states = 1222
"3.3"
number of states = 1261
"3.4"
number of states = 1300
"3.6"
number of states = 1229
"3.7"
number of states = 1275
"3.8"
number of states = 1259
"3.9"
number of states = 1229
"32"
number of states = 1224
"34"
number of states = 1209
"35"
number of states = 1209
"36"
number of states = 1275
"39.0"
number of states = 1
"39.1"
number of states = 1
"39.2"
number of states = 1
"39.3"
number of states = 1
"39.4"
number of states = 1
"39.5"
number of states = 1
"4"
number of states = 4
"40.0"
number of states = 1
"40.1"
number of states = 1
"40.2"
number of states = 1
"40.3"
number of states = 1
"40.4"
number of states = 32
"40.5"
number of states = 1
"5.0"
number of states = 1211
"5.0-O2.0"
number of states = 1209
"5.0-O2.0-O5.8-O2.8-O38"
number of states = 1209
"5.1"
number of states = 1211
"5.1-O2.1"
number of states = 1209
"5.1-O2.1-O13-O34"
number of states = 1209
"5.1-O2.1-O5.12-O2.12-O35"
number of states = 1209
"5.1-O2.1-O6"
number of states = 1209
"5.1-O2.1-O6-O10"
number of states = 1209
"5.1-O2.1-O6-O13-O34"
number of states = 1209
"5.1-O2.1-O6-O36"
number of states = 1209
"5.1-O2.1-O6-O5.12-O2.12-O35"
number of states = 1209
"5.10"
number of states = 1275
"5.10-O2.10"
number of states = 1273
"5.10-O2.10-O36"
number of states = 1273
"5.12"
number of states = 1211
"5.12-O2.12-O35"
number of states = 1209
"5.13"
number of states = 35
"5.13-O2.13-O28.0"
number of states = 27
"5.14"
number of states = 47
"5.16"
number of states = 1371
"5.17"
number of states = 1211
"5.18"
number of states = 1241
"5.2"
number of states = 1289
"5.2-O2.2"
number of states = 1303
"5.2-O2.2-O10"
number of states = 1269
"5.2-O2.2-O18.4-O18.3-O18.2-O18.1-O18.0"
number of states = 1209
"5.2-O2.2-O36"
number of states = 1209
"5.21"
number of states = 1211
"5.22"
number of states = 29
"5.22-O2.22"
number of states = 25
"5.23"
number of states = 1289
"5.23-O2.23"
number of states = 1267
"5.23-O2.23-O10"
number of states = 1287
"5.23-O2.23-O36"
number of states = 1209
"5.3"
number of states = 1211
"5.3-O2.3"
number of states = 1209
"5.3-O2.3-O10"
number of states = 1209
"5.3-O2.3-O36"
number of states = 1209
"5.3-O2.3-O5.9-O2.9-O33"
number of states = 1209
"5.4"
number of states = 1372
"5.4-O2.4"
number of states = 1371
"5.6"
number of states = 1211
"5.6-O2.6"
number of states = 1209
"5.7"
number of states = 1211
"5.7-O2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13"
number of states = 1209
"5.7-O2.7-O37"
number of states = 1209
"5.8"
number of states = 1211
"5.8-O2.8-O38"
number of states = 1209
"5.9"
number of states = 1211
"5.9-O2.9-O33"
number of states = 1209
"7"
number of states = 1209
"8"
number of states = 1209
"9"
number of states = 1387
"quiescence"
number of states = 1430

90
results/esm-equivalent-components.txt Normal file
View file

@ -0,0 +1,90 @@
Equivalences
"10-O5.2-O2.2" == "10-O2.2"
"10-O5.23-O2.23" == "10-O2.2"
"13-O34" == "10-O36"
"18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
"19.4-O19.3-O19.2-O19.1-O19.0" == "10-O36"
"2.0" == "10-O36"
"2.0-O2.8-O38" == "10-O36"
"2.1" == "10-O36"
"2.1-O13-O34" == "10-O36"
"2.1-O2.12-O35" == "10-O36"
"2.1-O6" == "10-O36"
"2.1-O6-O10" == "10-O36"
"2.1-O6-O13-O34" == "10-O36"
"2.1-O6-O2.12-O35" == "10-O36"
"2.1-O6-O36" == "10-O36"
"2.12" == "10-O36"
"2.12-O35" == "10-O36"
"2.17" == "10-O36"
"2.2-O18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
"2.2-O36" == "10-O36"
"2.21" == "10-O36"
"2.23" == "10-O2.2"
"2.23-O10" == "10-O2.2"
"2.23-O36" == "10-O36"
"2.3" == "10-O36"
"2.3-O10" == "10-O36"
"2.3-O2.9-O33" == "10-O36"
"2.3-O36" == "10-O36"
"2.6" == "10-O36"
"2.7" == "10-O36"
"2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
"2.7-O37" == "10-O36"
"2.8" == "10-O36"
"2.8-O38" == "10-O36"
"2.9" == "10-O36"
"2.9-O33" == "10-O36"
"22.4-O22.3-O22.2-O22.1-O22.0-O13" == "10-O36"
"23.4-O23.3-O23.2-O23.1-O23.0" == "10-O36"
"24.4-O24.3-O24.2-O24.1-O24.0" == "10-O36"
"26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
"27.4-O27.3-O27.2-O27.1-O27.0" == "10-O36"
"28.0" == "10-O36"
"34" == "10-O36"
"35" == "10-O36"
"36" == "2.10"
"39.1" == "39.0"
"39.2" == "39.0"
"39.3" == "39.0"
"39.4" == "39.0"
"39.5" == "39.0"
"40.0" == "39.0"
"40.1" == "39.0"
"40.2" == "39.0"
"40.3" == "39.0"
"40.5" == "39.0"
"5.0-O2.0" == "10-O36"
"5.0-O2.0-O5.8-O2.8-O38" == "10-O36"
"5.1-O2.1" == "10-O36"
"5.1-O2.1-O13-O34" == "10-O36"
"5.1-O2.1-O5.12-O2.12-O35" == "10-O36"
"5.1-O2.1-O6" == "10-O36"
"5.1-O2.1-O6-O10" == "10-O36"
"5.1-O2.1-O6-O13-O34" == "10-O36"
"5.1-O2.1-O6-O36" == "10-O36"
"5.1-O2.1-O6-O5.12-O2.12-O35" == "10-O36"
"5.10" == "2.10"
"5.10-O2.10" == "2.10-O36"
"5.10-O2.10-O36" == "2.10-O36"
"5.12-O2.12-O35" == "10-O36"
"5.13-O2.13-O28.0" == "2.22"
"5.16" == "2.4"
"5.2-O2.2-O10" == "2.2-O10"
"5.2-O2.2-O18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
"5.2-O2.2-O36" == "10-O36"
"5.23-O2.23-O10" == "10-O2.2"
"5.23-O2.23-O36" == "10-O36"
"5.3-O2.3" == "10-O36"
"5.3-O2.3-O10" == "10-O36"
"5.3-O2.3-O36" == "10-O36"
"5.3-O2.3-O5.9-O2.9-O33" == "10-O36"
"5.4-O2.4" == "2.4"
"5.6-O2.6" == "10-O36"
"5.7-O2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
"5.7-O2.7-O37" == "10-O36"
"5.8-O2.8-O38" == "10-O36"
"5.9-O2.9-O33" == "10-O36"
"7" == "10-O36"
"8" == "10-O36"
"9" == "10-O9"

481
results/esm-relation.dot Normal file
View file

@ -0,0 +1,481 @@
digraph {
"10-O2.2" -> "10"
"10-O36" -> "10"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10"
"2.10" -> "10"
"2.10-O36" -> "10"
"2.13" -> "10"
"2.14" -> "10"
"2.18" -> "10"
"2.22" -> "10"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "10"
"32" -> "10"
"39.0" -> "10"
"40.4" -> "10"
"5.14" -> "10"
"5.18" -> "10"
"5.22" -> "10"
"5.22-O2.22" -> "10"
"5.23-O2.23" -> "10"
"5.3" -> "10"
"10-O36" -> "10-O2.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O2.2"
"2.13" -> "10-O2.2"
"2.22" -> "10-O2.2"
"39.0" -> "10-O2.2"
"5.22-O2.22" -> "10-O2.2"
"5.23-O2.23" -> "10-O2.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O36"
"2.13" -> "10-O36"
"2.22" -> "10-O36"
"39.0" -> "10-O36"
"5.22-O2.22" -> "10-O36"
"10-O36" -> "10-O9"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O9"
"2.10" -> "10-O9"
"2.10-O36" -> "10-O9"
"2.13" -> "10-O9"
"2.14" -> "10-O9"
"2.18" -> "10-O9"
"2.22" -> "10-O9"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "10-O9"
"32" -> "10-O9"
"39.0" -> "10-O9"
"40.4" -> "10-O9"
"5.14" -> "10-O9"
"5.18" -> "10-O9"
"5.22" -> "10-O9"
"5.22-O2.22" -> "10-O9"
"5.3" -> "10-O9"
"39.0" -> "16-O12-O12-O12-O12-O12-O12-O12-O12"
"10-O36" -> "2.10"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.10"
"2.10-O36" -> "2.10"
"2.13" -> "2.10"
"2.14" -> "2.10"
"2.18" -> "2.10"
"2.22" -> "2.10"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "2.10"
"32" -> "2.10"
"39.0" -> "2.10"
"40.4" -> "2.10"
"5.14" -> "2.10"
"5.18" -> "2.10"
"5.22" -> "2.10"
"5.22-O2.22" -> "2.10"
"5.3" -> "2.10"
"10-O36" -> "2.10-O36"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.10-O36"
"2.13" -> "2.10-O36"
"2.14" -> "2.10-O36"
"2.18" -> "2.10-O36"
"2.22" -> "2.10-O36"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "2.10-O36"
"32" -> "2.10-O36"
"39.0" -> "2.10-O36"
"40.4" -> "2.10-O36"
"5.14" -> "2.10-O36"
"5.18" -> "2.10-O36"
"5.22" -> "2.10-O36"
"5.22-O2.22" -> "2.10-O36"
"5.3" -> "2.10-O36"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.13"
"2.22" -> "2.13"
"39.0" -> "2.13"
"5.22-O2.22" -> "2.13"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.14"
"39.0" -> "2.14"
"40.4" -> "2.14"
"5.22-O2.22" -> "2.14"
"10-O36" -> "2.16"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.16"
"2.10" -> "2.16"
"2.10-O36" -> "2.16"
"2.13" -> "2.16"
"2.14" -> "2.16"
"2.18" -> "2.16"
"2.22" -> "2.16"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "2.16"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "2.16"
"28.3" -> "2.16"
"32" -> "2.16"
"39.0" -> "2.16"
"40.4" -> "2.16"
"5.14" -> "2.16"
"5.18" -> "2.16"
"5.22" -> "2.16"
"5.22-O2.22" -> "2.16"
"5.3" -> "2.16"
"10-O36" -> "2.18"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.18"
"2.13" -> "2.18"
"2.14" -> "2.18"
"2.22" -> "2.18"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "2.18"
"32" -> "2.18"
"39.0" -> "2.18"
"40.4" -> "2.18"
"5.22-O2.22" -> "2.18"
"10-O2.2" -> "2.2"
"10-O36" -> "2.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.2"
"2.13" -> "2.2"
"2.2-O10" -> "2.2"
"2.22" -> "2.2"
"39.0" -> "2.2"
"5.2-O2.2" -> "2.2"
"5.22-O2.22" -> "2.2"
"5.23-O2.23" -> "2.2"
"10-O36" -> "2.2-O10"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.2-O10"
"2.13" -> "2.2-O10"
"2.22" -> "2.2-O10"
"39.0" -> "2.2-O10"
"5.22-O2.22" -> "2.2-O10"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.22"
"39.0" -> "2.22"
"5.22-O2.22" -> "2.22"
"10-O36" -> "2.4"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.4"
"2.10" -> "2.4"
"2.10-O36" -> "2.4"
"2.13" -> "2.4"
"2.14" -> "2.4"
"2.16" -> "2.4"
"2.18" -> "2.4"
"2.22" -> "2.4"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "2.4"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "2.4"
"28.3" -> "2.4"
"32" -> "2.4"
"39.0" -> "2.4"
"40.4" -> "2.4"
"5.14" -> "2.4"
"5.18" -> "2.4"
"5.22" -> "2.4"
"5.22-O2.22" -> "2.4"
"5.3" -> "2.4"
"10-O36" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"2.13" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"2.22" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"39.0" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"5.22-O2.22" -> "21.4-O21.3-O21.2-O21.1-O21.0"
"10-O36" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"2.13" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"2.22" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"39.0" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"5.22-O2.22" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"5.3" -> "25.4-O25.3-O25.2-O25.1-O25.0"
"10-O36" -> "28.3"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "28.3"
"2.10" -> "28.3"
"2.10-O36" -> "28.3"
"2.13" -> "28.3"
"2.14" -> "28.3"
"2.18" -> "28.3"
"2.22" -> "28.3"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "28.3"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "28.3"
"32" -> "28.3"
"39.0" -> "28.3"
"40.4" -> "28.3"
"5.14" -> "28.3"
"5.18" -> "28.3"
"5.22" -> "28.3"
"5.22-O2.22" -> "28.3"
"5.3" -> "28.3"
"10-O36" -> "3.0"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.0"
"2.13" -> "3.0"
"2.22" -> "3.0"
"39.0" -> "3.0"
"5.22-O2.22" -> "3.0"
"10-O36" -> "3.1"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.1"
"2.13" -> "3.1"
"2.22" -> "3.1"
"39.0" -> "3.1"
"5.22-O2.22" -> "3.1"
"10-O36" -> "3.10"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.10"
"2.13" -> "3.10"
"2.22" -> "3.10"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "3.10"
"39.0" -> "3.10"
"5.22-O2.22" -> "3.10"
"5.3" -> "3.10"
"10-O36" -> "3.12"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.12"
"2.13" -> "3.12"
"2.22" -> "3.12"
"39.0" -> "3.12"
"5.22-O2.22" -> "3.12"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.13"
"2.22" -> "3.13"
"39.0" -> "3.13"
"5.22-O2.22" -> "3.13"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.14"
"2.22" -> "3.14"
"39.0" -> "3.14"
"5.22-O2.22" -> "3.14"
"10-O36" -> "3.16"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.16"
"2.13" -> "3.16"
"2.22" -> "3.16"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "3.16"
"39.0" -> "3.16"
"5.22-O2.22" -> "3.16"
"5.3" -> "3.16"
"10-O36" -> "3.17"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.17"
"2.13" -> "3.17"
"2.22" -> "3.17"
"39.0" -> "3.17"
"5.22-O2.22" -> "3.17"
"10-O36" -> "3.18"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.18"
"2.13" -> "3.18"
"2.22" -> "3.18"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "3.18"
"39.0" -> "3.18"
"5.22-O2.22" -> "3.18"
"10-O36" -> "3.19"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.19"
"2.13" -> "3.19"
"2.22" -> "3.19"
"39.0" -> "3.19"
"5.22-O2.22" -> "3.19"
"10-O36" -> "3.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.2"
"2.13" -> "3.2"
"2.22" -> "3.2"
"39.0" -> "3.2"
"5.22-O2.22" -> "3.2"
"10-O36" -> "3.20"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.20"
"2.13" -> "3.20"
"2.22" -> "3.20"
"39.0" -> "3.20"
"5.22-O2.22" -> "3.20"
"10-O36" -> "3.21"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.21"
"2.13" -> "3.21"
"2.22" -> "3.21"
"39.0" -> "3.21"
"5.22-O2.22" -> "3.21"
"10-O36" -> "3.3"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.3"
"2.13" -> "3.3"
"2.22" -> "3.3"
"39.0" -> "3.3"
"5.22-O2.22" -> "3.3"
"10-O36" -> "3.4"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.4"
"2.13" -> "3.4"
"2.22" -> "3.4"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "3.4"
"39.0" -> "3.4"
"5.22-O2.22" -> "3.4"
"5.3" -> "3.4"
"10-O36" -> "3.6"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.6"
"2.13" -> "3.6"
"2.22" -> "3.6"
"39.0" -> "3.6"
"5.22-O2.22" -> "3.6"
"10-O36" -> "3.7"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.7"
"2.13" -> "3.7"
"2.22" -> "3.7"
"39.0" -> "3.7"
"5.22-O2.22" -> "3.7"
"10-O36" -> "3.8"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.8"
"2.13" -> "3.8"
"2.22" -> "3.8"
"39.0" -> "3.8"
"5.22-O2.22" -> "3.8"
"10-O36" -> "3.9"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.9"
"2.13" -> "3.9"
"2.22" -> "3.9"
"39.0" -> "3.9"
"5.22-O2.22" -> "3.9"
"10-O36" -> "32"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "32"
"2.13" -> "32"
"2.14" -> "32"
"2.22" -> "32"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "32"
"39.0" -> "32"
"40.4" -> "32"
"5.22-O2.22" -> "32"
"39.0" -> "4"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "40.4"
"39.0" -> "40.4"
"10-O36" -> "5.0"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.0"
"2.13" -> "5.0"
"2.22" -> "5.0"
"39.0" -> "5.0"
"5.22-O2.22" -> "5.0"
"10-O36" -> "5.1"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.1"
"2.13" -> "5.1"
"2.22" -> "5.1"
"39.0" -> "5.1"
"5.22-O2.22" -> "5.1"
"10-O36" -> "5.12"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.12"
"2.13" -> "5.12"
"2.22" -> "5.12"
"39.0" -> "5.12"
"5.22-O2.22" -> "5.12"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.13"
"2.13" -> "5.13"
"2.22" -> "5.13"
"39.0" -> "5.13"
"5.22-O2.22" -> "5.13"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.14"
"2.14" -> "5.14"
"39.0" -> "5.14"
"40.4" -> "5.14"
"5.22-O2.22" -> "5.14"
"10-O36" -> "5.17"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.17"
"2.13" -> "5.17"
"2.22" -> "5.17"
"39.0" -> "5.17"
"5.22-O2.22" -> "5.17"
"10-O36" -> "5.18"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.18"
"2.13" -> "5.18"
"2.14" -> "5.18"
"2.18" -> "5.18"
"2.22" -> "5.18"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "5.18"
"32" -> "5.18"
"39.0" -> "5.18"
"40.4" -> "5.18"
"5.22-O2.22" -> "5.18"
"10-O2.2" -> "5.2"
"10-O36" -> "5.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.2"
"2.13" -> "5.2"
"2.22" -> "5.2"
"39.0" -> "5.2"
"5.22-O2.22" -> "5.2"
"5.23-O2.23" -> "5.2"
"10-O36" -> "5.2-O2.2"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.2-O2.2"
"2.13" -> "5.2-O2.2"
"2.2-O10" -> "5.2-O2.2"
"2.22" -> "5.2-O2.2"
"39.0" -> "5.2-O2.2"
"5.22-O2.22" -> "5.2-O2.2"
"5.23-O2.23" -> "5.2-O2.2"
"10-O36" -> "5.21"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.21"
"2.13" -> "5.21"
"2.22" -> "5.21"
"39.0" -> "5.21"
"5.22-O2.22" -> "5.21"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.22"
"2.22" -> "5.22"
"39.0" -> "5.22"
"5.22-O2.22" -> "5.22"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.22-O2.22"
"39.0" -> "5.22-O2.22"
"10-O2.2" -> "5.23"
"10-O36" -> "5.23"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.23"
"2.13" -> "5.23"
"2.22" -> "5.23"
"39.0" -> "5.23"
"5.22-O2.22" -> "5.23"
"5.23-O2.23" -> "5.23"
"10-O36" -> "5.23-O2.23"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.23-O2.23"
"2.13" -> "5.23-O2.23"
"2.22" -> "5.23-O2.23"
"39.0" -> "5.23-O2.23"
"5.22-O2.22" -> "5.23-O2.23"
"10-O36" -> "5.3"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.3"
"2.13" -> "5.3"
"2.22" -> "5.3"
"39.0" -> "5.3"
"5.22-O2.22" -> "5.3"
"10-O36" -> "5.4"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.4"
"2.10" -> "5.4"
"2.10-O36" -> "5.4"
"2.13" -> "5.4"
"2.14" -> "5.4"
"2.16" -> "5.4"
"2.18" -> "5.4"
"2.22" -> "5.4"
"2.4" -> "5.4"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "5.4"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "5.4"
"28.3" -> "5.4"
"32" -> "5.4"
"39.0" -> "5.4"
"4" -> "5.4"
"40.4" -> "5.4"
"5.14" -> "5.4"
"5.18" -> "5.4"
"5.22" -> "5.4"
"5.22-O2.22" -> "5.4"
"5.3" -> "5.4"
"10-O36" -> "5.6"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.6"
"2.13" -> "5.6"
"2.22" -> "5.6"
"39.0" -> "5.6"
"5.22-O2.22" -> "5.6"
"10-O36" -> "5.7"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.7"
"2.13" -> "5.7"
"2.22" -> "5.7"
"39.0" -> "5.7"
"5.22-O2.22" -> "5.7"
"10-O36" -> "5.8"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.8"
"2.13" -> "5.8"
"2.22" -> "5.8"
"39.0" -> "5.8"
"5.22-O2.22" -> "5.8"
"10-O36" -> "5.9"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.9"
"2.13" -> "5.9"
"2.22" -> "5.9"
"39.0" -> "5.9"
"5.22-O2.22" -> "5.9"
"10-O36" -> "quiescence"
"16-O12-O12-O12-O12-O12-O12-O12-O12" -> "quiescence"
"2.10" -> "quiescence"
"2.10-O36" -> "quiescence"
"2.13" -> "quiescence"
"2.14" -> "quiescence"
"2.16" -> "quiescence"
"2.18" -> "quiescence"
"2.22" -> "quiescence"
"2.4" -> "quiescence"
"21.4-O21.3-O21.2-O21.1-O21.0" -> "quiescence"
"25.4-O25.3-O25.2-O25.1-O25.0" -> "quiescence"
"28.3" -> "quiescence"
"32" -> "quiescence"
"39.0" -> "quiescence"
"4" -> "quiescence"
"40.4" -> "quiescence"
"5.14" -> "quiescence"
"5.18" -> "quiescence"
"5.22" -> "quiescence"
"5.22-O2.22" -> "quiescence"
"5.23-O2.23" -> "quiescence"
"5.3" -> "quiescence"
"5.4" -> "quiescence"
}

BIN
results/esm-relation.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 304 KiB