Add a script to output the number of states/running time/number of traversal for...
[tatoo.git] / tests / xmark_small.xml.results / B4_jaxp.log
1 evaluation time: 1702ms
2 serialization time: 775ms