I have found a problem with the comparison and minimum of xs:dateTime values.

Here are minimal test documents, first the XML input which has a list of 'item' elements with xs:dateTime values:

  2009-01-01T12:00:00Z
  2009-02-01T12:00:00Z
  2010-10-01T12:00:00Z
  2010-12-01T12:00:00Z

  

Now in the stylesheet I want to find the minimum dateTime item element of those item elements which are greater than the current dateTime:

In the XML input there are two item elements which are greater than the current dateTime (2010-03-15T13:12:00Z) and the minimum of those two should be 2010-10-01T12:00:00Z. So with Saxon 9.2 the result of applying the stylesheet on the input is as follows:

   2010-10-01T12:00:00Z
   
      2010-10-01T12:00:00Z
   

With the Intel XSLT 2.0 processor I get the following result:

   2009-01-01T12:00:00Z
   
      2009-01-01T12:00:00Z
   

which is wrong and indicates a bug in my understanding.