Matches in ISWC2014 Benchmark for { ?s ?p 25.773195876288657. }
- 1011747 cpu_core_0 "25.773195876288657".
- 1012071 cpu_core_0 "25.773195876288657".
- 1012204 cpu_core_0 "25.773195876288657".
- 1012364 cpu_core_0 "25.773195876288657".
- 1012803 cpu_core_0 "25.773195876288657".
- 1013135 cpu_core_0 "25.773195876288657".
- 1013229 cpu_core_0 "25.773195876288657".
- 1013335 cpu_core_0 "25.773195876288657".
- 1040654 cpu_core_0 "25.773195876288657".
- 1211289 cpu_core_0 "25.773195876288657".
- 1212286 cpu_core_0 "25.773195876288657".
- 1213515 cpu_core_0 "25.773195876288657".
- 1219463 cpu_core_0 "25.773195876288657".
- 1227113 cpu_core_0 "25.773195876288657".
- 1236352 cpu_core_0 "25.773195876288657".
- 1236742 cpu_core_0 "25.773195876288657".
- 1236848 cpu_core_0 "25.773195876288657".
- 1274013 cpu_core_0 "25.773195876288657".
- 1285686 cpu_core_0 "25.773195876288657".
- 1285838 cpu_core_0 "25.773195876288657".
- 1402753 cpu_core_0 "25.773195876288657".
- 1405823 cpu_core_0 "25.773195876288657".
- 1417441 cpu_core_0 "25.773195876288657".
- 1462440 cpu_core_0 "25.773195876288657".
- 1466226 cpu_core_0 "25.773195876288657".
- 1509402 cpu_core_0 "25.773195876288657".
- 1599246 cpu_core_0 "25.773195876288657".
- 1639661 cpu_core_0 "25.773195876288657".
- 1643153 cpu_core_0 "25.773195876288657".
- 1645031 cpu_core_0 "25.773195876288657".
- 1645523 cpu_core_0 "25.773195876288657".
- 1646447 cpu_core_0 "25.773195876288657".
- 1669361 cpu_core_0 "25.773195876288657".
- 1670155 cpu_core_0 "25.773195876288657".
- 1670189 cpu_core_0 "25.773195876288657".
- 1671590 cpu_core_0 "25.773195876288657".
- 1673737 cpu_core_0 "25.773195876288657".
- 1673755 cpu_core_0 "25.773195876288657".
- 1674528 cpu_core_0 "25.773195876288657".
- 1674945 cpu_core_0 "25.773195876288657".
- 1675002 cpu_core_0 "25.773195876288657".
- 1675114 cpu_core_0 "25.773195876288657".
- 1678821 cpu_core_0 "25.773195876288657".
- 1696424 cpu_core_0 "25.773195876288657".
- 1711778 cpu_core_0 "25.773195876288657".
- 1753014 cpu_core_0 "25.773195876288657".
- 1915158 cpu_core_0 "25.773195876288657".
- 1915620 cpu_core_0 "25.773195876288657".
- 1916819 cpu_core_0 "25.773195876288657".
- 1917193 cpu_core_0 "25.773195876288657".
- 1917793 cpu_core_0 "25.773195876288657".
- 1920624 cpu_core_0 "25.773195876288657".
- 1924572 cpu_core_0 "25.773195876288657".
- 1925195 cpu_core_0 "25.773195876288657".
- 1927427 cpu_core_0 "25.773195876288657".
- 1927772 cpu_core_0 "25.773195876288657".
- 218667 cpu_core_0 "25.773195876288657".
- 218683 cpu_core_0 "25.773195876288657".
- 240359 cpu_core_0 "25.773195876288657".
- 244984 cpu_core_0 "25.773195876288657".
- 303231 cpu_core_0 "25.773195876288657".
- 340226 cpu_core_0 "25.773195876288657".
- 346170 cpu_core_0 "25.773195876288657".
- 355317 cpu_core_0 "25.773195876288657".
- 363559 cpu_core_0 "25.773195876288657".
- 363568 cpu_core_0 "25.773195876288657".
- 363900 cpu_core_0 "25.773195876288657".
- 364413 cpu_core_0 "25.773195876288657".
- 402810 cpu_core_0 "25.773195876288657".
- 403410 cpu_core_0 "25.773195876288657".
- 403478 cpu_core_0 "25.773195876288657".
- 403727 cpu_core_0 "25.773195876288657".
- 403896 cpu_core_0 "25.773195876288657".
- 404089 cpu_core_0 "25.773195876288657".
- 515704 cpu_core_0 "25.773195876288657".
- 515737 cpu_core_0 "25.773195876288657".
- 516948 cpu_core_0 "25.773195876288657".
- 519892 cpu_core_0 "25.773195876288657".
- 600701 cpu_core_0 "25.773195876288657".
- 601683 cpu_core_0 "25.773195876288657".
- 659228 cpu_core_0 "25.773195876288657".
- 698369 cpu_core_0 "25.773195876288657".
- 698770 cpu_core_0 "25.773195876288657".
- 699743 cpu_core_0 "25.773195876288657".
- 700414 cpu_core_0 "25.773195876288657".
- 781908 cpu_core_0 "25.773195876288657".
- 791366 cpu_core_0 "25.773195876288657".
- 791537 cpu_core_0 "25.773195876288657".
- 902332 cpu_core_0 "25.773195876288657".
- 903059 cpu_core_0 "25.773195876288657".
- 904976 cpu_core_0 "25.773195876288657".
- 909754 cpu_core_0 "25.773195876288657".
- 992841 cpu_core_0 "25.773195876288657".
- 993870 cpu_core_0 "25.773195876288657".
- 994913 cpu_core_0 "25.773195876288657".
- 1011546 cpu_core_1 "25.773195876288657".
- 1011786 cpu_core_1 "25.773195876288657".
- 1013175 cpu_core_1 "25.773195876288657".
- 1207389 cpu_core_1 "25.773195876288657".
- 1209808 cpu_core_1 "25.773195876288657".