Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 831345 cpu_core_0 "86.00000000000001".
- 831619 cpu_core_0 "86.00000000000001".
- 831711 cpu_core_0 "86.00000000000001".
- 832445 cpu_core_0 "86.00000000000001".
- 832995 cpu_core_0 "86.00000000000001".
- 833226 cpu_core_0 "86.00000000000001".
- 833814 cpu_core_0 "86.00000000000001".
- 833923 cpu_core_0 "86.00000000000001".
- 834051 cpu_core_0 "86.00000000000001".
- 834105 cpu_core_0 "86.00000000000001".
- 834666 cpu_core_0 "86.00000000000001".
- 835162 cpu_core_0 "86.00000000000001".
- 835777 cpu_core_0 "86.00000000000001".
- 836613 cpu_core_0 "86.00000000000001".
- 836799 cpu_core_0 "86.00000000000001".
- 836894 cpu_core_0 "86.00000000000001".
- 837501 cpu_core_0 "86.00000000000001".
- 837555 cpu_core_0 "86.00000000000001".
- 837635 cpu_core_0 "86.00000000000001".
- 837751 cpu_core_0 "86.00000000000001".
- 837840 cpu_core_0 "86.00000000000001".
- 837962 cpu_core_0 "86.00000000000001".
- 840667 cpu_core_0 "86.00000000000001".
- 840963 cpu_core_0 "86.00000000000001".
- 841128 cpu_core_0 "86.00000000000001".
- 841795 cpu_core_0 "86.00000000000001".
- 841833 cpu_core_0 "86.00000000000001".
- 842919 cpu_core_0 "86.00000000000001".
- 843530 cpu_core_0 "86.00000000000001".
- 844130 cpu_core_0 "86.00000000000001".
- 844238 cpu_core_0 "86.00000000000001".
- 845486 cpu_core_0 "86.00000000000001".
- 846051 cpu_core_0 "86.00000000000001".
- 846095 cpu_core_0 "86.00000000000001".
- 846102 cpu_core_0 "86.00000000000001".
- 846853 cpu_core_0 "86.00000000000001".
- 847130 cpu_core_0 "86.00000000000001".
- 847135 cpu_core_0 "86.00000000000001".
- 847383 cpu_core_0 "86.00000000000001".
- 847487 cpu_core_0 "86.00000000000001".
- 848874 cpu_core_0 "86.00000000000001".
- 848893 cpu_core_0 "86.00000000000001".
- 849974 cpu_core_0 "86.00000000000001".
- 850082 cpu_core_0 "86.00000000000001".
- 850604 cpu_core_0 "86.00000000000001".
- 851898 cpu_core_0 "86.00000000000001".
- 852001 cpu_core_0 "86.00000000000001".
- 852064 cpu_core_0 "86.00000000000001".
- 852994 cpu_core_0 "86.00000000000001".
- 853185 cpu_core_0 "86.00000000000001".
- 853632 cpu_core_0 "86.00000000000001".
- 853691 cpu_core_0 "86.00000000000001".
- 854057 cpu_core_0 "86.00000000000001".
- 854100 cpu_core_0 "86.00000000000001".
- 854927 cpu_core_0 "86.00000000000001".
- 855711 cpu_core_0 "86.00000000000001".
- 855756 cpu_core_0 "86.00000000000001".
- 856861 cpu_core_0 "86.00000000000001".
- 857394 cpu_core_0 "86.00000000000001".
- 857439 cpu_core_0 "86.00000000000001".
- 858060 cpu_core_0 "86.00000000000001".
- 858242 cpu_core_0 "86.00000000000001".
- 858719 cpu_core_0 "86.00000000000001".
- 858853 cpu_core_0 "86.00000000000001".
- 859458 cpu_core_0 "86.00000000000001".
- 859665 cpu_core_0 "86.00000000000001".
- 859716 cpu_core_0 "86.00000000000001".
- 859780 cpu_core_0 "86.00000000000001".
- 859839 cpu_core_0 "86.00000000000001".
- 859855 cpu_core_0 "86.00000000000001".
- 862492 cpu_core_0 "86.00000000000001".
- 862597 cpu_core_0 "86.00000000000001".
- 864142 cpu_core_0 "86.00000000000001".
- 865863 cpu_core_0 "86.00000000000001".
- 866072 cpu_core_0 "86.00000000000001".
- 867352 cpu_core_0 "86.00000000000001".
- 867473 cpu_core_0 "86.00000000000001".
- 869479 cpu_core_0 "86.00000000000001".
- 869871 cpu_core_0 "86.00000000000001".
- 870222 cpu_core_0 "86.00000000000001".
- 871287 cpu_core_0 "86.00000000000001".
- 871422 cpu_core_0 "86.00000000000001".
- 871763 cpu_core_0 "86.00000000000001".
- 872635 cpu_core_0 "86.00000000000001".
- 873694 cpu_core_0 "86.00000000000001".
- 873700 cpu_core_0 "86.00000000000001".
- 874859 cpu_core_0 "86.00000000000001".
- 875828 cpu_core_0 "86.00000000000001".
- 875846 cpu_core_0 "86.00000000000001".
- 875862 cpu_core_0 "86.00000000000001".
- 876119 cpu_core_0 "86.00000000000001".
- 876267 cpu_core_0 "86.00000000000001".
- 877048 cpu_core_0 "86.00000000000001".
- 877410 cpu_core_0 "86.00000000000001".
- 877999 cpu_core_0 "86.00000000000001".
- 879700 cpu_core_0 "86.00000000000001".
- 880183 cpu_core_0 "86.00000000000001".
- 880343 cpu_core_0 "86.00000000000001".
- 880391 cpu_core_0 "86.00000000000001".
- 880984 cpu_core_0 "86.00000000000001".