Matches in ISWC2014 Benchmark for { ?s ?p 7.8431372549019605. }
- 1734051 cpu_core_0 "7.8431372549019605".
- 1734962 cpu_core_0 "7.8431372549019605".
- 1734970 cpu_core_0 "7.8431372549019605".
- 1736156 cpu_core_0 "7.8431372549019605".
- 1736274 cpu_core_0 "7.8431372549019605".
- 1736541 cpu_core_0 "7.8431372549019605".
- 1737414 cpu_core_0 "7.8431372549019605".
- 1740471 cpu_core_0 "7.8431372549019605".
- 1743725 cpu_core_0 "7.8431372549019605".
- 1745811 cpu_core_0 "7.8431372549019605".
- 1746088 cpu_core_0 "7.8431372549019605".
- 1746162 cpu_core_0 "7.8431372549019605".
- 1747525 cpu_core_0 "7.8431372549019605".
- 1748537 cpu_core_0 "7.8431372549019605".
- 1748847 cpu_core_0 "7.8431372549019605".
- 1750346 cpu_core_0 "7.8431372549019605".
- 1751183 cpu_core_0 "7.8431372549019605".
- 1752034 cpu_core_0 "7.8431372549019605".
- 1752168 cpu_core_0 "7.8431372549019605".
- 1752770 cpu_core_0 "7.8431372549019605".
- 1754335 cpu_core_0 "7.8431372549019605".
- 1754855 cpu_core_0 "7.8431372549019605".
- 1756107 cpu_core_0 "7.8431372549019605".
- 1756303 cpu_core_0 "7.8431372549019605".
- 1756910 cpu_core_0 "7.8431372549019605".
- 1756946 cpu_core_0 "7.8431372549019605".
- 1758151 cpu_core_0 "7.8431372549019605".
- 1759042 cpu_core_0 "7.8431372549019605".
- 1759498 cpu_core_0 "7.8431372549019605".
- 1761078 cpu_core_0 "7.8431372549019605".
- 1762459 cpu_core_0 "7.8431372549019605".
- 1764977 cpu_core_0 "7.8431372549019605".
- 1765205 cpu_core_0 "7.8431372549019605".
- 1765667 cpu_core_0 "7.8431372549019605".
- 1766598 cpu_core_0 "7.8431372549019605".
- 1766601 cpu_core_0 "7.8431372549019605".
- 1766751 cpu_core_0 "7.8431372549019605".
- 1767541 cpu_core_0 "7.8431372549019605".
- 1768532 cpu_core_0 "7.8431372549019605".
- 1768742 cpu_core_0 "7.8431372549019605".
- 1769721 cpu_core_0 "7.8431372549019605".
- 1770924 cpu_core_0 "7.8431372549019605".
- 1771687 cpu_core_0 "7.8431372549019605".
- 1774824 cpu_core_0 "7.8431372549019605".
- 1775073 cpu_core_0 "7.8431372549019605".
- 1776440 cpu_core_0 "7.8431372549019605".
- 1785454 cpu_core_0 "7.8431372549019605".
- 1785787 cpu_core_0 "7.8431372549019605".
- 1786575 cpu_core_0 "7.8431372549019605".
- 1787543 cpu_core_0 "7.8431372549019605".
- 1788540 cpu_core_0 "7.8431372549019605".
- 1791872 cpu_core_0 "7.8431372549019605".
- 1792252 cpu_core_0 "7.8431372549019605".
- 1793141 cpu_core_0 "7.8431372549019605".
- 1793562 cpu_core_0 "7.8431372549019605".
- 1795155 cpu_core_0 "7.8431372549019605".
- 1795729 cpu_core_0 "7.8431372549019605".
- 1797993 cpu_core_0 "7.8431372549019605".
- 1798630 cpu_core_0 "7.8431372549019605".
- 1801696 cpu_core_0 "7.8431372549019605".
- 1802007 cpu_core_0 "7.8431372549019605".
- 1802389 cpu_core_0 "7.8431372549019605".
- 1803996 cpu_core_0 "7.8431372549019605".
- 1804454 cpu_core_0 "7.8431372549019605".
- 1805969 cpu_core_0 "7.8431372549019605".
- 1807430 cpu_core_0 "7.8431372549019605".
- 1808055 cpu_core_0 "7.8431372549019605".
- 1808173 cpu_core_0 "7.8431372549019605".
- 1808331 cpu_core_0 "7.8431372549019605".
- 1808338 cpu_core_0 "7.8431372549019605".
- 1809875 cpu_core_0 "7.8431372549019605".
- 1812343 cpu_core_0 "7.8431372549019605".
- 1812688 cpu_core_0 "7.8431372549019605".
- 1816041 cpu_core_0 "7.8431372549019605".
- 1816159 cpu_core_0 "7.8431372549019605".
- 1817591 cpu_core_0 "7.8431372549019605".
- 1818050 cpu_core_0 "7.8431372549019605".
- 1819161 cpu_core_0 "7.8431372549019605".
- 1819972 cpu_core_0 "7.8431372549019605".
- 1820270 cpu_core_0 "7.8431372549019605".
- 1821860 cpu_core_0 "7.8431372549019605".
- 1821909 cpu_core_0 "7.8431372549019605".
- 1823308 cpu_core_0 "7.8431372549019605".
- 1823487 cpu_core_0 "7.8431372549019605".
- 1824172 cpu_core_0 "7.8431372549019605".
- 1830129 cpu_core_0 "7.8431372549019605".
- 1833054 cpu_core_0 "7.8431372549019605".
- 1834415 cpu_core_0 "7.8431372549019605".
- 1837788 cpu_core_0 "7.8431372549019605".
- 1839324 cpu_core_0 "7.8431372549019605".
- 1840544 cpu_core_0 "7.8431372549019605".
- 1840833 cpu_core_0 "7.8431372549019605".
- 1841046 cpu_core_0 "7.8431372549019605".
- 1841436 cpu_core_0 "7.8431372549019605".
- 1844332 cpu_core_0 "7.8431372549019605".
- 1848326 cpu_core_0 "7.8431372549019605".
- 1848527 cpu_core_0 "7.8431372549019605".
- 1848533 cpu_core_0 "7.8431372549019605".
- 1850262 cpu_core_0 "7.8431372549019605".
- 1851345 cpu_core_0 "7.8431372549019605".