Matches in ISWC2014 Benchmark for { ?s ?p 31.000000000000007. }
- 1683134 cpu_core_1 "31.000000000000007".
- 1685066 cpu_core_1 "31.000000000000007".
- 1685839 cpu_core_1 "31.000000000000007".
- 1686378 cpu_core_1 "31.000000000000007".
- 1688190 cpu_core_1 "31.000000000000007".
- 1688627 cpu_core_1 "31.000000000000007".
- 1689698 cpu_core_1 "31.000000000000007".
- 1689938 cpu_core_1 "31.000000000000007".
- 1690044 cpu_core_1 "31.000000000000007".
- 1690295 cpu_core_1 "31.000000000000007".
- 1691552 cpu_core_1 "31.000000000000007".
- 1692031 cpu_core_1 "31.000000000000007".
- 1692238 cpu_core_1 "31.000000000000007".
- 1696140 cpu_core_1 "31.000000000000007".
- 1696305 cpu_core_1 "31.000000000000007".
- 1698362 cpu_core_1 "31.000000000000007".
- 1700907 cpu_core_1 "31.000000000000007".
- 1701844 cpu_core_1 "31.000000000000007".
- 1703629 cpu_core_1 "31.000000000000007".
- 1704202 cpu_core_1 "31.000000000000007".
- 1706028 cpu_core_1 "31.000000000000007".
- 1707182 cpu_core_1 "31.000000000000007".
- 1707553 cpu_core_1 "31.000000000000007".
- 1708992 cpu_core_1 "31.000000000000007".
- 1709159 cpu_core_1 "31.000000000000007".
- 1710327 cpu_core_1 "31.000000000000007".
- 1712436 cpu_core_1 "31.000000000000007".
- 1745172 cpu_core_1 "31.000000000000007".
- 1815442 cpu_core_1 "31.000000000000007".
- 1880160 cpu_core_1 "31.000000000000007".
- 1900043 cpu_core_1 "31.000000000000007".
- 1902137 cpu_core_1 "31.000000000000007".
- 1915715 cpu_core_1 "31.000000000000007".
- 1918037 cpu_core_1 "31.000000000000007".
- 1918167 cpu_core_1 "31.000000000000007".
- 1918168 cpu_core_1 "31.000000000000007".
- 1918768 cpu_core_1 "31.000000000000007".
- 1919740 cpu_core_1 "31.000000000000007".
- 1920454 cpu_core_1 "31.000000000000007".
- 217865 cpu_core_1 "31.000000000000007".
- 222666 cpu_core_1 "31.000000000000007".
- 242955 cpu_core_1 "31.000000000000007".
- 246508 cpu_core_1 "31.000000000000007".
- 265090 cpu_core_1 "31.000000000000007".
- 270483 cpu_core_1 "31.000000000000007".
- 275820 cpu_core_1 "31.000000000000007".
- 282981 cpu_core_1 "31.000000000000007".
- 296745 cpu_core_1 "31.000000000000007".
- 298063 cpu_core_1 "31.000000000000007".
- 305754 cpu_core_1 "31.000000000000007".
- 305994 cpu_core_1 "31.000000000000007".
- 308193 cpu_core_1 "31.000000000000007".
- 308765 cpu_core_1 "31.000000000000007".
- 309481 cpu_core_1 "31.000000000000007".
- 310502 cpu_core_1 "31.000000000000007".
- 310987 cpu_core_1 "31.000000000000007".
- 312337 cpu_core_1 "31.000000000000007".
- 313298 cpu_core_1 "31.000000000000007".
- 315547 cpu_core_1 "31.000000000000007".
- 317223 cpu_core_1 "31.000000000000007".
- 319521 cpu_core_1 "31.000000000000007".
- 320416 cpu_core_1 "31.000000000000007".
- 320576 cpu_core_1 "31.000000000000007".
- 321167 cpu_core_1 "31.000000000000007".
- 321514 cpu_core_1 "31.000000000000007".
- 322984 cpu_core_1 "31.000000000000007".
- 323100 cpu_core_1 "31.000000000000007".
- 324573 cpu_core_1 "31.000000000000007".
- 324580 cpu_core_1 "31.000000000000007".
- 325785 cpu_core_1 "31.000000000000007".
- 326445 cpu_core_1 "31.000000000000007".
- 328859 cpu_core_1 "31.000000000000007".
- 328932 cpu_core_1 "31.000000000000007".
- 328964 cpu_core_1 "31.000000000000007".
- 330540 cpu_core_1 "31.000000000000007".
- 331143 cpu_core_1 "31.000000000000007".
- 331492 cpu_core_1 "31.000000000000007".
- 333202 cpu_core_1 "31.000000000000007".
- 333356 cpu_core_1 "31.000000000000007".
- 333419 cpu_core_1 "31.000000000000007".
- 334979 cpu_core_1 "31.000000000000007".
- 335583 cpu_core_1 "31.000000000000007".
- 336424 cpu_core_1 "31.000000000000007".
- 338243 cpu_core_1 "31.000000000000007".
- 338493 cpu_core_1 "31.000000000000007".
- 339181 cpu_core_1 "31.000000000000007".
- 340151 cpu_core_1 "31.000000000000007".
- 341171 cpu_core_1 "31.000000000000007".
- 341440 cpu_core_1 "31.000000000000007".
- 341559 cpu_core_1 "31.000000000000007".
- 341643 cpu_core_1 "31.000000000000007".
- 342370 cpu_core_1 "31.000000000000007".
- 342817 cpu_core_1 "31.000000000000007".
- 344406 cpu_core_1 "31.000000000000007".
- 344827 cpu_core_1 "31.000000000000007".
- 346172 cpu_core_1 "31.000000000000007".
- 347136 cpu_core_1 "31.000000000000007".
- 347757 cpu_core_1 "31.000000000000007".
- 349136 cpu_core_1 "31.000000000000007".
- 349325 cpu_core_1 "31.000000000000007".