Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1513412 cpu_core_0 "15.686274509803921".
- 1514014 cpu_core_0 "15.686274509803921".
- 1518031 cpu_core_0 "15.686274509803921".
- 1518800 cpu_core_0 "15.686274509803921".
- 1519177 cpu_core_0 "15.686274509803921".
- 1521308 cpu_core_0 "15.686274509803921".
- 1522718 cpu_core_0 "15.686274509803921".
- 1523734 cpu_core_0 "15.686274509803921".
- 1524485 cpu_core_0 "15.686274509803921".
- 1527002 cpu_core_0 "15.686274509803921".
- 1527600 cpu_core_0 "15.686274509803921".
- 1529407 cpu_core_0 "15.686274509803921".
- 1529576 cpu_core_0 "15.686274509803921".
- 1529721 cpu_core_0 "15.686274509803921".
- 1531963 cpu_core_0 "15.686274509803921".
- 1532084 cpu_core_0 "15.686274509803921".
- 1534425 cpu_core_0 "15.686274509803921".
- 1537194 cpu_core_0 "15.686274509803921".
- 1538569 cpu_core_0 "15.686274509803921".
- 1538686 cpu_core_0 "15.686274509803921".
- 1539768 cpu_core_0 "15.686274509803921".
- 1540195 cpu_core_0 "15.686274509803921".
- 1540537 cpu_core_0 "15.686274509803921".
- 1540852 cpu_core_0 "15.686274509803921".
- 1540960 cpu_core_0 "15.686274509803921".
- 1542388 cpu_core_0 "15.686274509803921".
- 1542492 cpu_core_0 "15.686274509803921".
- 1543217 cpu_core_0 "15.686274509803921".
- 1543486 cpu_core_0 "15.686274509803921".
- 1543779 cpu_core_0 "15.686274509803921".
- 1543846 cpu_core_0 "15.686274509803921".
- 1544594 cpu_core_0 "15.686274509803921".
- 1545174 cpu_core_0 "15.686274509803921".
- 1545406 cpu_core_0 "15.686274509803921".
- 1547804 cpu_core_0 "15.686274509803921".
- 1550239 cpu_core_0 "15.686274509803921".
- 1551278 cpu_core_0 "15.686274509803921".
- 1552694 cpu_core_0 "15.686274509803921".
- 1553226 cpu_core_0 "15.686274509803921".
- 1554308 cpu_core_0 "15.686274509803921".
- 1555368 cpu_core_0 "15.686274509803921".
- 1558204 cpu_core_0 "15.686274509803921".
- 1558288 cpu_core_0 "15.686274509803921".
- 1558945 cpu_core_0 "15.686274509803921".
- 1559047 cpu_core_0 "15.686274509803921".
- 1560382 cpu_core_0 "15.686274509803921".
- 1562174 cpu_core_0 "15.686274509803921".
- 1562652 cpu_core_0 "15.686274509803921".
- 1562878 cpu_core_0 "15.686274509803921".
- 1562967 cpu_core_0 "15.686274509803921".
- 1564780 cpu_core_0 "15.686274509803921".
- 1568742 cpu_core_0 "15.686274509803921".
- 1569266 cpu_core_0 "15.686274509803921".
- 1569780 cpu_core_0 "15.686274509803921".
- 1569786 cpu_core_0 "15.686274509803921".
- 1569833 cpu_core_0 "15.686274509803921".
- 1570347 cpu_core_0 "15.686274509803921".
- 1570780 cpu_core_0 "15.686274509803921".
- 1571526 cpu_core_0 "15.686274509803921".
- 1571615 cpu_core_0 "15.686274509803921".
- 1573530 cpu_core_0 "15.686274509803921".
- 1574085 cpu_core_0 "15.686274509803921".
- 1577616 cpu_core_0 "15.686274509803921".
- 1577894 cpu_core_0 "15.686274509803921".
- 1578573 cpu_core_0 "15.686274509803921".
- 1580226 cpu_core_0 "15.686274509803921".
- 1580713 cpu_core_0 "15.686274509803921".
- 1580716 cpu_core_0 "15.686274509803921".
- 1581863 cpu_core_0 "15.686274509803921".
- 1582010 cpu_core_0 "15.686274509803921".
- 1582118 cpu_core_0 "15.686274509803921".
- 1582721 cpu_core_0 "15.686274509803921".
- 1585573 cpu_core_0 "15.686274509803921".
- 1585676 cpu_core_0 "15.686274509803921".
- 1585878 cpu_core_0 "15.686274509803921".
- 1587258 cpu_core_0 "15.686274509803921".
- 1587389 cpu_core_0 "15.686274509803921".
- 1587918 cpu_core_0 "15.686274509803921".
- 1588948 cpu_core_0 "15.686274509803921".
- 1589193 cpu_core_0 "15.686274509803921".
- 1589575 cpu_core_0 "15.686274509803921".
- 1590069 cpu_core_0 "15.686274509803921".
- 1591861 cpu_core_0 "15.686274509803921".
- 1592368 cpu_core_0 "15.686274509803921".
- 1592602 cpu_core_0 "15.686274509803921".
- 1592986 cpu_core_0 "15.686274509803921".
- 1593259 cpu_core_0 "15.686274509803921".
- 1593530 cpu_core_0 "15.686274509803921".
- 1595854 cpu_core_0 "15.686274509803921".
- 1596309 cpu_core_0 "15.686274509803921".
- 1596888 cpu_core_0 "15.686274509803921".
- 1598510 cpu_core_0 "15.686274509803921".
- 1598974 cpu_core_0 "15.686274509803921".
- 1603641 cpu_core_0 "15.686274509803921".
- 1603737 cpu_core_0 "15.686274509803921".
- 1604596 cpu_core_0 "15.686274509803921".
- 1606163 cpu_core_0 "15.686274509803921".
- 1607334 cpu_core_0 "15.686274509803921".
- 1607813 cpu_core_0 "15.686274509803921".
- 1608520 cpu_core_0 "15.686274509803921".