Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 429742 cpu_core_0 "64.0".
- 429758 cpu_core_0 "64.0".
- 429987 cpu_core_0 "64.0".
- 430247 cpu_core_0 "64.0".
- 430295 cpu_core_0 "64.0".
- 430436 cpu_core_0 "64.0".
- 430659 cpu_core_0 "64.0".
- 430791 cpu_core_0 "64.0".
- 430927 cpu_core_0 "64.0".
- 431006 cpu_core_0 "64.0".
- 431161 cpu_core_0 "64.0".
- 431344 cpu_core_0 "64.0".
- 431885 cpu_core_0 "64.0".
- 431977 cpu_core_0 "64.0".
- 432177 cpu_core_0 "64.0".
- 432201 cpu_core_0 "64.0".
- 432406 cpu_core_0 "64.0".
- 432462 cpu_core_0 "64.0".
- 432660 cpu_core_0 "64.0".
- 433538 cpu_core_0 "64.0".
- 433801 cpu_core_0 "64.0".
- 433907 cpu_core_0 "64.0".
- 434180 cpu_core_0 "64.0".
- 434218 cpu_core_0 "64.0".
- 434236 cpu_core_0 "64.0".
- 434270 cpu_core_0 "64.0".
- 434414 cpu_core_0 "64.0".
- 434480 cpu_core_0 "64.0".
- 434594 cpu_core_0 "64.0".
- 434956 cpu_core_0 "64.0".
- 435016 cpu_core_0 "64.0".
- 435032 cpu_core_0 "64.0".
- 435354 cpu_core_0 "64.0".
- 435388 cpu_core_0 "64.0".
- 435404 cpu_core_0 "64.0".
- 436517 cpu_core_0 "64.0".
- 436558 cpu_core_0 "64.0".
- 436658 cpu_core_0 "64.0".
- 436682 cpu_core_0 "64.0".
- 436756 cpu_core_0 "64.0".
- 437154 cpu_core_0 "64.0".
- 437205 cpu_core_0 "64.0".
- 437214 cpu_core_0 "64.0".
- 437319 cpu_core_0 "64.0".
- 437477 cpu_core_0 "64.0".
- 438181 cpu_core_0 "64.0".
- 438285 cpu_core_0 "64.0".
- 439051 cpu_core_0 "64.0".
- 439602 cpu_core_0 "64.0".
- 439632 cpu_core_0 "64.0".
- 439654 cpu_core_0 "64.0".
- 439789 cpu_core_0 "64.0".
- 440112 cpu_core_0 "64.0".
- 440238 cpu_core_0 "64.0".
- 440246 cpu_core_0 "64.0".
- 440293 cpu_core_0 "64.0".
- 440642 cpu_core_0 "64.0".
- 441343 cpu_core_0 "64.0".
- 441547 cpu_core_0 "64.0".
- 442128 cpu_core_0 "64.0".
- 442156 cpu_core_0 "64.0".
- 442270 cpu_core_0 "64.0".
- 442366 cpu_core_0 "64.0".
- 442830 cpu_core_0 "64.0".
- 442894 cpu_core_0 "64.0".
- 442963 cpu_core_0 "64.0".
- 443389 cpu_core_0 "64.0".
- 444115 cpu_core_0 "64.0".
- 444251 cpu_core_0 "64.0".
- 444526 cpu_core_0 "64.0".
- 444638 cpu_core_0 "64.0".
- 444644 cpu_core_0 "64.0".
- 444845 cpu_core_0 "64.0".
- 444881 cpu_core_0 "64.0".
- 445153 cpu_core_0 "64.0".
- 445621 cpu_core_0 "64.0".
- 445851 cpu_core_0 "64.0".
- 445941 cpu_core_0 "64.0".
- 446435 cpu_core_0 "64.0".
- 446706 cpu_core_0 "64.0".
- 446754 cpu_core_0 "64.0".
- 446910 cpu_core_0 "64.0".
- 447015 cpu_core_0 "64.0".
- 447139 cpu_core_0 "64.0".
- 447610 cpu_core_0 "64.0".
- 447917 cpu_core_0 "64.0".
- 447936 cpu_core_0 "64.0".
- 449237 cpu_core_0 "64.0".
- 450314 cpu_core_0 "64.0".
- 450357 cpu_core_0 "64.0".
- 450412 cpu_core_0 "64.0".
- 450452 cpu_core_0 "64.0".
- 450463 cpu_core_0 "64.0".
- 450764 cpu_core_0 "64.0".
- 450810 cpu_core_0 "64.0".
- 450812 cpu_core_0 "64.0".
- 450825 cpu_core_0 "64.0".
- 451059 cpu_core_0 "64.0".
- 451332 cpu_core_0 "64.0".
- 451469 cpu_core_0 "64.0".