Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 801071 cpu_core_1 "3.9215686274509802".
- 801375 cpu_core_1 "3.9215686274509802".
- 801716 cpu_core_1 "3.9215686274509802".
- 802002 cpu_core_1 "3.9215686274509802".
- 802247 cpu_core_1 "3.9215686274509802".
- 803673 cpu_core_1 "3.9215686274509802".
- 804021 cpu_core_1 "3.9215686274509802".
- 804166 cpu_core_1 "3.9215686274509802".
- 804372 cpu_core_1 "3.9215686274509802".
- 804396 cpu_core_1 "3.9215686274509802".
- 804673 cpu_core_1 "3.9215686274509802".
- 805077 cpu_core_1 "3.9215686274509802".
- 806337 cpu_core_1 "3.9215686274509802".
- 809744 cpu_core_1 "3.9215686274509802".
- 810378 cpu_core_1 "3.9215686274509802".
- 812379 cpu_core_1 "3.9215686274509802".
- 816394 cpu_core_1 "3.9215686274509802".
- 816556 cpu_core_1 "3.9215686274509802".
- 816686 cpu_core_1 "3.9215686274509802".
- 816801 cpu_core_1 "3.9215686274509802".
- 816894 cpu_core_1 "3.9215686274509802".
- 817414 cpu_core_1 "3.9215686274509802".
- 817424 cpu_core_1 "3.9215686274509802".
- 818087 cpu_core_1 "3.9215686274509802".
- 818897 cpu_core_1 "3.9215686274509802".
- 819406 cpu_core_1 "3.9215686274509802".
- 820130 cpu_core_1 "3.9215686274509802".
- 822521 cpu_core_1 "3.9215686274509802".
- 822829 cpu_core_1 "3.9215686274509802".
- 825675 cpu_core_1 "3.9215686274509802".
- 826599 cpu_core_1 "3.9215686274509802".
- 827714 cpu_core_1 "3.9215686274509802".
- 829837 cpu_core_1 "3.9215686274509802".
- 830916 cpu_core_1 "3.9215686274509802".
- 832762 cpu_core_1 "3.9215686274509802".
- 833412 cpu_core_1 "3.9215686274509802".
- 834306 cpu_core_1 "3.9215686274509802".
- 834921 cpu_core_1 "3.9215686274509802".
- 835495 cpu_core_1 "3.9215686274509802".
- 836047 cpu_core_1 "3.9215686274509802".
- 836146 cpu_core_1 "3.9215686274509802".
- 836346 cpu_core_1 "3.9215686274509802".
- 837721 cpu_core_1 "3.9215686274509802".
- 838126 cpu_core_1 "3.9215686274509802".
- 838450 cpu_core_1 "3.9215686274509802".
- 838512 cpu_core_1 "3.9215686274509802".
- 839457 cpu_core_1 "3.9215686274509802".
- 840197 cpu_core_1 "3.9215686274509802".
- 840335 cpu_core_1 "3.9215686274509802".
- 841130 cpu_core_1 "3.9215686274509802".
- 842107 cpu_core_1 "3.9215686274509802".
- 843239 cpu_core_1 "3.9215686274509802".
- 844253 cpu_core_1 "3.9215686274509802".
- 844728 cpu_core_1 "3.9215686274509802".
- 845189 cpu_core_1 "3.9215686274509802".
- 845902 cpu_core_1 "3.9215686274509802".
- 846196 cpu_core_1 "3.9215686274509802".
- 846996 cpu_core_1 "3.9215686274509802".
- 847159 cpu_core_1 "3.9215686274509802".
- 850442 cpu_core_1 "3.9215686274509802".
- 850671 cpu_core_1 "3.9215686274509802".
- 854077 cpu_core_1 "3.9215686274509802".
- 854756 cpu_core_1 "3.9215686274509802".
- 854834 cpu_core_1 "3.9215686274509802".
- 854979 cpu_core_1 "3.9215686274509802".
- 855562 cpu_core_1 "3.9215686274509802".
- 855821 cpu_core_1 "3.9215686274509802".
- 856432 cpu_core_1 "3.9215686274509802".
- 857320 cpu_core_1 "3.9215686274509802".
- 857797 cpu_core_1 "3.9215686274509802".
- 857931 cpu_core_1 "3.9215686274509802".
- 858990 cpu_core_1 "3.9215686274509802".
- 859463 cpu_core_1 "3.9215686274509802".
- 859786 cpu_core_1 "3.9215686274509802".
- 860499 cpu_core_1 "3.9215686274509802".
- 861720 cpu_core_1 "3.9215686274509802".
- 861817 cpu_core_1 "3.9215686274509802".
- 862472 cpu_core_1 "3.9215686274509802".
- 863271 cpu_core_1 "3.9215686274509802".
- 864014 cpu_core_1 "3.9215686274509802".
- 864179 cpu_core_1 "3.9215686274509802".
- 864387 cpu_core_1 "3.9215686274509802".
- 865803 cpu_core_1 "3.9215686274509802".
- 865834 cpu_core_1 "3.9215686274509802".
- 866254 cpu_core_1 "3.9215686274509802".
- 867875 cpu_core_1 "3.9215686274509802".
- 868249 cpu_core_1 "3.9215686274509802".
- 868783 cpu_core_1 "3.9215686274509802".
- 870572 cpu_core_1 "3.9215686274509802".
- 871839 cpu_core_1 "3.9215686274509802".
- 872960 cpu_core_1 "3.9215686274509802".
- 873094 cpu_core_1 "3.9215686274509802".
- 873387 cpu_core_1 "3.9215686274509802".
- 874223 cpu_core_1 "3.9215686274509802".
- 874504 cpu_core_1 "3.9215686274509802".
- 875364 cpu_core_1 "3.9215686274509802".
- 876967 cpu_core_1 "3.9215686274509802".
- 877868 cpu_core_1 "3.9215686274509802".
- 878485 cpu_core_1 "3.9215686274509802".
- 879149 cpu_core_1 "3.9215686274509802".