Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 524569 cpu_core_3 "64.0".
- 524640 cpu_core_3 "64.0".
- 527567 cpu_core_3 "64.0".
- 527814 cpu_core_3 "64.0".
- 534689 cpu_core_3 "64.0".
- 535299 cpu_core_3 "64.0".
- 540266 cpu_core_3 "64.0".
- 548074 cpu_core_3 "64.0".
- 551125 cpu_core_3 "64.0".
- 577569 cpu_core_3 "64.0".
- 579096 cpu_core_3 "64.0".
- 580284 cpu_core_3 "64.0".
- 587049 cpu_core_3 "64.0".
- 595039 cpu_core_3 "64.0".
- 599914 cpu_core_3 "64.0".
- 599974 cpu_core_3 "64.0".
- 600078 cpu_core_3 "64.0".
- 600264 cpu_core_3 "64.0".
- 601603 cpu_core_3 "64.0".
- 601845 cpu_core_3 "64.0".
- 602377 cpu_core_3 "64.0".
- 605369 cpu_core_3 "64.0".
- 605907 cpu_core_3 "64.0".
- 609153 cpu_core_3 "64.0".
- 610519 cpu_core_3 "64.0".
- 611421 cpu_core_3 "64.0".
- 611525 cpu_core_3 "64.0".
- 612326 cpu_core_3 "64.0".
- 614542 cpu_core_3 "64.0".
- 616389 cpu_core_3 "64.0".
- 617750 cpu_core_3 "64.0".
- 620065 cpu_core_3 "64.0".
- 620089 cpu_core_3 "64.0".
- 622607 cpu_core_3 "64.0".
- 623544 cpu_core_3 "64.0".
- 624568 cpu_core_3 "64.0".
- 625859 cpu_core_3 "64.0".
- 627862 cpu_core_3 "64.0".
- 627877 cpu_core_3 "64.0".
- 627950 cpu_core_3 "64.0".
- 628231 cpu_core_3 "64.0".
- 628662 cpu_core_3 "64.0".
- 630763 cpu_core_3 "64.0".
- 630779 cpu_core_3 "64.0".
- 631257 cpu_core_3 "64.0".
- 632755 cpu_core_3 "64.0".
- 633950 cpu_core_3 "64.0".
- 635909 cpu_core_3 "64.0".
- 635930 cpu_core_3 "64.0".
- 636142 cpu_core_3 "64.0".
- 637428 cpu_core_3 "64.0".
- 638053 cpu_core_3 "64.0".
- 638077 cpu_core_3 "64.0".
- 639076 cpu_core_3 "64.0".
- 639991 cpu_core_3 "64.0".
- 640264 cpu_core_3 "64.0".
- 640265 cpu_core_3 "64.0".
- 640787 cpu_core_3 "64.0".
- 641012 cpu_core_3 "64.0".
- 642984 cpu_core_3 "64.0".
- 642999 cpu_core_3 "64.0".
- 645569 cpu_core_3 "64.0".
- 646954 cpu_core_3 "64.0".
- 647900 cpu_core_3 "64.0".
- 648502 cpu_core_3 "64.0".
- 649460 cpu_core_3 "64.0".
- 651130 cpu_core_3 "64.0".
- 651265 cpu_core_3 "64.0".
- 651668 cpu_core_3 "64.0".
- 652361 cpu_core_3 "64.0".
- 652455 cpu_core_3 "64.0".
- 653298 cpu_core_3 "64.0".
- 653599 cpu_core_3 "64.0".
- 653826 cpu_core_3 "64.0".
- 654722 cpu_core_3 "64.0".
- 654939 cpu_core_3 "64.0".
- 655052 cpu_core_3 "64.0".
- 655411 cpu_core_3 "64.0".
- 655515 cpu_core_3 "64.0".
- 655787 cpu_core_3 "64.0".
- 655952 cpu_core_3 "64.0".
- 658463 cpu_core_3 "64.0".
- 659387 cpu_core_3 "64.0".
- 668194 cpu_core_3 "64.0".
- 669476 cpu_core_3 "64.0".
- 683760 cpu_core_3 "64.0".
- 706237 cpu_core_3 "64.0".
- 707496 cpu_core_3 "64.0".
- 710368 cpu_core_3 "64.0".
- 718129 cpu_core_3 "64.0".
- 722371 cpu_core_3 "64.0".
- 722605 cpu_core_3 "64.0".
- 724897 cpu_core_3 "64.0".
- 726286 cpu_core_3 "64.0".
- 726739 cpu_core_3 "64.0".
- 728274 cpu_core_3 "64.0".
- 729125 cpu_core_3 "64.0".
- 729316 cpu_core_3 "64.0".
- 730189 cpu_core_3 "64.0".
- 732842 cpu_core_3 "64.0".