Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 678828 cpu_core_1 "3.9215686274509802".
- 679739 cpu_core_1 "3.9215686274509802".
- 679823 cpu_core_1 "3.9215686274509802".
- 681514 cpu_core_1 "3.9215686274509802".
- 681917 cpu_core_1 "3.9215686274509802".
- 682730 cpu_core_1 "3.9215686274509802".
- 683125 cpu_core_1 "3.9215686274509802".
- 683728 cpu_core_1 "3.9215686274509802".
- 684199 cpu_core_1 "3.9215686274509802".
- 684488 cpu_core_1 "3.9215686274509802".
- 686172 cpu_core_1 "3.9215686274509802".
- 686774 cpu_core_1 "3.9215686274509802".
- 686872 cpu_core_1 "3.9215686274509802".
- 687927 cpu_core_1 "3.9215686274509802".
- 689434 cpu_core_1 "3.9215686274509802".
- 690861 cpu_core_1 "3.9215686274509802".
- 690992 cpu_core_1 "3.9215686274509802".
- 691193 cpu_core_1 "3.9215686274509802".
- 691271 cpu_core_1 "3.9215686274509802".
- 692926 cpu_core_1 "3.9215686274509802".
- 693080 cpu_core_1 "3.9215686274509802".
- 693826 cpu_core_1 "3.9215686274509802".
- 693832 cpu_core_1 "3.9215686274509802".
- 694101 cpu_core_1 "3.9215686274509802".
- 694247 cpu_core_1 "3.9215686274509802".
- 701000 cpu_core_1 "3.9215686274509802".
- 702215 cpu_core_1 "3.9215686274509802".
- 702262 cpu_core_1 "3.9215686274509802".
- 702351 cpu_core_1 "3.9215686274509802".
- 702442 cpu_core_1 "3.9215686274509802".
- 702455 cpu_core_1 "3.9215686274509802".
- 702535 cpu_core_1 "3.9215686274509802".
- 702588 cpu_core_1 "3.9215686274509802".
- 702841 cpu_core_1 "3.9215686274509802".
- 704699 cpu_core_1 "3.9215686274509802".
- 705584 cpu_core_1 "3.9215686274509802".
- 706032 cpu_core_1 "3.9215686274509802".
- 708041 cpu_core_1 "3.9215686274509802".
- 709648 cpu_core_1 "3.9215686274509802".
- 710170 cpu_core_1 "3.9215686274509802".
- 710285 cpu_core_1 "3.9215686274509802".
- 712730 cpu_core_1 "3.9215686274509802".
- 719676 cpu_core_1 "3.9215686274509802".
- 720769 cpu_core_1 "3.9215686274509802".
- 720927 cpu_core_1 "3.9215686274509802".
- 722014 cpu_core_1 "3.9215686274509802".
- 722521 cpu_core_1 "3.9215686274509802".
- 724301 cpu_core_1 "3.9215686274509802".
- 727650 cpu_core_1 "3.9215686274509802".
- 728911 cpu_core_1 "3.9215686274509802".
- 730888 cpu_core_1 "3.9215686274509802".
- 730891 cpu_core_1 "3.9215686274509802".
- 736768 cpu_core_1 "3.9215686274509802".
- 736976 cpu_core_1 "3.9215686274509802".
- 737101 cpu_core_1 "3.9215686274509802".
- 737225 cpu_core_1 "3.9215686274509802".
- 739011 cpu_core_1 "3.9215686274509802".
- 741735 cpu_core_1 "3.9215686274509802".
- 751172 cpu_core_1 "3.9215686274509802".
- 751240 cpu_core_1 "3.9215686274509802".
- 754242 cpu_core_1 "3.9215686274509802".
- 755792 cpu_core_1 "3.9215686274509802".
- 755862 cpu_core_1 "3.9215686274509802".
- 755981 cpu_core_1 "3.9215686274509802".
- 756142 cpu_core_1 "3.9215686274509802".
- 758020 cpu_core_1 "3.9215686274509802".
- 759482 cpu_core_1 "3.9215686274509802".
- 762423 cpu_core_1 "3.9215686274509802".
- 763171 cpu_core_1 "3.9215686274509802".
- 763200 cpu_core_1 "3.9215686274509802".
- 763762 cpu_core_1 "3.9215686274509802".
- 763809 cpu_core_1 "3.9215686274509802".
- 765671 cpu_core_1 "3.9215686274509802".
- 767595 cpu_core_1 "3.9215686274509802".
- 770580 cpu_core_1 "3.9215686274509802".
- 774661 cpu_core_1 "3.9215686274509802".
- 777882 cpu_core_1 "3.9215686274509802".
- 777948 cpu_core_1 "3.9215686274509802".
- 779228 cpu_core_1 "3.9215686274509802".
- 781231 cpu_core_1 "3.9215686274509802".
- 782314 cpu_core_1 "3.9215686274509802".
- 783899 cpu_core_1 "3.9215686274509802".
- 785923 cpu_core_1 "3.9215686274509802".
- 786006 cpu_core_1 "3.9215686274509802".
- 786227 cpu_core_1 "3.9215686274509802".
- 786528 cpu_core_1 "3.9215686274509802".
- 789575 cpu_core_1 "3.9215686274509802".
- 791317 cpu_core_1 "3.9215686274509802".
- 794303 cpu_core_1 "3.9215686274509802".
- 795956 cpu_core_1 "3.9215686274509802".
- 796350 cpu_core_1 "3.9215686274509802".
- 796723 cpu_core_1 "3.9215686274509802".
- 797158 cpu_core_1 "3.9215686274509802".
- 798289 cpu_core_1 "3.9215686274509802".
- 798658 cpu_core_1 "3.9215686274509802".
- 798715 cpu_core_1 "3.9215686274509802".
- 799450 cpu_core_1 "3.9215686274509802".
- 799764 cpu_core_1 "3.9215686274509802".
- 800709 cpu_core_1 "3.9215686274509802".
- 800823 cpu_core_1 "3.9215686274509802".