Implement the ranked automata evaluation to guarantee a O(|D|x|Q|)
[tatoo.git] / tests / xmark_tiny.xml.results / A1_jaxp.log
1 evaluation time: 186ms
2 serialization time: 14ms