Matches in ISWC2014 Benchmark for { ?s ?p 11.224489795918368. }
- 1244311 cpu_core_0 "11.224489795918368".
- 1244372 cpu_core_0 "11.224489795918368".
- 1244867 cpu_core_0 "11.224489795918368".
- 1245166 cpu_core_0 "11.224489795918368".
- 1245177 cpu_core_0 "11.224489795918368".
- 1245212 cpu_core_0 "11.224489795918368".
- 1245355 cpu_core_0 "11.224489795918368".
- 1245602 cpu_core_0 "11.224489795918368".
- 1245638 cpu_core_0 "11.224489795918368".
- 1245808 cpu_core_0 "11.224489795918368".
- 1245840 cpu_core_0 "11.224489795918368".
- 1246187 cpu_core_0 "11.224489795918368".
- 1246313 cpu_core_0 "11.224489795918368".
- 1246780 cpu_core_0 "11.224489795918368".
- 1247963 cpu_core_0 "11.224489795918368".
- 1248830 cpu_core_0 "11.224489795918368".
- 1249327 cpu_core_0 "11.224489795918368".
- 1249381 cpu_core_0 "11.224489795918368".
- 1249418 cpu_core_0 "11.224489795918368".
- 1249537 cpu_core_0 "11.224489795918368".
- 1249793 cpu_core_0 "11.224489795918368".
- 1249881 cpu_core_0 "11.224489795918368".
- 1249916 cpu_core_0 "11.224489795918368".
- 1250037 cpu_core_0 "11.224489795918368".
- 1250104 cpu_core_0 "11.224489795918368".
- 1250174 cpu_core_0 "11.224489795918368".
- 1250359 cpu_core_0 "11.224489795918368".
- 1250971 cpu_core_0 "11.224489795918368".
- 1251551 cpu_core_0 "11.224489795918368".
- 1251717 cpu_core_0 "11.224489795918368".
- 1251807 cpu_core_0 "11.224489795918368".
- 1251956 cpu_core_0 "11.224489795918368".
- 1252381 cpu_core_0 "11.224489795918368".
- 1252435 cpu_core_0 "11.224489795918368".
- 1252757 cpu_core_0 "11.224489795918368".
- 1252985 cpu_core_0 "11.224489795918368".
- 1253054 cpu_core_0 "11.224489795918368".
- 1253668 cpu_core_0 "11.224489795918368".
- 1253943 cpu_core_0 "11.224489795918368".
- 1254352 cpu_core_0 "11.224489795918368".
- 1254391 cpu_core_0 "11.224489795918368".
- 1254604 cpu_core_0 "11.224489795918368".
- 1254656 cpu_core_0 "11.224489795918368".
- 1254691 cpu_core_0 "11.224489795918368".
- 1254763 cpu_core_0 "11.224489795918368".
- 1254867 cpu_core_0 "11.224489795918368".
- 1254982 cpu_core_0 "11.224489795918368".
- 1255045 cpu_core_0 "11.224489795918368".
- 1255927 cpu_core_0 "11.224489795918368".
- 1256427 cpu_core_0 "11.224489795918368".
- 1256693 cpu_core_0 "11.224489795918368".
- 1256819 cpu_core_0 "11.224489795918368".
- 1256989 cpu_core_0 "11.224489795918368".
- 1258264 cpu_core_0 "11.224489795918368".
- 1258742 cpu_core_0 "11.224489795918368".
- 1258846 cpu_core_0 "11.224489795918368".
- 1259402 cpu_core_0 "11.224489795918368".
- 1259532 cpu_core_0 "11.224489795918368".
- 1259591 cpu_core_0 "11.224489795918368".
- 1259602 cpu_core_0 "11.224489795918368".
- 1260106 cpu_core_0 "11.224489795918368".
- 1260189 cpu_core_0 "11.224489795918368".
- 1260680 cpu_core_0 "11.224489795918368".
- 1260755 cpu_core_0 "11.224489795918368".
- 1260877 cpu_core_0 "11.224489795918368".
- 1260914 cpu_core_0 "11.224489795918368".
- 1260917 cpu_core_0 "11.224489795918368".
- 1261264 cpu_core_0 "11.224489795918368".
- 1261283 cpu_core_0 "11.224489795918368".
- 1261513 cpu_core_0 "11.224489795918368".
- 1261516 cpu_core_0 "11.224489795918368".
- 1262071 cpu_core_0 "11.224489795918368".
- 1262840 cpu_core_0 "11.224489795918368".
- 1263122 cpu_core_0 "11.224489795918368".
- 1264230 cpu_core_0 "11.224489795918368".
- 1264760 cpu_core_0 "11.224489795918368".
- 1264790 cpu_core_0 "11.224489795918368".
- 1265800 cpu_core_0 "11.224489795918368".
- 1265836 cpu_core_0 "11.224489795918368".
- 1265854 cpu_core_0 "11.224489795918368".
- 1266785 cpu_core_0 "11.224489795918368".
- 1267146 cpu_core_0 "11.224489795918368".
- 1267200 cpu_core_0 "11.224489795918368".
- 1267637 cpu_core_0 "11.224489795918368".
- 1267955 cpu_core_0 "11.224489795918368".
- 1267962 cpu_core_0 "11.224489795918368".
- 1268045 cpu_core_0 "11.224489795918368".
- 1268213 cpu_core_0 "11.224489795918368".
- 1268383 cpu_core_0 "11.224489795918368".
- 1268636 cpu_core_0 "11.224489795918368".
- 1269046 cpu_core_0 "11.224489795918368".
- 1269191 cpu_core_0 "11.224489795918368".
- 1269868 cpu_core_0 "11.224489795918368".
- 1269981 cpu_core_0 "11.224489795918368".
- 1270012 cpu_core_0 "11.224489795918368".
- 1270713 cpu_core_0 "11.224489795918368".
- 1270907 cpu_core_0 "11.224489795918368".
- 1270942 cpu_core_0 "11.224489795918368".
- 1271795 cpu_core_0 "11.224489795918368".
- 1271854 cpu_core_0 "11.224489795918368".