/usr/bin/time -l  ./solve.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl