|
| Implementations | |||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|
| fn-count | 316/316 | 75/75 | 316/316 | 75/75 | 316/316 | 316/74 | 0/6 |
| fn-countint1args-1[+]
X fn-countint1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:int("-2147483648"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countint1args-2[+]
X fn-countint1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:int("-1873914410"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countint1args-3[+]
X fn-countint1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:int("2147483647"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countintg1args-1[+]
X fn-countintg1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:integer("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countintg1args-2[+]
X fn-countintg1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:integer("830993497117024304"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countintg1args-3[+]
X fn-countintg1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:integer("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdec1args-1[+]
X fn-countdec1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:decimal("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdec1args-2[+]
X fn-countdec1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:decimal("617375191608514839"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdec1args-3[+]
X fn-countdec1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:decimal("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdbl1args-1[+]
X fn-countdbl1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:double("-1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdbl1args-2[+]
X fn-countdbl1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:double("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countdbl1args-3[+]
X fn-countdbl1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:double("1.7976931348623157E308"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countflt1args-1[+]
X fn-countflt1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:float("-3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countflt1args-2[+]
X fn-countflt1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:float("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countflt1args-3[+]
X fn-countflt1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:float("3.4028235E38"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countlng1args-1[+]
X fn-countlng1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:long("-92233720368547758"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countlng1args-2[+]
X fn-countlng1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:long("-47175562203048468"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countlng1args-3[+]
X fn-countlng1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:long("92233720368547758"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countusht1args-1[+]
X fn-countusht1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedShort("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countusht1args-2[+]
X fn-countusht1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedShort("44633"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countusht1args-3[+]
X fn-countusht1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedShort("65535"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnint1args-1[+]
X fn-countnint1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:negativeInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnint1args-2[+]
X fn-countnint1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:negativeInteger("-297014075999096793"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnint1args-3[+]
X fn-countnint1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:negativeInteger("-1"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countpint1args-1[+]
X fn-countpint1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:positiveInteger("1"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countpint1args-2[+]
X fn-countpint1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:positiveInteger("52704602390610033"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countpint1args-3[+]
X fn-countpint1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:positiveInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countulng1args-1[+]
X fn-countulng1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedLong("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countulng1args-2[+]
X fn-countulng1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedLong("130747108607674654"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countulng1args-3[+]
X fn-countulng1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:unsignedLong("184467440737095516"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnpi1args-1[+]
X fn-countnpi1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonPositiveInteger("-999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnpi1args-2[+]
X fn-countnpi1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonPositiveInteger("-475688437271870490"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnpi1args-3[+]
X fn-countnpi1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonPositiveInteger("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnni1args-1[+]
X fn-countnni1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonNegativeInteger("0"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnni1args-2[+]
X fn-countnni1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonNegativeInteger("303884545991464527"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countnni1args-3[+]
X fn-countnni1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:nonNegativeInteger("999999999999999999"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countsht1args-1[+]
X fn-countsht1args-1: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:short("-32768"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countsht1args-2[+]
X fn-countsht1args-2: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:short("-5324"))) |
pass | pass | pass | pass | pass | pass | |
| fn-countsht1args-3[+]
X fn-countsht1args-3: Created on: 2004-12-13 Spec Dependencies: Test: fn:count((xs:short("32767"))) |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-1[+]
X K-SeqCountFunc-1: Created on: 2007-11-26 Spec Dependencies: Test: count() |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-2[+]
X K-SeqCountFunc-2: Created on: 2007-11-26 Spec Dependencies: Test: count(1, ()) |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-3[+]
X K-SeqCountFunc-3: Created on: 2007-11-26 Spec Dependencies: Test: count( () ) eq 0 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-4[+]
X K-SeqCountFunc-4: Created on: 2007-11-26 Spec Dependencies: Test: count( (1, 2, 3) ) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-5[+]
X K-SeqCountFunc-5: Created on: 2007-11-26 Spec Dependencies: Test: count( (1, 2, ()) ) eq 2 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-6[+]
X K-SeqCountFunc-6: Created on: 2007-11-26 Spec Dependencies: Test: count(()) eq 0 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-7[+]
X K-SeqCountFunc-7: Created on: 2007-11-26 Spec Dependencies: Test: count(((((()))))) eq 0 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-8[+]
X K-SeqCountFunc-8: Created on: 2007-11-26 Spec Dependencies: Test: count( (((), (), ()), (), (), (), ()) ) eq 0 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-9[+]
X K-SeqCountFunc-9: Created on: 2007-11-26 Spec Dependencies: Test: count( (1, 2, 3) ) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-10[+]
X K-SeqCountFunc-10: Created on: 2007-11-26 Spec Dependencies: Test: count( ((), "one", 2, "three")) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-11[+]
X K-SeqCountFunc-11: Created on: 2007-11-26 Spec Dependencies: Test: count( ("one", (2, "three")) ) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-12[+]
X K-SeqCountFunc-12: Created on: 2007-11-26 Spec Dependencies: Test: count((1, 2)) eq 2 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-13[+]
X K-SeqCountFunc-13: Created on: 2007-11-26 Spec Dependencies: Test: count((1, 2, 3, "four")) eq 4 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-14[+]
X K-SeqCountFunc-14: Created on: 2007-11-26 Spec Dependencies: Test: count((1, 2, 3, "four")) eq 4 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-15[+]
X K-SeqCountFunc-15: Created on: 2007-11-26 Spec Dependencies: Test: count(1 to 3) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-16[+]
X K-SeqCountFunc-16: Created on: 2007-11-26 Spec Dependencies: Test: count(reverse((1, 2, 3))) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-17[+]
X K-SeqCountFunc-17: Created on: 2007-11-26 Spec Dependencies: Test: count(reverse((1, 2, 3))) eq 3 |
pass | pass | pass | pass | pass | pass | |
| K-SeqCountFunc-18[+]
X K-SeqCountFunc-18: Created on: 2007-11-26 Spec Dependencies: Test: not(count((1, 2, current-time(), 4))) eq false() |
pass | pass | pass | pass | pass | pass | |
| K2-SeqCountFunc-1[+]
X K2-SeqCountFunc-1: Created on: 2007-11-26 Spec Dependencies: Test: (1 to 10)/count() |
pass | pass | pass | pass | pass | pass | |
| Count001[+]
X Count001: Created on: 2011-11-04 Spec Dependencies: Test: count(//employee[@name='John Doe 4']) = 1 |
pass | pass | pass | pass | pass | pass | |
| Count002[+]
X Count002: Created on: 2011-11-04 Spec Dependencies: Test: count(//employee[@name='John Doe 4']) < 2 |
pass | pass | pass | pass | pass | pass | |
| Count003[+]
X Count003: Created on: 2011-11-04 Spec Dependencies: Test: count(//employee[@name='John Doe 4']) > 0 |
pass | pass | pass | pass | pass | pass | |
| Count004[+]
X Count004: Created on: 2011-11-04 Spec Dependencies: Test: count(//employee[@name='John Doe 4']/@name) > 0.5 |
pass | pass | pass | pass | pass | pass | |
| Count005[+]
X Count005: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 4']) lt 1.5 |
pass | pass | pass | pass | pass | pass | |
| Count006[+]
X Count006: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 4']) eq 0 |
pass | pass | pass | pass | pass | pass | |
| Count007[+]
X Count007: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 498']) eq 0 |
pass | pass | pass | pass | pass | pass | |
| Count008[+]
X Count008: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 4']) lt 1000000000000 |
pass | pass | pass | pass | pass | pass | |
| Count009[+]
X Count009: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 4']) gt -5 |
pass | pass | pass | pass | pass | pass | |
| Count010[+]
X Count010: Created on: 2011-11-04 Spec Dependencies: Test: count(//*[@name='John Doe 4']) eq 0.3 |
pass | pass | pass | pass | pass | pass | |
| Count011[+]
X Count011: Created on: 2011-11-04 Spec Dependencies: Test: count(//node()) gt 40 |
pass | pass | pass | pass | pass | pass | |
| Count012[+]
X Count012: Created on: 2011-11-04 Spec Dependencies: Test: count(//node()) ne -1 |
pass | pass | pass | pass | pass | pass | |
| Count013[+]
X Count013: Created on: 2011-11-04 Spec Dependencies: Test: 0 = count(//node()) |
pass | pass | pass | pass | pass | pass | |
| Count014[+]
X Count014: Created on: 2011-11-04 Spec Dependencies: Test: 40 gt count(//node()) |
pass | pass | pass | pass | pass | pass | |
| Count015[+]
X Count015: Created on: 2013-05-03 Spec Dependencies: Test: count(for $s in ("red", "blue", "green") return string-to-codepoints($s)) |
pass | pass | pass | pass | pass | pass | |
| cbcl-count-001[+]
X cbcl-count-001: Created on: 2008-04-11 Spec Dependencies: Test: fn:count(1 to 10000000) |
pass | pass | pass | pass | pass | pass | |
| cbcl-count-002[+]
X cbcl-count-002: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then (1, 2, 3) else $arg }; fn:count( ( (), local:generate( () ), local:generate( 0 ), (1 to 10000000), local:generate( () ), local:generate(1)) ) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-003[+]
X cbcl-count-003: Created on: 2008-04-14 Spec Dependencies: spec = XQ10+ XP30+ Test: let $x := year-from-date(current-date()) return count( 1 to $x ) = $x |
pass | pass | pass | pass | pass | pass | |
| cbcl-count-005[+]
X cbcl-count-005: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-006[+]
X cbcl-count-006: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-007[+]
X cbcl-count-007: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-008[+]
X cbcl-count-008: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-009[+]
X cbcl-count-009: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-010[+]
X cbcl-count-010: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne 25 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-011[+]
X cbcl-count-011: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-012[+]
X cbcl-count-012: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-013[+]
X cbcl-count-013: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-014[+]
X cbcl-count-014: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-015[+]
X cbcl-count-015: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-016[+]
X cbcl-count-016: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne 25) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-017[+]
X cbcl-count-017: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 lt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-018[+]
X cbcl-count-018: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 le count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-019[+]
X cbcl-count-019: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 eq count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-020[+]
X cbcl-count-020: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 ge count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-021[+]
X cbcl-count-021: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 gt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-022[+]
X cbcl-count-022: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 25 ne count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-023[+]
X cbcl-count-023: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 lt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-024[+]
X cbcl-count-024: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 le count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-025[+]
X cbcl-count-025: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 eq count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-026[+]
X cbcl-count-026: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 ge count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-027[+]
X cbcl-count-027: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 gt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-028[+]
X cbcl-count-028: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(25 ne count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-029[+]
X cbcl-count-029: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) lt local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-030[+]
X cbcl-count-030: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) le local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-031[+]
X cbcl-count-031: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) eq local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-032[+]
X cbcl-count-032: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ge local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-033[+]
X cbcl-count-033: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) gt local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-034[+]
X cbcl-count-034: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ne local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-035[+]
X cbcl-count-035: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) lt count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-036[+]
X cbcl-count-036: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) le count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-037[+]
X cbcl-count-037: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) eq count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-038[+]
X cbcl-count-038: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) ge count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-039[+]
X cbcl-count-039: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) gt count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-040[+]
X cbcl-count-040: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(2, 100)) ne count(local:primes(100, 200)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-041[+]
X cbcl-count-041: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-042[+]
X cbcl-count-042: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-043[+]
X cbcl-count-043: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-044[+]
X cbcl-count-044: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-045[+]
X cbcl-count-045: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-046[+]
X cbcl-count-046: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-047[+]
X cbcl-count-047: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) lt -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-048[+]
X cbcl-count-048: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) le -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-049[+]
X cbcl-count-049: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) eq -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-050[+]
X cbcl-count-050: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ge -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-051[+]
X cbcl-count-051: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) gt -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-052[+]
X cbcl-count-052: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:integer) { $n * $n }; count(local:primes(100)) ne -local:square(5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-053[+]
X cbcl-count-053: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) lt count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-054[+]
X cbcl-count-054: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) le count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-055[+]
X cbcl-count-055: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) eq count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-056[+]
X cbcl-count-056: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) ge count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-057[+]
X cbcl-count-057: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) gt count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-058[+]
X cbcl-count-058: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($s as xs:integer, $n as xs:integer) { let $start := if ($s lt 2) then 2 else $s return for $i in $s to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(2, 100)) ne count(local:primes(100, 200))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-059[+]
X cbcl-count-059: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-060[+]
X cbcl-count-060: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-061[+]
X cbcl-count-061: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-062[+]
X cbcl-count-062: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-063[+]
X cbcl-count-063: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-064[+]
X cbcl-count-064: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne 25.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-065[+]
X cbcl-count-065: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-066[+]
X cbcl-count-066: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-067[+]
X cbcl-count-067: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-068[+]
X cbcl-count-068: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-069[+]
X cbcl-count-069: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-070[+]
X cbcl-count-070: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne 25.5) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-071[+]
X cbcl-count-071: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 lt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-072[+]
X cbcl-count-072: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 le count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-073[+]
X cbcl-count-073: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 eq count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-074[+]
X cbcl-count-074: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 ge count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-075[+]
X cbcl-count-075: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 gt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-076[+]
X cbcl-count-076: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; 24.5 ne count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-077[+]
X cbcl-count-077: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 lt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-078[+]
X cbcl-count-078: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 le count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-079[+]
X cbcl-count-079: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 eq count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-080[+]
X cbcl-count-080: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 ge count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-081[+]
X cbcl-count-081: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 gt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-082[+]
X cbcl-count-082: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(24.5 ne count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-083[+]
X cbcl-count-083: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) lt local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-084[+]
X cbcl-count-084: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) le local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-085[+]
X cbcl-count-085: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) eq local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-086[+]
X cbcl-count-086: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-087[+]
X cbcl-count-087: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) gt local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-088[+]
X cbcl-count-088: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ne local:square(5.1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-089[+]
X cbcl-count-089: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-090[+]
X cbcl-count-090: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-091[+]
X cbcl-count-091: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-092[+]
X cbcl-count-092: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-093[+]
X cbcl-count-093: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-094[+]
X cbcl-count-094: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1.5 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-095[+]
X cbcl-count-095: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) lt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-096[+]
X cbcl-count-096: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) le -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-097[+]
X cbcl-count-097: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) eq -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-098[+]
X cbcl-count-098: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-099[+]
X cbcl-count-099: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) gt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-100[+]
X cbcl-count-100: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ne -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-101[+]
X cbcl-count-101: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:decimal) { $n * $n }; count(local:primes(100)) ge 1.0 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-102[+]
X cbcl-count-102: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-103[+]
X cbcl-count-103: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-104[+]
X cbcl-count-104: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-105[+]
X cbcl-count-105: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-106[+]
X cbcl-count-106: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-107[+]
X cbcl-count-107: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-108[+]
X cbcl-count-108: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-109[+]
X cbcl-count-109: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-110[+]
X cbcl-count-110: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-111[+]
X cbcl-count-111: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-112[+]
X cbcl-count-112: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-113[+]
X cbcl-count-113: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne xs:float("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-114[+]
X cbcl-count-114: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") lt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-115[+]
X cbcl-count-115: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") le count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-116[+]
X cbcl-count-116: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") eq count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-117[+]
X cbcl-count-117: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") ge count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-118[+]
X cbcl-count-118: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") gt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-119[+]
X cbcl-count-119: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:float("24.5") ne count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-120[+]
X cbcl-count-120: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") lt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-121[+]
X cbcl-count-121: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") le count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-122[+]
X cbcl-count-122: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") eq count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-123[+]
X cbcl-count-123: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") ge count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-124[+]
X cbcl-count-124: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") gt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-125[+]
X cbcl-count-125: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:float("24.5") ne count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-126[+]
X cbcl-count-126: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) lt local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-127[+]
X cbcl-count-127: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) le local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-128[+]
X cbcl-count-128: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) eq local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-129[+]
X cbcl-count-129: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ge local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-130[+]
X cbcl-count-130: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) gt local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-131[+]
X cbcl-count-131: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ne local:square(xs:float("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-132[+]
X cbcl-count-132: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-133[+]
X cbcl-count-133: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-134[+]
X cbcl-count-134: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-135[+]
X cbcl-count-135: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-136[+]
X cbcl-count-136: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-137[+]
X cbcl-count-137: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-138[+]
X cbcl-count-138: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) lt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-139[+]
X cbcl-count-139: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) le -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-140[+]
X cbcl-count-140: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) eq -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-141[+]
X cbcl-count-141: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ge -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-142[+]
X cbcl-count-142: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) gt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-143[+]
X cbcl-count-143: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:float) { $n * $n }; count(local:primes(100)) ne -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-144[+]
X cbcl-count-144: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("1.0") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-145[+]
X cbcl-count-145: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-146[+]
X cbcl-count-146: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-147[+]
X cbcl-count-147: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-148[+]
X cbcl-count-148: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-149[+]
X cbcl-count-149: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-150[+]
X cbcl-count-150: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("25.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-151[+]
X cbcl-count-151: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) lt xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-152[+]
X cbcl-count-152: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) le xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-153[+]
X cbcl-count-153: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) eq xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-154[+]
X cbcl-count-154: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ge xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-155[+]
X cbcl-count-155: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) gt xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-156[+]
X cbcl-count-156: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(count(local:primes(100)) ne xs:double("25.5")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-157[+]
X cbcl-count-157: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") lt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-158[+]
X cbcl-count-158: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") le count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-159[+]
X cbcl-count-159: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") eq count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-160[+]
X cbcl-count-160: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") ge count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-161[+]
X cbcl-count-161: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") gt count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-162[+]
X cbcl-count-162: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; xs:double("24.5") ne count(local:primes(100)) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-163[+]
X cbcl-count-163: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") lt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-164[+]
X cbcl-count-164: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") le count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-165[+]
X cbcl-count-165: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") eq count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-166[+]
X cbcl-count-166: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") ge count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-167[+]
X cbcl-count-167: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") gt count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-168[+]
X cbcl-count-168: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; not(xs:double("24.5") ne count(local:primes(100))) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-169[+]
X cbcl-count-169: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) lt local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-170[+]
X cbcl-count-170: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) le local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-171[+]
X cbcl-count-171: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) eq local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-172[+]
X cbcl-count-172: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ge local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-173[+]
X cbcl-count-173: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) gt local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-174[+]
X cbcl-count-174: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ne local:square(xs:double("4.9")) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-175[+]
X cbcl-count-175: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-176[+]
X cbcl-count-176: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-177[+]
X cbcl-count-177: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-178[+]
X cbcl-count-178: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-179[+]
X cbcl-count-179: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-180[+]
X cbcl-count-180: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("-1.5") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-181[+]
X cbcl-count-181: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) lt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-182[+]
X cbcl-count-182: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) le -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-183[+]
X cbcl-count-183: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) eq -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-184[+]
X cbcl-count-184: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ge -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-185[+]
X cbcl-count-185: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) gt -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-186[+]
X cbcl-count-186: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:square($n as xs:double) { $n * $n }; count(local:primes(100)) ne -local:square(5.0) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-187[+]
X cbcl-count-187: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("1.0") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-188[+]
X cbcl-count-188: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-189[+]
X cbcl-count-189: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-190[+]
X cbcl-count-190: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-191[+]
X cbcl-count-191: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-192[+]
X cbcl-count-192: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-193[+]
X cbcl-count-193: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-194[+]
X cbcl-count-194: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-195[+]
X cbcl-count-195: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-196[+]
X cbcl-count-196: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-197[+]
X cbcl-count-197: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-198[+]
X cbcl-count-198: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-199[+]
X cbcl-count-199: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-200[+]
X cbcl-count-200: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:double("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-201[+]
X cbcl-count-201: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-202[+]
X cbcl-count-202: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-203[+]
X cbcl-count-203: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-204[+]
X cbcl-count-204: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-205[+]
X cbcl-count-205: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-206[+]
X cbcl-count-206: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("NaN") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-207[+]
X cbcl-count-207: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-208[+]
X cbcl-count-208: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-209[+]
X cbcl-count-209: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-210[+]
X cbcl-count-210: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-211[+]
X cbcl-count-211: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-212[+]
X cbcl-count-212: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne xs:float("INF") |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-213[+]
X cbcl-count-213: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) lt local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-214[+]
X cbcl-count-214: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) le local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-215[+]
X cbcl-count-215: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) eq local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-216[+]
X cbcl-count-216: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ge local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-217[+]
X cbcl-count-217: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) gt local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-218[+]
X cbcl-count-218: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ne local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-219[+]
X cbcl-count-219: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) lt local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-220[+]
X cbcl-count-220: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) le local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-221[+]
X cbcl-count-221: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) eq local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-222[+]
X cbcl-count-222: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ge local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-223[+]
X cbcl-count-223: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) gt local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-224[+]
X cbcl-count-224: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:double { if ($n) then xs:double('NaN') else xs:double('INF') }; count(local:primes(100)) ne local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-225[+]
X cbcl-count-225: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) lt local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-226[+]
X cbcl-count-226: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) le local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-227[+]
X cbcl-count-227: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) eq local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-228[+]
X cbcl-count-228: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ge local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-229[+]
X cbcl-count-229: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) gt local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-230[+]
X cbcl-count-230: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ne local:strange(true()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-231[+]
X cbcl-count-231: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) lt local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-232[+]
X cbcl-count-232: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) le local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-233[+]
X cbcl-count-233: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) eq local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-234[+]
X cbcl-count-234: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ge local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-235[+]
X cbcl-count-235: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) gt local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-236[+]
X cbcl-count-236: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; declare function local:strange($n as xs:boolean) as xs:float { if ($n) then xs:float('NaN') else xs:float('INF') }; count(local:primes(100)) ne local:strange(false()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-237[+]
X cbcl-count-237: Created on: 2008-06-02 Spec Dependencies: spec = XQ10+ Test: count((for $x in 1 to 10 return $x * $x)[position() < 3]) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-238[+]
X cbcl-count-238: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) lt -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-239[+]
X cbcl-count-239: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) le -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-240[+]
X cbcl-count-240: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) eq -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-241[+]
X cbcl-count-241: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-242[+]
X cbcl-count-242: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) gt -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-243[+]
X cbcl-count-243: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ne -1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| cbcl-count-244[+]
X cbcl-count-244: Created on: 2008-04-11 Spec Dependencies: spec = XQ10+ Test: declare function local:primes($n as xs:integer) { if ($n lt 2) then 1 else for $i in 2 to $n return if (every $x in 2 to ($i - 1) satisfies ($i mod $x ne 0)) then $i else () }; count(local:primes(100)) ge 1 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |