Refactor state quantification into nfa::model::Input
for transitions
#58
Job | Run time |
---|---|
16s | |
37s | |
9s | |
1m 1s | |
25s | |
2m 28s |
nfa::model::Input
for transitions
#58
Job | Run time |
---|---|
16s | |
37s | |
9s | |
1m 1s | |
25s | |
2m 28s |