Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 1672015 cpu_core_0 "23.762376237623766".
- 1675017 cpu_core_0 "23.762376237623766".
- 1675753 cpu_core_0 "23.762376237623766".
- 1676280 cpu_core_0 "23.762376237623766".
- 1678072 cpu_core_0 "23.762376237623766".
- 1678141 cpu_core_0 "23.762376237623766".
- 1678822 cpu_core_0 "23.762376237623766".
- 1678877 cpu_core_0 "23.762376237623766".
- 1679858 cpu_core_0 "23.762376237623766".
- 1680375 cpu_core_0 "23.762376237623766".
- 1680884 cpu_core_0 "23.762376237623766".
- 1681706 cpu_core_0 "23.762376237623766".
- 1683329 cpu_core_0 "23.762376237623766".
- 1684438 cpu_core_0 "23.762376237623766".
- 1685377 cpu_core_0 "23.762376237623766".
- 1685427 cpu_core_0 "23.762376237623766".
- 1685939 cpu_core_0 "23.762376237623766".
- 1686704 cpu_core_0 "23.762376237623766".
- 1686734 cpu_core_0 "23.762376237623766".
- 1687036 cpu_core_0 "23.762376237623766".
- 1687344 cpu_core_0 "23.762376237623766".
- 1687930 cpu_core_0 "23.762376237623766".
- 1687943 cpu_core_0 "23.762376237623766".
- 1688388 cpu_core_0 "23.762376237623766".
- 1688446 cpu_core_0 "23.762376237623766".
- 1690120 cpu_core_0 "23.762376237623766".
- 1690213 cpu_core_0 "23.762376237623766".
- 1690534 cpu_core_0 "23.762376237623766".
- 1691239 cpu_core_0 "23.762376237623766".
- 1692794 cpu_core_0 "23.762376237623766".
- 1696439 cpu_core_0 "23.762376237623766".
- 1697704 cpu_core_0 "23.762376237623766".
- 1697707 cpu_core_0 "23.762376237623766".
- 1698032 cpu_core_0 "23.762376237623766".
- 1698528 cpu_core_0 "23.762376237623766".
- 1698697 cpu_core_0 "23.762376237623766".
- 1699655 cpu_core_0 "23.762376237623766".
- 1700696 cpu_core_0 "23.762376237623766".
- 1702071 cpu_core_0 "23.762376237623766".
- 1702471 cpu_core_0 "23.762376237623766".
- 1703087 cpu_core_0 "23.762376237623766".
- 1704020 cpu_core_0 "23.762376237623766".
- 1704305 cpu_core_0 "23.762376237623766".
- 1704726 cpu_core_0 "23.762376237623766".
- 1705158 cpu_core_0 "23.762376237623766".
- 1706084 cpu_core_0 "23.762376237623766".
- 1706674 cpu_core_0 "23.762376237623766".
- 1706720 cpu_core_0 "23.762376237623766".
- 1707420 cpu_core_0 "23.762376237623766".
- 1707715 cpu_core_0 "23.762376237623766".
- 1707757 cpu_core_0 "23.762376237623766".
- 1708532 cpu_core_0 "23.762376237623766".
- 1708988 cpu_core_0 "23.762376237623766".
- 1720011 cpu_core_0 "23.762376237623766".
- 1722537 cpu_core_0 "23.762376237623766".
- 1724638 cpu_core_0 "23.762376237623766".
- 1730510 cpu_core_0 "23.762376237623766".
- 1731510 cpu_core_0 "23.762376237623766".
- 1731857 cpu_core_0 "23.762376237623766".
- 1734909 cpu_core_0 "23.762376237623766".
- 1739443 cpu_core_0 "23.762376237623766".
- 1742460 cpu_core_0 "23.762376237623766".
- 1744084 cpu_core_0 "23.762376237623766".
- 1745468 cpu_core_0 "23.762376237623766".
- 1750912 cpu_core_0 "23.762376237623766".
- 1751032 cpu_core_0 "23.762376237623766".
- 1751788 cpu_core_0 "23.762376237623766".
- 1753973 cpu_core_0 "23.762376237623766".
- 1755751 cpu_core_0 "23.762376237623766".
- 1758949 cpu_core_0 "23.762376237623766".
- 1761543 cpu_core_0 "23.762376237623766".
- 1762992 cpu_core_0 "23.762376237623766".
- 1765936 cpu_core_0 "23.762376237623766".
- 1767557 cpu_core_0 "23.762376237623766".
- 1767559 cpu_core_0 "23.762376237623766".
- 1768657 cpu_core_0 "23.762376237623766".
- 1770352 cpu_core_0 "23.762376237623766".
- 1777477 cpu_core_0 "23.762376237623766".
- 1778393 cpu_core_0 "23.762376237623766".
- 1781009 cpu_core_0 "23.762376237623766".
- 1783151 cpu_core_0 "23.762376237623766".
- 1784579 cpu_core_0 "23.762376237623766".
- 1787312 cpu_core_0 "23.762376237623766".
- 1789111 cpu_core_0 "23.762376237623766".
- 1790663 cpu_core_0 "23.762376237623766".
- 1793450 cpu_core_0 "23.762376237623766".
- 1793478 cpu_core_0 "23.762376237623766".
- 1796506 cpu_core_0 "23.762376237623766".
- 1798925 cpu_core_0 "23.762376237623766".
- 1799446 cpu_core_0 "23.762376237623766".
- 1806782 cpu_core_0 "23.762376237623766".
- 1809601 cpu_core_0 "23.762376237623766".
- 1810784 cpu_core_0 "23.762376237623766".
- 1811973 cpu_core_0 "23.762376237623766".
- 1812250 cpu_core_0 "23.762376237623766".
- 1813831 cpu_core_0 "23.762376237623766".
- 1814533 cpu_core_0 "23.762376237623766".
- 1821309 cpu_core_0 "23.762376237623766".
- 1823097 cpu_core_0 "23.762376237623766".
- 1828485 cpu_core_0 "23.762376237623766".