Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1859163 cpu_core_0 "9.000000000000002".
- 1859164 cpu_core_0 "9.000000000000002".
- 1859470 cpu_core_0 "9.000000000000002".
- 1859506 cpu_core_0 "9.000000000000002".
- 1859572 cpu_core_0 "9.000000000000002".
- 1859599 cpu_core_0 "9.000000000000002".
- 1859610 cpu_core_0 "9.000000000000002".
- 1859628 cpu_core_0 "9.000000000000002".
- 1859770 cpu_core_0 "9.000000000000002".
- 1859920 cpu_core_0 "9.000000000000002".
- 1859955 cpu_core_0 "9.000000000000002".
- 1860069 cpu_core_0 "9.000000000000002".
- 1860132 cpu_core_0 "9.000000000000002".
- 1860158 cpu_core_0 "9.000000000000002".
- 1860398 cpu_core_0 "9.000000000000002".
- 1860593 cpu_core_0 "9.000000000000002".
- 1860733 cpu_core_0 "9.000000000000002".
- 1860840 cpu_core_0 "9.000000000000002".
- 1861008 cpu_core_0 "9.000000000000002".
- 1861155 cpu_core_0 "9.000000000000002".
- 1861172 cpu_core_0 "9.000000000000002".
- 1861287 cpu_core_0 "9.000000000000002".
- 1861421 cpu_core_0 "9.000000000000002".
- 1861525 cpu_core_0 "9.000000000000002".
- 1861568 cpu_core_0 "9.000000000000002".
- 1861643 cpu_core_0 "9.000000000000002".
- 1861665 cpu_core_0 "9.000000000000002".
- 1861730 cpu_core_0 "9.000000000000002".
- 1861757 cpu_core_0 "9.000000000000002".
- 1861768 cpu_core_0 "9.000000000000002".
- 1861803 cpu_core_0 "9.000000000000002".
- 1861923 cpu_core_0 "9.000000000000002".
- 1861930 cpu_core_0 "9.000000000000002".
- 1861961 cpu_core_0 "9.000000000000002".
- 1862208 cpu_core_0 "9.000000000000002".
- 1862243 cpu_core_0 "9.000000000000002".
- 1862266 cpu_core_0 "9.000000000000002".
- 1862331 cpu_core_0 "9.000000000000002".
- 1862354 cpu_core_0 "9.000000000000002".
- 1862524 cpu_core_0 "9.000000000000002".
- 1862652 cpu_core_0 "9.000000000000002".
- 1862817 cpu_core_0 "9.000000000000002".
- 1862880 cpu_core_0 "9.000000000000002".
- 1862993 cpu_core_0 "9.000000000000002".
- 1863013 cpu_core_0 "9.000000000000002".
- 1863053 cpu_core_0 "9.000000000000002".
- 1863060 cpu_core_0 "9.000000000000002".
- 1863430 cpu_core_0 "9.000000000000002".
- 1863483 cpu_core_0 "9.000000000000002".
- 1863574 cpu_core_0 "9.000000000000002".
- 1863787 cpu_core_0 "9.000000000000002".
- 1864394 cpu_core_0 "9.000000000000002".
- 1864545 cpu_core_0 "9.000000000000002".
- 1864650 cpu_core_0 "9.000000000000002".
- 1864726 cpu_core_0 "9.000000000000002".
- 1864732 cpu_core_0 "9.000000000000002".
- 1864858 cpu_core_0 "9.000000000000002".
- 1865195 cpu_core_0 "9.000000000000002".
- 1865399 cpu_core_0 "9.000000000000002".
- 1865485 cpu_core_0 "9.000000000000002".
- 1865527 cpu_core_0 "9.000000000000002".
- 1865598 cpu_core_0 "9.000000000000002".
- 1865658 cpu_core_0 "9.000000000000002".
- 1865759 cpu_core_0 "9.000000000000002".
- 1865792 cpu_core_0 "9.000000000000002".
- 1865876 cpu_core_0 "9.000000000000002".
- 1865894 cpu_core_0 "9.000000000000002".
- 1865917 cpu_core_0 "9.000000000000002".
- 1865967 cpu_core_0 "9.000000000000002".
- 1865995 cpu_core_0 "9.000000000000002".
- 1866015 cpu_core_0 "9.000000000000002".
- 1866129 cpu_core_0 "9.000000000000002".
- 1866145 cpu_core_0 "9.000000000000002".
- 1866179 cpu_core_0 "9.000000000000002".
- 1866372 cpu_core_0 "9.000000000000002".
- 1866389 cpu_core_0 "9.000000000000002".
- 1866393 cpu_core_0 "9.000000000000002".
- 1866396 cpu_core_0 "9.000000000000002".
- 1866416 cpu_core_0 "9.000000000000002".
- 1866447 cpu_core_0 "9.000000000000002".
- 1866488 cpu_core_0 "9.000000000000002".
- 1866532 cpu_core_0 "9.000000000000002".
- 1866541 cpu_core_0 "9.000000000000002".
- 1866543 cpu_core_0 "9.000000000000002".
- 1866553 cpu_core_0 "9.000000000000002".
- 1866624 cpu_core_0 "9.000000000000002".
- 1866628 cpu_core_0 "9.000000000000002".
- 1866642 cpu_core_0 "9.000000000000002".
- 1866667 cpu_core_0 "9.000000000000002".
- 1866672 cpu_core_0 "9.000000000000002".
- 1866732 cpu_core_0 "9.000000000000002".
- 1866752 cpu_core_0 "9.000000000000002".
- 1866774 cpu_core_0 "9.000000000000002".
- 1866860 cpu_core_0 "9.000000000000002".
- 1866959 cpu_core_0 "9.000000000000002".
- 1866967 cpu_core_0 "9.000000000000002".
- 1867132 cpu_core_0 "9.000000000000002".
- 1867166 cpu_core_0 "9.000000000000002".
- 1867199 cpu_core_0 "9.000000000000002".
- 1867221 cpu_core_0 "9.000000000000002".