Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1848315 cpu_core_0 "14.000000000000002".
- 1848460 cpu_core_0 "14.000000000000002".
- 1848667 cpu_core_0 "14.000000000000002".
- 1848915 cpu_core_0 "14.000000000000002".
- 1849216 cpu_core_0 "14.000000000000002".
- 1849408 cpu_core_0 "14.000000000000002".
- 1849477 cpu_core_0 "14.000000000000002".
- 1849547 cpu_core_0 "14.000000000000002".
- 1849631 cpu_core_0 "14.000000000000002".
- 1849713 cpu_core_0 "14.000000000000002".
- 1849729 cpu_core_0 "14.000000000000002".
- 1849869 cpu_core_0 "14.000000000000002".
- 1850868 cpu_core_0 "14.000000000000002".
- 1851148 cpu_core_0 "14.000000000000002".
- 1852501 cpu_core_0 "14.000000000000002".
- 1852676 cpu_core_0 "14.000000000000002".
- 1852715 cpu_core_0 "14.000000000000002".
- 1852719 cpu_core_0 "14.000000000000002".
- 1852932 cpu_core_0 "14.000000000000002".
- 1853076 cpu_core_0 "14.000000000000002".
- 1853213 cpu_core_0 "14.000000000000002".
- 1853508 cpu_core_0 "14.000000000000002".
- 1853621 cpu_core_0 "14.000000000000002".
- 1853628 cpu_core_0 "14.000000000000002".
- 1853631 cpu_core_0 "14.000000000000002".
- 1853659 cpu_core_0 "14.000000000000002".
- 1853699 cpu_core_0 "14.000000000000002".
- 1853863 cpu_core_0 "14.000000000000002".
- 1853952 cpu_core_0 "14.000000000000002".
- 1854046 cpu_core_0 "14.000000000000002".
- 1854151 cpu_core_0 "14.000000000000002".
- 1854162 cpu_core_0 "14.000000000000002".
- 1854197 cpu_core_0 "14.000000000000002".
- 1854411 cpu_core_0 "14.000000000000002".
- 1854502 cpu_core_0 "14.000000000000002".
- 1854537 cpu_core_0 "14.000000000000002".
- 1854583 cpu_core_0 "14.000000000000002".
- 1854708 cpu_core_0 "14.000000000000002".
- 1854971 cpu_core_0 "14.000000000000002".
- 1855030 cpu_core_0 "14.000000000000002".
- 1855031 cpu_core_0 "14.000000000000002".
- 1855098 cpu_core_0 "14.000000000000002".
- 1855114 cpu_core_0 "14.000000000000002".
- 1855134 cpu_core_0 "14.000000000000002".
- 1855185 cpu_core_0 "14.000000000000002".
- 1855187 cpu_core_0 "14.000000000000002".
- 1855201 cpu_core_0 "14.000000000000002".
- 1855271 cpu_core_0 "14.000000000000002".
- 1855278 cpu_core_0 "14.000000000000002".
- 1855316 cpu_core_0 "14.000000000000002".
- 1855555 cpu_core_0 "14.000000000000002".
- 1855586 cpu_core_0 "14.000000000000002".
- 1855624 cpu_core_0 "14.000000000000002".
- 1855692 cpu_core_0 "14.000000000000002".
- 1855878 cpu_core_0 "14.000000000000002".
- 1855910 cpu_core_0 "14.000000000000002".
- 1855913 cpu_core_0 "14.000000000000002".
- 1855972 cpu_core_0 "14.000000000000002".
- 1855994 cpu_core_0 "14.000000000000002".
- 1856098 cpu_core_0 "14.000000000000002".
- 1856424 cpu_core_0 "14.000000000000002".
- 1856820 cpu_core_0 "14.000000000000002".
- 1856938 cpu_core_0 "14.000000000000002".
- 1857000 cpu_core_0 "14.000000000000002".
- 1857270 cpu_core_0 "14.000000000000002".
- 1857874 cpu_core_0 "14.000000000000002".
- 1857881 cpu_core_0 "14.000000000000002".
- 1858423 cpu_core_0 "14.000000000000002".
- 1858637 cpu_core_0 "14.000000000000002".
- 1859035 cpu_core_0 "14.000000000000002".
- 1859129 cpu_core_0 "14.000000000000002".
- 1859368 cpu_core_0 "14.000000000000002".
- 1859370 cpu_core_0 "14.000000000000002".
- 1859515 cpu_core_0 "14.000000000000002".
- 1859581 cpu_core_0 "14.000000000000002".
- 1859635 cpu_core_0 "14.000000000000002".
- 1859705 cpu_core_0 "14.000000000000002".
- 1859721 cpu_core_0 "14.000000000000002".
- 1859841 cpu_core_0 "14.000000000000002".
- 1859844 cpu_core_0 "14.000000000000002".
- 1860184 cpu_core_0 "14.000000000000002".
- 1860417 cpu_core_0 "14.000000000000002".
- 1860465 cpu_core_0 "14.000000000000002".
- 1860595 cpu_core_0 "14.000000000000002".
- 1860635 cpu_core_0 "14.000000000000002".
- 1860706 cpu_core_0 "14.000000000000002".
- 1860807 cpu_core_0 "14.000000000000002".
- 1860826 cpu_core_0 "14.000000000000002".
- 1860880 cpu_core_0 "14.000000000000002".
- 1860898 cpu_core_0 "14.000000000000002".
- 1860947 cpu_core_0 "14.000000000000002".
- 1861059 cpu_core_0 "14.000000000000002".
- 1861060 cpu_core_0 "14.000000000000002".
- 1861081 cpu_core_0 "14.000000000000002".
- 1861165 cpu_core_0 "14.000000000000002".
- 1861554 cpu_core_0 "14.000000000000002".
- 1861797 cpu_core_0 "14.000000000000002".
- 1862157 cpu_core_0 "14.000000000000002".
- 1862479 cpu_core_0 "14.000000000000002".
- 1862627 cpu_core_0 "14.000000000000002".