Matches in ISWC2014 Benchmark for { ?s ?p 31.000000000000007. }
- 1704653 cpu_core_0 "31.000000000000007".
- 1705671 cpu_core_0 "31.000000000000007".
- 1708893 cpu_core_0 "31.000000000000007".
- 1709561 cpu_core_0 "31.000000000000007".
- 1710988 cpu_core_0 "31.000000000000007".
- 1711867 cpu_core_0 "31.000000000000007".
- 1713003 cpu_core_0 "31.000000000000007".
- 1713052 cpu_core_0 "31.000000000000007".
- 1713056 cpu_core_0 "31.000000000000007".
- 1720337 cpu_core_0 "31.000000000000007".
- 1726886 cpu_core_0 "31.000000000000007".
- 1726911 cpu_core_0 "31.000000000000007".
- 1739045 cpu_core_0 "31.000000000000007".
- 1739077 cpu_core_0 "31.000000000000007".
- 1739097 cpu_core_0 "31.000000000000007".
- 1739437 cpu_core_0 "31.000000000000007".
- 1750694 cpu_core_0 "31.000000000000007".
- 1750731 cpu_core_0 "31.000000000000007".
- 1750765 cpu_core_0 "31.000000000000007".
- 1756355 cpu_core_0 "31.000000000000007".
- 1756356 cpu_core_0 "31.000000000000007".
- 1773709 cpu_core_0 "31.000000000000007".
- 1779363 cpu_core_0 "31.000000000000007".
- 1779381 cpu_core_0 "31.000000000000007".
- 1785077 cpu_core_0 "31.000000000000007".
- 1785133 cpu_core_0 "31.000000000000007".
- 1797017 cpu_core_0 "31.000000000000007".
- 1810075 cpu_core_0 "31.000000000000007".
- 1828187 cpu_core_0 "31.000000000000007".
- 1840189 cpu_core_0 "31.000000000000007".
- 1840190 cpu_core_0 "31.000000000000007".
- 1846119 cpu_core_0 "31.000000000000007".
- 1858069 cpu_core_0 "31.000000000000007".
- 1871663 cpu_core_0 "31.000000000000007".
- 1883713 cpu_core_0 "31.000000000000007".
- 1889788 cpu_core_0 "31.000000000000007".
- 1901805 cpu_core_0 "31.000000000000007".
- 1913467 cpu_core_0 "31.000000000000007".
- 1914524 cpu_core_0 "31.000000000000007".
- 1915166 cpu_core_0 "31.000000000000007".
- 1916591 cpu_core_0 "31.000000000000007".
- 1916757 cpu_core_0 "31.000000000000007".
- 1917758 cpu_core_0 "31.000000000000007".
- 1919493 cpu_core_0 "31.000000000000007".
- 1965889 cpu_core_0 "31.000000000000007".
- 211842 cpu_core_0 "31.000000000000007".
- 219770 cpu_core_0 "31.000000000000007".
- 220495 cpu_core_0 "31.000000000000007".
- 222199 cpu_core_0 "31.000000000000007".
- 224972 cpu_core_0 "31.000000000000007".
- 232825 cpu_core_0 "31.000000000000007".
- 233663 cpu_core_0 "31.000000000000007".
- 235243 cpu_core_0 "31.000000000000007".
- 235464 cpu_core_0 "31.000000000000007".
- 237453 cpu_core_0 "31.000000000000007".
- 239417 cpu_core_0 "31.000000000000007".
- 239694 cpu_core_0 "31.000000000000007".
- 240233 cpu_core_0 "31.000000000000007".
- 241659 cpu_core_0 "31.000000000000007".
- 242609 cpu_core_0 "31.000000000000007".
- 246405 cpu_core_0 "31.000000000000007".
- 256896 cpu_core_0 "31.000000000000007".
- 256932 cpu_core_0 "31.000000000000007".
- 258851 cpu_core_0 "31.000000000000007".
- 258967 cpu_core_0 "31.000000000000007".
- 260083 cpu_core_0 "31.000000000000007".
- 265059 cpu_core_0 "31.000000000000007".
- 265216 cpu_core_0 "31.000000000000007".
- 273050 cpu_core_0 "31.000000000000007".
- 283569 cpu_core_0 "31.000000000000007".
- 285669 cpu_core_0 "31.000000000000007".
- 287538 cpu_core_0 "31.000000000000007".
- 288197 cpu_core_0 "31.000000000000007".
- 289162 cpu_core_0 "31.000000000000007".
- 290313 cpu_core_0 "31.000000000000007".
- 291125 cpu_core_0 "31.000000000000007".
- 291544 cpu_core_0 "31.000000000000007".
- 294408 cpu_core_0 "31.000000000000007".
- 294951 cpu_core_0 "31.000000000000007".
- 295465 cpu_core_0 "31.000000000000007".
- 304268 cpu_core_0 "31.000000000000007".
- 304579 cpu_core_0 "31.000000000000007".
- 305694 cpu_core_0 "31.000000000000007".
- 307127 cpu_core_0 "31.000000000000007".
- 308462 cpu_core_0 "31.000000000000007".
- 309230 cpu_core_0 "31.000000000000007".
- 309360 cpu_core_0 "31.000000000000007".
- 310799 cpu_core_0 "31.000000000000007".
- 313053 cpu_core_0 "31.000000000000007".
- 314195 cpu_core_0 "31.000000000000007".
- 314462 cpu_core_0 "31.000000000000007".
- 315952 cpu_core_0 "31.000000000000007".
- 316718 cpu_core_0 "31.000000000000007".
- 316830 cpu_core_0 "31.000000000000007".
- 317452 cpu_core_0 "31.000000000000007".
- 317627 cpu_core_0 "31.000000000000007".
- 317789 cpu_core_0 "31.000000000000007".
- 318725 cpu_core_0 "31.000000000000007".
- 318781 cpu_core_0 "31.000000000000007".
- 318819 cpu_core_0 "31.000000000000007".