Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1786424 cpu_core_0 "9.000000000000002".
- 1786678 cpu_core_0 "9.000000000000002".
- 1786703 cpu_core_0 "9.000000000000002".
- 1786784 cpu_core_0 "9.000000000000002".
- 1786790 cpu_core_0 "9.000000000000002".
- 1786820 cpu_core_0 "9.000000000000002".
- 1786910 cpu_core_0 "9.000000000000002".
- 1787040 cpu_core_0 "9.000000000000002".
- 1787051 cpu_core_0 "9.000000000000002".
- 1787060 cpu_core_0 "9.000000000000002".
- 1787153 cpu_core_0 "9.000000000000002".
- 1787250 cpu_core_0 "9.000000000000002".
- 1787397 cpu_core_0 "9.000000000000002".
- 1787840 cpu_core_0 "9.000000000000002".
- 1787893 cpu_core_0 "9.000000000000002".
- 1787898 cpu_core_0 "9.000000000000002".
- 1788039 cpu_core_0 "9.000000000000002".
- 1788179 cpu_core_0 "9.000000000000002".
- 1788252 cpu_core_0 "9.000000000000002".
- 1788320 cpu_core_0 "9.000000000000002".
- 1788511 cpu_core_0 "9.000000000000002".
- 1788513 cpu_core_0 "9.000000000000002".
- 1788567 cpu_core_0 "9.000000000000002".
- 1788613 cpu_core_0 "9.000000000000002".
- 1788640 cpu_core_0 "9.000000000000002".
- 1788670 cpu_core_0 "9.000000000000002".
- 1788862 cpu_core_0 "9.000000000000002".
- 1789299 cpu_core_0 "9.000000000000002".
- 1789350 cpu_core_0 "9.000000000000002".
- 1790199 cpu_core_0 "9.000000000000002".
- 1790204 cpu_core_0 "9.000000000000002".
- 1790402 cpu_core_0 "9.000000000000002".
- 1790722 cpu_core_0 "9.000000000000002".
- 1791104 cpu_core_0 "9.000000000000002".
- 1791394 cpu_core_0 "9.000000000000002".
- 1791474 cpu_core_0 "9.000000000000002".
- 1791523 cpu_core_0 "9.000000000000002".
- 1791527 cpu_core_0 "9.000000000000002".
- 1791711 cpu_core_0 "9.000000000000002".
- 1791835 cpu_core_0 "9.000000000000002".
- 1791900 cpu_core_0 "9.000000000000002".
- 1791942 cpu_core_0 "9.000000000000002".
- 1791987 cpu_core_0 "9.000000000000002".
- 1791997 cpu_core_0 "9.000000000000002".
- 1792151 cpu_core_0 "9.000000000000002".
- 1792172 cpu_core_0 "9.000000000000002".
- 1792183 cpu_core_0 "9.000000000000002".
- 1792280 cpu_core_0 "9.000000000000002".
- 1792397 cpu_core_0 "9.000000000000002".
- 1792424 cpu_core_0 "9.000000000000002".
- 1792434 cpu_core_0 "9.000000000000002".
- 1792474 cpu_core_0 "9.000000000000002".
- 1792489 cpu_core_0 "9.000000000000002".
- 1792545 cpu_core_0 "9.000000000000002".
- 1792550 cpu_core_0 "9.000000000000002".
- 1792713 cpu_core_0 "9.000000000000002".
- 1792731 cpu_core_0 "9.000000000000002".
- 1792781 cpu_core_0 "9.000000000000002".
- 1792829 cpu_core_0 "9.000000000000002".
- 1792862 cpu_core_0 "9.000000000000002".
- 1792914 cpu_core_0 "9.000000000000002".
- 1793002 cpu_core_0 "9.000000000000002".
- 1793023 cpu_core_0 "9.000000000000002".
- 1793100 cpu_core_0 "9.000000000000002".
- 1793298 cpu_core_0 "9.000000000000002".
- 1793434 cpu_core_0 "9.000000000000002".
- 1793463 cpu_core_0 "9.000000000000002".
- 1793465 cpu_core_0 "9.000000000000002".
- 1793510 cpu_core_0 "9.000000000000002".
- 1793516 cpu_core_0 "9.000000000000002".
- 1793518 cpu_core_0 "9.000000000000002".
- 1793747 cpu_core_0 "9.000000000000002".
- 1793959 cpu_core_0 "9.000000000000002".
- 1794041 cpu_core_0 "9.000000000000002".
- 1794076 cpu_core_0 "9.000000000000002".
- 1794148 cpu_core_0 "9.000000000000002".
- 1794189 cpu_core_0 "9.000000000000002".
- 1794348 cpu_core_0 "9.000000000000002".
- 1794404 cpu_core_0 "9.000000000000002".
- 1794515 cpu_core_0 "9.000000000000002".
- 1794779 cpu_core_0 "9.000000000000002".
- 1795189 cpu_core_0 "9.000000000000002".
- 1795201 cpu_core_0 "9.000000000000002".
- 1795601 cpu_core_0 "9.000000000000002".
- 1795731 cpu_core_0 "9.000000000000002".
- 1796040 cpu_core_0 "9.000000000000002".
- 1796044 cpu_core_0 "9.000000000000002".
- 1796321 cpu_core_0 "9.000000000000002".
- 1796590 cpu_core_0 "9.000000000000002".
- 1796597 cpu_core_0 "9.000000000000002".
- 1797177 cpu_core_0 "9.000000000000002".
- 1797184 cpu_core_0 "9.000000000000002".
- 1797315 cpu_core_0 "9.000000000000002".
- 1797490 cpu_core_0 "9.000000000000002".
- 1797600 cpu_core_0 "9.000000000000002".
- 1797745 cpu_core_0 "9.000000000000002".
- 1797749 cpu_core_0 "9.000000000000002".
- 1797756 cpu_core_0 "9.000000000000002".
- 1797887 cpu_core_0 "9.000000000000002".
- 1797890 cpu_core_0 "9.000000000000002".