Matches in ISWC2014 Benchmark for { ?s ?p 64.0. }
- 813395 cpu_core_0 "64.0".
- 813398 cpu_core_0 "64.0".
- 813999 cpu_core_0 "64.0".
- 814161 cpu_core_0 "64.0".
- 814297 cpu_core_0 "64.0".
- 814514 cpu_core_0 "64.0".
- 814637 cpu_core_0 "64.0".
- 814742 cpu_core_0 "64.0".
- 814763 cpu_core_0 "64.0".
- 815022 cpu_core_0 "64.0".
- 815402 cpu_core_0 "64.0".
- 815449 cpu_core_0 "64.0".
- 815495 cpu_core_0 "64.0".
- 815844 cpu_core_0 "64.0".
- 816387 cpu_core_0 "64.0".
- 816552 cpu_core_0 "64.0".
- 816561 cpu_core_0 "64.0".
- 816602 cpu_core_0 "64.0".
- 816619 cpu_core_0 "64.0".
- 816680 cpu_core_0 "64.0".
- 816707 cpu_core_0 "64.0".
- 816815 cpu_core_0 "64.0".
- 817035 cpu_core_0 "64.0".
- 817156 cpu_core_0 "64.0".
- 818179 cpu_core_0 "64.0".
- 818251 cpu_core_0 "64.0".
- 818593 cpu_core_0 "64.0".
- 818670 cpu_core_0 "64.0".
- 818773 cpu_core_0 "64.0".
- 818857 cpu_core_0 "64.0".
- 818968 cpu_core_0 "64.0".
- 818997 cpu_core_0 "64.0".
- 819405 cpu_core_0 "64.0".
- 819670 cpu_core_0 "64.0".
- 819812 cpu_core_0 "64.0".
- 819944 cpu_core_0 "64.0".
- 819959 cpu_core_0 "64.0".
- 820581 cpu_core_0 "64.0".
- 820727 cpu_core_0 "64.0".
- 820870 cpu_core_0 "64.0".
- 820882 cpu_core_0 "64.0".
- 820997 cpu_core_0 "64.0".
- 821333 cpu_core_0 "64.0".
- 821391 cpu_core_0 "64.0".
- 821451 cpu_core_0 "64.0".
- 821457 cpu_core_0 "64.0".
- 821572 cpu_core_0 "64.0".
- 822140 cpu_core_0 "64.0".
- 822156 cpu_core_0 "64.0".
- 822157 cpu_core_0 "64.0".
- 822999 cpu_core_0 "64.0".
- 823047 cpu_core_0 "64.0".
- 823243 cpu_core_0 "64.0".
- 823515 cpu_core_0 "64.0".
- 823525 cpu_core_0 "64.0".
- 823701 cpu_core_0 "64.0".
- 823727 cpu_core_0 "64.0".
- 824052 cpu_core_0 "64.0".
- 824531 cpu_core_0 "64.0".
- 824656 cpu_core_0 "64.0".
- 824972 cpu_core_0 "64.0".
- 825192 cpu_core_0 "64.0".
- 825710 cpu_core_0 "64.0".
- 825926 cpu_core_0 "64.0".
- 826281 cpu_core_0 "64.0".
- 826312 cpu_core_0 "64.0".
- 826469 cpu_core_0 "64.0".
- 826489 cpu_core_0 "64.0".
- 826676 cpu_core_0 "64.0".
- 826678 cpu_core_0 "64.0".
- 827196 cpu_core_0 "64.0".
- 827200 cpu_core_0 "64.0".
- 827269 cpu_core_0 "64.0".
- 827332 cpu_core_0 "64.0".
- 827655 cpu_core_0 "64.0".
- 827893 cpu_core_0 "64.0".
- 827981 cpu_core_0 "64.0".
- 828064 cpu_core_0 "64.0".
- 828081 cpu_core_0 "64.0".
- 828092 cpu_core_0 "64.0".
- 828136 cpu_core_0 "64.0".
- 828460 cpu_core_0 "64.0".
- 828563 cpu_core_0 "64.0".
- 829025 cpu_core_0 "64.0".
- 829485 cpu_core_0 "64.0".
- 829539 cpu_core_0 "64.0".
- 829774 cpu_core_0 "64.0".
- 829792 cpu_core_0 "64.0".
- 830762 cpu_core_0 "64.0".
- 830882 cpu_core_0 "64.0".
- 830905 cpu_core_0 "64.0".
- 831068 cpu_core_0 "64.0".
- 831179 cpu_core_0 "64.0".
- 831762 cpu_core_0 "64.0".
- 832475 cpu_core_0 "64.0".
- 832602 cpu_core_0 "64.0".
- 832726 cpu_core_0 "64.0".
- 832947 cpu_core_0 "64.0".
- 833001 cpu_core_0 "64.0".
- 833096 cpu_core_0 "64.0".