Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1009458 cpu_core_0 "15.841584158415841".
- 1009941 cpu_core_0 "15.841584158415841".
- 1010531 cpu_core_0 "15.841584158415841".
- 1010549 cpu_core_0 "15.841584158415841".
- 1010816 cpu_core_0 "15.841584158415841".
- 1011293 cpu_core_0 "15.841584158415841".
- 1011298 cpu_core_0 "15.841584158415841".
- 1013448 cpu_core_0 "15.841584158415841".
- 1015752 cpu_core_0 "15.841584158415841".
- 1015856 cpu_core_0 "15.841584158415841".
- 1015995 cpu_core_0 "15.841584158415841".
- 1016058 cpu_core_0 "15.841584158415841".
- 1016067 cpu_core_0 "15.841584158415841".
- 1016125 cpu_core_0 "15.841584158415841".
- 1016298 cpu_core_0 "15.841584158415841".
- 1016405 cpu_core_0 "15.841584158415841".
- 1016498 cpu_core_0 "15.841584158415841".
- 1016729 cpu_core_0 "15.841584158415841".
- 1016879 cpu_core_0 "15.841584158415841".
- 1016882 cpu_core_0 "15.841584158415841".
- 1016978 cpu_core_0 "15.841584158415841".
- 1017196 cpu_core_0 "15.841584158415841".
- 1017250 cpu_core_0 "15.841584158415841".
- 1017553 cpu_core_0 "15.841584158415841".
- 1017555 cpu_core_0 "15.841584158415841".
- 1017692 cpu_core_0 "15.841584158415841".
- 1017828 cpu_core_0 "15.841584158415841".
- 1017916 cpu_core_0 "15.841584158415841".
- 1017919 cpu_core_0 "15.841584158415841".
- 1018183 cpu_core_0 "15.841584158415841".
- 1018210 cpu_core_0 "15.841584158415841".
- 1018332 cpu_core_0 "15.841584158415841".
- 1018340 cpu_core_0 "15.841584158415841".
- 1018341 cpu_core_0 "15.841584158415841".
- 1018351 cpu_core_0 "15.841584158415841".
- 1018387 cpu_core_0 "15.841584158415841".
- 1018828 cpu_core_0 "15.841584158415841".
- 1019115 cpu_core_0 "15.841584158415841".
- 1019149 cpu_core_0 "15.841584158415841".
- 1019152 cpu_core_0 "15.841584158415841".
- 1019602 cpu_core_0 "15.841584158415841".
- 1019755 cpu_core_0 "15.841584158415841".
- 1019765 cpu_core_0 "15.841584158415841".
- 1019833 cpu_core_0 "15.841584158415841".
- 1019854 cpu_core_0 "15.841584158415841".
- 1020128 cpu_core_0 "15.841584158415841".
- 1020147 cpu_core_0 "15.841584158415841".
- 1020194 cpu_core_0 "15.841584158415841".
- 1020198 cpu_core_0 "15.841584158415841".
- 1020375 cpu_core_0 "15.841584158415841".
- 1020391 cpu_core_0 "15.841584158415841".
- 1020575 cpu_core_0 "15.841584158415841".
- 1021128 cpu_core_0 "15.841584158415841".
- 1021398 cpu_core_0 "15.841584158415841".
- 1021692 cpu_core_0 "15.841584158415841".
- 1021797 cpu_core_0 "15.841584158415841".
- 1021899 cpu_core_0 "15.841584158415841".
- 1021905 cpu_core_0 "15.841584158415841".
- 1021942 cpu_core_0 "15.841584158415841".
- 1021960 cpu_core_0 "15.841584158415841".
- 1022045 cpu_core_0 "15.841584158415841".
- 1022048 cpu_core_0 "15.841584158415841".
- 1022843 cpu_core_0 "15.841584158415841".
- 1022914 cpu_core_0 "15.841584158415841".
- 1022923 cpu_core_0 "15.841584158415841".
- 1023365 cpu_core_0 "15.841584158415841".
- 1023818 cpu_core_0 "15.841584158415841".
- 1024176 cpu_core_0 "15.841584158415841".
- 1024299 cpu_core_0 "15.841584158415841".
- 1024963 cpu_core_0 "15.841584158415841".
- 1025404 cpu_core_0 "15.841584158415841".
- 1025532 cpu_core_0 "15.841584158415841".
- 1025565 cpu_core_0 "15.841584158415841".
- 1025648 cpu_core_0 "15.841584158415841".
- 1026022 cpu_core_0 "15.841584158415841".
- 1026291 cpu_core_0 "15.841584158415841".
- 1026322 cpu_core_0 "15.841584158415841".
- 1026346 cpu_core_0 "15.841584158415841".
- 1026362 cpu_core_0 "15.841584158415841".
- 1026797 cpu_core_0 "15.841584158415841".
- 1027024 cpu_core_0 "15.841584158415841".
- 1027031 cpu_core_0 "15.841584158415841".
- 1027178 cpu_core_0 "15.841584158415841".
- 1027214 cpu_core_0 "15.841584158415841".
- 1027296 cpu_core_0 "15.841584158415841".
- 1027380 cpu_core_0 "15.841584158415841".
- 1027409 cpu_core_0 "15.841584158415841".
- 1027492 cpu_core_0 "15.841584158415841".
- 1027580 cpu_core_0 "15.841584158415841".
- 1027614 cpu_core_0 "15.841584158415841".
- 1027647 cpu_core_0 "15.841584158415841".
- 1027866 cpu_core_0 "15.841584158415841".
- 1028066 cpu_core_0 "15.841584158415841".
- 1028130 cpu_core_0 "15.841584158415841".
- 1028166 cpu_core_0 "15.841584158415841".
- 1028178 cpu_core_0 "15.841584158415841".
- 1028413 cpu_core_0 "15.841584158415841".
- 1028589 cpu_core_0 "15.841584158415841".
- 1028701 cpu_core_0 "15.841584158415841".
- 1028750 cpu_core_0 "15.841584158415841".