Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1852068 cpu_core_0 "23.762376237623762".
- 1858051 cpu_core_0 "23.762376237623762".
- 1859999 cpu_core_0 "23.762376237623762".
- 1860409 cpu_core_0 "23.762376237623762".
- 1861302 cpu_core_0 "23.762376237623762".
- 1862274 cpu_core_0 "23.762376237623762".
- 1864979 cpu_core_0 "23.762376237623762".
- 1872214 cpu_core_0 "23.762376237623762".
- 1872283 cpu_core_0 "23.762376237623762".
- 1874529 cpu_core_0 "23.762376237623762".
- 1883619 cpu_core_0 "23.762376237623762".
- 1883764 cpu_core_0 "23.762376237623762".
- 1901443 cpu_core_0 "23.762376237623762".
- 1907621 cpu_core_0 "23.762376237623762".
- 1913539 cpu_core_0 "23.762376237623762".
- 1913547 cpu_core_0 "23.762376237623762".
- 1913744 cpu_core_0 "23.762376237623762".
- 1913949 cpu_core_0 "23.762376237623762".
- 1914590 cpu_core_0 "23.762376237623762".
- 1914674 cpu_core_0 "23.762376237623762".
- 1914748 cpu_core_0 "23.762376237623762".
- 1914869 cpu_core_0 "23.762376237623762".
- 1915275 cpu_core_0 "23.762376237623762".
- 1915349 cpu_core_0 "23.762376237623762".
- 1915423 cpu_core_0 "23.762376237623762".
- 1915475 cpu_core_0 "23.762376237623762".
- 1916320 cpu_core_0 "23.762376237623762".
- 1916901 cpu_core_0 "23.762376237623762".
- 1916915 cpu_core_0 "23.762376237623762".
- 1917023 cpu_core_0 "23.762376237623762".
- 1917194 cpu_core_0 "23.762376237623762".
- 1917219 cpu_core_0 "23.762376237623762".
- 1917281 cpu_core_0 "23.762376237623762".
- 1917341 cpu_core_0 "23.762376237623762".
- 1917406 cpu_core_0 "23.762376237623762".
- 1917564 cpu_core_0 "23.762376237623762".
- 1917684 cpu_core_0 "23.762376237623762".
- 1917925 cpu_core_0 "23.762376237623762".
- 1918416 cpu_core_0 "23.762376237623762".
- 1918603 cpu_core_0 "23.762376237623762".
- 1919383 cpu_core_0 "23.762376237623762".
- 1919500 cpu_core_0 "23.762376237623762".
- 1920231 cpu_core_0 "23.762376237623762".
- 1920349 cpu_core_0 "23.762376237623762".
- 1923099 cpu_core_0 "23.762376237623762".
- 1924457 cpu_core_0 "23.762376237623762".
- 1925507 cpu_core_0 "23.762376237623762".
- 1926265 cpu_core_0 "23.762376237623762".
- 1926338 cpu_core_0 "23.762376237623762".
- 1926507 cpu_core_0 "23.762376237623762".
- 1926534 cpu_core_0 "23.762376237623762".
- 1926645 cpu_core_0 "23.762376237623762".
- 2041965 cpu_core_0 "23.762376237623762".
- 2063986 cpu_core_0 "23.762376237623762".
- 2068114 cpu_core_0 "23.762376237623762".
- 2070772 cpu_core_0 "23.762376237623762".
- 2071287 cpu_core_0 "23.762376237623762".
- 2071750 cpu_core_0 "23.762376237623762".
- 2074765 cpu_core_0 "23.762376237623762".
- 2076051 cpu_core_0 "23.762376237623762".
- 2076493 cpu_core_0 "23.762376237623762".
- 213101 cpu_core_0 "23.762376237623762".
- 213614 cpu_core_0 "23.762376237623762".
- 216298 cpu_core_0 "23.762376237623762".
- 218523 cpu_core_0 "23.762376237623762".
- 219063 cpu_core_0 "23.762376237623762".
- 219317 cpu_core_0 "23.762376237623762".
- 219855 cpu_core_0 "23.762376237623762".
- 220550 cpu_core_0 "23.762376237623762".
- 221530 cpu_core_0 "23.762376237623762".
- 221685 cpu_core_0 "23.762376237623762".
- 222995 cpu_core_0 "23.762376237623762".
- 232307 cpu_core_0 "23.762376237623762".
- 232331 cpu_core_0 "23.762376237623762".
- 232806 cpu_core_0 "23.762376237623762".
- 233689 cpu_core_0 "23.762376237623762".
- 233912 cpu_core_0 "23.762376237623762".
- 234440 cpu_core_0 "23.762376237623762".
- 234897 cpu_core_0 "23.762376237623762".
- 235642 cpu_core_0 "23.762376237623762".
- 235729 cpu_core_0 "23.762376237623762".
- 235752 cpu_core_0 "23.762376237623762".
- 236995 cpu_core_0 "23.762376237623762".
- 237186 cpu_core_0 "23.762376237623762".
- 237298 cpu_core_0 "23.762376237623762".
- 238468 cpu_core_0 "23.762376237623762".
- 238975 cpu_core_0 "23.762376237623762".
- 239448 cpu_core_0 "23.762376237623762".
- 239574 cpu_core_0 "23.762376237623762".
- 240309 cpu_core_0 "23.762376237623762".
- 243134 cpu_core_0 "23.762376237623762".
- 244365 cpu_core_0 "23.762376237623762".
- 244712 cpu_core_0 "23.762376237623762".
- 245560 cpu_core_0 "23.762376237623762".
- 246447 cpu_core_0 "23.762376237623762".
- 247144 cpu_core_0 "23.762376237623762".
- 247750 cpu_core_0 "23.762376237623762".
- 25629 cpu_core_0 "23.762376237623762".
- 256395 cpu_core_0 "23.762376237623762".
- 256450 cpu_core_0 "23.762376237623762".