Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1277456 cpu_core_0 "15.841584158415841".
- 1277557 cpu_core_0 "15.841584158415841".
- 1277633 cpu_core_0 "15.841584158415841".
- 1277692 cpu_core_0 "15.841584158415841".
- 1277801 cpu_core_0 "15.841584158415841".
- 1277807 cpu_core_0 "15.841584158415841".
- 1277917 cpu_core_0 "15.841584158415841".
- 1277986 cpu_core_0 "15.841584158415841".
- 1278007 cpu_core_0 "15.841584158415841".
- 1278055 cpu_core_0 "15.841584158415841".
- 1278282 cpu_core_0 "15.841584158415841".
- 1278397 cpu_core_0 "15.841584158415841".
- 1278591 cpu_core_0 "15.841584158415841".
- 1278831 cpu_core_0 "15.841584158415841".
- 1278926 cpu_core_0 "15.841584158415841".
- 1278950 cpu_core_0 "15.841584158415841".
- 1278970 cpu_core_0 "15.841584158415841".
- 1279114 cpu_core_0 "15.841584158415841".
- 1279702 cpu_core_0 "15.841584158415841".
- 1279839 cpu_core_0 "15.841584158415841".
- 1279892 cpu_core_0 "15.841584158415841".
- 1280291 cpu_core_0 "15.841584158415841".
- 1280452 cpu_core_0 "15.841584158415841".
- 1280537 cpu_core_0 "15.841584158415841".
- 1280549 cpu_core_0 "15.841584158415841".
- 1280554 cpu_core_0 "15.841584158415841".
- 1280573 cpu_core_0 "15.841584158415841".
- 1280587 cpu_core_0 "15.841584158415841".
- 1280825 cpu_core_0 "15.841584158415841".
- 1280982 cpu_core_0 "15.841584158415841".
- 1281168 cpu_core_0 "15.841584158415841".
- 1281224 cpu_core_0 "15.841584158415841".
- 1281284 cpu_core_0 "15.841584158415841".
- 1281540 cpu_core_0 "15.841584158415841".
- 1281608 cpu_core_0 "15.841584158415841".
- 1281821 cpu_core_0 "15.841584158415841".
- 1281920 cpu_core_0 "15.841584158415841".
- 1281961 cpu_core_0 "15.841584158415841".
- 1282130 cpu_core_0 "15.841584158415841".
- 1282375 cpu_core_0 "15.841584158415841".
- 1282384 cpu_core_0 "15.841584158415841".
- 1282443 cpu_core_0 "15.841584158415841".
- 1282495 cpu_core_0 "15.841584158415841".
- 1282530 cpu_core_0 "15.841584158415841".
- 1282661 cpu_core_0 "15.841584158415841".
- 1282671 cpu_core_0 "15.841584158415841".
- 1282721 cpu_core_0 "15.841584158415841".
- 1282916 cpu_core_0 "15.841584158415841".
- 1283045 cpu_core_0 "15.841584158415841".
- 1283087 cpu_core_0 "15.841584158415841".
- 1283096 cpu_core_0 "15.841584158415841".
- 1283418 cpu_core_0 "15.841584158415841".
- 1283455 cpu_core_0 "15.841584158415841".
- 1283630 cpu_core_0 "15.841584158415841".
- 1283632 cpu_core_0 "15.841584158415841".
- 1283656 cpu_core_0 "15.841584158415841".
- 1283668 cpu_core_0 "15.841584158415841".
- 1283763 cpu_core_0 "15.841584158415841".
- 1283778 cpu_core_0 "15.841584158415841".
- 1283865 cpu_core_0 "15.841584158415841".
- 1283881 cpu_core_0 "15.841584158415841".
- 1283885 cpu_core_0 "15.841584158415841".
- 1283908 cpu_core_0 "15.841584158415841".
- 1283929 cpu_core_0 "15.841584158415841".
- 1284453 cpu_core_0 "15.841584158415841".
- 1284501 cpu_core_0 "15.841584158415841".
- 1284536 cpu_core_0 "15.841584158415841".
- 1284652 cpu_core_0 "15.841584158415841".
- 1284843 cpu_core_0 "15.841584158415841".
- 1284892 cpu_core_0 "15.841584158415841".
- 1285494 cpu_core_0 "15.841584158415841".
- 1286073 cpu_core_0 "15.841584158415841".
- 1286754 cpu_core_0 "15.841584158415841".
- 1287037 cpu_core_0 "15.841584158415841".
- 1287196 cpu_core_0 "15.841584158415841".
- 1287523 cpu_core_0 "15.841584158415841".
- 1287552 cpu_core_0 "15.841584158415841".
- 1287841 cpu_core_0 "15.841584158415841".
- 1287862 cpu_core_0 "15.841584158415841".
- 1288034 cpu_core_0 "15.841584158415841".
- 1288049 cpu_core_0 "15.841584158415841".
- 1288144 cpu_core_0 "15.841584158415841".
- 1288405 cpu_core_0 "15.841584158415841".
- 1288749 cpu_core_0 "15.841584158415841".
- 1288757 cpu_core_0 "15.841584158415841".
- 1288858 cpu_core_0 "15.841584158415841".
- 1289164 cpu_core_0 "15.841584158415841".
- 1289216 cpu_core_0 "15.841584158415841".
- 1289221 cpu_core_0 "15.841584158415841".
- 1289329 cpu_core_0 "15.841584158415841".
- 1289361 cpu_core_0 "15.841584158415841".
- 1289648 cpu_core_0 "15.841584158415841".
- 1289693 cpu_core_0 "15.841584158415841".
- 1289709 cpu_core_0 "15.841584158415841".
- 1289973 cpu_core_0 "15.841584158415841".
- 1290367 cpu_core_0 "15.841584158415841".
- 1290502 cpu_core_0 "15.841584158415841".
- 1290545 cpu_core_0 "15.841584158415841".
- 1290636 cpu_core_0 "15.841584158415841".
- 1290787 cpu_core_0 "15.841584158415841".