Matches in ISWC2014 Benchmark for { ?s ?p 24.752475247524753. }
- 1211329 cpu_core_1 "24.752475247524753".
- 1211960 cpu_core_1 "24.752475247524753".
- 1212055 cpu_core_1 "24.752475247524753".
- 1212105 cpu_core_1 "24.752475247524753".
- 1212131 cpu_core_1 "24.752475247524753".
- 1212170 cpu_core_1 "24.752475247524753".
- 1212215 cpu_core_1 "24.752475247524753".
- 1213122 cpu_core_1 "24.752475247524753".
- 1213484 cpu_core_1 "24.752475247524753".
- 1220921 cpu_core_1 "24.752475247524753".
- 1222888 cpu_core_1 "24.752475247524753".
- 1224917 cpu_core_1 "24.752475247524753".
- 1225667 cpu_core_1 "24.752475247524753".
- 1226366 cpu_core_1 "24.752475247524753".
- 1227183 cpu_core_1 "24.752475247524753".
- 1227649 cpu_core_1 "24.752475247524753".
- 1227857 cpu_core_1 "24.752475247524753".
- 1229075 cpu_core_1 "24.752475247524753".
- 1229885 cpu_core_1 "24.752475247524753".
- 1230706 cpu_core_1 "24.752475247524753".
- 1231561 cpu_core_1 "24.752475247524753".
- 1231618 cpu_core_1 "24.752475247524753".
- 1232795 cpu_core_1 "24.752475247524753".
- 1232798 cpu_core_1 "24.752475247524753".
- 1233767 cpu_core_1 "24.752475247524753".
- 1234023 cpu_core_1 "24.752475247524753".
- 1234073 cpu_core_1 "24.752475247524753".
- 1234216 cpu_core_1 "24.752475247524753".
- 1234700 cpu_core_1 "24.752475247524753".
- 1235231 cpu_core_1 "24.752475247524753".
- 1236146 cpu_core_1 "24.752475247524753".
- 1241190 cpu_core_1 "24.752475247524753".
- 1241739 cpu_core_1 "24.752475247524753".
- 1242126 cpu_core_1 "24.752475247524753".
- 1242237 cpu_core_1 "24.752475247524753".
- 1244607 cpu_core_1 "24.752475247524753".
- 1245407 cpu_core_1 "24.752475247524753".
- 1247499 cpu_core_1 "24.752475247524753".
- 1253163 cpu_core_1 "24.752475247524753".
- 1253496 cpu_core_1 "24.752475247524753".
- 1259016 cpu_core_1 "24.752475247524753".
- 1260362 cpu_core_1 "24.752475247524753".
- 1262801 cpu_core_1 "24.752475247524753".
- 1262971 cpu_core_1 "24.752475247524753".
- 1264151 cpu_core_1 "24.752475247524753".
- 1265082 cpu_core_1 "24.752475247524753".
- 1266995 cpu_core_1 "24.752475247524753".
- 1270456 cpu_core_1 "24.752475247524753".
- 1271701 cpu_core_1 "24.752475247524753".
- 1275409 cpu_core_1 "24.752475247524753".
- 1276010 cpu_core_1 "24.752475247524753".
- 1276151 cpu_core_1 "24.752475247524753".
- 1276213 cpu_core_1 "24.752475247524753".
- 1279561 cpu_core_1 "24.752475247524753".
- 1280423 cpu_core_1 "24.752475247524753".
- 1282724 cpu_core_1 "24.752475247524753".
- 1284815 cpu_core_1 "24.752475247524753".
- 1285734 cpu_core_1 "24.752475247524753".
- 1289340 cpu_core_1 "24.752475247524753".
- 1290427 cpu_core_1 "24.752475247524753".
- 1293365 cpu_core_1 "24.752475247524753".
- 1294230 cpu_core_1 "24.752475247524753".
- 1295514 cpu_core_1 "24.752475247524753".
- 1296196 cpu_core_1 "24.752475247524753".
- 1298966 cpu_core_1 "24.752475247524753".
- 1300700 cpu_core_1 "24.752475247524753".
- 1302462 cpu_core_1 "24.752475247524753".
- 1305780 cpu_core_1 "24.752475247524753".
- 1306905 cpu_core_1 "24.752475247524753".
- 1307810 cpu_core_1 "24.752475247524753".
- 1310080 cpu_core_1 "24.752475247524753".
- 1313280 cpu_core_1 "24.752475247524753".
- 1318631 cpu_core_1 "24.752475247524753".
- 1321168 cpu_core_1 "24.752475247524753".
- 1323372 cpu_core_1 "24.752475247524753".
- 1324423 cpu_core_1 "24.752475247524753".
- 1325665 cpu_core_1 "24.752475247524753".
- 1326983 cpu_core_1 "24.752475247524753".
- 1327486 cpu_core_1 "24.752475247524753".
- 1330565 cpu_core_1 "24.752475247524753".
- 1331153 cpu_core_1 "24.752475247524753".
- 1334845 cpu_core_1 "24.752475247524753".
- 1335572 cpu_core_1 "24.752475247524753".
- 1336493 cpu_core_1 "24.752475247524753".
- 1336930 cpu_core_1 "24.752475247524753".
- 1338357 cpu_core_1 "24.752475247524753".
- 1345895 cpu_core_1 "24.752475247524753".
- 1347810 cpu_core_1 "24.752475247524753".
- 1354291 cpu_core_1 "24.752475247524753".
- 1357251 cpu_core_1 "24.752475247524753".
- 1360171 cpu_core_1 "24.752475247524753".
- 1361788 cpu_core_1 "24.752475247524753".
- 1362068 cpu_core_1 "24.752475247524753".
- 1363674 cpu_core_1 "24.752475247524753".
- 1373683 cpu_core_1 "24.752475247524753".
- 1378296 cpu_core_1 "24.752475247524753".
- 1378854 cpu_core_1 "24.752475247524753".
- 1379566 cpu_core_1 "24.752475247524753".
- 1383896 cpu_core_1 "24.752475247524753".
- 1384333 cpu_core_1 "24.752475247524753".