Matches in ISWC2014 Benchmark for { ?s ?p 85.0. }
- 1001179 cpu_core_0 "85.0".
- 1003147 cpu_core_0 "85.0".
- 1004024 cpu_core_0 "85.0".
- 1006731 cpu_core_0 "85.0".
- 1007416 cpu_core_0 "85.0".
- 1014053 cpu_core_0 "85.0".
- 1015426 cpu_core_0 "85.0".
- 1050383 cpu_core_0 "85.0".
- 1072897 cpu_core_0 "85.0".
- 1072898 cpu_core_0 "85.0".
- 1072913 cpu_core_0 "85.0".
- 1072914 cpu_core_0 "85.0".
- 1101759 cpu_core_0 "85.0".
- 1101848 cpu_core_0 "85.0".
- 1101849 cpu_core_0 "85.0".
- 1107852 cpu_core_0 "85.0".
- 1119645 cpu_core_0 "85.0".
- 1159863 cpu_core_0 "85.0".
- 1159937 cpu_core_0 "85.0".
- 1183547 cpu_core_0 "85.0".
- 1189440 cpu_core_0 "85.0".
- 1207281 cpu_core_0 "85.0".
- 1222551 cpu_core_0 "85.0".
- 1223109 cpu_core_0 "85.0".
- 1224081 cpu_core_0 "85.0".
- 1224204 cpu_core_0 "85.0".
- 1224833 cpu_core_0 "85.0".
- 1228278 cpu_core_0 "85.0".
- 1231337 cpu_core_0 "85.0".
- 1231351 cpu_core_0 "85.0".
- 1232501 cpu_core_0 "85.0".
- 1233713 cpu_core_0 "85.0".
- 1234618 cpu_core_0 "85.0".
- 1234635 cpu_core_0 "85.0".
- 1265155 cpu_core_0 "85.0".
- 1338294 cpu_core_0 "85.0".
- 1431381 cpu_core_0 "85.0".
- 1595598 cpu_core_0 "85.0".
- 1656354 cpu_core_0 "85.0".
- 1656400 cpu_core_0 "85.0".
- 1657086 cpu_core_0 "85.0".
- 1660494 cpu_core_0 "85.0".
- 1662038 cpu_core_0 "85.0".
- 1662188 cpu_core_0 "85.0".
- 1662234 cpu_core_0 "85.0".
- 1662249 cpu_core_0 "85.0".
- 1662251 cpu_core_0 "85.0".
- 1662263 cpu_core_0 "85.0".
- 1662278 cpu_core_0 "85.0".
- 1662353 cpu_core_0 "85.0".
- 1664039 cpu_core_0 "85.0".
- 1664101 cpu_core_0 "85.0".
- 1664264 cpu_core_0 "85.0".
- 1666474 cpu_core_0 "85.0".
- 1666519 cpu_core_0 "85.0".
- 1666520 cpu_core_0 "85.0".
- 1666522 cpu_core_0 "85.0".
- 1666595 cpu_core_0 "85.0".
- 1666639 cpu_core_0 "85.0".
- 1666731 cpu_core_0 "85.0".
- 1688939 cpu_core_0 "85.0".
- 1695807 cpu_core_0 "85.0".
- 1695808 cpu_core_0 "85.0".
- 1990429 cpu_core_0 "85.0".
- 209695 cpu_core_0 "85.0".
- 209982 cpu_core_0 "85.0".
- 210052 cpu_core_0 "85.0".
- 210378 cpu_core_0 "85.0".
- 211046 cpu_core_0 "85.0".
- 211131 cpu_core_0 "85.0".
- 211374 cpu_core_0 "85.0".
- 211718 cpu_core_0 "85.0".
- 212296 cpu_core_0 "85.0".
- 212475 cpu_core_0 "85.0".
- 212493 cpu_core_0 "85.0".
- 212495 cpu_core_0 "85.0".
- 212587 cpu_core_0 "85.0".
- 213554 cpu_core_0 "85.0".
- 213689 cpu_core_0 "85.0".
- 213729 cpu_core_0 "85.0".
- 213732 cpu_core_0 "85.0".
- 213766 cpu_core_0 "85.0".
- 213915 cpu_core_0 "85.0".
- 214003 cpu_core_0 "85.0".
- 214057 cpu_core_0 "85.0".
- 214136 cpu_core_0 "85.0".
- 214726 cpu_core_0 "85.0".
- 214753 cpu_core_0 "85.0".
- 215017 cpu_core_0 "85.0".
- 215143 cpu_core_0 "85.0".
- 215169 cpu_core_0 "85.0".
- 215446 cpu_core_0 "85.0".
- 215540 cpu_core_0 "85.0".
- 215551 cpu_core_0 "85.0".
- 215830 cpu_core_0 "85.0".
- 216087 cpu_core_0 "85.0".
- 216294 cpu_core_0 "85.0".
- 216306 cpu_core_0 "85.0".
- 216369 cpu_core_0 "85.0".
- 216460 cpu_core_0 "85.0".