Matches in ISWC2014 Benchmark for { ?s ?p 13.86138613861386. }
- 1150342 cpu_core_0 "13.86138613861386".
- 1150776 cpu_core_0 "13.86138613861386".
- 1150819 cpu_core_0 "13.86138613861386".
- 1151012 cpu_core_0 "13.86138613861386".
- 1151062 cpu_core_0 "13.86138613861386".
- 1151330 cpu_core_0 "13.86138613861386".
- 1151392 cpu_core_0 "13.86138613861386".
- 1151411 cpu_core_0 "13.86138613861386".
- 1151412 cpu_core_0 "13.86138613861386".
- 1151798 cpu_core_0 "13.86138613861386".
- 1151928 cpu_core_0 "13.86138613861386".
- 1152131 cpu_core_0 "13.86138613861386".
- 1152140 cpu_core_0 "13.86138613861386".
- 1152184 cpu_core_0 "13.86138613861386".
- 1152402 cpu_core_0 "13.86138613861386".
- 1152506 cpu_core_0 "13.86138613861386".
- 1152548 cpu_core_0 "13.86138613861386".
- 1152579 cpu_core_0 "13.86138613861386".
- 1152927 cpu_core_0 "13.86138613861386".
- 1152982 cpu_core_0 "13.86138613861386".
- 1153075 cpu_core_0 "13.86138613861386".
- 1153080 cpu_core_0 "13.86138613861386".
- 1153135 cpu_core_0 "13.86138613861386".
- 1153268 cpu_core_0 "13.86138613861386".
- 1153531 cpu_core_0 "13.86138613861386".
- 1153560 cpu_core_0 "13.86138613861386".
- 1153582 cpu_core_0 "13.86138613861386".
- 1153655 cpu_core_0 "13.86138613861386".
- 1153663 cpu_core_0 "13.86138613861386".
- 1153731 cpu_core_0 "13.86138613861386".
- 1154236 cpu_core_0 "13.86138613861386".
- 1154354 cpu_core_0 "13.86138613861386".
- 1154363 cpu_core_0 "13.86138613861386".
- 1154496 cpu_core_0 "13.86138613861386".
- 1154710 cpu_core_0 "13.86138613861386".
- 1154768 cpu_core_0 "13.86138613861386".
- 1155019 cpu_core_0 "13.86138613861386".
- 1155029 cpu_core_0 "13.86138613861386".
- 1155080 cpu_core_0 "13.86138613861386".
- 1155569 cpu_core_0 "13.86138613861386".
- 1155739 cpu_core_0 "13.86138613861386".
- 1155839 cpu_core_0 "13.86138613861386".
- 1156087 cpu_core_0 "13.86138613861386".
- 1156641 cpu_core_0 "13.86138613861386".
- 1156692 cpu_core_0 "13.86138613861386".
- 1156801 cpu_core_0 "13.86138613861386".
- 1156805 cpu_core_0 "13.86138613861386".
- 1156950 cpu_core_0 "13.86138613861386".
- 1156958 cpu_core_0 "13.86138613861386".
- 1157230 cpu_core_0 "13.86138613861386".
- 1157595 cpu_core_0 "13.86138613861386".
- 1157674 cpu_core_0 "13.86138613861386".
- 1157917 cpu_core_0 "13.86138613861386".
- 1158261 cpu_core_0 "13.86138613861386".
- 1158313 cpu_core_0 "13.86138613861386".
- 1158715 cpu_core_0 "13.86138613861386".
- 1159407 cpu_core_0 "13.86138613861386".
- 1159439 cpu_core_0 "13.86138613861386".
- 1159447 cpu_core_0 "13.86138613861386".
- 1159599 cpu_core_0 "13.86138613861386".
- 1160133 cpu_core_0 "13.86138613861386".
- 1160148 cpu_core_0 "13.86138613861386".
- 1160183 cpu_core_0 "13.86138613861386".
- 1160430 cpu_core_0 "13.86138613861386".
- 1160625 cpu_core_0 "13.86138613861386".
- 1160994 cpu_core_0 "13.86138613861386".
- 1161083 cpu_core_0 "13.86138613861386".
- 1161259 cpu_core_0 "13.86138613861386".
- 1161411 cpu_core_0 "13.86138613861386".
- 1161758 cpu_core_0 "13.86138613861386".
- 1161809 cpu_core_0 "13.86138613861386".
- 1161946 cpu_core_0 "13.86138613861386".
- 1162322 cpu_core_0 "13.86138613861386".
- 1162348 cpu_core_0 "13.86138613861386".
- 1162555 cpu_core_0 "13.86138613861386".
- 1162592 cpu_core_0 "13.86138613861386".
- 1162646 cpu_core_0 "13.86138613861386".
- 1162699 cpu_core_0 "13.86138613861386".
- 1162785 cpu_core_0 "13.86138613861386".
- 1162916 cpu_core_0 "13.86138613861386".
- 1162950 cpu_core_0 "13.86138613861386".
- 1163182 cpu_core_0 "13.86138613861386".
- 1163253 cpu_core_0 "13.86138613861386".
- 1163494 cpu_core_0 "13.86138613861386".
- 1163856 cpu_core_0 "13.86138613861386".
- 1163931 cpu_core_0 "13.86138613861386".
- 1164087 cpu_core_0 "13.86138613861386".
- 1164137 cpu_core_0 "13.86138613861386".
- 1164225 cpu_core_0 "13.86138613861386".
- 1164328 cpu_core_0 "13.86138613861386".
- 1164502 cpu_core_0 "13.86138613861386".
- 1164617 cpu_core_0 "13.86138613861386".
- 1164682 cpu_core_0 "13.86138613861386".
- 1164962 cpu_core_0 "13.86138613861386".
- 1164994 cpu_core_0 "13.86138613861386".
- 1165116 cpu_core_0 "13.86138613861386".
- 1165148 cpu_core_0 "13.86138613861386".
- 1165380 cpu_core_0 "13.86138613861386".
- 1165550 cpu_core_0 "13.86138613861386".
- 1165861 cpu_core_0 "13.86138613861386".