Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 792834 cpu_core_0 "25.742574257425744".
- 792860 cpu_core_0 "25.742574257425744".
- 793124 cpu_core_0 "25.742574257425744".
- 793604 cpu_core_0 "25.742574257425744".
- 793701 cpu_core_0 "25.742574257425744".
- 793832 cpu_core_0 "25.742574257425744".
- 794147 cpu_core_0 "25.742574257425744".
- 797868 cpu_core_0 "25.742574257425744".
- 797938 cpu_core_0 "25.742574257425744".
- 799019 cpu_core_0 "25.742574257425744".
- 799694 cpu_core_0 "25.742574257425744".
- 800026 cpu_core_0 "25.742574257425744".
- 800995 cpu_core_0 "25.742574257425744".
- 801003 cpu_core_0 "25.742574257425744".
- 801097 cpu_core_0 "25.742574257425744".
- 801163 cpu_core_0 "25.742574257425744".
- 801297 cpu_core_0 "25.742574257425744".
- 801700 cpu_core_0 "25.742574257425744".
- 801896 cpu_core_0 "25.742574257425744".
- 802437 cpu_core_0 "25.742574257425744".
- 802567 cpu_core_0 "25.742574257425744".
- 802674 cpu_core_0 "25.742574257425744".
- 802733 cpu_core_0 "25.742574257425744".
- 802791 cpu_core_0 "25.742574257425744".
- 802974 cpu_core_0 "25.742574257425744".
- 804953 cpu_core_0 "25.742574257425744".
- 805359 cpu_core_0 "25.742574257425744".
- 805715 cpu_core_0 "25.742574257425744".
- 806043 cpu_core_0 "25.742574257425744".
- 807213 cpu_core_0 "25.742574257425744".
- 807227 cpu_core_0 "25.742574257425744".
- 807255 cpu_core_0 "25.742574257425744".
- 807676 cpu_core_0 "25.742574257425744".
- 807791 cpu_core_0 "25.742574257425744".
- 807811 cpu_core_0 "25.742574257425744".
- 808950 cpu_core_0 "25.742574257425744".
- 809530 cpu_core_0 "25.742574257425744".
- 810382 cpu_core_0 "25.742574257425744".
- 810392 cpu_core_0 "25.742574257425744".
- 810413 cpu_core_0 "25.742574257425744".
- 810877 cpu_core_0 "25.742574257425744".
- 811248 cpu_core_0 "25.742574257425744".
- 811280 cpu_core_0 "25.742574257425744".
- 811349 cpu_core_0 "25.742574257425744".
- 812190 cpu_core_0 "25.742574257425744".
- 812385 cpu_core_0 "25.742574257425744".
- 812573 cpu_core_0 "25.742574257425744".
- 813677 cpu_core_0 "25.742574257425744".
- 813700 cpu_core_0 "25.742574257425744".
- 813761 cpu_core_0 "25.742574257425744".
- 813927 cpu_core_0 "25.742574257425744".
- 814039 cpu_core_0 "25.742574257425744".
- 814091 cpu_core_0 "25.742574257425744".
- 814187 cpu_core_0 "25.742574257425744".
- 814754 cpu_core_0 "25.742574257425744".
- 814826 cpu_core_0 "25.742574257425744".
- 814851 cpu_core_0 "25.742574257425744".
- 815020 cpu_core_0 "25.742574257425744".
- 815133 cpu_core_0 "25.742574257425744".
- 815195 cpu_core_0 "25.742574257425744".
- 815439 cpu_core_0 "25.742574257425744".
- 815448 cpu_core_0 "25.742574257425744".
- 816437 cpu_core_0 "25.742574257425744".
- 817479 cpu_core_0 "25.742574257425744".
- 817499 cpu_core_0 "25.742574257425744".
- 817563 cpu_core_0 "25.742574257425744".
- 818291 cpu_core_0 "25.742574257425744".
- 818662 cpu_core_0 "25.742574257425744".
- 819554 cpu_core_0 "25.742574257425744".
- 819582 cpu_core_0 "25.742574257425744".
- 820160 cpu_core_0 "25.742574257425744".
- 820607 cpu_core_0 "25.742574257425744".
- 820972 cpu_core_0 "25.742574257425744".
- 821176 cpu_core_0 "25.742574257425744".
- 821421 cpu_core_0 "25.742574257425744".
- 821602 cpu_core_0 "25.742574257425744".
- 821636 cpu_core_0 "25.742574257425744".
- 822686 cpu_core_0 "25.742574257425744".
- 823142 cpu_core_0 "25.742574257425744".
- 823712 cpu_core_0 "25.742574257425744".
- 823995 cpu_core_0 "25.742574257425744".
- 824453 cpu_core_0 "25.742574257425744".
- 825247 cpu_core_0 "25.742574257425744".
- 825399 cpu_core_0 "25.742574257425744".
- 825579 cpu_core_0 "25.742574257425744".
- 825864 cpu_core_0 "25.742574257425744".
- 826100 cpu_core_0 "25.742574257425744".
- 826106 cpu_core_0 "25.742574257425744".
- 826557 cpu_core_0 "25.742574257425744".
- 826704 cpu_core_0 "25.742574257425744".
- 827166 cpu_core_0 "25.742574257425744".
- 827357 cpu_core_0 "25.742574257425744".
- 827458 cpu_core_0 "25.742574257425744".
- 828488 cpu_core_0 "25.742574257425744".
- 828686 cpu_core_0 "25.742574257425744".
- 829838 cpu_core_0 "25.742574257425744".
- 830205 cpu_core_0 "25.742574257425744".
- 830254 cpu_core_0 "25.742574257425744".
- 830639 cpu_core_0 "25.742574257425744".
- 831220 cpu_core_0 "25.742574257425744".