remedier a la liste desordonné par l'ajout de sort a la fin de la fonction eval_query...
[tatoo.git] / tests / xmark_0.05.xml.results / B13_jaxp.log
1 evaluation time: 2057ms
2 serialization time: 221ms