Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit
[tatoo.git] / tests / xmark_0.05.xml.results / B13_saxon.log
1 evaluation time: 706ms
2 serialization time: 215ms