Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1157731 cpu_core_0 "15.841584158415841".
- 1157961 cpu_core_0 "15.841584158415841".
- 1158144 cpu_core_0 "15.841584158415841".
- 1158190 cpu_core_0 "15.841584158415841".
- 1158206 cpu_core_0 "15.841584158415841".
- 1158259 cpu_core_0 "15.841584158415841".
- 1158308 cpu_core_0 "15.841584158415841".
- 1158321 cpu_core_0 "15.841584158415841".
- 1158331 cpu_core_0 "15.841584158415841".
- 1158390 cpu_core_0 "15.841584158415841".
- 1158435 cpu_core_0 "15.841584158415841".
- 1158607 cpu_core_0 "15.841584158415841".
- 1158735 cpu_core_0 "15.841584158415841".
- 1158809 cpu_core_0 "15.841584158415841".
- 1158889 cpu_core_0 "15.841584158415841".
- 1158914 cpu_core_0 "15.841584158415841".
- 1158930 cpu_core_0 "15.841584158415841".
- 1158987 cpu_core_0 "15.841584158415841".
- 1159208 cpu_core_0 "15.841584158415841".
- 1159341 cpu_core_0 "15.841584158415841".
- 1159363 cpu_core_0 "15.841584158415841".
- 1159655 cpu_core_0 "15.841584158415841".
- 1159691 cpu_core_0 "15.841584158415841".
- 1159804 cpu_core_0 "15.841584158415841".
- 1160034 cpu_core_0 "15.841584158415841".
- 1160392 cpu_core_0 "15.841584158415841".
- 1160442 cpu_core_0 "15.841584158415841".
- 1160599 cpu_core_0 "15.841584158415841".
- 1160679 cpu_core_0 "15.841584158415841".
- 1160723 cpu_core_0 "15.841584158415841".
- 1160844 cpu_core_0 "15.841584158415841".
- 1161023 cpu_core_0 "15.841584158415841".
- 1161152 cpu_core_0 "15.841584158415841".
- 1161266 cpu_core_0 "15.841584158415841".
- 1161571 cpu_core_0 "15.841584158415841".
- 1161573 cpu_core_0 "15.841584158415841".
- 1161878 cpu_core_0 "15.841584158415841".
- 1162107 cpu_core_0 "15.841584158415841".
- 1162424 cpu_core_0 "15.841584158415841".
- 1162550 cpu_core_0 "15.841584158415841".
- 1162902 cpu_core_0 "15.841584158415841".
- 1163298 cpu_core_0 "15.841584158415841".
- 1163382 cpu_core_0 "15.841584158415841".
- 1163446 cpu_core_0 "15.841584158415841".
- 1163612 cpu_core_0 "15.841584158415841".
- 1163658 cpu_core_0 "15.841584158415841".
- 1164003 cpu_core_0 "15.841584158415841".
- 1164109 cpu_core_0 "15.841584158415841".
- 1164115 cpu_core_0 "15.841584158415841".
- 1164369 cpu_core_0 "15.841584158415841".
- 1164592 cpu_core_0 "15.841584158415841".
- 1164863 cpu_core_0 "15.841584158415841".
- 1164995 cpu_core_0 "15.841584158415841".
- 1165000 cpu_core_0 "15.841584158415841".
- 1165075 cpu_core_0 "15.841584158415841".
- 1165175 cpu_core_0 "15.841584158415841".
- 1165465 cpu_core_0 "15.841584158415841".
- 1165533 cpu_core_0 "15.841584158415841".
- 1166174 cpu_core_0 "15.841584158415841".
- 1166416 cpu_core_0 "15.841584158415841".
- 1166526 cpu_core_0 "15.841584158415841".
- 1166751 cpu_core_0 "15.841584158415841".
- 1167030 cpu_core_0 "15.841584158415841".
- 1167048 cpu_core_0 "15.841584158415841".
- 1167374 cpu_core_0 "15.841584158415841".
- 1167388 cpu_core_0 "15.841584158415841".
- 1167532 cpu_core_0 "15.841584158415841".
- 1167605 cpu_core_0 "15.841584158415841".
- 1167798 cpu_core_0 "15.841584158415841".
- 1167913 cpu_core_0 "15.841584158415841".
- 1167918 cpu_core_0 "15.841584158415841".
- 1167975 cpu_core_0 "15.841584158415841".
- 1168404 cpu_core_0 "15.841584158415841".
- 1168512 cpu_core_0 "15.841584158415841".
- 1168856 cpu_core_0 "15.841584158415841".
- 1168917 cpu_core_0 "15.841584158415841".
- 1168930 cpu_core_0 "15.841584158415841".
- 1168942 cpu_core_0 "15.841584158415841".
- 1168974 cpu_core_0 "15.841584158415841".
- 1169087 cpu_core_0 "15.841584158415841".
- 1169152 cpu_core_0 "15.841584158415841".
- 1169408 cpu_core_0 "15.841584158415841".
- 1169518 cpu_core_0 "15.841584158415841".
- 1169521 cpu_core_0 "15.841584158415841".
- 1169787 cpu_core_0 "15.841584158415841".
- 1169888 cpu_core_0 "15.841584158415841".
- 1170026 cpu_core_0 "15.841584158415841".
- 1170037 cpu_core_0 "15.841584158415841".
- 1170051 cpu_core_0 "15.841584158415841".
- 1170081 cpu_core_0 "15.841584158415841".
- 1170132 cpu_core_0 "15.841584158415841".
- 1170422 cpu_core_0 "15.841584158415841".
- 1170478 cpu_core_0 "15.841584158415841".
- 1170667 cpu_core_0 "15.841584158415841".
- 1170776 cpu_core_0 "15.841584158415841".
- 1170801 cpu_core_0 "15.841584158415841".
- 1170849 cpu_core_0 "15.841584158415841".
- 1171212 cpu_core_0 "15.841584158415841".
- 1171257 cpu_core_0 "15.841584158415841".
- 1171552 cpu_core_0 "15.841584158415841".