Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1523513 cpu_core_0 "13.725490196078432".
- 1524345 cpu_core_0 "13.725490196078432".
- 1524420 cpu_core_0 "13.725490196078432".
- 1524585 cpu_core_0 "13.725490196078432".
- 1524758 cpu_core_0 "13.725490196078432".
- 1526208 cpu_core_0 "13.725490196078432".
- 1526509 cpu_core_0 "13.725490196078432".
- 1526788 cpu_core_0 "13.725490196078432".
- 1527012 cpu_core_0 "13.725490196078432".
- 1528515 cpu_core_0 "13.725490196078432".
- 1528554 cpu_core_0 "13.725490196078432".
- 1529145 cpu_core_0 "13.725490196078432".
- 1530709 cpu_core_0 "13.725490196078432".
- 1531200 cpu_core_0 "13.725490196078432".
- 1534392 cpu_core_0 "13.725490196078432".
- 1534957 cpu_core_0 "13.725490196078432".
- 1535381 cpu_core_0 "13.725490196078432".
- 1536470 cpu_core_0 "13.725490196078432".
- 1536753 cpu_core_0 "13.725490196078432".
- 1537883 cpu_core_0 "13.725490196078432".
- 1538690 cpu_core_0 "13.725490196078432".
- 1539699 cpu_core_0 "13.725490196078432".
- 1540547 cpu_core_0 "13.725490196078432".
- 1541413 cpu_core_0 "13.725490196078432".
- 1542698 cpu_core_0 "13.725490196078432".
- 1543213 cpu_core_0 "13.725490196078432".
- 1544546 cpu_core_0 "13.725490196078432".
- 1545375 cpu_core_0 "13.725490196078432".
- 1545673 cpu_core_0 "13.725490196078432".
- 1545737 cpu_core_0 "13.725490196078432".
- 1546740 cpu_core_0 "13.725490196078432".
- 1546746 cpu_core_0 "13.725490196078432".
- 1551078 cpu_core_0 "13.725490196078432".
- 1551653 cpu_core_0 "13.725490196078432".
- 1551852 cpu_core_0 "13.725490196078432".
- 1551973 cpu_core_0 "13.725490196078432".
- 1552317 cpu_core_0 "13.725490196078432".
- 1552371 cpu_core_0 "13.725490196078432".
- 1552859 cpu_core_0 "13.725490196078432".
- 1553045 cpu_core_0 "13.725490196078432".
- 1554874 cpu_core_0 "13.725490196078432".
- 1556504 cpu_core_0 "13.725490196078432".
- 1556983 cpu_core_0 "13.725490196078432".
- 1557206 cpu_core_0 "13.725490196078432".
- 1558383 cpu_core_0 "13.725490196078432".
- 1558462 cpu_core_0 "13.725490196078432".
- 1559238 cpu_core_0 "13.725490196078432".
- 1560183 cpu_core_0 "13.725490196078432".
- 1562962 cpu_core_0 "13.725490196078432".
- 1564218 cpu_core_0 "13.725490196078432".
- 1564335 cpu_core_0 "13.725490196078432".
- 1564897 cpu_core_0 "13.725490196078432".
- 1565002 cpu_core_0 "13.725490196078432".
- 1565404 cpu_core_0 "13.725490196078432".
- 1565596 cpu_core_0 "13.725490196078432".
- 1565777 cpu_core_0 "13.725490196078432".
- 1567624 cpu_core_0 "13.725490196078432".
- 1567663 cpu_core_0 "13.725490196078432".
- 1568772 cpu_core_0 "13.725490196078432".
- 1570814 cpu_core_0 "13.725490196078432".
- 1574883 cpu_core_0 "13.725490196078432".
- 1577182 cpu_core_0 "13.725490196078432".
- 1577316 cpu_core_0 "13.725490196078432".
- 1577722 cpu_core_0 "13.725490196078432".
- 1577817 cpu_core_0 "13.725490196078432".
- 1578643 cpu_core_0 "13.725490196078432".
- 1578928 cpu_core_0 "13.725490196078432".
- 1579599 cpu_core_0 "13.725490196078432".
- 1579643 cpu_core_0 "13.725490196078432".
- 1579895 cpu_core_0 "13.725490196078432".
- 1580623 cpu_core_0 "13.725490196078432".
- 1581073 cpu_core_0 "13.725490196078432".
- 1581388 cpu_core_0 "13.725490196078432".
- 1582161 cpu_core_0 "13.725490196078432".
- 1583678 cpu_core_0 "13.725490196078432".
- 1584673 cpu_core_0 "13.725490196078432".
- 1586079 cpu_core_0 "13.725490196078432".
- 1586931 cpu_core_0 "13.725490196078432".
- 1587677 cpu_core_0 "13.725490196078432".
- 1588098 cpu_core_0 "13.725490196078432".
- 1588197 cpu_core_0 "13.725490196078432".
- 1588943 cpu_core_0 "13.725490196078432".
- 1589402 cpu_core_0 "13.725490196078432".
- 1592177 cpu_core_0 "13.725490196078432".
- 1593458 cpu_core_0 "13.725490196078432".
- 1593893 cpu_core_0 "13.725490196078432".
- 1593906 cpu_core_0 "13.725490196078432".
- 1595780 cpu_core_0 "13.725490196078432".
- 1596013 cpu_core_0 "13.725490196078432".
- 1596807 cpu_core_0 "13.725490196078432".
- 1597280 cpu_core_0 "13.725490196078432".
- 1599144 cpu_core_0 "13.725490196078432".
- 1600606 cpu_core_0 "13.725490196078432".
- 1601296 cpu_core_0 "13.725490196078432".
- 1601419 cpu_core_0 "13.725490196078432".
- 1602878 cpu_core_0 "13.725490196078432".
- 1603790 cpu_core_0 "13.725490196078432".
- 1604233 cpu_core_0 "13.725490196078432".
- 1604937 cpu_core_0 "13.725490196078432".
- 1605019 cpu_core_0 "13.725490196078432".