Matches in ISWC2014 Benchmark for { ?s ?p 80.0. }
- 1000111 cpu_core_0 "80.0".
- 1000804 cpu_core_0 "80.0".
- 1000878 cpu_core_0 "80.0".
- 1001047 cpu_core_0 "80.0".
- 1001119 cpu_core_0 "80.0".
- 1001149 cpu_core_0 "80.0".
- 1001202 cpu_core_0 "80.0".
- 1001498 cpu_core_0 "80.0".
- 1001530 cpu_core_0 "80.0".
- 1001911 cpu_core_0 "80.0".
- 1002772 cpu_core_0 "80.0".
- 1002921 cpu_core_0 "80.0".
- 1003005 cpu_core_0 "80.0".
- 1003331 cpu_core_0 "80.0".
- 1003378 cpu_core_0 "80.0".
- 1003565 cpu_core_0 "80.0".
- 1003658 cpu_core_0 "80.0".
- 1003674 cpu_core_0 "80.0".
- 1003729 cpu_core_0 "80.0".
- 1004001 cpu_core_0 "80.0".
- 1004385 cpu_core_0 "80.0".
- 1004515 cpu_core_0 "80.0".
- 1004776 cpu_core_0 "80.0".
- 1004970 cpu_core_0 "80.0".
- 1005354 cpu_core_0 "80.0".
- 1006307 cpu_core_0 "80.0".
- 1006324 cpu_core_0 "80.0".
- 1006521 cpu_core_0 "80.0".
- 1006596 cpu_core_0 "80.0".
- 1006608 cpu_core_0 "80.0".
- 1006796 cpu_core_0 "80.0".
- 1006892 cpu_core_0 "80.0".
- 1006923 cpu_core_0 "80.0".
- 1006957 cpu_core_0 "80.0".
- 1007390 cpu_core_0 "80.0".
- 1007562 cpu_core_0 "80.0".
- 1007781 cpu_core_0 "80.0".
- 1008313 cpu_core_0 "80.0".
- 1008385 cpu_core_0 "80.0".
- 1008498 cpu_core_0 "80.0".
- 1008502 cpu_core_0 "80.0".
- 1008548 cpu_core_0 "80.0".
- 1008573 cpu_core_0 "80.0".
- 1008722 cpu_core_0 "80.0".
- 1008861 cpu_core_0 "80.0".
- 1009841 cpu_core_0 "80.0".
- 1013711 cpu_core_0 "80.0".
- 1014054 cpu_core_0 "80.0".
- 1014873 cpu_core_0 "80.0".
- 1015247 cpu_core_0 "80.0".
- 1015399 cpu_core_0 "80.0".
- 1015466 cpu_core_0 "80.0".
- 1026965 cpu_core_0 "80.0".
- 1044272 cpu_core_0 "80.0".
- 1055770 cpu_core_0 "80.0".
- 1061083 cpu_core_0 "80.0".
- 1072796 cpu_core_0 "80.0".
- 1072851 cpu_core_0 "80.0".
- 1083913 cpu_core_0 "80.0".
- 1084039 cpu_core_0 "80.0".
- 1101726 cpu_core_0 "80.0".
- 1101758 cpu_core_0 "80.0".
- 1107792 cpu_core_0 "80.0".
- 1107822 cpu_core_0 "80.0".
- 1119729 cpu_core_0 "80.0".
- 1142661 cpu_core_0 "80.0".
- 1148687 cpu_core_0 "80.0".
- 1153175 cpu_core_0 "80.0".
- 1165975 cpu_core_0 "80.0".
- 1177570 cpu_core_0 "80.0".
- 1183452 cpu_core_0 "80.0".
- 1189395 cpu_core_0 "80.0".
- 1201294 cpu_core_0 "80.0".
- 1207270 cpu_core_0 "80.0".
- 1207302 cpu_core_0 "80.0".
- 1207326 cpu_core_0 "80.0".
- 1220165 cpu_core_0 "80.0".
- 1220301 cpu_core_0 "80.0".
- 1222355 cpu_core_0 "80.0".
- 1222430 cpu_core_0 "80.0".
- 1224022 cpu_core_0 "80.0".
- 1224126 cpu_core_0 "80.0".
- 1224127 cpu_core_0 "80.0".
- 1224532 cpu_core_0 "80.0".
- 1224563 cpu_core_0 "80.0".
- 1224578 cpu_core_0 "80.0".
- 1224623 cpu_core_0 "80.0".
- 1224669 cpu_core_0 "80.0".
- 1224818 cpu_core_0 "80.0".
- 1228219 cpu_core_0 "80.0".
- 1229406 cpu_core_0 "80.0".
- 1229421 cpu_core_0 "80.0".
- 1229451 cpu_core_0 "80.0".
- 1230079 cpu_core_0 "80.0".
- 1230256 cpu_core_0 "80.0".
- 1230302 cpu_core_0 "80.0".
- 1230351 cpu_core_0 "80.0".
- 1230390 cpu_core_0 "80.0".
- 1230765 cpu_core_0 "80.0".
- 1230855 cpu_core_0 "80.0".