Merge branch 'feature/precise-sat'
[tatoo.git] / tests / xmark_small.xml.results / B9_jaxp.log
1 evaluation time: 1139335ms
2 serialization time: 262ms