Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 831651 cpu_core_0 "72.00000000000001".
- 832688 cpu_core_0 "72.00000000000001".
- 833095 cpu_core_0 "72.00000000000001".
- 833100 cpu_core_0 "72.00000000000001".
- 833593 cpu_core_0 "72.00000000000001".
- 833722 cpu_core_0 "72.00000000000001".
- 833775 cpu_core_0 "72.00000000000001".
- 834280 cpu_core_0 "72.00000000000001".
- 834303 cpu_core_0 "72.00000000000001".
- 834482 cpu_core_0 "72.00000000000001".
- 834673 cpu_core_0 "72.00000000000001".
- 835243 cpu_core_0 "72.00000000000001".
- 835499 cpu_core_0 "72.00000000000001".
- 835669 cpu_core_0 "72.00000000000001".
- 835801 cpu_core_0 "72.00000000000001".
- 835819 cpu_core_0 "72.00000000000001".
- 836006 cpu_core_0 "72.00000000000001".
- 836197 cpu_core_0 "72.00000000000001".
- 836445 cpu_core_0 "72.00000000000001".
- 836505 cpu_core_0 "72.00000000000001".
- 836833 cpu_core_0 "72.00000000000001".
- 836880 cpu_core_0 "72.00000000000001".
- 837138 cpu_core_0 "72.00000000000001".
- 837201 cpu_core_0 "72.00000000000001".
- 838077 cpu_core_0 "72.00000000000001".
- 838125 cpu_core_0 "72.00000000000001".
- 838446 cpu_core_0 "72.00000000000001".
- 838618 cpu_core_0 "72.00000000000001".
- 838638 cpu_core_0 "72.00000000000001".
- 838732 cpu_core_0 "72.00000000000001".
- 839400 cpu_core_0 "72.00000000000001".
- 839624 cpu_core_0 "72.00000000000001".
- 839660 cpu_core_0 "72.00000000000001".
- 839664 cpu_core_0 "72.00000000000001".
- 839850 cpu_core_0 "72.00000000000001".
- 839930 cpu_core_0 "72.00000000000001".
- 840928 cpu_core_0 "72.00000000000001".
- 840983 cpu_core_0 "72.00000000000001".
- 841000 cpu_core_0 "72.00000000000001".
- 841085 cpu_core_0 "72.00000000000001".
- 841145 cpu_core_0 "72.00000000000001".
- 841220 cpu_core_0 "72.00000000000001".
- 841420 cpu_core_0 "72.00000000000001".
- 841897 cpu_core_0 "72.00000000000001".
- 842382 cpu_core_0 "72.00000000000001".
- 842571 cpu_core_0 "72.00000000000001".
- 842909 cpu_core_0 "72.00000000000001".
- 843108 cpu_core_0 "72.00000000000001".
- 843135 cpu_core_0 "72.00000000000001".
- 843145 cpu_core_0 "72.00000000000001".
- 843161 cpu_core_0 "72.00000000000001".
- 843166 cpu_core_0 "72.00000000000001".
- 843250 cpu_core_0 "72.00000000000001".
- 843253 cpu_core_0 "72.00000000000001".
- 843369 cpu_core_0 "72.00000000000001".
- 843391 cpu_core_0 "72.00000000000001".
- 843486 cpu_core_0 "72.00000000000001".
- 843641 cpu_core_0 "72.00000000000001".
- 843862 cpu_core_0 "72.00000000000001".
- 844779 cpu_core_0 "72.00000000000001".
- 844945 cpu_core_0 "72.00000000000001".
- 844976 cpu_core_0 "72.00000000000001".
- 845464 cpu_core_0 "72.00000000000001".
- 845472 cpu_core_0 "72.00000000000001".
- 845764 cpu_core_0 "72.00000000000001".
- 846331 cpu_core_0 "72.00000000000001".
- 846427 cpu_core_0 "72.00000000000001".
- 846520 cpu_core_0 "72.00000000000001".
- 846921 cpu_core_0 "72.00000000000001".
- 847067 cpu_core_0 "72.00000000000001".
- 847337 cpu_core_0 "72.00000000000001".
- 847657 cpu_core_0 "72.00000000000001".
- 847760 cpu_core_0 "72.00000000000001".
- 847762 cpu_core_0 "72.00000000000001".
- 847914 cpu_core_0 "72.00000000000001".
- 848013 cpu_core_0 "72.00000000000001".
- 848404 cpu_core_0 "72.00000000000001".
- 848798 cpu_core_0 "72.00000000000001".
- 849018 cpu_core_0 "72.00000000000001".
- 849114 cpu_core_0 "72.00000000000001".
- 849147 cpu_core_0 "72.00000000000001".
- 849323 cpu_core_0 "72.00000000000001".
- 849657 cpu_core_0 "72.00000000000001".
- 850222 cpu_core_0 "72.00000000000001".
- 850252 cpu_core_0 "72.00000000000001".
- 850377 cpu_core_0 "72.00000000000001".
- 851287 cpu_core_0 "72.00000000000001".
- 851765 cpu_core_0 "72.00000000000001".
- 852538 cpu_core_0 "72.00000000000001".
- 852588 cpu_core_0 "72.00000000000001".
- 852596 cpu_core_0 "72.00000000000001".
- 852676 cpu_core_0 "72.00000000000001".
- 852709 cpu_core_0 "72.00000000000001".
- 852826 cpu_core_0 "72.00000000000001".
- 852879 cpu_core_0 "72.00000000000001".
- 852908 cpu_core_0 "72.00000000000001".
- 853192 cpu_core_0 "72.00000000000001".
- 853200 cpu_core_0 "72.00000000000001".
- 853997 cpu_core_0 "72.00000000000001".
- 854403 cpu_core_0 "72.00000000000001".