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-InstanceofExpr 292/308 303/308 259/259 278/278 273/273 308/308 306/308 273/273 308/308 308/308 259/259 278/278 278/278 277/278 304/308 1/15
    instanceof1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof9[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof10[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof11[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof12[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof13[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof14[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof15[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof17[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof18[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof19[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof20[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof21[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof22[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof23[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof24[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof25[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof26[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof27[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof28[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof29[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof30[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof31[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof32[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof33[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof34[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof35[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof36[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof37[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof38[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof39[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof40[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof41[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof42[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof43[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof44[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof45[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof46[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof47[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof48[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof49[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof50[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof51[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof52[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof53[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof54[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof55[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof56[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof57[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof58[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof59[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof60[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof61[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof62[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof63[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof64[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof65[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof66[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof67[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof68[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof69[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof70[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof71[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof72[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof73[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof74[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof75[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof76[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof77[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof78[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof79[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof80[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof81[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof82[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof83[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof84[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof85[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof86[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof87[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof88[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof89[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof90[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof91[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof92[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof93[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof94[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof95[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof96[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof97[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof98[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof99[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof100[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof101[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof102[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof103[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof104[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof105[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof106[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof107[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof108[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof109[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof110[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof111[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    instanceof112[+] no result 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
    instanceof113[+] no result 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.

fail
    instanceof114[+] no result 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
    instanceof115[+] no result 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
    instanceof116[+] no result 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
    instanceof117[+] no result wrongError

expected: XPST0051 actualCode: XPST0017

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.

wrongError

Expected error: XPST0051. Found error: XPST0017

    instanceof118[+] no result 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
    instanceof119[+] no result 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
    instanceof120[+] no result 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
    instanceof121[+] pass pass 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
    instanceof122[+] pass pass 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
    instanceof123[+] pass pass 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
    instanceof124[+] pass pass 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
    instanceof125[+] pass pass 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
    instanceof126[+] pass pass 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
    instanceof127[+] pass pass 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
    instanceof128[+] pass pass 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
    instanceof129[+] pass pass 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
    instanceof130[+] pass fail 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
    instanceof131[+] pass fail 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
    instanceof132[+] pass pass 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
    instanceof133[+] pass pass 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
    instanceof134[+] pass pass 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
    instanceof135[+] no result 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
    instanceof136[+] no result 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
    instanceof137[+] no result 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
    instanceof138[+] no result 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.

pass
    instanceof139[+] no result 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
    instanceof140[+] no result 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.

fail
    instanceof141[+] no result 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.

pass
    K-SeqExprInstanceOf-1[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-2[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-3[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-4[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-5[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-6[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-7[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-8[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-9[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-10[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-11[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-12[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-13[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-14[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-15[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-17[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-18[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-19[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-20[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-21[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-22[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-23[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-24[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-25[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-26[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-27[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-28[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-29[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-30[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-31[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-32[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-33[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-34[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-35[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-36[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-37[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-38[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-39[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-40[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-41[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-42[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-43[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-44[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-45[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-46[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-47[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-48[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-49[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-50[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-51[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-52[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-53[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-54[+] pass pass no result pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-55[+] pass pass no result pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-56[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-57[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-58[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-59[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-60[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-61[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-62[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-63[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-64[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-65[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K-SeqExprInstanceOf-66[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-1[+] pass pass pass n/a

notXP20

pass n/a

notXP30

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

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-3[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-4[+] pass pass pass n/a

notXP20

pass n/a

notXP30

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

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-6[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-7[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-8[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-9[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-10[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-11[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-12[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-13[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-14[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-15[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-16[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-17[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-18[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-19[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-20[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-21[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-22[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-23[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-24[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-25[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-26[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-27[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-28[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-29[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-30[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-31[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-32[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-33[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-34[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-35[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-36[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-37[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-38[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-39[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-40[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-41[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-42[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-43[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-44[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-45[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-46[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-47[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-48[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-49[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-50[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-51[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-52[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-53[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-54[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-55[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-56[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-57[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-58[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-59[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-60[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-61[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-62[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-63[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-64[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-65[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-66[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-67[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-68[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-69[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-70[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-71[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-72[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-73[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-74[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-75[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-76[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-77[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-78[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-79[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-80[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-81[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-82[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-83[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-84[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-85[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-86[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-87[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-88[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-89[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-90[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-91[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-92[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-93[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-94[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-95[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-96[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-97[+] pass pass pass pass pass pass pass pass pass pass pass pass pass pass pass
    K2-SeqExprInstanceOf-98[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-99[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-SeqExprInstanceOf-100[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-instance-of-001[+] pass pass pass pass pass pass pass pass pass pass pass pass pass fail fail