Benchmark maximal file sizes for random WTAs
What are the maximum file sizes that still can be handled by copar refine
? Bisect this for random WTAs with:
- symbols = 1,0,4
- symbols = 4,3,2
- symbols = 0,0,0,0,0,3
- symbols = 0,8 (ordinary weighted automata)
and each for zero-frequency ∈ {0.7, 0.9}