Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1605083 cpu_core_0 "13.725490196078432".
- 1606316 cpu_core_0 "13.725490196078432".
- 1607401 cpu_core_0 "13.725490196078432".
- 1607535 cpu_core_0 "13.725490196078432".
- 1607941 cpu_core_0 "13.725490196078432".
- 1609371 cpu_core_0 "13.725490196078432".
- 1609603 cpu_core_0 "13.725490196078432".
- 1609985 cpu_core_0 "13.725490196078432".
- 1613208 cpu_core_0 "13.725490196078432".
- 1615429 cpu_core_0 "13.725490196078432".
- 1616443 cpu_core_0 "13.725490196078432".
- 1618239 cpu_core_0 "13.725490196078432".
- 1618902 cpu_core_0 "13.725490196078432".
- 1619867 cpu_core_0 "13.725490196078432".
- 1620239 cpu_core_0 "13.725490196078432".
- 1622929 cpu_core_0 "13.725490196078432".
- 1623078 cpu_core_0 "13.725490196078432".
- 1623103 cpu_core_0 "13.725490196078432".
- 1623230 cpu_core_0 "13.725490196078432".
- 1623775 cpu_core_0 "13.725490196078432".
- 1624675 cpu_core_0 "13.725490196078432".
- 1624951 cpu_core_0 "13.725490196078432".
- 1625251 cpu_core_0 "13.725490196078432".
- 1627662 cpu_core_0 "13.725490196078432".
- 1629005 cpu_core_0 "13.725490196078432".
- 1630399 cpu_core_0 "13.725490196078432".
- 1630871 cpu_core_0 "13.725490196078432".
- 1631749 cpu_core_0 "13.725490196078432".
- 1632058 cpu_core_0 "13.725490196078432".
- 1632645 cpu_core_0 "13.725490196078432".
- 1632832 cpu_core_0 "13.725490196078432".
- 1633009 cpu_core_0 "13.725490196078432".
- 1633348 cpu_core_0 "13.725490196078432".
- 1633601 cpu_core_0 "13.725490196078432".
- 1633670 cpu_core_0 "13.725490196078432".
- 1633702 cpu_core_0 "13.725490196078432".
- 1633836 cpu_core_0 "13.725490196078432".
- 1634150 cpu_core_0 "13.725490196078432".
- 1634392 cpu_core_0 "13.725490196078432".
- 1634404 cpu_core_0 "13.725490196078432".
- 1634537 cpu_core_0 "13.725490196078432".
- 1634572 cpu_core_0 "13.725490196078432".
- 1634809 cpu_core_0 "13.725490196078432".
- 1635100 cpu_core_0 "13.725490196078432".
- 1637017 cpu_core_0 "13.725490196078432".
- 1637879 cpu_core_0 "13.725490196078432".
- 1640574 cpu_core_0 "13.725490196078432".
- 1646069 cpu_core_0 "13.725490196078432".
- 1646121 cpu_core_0 "13.725490196078432".
- 1648007 cpu_core_0 "13.725490196078432".
- 1648659 cpu_core_0 "13.725490196078432".
- 1649514 cpu_core_0 "13.725490196078432".
- 1650024 cpu_core_0 "13.725490196078432".
- 1650475 cpu_core_0 "13.725490196078432".
- 1650706 cpu_core_0 "13.725490196078432".
- 1650890 cpu_core_0 "13.725490196078432".
- 1651146 cpu_core_0 "13.725490196078432".
- 1651301 cpu_core_0 "13.725490196078432".
- 1651365 cpu_core_0 "13.725490196078432".
- 1651750 cpu_core_0 "13.725490196078432".
- 1651990 cpu_core_0 "13.725490196078432".
- 1652400 cpu_core_0 "13.725490196078432".
- 1652752 cpu_core_0 "13.725490196078432".
- 1652829 cpu_core_0 "13.725490196078432".
- 1653662 cpu_core_0 "13.725490196078432".
- 1653666 cpu_core_0 "13.725490196078432".
- 1653898 cpu_core_0 "13.725490196078432".
- 1654206 cpu_core_0 "13.725490196078432".
- 1668689 cpu_core_0 "13.725490196078432".
- 1670469 cpu_core_0 "13.725490196078432".
- 1670556 cpu_core_0 "13.725490196078432".
- 1672797 cpu_core_0 "13.725490196078432".
- 1673305 cpu_core_0 "13.725490196078432".
- 1681363 cpu_core_0 "13.725490196078432".
- 1683226 cpu_core_0 "13.725490196078432".
- 1691693 cpu_core_0 "13.725490196078432".
- 1713238 cpu_core_0 "13.725490196078432".
- 1713402 cpu_core_0 "13.725490196078432".
- 1713425 cpu_core_0 "13.725490196078432".
- 1713505 cpu_core_0 "13.725490196078432".
- 1713735 cpu_core_0 "13.725490196078432".
- 1714114 cpu_core_0 "13.725490196078432".
- 1714399 cpu_core_0 "13.725490196078432".
- 1715715 cpu_core_0 "13.725490196078432".
- 1716389 cpu_core_0 "13.725490196078432".
- 1716440 cpu_core_0 "13.725490196078432".
- 1717901 cpu_core_0 "13.725490196078432".
- 1719764 cpu_core_0 "13.725490196078432".
- 1722585 cpu_core_0 "13.725490196078432".
- 1722633 cpu_core_0 "13.725490196078432".
- 1724040 cpu_core_0 "13.725490196078432".
- 1726736 cpu_core_0 "13.725490196078432".
- 1727316 cpu_core_0 "13.725490196078432".
- 1728119 cpu_core_0 "13.725490196078432".
- 1728487 cpu_core_0 "13.725490196078432".
- 1728509 cpu_core_0 "13.725490196078432".
- 1728537 cpu_core_0 "13.725490196078432".
- 1728687 cpu_core_0 "13.725490196078432".
- 1730419 cpu_core_0 "13.725490196078432".
- 1730930 cpu_core_0 "13.725490196078432".