print · source · login   

Learned models of the e.dentifier2

Benchmark NameModelInputs/OutputsStatesTransitionsPublications
New (small alphabet)dot-file5 / 4315[CPPR14]
New (random)dot-file8 / 91188[CPPR14]
New (W-method)dot-file8 / 8864[CPPR14]
Old (small alphabet)dot-file5 / 4420[CPPR14]
Old (random)dot-file8 / 922176[CPPR14]