Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1755820 cpu_core_0 "9.000000000000002".
- 1756061 cpu_core_0 "9.000000000000002".
- 1756103 cpu_core_0 "9.000000000000002".
- 1756183 cpu_core_0 "9.000000000000002".
- 1756488 cpu_core_0 "9.000000000000002".
- 1756644 cpu_core_0 "9.000000000000002".
- 1756708 cpu_core_0 "9.000000000000002".
- 1757011 cpu_core_0 "9.000000000000002".
- 1757086 cpu_core_0 "9.000000000000002".
- 1757122 cpu_core_0 "9.000000000000002".
- 1757338 cpu_core_0 "9.000000000000002".
- 1757345 cpu_core_0 "9.000000000000002".
- 1757373 cpu_core_0 "9.000000000000002".
- 1757392 cpu_core_0 "9.000000000000002".
- 1757415 cpu_core_0 "9.000000000000002".
- 1757442 cpu_core_0 "9.000000000000002".
- 1757461 cpu_core_0 "9.000000000000002".
- 1757501 cpu_core_0 "9.000000000000002".
- 1757726 cpu_core_0 "9.000000000000002".
- 1757818 cpu_core_0 "9.000000000000002".
- 1757840 cpu_core_0 "9.000000000000002".
- 1757850 cpu_core_0 "9.000000000000002".
- 1757926 cpu_core_0 "9.000000000000002".
- 1758021 cpu_core_0 "9.000000000000002".
- 1758055 cpu_core_0 "9.000000000000002".
- 1758477 cpu_core_0 "9.000000000000002".
- 1758535 cpu_core_0 "9.000000000000002".
- 1758635 cpu_core_0 "9.000000000000002".
- 1758696 cpu_core_0 "9.000000000000002".
- 1758742 cpu_core_0 "9.000000000000002".
- 1759127 cpu_core_0 "9.000000000000002".
- 1759190 cpu_core_0 "9.000000000000002".
- 1759439 cpu_core_0 "9.000000000000002".
- 1759774 cpu_core_0 "9.000000000000002".
- 1759781 cpu_core_0 "9.000000000000002".
- 1760023 cpu_core_0 "9.000000000000002".
- 1760078 cpu_core_0 "9.000000000000002".
- 1760095 cpu_core_0 "9.000000000000002".
- 1760350 cpu_core_0 "9.000000000000002".
- 1760678 cpu_core_0 "9.000000000000002".
- 1760845 cpu_core_0 "9.000000000000002".
- 1760849 cpu_core_0 "9.000000000000002".
- 1761045 cpu_core_0 "9.000000000000002".
- 1761118 cpu_core_0 "9.000000000000002".
- 1761266 cpu_core_0 "9.000000000000002".
- 1761293 cpu_core_0 "9.000000000000002".
- 1761435 cpu_core_0 "9.000000000000002".
- 1761580 cpu_core_0 "9.000000000000002".
- 1761642 cpu_core_0 "9.000000000000002".
- 1761648 cpu_core_0 "9.000000000000002".
- 1762077 cpu_core_0 "9.000000000000002".
- 1762093 cpu_core_0 "9.000000000000002".
- 1762480 cpu_core_0 "9.000000000000002".
- 1762494 cpu_core_0 "9.000000000000002".
- 1762624 cpu_core_0 "9.000000000000002".
- 1762996 cpu_core_0 "9.000000000000002".
- 1763083 cpu_core_0 "9.000000000000002".
- 1763193 cpu_core_0 "9.000000000000002".
- 1763228 cpu_core_0 "9.000000000000002".
- 1763242 cpu_core_0 "9.000000000000002".
- 1763324 cpu_core_0 "9.000000000000002".
- 1763356 cpu_core_0 "9.000000000000002".
- 1763467 cpu_core_0 "9.000000000000002".
- 1763511 cpu_core_0 "9.000000000000002".
- 1763599 cpu_core_0 "9.000000000000002".
- 1763641 cpu_core_0 "9.000000000000002".
- 1763688 cpu_core_0 "9.000000000000002".
- 1763697 cpu_core_0 "9.000000000000002".
- 1763701 cpu_core_0 "9.000000000000002".
- 1763819 cpu_core_0 "9.000000000000002".
- 1763863 cpu_core_0 "9.000000000000002".
- 1763914 cpu_core_0 "9.000000000000002".
- 1763918 cpu_core_0 "9.000000000000002".
- 1763937 cpu_core_0 "9.000000000000002".
- 1763964 cpu_core_0 "9.000000000000002".
- 1764087 cpu_core_0 "9.000000000000002".
- 1764143 cpu_core_0 "9.000000000000002".
- 1764232 cpu_core_0 "9.000000000000002".
- 1764390 cpu_core_0 "9.000000000000002".
- 1764392 cpu_core_0 "9.000000000000002".
- 1764725 cpu_core_0 "9.000000000000002".
- 1764757 cpu_core_0 "9.000000000000002".
- 1764801 cpu_core_0 "9.000000000000002".
- 1764889 cpu_core_0 "9.000000000000002".
- 1765096 cpu_core_0 "9.000000000000002".
- 1765146 cpu_core_0 "9.000000000000002".
- 1765354 cpu_core_0 "9.000000000000002".
- 1765451 cpu_core_0 "9.000000000000002".
- 1765524 cpu_core_0 "9.000000000000002".
- 1765531 cpu_core_0 "9.000000000000002".
- 1765616 cpu_core_0 "9.000000000000002".
- 1765652 cpu_core_0 "9.000000000000002".
- 1765981 cpu_core_0 "9.000000000000002".
- 1766006 cpu_core_0 "9.000000000000002".
- 1766277 cpu_core_0 "9.000000000000002".
- 1766429 cpu_core_0 "9.000000000000002".
- 1766573 cpu_core_0 "9.000000000000002".
- 1766585 cpu_core_0 "9.000000000000002".
- 1766644 cpu_core_0 "9.000000000000002".
- 1766762 cpu_core_0 "9.000000000000002".