Matches in ISWC2014 Benchmark for { ?s ?p 15.463917525773196. }
- 1882762 cpu_core_0 "15.463917525773196".
- 1897956 cpu_core_0 "15.463917525773196".
- 1904765 cpu_core_0 "15.463917525773196".
- 1904904 cpu_core_0 "15.463917525773196".
- 1907215 cpu_core_0 "15.463917525773196".
- 1911095 cpu_core_0 "15.463917525773196".
- 1912284 cpu_core_0 "15.463917525773196".
- 1912936 cpu_core_0 "15.463917525773196".
- 1913057 cpu_core_0 "15.463917525773196".
- 1916665 cpu_core_0 "15.463917525773196".
- 1921221 cpu_core_0 "15.463917525773196".
- 1921404 cpu_core_0 "15.463917525773196".
- 1921932 cpu_core_0 "15.463917525773196".
- 1922781 cpu_core_0 "15.463917525773196".
- 1923068 cpu_core_0 "15.463917525773196".
- 1923136 cpu_core_0 "15.463917525773196".
- 1923210 cpu_core_0 "15.463917525773196".
- 1923261 cpu_core_0 "15.463917525773196".
- 1923269 cpu_core_0 "15.463917525773196".
- 1923546 cpu_core_0 "15.463917525773196".
- 1923570 cpu_core_0 "15.463917525773196".
- 1923798 cpu_core_0 "15.463917525773196".
- 1923918 cpu_core_0 "15.463917525773196".
- 1923976 cpu_core_0 "15.463917525773196".
- 1923989 cpu_core_0 "15.463917525773196".
- 1924056 cpu_core_0 "15.463917525773196".
- 1924152 cpu_core_0 "15.463917525773196".
- 1924244 cpu_core_0 "15.463917525773196".
- 1924295 cpu_core_0 "15.463917525773196".
- 1924484 cpu_core_0 "15.463917525773196".
- 1924713 cpu_core_0 "15.463917525773196".
- 1925246 cpu_core_0 "15.463917525773196".
- 1925491 cpu_core_0 "15.463917525773196".
- 1925501 cpu_core_0 "15.463917525773196".
- 1925784 cpu_core_0 "15.463917525773196".
- 1926210 cpu_core_0 "15.463917525773196".
- 1926496 cpu_core_0 "15.463917525773196".
- 1926931 cpu_core_0 "15.463917525773196".
- 1927048 cpu_core_0 "15.463917525773196".
- 218609 cpu_core_0 "15.463917525773196".
- 222772 cpu_core_0 "15.463917525773196".
- 240379 cpu_core_0 "15.463917525773196".
- 260741 cpu_core_0 "15.463917525773196".
- 260776 cpu_core_0 "15.463917525773196".
- 270115 cpu_core_0 "15.463917525773196".
- 285986 cpu_core_0 "15.463917525773196".
- 363417 cpu_core_0 "15.463917525773196".
- 515374 cpu_core_0 "15.463917525773196".
- 515645 cpu_core_0 "15.463917525773196".
- 600374 cpu_core_0 "15.463917525773196".
- 600520 cpu_core_0 "15.463917525773196".
- 600727 cpu_core_0 "15.463917525773196".
- 649548 cpu_core_0 "15.463917525773196".
- 659485 cpu_core_0 "15.463917525773196".
- 792544 cpu_core_0 "15.463917525773196".
- 792647 cpu_core_0 "15.463917525773196".
- 796219 cpu_core_0 "15.463917525773196".
- 796779 cpu_core_0 "15.463917525773196".
- 902519 cpu_core_0 "15.463917525773196".
- 903328 cpu_core_0 "15.463917525773196".
- 903680 cpu_core_0 "15.463917525773196".
- 908374 cpu_core_0 "15.463917525773196".
- 909625 cpu_core_0 "15.463917525773196".
- 910119 cpu_core_0 "15.463917525773196".
- 910126 cpu_core_0 "15.463917525773196".
- 1011954 cpu_core_1 "15.463917525773196".
- 1011956 cpu_core_1 "15.463917525773196".
- 1011967 cpu_core_1 "15.463917525773196".
- 1012105 cpu_core_1 "15.463917525773196".
- 1012171 cpu_core_1 "15.463917525773196".
- 1012543 cpu_core_1 "15.463917525773196".
- 1012648 cpu_core_1 "15.463917525773196".
- 1013035 cpu_core_1 "15.463917525773196".
- 1207781 cpu_core_1 "15.463917525773196".
- 1212744 cpu_core_1 "15.463917525773196".
- 1219590 cpu_core_1 "15.463917525773196".
- 1404063 cpu_core_1 "15.463917525773196".
- 1673608 cpu_core_1 "15.463917525773196".
- 1916321 cpu_core_1 "15.463917525773196".
- 1920599 cpu_core_1 "15.463917525773196".
- 218513 cpu_core_1 "15.463917525773196".
- 222652 cpu_core_1 "15.463917525773196".
- 222693 cpu_core_1 "15.463917525773196".
- 240501 cpu_core_1 "15.463917525773196".
- 256798 cpu_core_1 "15.463917525773196".
- 294941 cpu_core_1 "15.463917525773196".
- 297230 cpu_core_1 "15.463917525773196".
- 305228 cpu_core_1 "15.463917525773196".
- 363296 cpu_core_1 "15.463917525773196".
- 363449 cpu_core_1 "15.463917525773196".
- 364168 cpu_core_1 "15.463917525773196".
- 364293 cpu_core_1 "15.463917525773196".
- 402526 cpu_core_1 "15.463917525773196".
- 402795 cpu_core_1 "15.463917525773196".
- 402847 cpu_core_1 "15.463917525773196".
- 402851 cpu_core_1 "15.463917525773196".
- 402923 cpu_core_1 "15.463917525773196".
- 403039 cpu_core_1 "15.463917525773196".
- 403635 cpu_core_1 "15.463917525773196".
- 403972 cpu_core_1 "15.463917525773196".