Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1215712 cpu_core_1 "3.061224489795918".
- 1215831 cpu_core_1 "3.061224489795918".
- 1215949 cpu_core_1 "3.061224489795918".
- 1215955 cpu_core_1 "3.061224489795918".
- 1215973 cpu_core_1 "3.061224489795918".
- 1215992 cpu_core_1 "3.061224489795918".
- 1216063 cpu_core_1 "3.061224489795918".
- 1216098 cpu_core_1 "3.061224489795918".
- 1216283 cpu_core_1 "3.061224489795918".
- 1216512 cpu_core_1 "3.061224489795918".
- 1216756 cpu_core_1 "3.061224489795918".
- 1217020 cpu_core_1 "3.061224489795918".
- 1217246 cpu_core_1 "3.061224489795918".
- 1217322 cpu_core_1 "3.061224489795918".
- 1217356 cpu_core_1 "3.061224489795918".
- 1217430 cpu_core_1 "3.061224489795918".
- 1217493 cpu_core_1 "3.061224489795918".
- 1217617 cpu_core_1 "3.061224489795918".
- 1217771 cpu_core_1 "3.061224489795918".
- 1217961 cpu_core_1 "3.061224489795918".
- 1218146 cpu_core_1 "3.061224489795918".
- 1218228 cpu_core_1 "3.061224489795918".
- 1218236 cpu_core_1 "3.061224489795918".
- 1218251 cpu_core_1 "3.061224489795918".
- 1218353 cpu_core_1 "3.061224489795918".
- 1218407 cpu_core_1 "3.061224489795918".
- 1218560 cpu_core_1 "3.061224489795918".
- 1218712 cpu_core_1 "3.061224489795918".
- 1218749 cpu_core_1 "3.061224489795918".
- 1218805 cpu_core_1 "3.061224489795918".
- 1218853 cpu_core_1 "3.061224489795918".
- 1218859 cpu_core_1 "3.061224489795918".
- 1218871 cpu_core_1 "3.061224489795918".
- 1218920 cpu_core_1 "3.061224489795918".
- 1218970 cpu_core_1 "3.061224489795918".
- 1219122 cpu_core_1 "3.061224489795918".
- 1219133 cpu_core_1 "3.061224489795918".
- 1219154 cpu_core_1 "3.061224489795918".
- 1219296 cpu_core_1 "3.061224489795918".
- 1219426 cpu_core_1 "3.061224489795918".
- 1219446 cpu_core_1 "3.061224489795918".
- 1219504 cpu_core_1 "3.061224489795918".
- 1227141 cpu_core_1 "3.061224489795918".
- 1228983 cpu_core_1 "3.061224489795918".
- 1232734 cpu_core_1 "3.061224489795918".
- 1235328 cpu_core_1 "3.061224489795918".
- 1236355 cpu_core_1 "3.061224489795918".
- 1236391 cpu_core_1 "3.061224489795918".
- 1236442 cpu_core_1 "3.061224489795918".
- 1236500 cpu_core_1 "3.061224489795918".
- 1236543 cpu_core_1 "3.061224489795918".
- 1236584 cpu_core_1 "3.061224489795918".
- 1236662 cpu_core_1 "3.061224489795918".
- 1236792 cpu_core_1 "3.061224489795918".
- 1236863 cpu_core_1 "3.061224489795918".
- 1236987 cpu_core_1 "3.061224489795918".
- 1237057 cpu_core_1 "3.061224489795918".
- 1238072 cpu_core_1 "3.061224489795918".
- 1238161 cpu_core_1 "3.061224489795918".
- 1241773 cpu_core_1 "3.061224489795918".
- 1243096 cpu_core_1 "3.061224489795918".
- 1243203 cpu_core_1 "3.061224489795918".
- 1244473 cpu_core_1 "3.061224489795918".
- 1245215 cpu_core_1 "3.061224489795918".
- 1246161 cpu_core_1 "3.061224489795918".
- 1248261 cpu_core_1 "3.061224489795918".
- 1249824 cpu_core_1 "3.061224489795918".
- 1250641 cpu_core_1 "3.061224489795918".
- 1252291 cpu_core_1 "3.061224489795918".
- 1252343 cpu_core_1 "3.061224489795918".
- 1255162 cpu_core_1 "3.061224489795918".
- 1256404 cpu_core_1 "3.061224489795918".
- 1257113 cpu_core_1 "3.061224489795918".
- 1258272 cpu_core_1 "3.061224489795918".
- 1258339 cpu_core_1 "3.061224489795918".
- 1259256 cpu_core_1 "3.061224489795918".
- 1260736 cpu_core_1 "3.061224489795918".
- 1260939 cpu_core_1 "3.061224489795918".
- 1261418 cpu_core_1 "3.061224489795918".
- 1261520 cpu_core_1 "3.061224489795918".
- 1262157 cpu_core_1 "3.061224489795918".
- 1262230 cpu_core_1 "3.061224489795918".
- 1262499 cpu_core_1 "3.061224489795918".
- 1266118 cpu_core_1 "3.061224489795918".
- 1267261 cpu_core_1 "3.061224489795918".
- 1267265 cpu_core_1 "3.061224489795918".
- 1268308 cpu_core_1 "3.061224489795918".
- 1268687 cpu_core_1 "3.061224489795918".
- 1273195 cpu_core_1 "3.061224489795918".
- 1276755 cpu_core_1 "3.061224489795918".
- 1278830 cpu_core_1 "3.061224489795918".
- 1279116 cpu_core_1 "3.061224489795918".
- 1279466 cpu_core_1 "3.061224489795918".
- 1280793 cpu_core_1 "3.061224489795918".
- 1281013 cpu_core_1 "3.061224489795918".
- 1281680 cpu_core_1 "3.061224489795918".
- 1282588 cpu_core_1 "3.061224489795918".
- 1282777 cpu_core_1 "3.061224489795918".
- 1284449 cpu_core_1 "3.061224489795918".
- 1286789 cpu_core_1 "3.061224489795918".