Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 855239 cpu_core_0 "72.00000000000001".
- 855431 cpu_core_0 "72.00000000000001".
- 855660 cpu_core_0 "72.00000000000001".
- 855730 cpu_core_0 "72.00000000000001".
- 856128 cpu_core_0 "72.00000000000001".
- 856196 cpu_core_0 "72.00000000000001".
- 856285 cpu_core_0 "72.00000000000001".
- 856337 cpu_core_0 "72.00000000000001".
- 856491 cpu_core_0 "72.00000000000001".
- 857142 cpu_core_0 "72.00000000000001".
- 857408 cpu_core_0 "72.00000000000001".
- 857501 cpu_core_0 "72.00000000000001".
- 858089 cpu_core_0 "72.00000000000001".
- 858131 cpu_core_0 "72.00000000000001".
- 858200 cpu_core_0 "72.00000000000001".
- 858788 cpu_core_0 "72.00000000000001".
- 858812 cpu_core_0 "72.00000000000001".
- 859164 cpu_core_0 "72.00000000000001".
- 859320 cpu_core_0 "72.00000000000001".
- 860588 cpu_core_0 "72.00000000000001".
- 860910 cpu_core_0 "72.00000000000001".
- 861016 cpu_core_0 "72.00000000000001".
- 861429 cpu_core_0 "72.00000000000001".
- 861550 cpu_core_0 "72.00000000000001".
- 862124 cpu_core_0 "72.00000000000001".
- 863173 cpu_core_0 "72.00000000000001".
- 864227 cpu_core_0 "72.00000000000001".
- 864306 cpu_core_0 "72.00000000000001".
- 864359 cpu_core_0 "72.00000000000001".
- 864360 cpu_core_0 "72.00000000000001".
- 864711 cpu_core_0 "72.00000000000001".
- 864848 cpu_core_0 "72.00000000000001".
- 864857 cpu_core_0 "72.00000000000001".
- 864874 cpu_core_0 "72.00000000000001".
- 864979 cpu_core_0 "72.00000000000001".
- 865012 cpu_core_0 "72.00000000000001".
- 865017 cpu_core_0 "72.00000000000001".
- 865044 cpu_core_0 "72.00000000000001".
- 865320 cpu_core_0 "72.00000000000001".
- 865659 cpu_core_0 "72.00000000000001".
- 865689 cpu_core_0 "72.00000000000001".
- 866747 cpu_core_0 "72.00000000000001".
- 866992 cpu_core_0 "72.00000000000001".
- 867046 cpu_core_0 "72.00000000000001".
- 867295 cpu_core_0 "72.00000000000001".
- 867542 cpu_core_0 "72.00000000000001".
- 867609 cpu_core_0 "72.00000000000001".
- 867658 cpu_core_0 "72.00000000000001".
- 867757 cpu_core_0 "72.00000000000001".
- 868360 cpu_core_0 "72.00000000000001".
- 868773 cpu_core_0 "72.00000000000001".
- 868844 cpu_core_0 "72.00000000000001".
- 868905 cpu_core_0 "72.00000000000001".
- 869246 cpu_core_0 "72.00000000000001".
- 869305 cpu_core_0 "72.00000000000001".
- 869464 cpu_core_0 "72.00000000000001".
- 869769 cpu_core_0 "72.00000000000001".
- 870143 cpu_core_0 "72.00000000000001".
- 870526 cpu_core_0 "72.00000000000001".
- 870974 cpu_core_0 "72.00000000000001".
- 871142 cpu_core_0 "72.00000000000001".
- 871185 cpu_core_0 "72.00000000000001".
- 871571 cpu_core_0 "72.00000000000001".
- 871936 cpu_core_0 "72.00000000000001".
- 872420 cpu_core_0 "72.00000000000001".
- 872856 cpu_core_0 "72.00000000000001".
- 873191 cpu_core_0 "72.00000000000001".
- 873466 cpu_core_0 "72.00000000000001".
- 873474 cpu_core_0 "72.00000000000001".
- 873674 cpu_core_0 "72.00000000000001".
- 873985 cpu_core_0 "72.00000000000001".
- 874063 cpu_core_0 "72.00000000000001".
- 874172 cpu_core_0 "72.00000000000001".
- 874932 cpu_core_0 "72.00000000000001".
- 875030 cpu_core_0 "72.00000000000001".
- 875071 cpu_core_0 "72.00000000000001".
- 876531 cpu_core_0 "72.00000000000001".
- 876572 cpu_core_0 "72.00000000000001".
- 876624 cpu_core_0 "72.00000000000001".
- 876694 cpu_core_0 "72.00000000000001".
- 876777 cpu_core_0 "72.00000000000001".
- 876867 cpu_core_0 "72.00000000000001".
- 876887 cpu_core_0 "72.00000000000001".
- 877647 cpu_core_0 "72.00000000000001".
- 877981 cpu_core_0 "72.00000000000001".
- 878140 cpu_core_0 "72.00000000000001".
- 878209 cpu_core_0 "72.00000000000001".
- 878513 cpu_core_0 "72.00000000000001".
- 878604 cpu_core_0 "72.00000000000001".
- 878658 cpu_core_0 "72.00000000000001".
- 878721 cpu_core_0 "72.00000000000001".
- 879356 cpu_core_0 "72.00000000000001".
- 879417 cpu_core_0 "72.00000000000001".
- 879724 cpu_core_0 "72.00000000000001".
- 880086 cpu_core_0 "72.00000000000001".
- 880322 cpu_core_0 "72.00000000000001".
- 880519 cpu_core_0 "72.00000000000001".
- 880775 cpu_core_0 "72.00000000000001".
- 880934 cpu_core_0 "72.00000000000001".
- 881056 cpu_core_0 "72.00000000000001".