Matches in ISWC2014 Benchmark for { ?s ?p 15.306122448979592. }
- 1585922 cpu_core_0 "15.306122448979592".
- 1586454 cpu_core_0 "15.306122448979592".
- 1587257 cpu_core_0 "15.306122448979592".
- 1587503 cpu_core_0 "15.306122448979592".
- 1588387 cpu_core_0 "15.306122448979592".
- 1588825 cpu_core_0 "15.306122448979592".
- 1589612 cpu_core_0 "15.306122448979592".
- 1589711 cpu_core_0 "15.306122448979592".
- 1589858 cpu_core_0 "15.306122448979592".
- 1590314 cpu_core_0 "15.306122448979592".
- 1590889 cpu_core_0 "15.306122448979592".
- 1590907 cpu_core_0 "15.306122448979592".
- 1591763 cpu_core_0 "15.306122448979592".
- 1592611 cpu_core_0 "15.306122448979592".
- 1592768 cpu_core_0 "15.306122448979592".
- 1593600 cpu_core_0 "15.306122448979592".
- 1593800 cpu_core_0 "15.306122448979592".
- 1594198 cpu_core_0 "15.306122448979592".
- 1594362 cpu_core_0 "15.306122448979592".
- 1594365 cpu_core_0 "15.306122448979592".
- 1594414 cpu_core_0 "15.306122448979592".
- 1594529 cpu_core_0 "15.306122448979592".
- 1597063 cpu_core_0 "15.306122448979592".
- 1598006 cpu_core_0 "15.306122448979592".
- 1598334 cpu_core_0 "15.306122448979592".
- 1598976 cpu_core_0 "15.306122448979592".
- 1599147 cpu_core_0 "15.306122448979592".
- 1599166 cpu_core_0 "15.306122448979592".
- 1599517 cpu_core_0 "15.306122448979592".
- 1600202 cpu_core_0 "15.306122448979592".
- 1600556 cpu_core_0 "15.306122448979592".
- 1600599 cpu_core_0 "15.306122448979592".
- 1600608 cpu_core_0 "15.306122448979592".
- 1600812 cpu_core_0 "15.306122448979592".
- 1601430 cpu_core_0 "15.306122448979592".
- 1601718 cpu_core_0 "15.306122448979592".
- 1602160 cpu_core_0 "15.306122448979592".
- 1603683 cpu_core_0 "15.306122448979592".
- 1603747 cpu_core_0 "15.306122448979592".
- 1604234 cpu_core_0 "15.306122448979592".
- 1604778 cpu_core_0 "15.306122448979592".
- 1605738 cpu_core_0 "15.306122448979592".
- 1605928 cpu_core_0 "15.306122448979592".
- 1606398 cpu_core_0 "15.306122448979592".
- 1606532 cpu_core_0 "15.306122448979592".
- 1607828 cpu_core_0 "15.306122448979592".
- 1608249 cpu_core_0 "15.306122448979592".
- 1609464 cpu_core_0 "15.306122448979592".
- 1610829 cpu_core_0 "15.306122448979592".
- 1611058 cpu_core_0 "15.306122448979592".
- 1611140 cpu_core_0 "15.306122448979592".
- 1611766 cpu_core_0 "15.306122448979592".
- 1611916 cpu_core_0 "15.306122448979592".
- 1612660 cpu_core_0 "15.306122448979592".
- 1612816 cpu_core_0 "15.306122448979592".
- 1613094 cpu_core_0 "15.306122448979592".
- 1613515 cpu_core_0 "15.306122448979592".
- 1613596 cpu_core_0 "15.306122448979592".
- 1613841 cpu_core_0 "15.306122448979592".
- 1615103 cpu_core_0 "15.306122448979592".
- 1615722 cpu_core_0 "15.306122448979592".
- 1615857 cpu_core_0 "15.306122448979592".
- 1616371 cpu_core_0 "15.306122448979592".
- 1616608 cpu_core_0 "15.306122448979592".
- 1617153 cpu_core_0 "15.306122448979592".
- 1617336 cpu_core_0 "15.306122448979592".
- 1618028 cpu_core_0 "15.306122448979592".
- 1618901 cpu_core_0 "15.306122448979592".
- 1619065 cpu_core_0 "15.306122448979592".
- 1619637 cpu_core_0 "15.306122448979592".
- 1620178 cpu_core_0 "15.306122448979592".
- 1621153 cpu_core_0 "15.306122448979592".
- 1622144 cpu_core_0 "15.306122448979592".
- 1622393 cpu_core_0 "15.306122448979592".
- 1622557 cpu_core_0 "15.306122448979592".
- 1623234 cpu_core_0 "15.306122448979592".
- 1623756 cpu_core_0 "15.306122448979592".
- 1625060 cpu_core_0 "15.306122448979592".
- 1625800 cpu_core_0 "15.306122448979592".
- 1626285 cpu_core_0 "15.306122448979592".
- 1626294 cpu_core_0 "15.306122448979592".
- 1626311 cpu_core_0 "15.306122448979592".
- 1626315 cpu_core_0 "15.306122448979592".
- 1628087 cpu_core_0 "15.306122448979592".
- 1628338 cpu_core_0 "15.306122448979592".
- 1628625 cpu_core_0 "15.306122448979592".
- 1628627 cpu_core_0 "15.306122448979592".
- 1629453 cpu_core_0 "15.306122448979592".
- 1629838 cpu_core_0 "15.306122448979592".
- 1630018 cpu_core_0 "15.306122448979592".
- 1630481 cpu_core_0 "15.306122448979592".
- 1630607 cpu_core_0 "15.306122448979592".
- 1631314 cpu_core_0 "15.306122448979592".
- 1631489 cpu_core_0 "15.306122448979592".
- 1632050 cpu_core_0 "15.306122448979592".
- 1632334 cpu_core_0 "15.306122448979592".
- 1632730 cpu_core_0 "15.306122448979592".
- 1632890 cpu_core_0 "15.306122448979592".
- 1633293 cpu_core_0 "15.306122448979592".
- 1634536 cpu_core_0 "15.306122448979592".