Matches in ISWC2014 Benchmark for { ?s ?p 9.375. }
- 1213508 cpu_core_1 "9.375".
- 1219556 cpu_core_1 "9.375".
- 1236983 cpu_core_1 "9.375".
- 1237015 cpu_core_1 "9.375".
- 1237059 cpu_core_1 "9.375".
- 1237061 cpu_core_1 "9.375".
- 1671379 cpu_core_1 "9.375".
- 1920689 cpu_core_1 "9.375".
- 1920726 cpu_core_1 "9.375".
- 218753 cpu_core_1 "9.375".
- 260746 cpu_core_1 "9.375".
- 363232 cpu_core_1 "9.375".
- 363470 cpu_core_1 "9.375".
- 364144 cpu_core_1 "9.375".
- 364218 cpu_core_1 "9.375".
- 402303 cpu_core_1 "9.375".
- 402334 cpu_core_1 "9.375".
- 402664 cpu_core_1 "9.375".
- 403308 cpu_core_1 "9.375".
- 404314 cpu_core_1 "9.375".
- 404359 cpu_core_1 "9.375".
- 516210 cpu_core_1 "9.375".
- 516924 cpu_core_1 "9.375".
- 600449 cpu_core_1 "9.375".
- 601151 cpu_core_1 "9.375".
- 658803 cpu_core_1 "9.375".
- 699722 cpu_core_1 "9.375".
- 699775 cpu_core_1 "9.375".
- 902716 cpu_core_1 "9.375".
- 903043 cpu_core_1 "9.375".
- 903926 cpu_core_1 "9.375".
- 909410 cpu_core_1 "9.375".
- 909927 cpu_core_1 "9.375".
- 1011488 cpu_core_2 "9.375".
- 1011577 cpu_core_2 "9.375".
- 1011689 cpu_core_2 "9.375".
- 1011734 cpu_core_2 "9.375".
- 1012152 cpu_core_2 "9.375".
- 1012213 cpu_core_2 "9.375".
- 1012243 cpu_core_2 "9.375".
- 1012324 cpu_core_2 "9.375".
- 1012363 cpu_core_2 "9.375".
- 1012398 cpu_core_2 "9.375".
- 1012708 cpu_core_2 "9.375".
- 1013061 cpu_core_2 "9.375".
- 1013139 cpu_core_2 "9.375".
- 1448888 cpu_core_2 "9.375".
- 1671224 cpu_core_2 "9.375".
- 1671225 cpu_core_2 "9.375".
- 1672011 cpu_core_2 "9.375".
- 222694 cpu_core_2 "9.375".
- 240499 cpu_core_2 "9.375".
- 240500 cpu_core_2 "9.375".
- 285684 cpu_core_2 "9.375".
- 363302 cpu_core_2 "9.375".
- 402216 cpu_core_2 "9.375".
- 402304 cpu_core_2 "9.375".
- 402329 cpu_core_2 "9.375".
- 403235 cpu_core_2 "9.375".
- 403471 cpu_core_2 "9.375".
- 403689 cpu_core_2 "9.375".
- 404005 cpu_core_2 "9.375".
- 404247 cpu_core_2 "9.375".
- 404262 cpu_core_2 "9.375".
- 516647 cpu_core_2 "9.375".
- 517144 cpu_core_2 "9.375".
- 522933 cpu_core_2 "9.375".
- 560578 cpu_core_2 "9.375".
- 568172 cpu_core_2 "9.375".
- 600109 cpu_core_2 "9.375".
- 698589 cpu_core_2 "9.375".
- 698596 cpu_core_2 "9.375".
- 698628 cpu_core_2 "9.375".
- 700191 cpu_core_2 "9.375".
- 700344 cpu_core_2 "9.375".
- 791948 cpu_core_2 "9.375".
- 792336 cpu_core_2 "9.375".
- 903022 cpu_core_2 "9.375".
- 904244 cpu_core_2 "9.375".
- 909310 cpu_core_2 "9.375".
- 909653 cpu_core_2 "9.375".
- 994590 cpu_core_2 "9.375".
- 994733 cpu_core_2 "9.375".
- 1011428 cpu_core_3 "9.375".
- 1011476 cpu_core_3 "9.375".
- 1011489 cpu_core_3 "9.375".
- 1011555 cpu_core_3 "9.375".
- 1011567 cpu_core_3 "9.375".
- 1011783 cpu_core_3 "9.375".
- 1011797 cpu_core_3 "9.375".
- 1011968 cpu_core_3 "9.375".
- 1012102 cpu_core_3 "9.375".
- 1012177 cpu_core_3 "9.375".
- 1012334 cpu_core_3 "9.375".
- 1012535 cpu_core_3 "9.375".
- 1012749 cpu_core_3 "9.375".
- 1012795 cpu_core_3 "9.375".
- 1012988 cpu_core_3 "9.375".
- 1012995 cpu_core_3 "9.375".
- 1013026 cpu_core_3 "9.375".