Matches in ISWC2014 Benchmark for { ?s ?p 9.278350515463918. }
- 1673723 cpu_core_0 "9.278350515463918".
- 1673822 cpu_core_0 "9.278350515463918".
- 1695149 cpu_core_0 "9.278350515463918".
- 1711415 cpu_core_0 "9.278350515463918".
- 1712018 cpu_core_0 "9.278350515463918".
- 1720806 cpu_core_0 "9.278350515463918".
- 1721081 cpu_core_0 "9.278350515463918".
- 1729432 cpu_core_0 "9.278350515463918".
- 1746161 cpu_core_0 "9.278350515463918".
- 1765449 cpu_core_0 "9.278350515463918".
- 1772952 cpu_core_0 "9.278350515463918".
- 1785722 cpu_core_0 "9.278350515463918".
- 1786529 cpu_core_0 "9.278350515463918".
- 1788989 cpu_core_0 "9.278350515463918".
- 1789463 cpu_core_0 "9.278350515463918".
- 1800670 cpu_core_0 "9.278350515463918".
- 1801732 cpu_core_0 "9.278350515463918".
- 1814682 cpu_core_0 "9.278350515463918".
- 1826153 cpu_core_0 "9.278350515463918".
- 1829987 cpu_core_0 "9.278350515463918".
- 1836913 cpu_core_0 "9.278350515463918".
- 1849487 cpu_core_0 "9.278350515463918".
- 1873091 cpu_core_0 "9.278350515463918".
- 1873892 cpu_core_0 "9.278350515463918".
- 1874513 cpu_core_0 "9.278350515463918".
- 1885642 cpu_core_0 "9.278350515463918".
- 1890638 cpu_core_0 "9.278350515463918".
- 1891052 cpu_core_0 "9.278350515463918".
- 1894564 cpu_core_0 "9.278350515463918".
- 1903035 cpu_core_0 "9.278350515463918".
- 1913553 cpu_core_0 "9.278350515463918".
- 1920807 cpu_core_0 "9.278350515463918".
- 1920904 cpu_core_0 "9.278350515463918".
- 1920915 cpu_core_0 "9.278350515463918".
- 1920936 cpu_core_0 "9.278350515463918".
- 1921001 cpu_core_0 "9.278350515463918".
- 1921114 cpu_core_0 "9.278350515463918".
- 1921276 cpu_core_0 "9.278350515463918".
- 1921317 cpu_core_0 "9.278350515463918".
- 1921380 cpu_core_0 "9.278350515463918".
- 1921394 cpu_core_0 "9.278350515463918".
- 1921413 cpu_core_0 "9.278350515463918".
- 1921446 cpu_core_0 "9.278350515463918".
- 1921650 cpu_core_0 "9.278350515463918".
- 1921688 cpu_core_0 "9.278350515463918".
- 1921818 cpu_core_0 "9.278350515463918".
- 1921897 cpu_core_0 "9.278350515463918".
- 1921947 cpu_core_0 "9.278350515463918".
- 1921976 cpu_core_0 "9.278350515463918".
- 1922005 cpu_core_0 "9.278350515463918".
- 1922016 cpu_core_0 "9.278350515463918".
- 1922081 cpu_core_0 "9.278350515463918".
- 1922233 cpu_core_0 "9.278350515463918".
- 1922252 cpu_core_0 "9.278350515463918".
- 1922281 cpu_core_0 "9.278350515463918".
- 1922312 cpu_core_0 "9.278350515463918".
- 1922442 cpu_core_0 "9.278350515463918".
- 1922501 cpu_core_0 "9.278350515463918".
- 1922556 cpu_core_0 "9.278350515463918".
- 1922566 cpu_core_0 "9.278350515463918".
- 1922599 cpu_core_0 "9.278350515463918".
- 1922852 cpu_core_0 "9.278350515463918".
- 1923069 cpu_core_0 "9.278350515463918".
- 1923417 cpu_core_0 "9.278350515463918".
- 1923658 cpu_core_0 "9.278350515463918".
- 1923755 cpu_core_0 "9.278350515463918".
- 1923901 cpu_core_0 "9.278350515463918".
- 1924233 cpu_core_0 "9.278350515463918".
- 1924299 cpu_core_0 "9.278350515463918".
- 1924518 cpu_core_0 "9.278350515463918".
- 1924562 cpu_core_0 "9.278350515463918".
- 1924613 cpu_core_0 "9.278350515463918".
- 1924858 cpu_core_0 "9.278350515463918".
- 1925218 cpu_core_0 "9.278350515463918".
- 1925341 cpu_core_0 "9.278350515463918".
- 1925631 cpu_core_0 "9.278350515463918".
- 1925697 cpu_core_0 "9.278350515463918".
- 1925717 cpu_core_0 "9.278350515463918".
- 1925950 cpu_core_0 "9.278350515463918".
- 1927029 cpu_core_0 "9.278350515463918".
- 1927304 cpu_core_0 "9.278350515463918".
- 1965841 cpu_core_0 "9.278350515463918".
- 1965867 cpu_core_0 "9.278350515463918".
- 218808 cpu_core_0 "9.278350515463918".
- 218821 cpu_core_0 "9.278350515463918".
- 222729 cpu_core_0 "9.278350515463918".
- 222764 cpu_core_0 "9.278350515463918".
- 223301 cpu_core_0 "9.278350515463918".
- 240452 cpu_core_0 "9.278350515463918".
- 240528 cpu_core_0 "9.278350515463918".
- 240548 cpu_core_0 "9.278350515463918".
- 248080 cpu_core_0 "9.278350515463918".
- 248100 cpu_core_0 "9.278350515463918".
- 256845 cpu_core_0 "9.278350515463918".
- 286878 cpu_core_0 "9.278350515463918".
- 287005 cpu_core_0 "9.278350515463918".
- 295974 cpu_core_0 "9.278350515463918".
- 295992 cpu_core_0 "9.278350515463918".
- 296053 cpu_core_0 "9.278350515463918".
- 305262 cpu_core_0 "9.278350515463918".