Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 790203 cpu_core_0 "64.0".
- 790277 cpu_core_0 "64.0".
- 790686 cpu_core_0 "64.0".
- 790762 cpu_core_0 "64.0".
- 790795 cpu_core_0 "64.0".
- 790943 cpu_core_0 "64.0".
- 791654 cpu_core_0 "64.0".
- 793218 cpu_core_0 "64.0".
- 793349 cpu_core_0 "64.0".
- 794059 cpu_core_0 "64.0".
- 794328 cpu_core_0 "64.0".
- 795020 cpu_core_0 "64.0".
- 797007 cpu_core_0 "64.0".
- 797067 cpu_core_0 "64.0".
- 797094 cpu_core_0 "64.0".
- 797118 cpu_core_0 "64.0".
- 797455 cpu_core_0 "64.0".
- 798176 cpu_core_0 "64.0".
- 798578 cpu_core_0 "64.0".
- 798655 cpu_core_0 "64.0".
- 798806 cpu_core_0 "64.0".
- 799255 cpu_core_0 "64.0".
- 799479 cpu_core_0 "64.0".
- 799709 cpu_core_0 "64.0".
- 799778 cpu_core_0 "64.0".
- 800275 cpu_core_0 "64.0".
- 800351 cpu_core_0 "64.0".
- 800586 cpu_core_0 "64.0".
- 800588 cpu_core_0 "64.0".
- 800649 cpu_core_0 "64.0".
- 800770 cpu_core_0 "64.0".
- 800831 cpu_core_0 "64.0".
- 801171 cpu_core_0 "64.0".
- 801190 cpu_core_0 "64.0".
- 801220 cpu_core_0 "64.0".
- 801720 cpu_core_0 "64.0".
- 801845 cpu_core_0 "64.0".
- 802071 cpu_core_0 "64.0".
- 802076 cpu_core_0 "64.0".
- 802162 cpu_core_0 "64.0".
- 802847 cpu_core_0 "64.0".
- 803890 cpu_core_0 "64.0".
- 803898 cpu_core_0 "64.0".
- 803903 cpu_core_0 "64.0".
- 804342 cpu_core_0 "64.0".
- 804526 cpu_core_0 "64.0".
- 804654 cpu_core_0 "64.0".
- 804912 cpu_core_0 "64.0".
- 805112 cpu_core_0 "64.0".
- 805586 cpu_core_0 "64.0".
- 805640 cpu_core_0 "64.0".
- 805729 cpu_core_0 "64.0".
- 805840 cpu_core_0 "64.0".
- 806190 cpu_core_0 "64.0".
- 806381 cpu_core_0 "64.0".
- 806547 cpu_core_0 "64.0".
- 806703 cpu_core_0 "64.0".
- 806778 cpu_core_0 "64.0".
- 806864 cpu_core_0 "64.0".
- 807362 cpu_core_0 "64.0".
- 807470 cpu_core_0 "64.0".
- 807537 cpu_core_0 "64.0".
- 808143 cpu_core_0 "64.0".
- 808179 cpu_core_0 "64.0".
- 808191 cpu_core_0 "64.0".
- 808388 cpu_core_0 "64.0".
- 808422 cpu_core_0 "64.0".
- 808697 cpu_core_0 "64.0".
- 809001 cpu_core_0 "64.0".
- 809173 cpu_core_0 "64.0".
- 809243 cpu_core_0 "64.0".
- 809659 cpu_core_0 "64.0".
- 809736 cpu_core_0 "64.0".
- 809799 cpu_core_0 "64.0".
- 809860 cpu_core_0 "64.0".
- 810130 cpu_core_0 "64.0".
- 810319 cpu_core_0 "64.0".
- 810762 cpu_core_0 "64.0".
- 810768 cpu_core_0 "64.0".
- 810865 cpu_core_0 "64.0".
- 810898 cpu_core_0 "64.0".
- 811498 cpu_core_0 "64.0".
- 811611 cpu_core_0 "64.0".
- 811625 cpu_core_0 "64.0".
- 811713 cpu_core_0 "64.0".
- 811757 cpu_core_0 "64.0".
- 811895 cpu_core_0 "64.0".
- 811910 cpu_core_0 "64.0".
- 812104 cpu_core_0 "64.0".
- 812106 cpu_core_0 "64.0".
- 812477 cpu_core_0 "64.0".
- 812571 cpu_core_0 "64.0".
- 812589 cpu_core_0 "64.0".
- 812671 cpu_core_0 "64.0".
- 812902 cpu_core_0 "64.0".
- 812952 cpu_core_0 "64.0".
- 813186 cpu_core_0 "64.0".
- 813191 cpu_core_0 "64.0".
- 813344 cpu_core_0 "64.0".
- 813349 cpu_core_0 "64.0".