Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1719567 cpu_core_0 "12.745098039215685".
- 1720061 cpu_core_0 "12.745098039215685".
- 1721438 cpu_core_0 "12.745098039215685".
- 1721556 cpu_core_0 "12.745098039215685".
- 1722050 cpu_core_0 "12.745098039215685".
- 1722821 cpu_core_0 "12.745098039215685".
- 1723324 cpu_core_0 "12.745098039215685".
- 1723345 cpu_core_0 "12.745098039215685".
- 1723421 cpu_core_0 "12.745098039215685".
- 1724927 cpu_core_0 "12.745098039215685".
- 1725652 cpu_core_0 "12.745098039215685".
- 1727392 cpu_core_0 "12.745098039215685".
- 1727403 cpu_core_0 "12.745098039215685".
- 1727727 cpu_core_0 "12.745098039215685".
- 1727964 cpu_core_0 "12.745098039215685".
- 1728207 cpu_core_0 "12.745098039215685".
- 1728258 cpu_core_0 "12.745098039215685".
- 1728371 cpu_core_0 "12.745098039215685".
- 1728495 cpu_core_0 "12.745098039215685".
- 1728610 cpu_core_0 "12.745098039215685".
- 1728829 cpu_core_0 "12.745098039215685".
- 1730051 cpu_core_0 "12.745098039215685".
- 1730995 cpu_core_0 "12.745098039215685".
- 1731054 cpu_core_0 "12.745098039215685".
- 1732074 cpu_core_0 "12.745098039215685".
- 1732419 cpu_core_0 "12.745098039215685".
- 1732544 cpu_core_0 "12.745098039215685".
- 1733973 cpu_core_0 "12.745098039215685".
- 1734056 cpu_core_0 "12.745098039215685".
- 1734105 cpu_core_0 "12.745098039215685".
- 1734347 cpu_core_0 "12.745098039215685".
- 1735063 cpu_core_0 "12.745098039215685".
- 1735097 cpu_core_0 "12.745098039215685".
- 1735270 cpu_core_0 "12.745098039215685".
- 1735539 cpu_core_0 "12.745098039215685".
- 1737138 cpu_core_0 "12.745098039215685".
- 1737825 cpu_core_0 "12.745098039215685".
- 1738532 cpu_core_0 "12.745098039215685".
- 1739701 cpu_core_0 "12.745098039215685".
- 1740119 cpu_core_0 "12.745098039215685".
- 1740433 cpu_core_0 "12.745098039215685".
- 1740631 cpu_core_0 "12.745098039215685".
- 1741947 cpu_core_0 "12.745098039215685".
- 1742073 cpu_core_0 "12.745098039215685".
- 1742179 cpu_core_0 "12.745098039215685".
- 1742698 cpu_core_0 "12.745098039215685".
- 1743049 cpu_core_0 "12.745098039215685".
- 1743570 cpu_core_0 "12.745098039215685".
- 1743996 cpu_core_0 "12.745098039215685".
- 1744405 cpu_core_0 "12.745098039215685".
- 1744490 cpu_core_0 "12.745098039215685".
- 1744497 cpu_core_0 "12.745098039215685".
- 1745560 cpu_core_0 "12.745098039215685".
- 1745574 cpu_core_0 "12.745098039215685".
- 1745606 cpu_core_0 "12.745098039215685".
- 1746434 cpu_core_0 "12.745098039215685".
- 1746456 cpu_core_0 "12.745098039215685".
- 1746510 cpu_core_0 "12.745098039215685".
- 1746581 cpu_core_0 "12.745098039215685".
- 1746646 cpu_core_0 "12.745098039215685".
- 1746935 cpu_core_0 "12.745098039215685".
- 1747364 cpu_core_0 "12.745098039215685".
- 1747412 cpu_core_0 "12.745098039215685".
- 1747585 cpu_core_0 "12.745098039215685".
- 1747634 cpu_core_0 "12.745098039215685".
- 1749034 cpu_core_0 "12.745098039215685".
- 1750643 cpu_core_0 "12.745098039215685".
- 1750656 cpu_core_0 "12.745098039215685".
- 1751220 cpu_core_0 "12.745098039215685".
- 1751816 cpu_core_0 "12.745098039215685".
- 1752571 cpu_core_0 "12.745098039215685".
- 1754482 cpu_core_0 "12.745098039215685".
- 1754669 cpu_core_0 "12.745098039215685".
- 1755275 cpu_core_0 "12.745098039215685".
- 1755672 cpu_core_0 "12.745098039215685".
- 1756146 cpu_core_0 "12.745098039215685".
- 1756542 cpu_core_0 "12.745098039215685".
- 1757076 cpu_core_0 "12.745098039215685".
- 1757452 cpu_core_0 "12.745098039215685".
- 1757492 cpu_core_0 "12.745098039215685".
- 1757838 cpu_core_0 "12.745098039215685".
- 1758434 cpu_core_0 "12.745098039215685".
- 1758505 cpu_core_0 "12.745098039215685".
- 1758659 cpu_core_0 "12.745098039215685".
- 1759037 cpu_core_0 "12.745098039215685".
- 1759168 cpu_core_0 "12.745098039215685".
- 1759483 cpu_core_0 "12.745098039215685".
- 1759543 cpu_core_0 "12.745098039215685".
- 1759553 cpu_core_0 "12.745098039215685".
- 1759634 cpu_core_0 "12.745098039215685".
- 1759667 cpu_core_0 "12.745098039215685".
- 1759893 cpu_core_0 "12.745098039215685".
- 1759998 cpu_core_0 "12.745098039215685".
- 1760160 cpu_core_0 "12.745098039215685".
- 1760878 cpu_core_0 "12.745098039215685".
- 1761481 cpu_core_0 "12.745098039215685".
- 1761959 cpu_core_0 "12.745098039215685".
- 1762437 cpu_core_0 "12.745098039215685".
- 1762487 cpu_core_0 "12.745098039215685".
- 1763221 cpu_core_0 "12.745098039215685".