Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1875105 cpu_core_0 "9.000000000000002".
- 1875177 cpu_core_0 "9.000000000000002".
- 1875238 cpu_core_0 "9.000000000000002".
- 1875250 cpu_core_0 "9.000000000000002".
- 1875462 cpu_core_0 "9.000000000000002".
- 1875697 cpu_core_0 "9.000000000000002".
- 1875737 cpu_core_0 "9.000000000000002".
- 1875838 cpu_core_0 "9.000000000000002".
- 1876236 cpu_core_0 "9.000000000000002".
- 1876590 cpu_core_0 "9.000000000000002".
- 1876708 cpu_core_0 "9.000000000000002".
- 1876838 cpu_core_0 "9.000000000000002".
- 1876967 cpu_core_0 "9.000000000000002".
- 1877042 cpu_core_0 "9.000000000000002".
- 1878230 cpu_core_0 "9.000000000000002".
- 1878345 cpu_core_0 "9.000000000000002".
- 1878352 cpu_core_0 "9.000000000000002".
- 1878414 cpu_core_0 "9.000000000000002".
- 1878627 cpu_core_0 "9.000000000000002".
- 1878662 cpu_core_0 "9.000000000000002".
- 1878682 cpu_core_0 "9.000000000000002".
- 1878773 cpu_core_0 "9.000000000000002".
- 1878798 cpu_core_0 "9.000000000000002".
- 1878988 cpu_core_0 "9.000000000000002".
- 1878998 cpu_core_0 "9.000000000000002".
- 1879182 cpu_core_0 "9.000000000000002".
- 1879320 cpu_core_0 "9.000000000000002".
- 1879355 cpu_core_0 "9.000000000000002".
- 1879365 cpu_core_0 "9.000000000000002".
- 1879546 cpu_core_0 "9.000000000000002".
- 1879572 cpu_core_0 "9.000000000000002".
- 1879867 cpu_core_0 "9.000000000000002".
- 1879871 cpu_core_0 "9.000000000000002".
- 1879873 cpu_core_0 "9.000000000000002".
- 1879928 cpu_core_0 "9.000000000000002".
- 1879951 cpu_core_0 "9.000000000000002".
- 1879972 cpu_core_0 "9.000000000000002".
- 1880158 cpu_core_0 "9.000000000000002".
- 1880213 cpu_core_0 "9.000000000000002".
- 1880233 cpu_core_0 "9.000000000000002".
- 1880356 cpu_core_0 "9.000000000000002".
- 1880436 cpu_core_0 "9.000000000000002".
- 1880599 cpu_core_0 "9.000000000000002".
- 1880688 cpu_core_0 "9.000000000000002".
- 1880855 cpu_core_0 "9.000000000000002".
- 1880967 cpu_core_0 "9.000000000000002".
- 1881069 cpu_core_0 "9.000000000000002".
- 1881172 cpu_core_0 "9.000000000000002".
- 1881339 cpu_core_0 "9.000000000000002".
- 1881513 cpu_core_0 "9.000000000000002".
- 1881826 cpu_core_0 "9.000000000000002".
- 1881886 cpu_core_0 "9.000000000000002".
- 1882025 cpu_core_0 "9.000000000000002".
- 1882141 cpu_core_0 "9.000000000000002".
- 1882205 cpu_core_0 "9.000000000000002".
- 1882337 cpu_core_0 "9.000000000000002".
- 1882631 cpu_core_0 "9.000000000000002".
- 1883004 cpu_core_0 "9.000000000000002".
- 1883344 cpu_core_0 "9.000000000000002".
- 1883503 cpu_core_0 "9.000000000000002".
- 1883642 cpu_core_0 "9.000000000000002".
- 1883845 cpu_core_0 "9.000000000000002".
- 1884244 cpu_core_0 "9.000000000000002".
- 1884255 cpu_core_0 "9.000000000000002".
- 1884299 cpu_core_0 "9.000000000000002".
- 1884371 cpu_core_0 "9.000000000000002".
- 1884453 cpu_core_0 "9.000000000000002".
- 1884593 cpu_core_0 "9.000000000000002".
- 1884615 cpu_core_0 "9.000000000000002".
- 1884678 cpu_core_0 "9.000000000000002".
- 1884686 cpu_core_0 "9.000000000000002".
- 1884708 cpu_core_0 "9.000000000000002".
- 1884712 cpu_core_0 "9.000000000000002".
- 1884720 cpu_core_0 "9.000000000000002".
- 1884748 cpu_core_0 "9.000000000000002".
- 1884782 cpu_core_0 "9.000000000000002".
- 1884789 cpu_core_0 "9.000000000000002".
- 1884835 cpu_core_0 "9.000000000000002".
- 1884852 cpu_core_0 "9.000000000000002".
- 1884859 cpu_core_0 "9.000000000000002".
- 1884864 cpu_core_0 "9.000000000000002".
- 1884917 cpu_core_0 "9.000000000000002".
- 1884919 cpu_core_0 "9.000000000000002".
- 1884936 cpu_core_0 "9.000000000000002".
- 1885043 cpu_core_0 "9.000000000000002".
- 1885086 cpu_core_0 "9.000000000000002".
- 1885163 cpu_core_0 "9.000000000000002".
- 1885191 cpu_core_0 "9.000000000000002".
- 1885285 cpu_core_0 "9.000000000000002".
- 1885287 cpu_core_0 "9.000000000000002".
- 1885290 cpu_core_0 "9.000000000000002".
- 1885305 cpu_core_0 "9.000000000000002".
- 1885395 cpu_core_0 "9.000000000000002".
- 1885401 cpu_core_0 "9.000000000000002".
- 1885406 cpu_core_0 "9.000000000000002".
- 1885431 cpu_core_0 "9.000000000000002".
- 1885438 cpu_core_0 "9.000000000000002".
- 1885455 cpu_core_0 "9.000000000000002".
- 1885609 cpu_core_0 "9.000000000000002".
- 1885646 cpu_core_0 "9.000000000000002".