Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 949045 cpu_core_0 "64.0".
- 949148 cpu_core_0 "64.0".
- 949491 cpu_core_0 "64.0".
- 949608 cpu_core_0 "64.0".
- 949696 cpu_core_0 "64.0".
- 949842 cpu_core_0 "64.0".
- 949956 cpu_core_0 "64.0".
- 950244 cpu_core_0 "64.0".
- 950259 cpu_core_0 "64.0".
- 950829 cpu_core_0 "64.0".
- 951030 cpu_core_0 "64.0".
- 952058 cpu_core_0 "64.0".
- 952470 cpu_core_0 "64.0".
- 952739 cpu_core_0 "64.0".
- 953000 cpu_core_0 "64.0".
- 953214 cpu_core_0 "64.0".
- 953267 cpu_core_0 "64.0".
- 953471 cpu_core_0 "64.0".
- 954708 cpu_core_0 "64.0".
- 954900 cpu_core_0 "64.0".
- 954914 cpu_core_0 "64.0".
- 955127 cpu_core_0 "64.0".
- 955387 cpu_core_0 "64.0".
- 956405 cpu_core_0 "64.0".
- 956628 cpu_core_0 "64.0".
- 956761 cpu_core_0 "64.0".
- 956851 cpu_core_0 "64.0".
- 956975 cpu_core_0 "64.0".
- 957448 cpu_core_0 "64.0".
- 958415 cpu_core_0 "64.0".
- 958687 cpu_core_0 "64.0".
- 958871 cpu_core_0 "64.0".
- 959652 cpu_core_0 "64.0".
- 959767 cpu_core_0 "64.0".
- 961108 cpu_core_0 "64.0".
- 961146 cpu_core_0 "64.0".
- 961911 cpu_core_0 "64.0".
- 961983 cpu_core_0 "64.0".
- 962157 cpu_core_0 "64.0".
- 962166 cpu_core_0 "64.0".
- 962545 cpu_core_0 "64.0".
- 963061 cpu_core_0 "64.0".
- 963492 cpu_core_0 "64.0".
- 964202 cpu_core_0 "64.0".
- 964940 cpu_core_0 "64.0".
- 965220 cpu_core_0 "64.0".
- 965702 cpu_core_0 "64.0".
- 965772 cpu_core_0 "64.0".
- 966113 cpu_core_0 "64.0".
- 966542 cpu_core_0 "64.0".
- 966898 cpu_core_0 "64.0".
- 967111 cpu_core_0 "64.0".
- 967232 cpu_core_0 "64.0".
- 967757 cpu_core_0 "64.0".
- 967824 cpu_core_0 "64.0".
- 967985 cpu_core_0 "64.0".
- 968026 cpu_core_0 "64.0".
- 968048 cpu_core_0 "64.0".
- 968495 cpu_core_0 "64.0".
- 968781 cpu_core_0 "64.0".
- 969669 cpu_core_0 "64.0".
- 969868 cpu_core_0 "64.0".
- 970121 cpu_core_0 "64.0".
- 970484 cpu_core_0 "64.0".
- 970637 cpu_core_0 "64.0".
- 970776 cpu_core_0 "64.0".
- 971889 cpu_core_0 "64.0".
- 971897 cpu_core_0 "64.0".
- 972531 cpu_core_0 "64.0".
- 972657 cpu_core_0 "64.0".
- 972786 cpu_core_0 "64.0".
- 973366 cpu_core_0 "64.0".
- 973805 cpu_core_0 "64.0".
- 975686 cpu_core_0 "64.0".
- 976515 cpu_core_0 "64.0".
- 976597 cpu_core_0 "64.0".
- 976891 cpu_core_0 "64.0".
- 977077 cpu_core_0 "64.0".
- 977161 cpu_core_0 "64.0".
- 977622 cpu_core_0 "64.0".
- 978234 cpu_core_0 "64.0".
- 978937 cpu_core_0 "64.0".
- 979061 cpu_core_0 "64.0".
- 979357 cpu_core_0 "64.0".
- 979628 cpu_core_0 "64.0".
- 980145 cpu_core_0 "64.0".
- 980226 cpu_core_0 "64.0".
- 980442 cpu_core_0 "64.0".
- 981536 cpu_core_0 "64.0".
- 981971 cpu_core_0 "64.0".
- 982393 cpu_core_0 "64.0".
- 982582 cpu_core_0 "64.0".
- 982668 cpu_core_0 "64.0".
- 982812 cpu_core_0 "64.0".
- 983474 cpu_core_0 "64.0".
- 983888 cpu_core_0 "64.0".
- 984017 cpu_core_0 "64.0".
- 984152 cpu_core_0 "64.0".
- 984517 cpu_core_0 "64.0".
- 984882 cpu_core_0 "64.0".