Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1355252 cpu_core_0 "25.742574257425744".
- 1355638 cpu_core_0 "25.742574257425744".
- 1356330 cpu_core_0 "25.742574257425744".
- 1356720 cpu_core_0 "25.742574257425744".
- 1357338 cpu_core_0 "25.742574257425744".
- 1358068 cpu_core_0 "25.742574257425744".
- 1360372 cpu_core_0 "25.742574257425744".
- 1360920 cpu_core_0 "25.742574257425744".
- 1361160 cpu_core_0 "25.742574257425744".
- 1361773 cpu_core_0 "25.742574257425744".
- 1362497 cpu_core_0 "25.742574257425744".
- 1365960 cpu_core_0 "25.742574257425744".
- 1366945 cpu_core_0 "25.742574257425744".
- 1367909 cpu_core_0 "25.742574257425744".
- 1368124 cpu_core_0 "25.742574257425744".
- 1368431 cpu_core_0 "25.742574257425744".
- 1368669 cpu_core_0 "25.742574257425744".
- 1369596 cpu_core_0 "25.742574257425744".
- 1369600 cpu_core_0 "25.742574257425744".
- 1369725 cpu_core_0 "25.742574257425744".
- 1371384 cpu_core_0 "25.742574257425744".
- 1372348 cpu_core_0 "25.742574257425744".
- 1372599 cpu_core_0 "25.742574257425744".
- 1373001 cpu_core_0 "25.742574257425744".
- 1374091 cpu_core_0 "25.742574257425744".
- 1376496 cpu_core_0 "25.742574257425744".
- 1376933 cpu_core_0 "25.742574257425744".
- 1377815 cpu_core_0 "25.742574257425744".
- 1378221 cpu_core_0 "25.742574257425744".
- 1378453 cpu_core_0 "25.742574257425744".
- 1378653 cpu_core_0 "25.742574257425744".
- 1378913 cpu_core_0 "25.742574257425744".
- 1379090 cpu_core_0 "25.742574257425744".
- 1379185 cpu_core_0 "25.742574257425744".
- 1379566 cpu_core_0 "25.742574257425744".
- 1383896 cpu_core_0 "25.742574257425744".
- 1384119 cpu_core_0 "25.742574257425744".
- 1384649 cpu_core_0 "25.742574257425744".
- 1385062 cpu_core_0 "25.742574257425744".
- 1386709 cpu_core_0 "25.742574257425744".
- 1389335 cpu_core_0 "25.742574257425744".
- 1392518 cpu_core_0 "25.742574257425744".
- 1393252 cpu_core_0 "25.742574257425744".
- 1394714 cpu_core_0 "25.742574257425744".
- 1396104 cpu_core_0 "25.742574257425744".
- 1397192 cpu_core_0 "25.742574257425744".
- 1397317 cpu_core_0 "25.742574257425744".
- 1397425 cpu_core_0 "25.742574257425744".
- 1397626 cpu_core_0 "25.742574257425744".
- 1398611 cpu_core_0 "25.742574257425744".
- 1398917 cpu_core_0 "25.742574257425744".
- 1399401 cpu_core_0 "25.742574257425744".
- 1400398 cpu_core_0 "25.742574257425744".
- 1400718 cpu_core_0 "25.742574257425744".
- 1400938 cpu_core_0 "25.742574257425744".
- 1401294 cpu_core_0 "25.742574257425744".
- 1401339 cpu_core_0 "25.742574257425744".
- 1401678 cpu_core_0 "25.742574257425744".
- 1401901 cpu_core_0 "25.742574257425744".
- 1401980 cpu_core_0 "25.742574257425744".
- 1402014 cpu_core_0 "25.742574257425744".
- 1402608 cpu_core_0 "25.742574257425744".
- 1402760 cpu_core_0 "25.742574257425744".
- 1402893 cpu_core_0 "25.742574257425744".
- 1403346 cpu_core_0 "25.742574257425744".
- 1403351 cpu_core_0 "25.742574257425744".
- 1403408 cpu_core_0 "25.742574257425744".
- 1403468 cpu_core_0 "25.742574257425744".
- 1403836 cpu_core_0 "25.742574257425744".
- 1403939 cpu_core_0 "25.742574257425744".
- 1404176 cpu_core_0 "25.742574257425744".
- 1404257 cpu_core_0 "25.742574257425744".
- 1404578 cpu_core_0 "25.742574257425744".
- 1405264 cpu_core_0 "25.742574257425744".
- 1405780 cpu_core_0 "25.742574257425744".
- 1405819 cpu_core_0 "25.742574257425744".
- 1405856 cpu_core_0 "25.742574257425744".
- 1405870 cpu_core_0 "25.742574257425744".
- 1405879 cpu_core_0 "25.742574257425744".
- 1406220 cpu_core_0 "25.742574257425744".
- 1406467 cpu_core_0 "25.742574257425744".
- 1407067 cpu_core_0 "25.742574257425744".
- 1407533 cpu_core_0 "25.742574257425744".
- 1415741 cpu_core_0 "25.742574257425744".
- 1418394 cpu_core_0 "25.742574257425744".
- 1419928 cpu_core_0 "25.742574257425744".
- 1420486 cpu_core_0 "25.742574257425744".
- 1421925 cpu_core_0 "25.742574257425744".
- 1423738 cpu_core_0 "25.742574257425744".
- 1424159 cpu_core_0 "25.742574257425744".
- 1425709 cpu_core_0 "25.742574257425744".
- 1426076 cpu_core_0 "25.742574257425744".
- 1427136 cpu_core_0 "25.742574257425744".
- 1428015 cpu_core_0 "25.742574257425744".
- 1428528 cpu_core_0 "25.742574257425744".
- 1428588 cpu_core_0 "25.742574257425744".
- 1429768 cpu_core_0 "25.742574257425744".
- 1430705 cpu_core_0 "25.742574257425744".
- 1431201 cpu_core_0 "25.742574257425744".
- 1431831 cpu_core_0 "25.742574257425744".