It would be nice if we could tell Quick_Sim.py to watch for one specific config pattern that might have some exponents fixed with others variable. Specific example:
Code/Quick_Sim.py 1RB2RA1LB_0LC0RA1LA_---2LA--- -n2 --limited-rules -v | egrep "10\^1 22\^4 \(22\) A> 00\^inf"
1254 00^inf 10^1 22^5 10^1 22^2 10^1 22^42 10^1 22^4 (22) A> 00^inf (8, 12160)
2790 00^inf 10^1 22^5 10^1 22^2 10^1 22^486 10^1 22^4 (22) A> 00^inf (8, 978262)
4188 00^inf 10^1 22^5 10^1 22^2 10^1 22^4_482 10^1 22^4 (22) A> 00^inf (8, 80628268)
5586 00^inf 10^1 22^5 10^1 22^2 10^1 22^40_446 10^1 22^4 (22) A> 00^inf (8, 6545950210)
6984 00^inf 10^1 22^5 10^1 22^2 10^1 22^364_122 10^1 22^4 (22) A> 00^inf (8, 530361180376)
8382 00^inf 10^1 22^5 10^1 22^2 10^1 22^3_277_206 10^1 22^4 (22) A> 00^inf (8, 42960513309358)
9780 00^inf 10^1 22^5 10^1 22^2 10^1 22^29_494_962 10^1 22^4 (22) A> 00^inf (8, 3479812903236484)
11178 00^inf 10^1 22^5 10^1 22^2 10^1 22^265_454_766 10^1 22^4 (22) A> 00^inf (8, 281864947095759706)
12576 00^inf 10^1 22^5 10^1 22^2 10^1 22^2_389_093_002 10^1 22^4 (22) A> 00^inf (8, 22831061632167084592)
This appears to be a valid Level 2 rule, but we are not proving it. Probably b/c these stripped configs are happening with changing exponents and so we don't noticed this long-term pattern. Guessing these things is hard, but we could at least support validating them with command-line hints.
It would be nice if we could tell Quick_Sim.py to watch for one specific config pattern that might have some exponents fixed with others variable. Specific example:
This appears to be a valid Level 2 rule, but we are not proving it. Probably b/c these stripped configs are happening with changing exponents and so we don't noticed this long-term pattern. Guessing these things is hard, but we could at least support validating them with command-line hints.