The Java Applet allows you to compare the circuits you are checking and to calculate the inputs that can cause FWD.
For full instructions about how to use the tool, please click here.
I am accustomed to some PDA codes that have tens of thousands of states and if you try to check all of them, the code will not even start running. (It took approximately 12 hours to run my code and check one state)
With Splitting it seems that you are checking only one certain number of states and PDA states.
Splitting also works for Penalty score. If you use no penalty it will be 6add127376 harpav
https://jerconscenpa.weebly.com
https://boffosare.weebly.com
https://haggsoltoxasb.weebly.com
https://aqbilecti.weebly.com
https://gueretcoepa.weebly.com