Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1618983 cpu_core_0 "12.745098039215685".
- 1620257 cpu_core_0 "12.745098039215685".
- 1620899 cpu_core_0 "12.745098039215685".
- 1623524 cpu_core_0 "12.745098039215685".
- 1624437 cpu_core_0 "12.745098039215685".
- 1624514 cpu_core_0 "12.745098039215685".
- 1624607 cpu_core_0 "12.745098039215685".
- 1626116 cpu_core_0 "12.745098039215685".
- 1626962 cpu_core_0 "12.745098039215685".
- 1627738 cpu_core_0 "12.745098039215685".
- 1628324 cpu_core_0 "12.745098039215685".
- 1628491 cpu_core_0 "12.745098039215685".
- 1629703 cpu_core_0 "12.745098039215685".
- 1630196 cpu_core_0 "12.745098039215685".
- 1630286 cpu_core_0 "12.745098039215685".
- 1630404 cpu_core_0 "12.745098039215685".
- 1631732 cpu_core_0 "12.745098039215685".
- 1631769 cpu_core_0 "12.745098039215685".
- 1631802 cpu_core_0 "12.745098039215685".
- 1631967 cpu_core_0 "12.745098039215685".
- 1632027 cpu_core_0 "12.745098039215685".
- 1632095 cpu_core_0 "12.745098039215685".
- 1632162 cpu_core_0 "12.745098039215685".
- 1632818 cpu_core_0 "12.745098039215685".
- 1632877 cpu_core_0 "12.745098039215685".
- 1633204 cpu_core_0 "12.745098039215685".
- 1633222 cpu_core_0 "12.745098039215685".
- 1633968 cpu_core_0 "12.745098039215685".
- 1634038 cpu_core_0 "12.745098039215685".
- 1634264 cpu_core_0 "12.745098039215685".
- 1634648 cpu_core_0 "12.745098039215685".
- 1634682 cpu_core_0 "12.745098039215685".
- 1636121 cpu_core_0 "12.745098039215685".
- 1636473 cpu_core_0 "12.745098039215685".
- 1636708 cpu_core_0 "12.745098039215685".
- 1636807 cpu_core_0 "12.745098039215685".
- 1636952 cpu_core_0 "12.745098039215685".
- 1637141 cpu_core_0 "12.745098039215685".
- 1637415 cpu_core_0 "12.745098039215685".
- 1637522 cpu_core_0 "12.745098039215685".
- 1637986 cpu_core_0 "12.745098039215685".
- 1638170 cpu_core_0 "12.745098039215685".
- 1640784 cpu_core_0 "12.745098039215685".
- 1640821 cpu_core_0 "12.745098039215685".
- 1646484 cpu_core_0 "12.745098039215685".
- 1646500 cpu_core_0 "12.745098039215685".
- 1646627 cpu_core_0 "12.745098039215685".
- 1646678 cpu_core_0 "12.745098039215685".
- 1646690 cpu_core_0 "12.745098039215685".
- 1647210 cpu_core_0 "12.745098039215685".
- 1647627 cpu_core_0 "12.745098039215685".
- 1647909 cpu_core_0 "12.745098039215685".
- 1648274 cpu_core_0 "12.745098039215685".
- 1648364 cpu_core_0 "12.745098039215685".
- 1648744 cpu_core_0 "12.745098039215685".
- 1648868 cpu_core_0 "12.745098039215685".
- 1649223 cpu_core_0 "12.745098039215685".
- 1649332 cpu_core_0 "12.745098039215685".
- 1649934 cpu_core_0 "12.745098039215685".
- 1651004 cpu_core_0 "12.745098039215685".
- 1651074 cpu_core_0 "12.745098039215685".
- 1651245 cpu_core_0 "12.745098039215685".
- 1651783 cpu_core_0 "12.745098039215685".
- 1651788 cpu_core_0 "12.745098039215685".
- 1651793 cpu_core_0 "12.745098039215685".
- 1652227 cpu_core_0 "12.745098039215685".
- 1652260 cpu_core_0 "12.745098039215685".
- 1652530 cpu_core_0 "12.745098039215685".
- 1652856 cpu_core_0 "12.745098039215685".
- 1652886 cpu_core_0 "12.745098039215685".
- 1652906 cpu_core_0 "12.745098039215685".
- 1652927 cpu_core_0 "12.745098039215685".
- 1653010 cpu_core_0 "12.745098039215685".
- 1653105 cpu_core_0 "12.745098039215685".
- 1653632 cpu_core_0 "12.745098039215685".
- 1653881 cpu_core_0 "12.745098039215685".
- 1654269 cpu_core_0 "12.745098039215685".
- 1657833 cpu_core_0 "12.745098039215685".
- 1671016 cpu_core_0 "12.745098039215685".
- 1673436 cpu_core_0 "12.745098039215685".
- 1675268 cpu_core_0 "12.745098039215685".
- 1681394 cpu_core_0 "12.745098039215685".
- 1691636 cpu_core_0 "12.745098039215685".
- 1692297 cpu_core_0 "12.745098039215685".
- 1693312 cpu_core_0 "12.745098039215685".
- 1710652 cpu_core_0 "12.745098039215685".
- 1710852 cpu_core_0 "12.745098039215685".
- 1713547 cpu_core_0 "12.745098039215685".
- 1714331 cpu_core_0 "12.745098039215685".
- 1714412 cpu_core_0 "12.745098039215685".
- 1715454 cpu_core_0 "12.745098039215685".
- 1715817 cpu_core_0 "12.745098039215685".
- 1715940 cpu_core_0 "12.745098039215685".
- 1716500 cpu_core_0 "12.745098039215685".
- 1716931 cpu_core_0 "12.745098039215685".
- 1717121 cpu_core_0 "12.745098039215685".
- 1717183 cpu_core_0 "12.745098039215685".
- 1717624 cpu_core_0 "12.745098039215685".
- 1718546 cpu_core_0 "12.745098039215685".
- 1718972 cpu_core_0 "12.745098039215685".