Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 689434 cpu_core_0 "64.0".
- 689640 cpu_core_0 "64.0".
- 689678 cpu_core_0 "64.0".
- 689981 cpu_core_0 "64.0".
- 690211 cpu_core_0 "64.0".
- 690239 cpu_core_0 "64.0".
- 690850 cpu_core_0 "64.0".
- 690974 cpu_core_0 "64.0".
- 691257 cpu_core_0 "64.0".
- 691614 cpu_core_0 "64.0".
- 691769 cpu_core_0 "64.0".
- 691919 cpu_core_0 "64.0".
- 692032 cpu_core_0 "64.0".
- 692166 cpu_core_0 "64.0".
- 692258 cpu_core_0 "64.0".
- 692568 cpu_core_0 "64.0".
- 692839 cpu_core_0 "64.0".
- 693028 cpu_core_0 "64.0".
- 693101 cpu_core_0 "64.0".
- 693582 cpu_core_0 "64.0".
- 693591 cpu_core_0 "64.0".
- 694591 cpu_core_0 "64.0".
- 694731 cpu_core_0 "64.0".
- 695881 cpu_core_0 "64.0".
- 696106 cpu_core_0 "64.0".
- 696115 cpu_core_0 "64.0".
- 696542 cpu_core_0 "64.0".
- 696551 cpu_core_0 "64.0".
- 696651 cpu_core_0 "64.0".
- 696753 cpu_core_0 "64.0".
- 696883 cpu_core_0 "64.0".
- 696914 cpu_core_0 "64.0".
- 697227 cpu_core_0 "64.0".
- 697326 cpu_core_0 "64.0".
- 697397 cpu_core_0 "64.0".
- 697811 cpu_core_0 "64.0".
- 697980 cpu_core_0 "64.0".
- 702920 cpu_core_0 "64.0".
- 704182 cpu_core_0 "64.0".
- 704273 cpu_core_0 "64.0".
- 704299 cpu_core_0 "64.0".
- 704516 cpu_core_0 "64.0".
- 705032 cpu_core_0 "64.0".
- 705861 cpu_core_0 "64.0".
- 705959 cpu_core_0 "64.0".
- 707404 cpu_core_0 "64.0".
- 707886 cpu_core_0 "64.0".
- 708952 cpu_core_0 "64.0".
- 709422 cpu_core_0 "64.0".
- 709816 cpu_core_0 "64.0".
- 710898 cpu_core_0 "64.0".
- 711607 cpu_core_0 "64.0".
- 711690 cpu_core_0 "64.0".
- 711858 cpu_core_0 "64.0".
- 712415 cpu_core_0 "64.0".
- 712742 cpu_core_0 "64.0".
- 712846 cpu_core_0 "64.0".
- 712990 cpu_core_0 "64.0".
- 713873 cpu_core_0 "64.0".
- 713951 cpu_core_0 "64.0".
- 714500 cpu_core_0 "64.0".
- 714963 cpu_core_0 "64.0".
- 715356 cpu_core_0 "64.0".
- 717122 cpu_core_0 "64.0".
- 718374 cpu_core_0 "64.0".
- 718375 cpu_core_0 "64.0".
- 719704 cpu_core_0 "64.0".
- 719891 cpu_core_0 "64.0".
- 720494 cpu_core_0 "64.0".
- 721189 cpu_core_0 "64.0".
- 722366 cpu_core_0 "64.0".
- 723301 cpu_core_0 "64.0".
- 723674 cpu_core_0 "64.0".
- 724383 cpu_core_0 "64.0".
- 725213 cpu_core_0 "64.0".
- 725244 cpu_core_0 "64.0".
- 725856 cpu_core_0 "64.0".
- 726276 cpu_core_0 "64.0".
- 726278 cpu_core_0 "64.0".
- 726526 cpu_core_0 "64.0".
- 728310 cpu_core_0 "64.0".
- 729652 cpu_core_0 "64.0".
- 729701 cpu_core_0 "64.0".
- 729739 cpu_core_0 "64.0".
- 730258 cpu_core_0 "64.0".
- 730402 cpu_core_0 "64.0".
- 730475 cpu_core_0 "64.0".
- 731186 cpu_core_0 "64.0".
- 731942 cpu_core_0 "64.0".
- 731973 cpu_core_0 "64.0".
- 733397 cpu_core_0 "64.0".
- 733857 cpu_core_0 "64.0".
- 733859 cpu_core_0 "64.0".
- 734335 cpu_core_0 "64.0".
- 735055 cpu_core_0 "64.0".
- 735368 cpu_core_0 "64.0".
- 735443 cpu_core_0 "64.0".
- 735624 cpu_core_0 "64.0".
- 735981 cpu_core_0 "64.0".
- 736697 cpu_core_0 "64.0".