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)
prod-VersionDecl 41/28 27/28 0/0 28/28 0/0 28/28 23/28 0/0 28/28 28/28 0/0 28/28 28/28 27/28 27/28 0/15
    version_declaration-009[+] pass pass no result n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-020[+] pass pass no result n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-VersionProlog-3[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K2-VersionProlog-3-v3[+] pass pass no result n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    version_declaration-022-v1[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    version_declaration-022-v3[+] pass pass no result n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    version_declaration-023-v1[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K-VersionProlog-1[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-002[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-001[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-007[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-008[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    version_declaration-021[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    VersionDecl-v1-processor-and-v3-query[+] fail n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    VersionDecl-v3-processor-and-v1-query[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    version_declaration-010[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    version_declaration-010-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    K-VersionProlog-3[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K-VersionProlog-3-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    K-VersionProlog-4[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K-VersionProlog-4-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    K-VersionProlog-2[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K-VersionProlog-2-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    prolog-version-4[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-4-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    prolog-version-5[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-5-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    prolog-version-6[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-6-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    prolog-version-7[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-7-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    version_declaration-005[+] no result pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    prolog-version-1[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-1-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    prolog-version-3[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    prolog-version-3-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    K-VersionProlog-5[+] pass n/a no result n/a

notXP20

pass n/a

notXP30

n/a

notXQ30

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

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

    K-VersionProlog-5-v3[+] pass pass pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

pass
    version_declaration-023-v3[+] pass fail pass n/a

notXP20

n/a

notXQ10

n/a

notXP30

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

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

fail
    K2-VersionProlog-1[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-VersionProlog-2[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-VersionProlog-4[+] pass pass no result n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-VersionProlog-5[+] pass pass pass n/a

notXP20

pass n/a

notXP30

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