Matches in ISWC2014 Benchmark for { ?s ?p 13.541666666666666. }
- 1012916 cpu_core_0 "13.541666666666666".
- 1215256 cpu_core_0 "13.541666666666666".
- 1215400 cpu_core_0 "13.541666666666666".
- 1215794 cpu_core_0 "13.541666666666666".
- 1216303 cpu_core_0 "13.541666666666666".
- 1217751 cpu_core_0 "13.541666666666666".
- 1218407 cpu_core_0 "13.541666666666666".
- 1218714 cpu_core_0 "13.541666666666666".
- 1218808 cpu_core_0 "13.541666666666666".
- 1218817 cpu_core_0 "13.541666666666666".
- 1218987 cpu_core_0 "13.541666666666666".
- 1219470 cpu_core_0 "13.541666666666666".
- 1236345 cpu_core_0 "13.541666666666666".
- 1236990 cpu_core_0 "13.541666666666666".
- 1237021 cpu_core_0 "13.541666666666666".
- 1407724 cpu_core_0 "13.541666666666666".
- 1408082 cpu_core_0 "13.541666666666666".
- 1408163 cpu_core_0 "13.541666666666666".
- 1408219 cpu_core_0 "13.541666666666666".
- 1408423 cpu_core_0 "13.541666666666666".
- 1408611 cpu_core_0 "13.541666666666666".
- 1409078 cpu_core_0 "13.541666666666666".
- 1409380 cpu_core_0 "13.541666666666666".
- 1409982 cpu_core_0 "13.541666666666666".
- 1410687 cpu_core_0 "13.541666666666666".
- 1410703 cpu_core_0 "13.541666666666666".
- 1410847 cpu_core_0 "13.541666666666666".
- 1412102 cpu_core_0 "13.541666666666666".
- 1412321 cpu_core_0 "13.541666666666666".
- 1412510 cpu_core_0 "13.541666666666666".
- 1413231 cpu_core_0 "13.541666666666666".
- 1413476 cpu_core_0 "13.541666666666666".
- 1413947 cpu_core_0 "13.541666666666666".
- 1647276 cpu_core_0 "13.541666666666666".
- 1648063 cpu_core_0 "13.541666666666666".
- 1671007 cpu_core_0 "13.541666666666666".
- 1671455 cpu_core_0 "13.541666666666666".
- 1673603 cpu_core_0 "13.541666666666666".
- 1673957 cpu_core_0 "13.541666666666666".
- 1674404 cpu_core_0 "13.541666666666666".
- 1674694 cpu_core_0 "13.541666666666666".
- 1674842 cpu_core_0 "13.541666666666666".
- 1694353 cpu_core_0 "13.541666666666666".
- 1694374 cpu_core_0 "13.541666666666666".
- 1694378 cpu_core_0 "13.541666666666666".
- 1694390 cpu_core_0 "13.541666666666666".
- 1694403 cpu_core_0 "13.541666666666666".
- 1694927 cpu_core_0 "13.541666666666666".
- 1711458 cpu_core_0 "13.541666666666666".
- 1711460 cpu_core_0 "13.541666666666666".
- 1711461 cpu_core_0 "13.541666666666666".
- 1711705 cpu_core_0 "13.541666666666666".
- 1712110 cpu_core_0 "13.541666666666666".
- 1920605 cpu_core_0 "13.541666666666666".
- 1921225 cpu_core_0 "13.541666666666666".
- 1921830 cpu_core_0 "13.541666666666666".
- 1921956 cpu_core_0 "13.541666666666666".
- 1921992 cpu_core_0 "13.541666666666666".
- 1922179 cpu_core_0 "13.541666666666666".
- 1922194 cpu_core_0 "13.541666666666666".
- 1922429 cpu_core_0 "13.541666666666666".
- 1922474 cpu_core_0 "13.541666666666666".
- 1922740 cpu_core_0 "13.541666666666666".
- 1923020 cpu_core_0 "13.541666666666666".
- 1923217 cpu_core_0 "13.541666666666666".
- 1923530 cpu_core_0 "13.541666666666666".
- 1923660 cpu_core_0 "13.541666666666666".
- 1923703 cpu_core_0 "13.541666666666666".
- 1923924 cpu_core_0 "13.541666666666666".
- 1923936 cpu_core_0 "13.541666666666666".
- 1924107 cpu_core_0 "13.541666666666666".
- 1924227 cpu_core_0 "13.541666666666666".
- 1924271 cpu_core_0 "13.541666666666666".
- 1924409 cpu_core_0 "13.541666666666666".
- 1924698 cpu_core_0 "13.541666666666666".
- 1925011 cpu_core_0 "13.541666666666666".
- 1925129 cpu_core_0 "13.541666666666666".
- 1925130 cpu_core_0 "13.541666666666666".
- 1925145 cpu_core_0 "13.541666666666666".
- 1925326 cpu_core_0 "13.541666666666666".
- 1925795 cpu_core_0 "13.541666666666666".
- 1925916 cpu_core_0 "13.541666666666666".
- 1925984 cpu_core_0 "13.541666666666666".
- 1926424 cpu_core_0 "13.541666666666666".
- 1926553 cpu_core_0 "13.541666666666666".
- 1926561 cpu_core_0 "13.541666666666666".
- 1926700 cpu_core_0 "13.541666666666666".
- 1926715 cpu_core_0 "13.541666666666666".
- 1926792 cpu_core_0 "13.541666666666666".
- 1926906 cpu_core_0 "13.541666666666666".
- 1926939 cpu_core_0 "13.541666666666666".
- 1927091 cpu_core_0 "13.541666666666666".
- 1927629 cpu_core_0 "13.541666666666666".
- 218671 cpu_core_0 "13.541666666666666".
- 218755 cpu_core_0 "13.541666666666666".
- 222695 cpu_core_0 "13.541666666666666".
- 240486 cpu_core_0 "13.541666666666666".
- 260651 cpu_core_0 "13.541666666666666".
- 260664 cpu_core_0 "13.541666666666666".
- 260766 cpu_core_0 "13.541666666666666".