Matches in ISWC2014 Benchmark for { ?s ?p 14.285714285714285. }
- 1838395 cpu_core_0 "14.285714285714285".
- 1838514 cpu_core_0 "14.285714285714285".
- 1838555 cpu_core_0 "14.285714285714285".
- 1838600 cpu_core_0 "14.285714285714285".
- 1838809 cpu_core_0 "14.285714285714285".
- 1839036 cpu_core_0 "14.285714285714285".
- 1839045 cpu_core_0 "14.285714285714285".
- 1839321 cpu_core_0 "14.285714285714285".
- 1839383 cpu_core_0 "14.285714285714285".
- 1839533 cpu_core_0 "14.285714285714285".
- 1839614 cpu_core_0 "14.285714285714285".
- 1839718 cpu_core_0 "14.285714285714285".
- 1839906 cpu_core_0 "14.285714285714285".
- 1839932 cpu_core_0 "14.285714285714285".
- 1840100 cpu_core_0 "14.285714285714285".
- 1840284 cpu_core_0 "14.285714285714285".
- 1840581 cpu_core_0 "14.285714285714285".
- 1840703 cpu_core_0 "14.285714285714285".
- 1840914 cpu_core_0 "14.285714285714285".
- 1840929 cpu_core_0 "14.285714285714285".
- 1841605 cpu_core_0 "14.285714285714285".
- 1841675 cpu_core_0 "14.285714285714285".
- 1841958 cpu_core_0 "14.285714285714285".
- 1841989 cpu_core_0 "14.285714285714285".
- 1842131 cpu_core_0 "14.285714285714285".
- 1842283 cpu_core_0 "14.285714285714285".
- 1842489 cpu_core_0 "14.285714285714285".
- 1842714 cpu_core_0 "14.285714285714285".
- 1842811 cpu_core_0 "14.285714285714285".
- 1842830 cpu_core_0 "14.285714285714285".
- 1842991 cpu_core_0 "14.285714285714285".
- 1843292 cpu_core_0 "14.285714285714285".
- 1843722 cpu_core_0 "14.285714285714285".
- 1844947 cpu_core_0 "14.285714285714285".
- 1845062 cpu_core_0 "14.285714285714285".
- 1845264 cpu_core_0 "14.285714285714285".
- 1845290 cpu_core_0 "14.285714285714285".
- 1845312 cpu_core_0 "14.285714285714285".
- 1845369 cpu_core_0 "14.285714285714285".
- 1845510 cpu_core_0 "14.285714285714285".
- 1845641 cpu_core_0 "14.285714285714285".
- 1845644 cpu_core_0 "14.285714285714285".
- 1845714 cpu_core_0 "14.285714285714285".
- 1845886 cpu_core_0 "14.285714285714285".
- 1847026 cpu_core_0 "14.285714285714285".
- 1847205 cpu_core_0 "14.285714285714285".
- 1847690 cpu_core_0 "14.285714285714285".
- 1847988 cpu_core_0 "14.285714285714285".
- 1848075 cpu_core_0 "14.285714285714285".
- 1848090 cpu_core_0 "14.285714285714285".
- 1848325 cpu_core_0 "14.285714285714285".
- 1848397 cpu_core_0 "14.285714285714285".
- 1848550 cpu_core_0 "14.285714285714285".
- 1848675 cpu_core_0 "14.285714285714285".
- 1848930 cpu_core_0 "14.285714285714285".
- 1849031 cpu_core_0 "14.285714285714285".
- 1849043 cpu_core_0 "14.285714285714285".
- 1849173 cpu_core_0 "14.285714285714285".
- 1849748 cpu_core_0 "14.285714285714285".
- 1850059 cpu_core_0 "14.285714285714285".
- 1850263 cpu_core_0 "14.285714285714285".
- 1850373 cpu_core_0 "14.285714285714285".
- 1850831 cpu_core_0 "14.285714285714285".
- 1851073 cpu_core_0 "14.285714285714285".
- 1851299 cpu_core_0 "14.285714285714285".
- 1851430 cpu_core_0 "14.285714285714285".
- 1851717 cpu_core_0 "14.285714285714285".
- 1851837 cpu_core_0 "14.285714285714285".
- 1852798 cpu_core_0 "14.285714285714285".
- 1852905 cpu_core_0 "14.285714285714285".
- 1852925 cpu_core_0 "14.285714285714285".
- 1852935 cpu_core_0 "14.285714285714285".
- 1853108 cpu_core_0 "14.285714285714285".
- 1853313 cpu_core_0 "14.285714285714285".
- 1853391 cpu_core_0 "14.285714285714285".
- 1853403 cpu_core_0 "14.285714285714285".
- 1853406 cpu_core_0 "14.285714285714285".
- 1853697 cpu_core_0 "14.285714285714285".
- 1853754 cpu_core_0 "14.285714285714285".
- 1853763 cpu_core_0 "14.285714285714285".
- 1854002 cpu_core_0 "14.285714285714285".
- 1854176 cpu_core_0 "14.285714285714285".
- 1854388 cpu_core_0 "14.285714285714285".
- 1854909 cpu_core_0 "14.285714285714285".
- 1854921 cpu_core_0 "14.285714285714285".
- 1855159 cpu_core_0 "14.285714285714285".
- 1855673 cpu_core_0 "14.285714285714285".
- 1855698 cpu_core_0 "14.285714285714285".
- 1855727 cpu_core_0 "14.285714285714285".
- 1855754 cpu_core_0 "14.285714285714285".
- 1855803 cpu_core_0 "14.285714285714285".
- 1856213 cpu_core_0 "14.285714285714285".
- 1856238 cpu_core_0 "14.285714285714285".
- 1856345 cpu_core_0 "14.285714285714285".
- 1856546 cpu_core_0 "14.285714285714285".
- 1856673 cpu_core_0 "14.285714285714285".
- 1856843 cpu_core_0 "14.285714285714285".
- 1857135 cpu_core_0 "14.285714285714285".
- 1857277 cpu_core_0 "14.285714285714285".
- 1857325 cpu_core_0 "14.285714285714285".