Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1238623 cpu_core_0 "15.841584158415841".
- 1238656 cpu_core_0 "15.841584158415841".
- 1238863 cpu_core_0 "15.841584158415841".
- 1239398 cpu_core_0 "15.841584158415841".
- 1239431 cpu_core_0 "15.841584158415841".
- 1239555 cpu_core_0 "15.841584158415841".
- 1239610 cpu_core_0 "15.841584158415841".
- 1239723 cpu_core_0 "15.841584158415841".
- 1239792 cpu_core_0 "15.841584158415841".
- 1239803 cpu_core_0 "15.841584158415841".
- 1239805 cpu_core_0 "15.841584158415841".
- 1239853 cpu_core_0 "15.841584158415841".
- 1240008 cpu_core_0 "15.841584158415841".
- 1240024 cpu_core_0 "15.841584158415841".
- 1240043 cpu_core_0 "15.841584158415841".
- 1240091 cpu_core_0 "15.841584158415841".
- 1240152 cpu_core_0 "15.841584158415841".
- 1240172 cpu_core_0 "15.841584158415841".
- 1240264 cpu_core_0 "15.841584158415841".
- 1240342 cpu_core_0 "15.841584158415841".
- 1240435 cpu_core_0 "15.841584158415841".
- 1240483 cpu_core_0 "15.841584158415841".
- 1240537 cpu_core_0 "15.841584158415841".
- 1240607 cpu_core_0 "15.841584158415841".
- 1240726 cpu_core_0 "15.841584158415841".
- 1240729 cpu_core_0 "15.841584158415841".
- 1240733 cpu_core_0 "15.841584158415841".
- 1240742 cpu_core_0 "15.841584158415841".
- 1240974 cpu_core_0 "15.841584158415841".
- 1241053 cpu_core_0 "15.841584158415841".
- 1241093 cpu_core_0 "15.841584158415841".
- 1241259 cpu_core_0 "15.841584158415841".
- 1241295 cpu_core_0 "15.841584158415841".
- 1241365 cpu_core_0 "15.841584158415841".
- 1241372 cpu_core_0 "15.841584158415841".
- 1241377 cpu_core_0 "15.841584158415841".
- 1241495 cpu_core_0 "15.841584158415841".
- 1241531 cpu_core_0 "15.841584158415841".
- 1241581 cpu_core_0 "15.841584158415841".
- 1241583 cpu_core_0 "15.841584158415841".
- 1241748 cpu_core_0 "15.841584158415841".
- 1241785 cpu_core_0 "15.841584158415841".
- 1241826 cpu_core_0 "15.841584158415841".
- 1242083 cpu_core_0 "15.841584158415841".
- 1242144 cpu_core_0 "15.841584158415841".
- 1242216 cpu_core_0 "15.841584158415841".
- 1242386 cpu_core_0 "15.841584158415841".
- 1242406 cpu_core_0 "15.841584158415841".
- 1242497 cpu_core_0 "15.841584158415841".
- 1242581 cpu_core_0 "15.841584158415841".
- 1242629 cpu_core_0 "15.841584158415841".
- 1242644 cpu_core_0 "15.841584158415841".
- 1242669 cpu_core_0 "15.841584158415841".
- 1242769 cpu_core_0 "15.841584158415841".
- 1242914 cpu_core_0 "15.841584158415841".
- 1242988 cpu_core_0 "15.841584158415841".
- 1243057 cpu_core_0 "15.841584158415841".
- 1243244 cpu_core_0 "15.841584158415841".
- 1243743 cpu_core_0 "15.841584158415841".
- 1243759 cpu_core_0 "15.841584158415841".
- 1243961 cpu_core_0 "15.841584158415841".
- 1244071 cpu_core_0 "15.841584158415841".
- 1244193 cpu_core_0 "15.841584158415841".
- 1244207 cpu_core_0 "15.841584158415841".
- 1244259 cpu_core_0 "15.841584158415841".
- 1244303 cpu_core_0 "15.841584158415841".
- 1244427 cpu_core_0 "15.841584158415841".
- 1244477 cpu_core_0 "15.841584158415841".
- 1244682 cpu_core_0 "15.841584158415841".
- 1244796 cpu_core_0 "15.841584158415841".
- 1244914 cpu_core_0 "15.841584158415841".
- 1244975 cpu_core_0 "15.841584158415841".
- 1245098 cpu_core_0 "15.841584158415841".
- 1245152 cpu_core_0 "15.841584158415841".
- 1245595 cpu_core_0 "15.841584158415841".
- 1245807 cpu_core_0 "15.841584158415841".
- 1245832 cpu_core_0 "15.841584158415841".
- 1245836 cpu_core_0 "15.841584158415841".
- 1245932 cpu_core_0 "15.841584158415841".
- 1246176 cpu_core_0 "15.841584158415841".
- 1246488 cpu_core_0 "15.841584158415841".
- 1246658 cpu_core_0 "15.841584158415841".
- 1246729 cpu_core_0 "15.841584158415841".
- 1246842 cpu_core_0 "15.841584158415841".
- 1246856 cpu_core_0 "15.841584158415841".
- 1247111 cpu_core_0 "15.841584158415841".
- 1247240 cpu_core_0 "15.841584158415841".
- 1247325 cpu_core_0 "15.841584158415841".
- 1247494 cpu_core_0 "15.841584158415841".
- 1247694 cpu_core_0 "15.841584158415841".
- 1248223 cpu_core_0 "15.841584158415841".
- 1248656 cpu_core_0 "15.841584158415841".
- 1248723 cpu_core_0 "15.841584158415841".
- 1248733 cpu_core_0 "15.841584158415841".
- 1248809 cpu_core_0 "15.841584158415841".
- 1248816 cpu_core_0 "15.841584158415841".
- 1248825 cpu_core_0 "15.841584158415841".
- 1249135 cpu_core_0 "15.841584158415841".
- 1249141 cpu_core_0 "15.841584158415841".
- 1249249 cpu_core_0 "15.841584158415841".