Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1055956 cpu_core_0 "15.841584158415841".
- 1055962 cpu_core_0 "15.841584158415841".
- 1055971 cpu_core_0 "15.841584158415841".
- 1055974 cpu_core_0 "15.841584158415841".
- 1055997 cpu_core_0 "15.841584158415841".
- 1056086 cpu_core_0 "15.841584158415841".
- 1056124 cpu_core_0 "15.841584158415841".
- 1056144 cpu_core_0 "15.841584158415841".
- 1056202 cpu_core_0 "15.841584158415841".
- 1056208 cpu_core_0 "15.841584158415841".
- 1056227 cpu_core_0 "15.841584158415841".
- 1056233 cpu_core_0 "15.841584158415841".
- 1056468 cpu_core_0 "15.841584158415841".
- 1056556 cpu_core_0 "15.841584158415841".
- 1056703 cpu_core_0 "15.841584158415841".
- 1056918 cpu_core_0 "15.841584158415841".
- 1056953 cpu_core_0 "15.841584158415841".
- 1057030 cpu_core_0 "15.841584158415841".
- 1057048 cpu_core_0 "15.841584158415841".
- 1057181 cpu_core_0 "15.841584158415841".
- 1057195 cpu_core_0 "15.841584158415841".
- 1057201 cpu_core_0 "15.841584158415841".
- 1057470 cpu_core_0 "15.841584158415841".
- 1057557 cpu_core_0 "15.841584158415841".
- 1057569 cpu_core_0 "15.841584158415841".
- 1057624 cpu_core_0 "15.841584158415841".
- 1057824 cpu_core_0 "15.841584158415841".
- 1057953 cpu_core_0 "15.841584158415841".
- 1058015 cpu_core_0 "15.841584158415841".
- 1058243 cpu_core_0 "15.841584158415841".
- 1058390 cpu_core_0 "15.841584158415841".
- 1058396 cpu_core_0 "15.841584158415841".
- 1058479 cpu_core_0 "15.841584158415841".
- 1058522 cpu_core_0 "15.841584158415841".
- 1059192 cpu_core_0 "15.841584158415841".
- 1059193 cpu_core_0 "15.841584158415841".
- 1059218 cpu_core_0 "15.841584158415841".
- 1059624 cpu_core_0 "15.841584158415841".
- 1059931 cpu_core_0 "15.841584158415841".
- 1059973 cpu_core_0 "15.841584158415841".
- 1060163 cpu_core_0 "15.841584158415841".
- 1060226 cpu_core_0 "15.841584158415841".
- 1060326 cpu_core_0 "15.841584158415841".
- 1060331 cpu_core_0 "15.841584158415841".
- 1060539 cpu_core_0 "15.841584158415841".
- 1060554 cpu_core_0 "15.841584158415841".
- 1060574 cpu_core_0 "15.841584158415841".
- 1060938 cpu_core_0 "15.841584158415841".
- 1061025 cpu_core_0 "15.841584158415841".
- 1061271 cpu_core_0 "15.841584158415841".
- 1061284 cpu_core_0 "15.841584158415841".
- 1061293 cpu_core_0 "15.841584158415841".
- 1061296 cpu_core_0 "15.841584158415841".
- 1061397 cpu_core_0 "15.841584158415841".
- 1061405 cpu_core_0 "15.841584158415841".
- 1061517 cpu_core_0 "15.841584158415841".
- 1061618 cpu_core_0 "15.841584158415841".
- 1061724 cpu_core_0 "15.841584158415841".
- 1061780 cpu_core_0 "15.841584158415841".
- 1062033 cpu_core_0 "15.841584158415841".
- 1062159 cpu_core_0 "15.841584158415841".
- 1062198 cpu_core_0 "15.841584158415841".
- 1062530 cpu_core_0 "15.841584158415841".
- 1062616 cpu_core_0 "15.841584158415841".
- 1062734 cpu_core_0 "15.841584158415841".
- 1062813 cpu_core_0 "15.841584158415841".
- 1062831 cpu_core_0 "15.841584158415841".
- 1063039 cpu_core_0 "15.841584158415841".
- 1063437 cpu_core_0 "15.841584158415841".
- 1063657 cpu_core_0 "15.841584158415841".
- 1063721 cpu_core_0 "15.841584158415841".
- 1064129 cpu_core_0 "15.841584158415841".
- 1064310 cpu_core_0 "15.841584158415841".
- 1064414 cpu_core_0 "15.841584158415841".
- 1064551 cpu_core_0 "15.841584158415841".
- 1065049 cpu_core_0 "15.841584158415841".
- 1065224 cpu_core_0 "15.841584158415841".
- 1065606 cpu_core_0 "15.841584158415841".
- 1065714 cpu_core_0 "15.841584158415841".
- 1065814 cpu_core_0 "15.841584158415841".
- 1065986 cpu_core_0 "15.841584158415841".
- 1066002 cpu_core_0 "15.841584158415841".
- 1066061 cpu_core_0 "15.841584158415841".
- 1066361 cpu_core_0 "15.841584158415841".
- 1066523 cpu_core_0 "15.841584158415841".
- 1066561 cpu_core_0 "15.841584158415841".
- 1066777 cpu_core_0 "15.841584158415841".
- 1066805 cpu_core_0 "15.841584158415841".
- 1066842 cpu_core_0 "15.841584158415841".
- 1067023 cpu_core_0 "15.841584158415841".
- 1067038 cpu_core_0 "15.841584158415841".
- 1067040 cpu_core_0 "15.841584158415841".
- 1067163 cpu_core_0 "15.841584158415841".
- 1067191 cpu_core_0 "15.841584158415841".
- 1067225 cpu_core_0 "15.841584158415841".
- 1067244 cpu_core_0 "15.841584158415841".
- 1067440 cpu_core_0 "15.841584158415841".
- 1067871 cpu_core_0 "15.841584158415841".
- 1067875 cpu_core_0 "15.841584158415841".
- 1067886 cpu_core_0 "15.841584158415841".