Refine the run to have a different set of states to satisfy while going td/bu.
[tatoo.git] / tests / xmark_small.xml.results / B4_jaxp.log
1 evaluation time: 1702ms
2 serialization time: 775ms