A sandbox for benchmarking algorithms of the LearnLib automata learning library.