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}