Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 737355 cpu_core_0 "64.0".
- 737742 cpu_core_0 "64.0".
- 738323 cpu_core_0 "64.0".
- 739105 cpu_core_0 "64.0".
- 739820 cpu_core_0 "64.0".
- 740395 cpu_core_0 "64.0".
- 742786 cpu_core_0 "64.0".
- 743297 cpu_core_0 "64.0".
- 743562 cpu_core_0 "64.0".
- 744865 cpu_core_0 "64.0".
- 745873 cpu_core_0 "64.0".
- 746920 cpu_core_0 "64.0".
- 748251 cpu_core_0 "64.0".
- 748282 cpu_core_0 "64.0".
- 748548 cpu_core_0 "64.0".
- 748703 cpu_core_0 "64.0".
- 749155 cpu_core_0 "64.0".
- 750088 cpu_core_0 "64.0".
- 750254 cpu_core_0 "64.0".
- 750665 cpu_core_0 "64.0".
- 751768 cpu_core_0 "64.0".
- 751892 cpu_core_0 "64.0".
- 751950 cpu_core_0 "64.0".
- 752073 cpu_core_0 "64.0".
- 753073 cpu_core_0 "64.0".
- 754997 cpu_core_0 "64.0".
- 755066 cpu_core_0 "64.0".
- 755546 cpu_core_0 "64.0".
- 755897 cpu_core_0 "64.0".
- 755958 cpu_core_0 "64.0".
- 756662 cpu_core_0 "64.0".
- 756930 cpu_core_0 "64.0".
- 757067 cpu_core_0 "64.0".
- 757524 cpu_core_0 "64.0".
- 757639 cpu_core_0 "64.0".
- 757643 cpu_core_0 "64.0".
- 758853 cpu_core_0 "64.0".
- 759078 cpu_core_0 "64.0".
- 759867 cpu_core_0 "64.0".
- 760005 cpu_core_0 "64.0".
- 760013 cpu_core_0 "64.0".
- 762379 cpu_core_0 "64.0".
- 762423 cpu_core_0 "64.0".
- 762613 cpu_core_0 "64.0".
- 763599 cpu_core_0 "64.0".
- 767644 cpu_core_0 "64.0".
- 767692 cpu_core_0 "64.0".
- 768204 cpu_core_0 "64.0".
- 768507 cpu_core_0 "64.0".
- 768529 cpu_core_0 "64.0".
- 769279 cpu_core_0 "64.0".
- 769336 cpu_core_0 "64.0".
- 769854 cpu_core_0 "64.0".
- 770768 cpu_core_0 "64.0".
- 771302 cpu_core_0 "64.0".
- 771889 cpu_core_0 "64.0".
- 772730 cpu_core_0 "64.0".
- 773183 cpu_core_0 "64.0".
- 773404 cpu_core_0 "64.0".
- 773584 cpu_core_0 "64.0".
- 774165 cpu_core_0 "64.0".
- 774277 cpu_core_0 "64.0".
- 774594 cpu_core_0 "64.0".
- 775016 cpu_core_0 "64.0".
- 776636 cpu_core_0 "64.0".
- 776643 cpu_core_0 "64.0".
- 776750 cpu_core_0 "64.0".
- 776970 cpu_core_0 "64.0".
- 778061 cpu_core_0 "64.0".
- 778498 cpu_core_0 "64.0".
- 778512 cpu_core_0 "64.0".
- 780403 cpu_core_0 "64.0".
- 780654 cpu_core_0 "64.0".
- 780889 cpu_core_0 "64.0".
- 781103 cpu_core_0 "64.0".
- 782150 cpu_core_0 "64.0".
- 782498 cpu_core_0 "64.0".
- 783589 cpu_core_0 "64.0".
- 783847 cpu_core_0 "64.0".
- 783919 cpu_core_0 "64.0".
- 783978 cpu_core_0 "64.0".
- 784176 cpu_core_0 "64.0".
- 784799 cpu_core_0 "64.0".
- 784942 cpu_core_0 "64.0".
- 784987 cpu_core_0 "64.0".
- 785665 cpu_core_0 "64.0".
- 785767 cpu_core_0 "64.0".
- 786747 cpu_core_0 "64.0".
- 787040 cpu_core_0 "64.0".
- 787050 cpu_core_0 "64.0".
- 787484 cpu_core_0 "64.0".
- 789495 cpu_core_0 "64.0".
- 789628 cpu_core_0 "64.0".
- 789656 cpu_core_0 "64.0".
- 789658 cpu_core_0 "64.0".
- 789671 cpu_core_0 "64.0".
- 789777 cpu_core_0 "64.0".
- 790045 cpu_core_0 "64.0".
- 790083 cpu_core_0 "64.0".
- 790199 cpu_core_0 "64.0".