Matches in ISWC2014 Benchmark for { ?s ?p 13.72549019607843. }
- 1378106 cpu_core_0 "13.72549019607843".
- 1378549 cpu_core_0 "13.72549019607843".
- 1382927 cpu_core_0 "13.72549019607843".
- 1385299 cpu_core_0 "13.72549019607843".
- 1385559 cpu_core_0 "13.72549019607843".
- 1388137 cpu_core_0 "13.72549019607843".
- 1391918 cpu_core_0 "13.72549019607843".
- 1392709 cpu_core_0 "13.72549019607843".
- 1407536 cpu_core_0 "13.72549019607843".
- 1408932 cpu_core_0 "13.72549019607843".
- 1409015 cpu_core_0 "13.72549019607843".
- 1409981 cpu_core_0 "13.72549019607843".
- 1410293 cpu_core_0 "13.72549019607843".
- 1411573 cpu_core_0 "13.72549019607843".
- 1411790 cpu_core_0 "13.72549019607843".
- 1412563 cpu_core_0 "13.72549019607843".
- 1413837 cpu_core_0 "13.72549019607843".
- 1414091 cpu_core_0 "13.72549019607843".
- 1414121 cpu_core_0 "13.72549019607843".
- 1414200 cpu_core_0 "13.72549019607843".
- 1417768 cpu_core_0 "13.72549019607843".
- 1428103 cpu_core_0 "13.72549019607843".
- 1436426 cpu_core_0 "13.72549019607843".
- 1450719 cpu_core_0 "13.72549019607843".
- 1451236 cpu_core_0 "13.72549019607843".
- 1451930 cpu_core_0 "13.72549019607843".
- 1461620 cpu_core_0 "13.72549019607843".
- 1469454 cpu_core_0 "13.72549019607843".
- 1475688 cpu_core_0 "13.72549019607843".
- 1483351 cpu_core_0 "13.72549019607843".
- 1497155 cpu_core_0 "13.72549019607843".
- 1498532 cpu_core_0 "13.72549019607843".
- 1500207 cpu_core_0 "13.72549019607843".
- 1507844 cpu_core_0 "13.72549019607843".
- 1508131 cpu_core_0 "13.72549019607843".
- 1510056 cpu_core_0 "13.72549019607843".
- 1515898 cpu_core_0 "13.72549019607843".
- 1517805 cpu_core_0 "13.72549019607843".
- 1517977 cpu_core_0 "13.72549019607843".
- 1522730 cpu_core_0 "13.72549019607843".
- 1532373 cpu_core_0 "13.72549019607843".
- 1533268 cpu_core_0 "13.72549019607843".
- 1537967 cpu_core_0 "13.72549019607843".
- 1542161 cpu_core_0 "13.72549019607843".
- 1543499 cpu_core_0 "13.72549019607843".
- 1548552 cpu_core_0 "13.72549019607843".
- 1552680 cpu_core_0 "13.72549019607843".
- 1559216 cpu_core_0 "13.72549019607843".
- 1567222 cpu_core_0 "13.72549019607843".
- 1570772 cpu_core_0 "13.72549019607843".
- 1571376 cpu_core_0 "13.72549019607843".
- 1580194 cpu_core_0 "13.72549019607843".
- 1585818 cpu_core_0 "13.72549019607843".
- 1588378 cpu_core_0 "13.72549019607843".
- 1594658 cpu_core_0 "13.72549019607843".
- 1595109 cpu_core_0 "13.72549019607843".
- 1598422 cpu_core_0 "13.72549019607843".
- 1599101 cpu_core_0 "13.72549019607843".
- 1605929 cpu_core_0 "13.72549019607843".
- 1606378 cpu_core_0 "13.72549019607843".
- 1606497 cpu_core_0 "13.72549019607843".
- 1615005 cpu_core_0 "13.72549019607843".
- 1618866 cpu_core_0 "13.72549019607843".
- 1621841 cpu_core_0 "13.72549019607843".
- 1629685 cpu_core_0 "13.72549019607843".
- 1630037 cpu_core_0 "13.72549019607843".
- 1630123 cpu_core_0 "13.72549019607843".
- 1631910 cpu_core_0 "13.72549019607843".
- 1635397 cpu_core_0 "13.72549019607843".
- 1637858 cpu_core_0 "13.72549019607843".
- 1646984 cpu_core_0 "13.72549019607843".
- 1647232 cpu_core_0 "13.72549019607843".
- 1647777 cpu_core_0 "13.72549019607843".
- 1648239 cpu_core_0 "13.72549019607843".
- 1649204 cpu_core_0 "13.72549019607843".
- 1650417 cpu_core_0 "13.72549019607843".
- 1652572 cpu_core_0 "13.72549019607843".
- 1654252 cpu_core_0 "13.72549019607843".
- 1671124 cpu_core_0 "13.72549019607843".
- 1674437 cpu_core_0 "13.72549019607843".
- 1674781 cpu_core_0 "13.72549019607843".
- 1686675 cpu_core_0 "13.72549019607843".
- 1713902 cpu_core_0 "13.72549019607843".
- 1717274 cpu_core_0 "13.72549019607843".
- 1720288 cpu_core_0 "13.72549019607843".
- 1721018 cpu_core_0 "13.72549019607843".
- 1723072 cpu_core_0 "13.72549019607843".
- 1723161 cpu_core_0 "13.72549019607843".
- 1728950 cpu_core_0 "13.72549019607843".
- 1731457 cpu_core_0 "13.72549019607843".
- 1732844 cpu_core_0 "13.72549019607843".
- 1733261 cpu_core_0 "13.72549019607843".
- 1736521 cpu_core_0 "13.72549019607843".
- 1737216 cpu_core_0 "13.72549019607843".
- 1741880 cpu_core_0 "13.72549019607843".
- 1747033 cpu_core_0 "13.72549019607843".
- 1748006 cpu_core_0 "13.72549019607843".
- 1750272 cpu_core_0 "13.72549019607843".
- 1753087 cpu_core_0 "13.72549019607843".
- 1755899 cpu_core_0 "13.72549019607843".