Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1818069 cpu_core_0 "14.285714285714285".
- 1818235 cpu_core_0 "14.285714285714285".
- 1818239 cpu_core_0 "14.285714285714285".
- 1818318 cpu_core_0 "14.285714285714285".
- 1818575 cpu_core_0 "14.285714285714285".
- 1818582 cpu_core_0 "14.285714285714285".
- 1818592 cpu_core_0 "14.285714285714285".
- 1818633 cpu_core_0 "14.285714285714285".
- 1818662 cpu_core_0 "14.285714285714285".
- 1818800 cpu_core_0 "14.285714285714285".
- 1818824 cpu_core_0 "14.285714285714285".
- 1818873 cpu_core_0 "14.285714285714285".
- 1819121 cpu_core_0 "14.285714285714285".
- 1819131 cpu_core_0 "14.285714285714285".
- 1819359 cpu_core_0 "14.285714285714285".
- 1819478 cpu_core_0 "14.285714285714285".
- 1819608 cpu_core_0 "14.285714285714285".
- 1819640 cpu_core_0 "14.285714285714285".
- 1819731 cpu_core_0 "14.285714285714285".
- 1819755 cpu_core_0 "14.285714285714285".
- 1819906 cpu_core_0 "14.285714285714285".
- 1819910 cpu_core_0 "14.285714285714285".
- 1820361 cpu_core_0 "14.285714285714285".
- 1820681 cpu_core_0 "14.285714285714285".
- 1820773 cpu_core_0 "14.285714285714285".
- 1821100 cpu_core_0 "14.285714285714285".
- 1821821 cpu_core_0 "14.285714285714285".
- 1821834 cpu_core_0 "14.285714285714285".
- 1821903 cpu_core_0 "14.285714285714285".
- 1821917 cpu_core_0 "14.285714285714285".
- 1822176 cpu_core_0 "14.285714285714285".
- 1822500 cpu_core_0 "14.285714285714285".
- 1822571 cpu_core_0 "14.285714285714285".
- 1822727 cpu_core_0 "14.285714285714285".
- 1822838 cpu_core_0 "14.285714285714285".
- 1822936 cpu_core_0 "14.285714285714285".
- 1823540 cpu_core_0 "14.285714285714285".
- 1824030 cpu_core_0 "14.285714285714285".
- 1824173 cpu_core_0 "14.285714285714285".
- 1824325 cpu_core_0 "14.285714285714285".
- 1824383 cpu_core_0 "14.285714285714285".
- 1825168 cpu_core_0 "14.285714285714285".
- 1825252 cpu_core_0 "14.285714285714285".
- 1825576 cpu_core_0 "14.285714285714285".
- 1825616 cpu_core_0 "14.285714285714285".
- 1825678 cpu_core_0 "14.285714285714285".
- 1826104 cpu_core_0 "14.285714285714285".
- 1826189 cpu_core_0 "14.285714285714285".
- 1827148 cpu_core_0 "14.285714285714285".
- 1827503 cpu_core_0 "14.285714285714285".
- 1827755 cpu_core_0 "14.285714285714285".
- 1827988 cpu_core_0 "14.285714285714285".
- 1828100 cpu_core_0 "14.285714285714285".
- 1828155 cpu_core_0 "14.285714285714285".
- 1828819 cpu_core_0 "14.285714285714285".
- 1828951 cpu_core_0 "14.285714285714285".
- 1829432 cpu_core_0 "14.285714285714285".
- 1829513 cpu_core_0 "14.285714285714285".
- 1829578 cpu_core_0 "14.285714285714285".
- 1829760 cpu_core_0 "14.285714285714285".
- 1830336 cpu_core_0 "14.285714285714285".
- 1830375 cpu_core_0 "14.285714285714285".
- 1830385 cpu_core_0 "14.285714285714285".
- 1830465 cpu_core_0 "14.285714285714285".
- 1830586 cpu_core_0 "14.285714285714285".
- 1830652 cpu_core_0 "14.285714285714285".
- 1830726 cpu_core_0 "14.285714285714285".
- 1831111 cpu_core_0 "14.285714285714285".
- 1831191 cpu_core_0 "14.285714285714285".
- 1831307 cpu_core_0 "14.285714285714285".
- 1831487 cpu_core_0 "14.285714285714285".
- 1831566 cpu_core_0 "14.285714285714285".
- 1831606 cpu_core_0 "14.285714285714285".
- 1831775 cpu_core_0 "14.285714285714285".
- 1831942 cpu_core_0 "14.285714285714285".
- 1832263 cpu_core_0 "14.285714285714285".
- 1832280 cpu_core_0 "14.285714285714285".
- 1832640 cpu_core_0 "14.285714285714285".
- 1832778 cpu_core_0 "14.285714285714285".
- 1833021 cpu_core_0 "14.285714285714285".
- 1833229 cpu_core_0 "14.285714285714285".
- 1833754 cpu_core_0 "14.285714285714285".
- 1834598 cpu_core_0 "14.285714285714285".
- 1834672 cpu_core_0 "14.285714285714285".
- 1834801 cpu_core_0 "14.285714285714285".
- 1835393 cpu_core_0 "14.285714285714285".
- 1835906 cpu_core_0 "14.285714285714285".
- 1835918 cpu_core_0 "14.285714285714285".
- 1836348 cpu_core_0 "14.285714285714285".
- 1836392 cpu_core_0 "14.285714285714285".
- 1836542 cpu_core_0 "14.285714285714285".
- 1836759 cpu_core_0 "14.285714285714285".
- 1836773 cpu_core_0 "14.285714285714285".
- 1836949 cpu_core_0 "14.285714285714285".
- 1837045 cpu_core_0 "14.285714285714285".
- 1837075 cpu_core_0 "14.285714285714285".
- 1837095 cpu_core_0 "14.285714285714285".
- 1837260 cpu_core_0 "14.285714285714285".
- 1837702 cpu_core_0 "14.285714285714285".
- 1837866 cpu_core_0 "14.285714285714285".