MLRegTest: A Benchmark for the Machine Learning of Regular Languages | Arena Library | Arena