Matches in ISWC2014 Benchmark for { ?s ?p 7.142857142857142. }
- 1774860 cpu_core_0 "7.142857142857142".
- 1775601 cpu_core_0 "7.142857142857142".
- 1776795 cpu_core_0 "7.142857142857142".
- 1777284 cpu_core_0 "7.142857142857142".
- 1777360 cpu_core_0 "7.142857142857142".
- 1777723 cpu_core_0 "7.142857142857142".
- 1778715 cpu_core_0 "7.142857142857142".
- 1780493 cpu_core_0 "7.142857142857142".
- 1780844 cpu_core_0 "7.142857142857142".
- 1781467 cpu_core_0 "7.142857142857142".
- 1782051 cpu_core_0 "7.142857142857142".
- 1782428 cpu_core_0 "7.142857142857142".
- 1782611 cpu_core_0 "7.142857142857142".
- 1782892 cpu_core_0 "7.142857142857142".
- 1782983 cpu_core_0 "7.142857142857142".
- 1783683 cpu_core_0 "7.142857142857142".
- 1785757 cpu_core_0 "7.142857142857142".
- 1786943 cpu_core_0 "7.142857142857142".
- 1789541 cpu_core_0 "7.142857142857142".
- 1790050 cpu_core_0 "7.142857142857142".
- 1790502 cpu_core_0 "7.142857142857142".
- 1791400 cpu_core_0 "7.142857142857142".
- 1792057 cpu_core_0 "7.142857142857142".
- 1793010 cpu_core_0 "7.142857142857142".
- 1793370 cpu_core_0 "7.142857142857142".
- 1793456 cpu_core_0 "7.142857142857142".
- 1794710 cpu_core_0 "7.142857142857142".
- 1796218 cpu_core_0 "7.142857142857142".
- 1796407 cpu_core_0 "7.142857142857142".
- 1796723 cpu_core_0 "7.142857142857142".
- 1797950 cpu_core_0 "7.142857142857142".
- 1798318 cpu_core_0 "7.142857142857142".
- 1798594 cpu_core_0 "7.142857142857142".
- 1799687 cpu_core_0 "7.142857142857142".
- 1799777 cpu_core_0 "7.142857142857142".
- 1799814 cpu_core_0 "7.142857142857142".
- 1799958 cpu_core_0 "7.142857142857142".
- 1800299 cpu_core_0 "7.142857142857142".
- 1800364 cpu_core_0 "7.142857142857142".
- 1800382 cpu_core_0 "7.142857142857142".
- 1801397 cpu_core_0 "7.142857142857142".
- 1801857 cpu_core_0 "7.142857142857142".
- 1802172 cpu_core_0 "7.142857142857142".
- 1802246 cpu_core_0 "7.142857142857142".
- 1804294 cpu_core_0 "7.142857142857142".
- 1804455 cpu_core_0 "7.142857142857142".
- 1805320 cpu_core_0 "7.142857142857142".
- 1805380 cpu_core_0 "7.142857142857142".
- 1806583 cpu_core_0 "7.142857142857142".
- 1806891 cpu_core_0 "7.142857142857142".
- 1807013 cpu_core_0 "7.142857142857142".
- 1807423 cpu_core_0 "7.142857142857142".
- 1807674 cpu_core_0 "7.142857142857142".
- 1810558 cpu_core_0 "7.142857142857142".
- 1811001 cpu_core_0 "7.142857142857142".
- 1812781 cpu_core_0 "7.142857142857142".
- 1813217 cpu_core_0 "7.142857142857142".
- 1814201 cpu_core_0 "7.142857142857142".
- 1814654 cpu_core_0 "7.142857142857142".
- 1815639 cpu_core_0 "7.142857142857142".
- 1816838 cpu_core_0 "7.142857142857142".
- 1817490 cpu_core_0 "7.142857142857142".
- 1817576 cpu_core_0 "7.142857142857142".
- 1817595 cpu_core_0 "7.142857142857142".
- 1817783 cpu_core_0 "7.142857142857142".
- 1818184 cpu_core_0 "7.142857142857142".
- 1819156 cpu_core_0 "7.142857142857142".
- 1821201 cpu_core_0 "7.142857142857142".
- 1821448 cpu_core_0 "7.142857142857142".
- 1822717 cpu_core_0 "7.142857142857142".
- 1823484 cpu_core_0 "7.142857142857142".
- 1825118 cpu_core_0 "7.142857142857142".
- 1825149 cpu_core_0 "7.142857142857142".
- 1826460 cpu_core_0 "7.142857142857142".
- 1826894 cpu_core_0 "7.142857142857142".
- 1826942 cpu_core_0 "7.142857142857142".
- 1827474 cpu_core_0 "7.142857142857142".
- 1827653 cpu_core_0 "7.142857142857142".
- 1829102 cpu_core_0 "7.142857142857142".
- 1829883 cpu_core_0 "7.142857142857142".
- 1830137 cpu_core_0 "7.142857142857142".
- 1830515 cpu_core_0 "7.142857142857142".
- 1831054 cpu_core_0 "7.142857142857142".
- 1831529 cpu_core_0 "7.142857142857142".
- 1831801 cpu_core_0 "7.142857142857142".
- 1831868 cpu_core_0 "7.142857142857142".
- 1832878 cpu_core_0 "7.142857142857142".
- 1832918 cpu_core_0 "7.142857142857142".
- 1833036 cpu_core_0 "7.142857142857142".
- 1833128 cpu_core_0 "7.142857142857142".
- 1833576 cpu_core_0 "7.142857142857142".
- 1834157 cpu_core_0 "7.142857142857142".
- 1834537 cpu_core_0 "7.142857142857142".
- 1836001 cpu_core_0 "7.142857142857142".
- 1839298 cpu_core_0 "7.142857142857142".
- 1840139 cpu_core_0 "7.142857142857142".
- 1841423 cpu_core_0 "7.142857142857142".
- 1841580 cpu_core_0 "7.142857142857142".
- 1841687 cpu_core_0 "7.142857142857142".
- 1841729 cpu_core_0 "7.142857142857142".