Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1867240 cpu_core_0 "9.000000000000002".
- 1867250 cpu_core_0 "9.000000000000002".
- 1867324 cpu_core_0 "9.000000000000002".
- 1867432 cpu_core_0 "9.000000000000002".
- 1867473 cpu_core_0 "9.000000000000002".
- 1867650 cpu_core_0 "9.000000000000002".
- 1867684 cpu_core_0 "9.000000000000002".
- 1867709 cpu_core_0 "9.000000000000002".
- 1867751 cpu_core_0 "9.000000000000002".
- 1867942 cpu_core_0 "9.000000000000002".
- 1867957 cpu_core_0 "9.000000000000002".
- 1867967 cpu_core_0 "9.000000000000002".
- 1867998 cpu_core_0 "9.000000000000002".
- 1868079 cpu_core_0 "9.000000000000002".
- 1868219 cpu_core_0 "9.000000000000002".
- 1868285 cpu_core_0 "9.000000000000002".
- 1868311 cpu_core_0 "9.000000000000002".
- 1868374 cpu_core_0 "9.000000000000002".
- 1868437 cpu_core_0 "9.000000000000002".
- 1868459 cpu_core_0 "9.000000000000002".
- 1868468 cpu_core_0 "9.000000000000002".
- 1868495 cpu_core_0 "9.000000000000002".
- 1868529 cpu_core_0 "9.000000000000002".
- 1868541 cpu_core_0 "9.000000000000002".
- 1868560 cpu_core_0 "9.000000000000002".
- 1868562 cpu_core_0 "9.000000000000002".
- 1868579 cpu_core_0 "9.000000000000002".
- 1868607 cpu_core_0 "9.000000000000002".
- 1868615 cpu_core_0 "9.000000000000002".
- 1868672 cpu_core_0 "9.000000000000002".
- 1868696 cpu_core_0 "9.000000000000002".
- 1868774 cpu_core_0 "9.000000000000002".
- 1868800 cpu_core_0 "9.000000000000002".
- 1868811 cpu_core_0 "9.000000000000002".
- 1868826 cpu_core_0 "9.000000000000002".
- 1868885 cpu_core_0 "9.000000000000002".
- 1868900 cpu_core_0 "9.000000000000002".
- 1868964 cpu_core_0 "9.000000000000002".
- 1869042 cpu_core_0 "9.000000000000002".
- 1869057 cpu_core_0 "9.000000000000002".
- 1869084 cpu_core_0 "9.000000000000002".
- 1869087 cpu_core_0 "9.000000000000002".
- 1869089 cpu_core_0 "9.000000000000002".
- 1869160 cpu_core_0 "9.000000000000002".
- 1869166 cpu_core_0 "9.000000000000002".
- 1869181 cpu_core_0 "9.000000000000002".
- 1869203 cpu_core_0 "9.000000000000002".
- 1869357 cpu_core_0 "9.000000000000002".
- 1869389 cpu_core_0 "9.000000000000002".
- 1869414 cpu_core_0 "9.000000000000002".
- 1869623 cpu_core_0 "9.000000000000002".
- 1869690 cpu_core_0 "9.000000000000002".
- 1869800 cpu_core_0 "9.000000000000002".
- 1869894 cpu_core_0 "9.000000000000002".
- 1870085 cpu_core_0 "9.000000000000002".
- 1870119 cpu_core_0 "9.000000000000002".
- 1870321 cpu_core_0 "9.000000000000002".
- 1870363 cpu_core_0 "9.000000000000002".
- 1870534 cpu_core_0 "9.000000000000002".
- 1870572 cpu_core_0 "9.000000000000002".
- 1870883 cpu_core_0 "9.000000000000002".
- 1870942 cpu_core_0 "9.000000000000002".
- 1870967 cpu_core_0 "9.000000000000002".
- 1870981 cpu_core_0 "9.000000000000002".
- 1871231 cpu_core_0 "9.000000000000002".
- 1871494 cpu_core_0 "9.000000000000002".
- 1871651 cpu_core_0 "9.000000000000002".
- 1871686 cpu_core_0 "9.000000000000002".
- 1872280 cpu_core_0 "9.000000000000002".
- 1872514 cpu_core_0 "9.000000000000002".
- 1872672 cpu_core_0 "9.000000000000002".
- 1872733 cpu_core_0 "9.000000000000002".
- 1872833 cpu_core_0 "9.000000000000002".
- 1872924 cpu_core_0 "9.000000000000002".
- 1872972 cpu_core_0 "9.000000000000002".
- 1873002 cpu_core_0 "9.000000000000002".
- 1873058 cpu_core_0 "9.000000000000002".
- 1873097 cpu_core_0 "9.000000000000002".
- 1873302 cpu_core_0 "9.000000000000002".
- 1873366 cpu_core_0 "9.000000000000002".
- 1873417 cpu_core_0 "9.000000000000002".
- 1873434 cpu_core_0 "9.000000000000002".
- 1873643 cpu_core_0 "9.000000000000002".
- 1873665 cpu_core_0 "9.000000000000002".
- 1873787 cpu_core_0 "9.000000000000002".
- 1873818 cpu_core_0 "9.000000000000002".
- 1873860 cpu_core_0 "9.000000000000002".
- 1873932 cpu_core_0 "9.000000000000002".
- 1874036 cpu_core_0 "9.000000000000002".
- 1874117 cpu_core_0 "9.000000000000002".
- 1874139 cpu_core_0 "9.000000000000002".
- 1874164 cpu_core_0 "9.000000000000002".
- 1874180 cpu_core_0 "9.000000000000002".
- 1874273 cpu_core_0 "9.000000000000002".
- 1874281 cpu_core_0 "9.000000000000002".
- 1874284 cpu_core_0 "9.000000000000002".
- 1874616 cpu_core_0 "9.000000000000002".
- 1874998 cpu_core_0 "9.000000000000002".
- 1875021 cpu_core_0 "9.000000000000002".
- 1875094 cpu_core_0 "9.000000000000002".