Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1240230 cpu_core_0 "25.742574257425744".
- 1241256 cpu_core_0 "25.742574257425744".
- 1241734 cpu_core_0 "25.742574257425744".
- 1242829 cpu_core_0 "25.742574257425744".
- 1245105 cpu_core_0 "25.742574257425744".
- 1246256 cpu_core_0 "25.742574257425744".
- 1248291 cpu_core_0 "25.742574257425744".
- 1251533 cpu_core_0 "25.742574257425744".
- 1252647 cpu_core_0 "25.742574257425744".
- 1252905 cpu_core_0 "25.742574257425744".
- 1254388 cpu_core_0 "25.742574257425744".
- 1254689 cpu_core_0 "25.742574257425744".
- 1255965 cpu_core_0 "25.742574257425744".
- 1256412 cpu_core_0 "25.742574257425744".
- 1257033 cpu_core_0 "25.742574257425744".
- 1257955 cpu_core_0 "25.742574257425744".
- 1258822 cpu_core_0 "25.742574257425744".
- 1258979 cpu_core_0 "25.742574257425744".
- 1258997 cpu_core_0 "25.742574257425744".
- 1259743 cpu_core_0 "25.742574257425744".
- 1260387 cpu_core_0 "25.742574257425744".
- 1261008 cpu_core_0 "25.742574257425744".
- 1262555 cpu_core_0 "25.742574257425744".
- 1263242 cpu_core_0 "25.742574257425744".
- 1263959 cpu_core_0 "25.742574257425744".
- 1265976 cpu_core_0 "25.742574257425744".
- 1267740 cpu_core_0 "25.742574257425744".
- 1269747 cpu_core_0 "25.742574257425744".
- 1269875 cpu_core_0 "25.742574257425744".
- 1272475 cpu_core_0 "25.742574257425744".
- 1273771 cpu_core_0 "25.742574257425744".
- 1273845 cpu_core_0 "25.742574257425744".
- 1275123 cpu_core_0 "25.742574257425744".
- 1276366 cpu_core_0 "25.742574257425744".
- 1277408 cpu_core_0 "25.742574257425744".
- 1279326 cpu_core_0 "25.742574257425744".
- 1279484 cpu_core_0 "25.742574257425744".
- 1279942 cpu_core_0 "25.742574257425744".
- 1281245 cpu_core_0 "25.742574257425744".
- 1281733 cpu_core_0 "25.742574257425744".
- 1284342 cpu_core_0 "25.742574257425744".
- 1284686 cpu_core_0 "25.742574257425744".
- 1284702 cpu_core_0 "25.742574257425744".
- 1285013 cpu_core_0 "25.742574257425744".
- 1285049 cpu_core_0 "25.742574257425744".
- 1285377 cpu_core_0 "25.742574257425744".
- 1286089 cpu_core_0 "25.742574257425744".
- 1290716 cpu_core_0 "25.742574257425744".
- 1291720 cpu_core_0 "25.742574257425744".
- 1294159 cpu_core_0 "25.742574257425744".
- 1296213 cpu_core_0 "25.742574257425744".
- 1296321 cpu_core_0 "25.742574257425744".
- 1299966 cpu_core_0 "25.742574257425744".
- 1300932 cpu_core_0 "25.742574257425744".
- 1301112 cpu_core_0 "25.742574257425744".
- 1302400 cpu_core_0 "25.742574257425744".
- 1303175 cpu_core_0 "25.742574257425744".
- 1305766 cpu_core_0 "25.742574257425744".
- 1305921 cpu_core_0 "25.742574257425744".
- 1307262 cpu_core_0 "25.742574257425744".
- 1308588 cpu_core_0 "25.742574257425744".
- 1308656 cpu_core_0 "25.742574257425744".
- 1308666 cpu_core_0 "25.742574257425744".
- 1309083 cpu_core_0 "25.742574257425744".
- 1309989 cpu_core_0 "25.742574257425744".
- 1310115 cpu_core_0 "25.742574257425744".
- 1310139 cpu_core_0 "25.742574257425744".
- 1310185 cpu_core_0 "25.742574257425744".
- 1310862 cpu_core_0 "25.742574257425744".
- 1311792 cpu_core_0 "25.742574257425744".
- 1316094 cpu_core_0 "25.742574257425744".
- 1316396 cpu_core_0 "25.742574257425744".
- 1316676 cpu_core_0 "25.742574257425744".
- 1319200 cpu_core_0 "25.742574257425744".
- 1320078 cpu_core_0 "25.742574257425744".
- 1322631 cpu_core_0 "25.742574257425744".
- 1324079 cpu_core_0 "25.742574257425744".
- 1324724 cpu_core_0 "25.742574257425744".
- 1325167 cpu_core_0 "25.742574257425744".
- 1326371 cpu_core_0 "25.742574257425744".
- 1327064 cpu_core_0 "25.742574257425744".
- 1327650 cpu_core_0 "25.742574257425744".
- 1328360 cpu_core_0 "25.742574257425744".
- 1330622 cpu_core_0 "25.742574257425744".
- 1330655 cpu_core_0 "25.742574257425744".
- 1332918 cpu_core_0 "25.742574257425744".
- 1334378 cpu_core_0 "25.742574257425744".
- 1335200 cpu_core_0 "25.742574257425744".
- 1335707 cpu_core_0 "25.742574257425744".
- 1337493 cpu_core_0 "25.742574257425744".
- 1339798 cpu_core_0 "25.742574257425744".
- 1339981 cpu_core_0 "25.742574257425744".
- 1340705 cpu_core_0 "25.742574257425744".
- 1341551 cpu_core_0 "25.742574257425744".
- 1342751 cpu_core_0 "25.742574257425744".
- 1343036 cpu_core_0 "25.742574257425744".
- 1343454 cpu_core_0 "25.742574257425744".
- 1350190 cpu_core_0 "25.742574257425744".
- 1351375 cpu_core_0 "25.742574257425744".
- 1353619 cpu_core_0 "25.742574257425744".