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)
fn-round-half-to-even 128/128 122/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 128/128 3/15
    fn-round-half-to-evenint1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenint1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenint1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenintg1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenintg1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenintg1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendec1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendec1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendec1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendbl1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendbl1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evendbl1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenflt1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenflt1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenflt1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenlng1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenlng1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenlng1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenusht1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenusht1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenusht1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennint1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennint1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennint1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenpint1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenpint1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenpint1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenulng1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenulng1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evenulng1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennpi1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennpi1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennpi1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennni1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennni1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evennni1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evensht1args-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evensht1args-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-evensht1args-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-RoundEvenFunc-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-RoundEvenFunc-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-RoundEvenFunc-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-RoundEvenFunc-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-RoundEvenFunc-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-9[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-10[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-11[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-12[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-13[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-14[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-15[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-17[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-18[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-19[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-20[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-21[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-22[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-23[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-24[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-25[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-26[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-27[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-RoundEvenFunc-28[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-9[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-10[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-11[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-12[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-13[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-14[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-15[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-17[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-18[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-19[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-20[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-21[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-22[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-23[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-24[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-24a[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-25[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-26[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-27[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-28[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-29[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-30[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-31[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-32[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-33[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-34[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-35[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-36[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-37[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-38[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-39[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-40[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    fn-round-half-to-even-41[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-001[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-002[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-003[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-004[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-005[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-006[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-007[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-008[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-009[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-010[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-011[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-012[+] pass fail pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-013[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    cbcl-round-half-to-even-014[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass