Matches in ISWC2014 Benchmark for { ?s ?p 9.803921568627452. }
- 1618864 cpu_core_0 "9.803921568627452".
- 1620158 cpu_core_0 "9.803921568627452".
- 1621188 cpu_core_0 "9.803921568627452".
- 1621474 cpu_core_0 "9.803921568627452".
- 1621716 cpu_core_0 "9.803921568627452".
- 1621961 cpu_core_0 "9.803921568627452".
- 1622027 cpu_core_0 "9.803921568627452".
- 1623052 cpu_core_0 "9.803921568627452".
- 1623382 cpu_core_0 "9.803921568627452".
- 1624629 cpu_core_0 "9.803921568627452".
- 1628439 cpu_core_0 "9.803921568627452".
- 1628661 cpu_core_0 "9.803921568627452".
- 1629558 cpu_core_0 "9.803921568627452".
- 1629694 cpu_core_0 "9.803921568627452".
- 1631499 cpu_core_0 "9.803921568627452".
- 1632278 cpu_core_0 "9.803921568627452".
- 1632465 cpu_core_0 "9.803921568627452".
- 1632615 cpu_core_0 "9.803921568627452".
- 1634270 cpu_core_0 "9.803921568627452".
- 1634636 cpu_core_0 "9.803921568627452".
- 1635541 cpu_core_0 "9.803921568627452".
- 1636144 cpu_core_0 "9.803921568627452".
- 1636974 cpu_core_0 "9.803921568627452".
- 1637039 cpu_core_0 "9.803921568627452".
- 1642903 cpu_core_0 "9.803921568627452".
- 1644618 cpu_core_0 "9.803921568627452".
- 1645327 cpu_core_0 "9.803921568627452".
- 1645619 cpu_core_0 "9.803921568627452".
- 1646511 cpu_core_0 "9.803921568627452".
- 1646872 cpu_core_0 "9.803921568627452".
- 1647054 cpu_core_0 "9.803921568627452".
- 1647083 cpu_core_0 "9.803921568627452".
- 1647354 cpu_core_0 "9.803921568627452".
- 1647472 cpu_core_0 "9.803921568627452".
- 1647687 cpu_core_0 "9.803921568627452".
- 1647838 cpu_core_0 "9.803921568627452".
- 1648033 cpu_core_0 "9.803921568627452".
- 1648221 cpu_core_0 "9.803921568627452".
- 1648249 cpu_core_0 "9.803921568627452".
- 1648267 cpu_core_0 "9.803921568627452".
- 1648504 cpu_core_0 "9.803921568627452".
- 1648543 cpu_core_0 "9.803921568627452".
- 1648551 cpu_core_0 "9.803921568627452".
- 1648642 cpu_core_0 "9.803921568627452".
- 1648745 cpu_core_0 "9.803921568627452".
- 1648771 cpu_core_0 "9.803921568627452".
- 1648984 cpu_core_0 "9.803921568627452".
- 1649276 cpu_core_0 "9.803921568627452".
- 1649639 cpu_core_0 "9.803921568627452".
- 1649753 cpu_core_0 "9.803921568627452".
- 1649849 cpu_core_0 "9.803921568627452".
- 1650210 cpu_core_0 "9.803921568627452".
- 1650408 cpu_core_0 "9.803921568627452".
- 1650533 cpu_core_0 "9.803921568627452".
- 1650574 cpu_core_0 "9.803921568627452".
- 1651326 cpu_core_0 "9.803921568627452".
- 1651416 cpu_core_0 "9.803921568627452".
- 1651602 cpu_core_0 "9.803921568627452".
- 1651626 cpu_core_0 "9.803921568627452".
- 1651965 cpu_core_0 "9.803921568627452".
- 1651993 cpu_core_0 "9.803921568627452".
- 1652344 cpu_core_0 "9.803921568627452".
- 1652504 cpu_core_0 "9.803921568627452".
- 1652563 cpu_core_0 "9.803921568627452".
- 1652624 cpu_core_0 "9.803921568627452".
- 1653116 cpu_core_0 "9.803921568627452".
- 1653285 cpu_core_0 "9.803921568627452".
- 1653287 cpu_core_0 "9.803921568627452".
- 1653449 cpu_core_0 "9.803921568627452".
- 1653472 cpu_core_0 "9.803921568627452".
- 1653536 cpu_core_0 "9.803921568627452".
- 1653724 cpu_core_0 "9.803921568627452".
- 1653845 cpu_core_0 "9.803921568627452".
- 1653867 cpu_core_0 "9.803921568627452".
- 1654082 cpu_core_0 "9.803921568627452".
- 1665720 cpu_core_0 "9.803921568627452".
- 1668156 cpu_core_0 "9.803921568627452".
- 1669953 cpu_core_0 "9.803921568627452".
- 1671976 cpu_core_0 "9.803921568627452".
- 1672345 cpu_core_0 "9.803921568627452".
- 1693487 cpu_core_0 "9.803921568627452".
- 1695137 cpu_core_0 "9.803921568627452".
- 1704325 cpu_core_0 "9.803921568627452".
- 1707380 cpu_core_0 "9.803921568627452".
- 1710911 cpu_core_0 "9.803921568627452".
- 1715331 cpu_core_0 "9.803921568627452".
- 1715416 cpu_core_0 "9.803921568627452".
- 1715566 cpu_core_0 "9.803921568627452".
- 1715978 cpu_core_0 "9.803921568627452".
- 1716884 cpu_core_0 "9.803921568627452".
- 1718124 cpu_core_0 "9.803921568627452".
- 1719894 cpu_core_0 "9.803921568627452".
- 1720901 cpu_core_0 "9.803921568627452".
- 1721127 cpu_core_0 "9.803921568627452".
- 1721279 cpu_core_0 "9.803921568627452".
- 1722127 cpu_core_0 "9.803921568627452".
- 1722287 cpu_core_0 "9.803921568627452".
- 1722486 cpu_core_0 "9.803921568627452".
- 1723094 cpu_core_0 "9.803921568627452".
- 1723419 cpu_core_0 "9.803921568627452".