Legend:    
        
passed     
        
almost passed
(≥ 98%) 		    
        
failed     
        
untested
Implementations
Tests BaseX 7.7
XQ30 		EMC/xDB xDB_main_r2411365
XQ30 		Saxon-EE 9.5.1.1
XP20 		Saxon-EE 9.5.1.1
XQ10 		Saxon-EE 9.5.1.1
XP30 		Saxon-EE 9.5.1.1
XQ30 		Saxon-EE 9.5.1.4
XQX30
(QT3 v1.1)		 XmlPrime 3.0.0.0
XP30
(QT3 vCVS)		 XmlPrime 3.0.0.0
XQ30
(QT3 vCVS)		 XmlPrime 3.0.0.0
XQX30
(QT3 vCVS)		 XmlPrime 3.0.0.0
XP20
(QT3 vCVS)		 XmlPrime 3.0.0.0
XQX10
(QT3 vCVS)		 XmlPrime 3.0.0.0
XQ10
(QT3 vCVS)		 Zorba 2.9
XQ10
(QT3 vCVS)		 Zorba 2.9
XQ30
(QT3 vCVS)
op-subtract-times 33/33 32/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 33/33 3/15
    op-subtract-times2args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times2args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times2args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times2args-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times2args-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-3[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-9[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-10[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-11[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-12[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-13[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-14[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-15[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    op-subtract-times-16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-TimeSubtract-8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-subtract-times-001[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-subtract-times-002[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-subtract-times-003[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-subtract-times-004[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass