Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1290792 cpu_core_0 "15.841584158415841".
- 1290818 cpu_core_0 "15.841584158415841".
- 1290987 cpu_core_0 "15.841584158415841".
- 1291027 cpu_core_0 "15.841584158415841".
- 1291163 cpu_core_0 "15.841584158415841".
- 1291763 cpu_core_0 "15.841584158415841".
- 1291866 cpu_core_0 "15.841584158415841".
- 1291878 cpu_core_0 "15.841584158415841".
- 1291950 cpu_core_0 "15.841584158415841".
- 1291951 cpu_core_0 "15.841584158415841".
- 1292103 cpu_core_0 "15.841584158415841".
- 1292146 cpu_core_0 "15.841584158415841".
- 1292311 cpu_core_0 "15.841584158415841".
- 1292429 cpu_core_0 "15.841584158415841".
- 1292750 cpu_core_0 "15.841584158415841".
- 1292805 cpu_core_0 "15.841584158415841".
- 1292837 cpu_core_0 "15.841584158415841".
- 1293166 cpu_core_0 "15.841584158415841".
- 1293205 cpu_core_0 "15.841584158415841".
- 1293221 cpu_core_0 "15.841584158415841".
- 1293311 cpu_core_0 "15.841584158415841".
- 1293335 cpu_core_0 "15.841584158415841".
- 1293353 cpu_core_0 "15.841584158415841".
- 1293562 cpu_core_0 "15.841584158415841".
- 1293668 cpu_core_0 "15.841584158415841".
- 1294405 cpu_core_0 "15.841584158415841".
- 1294526 cpu_core_0 "15.841584158415841".
- 1294542 cpu_core_0 "15.841584158415841".
- 1294612 cpu_core_0 "15.841584158415841".
- 1294769 cpu_core_0 "15.841584158415841".
- 1294858 cpu_core_0 "15.841584158415841".
- 1295105 cpu_core_0 "15.841584158415841".
- 1295574 cpu_core_0 "15.841584158415841".
- 1295630 cpu_core_0 "15.841584158415841".
- 1295859 cpu_core_0 "15.841584158415841".
- 1295970 cpu_core_0 "15.841584158415841".
- 1296205 cpu_core_0 "15.841584158415841".
- 1296236 cpu_core_0 "15.841584158415841".
- 1296283 cpu_core_0 "15.841584158415841".
- 1296332 cpu_core_0 "15.841584158415841".
- 1296678 cpu_core_0 "15.841584158415841".
- 1297987 cpu_core_0 "15.841584158415841".
- 1298288 cpu_core_0 "15.841584158415841".
- 1298325 cpu_core_0 "15.841584158415841".
- 1298429 cpu_core_0 "15.841584158415841".
- 1298646 cpu_core_0 "15.841584158415841".
- 1298874 cpu_core_0 "15.841584158415841".
- 1298887 cpu_core_0 "15.841584158415841".
- 1298966 cpu_core_0 "15.841584158415841".
- 1299395 cpu_core_0 "15.841584158415841".
- 1299409 cpu_core_0 "15.841584158415841".
- 1299618 cpu_core_0 "15.841584158415841".
- 1299752 cpu_core_0 "15.841584158415841".
- 1299776 cpu_core_0 "15.841584158415841".
- 1299799 cpu_core_0 "15.841584158415841".
- 1299850 cpu_core_0 "15.841584158415841".
- 1299921 cpu_core_0 "15.841584158415841".
- 1299978 cpu_core_0 "15.841584158415841".
- 1300010 cpu_core_0 "15.841584158415841".
- 1300088 cpu_core_0 "15.841584158415841".
- 1300091 cpu_core_0 "15.841584158415841".
- 1300263 cpu_core_0 "15.841584158415841".
- 1300279 cpu_core_0 "15.841584158415841".
- 1300441 cpu_core_0 "15.841584158415841".
- 1300504 cpu_core_0 "15.841584158415841".
- 1300566 cpu_core_0 "15.841584158415841".
- 1300692 cpu_core_0 "15.841584158415841".
- 1300920 cpu_core_0 "15.841584158415841".
- 1301046 cpu_core_0 "15.841584158415841".
- 1301056 cpu_core_0 "15.841584158415841".
- 1301116 cpu_core_0 "15.841584158415841".
- 1301118 cpu_core_0 "15.841584158415841".
- 1301160 cpu_core_0 "15.841584158415841".
- 1301412 cpu_core_0 "15.841584158415841".
- 1301569 cpu_core_0 "15.841584158415841".
- 1302092 cpu_core_0 "15.841584158415841".
- 1302308 cpu_core_0 "15.841584158415841".
- 1302366 cpu_core_0 "15.841584158415841".
- 1302409 cpu_core_0 "15.841584158415841".
- 1302617 cpu_core_0 "15.841584158415841".
- 1302659 cpu_core_0 "15.841584158415841".
- 1302661 cpu_core_0 "15.841584158415841".
- 1302778 cpu_core_0 "15.841584158415841".
- 1302818 cpu_core_0 "15.841584158415841".
- 1302912 cpu_core_0 "15.841584158415841".
- 1303086 cpu_core_0 "15.841584158415841".
- 1303087 cpu_core_0 "15.841584158415841".
- 1303258 cpu_core_0 "15.841584158415841".
- 1303314 cpu_core_0 "15.841584158415841".
- 1303348 cpu_core_0 "15.841584158415841".
- 1303386 cpu_core_0 "15.841584158415841".
- 1303459 cpu_core_0 "15.841584158415841".
- 1303491 cpu_core_0 "15.841584158415841".
- 1303580 cpu_core_0 "15.841584158415841".
- 1303770 cpu_core_0 "15.841584158415841".
- 1304055 cpu_core_0 "15.841584158415841".
- 1304437 cpu_core_0 "15.841584158415841".
- 1304798 cpu_core_0 "15.841584158415841".
- 1304848 cpu_core_0 "15.841584158415841".
- 1305136 cpu_core_0 "15.841584158415841".