Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1681448 cpu_core_0 "23.762376237623762".
- 1682212 cpu_core_0 "23.762376237623762".
- 1682417 cpu_core_0 "23.762376237623762".
- 1682793 cpu_core_0 "23.762376237623762".
- 1684116 cpu_core_0 "23.762376237623762".
- 1684272 cpu_core_0 "23.762376237623762".
- 1684835 cpu_core_0 "23.762376237623762".
- 1685410 cpu_core_0 "23.762376237623762".
- 1685415 cpu_core_0 "23.762376237623762".
- 1686002 cpu_core_0 "23.762376237623762".
- 1686048 cpu_core_0 "23.762376237623762".
- 1686494 cpu_core_0 "23.762376237623762".
- 1687150 cpu_core_0 "23.762376237623762".
- 1687230 cpu_core_0 "23.762376237623762".
- 1687972 cpu_core_0 "23.762376237623762".
- 1689344 cpu_core_0 "23.762376237623762".
- 1690251 cpu_core_0 "23.762376237623762".
- 1691544 cpu_core_0 "23.762376237623762".
- 1692371 cpu_core_0 "23.762376237623762".
- 1692387 cpu_core_0 "23.762376237623762".
- 1692853 cpu_core_0 "23.762376237623762".
- 1693183 cpu_core_0 "23.762376237623762".
- 1693200 cpu_core_0 "23.762376237623762".
- 1698499 cpu_core_0 "23.762376237623762".
- 1698555 cpu_core_0 "23.762376237623762".
- 1698609 cpu_core_0 "23.762376237623762".
- 1698678 cpu_core_0 "23.762376237623762".
- 1698715 cpu_core_0 "23.762376237623762".
- 1698953 cpu_core_0 "23.762376237623762".
- 1699965 cpu_core_0 "23.762376237623762".
- 1700288 cpu_core_0 "23.762376237623762".
- 1701209 cpu_core_0 "23.762376237623762".
- 1701372 cpu_core_0 "23.762376237623762".
- 1701592 cpu_core_0 "23.762376237623762".
- 1703888 cpu_core_0 "23.762376237623762".
- 1704318 cpu_core_0 "23.762376237623762".
- 1704722 cpu_core_0 "23.762376237623762".
- 1704844 cpu_core_0 "23.762376237623762".
- 1705008 cpu_core_0 "23.762376237623762".
- 1705010 cpu_core_0 "23.762376237623762".
- 1705624 cpu_core_0 "23.762376237623762".
- 1705758 cpu_core_0 "23.762376237623762".
- 1707026 cpu_core_0 "23.762376237623762".
- 1708902 cpu_core_0 "23.762376237623762".
- 1709351 cpu_core_0 "23.762376237623762".
- 1709600 cpu_core_0 "23.762376237623762".
- 1709748 cpu_core_0 "23.762376237623762".
- 1709766 cpu_core_0 "23.762376237623762".
- 1710103 cpu_core_0 "23.762376237623762".
- 1710150 cpu_core_0 "23.762376237623762".
- 1710556 cpu_core_0 "23.762376237623762".
- 1719803 cpu_core_0 "23.762376237623762".
- 1720114 cpu_core_0 "23.762376237623762".
- 1725820 cpu_core_0 "23.762376237623762".
- 1725936 cpu_core_0 "23.762376237623762".
- 1735737 cpu_core_0 "23.762376237623762".
- 1736758 cpu_core_0 "23.762376237623762".
- 1737497 cpu_core_0 "23.762376237623762".
- 1738794 cpu_core_0 "23.762376237623762".
- 1739058 cpu_core_0 "23.762376237623762".
- 1739101 cpu_core_0 "23.762376237623762".
- 1744996 cpu_core_0 "23.762376237623762".
- 1745054 cpu_core_0 "23.762376237623762".
- 1750820 cpu_core_0 "23.762376237623762".
- 1751050 cpu_core_0 "23.762376237623762".
- 1762231 cpu_core_0 "23.762376237623762".
- 1762259 cpu_core_0 "23.762376237623762".
- 1767922 cpu_core_0 "23.762376237623762".
- 1768105 cpu_core_0 "23.762376237623762".
- 1773941 cpu_core_0 "23.762376237623762".
- 1779674 cpu_core_0 "23.762376237623762".
- 1781647 cpu_core_0 "23.762376237623762".
- 1782383 cpu_core_0 "23.762376237623762".
- 1785121 cpu_core_0 "23.762376237623762".
- 1785209 cpu_core_0 "23.762376237623762".
- 1787546 cpu_core_0 "23.762376237623762".
- 1788242 cpu_core_0 "23.762376237623762".
- 1789002 cpu_core_0 "23.762376237623762".
- 1789864 cpu_core_0 "23.762376237623762".
- 1790947 cpu_core_0 "23.762376237623762".
- 1790952 cpu_core_0 "23.762376237623762".
- 1790991 cpu_core_0 "23.762376237623762".
- 1793558 cpu_core_0 "23.762376237623762".
- 1800311 cpu_core_0 "23.762376237623762".
- 1802437 cpu_core_0 "23.762376237623762".
- 1802891 cpu_core_0 "23.762376237623762".
- 1802926 cpu_core_0 "23.762376237623762".
- 1810381 cpu_core_0 "23.762376237623762".
- 1811034 cpu_core_0 "23.762376237623762".
- 1822177 cpu_core_0 "23.762376237623762".
- 1822270 cpu_core_0 "23.762376237623762".
- 1827262 cpu_core_0 "23.762376237623762".
- 1828220 cpu_core_0 "23.762376237623762".
- 1828242 cpu_core_0 "23.762376237623762".
- 1828657 cpu_core_0 "23.762376237623762".
- 1829197 cpu_core_0 "23.762376237623762".
- 1834821 cpu_core_0 "23.762376237623762".
- 1837103 cpu_core_0 "23.762376237623762".
- 1840015 cpu_core_0 "23.762376237623762".
- 1840231 cpu_core_0 "23.762376237623762".