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

meer plaatjes

Browse source
This commit is contained in:
Joshua Moerman 2023-12-08 20:20:21 +01:00
parent 586d01bceb
commit 0f0f2fbc05
3 changed files with 277 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

46
results/asml-rers-m132-graph.dot Normal file
View file

@ -0,0 +1,46 @@
digraph {
"ai1_VoidReply" -> "ai1_re1"
"ai1_VoidReply" -> "ai2_VoidReply"
"ai3_re19" -> "ai1_VoidReply"
"ai1_VoidReply" -> "usr1_ai2_ce16"
"ai1_VoidReply" -> "usr1_ai2_ce29"
"ai1_VoidReply" -> "usr1_ai2_ce35"
"ai1_VoidReply" -> "usr1_ai2_ce36"
"ai1_VoidReply" -> "usr1_ai2_ce37"
"ai1_VoidReply" -> "usr1_ai2_ce38"
"ai1_VoidReply" -> "usr1_ai2_ce56"
"ai1_VoidReply" -> "usr1_ai2_ce57"
"ai1_VoidReply" -> "usr1_ai2_ce77"
"ai1_VoidReply" -> "usr1_ai2_ce98"
"ai1_VoidReply" -> "usr2_ai1_ce1"
"ai1_VoidReply" -> "usr3_ai1_ce1"
"ai1_VoidReply" -> "usr5_ai1_ce1"
"ai1_VoidReply" -> "usr5_ai1_ce2"
"ai1_VoidReply" -> "usr5_ai1_ce3"
"ai1_VoidReply" -> "usr5_ai1_ce4"
"ai1_VoidReply" -> "usr6_ai1_ce1"
"ai3_re19" -> "ai1_re1"
"ai3_re19" -> "ai2_VoidReply"
"usr1_ai2_ce37" -> "ai2_VoidReply"
"ai3_re19" -> "usr1_ai2_ce16"
"ai3_re19" -> "usr1_ai2_ce29"
"ai3_re19" -> "usr1_ai2_ce35"
"ai3_re19" -> "usr1_ai2_ce36"
"ai3_re19" -> "usr1_ai2_ce37"
"ai3_re19" -> "usr1_ai2_ce38"
"ai3_re19" -> "usr1_ai2_ce56"
"ai3_re19" -> "usr1_ai2_ce57"
"ai3_re19" -> "usr1_ai2_ce77"
"ai3_re19" -> "usr1_ai2_ce98"
"ai3_re19" -> "usr2_ai1_ce1"
"ai3_re19" -> "usr3_ai1_ce1"
"ai3_re19" -> "usr5_ai1_ce1"
"ai3_re19" -> "usr5_ai1_ce2"
"ai3_re19" -> "usr5_ai1_ce3"
"ai3_re19" -> "usr5_ai1_ce4"
"ai3_re19" -> "usr6_ai1_ce1"
"usr1_ai2_ce36" -> "usr1_ai2_ce77"
"usr1_ai2_ce37" -> "usr1_ai2_ce57"
"usr1_ai2_ce37" -> "usr5_ai1_ce3"
"usr1_ai2_ce37" -> "usr5_ai1_ce4"
}

BIN
results/asml-rers-m132-graph.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 86 KiB

231
results/asml-rers-m132.txt Normal file
View file

