comparison Tomte-0.3 and Learnlib for learning register automata for result data see publication [AKHV14]
Tomte-0.4 can handle fresh output values by way of a Determinizer function. Check the Tomte-0.4 publication for more details on our algorithm. In a learning example for the MultiLogin Bennchmark Tomte 0.4 was used to infer models for instantiations of Multi-Login Systems with 1, 2 and 3 maximum registered users.
Improvements in Tomte 0.4 also give better performance in learning register automata. You can compare the old numbers in [AKHV14] with the improved numbers in Tomte-0.4 publication
