Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1837333 cpu_core_0 "9.000000000000002".
- 1837370 cpu_core_0 "9.000000000000002".
- 1837562 cpu_core_0 "9.000000000000002".
- 1837961 cpu_core_0 "9.000000000000002".
- 1838304 cpu_core_0 "9.000000000000002".
- 1838338 cpu_core_0 "9.000000000000002".
- 1838591 cpu_core_0 "9.000000000000002".
- 1838705 cpu_core_0 "9.000000000000002".
- 1838820 cpu_core_0 "9.000000000000002".
- 1838922 cpu_core_0 "9.000000000000002".
- 1838941 cpu_core_0 "9.000000000000002".
- 1839057 cpu_core_0 "9.000000000000002".
- 1839490 cpu_core_0 "9.000000000000002".
- 1839561 cpu_core_0 "9.000000000000002".
- 1839601 cpu_core_0 "9.000000000000002".
- 1839610 cpu_core_0 "9.000000000000002".
- 1839741 cpu_core_0 "9.000000000000002".
- 1840347 cpu_core_0 "9.000000000000002".
- 1840523 cpu_core_0 "9.000000000000002".
- 1840546 cpu_core_0 "9.000000000000002".
- 1840657 cpu_core_0 "9.000000000000002".
- 1840792 cpu_core_0 "9.000000000000002".
- 1840805 cpu_core_0 "9.000000000000002".
- 1840898 cpu_core_0 "9.000000000000002".
- 1840911 cpu_core_0 "9.000000000000002".
- 1840926 cpu_core_0 "9.000000000000002".
- 1840967 cpu_core_0 "9.000000000000002".
- 1841019 cpu_core_0 "9.000000000000002".
- 1841048 cpu_core_0 "9.000000000000002".
- 1841148 cpu_core_0 "9.000000000000002".
- 1841155 cpu_core_0 "9.000000000000002".
- 1841174 cpu_core_0 "9.000000000000002".
- 1841220 cpu_core_0 "9.000000000000002".
- 1841303 cpu_core_0 "9.000000000000002".
- 1841382 cpu_core_0 "9.000000000000002".
- 1841385 cpu_core_0 "9.000000000000002".
- 1841678 cpu_core_0 "9.000000000000002".
- 1841737 cpu_core_0 "9.000000000000002".
- 1841755 cpu_core_0 "9.000000000000002".
- 1841760 cpu_core_0 "9.000000000000002".
- 1841805 cpu_core_0 "9.000000000000002".
- 1841822 cpu_core_0 "9.000000000000002".
- 1841884 cpu_core_0 "9.000000000000002".
- 1841890 cpu_core_0 "9.000000000000002".
- 1841893 cpu_core_0 "9.000000000000002".
- 1841902 cpu_core_0 "9.000000000000002".
- 1842000 cpu_core_0 "9.000000000000002".
- 1842203 cpu_core_0 "9.000000000000002".
- 1842288 cpu_core_0 "9.000000000000002".
- 1842331 cpu_core_0 "9.000000000000002".
- 1842361 cpu_core_0 "9.000000000000002".
- 1842370 cpu_core_0 "9.000000000000002".
- 1842382 cpu_core_0 "9.000000000000002".
- 1842422 cpu_core_0 "9.000000000000002".
- 1842439 cpu_core_0 "9.000000000000002".
- 1842451 cpu_core_0 "9.000000000000002".
- 1842542 cpu_core_0 "9.000000000000002".
- 1842650 cpu_core_0 "9.000000000000002".
- 1842654 cpu_core_0 "9.000000000000002".
- 1842732 cpu_core_0 "9.000000000000002".
- 1842936 cpu_core_0 "9.000000000000002".
- 1843006 cpu_core_0 "9.000000000000002".
- 1843067 cpu_core_0 "9.000000000000002".
- 1843121 cpu_core_0 "9.000000000000002".
- 1843682 cpu_core_0 "9.000000000000002".
- 1843700 cpu_core_0 "9.000000000000002".
- 1843730 cpu_core_0 "9.000000000000002".
- 1843790 cpu_core_0 "9.000000000000002".
- 1844099 cpu_core_0 "9.000000000000002".
- 1844223 cpu_core_0 "9.000000000000002".
- 1844404 cpu_core_0 "9.000000000000002".
- 1844661 cpu_core_0 "9.000000000000002".
- 1844869 cpu_core_0 "9.000000000000002".
- 1844987 cpu_core_0 "9.000000000000002".
- 1845113 cpu_core_0 "9.000000000000002".
- 1845287 cpu_core_0 "9.000000000000002".
- 1845569 cpu_core_0 "9.000000000000002".
- 1845667 cpu_core_0 "9.000000000000002".
- 1845863 cpu_core_0 "9.000000000000002".
- 1846336 cpu_core_0 "9.000000000000002".
- 1846387 cpu_core_0 "9.000000000000002".
- 1846395 cpu_core_0 "9.000000000000002".
- 1846700 cpu_core_0 "9.000000000000002".
- 1846837 cpu_core_0 "9.000000000000002".
- 1846873 cpu_core_0 "9.000000000000002".
- 1846943 cpu_core_0 "9.000000000000002".
- 1847022 cpu_core_0 "9.000000000000002".
- 1847058 cpu_core_0 "9.000000000000002".
- 1847082 cpu_core_0 "9.000000000000002".
- 1847124 cpu_core_0 "9.000000000000002".
- 1847196 cpu_core_0 "9.000000000000002".
- 1847199 cpu_core_0 "9.000000000000002".
- 1847213 cpu_core_0 "9.000000000000002".
- 1847229 cpu_core_0 "9.000000000000002".
- 1847313 cpu_core_0 "9.000000000000002".
- 1847338 cpu_core_0 "9.000000000000002".
- 1847419 cpu_core_0 "9.000000000000002".
- 1847453 cpu_core_0 "9.000000000000002".
- 1847507 cpu_core_0 "9.000000000000002".
- 1847574 cpu_core_0 "9.000000000000002".