Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1837973 cpu_core_0 "14.000000000000002".
- 1838055 cpu_core_0 "14.000000000000002".
- 1838157 cpu_core_0 "14.000000000000002".
- 1838177 cpu_core_0 "14.000000000000002".
- 1838361 cpu_core_0 "14.000000000000002".
- 1838408 cpu_core_0 "14.000000000000002".
- 1838417 cpu_core_0 "14.000000000000002".
- 1838455 cpu_core_0 "14.000000000000002".
- 1838484 cpu_core_0 "14.000000000000002".
- 1838559 cpu_core_0 "14.000000000000002".
- 1838635 cpu_core_0 "14.000000000000002".
- 1838713 cpu_core_0 "14.000000000000002".
- 1838802 cpu_core_0 "14.000000000000002".
- 1838900 cpu_core_0 "14.000000000000002".
- 1839118 cpu_core_0 "14.000000000000002".
- 1839237 cpu_core_0 "14.000000000000002".
- 1839243 cpu_core_0 "14.000000000000002".
- 1839319 cpu_core_0 "14.000000000000002".
- 1839434 cpu_core_0 "14.000000000000002".
- 1839436 cpu_core_0 "14.000000000000002".
- 1839488 cpu_core_0 "14.000000000000002".
- 1839538 cpu_core_0 "14.000000000000002".
- 1839550 cpu_core_0 "14.000000000000002".
- 1839600 cpu_core_0 "14.000000000000002".
- 1840293 cpu_core_0 "14.000000000000002".
- 1840378 cpu_core_0 "14.000000000000002".
- 1840415 cpu_core_0 "14.000000000000002".
- 1840464 cpu_core_0 "14.000000000000002".
- 1840682 cpu_core_0 "14.000000000000002".
- 1840878 cpu_core_0 "14.000000000000002".
- 1840890 cpu_core_0 "14.000000000000002".
- 1841027 cpu_core_0 "14.000000000000002".
- 1841075 cpu_core_0 "14.000000000000002".
- 1841181 cpu_core_0 "14.000000000000002".
- 1841192 cpu_core_0 "14.000000000000002".
- 1841281 cpu_core_0 "14.000000000000002".
- 1841413 cpu_core_0 "14.000000000000002".
- 1841459 cpu_core_0 "14.000000000000002".
- 1841546 cpu_core_0 "14.000000000000002".
- 1841635 cpu_core_0 "14.000000000000002".
- 1841662 cpu_core_0 "14.000000000000002".
- 1841665 cpu_core_0 "14.000000000000002".
- 1841681 cpu_core_0 "14.000000000000002".
- 1841765 cpu_core_0 "14.000000000000002".
- 1841775 cpu_core_0 "14.000000000000002".
- 1841850 cpu_core_0 "14.000000000000002".
- 1841877 cpu_core_0 "14.000000000000002".
- 1841898 cpu_core_0 "14.000000000000002".
- 1841910 cpu_core_0 "14.000000000000002".
- 1842123 cpu_core_0 "14.000000000000002".
- 1842182 cpu_core_0 "14.000000000000002".
- 1842253 cpu_core_0 "14.000000000000002".
- 1842327 cpu_core_0 "14.000000000000002".
- 1842336 cpu_core_0 "14.000000000000002".
- 1842374 cpu_core_0 "14.000000000000002".
- 1842396 cpu_core_0 "14.000000000000002".
- 1842534 cpu_core_0 "14.000000000000002".
- 1842568 cpu_core_0 "14.000000000000002".
- 1842596 cpu_core_0 "14.000000000000002".
- 1842624 cpu_core_0 "14.000000000000002".
- 1842632 cpu_core_0 "14.000000000000002".
- 1842689 cpu_core_0 "14.000000000000002".
- 1842758 cpu_core_0 "14.000000000000002".
- 1842817 cpu_core_0 "14.000000000000002".
- 1842878 cpu_core_0 "14.000000000000002".
- 1842879 cpu_core_0 "14.000000000000002".
- 1842883 cpu_core_0 "14.000000000000002".
- 1842935 cpu_core_0 "14.000000000000002".
- 1842946 cpu_core_0 "14.000000000000002".
- 1843238 cpu_core_0 "14.000000000000002".
- 1843412 cpu_core_0 "14.000000000000002".
- 1843484 cpu_core_0 "14.000000000000002".
- 1843561 cpu_core_0 "14.000000000000002".
- 1843771 cpu_core_0 "14.000000000000002".
- 1843896 cpu_core_0 "14.000000000000002".
- 1843919 cpu_core_0 "14.000000000000002".
- 1843965 cpu_core_0 "14.000000000000002".
- 1844027 cpu_core_0 "14.000000000000002".
- 1844097 cpu_core_0 "14.000000000000002".
- 1844201 cpu_core_0 "14.000000000000002".
- 1844511 cpu_core_0 "14.000000000000002".
- 1844649 cpu_core_0 "14.000000000000002".
- 1844681 cpu_core_0 "14.000000000000002".
- 1844737 cpu_core_0 "14.000000000000002".
- 1844755 cpu_core_0 "14.000000000000002".
- 1845358 cpu_core_0 "14.000000000000002".
- 1845368 cpu_core_0 "14.000000000000002".
- 1845478 cpu_core_0 "14.000000000000002".
- 1845530 cpu_core_0 "14.000000000000002".
- 1845590 cpu_core_0 "14.000000000000002".
- 1845603 cpu_core_0 "14.000000000000002".
- 1845980 cpu_core_0 "14.000000000000002".
- 1846813 cpu_core_0 "14.000000000000002".
- 1847311 cpu_core_0 "14.000000000000002".
- 1847448 cpu_core_0 "14.000000000000002".
- 1847533 cpu_core_0 "14.000000000000002".
- 1847835 cpu_core_0 "14.000000000000002".
- 1847982 cpu_core_0 "14.000000000000002".
- 1848049 cpu_core_0 "14.000000000000002".
- 1848209 cpu_core_0 "14.000000000000002".