Matches in ISWC2014 Benchmark for { ?s ?p 71.00000000000001. }
- 846001 cpu_core_0 "71.00000000000001".
- 846190 cpu_core_0 "71.00000000000001".
- 846336 cpu_core_0 "71.00000000000001".
- 846402 cpu_core_0 "71.00000000000001".
- 847010 cpu_core_0 "71.00000000000001".
- 847063 cpu_core_0 "71.00000000000001".
- 847271 cpu_core_0 "71.00000000000001".
- 847693 cpu_core_0 "71.00000000000001".
- 848619 cpu_core_0 "71.00000000000001".
- 848671 cpu_core_0 "71.00000000000001".
- 848703 cpu_core_0 "71.00000000000001".
- 848845 cpu_core_0 "71.00000000000001".
- 848923 cpu_core_0 "71.00000000000001".
- 849008 cpu_core_0 "71.00000000000001".
- 849061 cpu_core_0 "71.00000000000001".
- 849959 cpu_core_0 "71.00000000000001".
- 850017 cpu_core_0 "71.00000000000001".
- 850057 cpu_core_0 "71.00000000000001".
- 850112 cpu_core_0 "71.00000000000001".
- 850338 cpu_core_0 "71.00000000000001".
- 851200 cpu_core_0 "71.00000000000001".
- 851397 cpu_core_0 "71.00000000000001".
- 851462 cpu_core_0 "71.00000000000001".
- 851489 cpu_core_0 "71.00000000000001".
- 851531 cpu_core_0 "71.00000000000001".
- 851665 cpu_core_0 "71.00000000000001".
- 852695 cpu_core_0 "71.00000000000001".
- 852708 cpu_core_0 "71.00000000000001".
- 852746 cpu_core_0 "71.00000000000001".
- 853033 cpu_core_0 "71.00000000000001".
- 853236 cpu_core_0 "71.00000000000001".
- 853300 cpu_core_0 "71.00000000000001".
- 853904 cpu_core_0 "71.00000000000001".
- 854254 cpu_core_0 "71.00000000000001".
- 854310 cpu_core_0 "71.00000000000001".
- 854487 cpu_core_0 "71.00000000000001".
- 854696 cpu_core_0 "71.00000000000001".
- 855546 cpu_core_0 "71.00000000000001".
- 855835 cpu_core_0 "71.00000000000001".
- 855965 cpu_core_0 "71.00000000000001".
- 856336 cpu_core_0 "71.00000000000001".
- 856557 cpu_core_0 "71.00000000000001".
- 856572 cpu_core_0 "71.00000000000001".
- 856723 cpu_core_0 "71.00000000000001".
- 857357 cpu_core_0 "71.00000000000001".
- 857478 cpu_core_0 "71.00000000000001".
- 857957 cpu_core_0 "71.00000000000001".
- 858168 cpu_core_0 "71.00000000000001".
- 858277 cpu_core_0 "71.00000000000001".
- 858386 cpu_core_0 "71.00000000000001".
- 858413 cpu_core_0 "71.00000000000001".
- 858632 cpu_core_0 "71.00000000000001".
- 858778 cpu_core_0 "71.00000000000001".
- 858857 cpu_core_0 "71.00000000000001".
- 859150 cpu_core_0 "71.00000000000001".
- 859741 cpu_core_0 "71.00000000000001".
- 860119 cpu_core_0 "71.00000000000001".
- 860304 cpu_core_0 "71.00000000000001".
- 860516 cpu_core_0 "71.00000000000001".
- 861089 cpu_core_0 "71.00000000000001".
- 861421 cpu_core_0 "71.00000000000001".
- 861442 cpu_core_0 "71.00000000000001".
- 861614 cpu_core_0 "71.00000000000001".
- 861771 cpu_core_0 "71.00000000000001".
- 861815 cpu_core_0 "71.00000000000001".
- 861816 cpu_core_0 "71.00000000000001".
- 861897 cpu_core_0 "71.00000000000001".
- 862129 cpu_core_0 "71.00000000000001".
- 862564 cpu_core_0 "71.00000000000001".
- 862684 cpu_core_0 "71.00000000000001".
- 862832 cpu_core_0 "71.00000000000001".
- 863182 cpu_core_0 "71.00000000000001".
- 863389 cpu_core_0 "71.00000000000001".
- 863639 cpu_core_0 "71.00000000000001".
- 863709 cpu_core_0 "71.00000000000001".
- 863778 cpu_core_0 "71.00000000000001".
- 863798 cpu_core_0 "71.00000000000001".
- 863809 cpu_core_0 "71.00000000000001".
- 863860 cpu_core_0 "71.00000000000001".
- 864192 cpu_core_0 "71.00000000000001".
- 864221 cpu_core_0 "71.00000000000001".
- 864447 cpu_core_0 "71.00000000000001".
- 864973 cpu_core_0 "71.00000000000001".
- 865831 cpu_core_0 "71.00000000000001".
- 866037 cpu_core_0 "71.00000000000001".
- 866328 cpu_core_0 "71.00000000000001".
- 866520 cpu_core_0 "71.00000000000001".
- 866859 cpu_core_0 "71.00000000000001".
- 867203 cpu_core_0 "71.00000000000001".
- 867214 cpu_core_0 "71.00000000000001".
- 867545 cpu_core_0 "71.00000000000001".
- 867605 cpu_core_0 "71.00000000000001".
- 867966 cpu_core_0 "71.00000000000001".
- 867983 cpu_core_0 "71.00000000000001".
- 867989 cpu_core_0 "71.00000000000001".
- 868087 cpu_core_0 "71.00000000000001".
- 868145 cpu_core_0 "71.00000000000001".
- 868191 cpu_core_0 "71.00000000000001".
- 868214 cpu_core_0 "71.00000000000001".
- 868570 cpu_core_0 "71.00000000000001".