Matches in ISWC2014 Benchmark for { ?s ?p 8.737864077669903. }
- 1028396 cpu_core_0 "8.737864077669903".
- 1028983 cpu_core_0 "8.737864077669903".
- 1035562 cpu_core_0 "8.737864077669903".
- 1069861 cpu_core_0 "8.737864077669903".
- 1096561 cpu_core_0 "8.737864077669903".
- 1121384 cpu_core_0 "8.737864077669903".
- 1182721 cpu_core_0 "8.737864077669903".
- 1186918 cpu_core_0 "8.737864077669903".
- 1215522 cpu_core_0 "8.737864077669903".
- 1215888 cpu_core_0 "8.737864077669903".
- 1219445 cpu_core_0 "8.737864077669903".
- 1292278 cpu_core_0 "8.737864077669903".
- 1306429 cpu_core_0 "8.737864077669903".
- 1318046 cpu_core_0 "8.737864077669903".
- 1323490 cpu_core_0 "8.737864077669903".
- 1324412 cpu_core_0 "8.737864077669903".
- 1330890 cpu_core_0 "8.737864077669903".
- 1382966 cpu_core_0 "8.737864077669903".
- 1384688 cpu_core_0 "8.737864077669903".
- 1395541 cpu_core_0 "8.737864077669903".
- 1407993 cpu_core_0 "8.737864077669903".
- 1412127 cpu_core_0 "8.737864077669903".
- 1412418 cpu_core_0 "8.737864077669903".
- 1426487 cpu_core_0 "8.737864077669903".
- 1451543 cpu_core_0 "8.737864077669903".
- 1475193 cpu_core_0 "8.737864077669903".
- 1481254 cpu_core_0 "8.737864077669903".
- 1495758 cpu_core_0 "8.737864077669903".
- 1543616 cpu_core_0 "8.737864077669903".
- 1603229 cpu_core_0 "8.737864077669903".
- 1612661 cpu_core_0 "8.737864077669903".
- 1613037 cpu_core_0 "8.737864077669903".
- 1616394 cpu_core_0 "8.737864077669903".
- 1625612 cpu_core_0 "8.737864077669903".
- 1648628 cpu_core_0 "8.737864077669903".
- 1649618 cpu_core_0 "8.737864077669903".
- 1649762 cpu_core_0 "8.737864077669903".
- 1650555 cpu_core_0 "8.737864077669903".
- 1651156 cpu_core_0 "8.737864077669903".
- 1672068 cpu_core_0 "8.737864077669903".
- 1673363 cpu_core_0 "8.737864077669903".
- 1719694 cpu_core_0 "8.737864077669903".
- 1721973 cpu_core_0 "8.737864077669903".
- 1727980 cpu_core_0 "8.737864077669903".
- 1743593 cpu_core_0 "8.737864077669903".
- 1778524 cpu_core_0 "8.737864077669903".
- 1792844 cpu_core_0 "8.737864077669903".
- 1796187 cpu_core_0 "8.737864077669903".
- 1811614 cpu_core_0 "8.737864077669903".
- 1835469 cpu_core_0 "8.737864077669903".
- 1837800 cpu_core_0 "8.737864077669903".
- 1849818 cpu_core_0 "8.737864077669903".
- 1875605 cpu_core_0 "8.737864077669903".
- 1884213 cpu_core_0 "8.737864077669903".
- 1897576 cpu_core_0 "8.737864077669903".
- 1899413 cpu_core_0 "8.737864077669903".
- 1905795 cpu_core_0 "8.737864077669903".
- 1920749 cpu_core_0 "8.737864077669903".
- 1921091 cpu_core_0 "8.737864077669903".
- 1921393 cpu_core_0 "8.737864077669903".
- 2062721 cpu_core_0 "8.737864077669903".
- 285539 cpu_core_0 "8.737864077669903".
- 362842 cpu_core_0 "8.737864077669903".
- 515636 cpu_core_0 "8.737864077669903".
- 517705 cpu_core_0 "8.737864077669903".
- 545082 cpu_core_0 "8.737864077669903".
- 647595 cpu_core_0 "8.737864077669903".
- 844648 cpu_core_0 "8.737864077669903".
- 902555 cpu_core_0 "8.737864077669903".
- 902711 cpu_core_0 "8.737864077669903".
- 964640 cpu_core_0 "8.737864077669903".
- 972654 cpu_core_0 "8.737864077669903".
- 1013412 cpu_core_1 "8.737864077669903".
- 1071693 cpu_core_1 "8.737864077669903".
- 1139880 cpu_core_1 "8.737864077669903".
- 1213663 cpu_core_1 "8.737864077669903".
- 1407767 cpu_core_1 "8.737864077669903".
- 1408559 cpu_core_1 "8.737864077669903".
- 1414057 cpu_core_1 "8.737864077669903".
- 1649279 cpu_core_1 "8.737864077669903".
- 1674299 cpu_core_1 "8.737864077669903".
- 1805555 cpu_core_1 "8.737864077669903".
- 1910833 cpu_core_1 "8.737864077669903".
- 1920962 cpu_core_1 "8.737864077669903".
- 1924047 cpu_core_1 "8.737864077669903".
- 1927235 cpu_core_1 "8.737864077669903".
- 218799 cpu_core_1 "8.737864077669903".
- 296021 cpu_core_1 "8.737864077669903".
- 305357 cpu_core_1 "8.737864077669903".
- 305410 cpu_core_1 "8.737864077669903".
- 406494 cpu_core_1 "8.737864077669903".
- 407041 cpu_core_1 "8.737864077669903".
- 407175 cpu_core_1 "8.737864077669903".
- 407194 cpu_core_1 "8.737864077669903".
- 600063 cpu_core_1 "8.737864077669903".
- 615296 cpu_core_1 "8.737864077669903".
- 633484 cpu_core_1 "8.737864077669903".
- 746481 cpu_core_1 "8.737864077669903".
- 796898 cpu_core_1 "8.737864077669903".
- 959000 cpu_core_1 "8.737864077669903".