Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1438825 cpu_core_0 "14.000000000000002".
- 1438895 cpu_core_0 "14.000000000000002".
- 1440093 cpu_core_0 "14.000000000000002".
- 1440754 cpu_core_0 "14.000000000000002".
- 1440885 cpu_core_0 "14.000000000000002".
- 1440914 cpu_core_0 "14.000000000000002".
- 1441026 cpu_core_0 "14.000000000000002".
- 1441643 cpu_core_0 "14.000000000000002".
- 1441765 cpu_core_0 "14.000000000000002".
- 1441869 cpu_core_0 "14.000000000000002".
- 1441885 cpu_core_0 "14.000000000000002".
- 1441937 cpu_core_0 "14.000000000000002".
- 1442648 cpu_core_0 "14.000000000000002".
- 1442988 cpu_core_0 "14.000000000000002".
- 1443172 cpu_core_0 "14.000000000000002".
- 1443465 cpu_core_0 "14.000000000000002".
- 1443857 cpu_core_0 "14.000000000000002".
- 1444077 cpu_core_0 "14.000000000000002".
- 1444119 cpu_core_0 "14.000000000000002".
- 1444694 cpu_core_0 "14.000000000000002".
- 1444981 cpu_core_0 "14.000000000000002".
- 1445097 cpu_core_0 "14.000000000000002".
- 1445352 cpu_core_0 "14.000000000000002".
- 1446325 cpu_core_0 "14.000000000000002".
- 1446378 cpu_core_0 "14.000000000000002".
- 1446457 cpu_core_0 "14.000000000000002".
- 1446519 cpu_core_0 "14.000000000000002".
- 1446609 cpu_core_0 "14.000000000000002".
- 1446633 cpu_core_0 "14.000000000000002".
- 1446754 cpu_core_0 "14.000000000000002".
- 1446756 cpu_core_0 "14.000000000000002".
- 1446960 cpu_core_0 "14.000000000000002".
- 1446961 cpu_core_0 "14.000000000000002".
- 1447163 cpu_core_0 "14.000000000000002".
- 1447268 cpu_core_0 "14.000000000000002".
- 1447319 cpu_core_0 "14.000000000000002".
- 1447577 cpu_core_0 "14.000000000000002".
- 1447603 cpu_core_0 "14.000000000000002".
- 1447803 cpu_core_0 "14.000000000000002".
- 1447959 cpu_core_0 "14.000000000000002".
- 1448171 cpu_core_0 "14.000000000000002".
- 1448470 cpu_core_0 "14.000000000000002".
- 1448778 cpu_core_0 "14.000000000000002".
- 1449030 cpu_core_0 "14.000000000000002".
- 1449063 cpu_core_0 "14.000000000000002".
- 1449064 cpu_core_0 "14.000000000000002".
- 1449187 cpu_core_0 "14.000000000000002".
- 1449684 cpu_core_0 "14.000000000000002".
- 1449749 cpu_core_0 "14.000000000000002".
- 1450043 cpu_core_0 "14.000000000000002".
- 1450137 cpu_core_0 "14.000000000000002".
- 1450429 cpu_core_0 "14.000000000000002".
- 1450697 cpu_core_0 "14.000000000000002".
- 1451965 cpu_core_0 "14.000000000000002".
- 1452148 cpu_core_0 "14.000000000000002".
- 1452352 cpu_core_0 "14.000000000000002".
- 1452389 cpu_core_0 "14.000000000000002".
- 1452413 cpu_core_0 "14.000000000000002".
- 1452597 cpu_core_0 "14.000000000000002".
- 145261 cpu_core_0 "14.000000000000002".
- 1452618 cpu_core_0 "14.000000000000002".
- 1453266 cpu_core_0 "14.000000000000002".
- 1453512 cpu_core_0 "14.000000000000002".
- 1453615 cpu_core_0 "14.000000000000002".
- 1453915 cpu_core_0 "14.000000000000002".
- 1454395 cpu_core_0 "14.000000000000002".
- 1454398 cpu_core_0 "14.000000000000002".
- 1454423 cpu_core_0 "14.000000000000002".
- 1454753 cpu_core_0 "14.000000000000002".
- 1455192 cpu_core_0 "14.000000000000002".
- 1456171 cpu_core_0 "14.000000000000002".
- 1456250 cpu_core_0 "14.000000000000002".
- 1457143 cpu_core_0 "14.000000000000002".
- 1457398 cpu_core_0 "14.000000000000002".
- 1457646 cpu_core_0 "14.000000000000002".
- 1457770 cpu_core_0 "14.000000000000002".
- 1457875 cpu_core_0 "14.000000000000002".
- 1459299 cpu_core_0 "14.000000000000002".
- 1459874 cpu_core_0 "14.000000000000002".
- 1460109 cpu_core_0 "14.000000000000002".
- 1460210 cpu_core_0 "14.000000000000002".
- 1460271 cpu_core_0 "14.000000000000002".
- 1460404 cpu_core_0 "14.000000000000002".
- 1460962 cpu_core_0 "14.000000000000002".
- 1461388 cpu_core_0 "14.000000000000002".
- 1461506 cpu_core_0 "14.000000000000002".
- 1461557 cpu_core_0 "14.000000000000002".
- 1461562 cpu_core_0 "14.000000000000002".
- 1462681 cpu_core_0 "14.000000000000002".
- 1462725 cpu_core_0 "14.000000000000002".
- 1462893 cpu_core_0 "14.000000000000002".
- 1463068 cpu_core_0 "14.000000000000002".
- 1463080 cpu_core_0 "14.000000000000002".
- 1463210 cpu_core_0 "14.000000000000002".
- 1463225 cpu_core_0 "14.000000000000002".
- 1463390 cpu_core_0 "14.000000000000002".
- 1463490 cpu_core_0 "14.000000000000002".
- 1463637 cpu_core_0 "14.000000000000002".
- 1463677 cpu_core_0 "14.000000000000002".
- 1463772 cpu_core_0 "14.000000000000002".