Add a script to output the number of states/running time/number of traversal for...
[tatoo.git] / tests / xmark_tiny.xml.results / B2_jaxp.log
1 evaluation time: 100ms
2 serialization time: 13ms