@ -0,0 +1,231 @@
number of states = 2441
ai1_VoidReply -> number of states = 1019
ai1_re1 -> number of states = 1469
ai1_re10 -> number of states = 1019
ai1_re14 -> number of states = 1019
ai1_re15 -> number of states = 1019
ai1_re17 -> number of states = 1019
ai1_re2 -> number of states = 1469
ai1_re20 -> number of states = 1019
ai1_re3 -> number of states = 1019
ai1_re4 -> number of states = 1019
ai1_re5 -> number of states = 1019
ai1_re6 -> number of states = 1019
ai1_re7 -> number of states = 1019
ai1_re8 -> number of states = 1019
ai1_re9 -> number of states = 1019
ai2_VoidReply -> number of states = 1329
ai3_VoidReply -> number of states = 1019
ai3_re1 -> number of states = 1019
ai3_re12 -> number of states = 1019
ai3_re13 -> number of states = 1019
ai3_re15 -> number of states = 1019
ai3_re18 -> number of states = 1019
ai3_re19 -> number of states = 24
ai3_re2 -> number of states = 1019
ai3_re3 -> number of states = 1019
ai3_re4 -> number of states = 1019
ai3_re5 -> number of states = 1019
ai3_re6 -> number of states = 1019
ai3_re7 -> number of states = 1019
ai3_re8 -> number of states = 1019
ai4_VoidReply -> number of states = 1329
error -> number of states = 1019
usr10_ai3_ce1 -> number of states = 1019
usr10_ai3_ce12 -> number of states = 1019
usr10_ai3_ce13 -> number of states = 1019
usr10_ai3_ce15 -> number of states = 1019
usr10_ai3_ce18 -> number of states = 1019
usr10_ai3_ce2 -> number of states = 1019
usr10_ai3_ce3 -> number of states = 1019
usr10_ai3_ce4 -> number of states = 1019
usr10_ai3_ce5 -> number of states = 1019
usr10_ai3_ce6 -> number of states = 1019
usr10_ai3_ce7 -> number of states = 1019
usr10_ai3_ce8 -> number of states = 1019
usr1_ai2_ce16 -> number of states = 1079
usr1_ai2_ce22 -> number of states = 1019
usr1_ai2_ce24 -> number of states = 1019
usr1_ai2_ce29 -> number of states = 1075
usr1_ai2_ce32 -> number of states = 1019
usr1_ai2_ce35 -> number of states = 1043
usr1_ai2_ce36 -> number of states = 1047
usr1_ai2_ce37 -> number of states = 1035
usr1_ai2_ce38 -> number of states = 1071
usr1_ai2_ce39 -> number of states = 1019
usr1_ai2_ce56 -> number of states = 1047
usr1_ai2_ce57 -> number of states = 1091
usr1_ai2_ce76 -> number of states = 1019
usr1_ai2_ce77 -> number of states = 1079
usr1_ai2_ce98 -> number of states = 1123
usr1_ai2_ce99 -> number of states = 1123
usr1_ai3_ce20 -> number of states = 1019
usr1_ai3_ce22 -> number of states = 1019
usr2_ai1_ce1 -> number of states = 1103
usr2_ai1_ce2 -> number of states = 1103
usr3_ai1_ce1 -> number of states = 1047
usr3_ai1_ce2 -> number of states = 1047
usr4_ai1_ce1 -> number of states = 1019
usr4_ai1_ce2 -> number of states = 1019
usr5_ai1_ce1 -> number of states = 1095
usr5_ai1_ce2 -> number of states = 1107
usr5_ai1_ce3 -> number of states = 1123
usr5_ai1_ce4 -> number of states = 1139
usr6_ai1_ce1 -> number of states = 1111
usr6_ai1_ce4 -> number of states = 1019
usr6_ai1_ce5 -> number of states = 1111
usr6_ai1_ce6 -> number of states = 1019
usr6_ai1_ce8 -> number of states = 1019
usr6_ai3_ce1 -> number of states = 1019
usr6_ai3_ce2 -> number of states = 1019
usr7_ai1_ce3 -> number of states = 1019
usr8_ai4_ce1 -> number of states = 1019
usr9_ai1_ce1 -> number of states = 1019
Equivalences
"ai1_re10" == "ai1_VoidReply"
"ai1_re14" == "ai1_VoidReply"
"ai1_re15" == "ai1_VoidReply"
"ai1_re17" == "ai1_VoidReply"
"ai1_re2" == "ai1_re1"
"ai1_re20" == "ai1_VoidReply"
"ai1_re3" == "ai1_VoidReply"
"ai1_re4" == "ai1_VoidReply"
"ai1_re5" == "ai1_VoidReply"
"ai1_re6" == "ai1_VoidReply"
"ai1_re7" == "ai1_VoidReply"
"ai1_re8" == "ai1_VoidReply"
"ai1_re9" == "ai1_VoidReply"
"ai3_VoidReply" == "ai1_VoidReply"
"ai3_re1" == "ai1_VoidReply"
"ai3_re12" == "ai1_VoidReply"
"ai3_re13" == "ai1_VoidReply"
"ai3_re15" == "ai1_VoidReply"
"ai3_re18" == "ai1_VoidReply"
"ai3_re2" == "ai1_VoidReply"
"ai3_re3" == "ai1_VoidReply"
"ai3_re4" == "ai1_VoidReply"
"ai3_re5" == "ai1_VoidReply"
"ai3_re6" == "ai1_VoidReply"
"ai3_re7" == "ai1_VoidReply"
"ai3_re8" == "ai1_VoidReply"
"ai4_VoidReply" == "ai2_VoidReply"
"error" == "ai1_VoidReply"
"usr10_ai3_ce1" == "ai1_VoidReply"
"usr10_ai3_ce12" == "ai1_VoidReply"
"usr10_ai3_ce13" == "ai1_VoidReply"
"usr10_ai3_ce15" == "ai1_VoidReply"
"usr10_ai3_ce18" == "ai1_VoidReply"
"usr10_ai3_ce2" == "ai1_VoidReply"
"usr10_ai3_ce3" == "ai1_VoidReply"
"usr10_ai3_ce4" == "ai1_VoidReply"
"usr10_ai3_ce5" == "ai1_VoidReply"
"usr10_ai3_ce6" == "ai1_VoidReply"
"usr10_ai3_ce7" == "ai1_VoidReply"
"usr10_ai3_ce8" == "ai1_VoidReply"
"usr1_ai2_ce22" == "ai1_VoidReply"
"usr1_ai2_ce24" == "ai1_VoidReply"
"usr1_ai2_ce32" == "ai1_VoidReply"
"usr1_ai2_ce39" == "ai1_VoidReply"
"usr1_ai2_ce76" == "ai1_VoidReply"
"usr1_ai2_ce99" == "usr1_ai2_ce98"
"usr1_ai3_ce20" == "ai1_VoidReply"
"usr1_ai3_ce22" == "ai1_VoidReply"
"usr2_ai1_ce2" == "usr2_ai1_ce1"
"usr3_ai1_ce2" == "usr3_ai1_ce1"
"usr4_ai1_ce1" == "ai1_VoidReply"
"usr4_ai1_ce2" == "ai1_VoidReply"
"usr6_ai1_ce4" == "ai1_VoidReply"
"usr6_ai1_ce5" == "usr6_ai1_ce1"
"usr6_ai1_ce6" == "ai1_VoidReply"
"usr6_ai1_ce8" == "ai1_VoidReply"
"usr6_ai3_ce1" == "ai1_VoidReply"
"usr6_ai3_ce2" == "ai1_VoidReply"
"usr7_ai1_ce3" == "ai1_VoidReply"
"usr8_ai4_ce1" == "ai1_VoidReply"
"usr9_ai1_ce1" == "ai1_VoidReply"
Relation, coarser points to finer (bigger)
"ai1_VoidReply" -> "ai1_re1"
"ai1_VoidReply" -> "ai2_VoidReply"
"ai3_re19" -> "ai1_VoidReply"
"ai1_VoidReply" -> "usr1_ai2_ce16"
"ai1_VoidReply" -> "usr1_ai2_ce29"
"ai1_VoidReply" -> "usr1_ai2_ce35"
"ai1_VoidReply" -> "usr1_ai2_ce36"
"ai1_VoidReply" -> "usr1_ai2_ce37"
"ai1_VoidReply" -> "usr1_ai2_ce38"
"ai1_VoidReply" -> "usr1_ai2_ce56"
"ai1_VoidReply" -> "usr1_ai2_ce57"
"ai1_VoidReply" -> "usr1_ai2_ce77"
"ai1_VoidReply" -> "usr1_ai2_ce98"
"ai1_VoidReply" -> "usr2_ai1_ce1"
"ai1_VoidReply" -> "usr3_ai1_ce1"
"ai1_VoidReply" -> "usr5_ai1_ce1"
"ai1_VoidReply" -> "usr5_ai1_ce2"
"ai1_VoidReply" -> "usr5_ai1_ce3"
"ai1_VoidReply" -> "usr5_ai1_ce4"
"ai1_VoidReply" -> "usr6_ai1_ce1"
"ai3_re19" -> "ai1_re1"
"ai3_re19" -> "ai2_VoidReply"
"usr1_ai2_ce37" -> "ai2_VoidReply"
"ai3_re19" -> "usr1_ai2_ce16"
"ai3_re19" -> "usr1_ai2_ce29"
"ai3_re19" -> "usr1_ai2_ce35"
"ai3_re19" -> "usr1_ai2_ce36"
"ai3_re19" -> "usr1_ai2_ce37"
"ai3_re19" -> "usr1_ai2_ce38"
"ai3_re19" -> "usr1_ai2_ce56"
"ai3_re19" -> "usr1_ai2_ce57"
"ai3_re19" -> "usr1_ai2_ce77"
"ai3_re19" -> "usr1_ai2_ce98"
"ai3_re19" -> "usr2_ai1_ce1"
"ai3_re19" -> "usr3_ai1_ce1"
"ai3_re19" -> "usr5_ai1_ce1"
"ai3_re19" -> "usr5_ai1_ce2"
"ai3_re19" -> "usr5_ai1_ce3"
"ai3_re19" -> "usr5_ai1_ce4"
"ai3_re19" -> "usr6_ai1_ce1"
"usr1_ai2_ce36" -> "usr1_ai2_ce77"
"usr1_ai2_ce37" -> "usr1_ai2_ce57"
"usr1_ai2_ce37" -> "usr5_ai1_ce3"
"usr1_ai2_ce37" -> "usr5_ai1_ce4"
Top modules
"ai1_re1" has size 1469
"ai2_VoidReply" has size 1329
"usr5_ai1_ce4" has size 1139
"usr5_ai1_ce3" has size 1123
"usr1_ai2_ce98" has size 1123
"usr6_ai1_ce1" has size 1111
"usr5_ai1_ce2" has size 1107
"usr2_ai1_ce1" has size 1103
"usr5_ai1_ce1" has size 1095
"usr1_ai2_ce57" has size 1091
"usr1_ai2_ce77" has size 1079
"usr1_ai2_ce16" has size 1079
"usr1_ai2_ce29" has size 1075
"usr1_ai2_ce38" has size 1071
"usr3_ai1_ce1" has size 1047
"usr1_ai2_ce56" has size 1047
"usr1_ai2_ce35" has size 1043
num = 17, size = 19131
2
"ai2_VoidReplyxusr5_ai1_ce4" -> num = 16, size = 18060, max = 1469
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2" -> num = 15, size = 16953, max = 1469
"usr1_ai2_ce16xusr6_ai1_ce1" -> num = 14, size = 15882, max = 1469
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1" -> num = 13, size = 14827, max = 1469
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3" -> num = 12, size = 13720, max = 1477
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1" -> num = 11, size = 12625, max = 1477
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57" -> num = 10, size = 11558, max = 1501
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38" -> num = 9, size = 10495, max = 1509
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29" -> num = 8, size = 9428, max = 1517
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77" -> num = 7, size = 8365, max = 1533
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77xusr1_ai2_ce98" -> num = 6, size = 7310, max = 1601
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77xusr1_ai2_ce98xusr1_ai2_ce56" -> num = 5, size = 6263, max = 1601
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77xusr1_ai2_ce98xusr1_ai2_ce56xusr1_ai2_ce35" -> num = 4, size = 5220, max = 1601
"ai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77xusr1_ai2_ce98xusr1_ai2_ce56xusr1_ai2_ce35xusr3_ai1_ce1" -> num = 3, size = 4181, max = 1609
"ai1_re1xusr2_ai1_ce1" -> num = 2, size = 3162, max = 1609
"ai1_re1xusr2_ai1_ce1xai2_VoidReplyxusr5_ai1_ce4xusr5_ai1_ce2xusr1_ai2_ce16xusr6_ai1_ce1xusr5_ai1_ce3xusr5_ai1_ce1xusr1_ai2_ce57xusr1_ai2_ce38xusr1_ai2_ce29xusr1_ai2_ce77xusr1_ai2_ce98xusr1_ai2_ce56xusr1_ai2_ce35xusr3_ai1_ce1" -> num = 1, size = 2441, max = 2441