Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 1907650 cpu_core_0 "15.000000000000002".
- 1910411 cpu_core_0 "15.000000000000002".
- 1913649 cpu_core_0 "15.000000000000002".
- 1913777 cpu_core_0 "15.000000000000002".
- 1913814 cpu_core_0 "15.000000000000002".
- 1914200 cpu_core_0 "15.000000000000002".
- 1914348 cpu_core_0 "15.000000000000002".
- 1914472 cpu_core_0 "15.000000000000002".
- 1914506 cpu_core_0 "15.000000000000002".
- 1915031 cpu_core_0 "15.000000000000002".
- 1915114 cpu_core_0 "15.000000000000002".
- 1915295 cpu_core_0 "15.000000000000002".
- 1915378 cpu_core_0 "15.000000000000002".
- 1915382 cpu_core_0 "15.000000000000002".
- 1915387 cpu_core_0 "15.000000000000002".
- 1915532 cpu_core_0 "15.000000000000002".
- 1915582 cpu_core_0 "15.000000000000002".
- 1915711 cpu_core_0 "15.000000000000002".
- 1915721 cpu_core_0 "15.000000000000002".
- 1915741 cpu_core_0 "15.000000000000002".
- 1916437 cpu_core_0 "15.000000000000002".
- 1916447 cpu_core_0 "15.000000000000002".
- 1916468 cpu_core_0 "15.000000000000002".
- 1917180 cpu_core_0 "15.000000000000002".
- 1917441 cpu_core_0 "15.000000000000002".
- 1917593 cpu_core_0 "15.000000000000002".
- 1917644 cpu_core_0 "15.000000000000002".
- 1917834 cpu_core_0 "15.000000000000002".
- 1917896 cpu_core_0 "15.000000000000002".
- 1917902 cpu_core_0 "15.000000000000002".
- 1917920 cpu_core_0 "15.000000000000002".
- 1918122 cpu_core_0 "15.000000000000002".
- 1918307 cpu_core_0 "15.000000000000002".
- 1918699 cpu_core_0 "15.000000000000002".
- 1918739 cpu_core_0 "15.000000000000002".
- 1918983 cpu_core_0 "15.000000000000002".
- 1919008 cpu_core_0 "15.000000000000002".
- 1919011 cpu_core_0 "15.000000000000002".
- 1919055 cpu_core_0 "15.000000000000002".
- 1919267 cpu_core_0 "15.000000000000002".
- 1919444 cpu_core_0 "15.000000000000002".
- 1919858 cpu_core_0 "15.000000000000002".
- 1919955 cpu_core_0 "15.000000000000002".
- 1919969 cpu_core_0 "15.000000000000002".
- 1920089 cpu_core_0 "15.000000000000002".
- 1920151 cpu_core_0 "15.000000000000002".
- 1920188 cpu_core_0 "15.000000000000002".
- 1920421 cpu_core_0 "15.000000000000002".
- 1920427 cpu_core_0 "15.000000000000002".
- 1920867 cpu_core_0 "15.000000000000002".
- 1920897 cpu_core_0 "15.000000000000002".
- 1921053 cpu_core_0 "15.000000000000002".
- 1921054 cpu_core_0 "15.000000000000002".
- 1921215 cpu_core_0 "15.000000000000002".
- 1921257 cpu_core_0 "15.000000000000002".
- 1922287 cpu_core_0 "15.000000000000002".
- 1922715 cpu_core_0 "15.000000000000002".
- 1922979 cpu_core_0 "15.000000000000002".
- 1923161 cpu_core_0 "15.000000000000002".
- 1923170 cpu_core_0 "15.000000000000002".
- 1923286 cpu_core_0 "15.000000000000002".
- 1923398 cpu_core_0 "15.000000000000002".
- 1923464 cpu_core_0 "15.000000000000002".
- 1923521 cpu_core_0 "15.000000000000002".
- 1924153 cpu_core_0 "15.000000000000002".
- 1924183 cpu_core_0 "15.000000000000002".
- 1924849 cpu_core_0 "15.000000000000002".
- 1924869 cpu_core_0 "15.000000000000002".
- 1924870 cpu_core_0 "15.000000000000002".
- 1925451 cpu_core_0 "15.000000000000002".
- 1925470 cpu_core_0 "15.000000000000002".
- 1925805 cpu_core_0 "15.000000000000002".
- 1926200 cpu_core_0 "15.000000000000002".
- 1926309 cpu_core_0 "15.000000000000002".
- 1926695 cpu_core_0 "15.000000000000002".
- 1926699 cpu_core_0 "15.000000000000002".
- 1926784 cpu_core_0 "15.000000000000002".
- 1926797 cpu_core_0 "15.000000000000002".
- 1926816 cpu_core_0 "15.000000000000002".
- 1964744 cpu_core_0 "15.000000000000002".
- 1965777 cpu_core_0 "15.000000000000002".
- 1968935 cpu_core_0 "15.000000000000002".
- 1970104 cpu_core_0 "15.000000000000002".
- 1971779 cpu_core_0 "15.000000000000002".
- 2062913 cpu_core_0 "15.000000000000002".
- 2062979 cpu_core_0 "15.000000000000002".
- 2069644 cpu_core_0 "15.000000000000002".
- 208305 cpu_core_0 "15.000000000000002".
- 208900 cpu_core_0 "15.000000000000002".
- 209577 cpu_core_0 "15.000000000000002".
- 218511 cpu_core_0 "15.000000000000002".
- 219990 cpu_core_0 "15.000000000000002".
- 222086 cpu_core_0 "15.000000000000002".
- 222483 cpu_core_0 "15.000000000000002".
- 222512 cpu_core_0 "15.000000000000002".
- 232401 cpu_core_0 "15.000000000000002".
- 234678 cpu_core_0 "15.000000000000002".
- 237816 cpu_core_0 "15.000000000000002".
- 238519 cpu_core_0 "15.000000000000002".
- 240237 cpu_core_0 "15.000000000000002".