|
| 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-GeneralComp.eq | 172/172 | 171/172 | 113/113 | 172/172 | 114/114 | 172/172 | 171/172 | 114/114 | 172/172 | 172/172 | 113/113 | 172/172 | 172/172 | 172/172 | 172/172 | 2/15 |
| generalexpression1[+]
X generalexpression1: () = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression2[+]
X generalexpression2: () = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression3[+]
X generalexpression3: () = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression4[+]
X generalexpression4: () = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression5[+]
X generalexpression5: () = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression6[+]
X generalexpression6: () = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression7[+]
X generalexpression7: () = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression8[+]
X generalexpression8: () = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression9[+]
X generalexpression9: () = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression10[+]
X generalexpression10: () = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression11[+]
X generalexpression11: 10000 = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression12[+]
X generalexpression12: 10000 = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression13[+]
X generalexpression13: 10000 = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression14[+]
X generalexpression14: 10000 = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression15[+]
X generalexpression15: 10000 = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression16[+]
X generalexpression16: 10000 = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression17[+]
X generalexpression17: 10000 = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression18[+]
X generalexpression18: 10000 = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression19[+]
X generalexpression19: 10000 = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression20[+]
X generalexpression20: (50000) = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression21[+]
X generalexpression21: (50000) = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression22[+]
X generalexpression22: (50000) = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression23[+]
X generalexpression23: (50000) = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression24[+]
X generalexpression24: (50000) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression25[+]
X generalexpression25: (50000) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression26[+]
X generalexpression26: (50000) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression27[+]
X generalexpression27: (50000) = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression28[+]
X generalexpression28: (50000) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression29[+]
X generalexpression29: (50000) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression30[+]
X generalexpression30: (10000,50000) = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression31[+]
X generalexpression31: (10000,50000) = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression32[+]
X generalexpression32: (10000,50000) = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression33[+]
X generalexpression33: (10000,50000) = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression34[+]
X generalexpression34: (10000,50000) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression35[+]
X generalexpression35: (10000,50000) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression36[+]
X generalexpression36: (10000,50000) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression37[+]
X generalexpression37: (10000,50000) = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression38[+]
X generalexpression38: (10000,50000) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression39[+]
X generalexpression39: (10000,50000) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression40[+]
X generalexpression40: <a>10000</a> = () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression41[+]
X generalexpression41: <a>10000</a> = 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression42[+]
X generalexpression42: <a>10000</a> = (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression43[+]
X generalexpression43: <a>10000</a> = (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression44[+]
X generalexpression44: <a>10000</a> = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression45[+]
X generalexpression45: <a>10000</a> = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression46[+]
X generalexpression46: <a>10000</a> = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression47[+]
X generalexpression47: <a>10000</a> = (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression48[+]
X generalexpression48: <a>10000</a> = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression49[+]
X generalexpression49: <a>10000</a> = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression50[+]
X generalexpression50: (<a>10000</a>) = () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression51[+]
X generalexpression51: (<a>10000</a>) = 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression52[+]
X generalexpression52: (<a>10000</a>) = (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression53[+]
X generalexpression53: (<a>10000</a>) = (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression54[+]
X generalexpression54: (<a>10000</a>) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression55[+]
X generalexpression55: (<a>10000</a>) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression56[+]
X generalexpression56: (<a>10000</a>) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression57[+]
X generalexpression57: (<a>10000</a>) = (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression58[+]
X generalexpression58: (<a>10000</a>) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression59[+]
X generalexpression59: (<a>10000</a>) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression60[+]
X generalexpression60: (<a>10000</a>,<b>50000</b>) = () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression61[+]
X generalexpression61: (<a>10000</a>,<b>50000</b>) = 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression62[+]
X generalexpression62: (<a>10000</a>,<b>50000</b>) = (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression63[+]
X generalexpression63: (<a>10000</a>,<b>50000</b>) = (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression64[+]
X generalexpression64: (<a>10000</a>,<b>50000</b>) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression65[+]
X generalexpression65: (<a>10000</a>,<b>50000</b>) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression66[+]
X generalexpression66: (<a>10000</a>,<b>50000</b>) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression67[+]
X generalexpression67: (<a>10000</a>,<b>50000</b>) = (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression68[+]
X generalexpression68: (<a>10000</a>,<b>50000</b>) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression69[+]
X generalexpression69: (<a>10000</a>,<b>50000</b>) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression70[+]
X generalexpression70: (/works/employee[1]/hours[1]) = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression71[+]
X generalexpression71: (/works/employee[1]/hours[1]) = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression72[+]
X generalexpression72: (/works/employee[1]/hours[1]) = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression73[+]
X generalexpression73: (/works/employee[1]/hours[1]) = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression74[+]
X generalexpression74: (/works/employee[1]/hours[1]) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression75[+]
X generalexpression75: (/works/employee[1]/hours[1]) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression76[+]
X generalexpression76: (/works/employee[1]/hours[1]) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression77[+]
X generalexpression77: (/works/employee[1]/hours[1]) = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression78[+]
X generalexpression78: (/works/employee[1]/hours[1]) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression79[+]
X generalexpression79: ($works/works/employee[1]/hours[1]) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression80[+]
X generalexpression80: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression81[+]
X generalexpression81: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression82[+]
X generalexpression82: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression83[+]
X generalexpression83: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression84[+]
X generalexpression84: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression85[+]
X generalexpression85: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression86[+]
X generalexpression86: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression87[+]
X generalexpression87: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression88[+]
X generalexpression88: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) = (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression89[+]
X generalexpression89: ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression90[+]
X generalexpression90: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression91[+]
X generalexpression91: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression92[+]
X generalexpression92: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression93[+]
X generalexpression93: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression94[+]
X generalexpression94: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression95[+]
X generalexpression95: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression96[+]
X generalexpression96: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression97[+]
X generalexpression97: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = ($works/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression98[+]
X generalexpression98: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression99[+]
X generalexpression99: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) = ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-1[+]
X K-GenCompEq-1: not(() = ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-2[+]
X K-GenCompEq-2: not((() = ())) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-3[+]
X K-GenCompEq-3: not((() = 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-4[+]
X K-GenCompEq-4: not(1 = ()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-5[+]
X K-GenCompEq-5: 1 == 1 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-6[+]
X K-GenCompEq-6: (1, 2) = (2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-7[+]
X K-GenCompEq-7: (2, 3) = (3, 4) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-8[+]
X K-GenCompEq-8: not((1, 2) = (3, 4)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-9[+]
X K-GenCompEq-9: (xs:untypedAtomic("1"), xs:untypedAtomic("2")) = (xs:untypedAtomic("2.0"), 2.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-10[+]
X K-GenCompEq-10: not((xs:untypedAtomic("1"), xs:untypedAtomic("2")) = (xs:untypedAtomic("2.0"), 3.0)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-11[+]
X K-GenCompEq-11: xs:untypedAtomic("1") = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-12[+]
X K-GenCompEq-12: not(xs:untypedAtomic("2") = 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-13[+]
X K-GenCompEq-13: xs:untypedAtomic("1") = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-14[+]
X K-GenCompEq-14: 1 = xs:untypedAtomic("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-15[+]
X K-GenCompEq-15: 1 = xs:untypedAtomic("1") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-16[+]
X K-GenCompEq-16: error() = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-17[+]
X K-GenCompEq-17: (error(), 3) = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-18[+]
X K-GenCompEq-18: 3 = error() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-19[+]
X K-GenCompEq-19: 3 = (error(), 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-20[+]
X K-GenCompEq-20: count(remove(remove((current-time(), 1), 1), 1)) = 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-21[+]
X K-GenCompEq-21: not(0 = count((1, 2, timezone-from-time(current-time())))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-22[+]
X K-GenCompEq-22: 0 != count((1, 2, timezone-from-time(current-time()))) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-23[+]
X K-GenCompEq-23: (xs:anyURI("example.com/"), 1, QName("example.com", "ncname"), false(), xs:hexBinary("FF")) = (xs:anyURI("example.com/NOT"), 0, QName("example.com", "p:ncname"), true(), xs:hexBinary("EF")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-24[+]
X K-GenCompEq-24: "a string" = "a string" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-25[+]
X K-GenCompEq-25: xs:untypedAtomic("a string") = "a string" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-26[+]
X K-GenCompEq-26: "a string" = xs:untypedAtomic("a string") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-27[+]
X K-GenCompEq-27: not(xs:untypedAtomic("a string") = "a stringDIFF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-28[+]
X K-GenCompEq-28: not("a string" = xs:untypedAtomic("a stringDIFF")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-29[+]
X K-GenCompEq-29: not("a string" = "a stringDIFF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-30[+]
X K-GenCompEq-30: remove((6, "a string"), 1) = 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-31[+]
X K-GenCompEq-31: 6 = remove(("a string", 6), 2) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-32[+]
X K-GenCompEq-32: remove((6, "a string"), 2) = xs:untypedAtomic("6") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-33[+]
X K-GenCompEq-33: xs:untypedAtomic("6") = remove(("a string", 6), 1) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-34[+]
X K-GenCompEq-34: (remove((xs:untypedAtomic("6"), "a string"), 2)) = 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-35[+]
X K-GenCompEq-35: 6 = (remove(("a string", xs:untypedAtomic("6")), 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-36[+]
X K-GenCompEq-36: 1 = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-37[+]
X K-GenCompEq-37: (1, 2, 3) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-38[+]
X K-GenCompEq-38: (1, 2, 3) = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-39[+]
X K-GenCompEq-39: (1, 2, 3) = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-40[+]
X K-GenCompEq-40: 2 = (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-41[+]
X K-GenCompEq-41: 1 = (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-42[+]
X K-GenCompEq-42: 3 = (1, 2, 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-43[+]
X K-GenCompEq-43: xs:untypedAtomic("false") = false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-44[+]
X K-GenCompEq-44: false() = xs:untypedAtomic("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-45[+]
X K-GenCompEq-45: not(xs:untypedAtomic("true") = false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-46[+]
X K-GenCompEq-46: (true() = xs:untypedAtomic("true")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-47[+]
X K-GenCompEq-47: "1" = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-48[+]
X K-GenCompEq-48: 1 = "1" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-49[+]
X K-GenCompEq-49: false() = 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-50[+]
X K-GenCompEq-50: 5 = false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-51[+]
X K-GenCompEq-51: xs:untypedAtomic("three") = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-52[+]
X K-GenCompEq-52: xs:string("false") = false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-53[+]
X K-GenCompEq-53: false() = xs:string("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-54[+]
X K-GenCompEq-54: xs:untypedAtomic("falseERR") = false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-55[+]
X K-GenCompEq-55: (xs:untypedAtomic("1"), xs:anyURI("example.com")) = (xs:untypedAtomic("2.0"), 3.0) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-56[+]
X K-GenCompEq-56: false() = xs:untypedAtomic("falseERR") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-57[+]
X K-GenCompEq-57: 3 = xs:untypedAtomic("three") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-58[+]
X K-GenCompEq-58: xs:anyURI("example.com/") = false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompEq-59[+]
X K-GenCompEq-59: false() = xs:anyURI("example.com/") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-GenCompEq-1[+]
X K2-GenCompEq-1: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("b string", current-time(), string(<e>content</e>))[1] treat as xs:string; (lower-case($vA) = lower-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-2[+]
X K2-GenCompEq-2: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("b string", current-time(), string(<e>content</e>))[1] treat as xs:string; (upper-case($vA) = upper-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-3[+]
X K2-GenCompEq-3: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("no match", current-time(), string(<e>content</e>))[1] treat as xs:string; (lower-case($vA) = lower-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-4[+]
X K2-GenCompEq-4: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("no match", current-time(), string(<e>content</e>))[1] treat as xs:string; (upper-case($vA) = upper-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-5[+]
X K2-GenCompEq-5: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("b string", current-time(), string(<e>content</e>))[1] treat as xs:string; (upper-case($vA) = lower-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-6[+]
X K2-GenCompEq-6: declare variable $vA as xs:string := ("B STRING", current-time(), string(<e>content</e>))[1] treat as xs:string; declare variable $vB as xs:string := ("b string", current-time(), string(<e>content</e>))[1] treat as xs:string; (lower-case($vA) = upper-case($vB)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-7[+]
X K2-GenCompEq-7: let $x := codepoints-to-string(12) return ($x = $x) |
pass | pass | pass | n/a
notXP20 |
pass | pass | pass | pass | pass | pass | n/a | pass | pass | pass | pass | |
| K2-GenCompEq-8[+]
X K2-GenCompEq-8: empty(for $b in <e/> where $b/@id="person0" return ()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| GenCompEq-1[+]
X GenCompEq-1: xs:untypedAtomic("a string") = xs:untypedAtomic("a stringDIFF") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| GenCompEq-2[+]
X GenCompEq-2: xs:untypedAtomic("1") = xs:NCName("string") |
pass | fail | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| GenCompEq-3[+]
X GenCompEq-3: xs:dayTimeDuration("P3DT08H34M12.143S") = xs:untypedAtomic("P3DT08H34M12.143S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| GenCompEq-4[+]
X GenCompEq-4: xs:untypedAtomic("0") = xs:dayTimeDuration("PT0S") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| GenCompEq-5[+]
X GenCompEq-5: xs:untypedAtomic("P1999Y10M") = xs:yearMonthDuration("P1999Y10M") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| GenCompEq-6[+]
X GenCompEq-6: xs:yearMonthDuration("P1999Y") = xs:untypedAtomic("1999") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |