CoPaR issueshttps://gitlab.cs.fau.de/i8/copar/-/issues2019-03-28T13:21:27Zhttps://gitlab.cs.fau.de/i8/copar/-/issues/3Benchmark maximal file sizes for random WTAs2019-03-28T13:21:27ZThorsten WißmannBenchmark maximal file sizes for random WTAsWhat 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-fr...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}Hans-Peter DeifelHans-Peter Deifel