Matches in ISWC2014 Benchmark for { ?s ?p 21.875. }
- 1011755 cpu_core_0 "21.875".
- 1011812 cpu_core_0 "21.875".
- 1011875 cpu_core_0 "21.875".
- 1012173 cpu_core_0 "21.875".
- 1012333 cpu_core_0 "21.875".
- 1013139 cpu_core_0 "21.875".
- 1013278 cpu_core_0 "21.875".
- 1013280 cpu_core_0 "21.875".
- 1013384 cpu_core_0 "21.875".
- 1236445 cpu_core_0 "21.875".
- 1236530 cpu_core_0 "21.875".
- 1236789 cpu_core_0 "21.875".
- 1236882 cpu_core_0 "21.875".
- 1237031 cpu_core_0 "21.875".
- 1237057 cpu_core_0 "21.875".
- 1237270 cpu_core_0 "21.875".
- 1411318 cpu_core_0 "21.875".
- 1413333 cpu_core_0 "21.875".
- 1671246 cpu_core_0 "21.875".
- 1671453 cpu_core_0 "21.875".
- 1671600 cpu_core_0 "21.875".
- 1674101 cpu_core_0 "21.875".
- 1674812 cpu_core_0 "21.875".
- 1712093 cpu_core_0 "21.875".
- 1923692 cpu_core_0 "21.875".
- 1923970 cpu_core_0 "21.875".
- 1924451 cpu_core_0 "21.875".
- 1924596 cpu_core_0 "21.875".
- 1925416 cpu_core_0 "21.875".
- 1925499 cpu_core_0 "21.875".
- 1925726 cpu_core_0 "21.875".
- 1925845 cpu_core_0 "21.875".
- 1926216 cpu_core_0 "21.875".
- 1926262 cpu_core_0 "21.875".
- 1926820 cpu_core_0 "21.875".
- 1927026 cpu_core_0 "21.875".
- 1927099 cpu_core_0 "21.875".
- 1927165 cpu_core_0 "21.875".
- 1927538 cpu_core_0 "21.875".
- 1927605 cpu_core_0 "21.875".
- 209486 cpu_core_0 "21.875".
- 209508 cpu_core_0 "21.875".
- 260770 cpu_core_0 "21.875".
- 294680 cpu_core_0 "21.875".
- 294962 cpu_core_0 "21.875".
- 296011 cpu_core_0 "21.875".
- 305245 cpu_core_0 "21.875".
- 362951 cpu_core_0 "21.875".
- 362995 cpu_core_0 "21.875".
- 363174 cpu_core_0 "21.875".
- 363227 cpu_core_0 "21.875".
- 363289 cpu_core_0 "21.875".
- 363328 cpu_core_0 "21.875".
- 363657 cpu_core_0 "21.875".
- 402568 cpu_core_0 "21.875".
- 402594 cpu_core_0 "21.875".
- 402653 cpu_core_0 "21.875".
- 402931 cpu_core_0 "21.875".
- 403276 cpu_core_0 "21.875".
- 404356 cpu_core_0 "21.875".
- 514740 cpu_core_0 "21.875".
- 516230 cpu_core_0 "21.875".
- 516341 cpu_core_0 "21.875".
- 517423 cpu_core_0 "21.875".
- 600816 cpu_core_0 "21.875".
- 600824 cpu_core_0 "21.875".
- 602331 cpu_core_0 "21.875".
- 658872 cpu_core_0 "21.875".
- 659925 cpu_core_0 "21.875".
- 660167 cpu_core_0 "21.875".
- 699065 cpu_core_0 "21.875".
- 700101 cpu_core_0 "21.875".
- 791457 cpu_core_0 "21.875".
- 792169 cpu_core_0 "21.875".
- 792452 cpu_core_0 "21.875".
- 792491 cpu_core_0 "21.875".
- 796405 cpu_core_0 "21.875".
- 796412 cpu_core_0 "21.875".
- 796923 cpu_core_0 "21.875".
- 796935 cpu_core_0 "21.875".
- 796941 cpu_core_0 "21.875".
- 796944 cpu_core_0 "21.875".
- 902539 cpu_core_0 "21.875".
- 903024 cpu_core_0 "21.875".
- 903090 cpu_core_0 "21.875".
- 904161 cpu_core_0 "21.875".
- 904622 cpu_core_0 "21.875".
- 909422 cpu_core_0 "21.875".
- 909609 cpu_core_0 "21.875".
- 909689 cpu_core_0 "21.875".
- 909718 cpu_core_0 "21.875".
- 909825 cpu_core_0 "21.875".
- 910103 cpu_core_0 "21.875".
- 995128 cpu_core_0 "21.875".
- 995151 cpu_core_0 "21.875".
- 995381 cpu_core_0 "21.875".
- 1011469 cpu_core_1 "21.875".
- 1011671 cpu_core_1 "21.875".
- 1012041 cpu_core_1 "21.875".
- 1012337 cpu_core_1 "21.875".