Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1828404 cpu_core_0 "14.000000000000002".
- 1828594 cpu_core_0 "14.000000000000002".
- 1828618 cpu_core_0 "14.000000000000002".
- 1828764 cpu_core_0 "14.000000000000002".
- 1829067 cpu_core_0 "14.000000000000002".
- 1829206 cpu_core_0 "14.000000000000002".
- 1829368 cpu_core_0 "14.000000000000002".
- 1829438 cpu_core_0 "14.000000000000002".
- 1829512 cpu_core_0 "14.000000000000002".
- 1829563 cpu_core_0 "14.000000000000002".
- 1829733 cpu_core_0 "14.000000000000002".
- 1829785 cpu_core_0 "14.000000000000002".
- 1829801 cpu_core_0 "14.000000000000002".
- 1829938 cpu_core_0 "14.000000000000002".
- 1829941 cpu_core_0 "14.000000000000002".
- 1830019 cpu_core_0 "14.000000000000002".
- 1830040 cpu_core_0 "14.000000000000002".
- 1830115 cpu_core_0 "14.000000000000002".
- 1830139 cpu_core_0 "14.000000000000002".
- 1830368 cpu_core_0 "14.000000000000002".
- 1830393 cpu_core_0 "14.000000000000002".
- 1830595 cpu_core_0 "14.000000000000002".
- 1830629 cpu_core_0 "14.000000000000002".
- 1830735 cpu_core_0 "14.000000000000002".
- 1830874 cpu_core_0 "14.000000000000002".
- 1830998 cpu_core_0 "14.000000000000002".
- 1831126 cpu_core_0 "14.000000000000002".
- 1831186 cpu_core_0 "14.000000000000002".
- 1831260 cpu_core_0 "14.000000000000002".
- 1831293 cpu_core_0 "14.000000000000002".
- 1831341 cpu_core_0 "14.000000000000002".
- 1831422 cpu_core_0 "14.000000000000002".
- 1831599 cpu_core_0 "14.000000000000002".
- 1831845 cpu_core_0 "14.000000000000002".
- 1831939 cpu_core_0 "14.000000000000002".
- 1831977 cpu_core_0 "14.000000000000002".
- 1832045 cpu_core_0 "14.000000000000002".
- 1832090 cpu_core_0 "14.000000000000002".
- 1832269 cpu_core_0 "14.000000000000002".
- 1832458 cpu_core_0 "14.000000000000002".
- 1832649 cpu_core_0 "14.000000000000002".
- 1832869 cpu_core_0 "14.000000000000002".
- 1833030 cpu_core_0 "14.000000000000002".
- 1833069 cpu_core_0 "14.000000000000002".
- 1833096 cpu_core_0 "14.000000000000002".
- 1833123 cpu_core_0 "14.000000000000002".
- 1833223 cpu_core_0 "14.000000000000002".
- 1833235 cpu_core_0 "14.000000000000002".
- 1833249 cpu_core_0 "14.000000000000002".
- 1833484 cpu_core_0 "14.000000000000002".
- 1833885 cpu_core_0 "14.000000000000002".
- 1834455 cpu_core_0 "14.000000000000002".
- 1834551 cpu_core_0 "14.000000000000002".
- 1834673 cpu_core_0 "14.000000000000002".
- 1834732 cpu_core_0 "14.000000000000002".
- 1834784 cpu_core_0 "14.000000000000002".
- 1834822 cpu_core_0 "14.000000000000002".
- 1834906 cpu_core_0 "14.000000000000002".
- 1834907 cpu_core_0 "14.000000000000002".
- 1834919 cpu_core_0 "14.000000000000002".
- 1834950 cpu_core_0 "14.000000000000002".
- 1834969 cpu_core_0 "14.000000000000002".
- 1834988 cpu_core_0 "14.000000000000002".
- 1835039 cpu_core_0 "14.000000000000002".
- 1835052 cpu_core_0 "14.000000000000002".
- 1835098 cpu_core_0 "14.000000000000002".
- 1835223 cpu_core_0 "14.000000000000002".
- 1835339 cpu_core_0 "14.000000000000002".
- 1835522 cpu_core_0 "14.000000000000002".
- 1835576 cpu_core_0 "14.000000000000002".
- 1835671 cpu_core_0 "14.000000000000002".
- 1835679 cpu_core_0 "14.000000000000002".
- 1835710 cpu_core_0 "14.000000000000002".
- 1835891 cpu_core_0 "14.000000000000002".
- 1835945 cpu_core_0 "14.000000000000002".
- 1835992 cpu_core_0 "14.000000000000002".
- 1836006 cpu_core_0 "14.000000000000002".
- 1836024 cpu_core_0 "14.000000000000002".
- 1836040 cpu_core_0 "14.000000000000002".
- 1836065 cpu_core_0 "14.000000000000002".
- 1836167 cpu_core_0 "14.000000000000002".
- 1836307 cpu_core_0 "14.000000000000002".
- 1836360 cpu_core_0 "14.000000000000002".
- 1836505 cpu_core_0 "14.000000000000002".
- 1836560 cpu_core_0 "14.000000000000002".
- 1836590 cpu_core_0 "14.000000000000002".
- 1836617 cpu_core_0 "14.000000000000002".
- 1836740 cpu_core_0 "14.000000000000002".
- 1836800 cpu_core_0 "14.000000000000002".
- 1836832 cpu_core_0 "14.000000000000002".
- 1836971 cpu_core_0 "14.000000000000002".
- 1836977 cpu_core_0 "14.000000000000002".
- 1837007 cpu_core_0 "14.000000000000002".
- 1837029 cpu_core_0 "14.000000000000002".
- 1837311 cpu_core_0 "14.000000000000002".
- 1837315 cpu_core_0 "14.000000000000002".
- 1837481 cpu_core_0 "14.000000000000002".
- 1837493 cpu_core_0 "14.000000000000002".
- 1837704 cpu_core_0 "14.000000000000002".
- 1837795 cpu_core_0 "14.000000000000002".