Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1221576 cpu_core_1 "25.742574257425744".
- 1221693 cpu_core_1 "25.742574257425744".
- 1222674 cpu_core_1 "25.742574257425744".
- 1223906 cpu_core_1 "25.742574257425744".
- 1224278 cpu_core_1 "25.742574257425744".
- 1224387 cpu_core_1 "25.742574257425744".
- 1224903 cpu_core_1 "25.742574257425744".
- 1225034 cpu_core_1 "25.742574257425744".
- 1226319 cpu_core_1 "25.742574257425744".
- 1226918 cpu_core_1 "25.742574257425744".
- 1231737 cpu_core_1 "25.742574257425744".
- 1232672 cpu_core_1 "25.742574257425744".
- 1232751 cpu_core_1 "25.742574257425744".
- 1233174 cpu_core_1 "25.742574257425744".
- 1233395 cpu_core_1 "25.742574257425744".
- 1233732 cpu_core_1 "25.742574257425744".
- 1234804 cpu_core_1 "25.742574257425744".
- 1234848 cpu_core_1 "25.742574257425744".
- 1235181 cpu_core_1 "25.742574257425744".
- 1235561 cpu_core_1 "25.742574257425744".
- 1235817 cpu_core_1 "25.742574257425744".
- 1241830 cpu_core_1 "25.742574257425744".
- 1242565 cpu_core_1 "25.742574257425744".
- 1246989 cpu_core_1 "25.742574257425744".
- 1247855 cpu_core_1 "25.742574257425744".
- 1248119 cpu_core_1 "25.742574257425744".
- 1254055 cpu_core_1 "25.742574257425744".
- 1258959 cpu_core_1 "25.742574257425744".
- 1262987 cpu_core_1 "25.742574257425744".
- 1264315 cpu_core_1 "25.742574257425744".
- 1269116 cpu_core_1 "25.742574257425744".
- 1270364 cpu_core_1 "25.742574257425744".
- 1272328 cpu_core_1 "25.742574257425744".
- 1273825 cpu_core_1 "25.742574257425744".
- 1274162 cpu_core_1 "25.742574257425744".
- 1274580 cpu_core_1 "25.742574257425744".
- 1280152 cpu_core_1 "25.742574257425744".
- 1282035 cpu_core_1 "25.742574257425744".
- 1284070 cpu_core_1 "25.742574257425744".
- 1284141 cpu_core_1 "25.742574257425744".
- 1285563 cpu_core_1 "25.742574257425744".
- 1285698 cpu_core_1 "25.742574257425744".
- 1290077 cpu_core_1 "25.742574257425744".
- 1290497 cpu_core_1 "25.742574257425744".
- 1295876 cpu_core_1 "25.742574257425744".
- 1296392 cpu_core_1 "25.742574257425744".
- 1296854 cpu_core_1 "25.742574257425744".
- 1303297 cpu_core_1 "25.742574257425744".
- 1304090 cpu_core_1 "25.742574257425744".
- 1305045 cpu_core_1 "25.742574257425744".
- 1309809 cpu_core_1 "25.742574257425744".
- 1310693 cpu_core_1 "25.742574257425744".
- 1314836 cpu_core_1 "25.742574257425744".
- 1315955 cpu_core_1 "25.742574257425744".
- 1320093 cpu_core_1 "25.742574257425744".
- 1322018 cpu_core_1 "25.742574257425744".
- 1322071 cpu_core_1 "25.742574257425744".
- 1323560 cpu_core_1 "25.742574257425744".
- 1323577 cpu_core_1 "25.742574257425744".
- 1325718 cpu_core_1 "25.742574257425744".
- 1327546 cpu_core_1 "25.742574257425744".
- 1330488 cpu_core_1 "25.742574257425744".
- 1330851 cpu_core_1 "25.742574257425744".
- 1330973 cpu_core_1 "25.742574257425744".
- 1332266 cpu_core_1 "25.742574257425744".
- 1334490 cpu_core_1 "25.742574257425744".
- 1335480 cpu_core_1 "25.742574257425744".
- 1337003 cpu_core_1 "25.742574257425744".
- 1345258 cpu_core_1 "25.742574257425744".
- 1349798 cpu_core_1 "25.742574257425744".
- 1351138 cpu_core_1 "25.742574257425744".
- 1351277 cpu_core_1 "25.742574257425744".
- 1352748 cpu_core_1 "25.742574257425744".
- 1354932 cpu_core_1 "25.742574257425744".
- 1357255 cpu_core_1 "25.742574257425744".
- 1360477 cpu_core_1 "25.742574257425744".
- 1362491 cpu_core_1 "25.742574257425744".
- 1362870 cpu_core_1 "25.742574257425744".
- 1364087 cpu_core_1 "25.742574257425744".
- 1365360 cpu_core_1 "25.742574257425744".
- 1373040 cpu_core_1 "25.742574257425744".
- 1378416 cpu_core_1 "25.742574257425744".
- 1382022 cpu_core_1 "25.742574257425744".
- 1396122 cpu_core_1 "25.742574257425744".
- 1398987 cpu_core_1 "25.742574257425744".
- 1399954 cpu_core_1 "25.742574257425744".
- 1400710 cpu_core_1 "25.742574257425744".
- 1400790 cpu_core_1 "25.742574257425744".
- 1401819 cpu_core_1 "25.742574257425744".
- 1402459 cpu_core_1 "25.742574257425744".
- 1402927 cpu_core_1 "25.742574257425744".
- 1403177 cpu_core_1 "25.742574257425744".
- 1403247 cpu_core_1 "25.742574257425744".
- 1403357 cpu_core_1 "25.742574257425744".
- 1403428 cpu_core_1 "25.742574257425744".
- 1403724 cpu_core_1 "25.742574257425744".
- 1403823 cpu_core_1 "25.742574257425744".
- 1403839 cpu_core_1 "25.742574257425744".
- 1405812 cpu_core_1 "25.742574257425744".
- 1405868 cpu_core_1 "25.742574257425744".