Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 828380 cpu_core_0 "60.00000000000001".
- 828788 cpu_core_0 "60.00000000000001".
- 828815 cpu_core_0 "60.00000000000001".
- 828943 cpu_core_0 "60.00000000000001".
- 829055 cpu_core_0 "60.00000000000001".
- 829057 cpu_core_0 "60.00000000000001".
- 829178 cpu_core_0 "60.00000000000001".
- 829562 cpu_core_0 "60.00000000000001".
- 829825 cpu_core_0 "60.00000000000001".
- 831204 cpu_core_0 "60.00000000000001".
- 831222 cpu_core_0 "60.00000000000001".
- 831326 cpu_core_0 "60.00000000000001".
- 831919 cpu_core_0 "60.00000000000001".
- 831985 cpu_core_0 "60.00000000000001".
- 832512 cpu_core_0 "60.00000000000001".
- 832863 cpu_core_0 "60.00000000000001".
- 833241 cpu_core_0 "60.00000000000001".
- 833289 cpu_core_0 "60.00000000000001".
- 833321 cpu_core_0 "60.00000000000001".
- 833348 cpu_core_0 "60.00000000000001".
- 833359 cpu_core_0 "60.00000000000001".
- 833609 cpu_core_0 "60.00000000000001".
- 833895 cpu_core_0 "60.00000000000001".
- 834149 cpu_core_0 "60.00000000000001".
- 834539 cpu_core_0 "60.00000000000001".
- 834614 cpu_core_0 "60.00000000000001".
- 834711 cpu_core_0 "60.00000000000001".
- 834777 cpu_core_0 "60.00000000000001".
- 835183 cpu_core_0 "60.00000000000001".
- 835626 cpu_core_0 "60.00000000000001".
- 835992 cpu_core_0 "60.00000000000001".
- 836272 cpu_core_0 "60.00000000000001".
- 836464 cpu_core_0 "60.00000000000001".
- 836577 cpu_core_0 "60.00000000000001".
- 836590 cpu_core_0 "60.00000000000001".
- 836749 cpu_core_0 "60.00000000000001".
- 837120 cpu_core_0 "60.00000000000001".
- 837339 cpu_core_0 "60.00000000000001".
- 837674 cpu_core_0 "60.00000000000001".
- 838306 cpu_core_0 "60.00000000000001".
- 838322 cpu_core_0 "60.00000000000001".
- 838333 cpu_core_0 "60.00000000000001".
- 838441 cpu_core_0 "60.00000000000001".
- 838533 cpu_core_0 "60.00000000000001".
- 838794 cpu_core_0 "60.00000000000001".
- 838813 cpu_core_0 "60.00000000000001".
- 838904 cpu_core_0 "60.00000000000001".
- 839262 cpu_core_0 "60.00000000000001".
- 839284 cpu_core_0 "60.00000000000001".
- 839623 cpu_core_0 "60.00000000000001".
- 839634 cpu_core_0 "60.00000000000001".
- 839720 cpu_core_0 "60.00000000000001".
- 839860 cpu_core_0 "60.00000000000001".
- 839955 cpu_core_0 "60.00000000000001".
- 840436 cpu_core_0 "60.00000000000001".
- 840537 cpu_core_0 "60.00000000000001".
- 840560 cpu_core_0 "60.00000000000001".
- 840905 cpu_core_0 "60.00000000000001".
- 841084 cpu_core_0 "60.00000000000001".
- 841559 cpu_core_0 "60.00000000000001".
- 842115 cpu_core_0 "60.00000000000001".
- 842590 cpu_core_0 "60.00000000000001".
- 842597 cpu_core_0 "60.00000000000001".
- 842738 cpu_core_0 "60.00000000000001".
- 842857 cpu_core_0 "60.00000000000001".
- 843770 cpu_core_0 "60.00000000000001".
- 844088 cpu_core_0 "60.00000000000001".
- 844465 cpu_core_0 "60.00000000000001".
- 844509 cpu_core_0 "60.00000000000001".
- 844881 cpu_core_0 "60.00000000000001".
- 845833 cpu_core_0 "60.00000000000001".
- 845999 cpu_core_0 "60.00000000000001".
- 846244 cpu_core_0 "60.00000000000001".
- 846265 cpu_core_0 "60.00000000000001".
- 846292 cpu_core_0 "60.00000000000001".
- 846524 cpu_core_0 "60.00000000000001".
- 846615 cpu_core_0 "60.00000000000001".
- 846996 cpu_core_0 "60.00000000000001".
- 846999 cpu_core_0 "60.00000000000001".
- 847112 cpu_core_0 "60.00000000000001".
- 847136 cpu_core_0 "60.00000000000001".
- 847595 cpu_core_0 "60.00000000000001".
- 847622 cpu_core_0 "60.00000000000001".
- 847652 cpu_core_0 "60.00000000000001".
- 847895 cpu_core_0 "60.00000000000001".
- 847985 cpu_core_0 "60.00000000000001".
- 848348 cpu_core_0 "60.00000000000001".
- 849007 cpu_core_0 "60.00000000000001".
- 849345 cpu_core_0 "60.00000000000001".
- 849479 cpu_core_0 "60.00000000000001".
- 849682 cpu_core_0 "60.00000000000001".
- 849843 cpu_core_0 "60.00000000000001".
- 850034 cpu_core_0 "60.00000000000001".
- 850240 cpu_core_0 "60.00000000000001".
- 850873 cpu_core_0 "60.00000000000001".
- 850958 cpu_core_0 "60.00000000000001".
- 851398 cpu_core_0 "60.00000000000001".
- 852262 cpu_core_0 "60.00000000000001".
- 852305 cpu_core_0 "60.00000000000001".
- 852353 cpu_core_0 "60.00000000000001".