Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1564846 cpu_core_0 "25.742574257425744".
- 1564853 cpu_core_0 "25.742574257425744".
- 1566167 cpu_core_0 "25.742574257425744".
- 1566189 cpu_core_0 "25.742574257425744".
- 1567652 cpu_core_0 "25.742574257425744".
- 1567994 cpu_core_0 "25.742574257425744".
- 1568243 cpu_core_0 "25.742574257425744".
- 1568270 cpu_core_0 "25.742574257425744".
- 1568725 cpu_core_0 "25.742574257425744".
- 1568964 cpu_core_0 "25.742574257425744".
- 1569027 cpu_core_0 "25.742574257425744".
- 1569214 cpu_core_0 "25.742574257425744".
- 1569418 cpu_core_0 "25.742574257425744".
- 1569422 cpu_core_0 "25.742574257425744".
- 1571191 cpu_core_0 "25.742574257425744".
- 1571617 cpu_core_0 "25.742574257425744".
- 1571771 cpu_core_0 "25.742574257425744".
- 1573701 cpu_core_0 "25.742574257425744".
- 1575530 cpu_core_0 "25.742574257425744".
- 1575608 cpu_core_0 "25.742574257425744".
- 1576055 cpu_core_0 "25.742574257425744".
- 1576394 cpu_core_0 "25.742574257425744".
- 1576416 cpu_core_0 "25.742574257425744".
- 1576727 cpu_core_0 "25.742574257425744".
- 1577015 cpu_core_0 "25.742574257425744".
- 1578306 cpu_core_0 "25.742574257425744".
- 1578384 cpu_core_0 "25.742574257425744".
- 1579415 cpu_core_0 "25.742574257425744".
- 1579583 cpu_core_0 "25.742574257425744".
- 1582167 cpu_core_0 "25.742574257425744".
- 1583008 cpu_core_0 "25.742574257425744".
- 1583304 cpu_core_0 "25.742574257425744".
- 1583470 cpu_core_0 "25.742574257425744".
- 1584665 cpu_core_0 "25.742574257425744".
- 1584685 cpu_core_0 "25.742574257425744".
- 1584702 cpu_core_0 "25.742574257425744".
- 1585050 cpu_core_0 "25.742574257425744".
- 1585106 cpu_core_0 "25.742574257425744".
- 1585480 cpu_core_0 "25.742574257425744".
- 1586605 cpu_core_0 "25.742574257425744".
- 1587513 cpu_core_0 "25.742574257425744".
- 1589772 cpu_core_0 "25.742574257425744".
- 1590411 cpu_core_0 "25.742574257425744".
- 1590871 cpu_core_0 "25.742574257425744".
- 1591465 cpu_core_0 "25.742574257425744".
- 1591976 cpu_core_0 "25.742574257425744".
- 1592331 cpu_core_0 "25.742574257425744".
- 1594654 cpu_core_0 "25.742574257425744".
- 1596677 cpu_core_0 "25.742574257425744".
- 1597276 cpu_core_0 "25.742574257425744".
- 1598007 cpu_core_0 "25.742574257425744".
- 1599366 cpu_core_0 "25.742574257425744".
- 1599470 cpu_core_0 "25.742574257425744".
- 1599947 cpu_core_0 "25.742574257425744".
- 1600342 cpu_core_0 "25.742574257425744".
- 1600722 cpu_core_0 "25.742574257425744".
- 1600832 cpu_core_0 "25.742574257425744".
- 1601173 cpu_core_0 "25.742574257425744".
- 1602281 cpu_core_0 "25.742574257425744".
- 1602379 cpu_core_0 "25.742574257425744".
- 1602483 cpu_core_0 "25.742574257425744".
- 1603435 cpu_core_0 "25.742574257425744".
- 1604966 cpu_core_0 "25.742574257425744".
- 1605181 cpu_core_0 "25.742574257425744".
- 1605506 cpu_core_0 "25.742574257425744".
- 1607247 cpu_core_0 "25.742574257425744".
- 1607313 cpu_core_0 "25.742574257425744".
- 1607818 cpu_core_0 "25.742574257425744".
- 1608740 cpu_core_0 "25.742574257425744".
- 1608905 cpu_core_0 "25.742574257425744".
- 1609211 cpu_core_0 "25.742574257425744".
- 1610575 cpu_core_0 "25.742574257425744".
- 1610605 cpu_core_0 "25.742574257425744".
- 1612713 cpu_core_0 "25.742574257425744".
- 1613706 cpu_core_0 "25.742574257425744".
- 1614781 cpu_core_0 "25.742574257425744".
- 1615613 cpu_core_0 "25.742574257425744".
- 1617307 cpu_core_0 "25.742574257425744".
- 1619262 cpu_core_0 "25.742574257425744".
- 1620754 cpu_core_0 "25.742574257425744".
- 1620782 cpu_core_0 "25.742574257425744".
- 1620870 cpu_core_0 "25.742574257425744".
- 1621659 cpu_core_0 "25.742574257425744".
- 1621896 cpu_core_0 "25.742574257425744".
- 1622068 cpu_core_0 "25.742574257425744".
- 1622159 cpu_core_0 "25.742574257425744".
- 1622864 cpu_core_0 "25.742574257425744".
- 1622878 cpu_core_0 "25.742574257425744".
- 1623203 cpu_core_0 "25.742574257425744".
- 1623239 cpu_core_0 "25.742574257425744".
- 1623763 cpu_core_0 "25.742574257425744".
- 1623821 cpu_core_0 "25.742574257425744".
- 1623918 cpu_core_0 "25.742574257425744".
- 1624380 cpu_core_0 "25.742574257425744".
- 1624822 cpu_core_0 "25.742574257425744".
- 1624877 cpu_core_0 "25.742574257425744".
- 1627513 cpu_core_0 "25.742574257425744".
- 1627682 cpu_core_0 "25.742574257425744".
- 1628044 cpu_core_0 "25.742574257425744".
- 1628721 cpu_core_0 "25.742574257425744".