Matches in ISWC2014 Benchmark for { ?s ?p 15.841584158415841. }
- 1260997 cpu_core_0 "15.841584158415841".
- 1261031 cpu_core_0 "15.841584158415841".
- 1261322 cpu_core_0 "15.841584158415841".
- 1262044 cpu_core_0 "15.841584158415841".
- 1262056 cpu_core_0 "15.841584158415841".
- 1262114 cpu_core_0 "15.841584158415841".
- 1262194 cpu_core_0 "15.841584158415841".
- 1262308 cpu_core_0 "15.841584158415841".
- 1262365 cpu_core_0 "15.841584158415841".
- 1262753 cpu_core_0 "15.841584158415841".
- 1262908 cpu_core_0 "15.841584158415841".
- 1262970 cpu_core_0 "15.841584158415841".
- 1263231 cpu_core_0 "15.841584158415841".
- 1263443 cpu_core_0 "15.841584158415841".
- 1263573 cpu_core_0 "15.841584158415841".
- 1263683 cpu_core_0 "15.841584158415841".
- 1263685 cpu_core_0 "15.841584158415841".
- 1264196 cpu_core_0 "15.841584158415841".
- 1264424 cpu_core_0 "15.841584158415841".
- 1264832 cpu_core_0 "15.841584158415841".
- 1264875 cpu_core_0 "15.841584158415841".
- 1265007 cpu_core_0 "15.841584158415841".
- 1265038 cpu_core_0 "15.841584158415841".
- 1265960 cpu_core_0 "15.841584158415841".
- 1265987 cpu_core_0 "15.841584158415841".
- 1266393 cpu_core_0 "15.841584158415841".
- 1266563 cpu_core_0 "15.841584158415841".
- 1266583 cpu_core_0 "15.841584158415841".
- 1267182 cpu_core_0 "15.841584158415841".
- 1267226 cpu_core_0 "15.841584158415841".
- 1267241 cpu_core_0 "15.841584158415841".
- 1267242 cpu_core_0 "15.841584158415841".
- 1267264 cpu_core_0 "15.841584158415841".
- 1267523 cpu_core_0 "15.841584158415841".
- 1267543 cpu_core_0 "15.841584158415841".
- 1267643 cpu_core_0 "15.841584158415841".
- 1267783 cpu_core_0 "15.841584158415841".
- 1267943 cpu_core_0 "15.841584158415841".
- 1267961 cpu_core_0 "15.841584158415841".
- 1268155 cpu_core_0 "15.841584158415841".
- 1268377 cpu_core_0 "15.841584158415841".
- 1268866 cpu_core_0 "15.841584158415841".
- 1269105 cpu_core_0 "15.841584158415841".
- 1269291 cpu_core_0 "15.841584158415841".
- 1269383 cpu_core_0 "15.841584158415841".
- 1269420 cpu_core_0 "15.841584158415841".
- 1269531 cpu_core_0 "15.841584158415841".
- 1269691 cpu_core_0 "15.841584158415841".
- 1270299 cpu_core_0 "15.841584158415841".
- 1270463 cpu_core_0 "15.841584158415841".
- 1270561 cpu_core_0 "15.841584158415841".
- 1270564 cpu_core_0 "15.841584158415841".
- 1270766 cpu_core_0 "15.841584158415841".
- 1270943 cpu_core_0 "15.841584158415841".
- 1271155 cpu_core_0 "15.841584158415841".
- 1271170 cpu_core_0 "15.841584158415841".
- 1271286 cpu_core_0 "15.841584158415841".
- 1271293 cpu_core_0 "15.841584158415841".
- 1271755 cpu_core_0 "15.841584158415841".
- 1272101 cpu_core_0 "15.841584158415841".
- 1272103 cpu_core_0 "15.841584158415841".
- 1272169 cpu_core_0 "15.841584158415841".
- 1272239 cpu_core_0 "15.841584158415841".
- 1272267 cpu_core_0 "15.841584158415841".
- 1272359 cpu_core_0 "15.841584158415841".
- 1272413 cpu_core_0 "15.841584158415841".
- 1272646 cpu_core_0 "15.841584158415841".
- 1272657 cpu_core_0 "15.841584158415841".
- 1272707 cpu_core_0 "15.841584158415841".
- 1272829 cpu_core_0 "15.841584158415841".
- 1273016 cpu_core_0 "15.841584158415841".
- 1273065 cpu_core_0 "15.841584158415841".
- 1273117 cpu_core_0 "15.841584158415841".
- 1273144 cpu_core_0 "15.841584158415841".
- 1273194 cpu_core_0 "15.841584158415841".
- 1273590 cpu_core_0 "15.841584158415841".
- 1273820 cpu_core_0 "15.841584158415841".
- 1273970 cpu_core_0 "15.841584158415841".
- 1274726 cpu_core_0 "15.841584158415841".
- 1274766 cpu_core_0 "15.841584158415841".
- 1274814 cpu_core_0 "15.841584158415841".
- 1274815 cpu_core_0 "15.841584158415841".
- 1275109 cpu_core_0 "15.841584158415841".
- 1275386 cpu_core_0 "15.841584158415841".
- 1275466 cpu_core_0 "15.841584158415841".
- 1275516 cpu_core_0 "15.841584158415841".
- 1275644 cpu_core_0 "15.841584158415841".
- 1275646 cpu_core_0 "15.841584158415841".
- 1275651 cpu_core_0 "15.841584158415841".
- 1275780 cpu_core_0 "15.841584158415841".
- 1275816 cpu_core_0 "15.841584158415841".
- 1275829 cpu_core_0 "15.841584158415841".
- 1276355 cpu_core_0 "15.841584158415841".
- 1276625 cpu_core_0 "15.841584158415841".
- 1276784 cpu_core_0 "15.841584158415841".
- 1276804 cpu_core_0 "15.841584158415841".
- 1276849 cpu_core_0 "15.841584158415841".
- 1277148 cpu_core_0 "15.841584158415841".
- 1277183 cpu_core_0 "15.841584158415841".
- 1277285 cpu_core_0 "15.841584158415841".