Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1734447 cpu_core_0 "14.000000000000002".
- 1734450 cpu_core_0 "14.000000000000002".
- 1734477 cpu_core_0 "14.000000000000002".
- 1734571 cpu_core_0 "14.000000000000002".
- 1734590 cpu_core_0 "14.000000000000002".
- 1734647 cpu_core_0 "14.000000000000002".
- 1734656 cpu_core_0 "14.000000000000002".
- 1734768 cpu_core_0 "14.000000000000002".
- 1734779 cpu_core_0 "14.000000000000002".
- 1734806 cpu_core_0 "14.000000000000002".
- 1734831 cpu_core_0 "14.000000000000002".
- 1734861 cpu_core_0 "14.000000000000002".
- 1734933 cpu_core_0 "14.000000000000002".
- 1735008 cpu_core_0 "14.000000000000002".
- 1735009 cpu_core_0 "14.000000000000002".
- 1735099 cpu_core_0 "14.000000000000002".
- 1735103 cpu_core_0 "14.000000000000002".
- 1735186 cpu_core_0 "14.000000000000002".
- 1735189 cpu_core_0 "14.000000000000002".
- 1735286 cpu_core_0 "14.000000000000002".
- 1735341 cpu_core_0 "14.000000000000002".
- 1735375 cpu_core_0 "14.000000000000002".
- 1735495 cpu_core_0 "14.000000000000002".
- 1735502 cpu_core_0 "14.000000000000002".
- 1735507 cpu_core_0 "14.000000000000002".
- 1735581 cpu_core_0 "14.000000000000002".
- 1735618 cpu_core_0 "14.000000000000002".
- 1735696 cpu_core_0 "14.000000000000002".
- 1735796 cpu_core_0 "14.000000000000002".
- 1735850 cpu_core_0 "14.000000000000002".
- 1735862 cpu_core_0 "14.000000000000002".
- 1735870 cpu_core_0 "14.000000000000002".
- 1735876 cpu_core_0 "14.000000000000002".
- 1736031 cpu_core_0 "14.000000000000002".
- 1736113 cpu_core_0 "14.000000000000002".
- 1736125 cpu_core_0 "14.000000000000002".
- 1736159 cpu_core_0 "14.000000000000002".
- 1736238 cpu_core_0 "14.000000000000002".
- 1736475 cpu_core_0 "14.000000000000002".
- 1736527 cpu_core_0 "14.000000000000002".
- 1736538 cpu_core_0 "14.000000000000002".
- 1736617 cpu_core_0 "14.000000000000002".
- 1736643 cpu_core_0 "14.000000000000002".
- 1736785 cpu_core_0 "14.000000000000002".
- 1736829 cpu_core_0 "14.000000000000002".
- 1736869 cpu_core_0 "14.000000000000002".
- 1736891 cpu_core_0 "14.000000000000002".
- 1736941 cpu_core_0 "14.000000000000002".
- 1737088 cpu_core_0 "14.000000000000002".
- 1737137 cpu_core_0 "14.000000000000002".
- 1737324 cpu_core_0 "14.000000000000002".
- 1737628 cpu_core_0 "14.000000000000002".
- 1737689 cpu_core_0 "14.000000000000002".
- 1737701 cpu_core_0 "14.000000000000002".
- 1737982 cpu_core_0 "14.000000000000002".
- 1738024 cpu_core_0 "14.000000000000002".
- 1738196 cpu_core_0 "14.000000000000002".
- 1738383 cpu_core_0 "14.000000000000002".
- 1738399 cpu_core_0 "14.000000000000002".
- 1738567 cpu_core_0 "14.000000000000002".
- 1738674 cpu_core_0 "14.000000000000002".
- 1739127 cpu_core_0 "14.000000000000002".
- 1739217 cpu_core_0 "14.000000000000002".
- 1739355 cpu_core_0 "14.000000000000002".
- 1739480 cpu_core_0 "14.000000000000002".
- 1739676 cpu_core_0 "14.000000000000002".
- 1739748 cpu_core_0 "14.000000000000002".
- 1739818 cpu_core_0 "14.000000000000002".
- 1739880 cpu_core_0 "14.000000000000002".
- 1740047 cpu_core_0 "14.000000000000002".
- 1740126 cpu_core_0 "14.000000000000002".
- 1740139 cpu_core_0 "14.000000000000002".
- 1740174 cpu_core_0 "14.000000000000002".
- 1740402 cpu_core_0 "14.000000000000002".
- 1740412 cpu_core_0 "14.000000000000002".
- 1740419 cpu_core_0 "14.000000000000002".
- 1740594 cpu_core_0 "14.000000000000002".
- 1740598 cpu_core_0 "14.000000000000002".
- 1740722 cpu_core_0 "14.000000000000002".
- 1740842 cpu_core_0 "14.000000000000002".
- 1741094 cpu_core_0 "14.000000000000002".
- 1741121 cpu_core_0 "14.000000000000002".
- 1741208 cpu_core_0 "14.000000000000002".
- 1741243 cpu_core_0 "14.000000000000002".
- 1741471 cpu_core_0 "14.000000000000002".
- 1741478 cpu_core_0 "14.000000000000002".
- 1741605 cpu_core_0 "14.000000000000002".
- 1741692 cpu_core_0 "14.000000000000002".
- 1741762 cpu_core_0 "14.000000000000002".
- 1741819 cpu_core_0 "14.000000000000002".
- 1741850 cpu_core_0 "14.000000000000002".
- 1741854 cpu_core_0 "14.000000000000002".
- 1741886 cpu_core_0 "14.000000000000002".
- 1742335 cpu_core_0 "14.000000000000002".
- 1742350 cpu_core_0 "14.000000000000002".
- 1742401 cpu_core_0 "14.000000000000002".
- 1742523 cpu_core_0 "14.000000000000002".
- 1742532 cpu_core_0 "14.000000000000002".
- 1742652 cpu_core_0 "14.000000000000002".
- 1742699 cpu_core_0 "14.000000000000002".