Matches in ISWC2014 Benchmark for { ?s ?p 13.402061855670103. }
- 1922255 cpu_core_0 "13.402061855670103".
- 1922285 cpu_core_0 "13.402061855670103".
- 1922495 cpu_core_0 "13.402061855670103".
- 1922526 cpu_core_0 "13.402061855670103".
- 1923008 cpu_core_0 "13.402061855670103".
- 1923041 cpu_core_0 "13.402061855670103".
- 1923376 cpu_core_0 "13.402061855670103".
- 1923461 cpu_core_0 "13.402061855670103".
- 1923550 cpu_core_0 "13.402061855670103".
- 1923580 cpu_core_0 "13.402061855670103".
- 1923612 cpu_core_0 "13.402061855670103".
- 1923626 cpu_core_0 "13.402061855670103".
- 1923628 cpu_core_0 "13.402061855670103".
- 1924048 cpu_core_0 "13.402061855670103".
- 1924102 cpu_core_0 "13.402061855670103".
- 1924136 cpu_core_0 "13.402061855670103".
- 1924165 cpu_core_0 "13.402061855670103".
- 1924170 cpu_core_0 "13.402061855670103".
- 1924173 cpu_core_0 "13.402061855670103".
- 1924217 cpu_core_0 "13.402061855670103".
- 1924296 cpu_core_0 "13.402061855670103".
- 1924425 cpu_core_0 "13.402061855670103".
- 1924473 cpu_core_0 "13.402061855670103".
- 1924482 cpu_core_0 "13.402061855670103".
- 1924519 cpu_core_0 "13.402061855670103".
- 1924640 cpu_core_0 "13.402061855670103".
- 1924834 cpu_core_0 "13.402061855670103".
- 1925136 cpu_core_0 "13.402061855670103".
- 1925141 cpu_core_0 "13.402061855670103".
- 1925263 cpu_core_0 "13.402061855670103".
- 1925314 cpu_core_0 "13.402061855670103".
- 1925335 cpu_core_0 "13.402061855670103".
- 1925340 cpu_core_0 "13.402061855670103".
- 1925349 cpu_core_0 "13.402061855670103".
- 1925587 cpu_core_0 "13.402061855670103".
- 1925689 cpu_core_0 "13.402061855670103".
- 1925955 cpu_core_0 "13.402061855670103".
- 1925987 cpu_core_0 "13.402061855670103".
- 1926232 cpu_core_0 "13.402061855670103".
- 1926293 cpu_core_0 "13.402061855670103".
- 1926303 cpu_core_0 "13.402061855670103".
- 1926431 cpu_core_0 "13.402061855670103".
- 1926596 cpu_core_0 "13.402061855670103".
- 1926688 cpu_core_0 "13.402061855670103".
- 1926904 cpu_core_0 "13.402061855670103".
- 1927150 cpu_core_0 "13.402061855670103".
- 1927246 cpu_core_0 "13.402061855670103".
- 1927272 cpu_core_0 "13.402061855670103".
- 1927314 cpu_core_0 "13.402061855670103".
- 1927342 cpu_core_0 "13.402061855670103".
- 1927506 cpu_core_0 "13.402061855670103".
- 1927637 cpu_core_0 "13.402061855670103".
- 218693 cpu_core_0 "13.402061855670103".
- 218700 cpu_core_0 "13.402061855670103".
- 222650 cpu_core_0 "13.402061855670103".
- 222718 cpu_core_0 "13.402061855670103".
- 222796 cpu_core_0 "13.402061855670103".
- 240514 cpu_core_0 "13.402061855670103".
- 240522 cpu_core_0 "13.402061855670103".
- 248027 cpu_core_0 "13.402061855670103".
- 260820 cpu_core_0 "13.402061855670103".
- 285710 cpu_core_0 "13.402061855670103".
- 295963 cpu_core_0 "13.402061855670103".
- 303370 cpu_core_0 "13.402061855670103".
- 305336 cpu_core_0 "13.402061855670103".
- 305338 cpu_core_0 "13.402061855670103".
- 362836 cpu_core_0 "13.402061855670103".
- 363190 cpu_core_0 "13.402061855670103".
- 363319 cpu_core_0 "13.402061855670103".
- 363384 cpu_core_0 "13.402061855670103".
- 363850 cpu_core_0 "13.402061855670103".
- 364391 cpu_core_0 "13.402061855670103".
- 364422 cpu_core_0 "13.402061855670103".
- 404386 cpu_core_0 "13.402061855670103".
- 514647 cpu_core_0 "13.402061855670103".
- 517659 cpu_core_0 "13.402061855670103".
- 601795 cpu_core_0 "13.402061855670103".
- 658693 cpu_core_0 "13.402061855670103".
- 700522 cpu_core_0 "13.402061855670103".
- 700549 cpu_core_0 "13.402061855670103".
- 700559 cpu_core_0 "13.402061855670103".
- 737226 cpu_core_0 "13.402061855670103".
- 741615 cpu_core_0 "13.402061855670103".
- 751479 cpu_core_0 "13.402061855670103".
- 754040 cpu_core_0 "13.402061855670103".
- 791369 cpu_core_0 "13.402061855670103".
- 792061 cpu_core_0 "13.402061855670103".
- 792209 cpu_core_0 "13.402061855670103".
- 792714 cpu_core_0 "13.402061855670103".
- 795327 cpu_core_0 "13.402061855670103".
- 796133 cpu_core_0 "13.402061855670103".
- 796213 cpu_core_0 "13.402061855670103".
- 796239 cpu_core_0 "13.402061855670103".
- 796516 cpu_core_0 "13.402061855670103".
- 796718 cpu_core_0 "13.402061855670103".
- 796794 cpu_core_0 "13.402061855670103".
- 796815 cpu_core_0 "13.402061855670103".
- 796873 cpu_core_0 "13.402061855670103".
- 816662 cpu_core_0 "13.402061855670103".
- 902690 cpu_core_0 "13.402061855670103".