Matches in ISWC2014 Benchmark for { ?s ?p 9.375. }
- 1694479 cpu_core_0 "9.375".
- 1711657 cpu_core_0 "9.375".
- 1711958 cpu_core_0 "9.375".
- 1920923 cpu_core_0 "9.375".
- 1920967 cpu_core_0 "9.375".
- 1920980 cpu_core_0 "9.375".
- 1921040 cpu_core_0 "9.375".
- 1921396 cpu_core_0 "9.375".
- 1921409 cpu_core_0 "9.375".
- 1921443 cpu_core_0 "9.375".
- 1921582 cpu_core_0 "9.375".
- 1921588 cpu_core_0 "9.375".
- 1921804 cpu_core_0 "9.375".
- 1921890 cpu_core_0 "9.375".
- 1921964 cpu_core_0 "9.375".
- 1921979 cpu_core_0 "9.375".
- 1922204 cpu_core_0 "9.375".
- 1922226 cpu_core_0 "9.375".
- 1922256 cpu_core_0 "9.375".
- 1922445 cpu_core_0 "9.375".
- 1922489 cpu_core_0 "9.375".
- 1922840 cpu_core_0 "9.375".
- 1922961 cpu_core_0 "9.375".
- 1923184 cpu_core_0 "9.375".
- 1923651 cpu_core_0 "9.375".
- 1923783 cpu_core_0 "9.375".
- 1924352 cpu_core_0 "9.375".
- 1924531 cpu_core_0 "9.375".
- 1924788 cpu_core_0 "9.375".
- 1924981 cpu_core_0 "9.375".
- 1925100 cpu_core_0 "9.375".
- 1925699 cpu_core_0 "9.375".
- 1925711 cpu_core_0 "9.375".
- 1925954 cpu_core_0 "9.375".
- 1927353 cpu_core_0 "9.375".
- 218721 cpu_core_0 "9.375".
- 222626 cpu_core_0 "9.375".
- 222635 cpu_core_0 "9.375".
- 222637 cpu_core_0 "9.375".
- 222657 cpu_core_0 "9.375".
- 222733 cpu_core_0 "9.375".
- 248053 cpu_core_0 "9.375".
- 248074 cpu_core_0 "9.375".
- 248083 cpu_core_0 "9.375".
- 248111 cpu_core_0 "9.375".
- 248113 cpu_core_0 "9.375".
- 260833 cpu_core_0 "9.375".
- 285879 cpu_core_0 "9.375".
- 287023 cpu_core_0 "9.375".
- 296061 cpu_core_0 "9.375".
- 406506 cpu_core_0 "9.375".
- 406623 cpu_core_0 "9.375".
- 516703 cpu_core_0 "9.375".
- 517007 cpu_core_0 "9.375".
- 517639 cpu_core_0 "9.375".
- 517653 cpu_core_0 "9.375".
- 517676 cpu_core_0 "9.375".
- 601032 cpu_core_0 "9.375".
- 601369 cpu_core_0 "9.375".
- 602220 cpu_core_0 "9.375".
- 702147 cpu_core_0 "9.375".
- 702150 cpu_core_0 "9.375".
- 702179 cpu_core_0 "9.375".
- 702187 cpu_core_0 "9.375".
- 702232 cpu_core_0 "9.375".
- 702358 cpu_core_0 "9.375".
- 702364 cpu_core_0 "9.375".
- 702385 cpu_core_0 "9.375".
- 702389 cpu_core_0 "9.375".
- 702399 cpu_core_0 "9.375".
- 702480 cpu_core_0 "9.375".
- 702720 cpu_core_0 "9.375".
- 796316 cpu_core_0 "9.375".
- 796662 cpu_core_0 "9.375".
- 905073 cpu_core_0 "9.375".
- 905247 cpu_core_0 "9.375".
- 909614 cpu_core_0 "9.375".
- 909844 cpu_core_0 "9.375".
- 910144 cpu_core_0 "9.375".
- 910151 cpu_core_0 "9.375".
- 910177 cpu_core_0 "9.375".
- 910179 cpu_core_0 "9.375".
- 993258 cpu_core_0 "9.375".
- 993931 cpu_core_0 "9.375".
- 994312 cpu_core_0 "9.375".
- 1011484 cpu_core_1 "9.375".
- 1011873 cpu_core_1 "9.375".
- 1011885 cpu_core_1 "9.375".
- 1011904 cpu_core_1 "9.375".
- 1012026 cpu_core_1 "9.375".
- 1012106 cpu_core_1 "9.375".
- 1012180 cpu_core_1 "9.375".
- 1012201 cpu_core_1 "9.375".
- 1012286 cpu_core_1 "9.375".
- 1012569 cpu_core_1 "9.375".
- 1012652 cpu_core_1 "9.375".
- 1012674 cpu_core_1 "9.375".
- 1012724 cpu_core_1 "9.375".
- 1013262 cpu_core_1 "9.375".
- 1013362 cpu_core_1 "9.375".