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-format-integer* 64/64 0/64 0/0 0/0 63/63 63/63 63/63 63/63 63/63 63/63 0/0 0/0 0/0 0/0 60/60 2/15
    format-integer-001[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-002[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-003[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-004[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-005[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-006[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-007[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-008[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-009[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-010[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-011[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-012[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-013[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-014[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-015[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-016[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-017[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-018[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-019[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-020[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-021[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-022[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-023[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-024[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-025[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-026[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-027[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-028[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-029[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-030[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-031[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-032[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass n/a n/a n/a n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=language, value=de, satisfied=true) was not met.

n/a

Dependency (type=language, value=de, satisfied=true) was not met.

    format-integer-033[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-034[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-035[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-036[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-037[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-038[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-039[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-040[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-041[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-042[+] pass no result n/a

Dependency not satisfied

n/a

notXP20

n/a

notXQ10

n/a

Dependency not satisfied

n/a

Dependency not satisfied

pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-043[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-044[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-045[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-046[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-047[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-048[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-049[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=format-integer-sequence, value=Α, satisfied=true) was not met.

n/a

Dependency (type=format-integer-sequence, value=Α, satisfied=true) was not met.

    format-integer-050[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=format-integer-sequence, value=α, satisfied=true) was not met.

n/a

Dependency (type=format-integer-sequence, value=α, satisfied=true) was not met.

    format-integer-051[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-052[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met. Dependency (type=format-integer-sequence, value=一, satisfied=true) was not met.

n/a

Dependency (type=format-integer-sequence, value=一, satisfied=true) was not met.

    format-integer-053[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-054[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-055[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-056[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-057[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-058[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-059[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-060[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-061[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-062[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-063[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass
    format-integer-064[+] pass no result pass n/a

notXP20

n/a

notXQ10

pass pass pass pass pass n/a n/a n/a n/a

Dependency (type=spec, value=XP30+ XQ30+, satisfied=true) was not met.

pass