git.nguyen.vg Git - tatoo.git/blob - tests/alphabet.xml.results/O1_jaxp.log

projects / tatoo.git / blob

7e60f62e11314e5ae6c95c5100f7b39b68e29363

[tatoo.git] / tests / alphabet.xml.results / O1_jaxp.log

1 evaluation time: 110ms

2 serialization time: 27ms

Tree Automata TOOlkit