Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1780842 cpu_core_0 "13.725490196078432".
- 1780981 cpu_core_0 "13.725490196078432".
- 1781004 cpu_core_0 "13.725490196078432".
- 1781252 cpu_core_0 "13.725490196078432".
- 1782074 cpu_core_0 "13.725490196078432".
- 1782321 cpu_core_0 "13.725490196078432".
- 1782916 cpu_core_0 "13.725490196078432".
- 1783391 cpu_core_0 "13.725490196078432".
- 1785723 cpu_core_0 "13.725490196078432".
- 1786892 cpu_core_0 "13.725490196078432".
- 1786990 cpu_core_0 "13.725490196078432".
- 1787557 cpu_core_0 "13.725490196078432".
- 1789175 cpu_core_0 "13.725490196078432".
- 1789405 cpu_core_0 "13.725490196078432".
- 1789846 cpu_core_0 "13.725490196078432".
- 1790051 cpu_core_0 "13.725490196078432".
- 1790643 cpu_core_0 "13.725490196078432".
- 1792380 cpu_core_0 "13.725490196078432".
- 1793221 cpu_core_0 "13.725490196078432".
- 1793755 cpu_core_0 "13.725490196078432".
- 1795108 cpu_core_0 "13.725490196078432".
- 1795372 cpu_core_0 "13.725490196078432".
- 1795399 cpu_core_0 "13.725490196078432".
- 1798392 cpu_core_0 "13.725490196078432".
- 1798425 cpu_core_0 "13.725490196078432".
- 1799064 cpu_core_0 "13.725490196078432".
- 1799881 cpu_core_0 "13.725490196078432".
- 1800686 cpu_core_0 "13.725490196078432".
- 1802117 cpu_core_0 "13.725490196078432".
- 1802372 cpu_core_0 "13.725490196078432".
- 1802561 cpu_core_0 "13.725490196078432".
- 1802997 cpu_core_0 "13.725490196078432".
- 1803655 cpu_core_0 "13.725490196078432".
- 1804201 cpu_core_0 "13.725490196078432".
- 1804503 cpu_core_0 "13.725490196078432".
- 1805202 cpu_core_0 "13.725490196078432".
- 1805670 cpu_core_0 "13.725490196078432".
- 1807547 cpu_core_0 "13.725490196078432".
- 1809155 cpu_core_0 "13.725490196078432".
- 1809159 cpu_core_0 "13.725490196078432".
- 1810004 cpu_core_0 "13.725490196078432".
- 1810568 cpu_core_0 "13.725490196078432".
- 1811284 cpu_core_0 "13.725490196078432".
- 1811668 cpu_core_0 "13.725490196078432".
- 1811977 cpu_core_0 "13.725490196078432".
- 1812488 cpu_core_0 "13.725490196078432".
- 1812633 cpu_core_0 "13.725490196078432".
- 1812948 cpu_core_0 "13.725490196078432".
- 1813760 cpu_core_0 "13.725490196078432".
- 1813888 cpu_core_0 "13.725490196078432".
- 1814183 cpu_core_0 "13.725490196078432".
- 1814251 cpu_core_0 "13.725490196078432".
- 1814751 cpu_core_0 "13.725490196078432".
- 1814831 cpu_core_0 "13.725490196078432".
- 1815710 cpu_core_0 "13.725490196078432".
- 1817106 cpu_core_0 "13.725490196078432".
- 1817192 cpu_core_0 "13.725490196078432".
- 1818046 cpu_core_0 "13.725490196078432".
- 1818223 cpu_core_0 "13.725490196078432".
- 1818238 cpu_core_0 "13.725490196078432".
- 1818716 cpu_core_0 "13.725490196078432".
- 1820879 cpu_core_0 "13.725490196078432".
- 1821449 cpu_core_0 "13.725490196078432".
- 1823530 cpu_core_0 "13.725490196078432".
- 1824593 cpu_core_0 "13.725490196078432".
- 1825111 cpu_core_0 "13.725490196078432".
- 1825356 cpu_core_0 "13.725490196078432".
- 1828680 cpu_core_0 "13.725490196078432".
- 1829245 cpu_core_0 "13.725490196078432".
- 1829685 cpu_core_0 "13.725490196078432".
- 1830113 cpu_core_0 "13.725490196078432".
- 1830813 cpu_core_0 "13.725490196078432".
- 1831101 cpu_core_0 "13.725490196078432".
- 1831771 cpu_core_0 "13.725490196078432".
- 1835643 cpu_core_0 "13.725490196078432".
- 1835797 cpu_core_0 "13.725490196078432".
- 1836261 cpu_core_0 "13.725490196078432".
- 1836349 cpu_core_0 "13.725490196078432".
- 1836497 cpu_core_0 "13.725490196078432".
- 1836537 cpu_core_0 "13.725490196078432".
- 1837123 cpu_core_0 "13.725490196078432".
- 1837237 cpu_core_0 "13.725490196078432".
- 1838245 cpu_core_0 "13.725490196078432".
- 1838279 cpu_core_0 "13.725490196078432".
- 1838472 cpu_core_0 "13.725490196078432".
- 1838652 cpu_core_0 "13.725490196078432".
- 1839130 cpu_core_0 "13.725490196078432".
- 1840410 cpu_core_0 "13.725490196078432".
- 1840919 cpu_core_0 "13.725490196078432".
- 1841038 cpu_core_0 "13.725490196078432".
- 1841316 cpu_core_0 "13.725490196078432".
- 1842208 cpu_core_0 "13.725490196078432".
- 1842511 cpu_core_0 "13.725490196078432".
- 1842582 cpu_core_0 "13.725490196078432".
- 1842898 cpu_core_0 "13.725490196078432".
- 1843184 cpu_core_0 "13.725490196078432".
- 1844683 cpu_core_0 "13.725490196078432".
- 1844800 cpu_core_0 "13.725490196078432".
- 1845007 cpu_core_0 "13.725490196078432".
- 1845060 cpu_core_0 "13.725490196078432".