Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1189971 cpu_core_1 "13.725490196078432".
- 1199261 cpu_core_1 "13.725490196078432".
- 1199578 cpu_core_1 "13.725490196078432".
- 1201633 cpu_core_1 "13.725490196078432".
- 1201676 cpu_core_1 "13.725490196078432".
- 1201978 cpu_core_1 "13.725490196078432".
- 1202341 cpu_core_1 "13.725490196078432".
- 1203777 cpu_core_1 "13.725490196078432".
- 1205441 cpu_core_1 "13.725490196078432".
- 1211161 cpu_core_1 "13.725490196078432".
- 1213041 cpu_core_1 "13.725490196078432".
- 1219653 cpu_core_1 "13.725490196078432".
- 1227161 cpu_core_1 "13.725490196078432".
- 1229612 cpu_core_1 "13.725490196078432".
- 1236893 cpu_core_1 "13.725490196078432".
- 1237830 cpu_core_1 "13.725490196078432".
- 1241672 cpu_core_1 "13.725490196078432".
- 1243486 cpu_core_1 "13.725490196078432".
- 1243964 cpu_core_1 "13.725490196078432".
- 1245807 cpu_core_1 "13.725490196078432".
- 1248397 cpu_core_1 "13.725490196078432".
- 1250294 cpu_core_1 "13.725490196078432".
- 1250300 cpu_core_1 "13.725490196078432".
- 1251180 cpu_core_1 "13.725490196078432".
- 1255664 cpu_core_1 "13.725490196078432".
- 1258465 cpu_core_1 "13.725490196078432".
- 1258957 cpu_core_1 "13.725490196078432".
- 1261553 cpu_core_1 "13.725490196078432".
- 1262378 cpu_core_1 "13.725490196078432".
- 1264199 cpu_core_1 "13.725490196078432".
- 1264320 cpu_core_1 "13.725490196078432".
- 1268227 cpu_core_1 "13.725490196078432".
- 1268589 cpu_core_1 "13.725490196078432".
- 1269107 cpu_core_1 "13.725490196078432".
- 1270599 cpu_core_1 "13.725490196078432".
- 1272221 cpu_core_1 "13.725490196078432".
- 1272348 cpu_core_1 "13.725490196078432".
- 1273857 cpu_core_1 "13.725490196078432".
- 1274279 cpu_core_1 "13.725490196078432".
- 1277099 cpu_core_1 "13.725490196078432".
- 1278007 cpu_core_1 "13.725490196078432".
- 1279358 cpu_core_1 "13.725490196078432".
- 1281048 cpu_core_1 "13.725490196078432".
- 1281321 cpu_core_1 "13.725490196078432".
- 1281550 cpu_core_1 "13.725490196078432".
- 1281838 cpu_core_1 "13.725490196078432".
- 1287610 cpu_core_1 "13.725490196078432".
- 1289658 cpu_core_1 "13.725490196078432".
- 1293446 cpu_core_1 "13.725490196078432".
- 1293875 cpu_core_1 "13.725490196078432".
- 1294671 cpu_core_1 "13.725490196078432".
- 1295451 cpu_core_1 "13.725490196078432".
- 1296845 cpu_core_1 "13.725490196078432".
- 1302570 cpu_core_1 "13.725490196078432".
- 1304770 cpu_core_1 "13.725490196078432".
- 1305324 cpu_core_1 "13.725490196078432".
- 1307774 cpu_core_1 "13.725490196078432".
- 1310096 cpu_core_1 "13.725490196078432".
- 1312510 cpu_core_1 "13.725490196078432".
- 1315202 cpu_core_1 "13.725490196078432".
- 1315456 cpu_core_1 "13.725490196078432".
- 1318395 cpu_core_1 "13.725490196078432".
- 1319087 cpu_core_1 "13.725490196078432".
- 1319548 cpu_core_1 "13.725490196078432".
- 1326150 cpu_core_1 "13.725490196078432".
- 1326407 cpu_core_1 "13.725490196078432".
- 1328070 cpu_core_1 "13.725490196078432".
- 1328682 cpu_core_1 "13.725490196078432".
- 1329450 cpu_core_1 "13.725490196078432".
- 1329835 cpu_core_1 "13.725490196078432".
- 1329989 cpu_core_1 "13.725490196078432".
- 1330215 cpu_core_1 "13.725490196078432".
- 1332109 cpu_core_1 "13.725490196078432".
- 1333292 cpu_core_1 "13.725490196078432".
- 1336860 cpu_core_1 "13.725490196078432".
- 1340011 cpu_core_1 "13.725490196078432".
- 1341070 cpu_core_1 "13.725490196078432".
- 1342393 cpu_core_1 "13.725490196078432".
- 1342919 cpu_core_1 "13.725490196078432".
- 1344720 cpu_core_1 "13.725490196078432".
- 1346727 cpu_core_1 "13.725490196078432".
- 1349175 cpu_core_1 "13.725490196078432".
- 1352987 cpu_core_1 "13.725490196078432".
- 1353821 cpu_core_1 "13.725490196078432".
- 1355250 cpu_core_1 "13.725490196078432".
- 1356153 cpu_core_1 "13.725490196078432".
- 1357707 cpu_core_1 "13.725490196078432".
- 1358350 cpu_core_1 "13.725490196078432".
- 1361924 cpu_core_1 "13.725490196078432".
- 1365168 cpu_core_1 "13.725490196078432".
- 1365215 cpu_core_1 "13.725490196078432".
- 1372658 cpu_core_1 "13.725490196078432".
- 1372693 cpu_core_1 "13.725490196078432".
- 1374739 cpu_core_1 "13.725490196078432".
- 1375093 cpu_core_1 "13.725490196078432".
- 1378914 cpu_core_1 "13.725490196078432".
- 1381677 cpu_core_1 "13.725490196078432".
- 1382170 cpu_core_1 "13.725490196078432".
- 1383516 cpu_core_1 "13.725490196078432".
- 1385682 cpu_core_1 "13.725490196078432".