Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1829458 cpu_core_0 "9.000000000000002".
- 1829489 cpu_core_0 "9.000000000000002".
- 1829510 cpu_core_0 "9.000000000000002".
- 1829532 cpu_core_0 "9.000000000000002".
- 1829603 cpu_core_0 "9.000000000000002".
- 1829647 cpu_core_0 "9.000000000000002".
- 1829727 cpu_core_0 "9.000000000000002".
- 1829737 cpu_core_0 "9.000000000000002".
- 1829763 cpu_core_0 "9.000000000000002".
- 1829843 cpu_core_0 "9.000000000000002".
- 1829849 cpu_core_0 "9.000000000000002".
- 1829869 cpu_core_0 "9.000000000000002".
- 1829907 cpu_core_0 "9.000000000000002".
- 1829976 cpu_core_0 "9.000000000000002".
- 1829986 cpu_core_0 "9.000000000000002".
- 1830003 cpu_core_0 "9.000000000000002".
- 1830052 cpu_core_0 "9.000000000000002".
- 1830179 cpu_core_0 "9.000000000000002".
- 1830213 cpu_core_0 "9.000000000000002".
- 1830238 cpu_core_0 "9.000000000000002".
- 1830242 cpu_core_0 "9.000000000000002".
- 1830351 cpu_core_0 "9.000000000000002".
- 1830495 cpu_core_0 "9.000000000000002".
- 1830852 cpu_core_0 "9.000000000000002".
- 1830881 cpu_core_0 "9.000000000000002".
- 1831024 cpu_core_0 "9.000000000000002".
- 1831046 cpu_core_0 "9.000000000000002".
- 1831122 cpu_core_0 "9.000000000000002".
- 1831209 cpu_core_0 "9.000000000000002".
- 1831211 cpu_core_0 "9.000000000000002".
- 1831382 cpu_core_0 "9.000000000000002".
- 1831386 cpu_core_0 "9.000000000000002".
- 1831505 cpu_core_0 "9.000000000000002".
- 1831554 cpu_core_0 "9.000000000000002".
- 1831838 cpu_core_0 "9.000000000000002".
- 1831883 cpu_core_0 "9.000000000000002".
- 1831932 cpu_core_0 "9.000000000000002".
- 1831938 cpu_core_0 "9.000000000000002".
- 1831943 cpu_core_0 "9.000000000000002".
- 1831956 cpu_core_0 "9.000000000000002".
- 1832151 cpu_core_0 "9.000000000000002".
- 1832160 cpu_core_0 "9.000000000000002".
- 1832258 cpu_core_0 "9.000000000000002".
- 1832461 cpu_core_0 "9.000000000000002".
- 1832544 cpu_core_0 "9.000000000000002".
- 1832704 cpu_core_0 "9.000000000000002".
- 1832708 cpu_core_0 "9.000000000000002".
- 1832790 cpu_core_0 "9.000000000000002".
- 1832817 cpu_core_0 "9.000000000000002".
- 1832917 cpu_core_0 "9.000000000000002".
- 1833309 cpu_core_0 "9.000000000000002".
- 1833369 cpu_core_0 "9.000000000000002".
- 1833711 cpu_core_0 "9.000000000000002".
- 1833771 cpu_core_0 "9.000000000000002".
- 1833909 cpu_core_0 "9.000000000000002".
- 1834026 cpu_core_0 "9.000000000000002".
- 1834065 cpu_core_0 "9.000000000000002".
- 1834618 cpu_core_0 "9.000000000000002".
- 1834694 cpu_core_0 "9.000000000000002".
- 1834947 cpu_core_0 "9.000000000000002".
- 1835044 cpu_core_0 "9.000000000000002".
- 1835050 cpu_core_0 "9.000000000000002".
- 1835067 cpu_core_0 "9.000000000000002".
- 1835273 cpu_core_0 "9.000000000000002".
- 1835301 cpu_core_0 "9.000000000000002".
- 1835312 cpu_core_0 "9.000000000000002".
- 1835351 cpu_core_0 "9.000000000000002".
- 1835437 cpu_core_0 "9.000000000000002".
- 1835446 cpu_core_0 "9.000000000000002".
- 1835504 cpu_core_0 "9.000000000000002".
- 1835529 cpu_core_0 "9.000000000000002".
- 1835553 cpu_core_0 "9.000000000000002".
- 1835558 cpu_core_0 "9.000000000000002".
- 1835631 cpu_core_0 "9.000000000000002".
- 1835654 cpu_core_0 "9.000000000000002".
- 1835704 cpu_core_0 "9.000000000000002".
- 1835715 cpu_core_0 "9.000000000000002".
- 1835746 cpu_core_0 "9.000000000000002".
- 1835757 cpu_core_0 "9.000000000000002".
- 1835766 cpu_core_0 "9.000000000000002".
- 1835782 cpu_core_0 "9.000000000000002".
- 1835802 cpu_core_0 "9.000000000000002".
- 1835825 cpu_core_0 "9.000000000000002".
- 1835830 cpu_core_0 "9.000000000000002".
- 1835894 cpu_core_0 "9.000000000000002".
- 1835902 cpu_core_0 "9.000000000000002".
- 1835923 cpu_core_0 "9.000000000000002".
- 1835924 cpu_core_0 "9.000000000000002".
- 1836154 cpu_core_0 "9.000000000000002".
- 1836242 cpu_core_0 "9.000000000000002".
- 1836249 cpu_core_0 "9.000000000000002".
- 1836262 cpu_core_0 "9.000000000000002".
- 1836294 cpu_core_0 "9.000000000000002".
- 1836352 cpu_core_0 "9.000000000000002".
- 1836399 cpu_core_0 "9.000000000000002".
- 1836494 cpu_core_0 "9.000000000000002".
- 1836647 cpu_core_0 "9.000000000000002".
- 1836710 cpu_core_0 "9.000000000000002".
- 1836825 cpu_core_0 "9.000000000000002".
- 1837159 cpu_core_0 "9.000000000000002".