Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1498777 cpu_core_0 "25.742574257425744".
- 1500006 cpu_core_0 "25.742574257425744".
- 1500404 cpu_core_0 "25.742574257425744".
- 1501062 cpu_core_0 "25.742574257425744".
- 1501151 cpu_core_0 "25.742574257425744".
- 1501284 cpu_core_0 "25.742574257425744".
- 1502176 cpu_core_0 "25.742574257425744".
- 1502840 cpu_core_0 "25.742574257425744".
- 1503280 cpu_core_0 "25.742574257425744".
- 1505149 cpu_core_0 "25.742574257425744".
- 1507801 cpu_core_0 "25.742574257425744".
- 1507911 cpu_core_0 "25.742574257425744".
- 1508369 cpu_core_0 "25.742574257425744".
- 1508379 cpu_core_0 "25.742574257425744".
- 1508390 cpu_core_0 "25.742574257425744".
- 1508490 cpu_core_0 "25.742574257425744".
- 1509437 cpu_core_0 "25.742574257425744".
- 1512568 cpu_core_0 "25.742574257425744".
- 1513709 cpu_core_0 "25.742574257425744".
- 1514057 cpu_core_0 "25.742574257425744".
- 1514783 cpu_core_0 "25.742574257425744".
- 1514785 cpu_core_0 "25.742574257425744".
- 1514882 cpu_core_0 "25.742574257425744".
- 1517487 cpu_core_0 "25.742574257425744".
- 1517819 cpu_core_0 "25.742574257425744".
- 1518350 cpu_core_0 "25.742574257425744".
- 1518351 cpu_core_0 "25.742574257425744".
- 1519040 cpu_core_0 "25.742574257425744".
- 1519510 cpu_core_0 "25.742574257425744".
- 1520747 cpu_core_0 "25.742574257425744".
- 1520989 cpu_core_0 "25.742574257425744".
- 1521580 cpu_core_0 "25.742574257425744".
- 1524658 cpu_core_0 "25.742574257425744".
- 1524858 cpu_core_0 "25.742574257425744".
- 1525453 cpu_core_0 "25.742574257425744".
- 1525680 cpu_core_0 "25.742574257425744".
- 1526227 cpu_core_0 "25.742574257425744".
- 1527971 cpu_core_0 "25.742574257425744".
- 1528228 cpu_core_0 "25.742574257425744".
- 1528459 cpu_core_0 "25.742574257425744".
- 1529113 cpu_core_0 "25.742574257425744".
- 1529679 cpu_core_0 "25.742574257425744".
- 1530190 cpu_core_0 "25.742574257425744".
- 1530752 cpu_core_0 "25.742574257425744".
- 1530843 cpu_core_0 "25.742574257425744".
- 1531342 cpu_core_0 "25.742574257425744".
- 1534141 cpu_core_0 "25.742574257425744".
- 1534498 cpu_core_0 "25.742574257425744".
- 1534683 cpu_core_0 "25.742574257425744".
- 1535203 cpu_core_0 "25.742574257425744".
- 1536406 cpu_core_0 "25.742574257425744".
- 1538085 cpu_core_0 "25.742574257425744".
- 1539353 cpu_core_0 "25.742574257425744".
- 1540484 cpu_core_0 "25.742574257425744".
- 1541557 cpu_core_0 "25.742574257425744".
- 1541765 cpu_core_0 "25.742574257425744".
- 1541992 cpu_core_0 "25.742574257425744".
- 1542137 cpu_core_0 "25.742574257425744".
- 1542152 cpu_core_0 "25.742574257425744".
- 1542351 cpu_core_0 "25.742574257425744".
- 1542721 cpu_core_0 "25.742574257425744".
- 1542848 cpu_core_0 "25.742574257425744".
- 1543449 cpu_core_0 "25.742574257425744".
- 1543965 cpu_core_0 "25.742574257425744".
- 1544184 cpu_core_0 "25.742574257425744".
- 1545381 cpu_core_0 "25.742574257425744".
- 1548977 cpu_core_0 "25.742574257425744".
- 1551677 cpu_core_0 "25.742574257425744".
- 1552512 cpu_core_0 "25.742574257425744".
- 1553346 cpu_core_0 "25.742574257425744".
- 1553882 cpu_core_0 "25.742574257425744".
- 1554712 cpu_core_0 "25.742574257425744".
- 1555256 cpu_core_0 "25.742574257425744".
- 1555841 cpu_core_0 "25.742574257425744".
- 1556051 cpu_core_0 "25.742574257425744".
- 1556125 cpu_core_0 "25.742574257425744".
- 1556328 cpu_core_0 "25.742574257425744".
- 1556450 cpu_core_0 "25.742574257425744".
- 1556528 cpu_core_0 "25.742574257425744".
- 1556906 cpu_core_0 "25.742574257425744".
- 1557409 cpu_core_0 "25.742574257425744".
- 1559275 cpu_core_0 "25.742574257425744".
- 1559524 cpu_core_0 "25.742574257425744".
- 1559837 cpu_core_0 "25.742574257425744".
- 1560563 cpu_core_0 "25.742574257425744".
- 1561700 cpu_core_0 "25.742574257425744".
- 1561800 cpu_core_0 "25.742574257425744".
- 1562418 cpu_core_0 "25.742574257425744".
- 1562502 cpu_core_0 "25.742574257425744".
- 1562541 cpu_core_0 "25.742574257425744".
- 1563227 cpu_core_0 "25.742574257425744".
- 1563378 cpu_core_0 "25.742574257425744".
- 1563456 cpu_core_0 "25.742574257425744".
- 1563589 cpu_core_0 "25.742574257425744".
- 1563595 cpu_core_0 "25.742574257425744".
- 1563612 cpu_core_0 "25.742574257425744".
- 1563873 cpu_core_0 "25.742574257425744".
- 1563953 cpu_core_0 "25.742574257425744".
- 1564567 cpu_core_0 "25.742574257425744".
- 1564841 cpu_core_0 "25.742574257425744".