This branch consists of changes to the cycle detection that we use in the graph generation as well as improvements to the overall runtime of the Bubble popping algorithm (SimplifyGraph.py). The results for this new version are very well comparable to the results we have shown in the paper (however they differ a bit such as 8 more unique FSMs common for all three tools)
The new venn diagrams can be seen below:
This branch consists of changes to the cycle detection that we use in the graph generation as well as improvements to the overall runtime of the Bubble popping algorithm (SimplifyGraph.py). The results for this new version are very well comparable to the results we have shown in the paper (however they differ a bit such as 8 more unique FSMs common for all three tools) The new venn diagrams can be seen below:
