Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1261269 cpu_core_0 "3.061224489795918".
- 1261300 cpu_core_0 "3.061224489795918".
- 1261851 cpu_core_0 "3.061224489795918".
- 1261990 cpu_core_0 "3.061224489795918".
- 1262266 cpu_core_0 "3.061224489795918".
- 1262706 cpu_core_0 "3.061224489795918".
- 1264080 cpu_core_0 "3.061224489795918".
- 1265515 cpu_core_0 "3.061224489795918".
- 1265521 cpu_core_0 "3.061224489795918".
- 1268729 cpu_core_0 "3.061224489795918".
- 1269617 cpu_core_0 "3.061224489795918".
- 1271708 cpu_core_0 "3.061224489795918".
- 1272312 cpu_core_0 "3.061224489795918".
- 1273586 cpu_core_0 "3.061224489795918".
- 1274026 cpu_core_0 "3.061224489795918".
- 1274235 cpu_core_0 "3.061224489795918".
- 1274925 cpu_core_0 "3.061224489795918".
- 1275133 cpu_core_0 "3.061224489795918".
- 1275187 cpu_core_0 "3.061224489795918".
- 1275371 cpu_core_0 "3.061224489795918".
- 1275555 cpu_core_0 "3.061224489795918".
- 1275591 cpu_core_0 "3.061224489795918".
- 1275902 cpu_core_0 "3.061224489795918".
- 1276140 cpu_core_0 "3.061224489795918".
- 1277138 cpu_core_0 "3.061224489795918".
- 1277375 cpu_core_0 "3.061224489795918".
- 1278660 cpu_core_0 "3.061224489795918".
- 1279388 cpu_core_0 "3.061224489795918".
- 1279444 cpu_core_0 "3.061224489795918".
- 1279777 cpu_core_0 "3.061224489795918".
- 1281436 cpu_core_0 "3.061224489795918".
- 1281438 cpu_core_0 "3.061224489795918".
- 1282003 cpu_core_0 "3.061224489795918".
- 1282047 cpu_core_0 "3.061224489795918".
- 1282712 cpu_core_0 "3.061224489795918".
- 1283071 cpu_core_0 "3.061224489795918".
- 1283696 cpu_core_0 "3.061224489795918".
- 1284497 cpu_core_0 "3.061224489795918".
- 1284650 cpu_core_0 "3.061224489795918".
- 1286453 cpu_core_0 "3.061224489795918".
- 1286649 cpu_core_0 "3.061224489795918".
- 1286824 cpu_core_0 "3.061224489795918".
- 1286970 cpu_core_0 "3.061224489795918".
- 1287210 cpu_core_0 "3.061224489795918".
- 1287296 cpu_core_0 "3.061224489795918".
- 1287459 cpu_core_0 "3.061224489795918".
- 1287564 cpu_core_0 "3.061224489795918".
- 1287854 cpu_core_0 "3.061224489795918".
- 1288051 cpu_core_0 "3.061224489795918".
- 1288138 cpu_core_0 "3.061224489795918".
- 1288494 cpu_core_0 "3.061224489795918".
- 1288589 cpu_core_0 "3.061224489795918".
- 1288625 cpu_core_0 "3.061224489795918".
- 1289012 cpu_core_0 "3.061224489795918".
- 1289423 cpu_core_0 "3.061224489795918".
- 1290676 cpu_core_0 "3.061224489795918".
- 1292141 cpu_core_0 "3.061224489795918".
- 1292885 cpu_core_0 "3.061224489795918".
- 1293449 cpu_core_0 "3.061224489795918".
- 1294021 cpu_core_0 "3.061224489795918".
- 1294089 cpu_core_0 "3.061224489795918".
- 1294679 cpu_core_0 "3.061224489795918".
- 1294805 cpu_core_0 "3.061224489795918".
- 1294860 cpu_core_0 "3.061224489795918".
- 1295596 cpu_core_0 "3.061224489795918".
- 1296320 cpu_core_0 "3.061224489795918".
- 1297025 cpu_core_0 "3.061224489795918".
- 1297116 cpu_core_0 "3.061224489795918".
- 1297182 cpu_core_0 "3.061224489795918".
- 1297331 cpu_core_0 "3.061224489795918".
- 1299427 cpu_core_0 "3.061224489795918".
- 1299467 cpu_core_0 "3.061224489795918".
- 1300430 cpu_core_0 "3.061224489795918".
- 1300553 cpu_core_0 "3.061224489795918".
- 1300795 cpu_core_0 "3.061224489795918".
- 1301151 cpu_core_0 "3.061224489795918".
- 1301591 cpu_core_0 "3.061224489795918".
- 1301672 cpu_core_0 "3.061224489795918".
- 1301677 cpu_core_0 "3.061224489795918".
- 1302042 cpu_core_0 "3.061224489795918".
- 1302116 cpu_core_0 "3.061224489795918".
- 1302274 cpu_core_0 "3.061224489795918".
- 1303179 cpu_core_0 "3.061224489795918".
- 1303557 cpu_core_0 "3.061224489795918".
- 1304463 cpu_core_0 "3.061224489795918".
- 1305507 cpu_core_0 "3.061224489795918".
- 1306236 cpu_core_0 "3.061224489795918".
- 1306710 cpu_core_0 "3.061224489795918".
- 1306880 cpu_core_0 "3.061224489795918".
- 1308001 cpu_core_0 "3.061224489795918".
- 1309515 cpu_core_0 "3.061224489795918".
- 1310528 cpu_core_0 "3.061224489795918".
- 1310925 cpu_core_0 "3.061224489795918".
- 1311376 cpu_core_0 "3.061224489795918".
- 1312097 cpu_core_0 "3.061224489795918".
- 1312515 cpu_core_0 "3.061224489795918".
- 1312940 cpu_core_0 "3.061224489795918".
- 1313958 cpu_core_0 "3.061224489795918".
- 1314135 cpu_core_0 "3.061224489795918".
- 1314960 cpu_core_0 "3.061224489795918".