Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1730977 cpu_core_0 "13.725490196078432".
- 1731147 cpu_core_0 "13.725490196078432".
- 1731710 cpu_core_0 "13.725490196078432".
- 1732098 cpu_core_0 "13.725490196078432".
- 1733181 cpu_core_0 "13.725490196078432".
- 1733529 cpu_core_0 "13.725490196078432".
- 1733624 cpu_core_0 "13.725490196078432".
- 1734578 cpu_core_0 "13.725490196078432".
- 1735553 cpu_core_0 "13.725490196078432".
- 1735646 cpu_core_0 "13.725490196078432".
- 1736280 cpu_core_0 "13.725490196078432".
- 1736832 cpu_core_0 "13.725490196078432".
- 1736904 cpu_core_0 "13.725490196078432".
- 1736957 cpu_core_0 "13.725490196078432".
- 1737079 cpu_core_0 "13.725490196078432".
- 1737390 cpu_core_0 "13.725490196078432".
- 1737433 cpu_core_0 "13.725490196078432".
- 1738111 cpu_core_0 "13.725490196078432".
- 1738886 cpu_core_0 "13.725490196078432".
- 1739411 cpu_core_0 "13.725490196078432".
- 1739784 cpu_core_0 "13.725490196078432".
- 1740025 cpu_core_0 "13.725490196078432".
- 1740968 cpu_core_0 "13.725490196078432".
- 1741210 cpu_core_0 "13.725490196078432".
- 1741553 cpu_core_0 "13.725490196078432".
- 1741682 cpu_core_0 "13.725490196078432".
- 1742032 cpu_core_0 "13.725490196078432".
- 1742223 cpu_core_0 "13.725490196078432".
- 1742597 cpu_core_0 "13.725490196078432".
- 1742607 cpu_core_0 "13.725490196078432".
- 1743763 cpu_core_0 "13.725490196078432".
- 1745252 cpu_core_0 "13.725490196078432".
- 1745356 cpu_core_0 "13.725490196078432".
- 1745370 cpu_core_0 "13.725490196078432".
- 1745847 cpu_core_0 "13.725490196078432".
- 1745965 cpu_core_0 "13.725490196078432".
- 1745976 cpu_core_0 "13.725490196078432".
- 1746023 cpu_core_0 "13.725490196078432".
- 1746345 cpu_core_0 "13.725490196078432".
- 1747036 cpu_core_0 "13.725490196078432".
- 1747385 cpu_core_0 "13.725490196078432".
- 1747575 cpu_core_0 "13.725490196078432".
- 1747600 cpu_core_0 "13.725490196078432".
- 1748676 cpu_core_0 "13.725490196078432".
- 1749344 cpu_core_0 "13.725490196078432".
- 1751290 cpu_core_0 "13.725490196078432".
- 1751341 cpu_core_0 "13.725490196078432".
- 1751369 cpu_core_0 "13.725490196078432".
- 1751524 cpu_core_0 "13.725490196078432".
- 1751727 cpu_core_0 "13.725490196078432".
- 1751803 cpu_core_0 "13.725490196078432".
- 1752026 cpu_core_0 "13.725490196078432".
- 1752296 cpu_core_0 "13.725490196078432".
- 1752790 cpu_core_0 "13.725490196078432".
- 1752906 cpu_core_0 "13.725490196078432".
- 1753102 cpu_core_0 "13.725490196078432".
- 1753520 cpu_core_0 "13.725490196078432".
- 1753680 cpu_core_0 "13.725490196078432".
- 1753702 cpu_core_0 "13.725490196078432".
- 1753777 cpu_core_0 "13.725490196078432".
- 1754975 cpu_core_0 "13.725490196078432".
- 1756771 cpu_core_0 "13.725490196078432".
- 1756991 cpu_core_0 "13.725490196078432".
- 1757019 cpu_core_0 "13.725490196078432".
- 1758432 cpu_core_0 "13.725490196078432".
- 1759229 cpu_core_0 "13.725490196078432".
- 1759432 cpu_core_0 "13.725490196078432".
- 1763350 cpu_core_0 "13.725490196078432".
- 1763396 cpu_core_0 "13.725490196078432".
- 1763475 cpu_core_0 "13.725490196078432".
- 1763749 cpu_core_0 "13.725490196078432".
- 1763950 cpu_core_0 "13.725490196078432".
- 1764683 cpu_core_0 "13.725490196078432".
- 1765342 cpu_core_0 "13.725490196078432".
- 1766051 cpu_core_0 "13.725490196078432".
- 1767432 cpu_core_0 "13.725490196078432".
- 1767842 cpu_core_0 "13.725490196078432".
- 1768589 cpu_core_0 "13.725490196078432".
- 1768793 cpu_core_0 "13.725490196078432".
- 1768864 cpu_core_0 "13.725490196078432".
- 1770394 cpu_core_0 "13.725490196078432".
- 1771000 cpu_core_0 "13.725490196078432".
- 1771127 cpu_core_0 "13.725490196078432".
- 1772271 cpu_core_0 "13.725490196078432".
- 1772578 cpu_core_0 "13.725490196078432".
- 1772763 cpu_core_0 "13.725490196078432".
- 1773829 cpu_core_0 "13.725490196078432".
- 1774298 cpu_core_0 "13.725490196078432".
- 1775240 cpu_core_0 "13.725490196078432".
- 1776528 cpu_core_0 "13.725490196078432".
- 1776679 cpu_core_0 "13.725490196078432".
- 1777264 cpu_core_0 "13.725490196078432".
- 1777620 cpu_core_0 "13.725490196078432".
- 1777708 cpu_core_0 "13.725490196078432".
- 1777926 cpu_core_0 "13.725490196078432".
- 1778727 cpu_core_0 "13.725490196078432".
- 1780136 cpu_core_0 "13.725490196078432".
- 1780294 cpu_core_0 "13.725490196078432".
- 1780319 cpu_core_0 "13.725490196078432".
- 1780491 cpu_core_0 "13.725490196078432".