Matches in ISWC2014 Benchmark for { ?s ?p 31.25. }
- 1011523 cpu_core_0 "31.25".
- 1011852 cpu_core_0 "31.25".
- 1011869 cpu_core_0 "31.25".
- 1012314 cpu_core_0 "31.25".
- 1012445 cpu_core_0 "31.25".
- 1012520 cpu_core_0 "31.25".
- 1012591 cpu_core_0 "31.25".
- 1012727 cpu_core_0 "31.25".
- 1012914 cpu_core_0 "31.25".
- 1013270 cpu_core_0 "31.25".
- 1013395 cpu_core_0 "31.25".
- 1219555 cpu_core_0 "31.25".
- 1236516 cpu_core_0 "31.25".
- 1236726 cpu_core_0 "31.25".
- 1671661 cpu_core_0 "31.25".
- 1671858 cpu_core_0 "31.25".
- 1671888 cpu_core_0 "31.25".
- 1671909 cpu_core_0 "31.25".
- 1673697 cpu_core_0 "31.25".
- 218678 cpu_core_0 "31.25".
- 240353 cpu_core_0 "31.25".
- 247948 cpu_core_0 "31.25".
- 260657 cpu_core_0 "31.25".
- 303428 cpu_core_0 "31.25".
- 303455 cpu_core_0 "31.25".
- 363361 cpu_core_0 "31.25".
- 363547 cpu_core_0 "31.25".
- 402322 cpu_core_0 "31.25".
- 402431 cpu_core_0 "31.25".
- 402500 cpu_core_0 "31.25".
- 402661 cpu_core_0 "31.25".
- 402812 cpu_core_0 "31.25".
- 402985 cpu_core_0 "31.25".
- 403101 cpu_core_0 "31.25".
- 403222 cpu_core_0 "31.25".
- 403345 cpu_core_0 "31.25".
- 403431 cpu_core_0 "31.25".
- 403434 cpu_core_0 "31.25".
- 403832 cpu_core_0 "31.25".
- 403939 cpu_core_0 "31.25".
- 403946 cpu_core_0 "31.25".
- 514621 cpu_core_0 "31.25".
- 515367 cpu_core_0 "31.25".
- 515769 cpu_core_0 "31.25".
- 515815 cpu_core_0 "31.25".
- 516555 cpu_core_0 "31.25".
- 516619 cpu_core_0 "31.25".
- 516858 cpu_core_0 "31.25".
- 517273 cpu_core_0 "31.25".
- 517291 cpu_core_0 "31.25".
- 517622 cpu_core_0 "31.25".
- 600837 cpu_core_0 "31.25".
- 602074 cpu_core_0 "31.25".
- 602101 cpu_core_0 "31.25".
- 602290 cpu_core_0 "31.25".
- 659242 cpu_core_0 "31.25".
- 698354 cpu_core_0 "31.25".
- 699025 cpu_core_0 "31.25".
- 699028 cpu_core_0 "31.25".
- 699315 cpu_core_0 "31.25".
- 699615 cpu_core_0 "31.25".
- 699748 cpu_core_0 "31.25".
- 700375 cpu_core_0 "31.25".
- 700376 cpu_core_0 "31.25".
- 700448 cpu_core_0 "31.25".
- 792210 cpu_core_0 "31.25".
- 792330 cpu_core_0 "31.25".
- 792346 cpu_core_0 "31.25".
- 902248 cpu_core_0 "31.25".
- 902360 cpu_core_0 "31.25".
- 902511 cpu_core_0 "31.25".
- 902731 cpu_core_0 "31.25".
- 902842 cpu_core_0 "31.25".
- 903174 cpu_core_0 "31.25".
- 903353 cpu_core_0 "31.25".
- 903723 cpu_core_0 "31.25".
- 903749 cpu_core_0 "31.25".
- 904071 cpu_core_0 "31.25".
- 904514 cpu_core_0 "31.25".
- 904912 cpu_core_0 "31.25".
- 909800 cpu_core_0 "31.25".
- 909812 cpu_core_0 "31.25".
- 910057 cpu_core_0 "31.25".
- 993233 cpu_core_0 "31.25".
- 994466 cpu_core_0 "31.25".
- 995080 cpu_core_0 "31.25".
- 995141 cpu_core_0 "31.25".
- 995219 cpu_core_0 "31.25".
- 1011510 cpu_core_1 "31.25".
- 1011819 cpu_core_1 "31.25".
- 1011830 cpu_core_1 "31.25".
- 1011835 cpu_core_1 "31.25".
- 1235964 cpu_core_1 "31.25".
- 1670917 cpu_core_1 "31.25".
- 1671024 cpu_core_1 "31.25".
- 1673623 cpu_core_1 "31.25".
- 1992431 cpu_core_1 "31.25".
- 2043176 cpu_core_1 "31.25".
- 2051632 cpu_core_1 "31.25".
- 240457 cpu_core_1 "31.25".