Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1830050 cpu_core_0 "11.111111111111112".
- 1830057 cpu_core_0 "11.111111111111112".
- 1830087 cpu_core_0 "11.111111111111112".
- 1830093 cpu_core_0 "11.111111111111112".
- 1830147 cpu_core_0 "11.111111111111112".
- 1830150 cpu_core_0 "11.111111111111112".
- 1830183 cpu_core_0 "11.111111111111112".
- 1830217 cpu_core_0 "11.111111111111112".
- 1830222 cpu_core_0 "11.111111111111112".
- 1830264 cpu_core_0 "11.111111111111112".
- 1830298 cpu_core_0 "11.111111111111112".
- 1830480 cpu_core_0 "11.111111111111112".
- 1830545 cpu_core_0 "11.111111111111112".
- 1830647 cpu_core_0 "11.111111111111112".
- 1830697 cpu_core_0 "11.111111111111112".
- 1830754 cpu_core_0 "11.111111111111112".
- 1830896 cpu_core_0 "11.111111111111112".
- 1831008 cpu_core_0 "11.111111111111112".
- 1831049 cpu_core_0 "11.111111111111112".
- 1831061 cpu_core_0 "11.111111111111112".
- 1831081 cpu_core_0 "11.111111111111112".
- 1831135 cpu_core_0 "11.111111111111112".
- 1831139 cpu_core_0 "11.111111111111112".
- 1831174 cpu_core_0 "11.111111111111112".
- 1831237 cpu_core_0 "11.111111111111112".
- 1831415 cpu_core_0 "11.111111111111112".
- 1831564 cpu_core_0 "11.111111111111112".
- 1831703 cpu_core_0 "11.111111111111112".
- 1831715 cpu_core_0 "11.111111111111112".
- 1831724 cpu_core_0 "11.111111111111112".
- 1831742 cpu_core_0 "11.111111111111112".
- 1831791 cpu_core_0 "11.111111111111112".
- 1831806 cpu_core_0 "11.111111111111112".
- 1831827 cpu_core_0 "11.111111111111112".
- 1831841 cpu_core_0 "11.111111111111112".
- 1831908 cpu_core_0 "11.111111111111112".
- 1831947 cpu_core_0 "11.111111111111112".
- 1831966 cpu_core_0 "11.111111111111112".
- 1832059 cpu_core_0 "11.111111111111112".
- 1832063 cpu_core_0 "11.111111111111112".
- 1832105 cpu_core_0 "11.111111111111112".
- 1832170 cpu_core_0 "11.111111111111112".
- 1832183 cpu_core_0 "11.111111111111112".
- 1832227 cpu_core_0 "11.111111111111112".
- 1832312 cpu_core_0 "11.111111111111112".
- 1832516 cpu_core_0 "11.111111111111112".
- 1832618 cpu_core_0 "11.111111111111112".
- 1832637 cpu_core_0 "11.111111111111112".
- 1832687 cpu_core_0 "11.111111111111112".
- 1832691 cpu_core_0 "11.111111111111112".
- 1832742 cpu_core_0 "11.111111111111112".
- 1832776 cpu_core_0 "11.111111111111112".
- 1832907 cpu_core_0 "11.111111111111112".
- 1832931 cpu_core_0 "11.111111111111112".
- 1833181 cpu_core_0 "11.111111111111112".
- 1833363 cpu_core_0 "11.111111111111112".
- 1833393 cpu_core_0 "11.111111111111112".
- 1833480 cpu_core_0 "11.111111111111112".
- 1833483 cpu_core_0 "11.111111111111112".
- 1833496 cpu_core_0 "11.111111111111112".
- 1833581 cpu_core_0 "11.111111111111112".
- 1833596 cpu_core_0 "11.111111111111112".
- 1833607 cpu_core_0 "11.111111111111112".
- 1833664 cpu_core_0 "11.111111111111112".
- 1833709 cpu_core_0 "11.111111111111112".
- 1833902 cpu_core_0 "11.111111111111112".
- 1833999 cpu_core_0 "11.111111111111112".
- 1834368 cpu_core_0 "11.111111111111112".
- 1834558 cpu_core_0 "11.111111111111112".
- 1834611 cpu_core_0 "11.111111111111112".
- 1834685 cpu_core_0 "11.111111111111112".
- 1834823 cpu_core_0 "11.111111111111112".
- 1834877 cpu_core_0 "11.111111111111112".
- 1834914 cpu_core_0 "11.111111111111112".
- 1834943 cpu_core_0 "11.111111111111112".
- 1835139 cpu_core_0 "11.111111111111112".
- 1835143 cpu_core_0 "11.111111111111112".
- 1835151 cpu_core_0 "11.111111111111112".
- 1835183 cpu_core_0 "11.111111111111112".
- 1835188 cpu_core_0 "11.111111111111112".
- 1835211 cpu_core_0 "11.111111111111112".
- 1835231 cpu_core_0 "11.111111111111112".
- 1835406 cpu_core_0 "11.111111111111112".
- 1835427 cpu_core_0 "11.111111111111112".
- 1835443 cpu_core_0 "11.111111111111112".
- 1835524 cpu_core_0 "11.111111111111112".
- 1835527 cpu_core_0 "11.111111111111112".
- 1835575 cpu_core_0 "11.111111111111112".
- 1835594 cpu_core_0 "11.111111111111112".
- 1835618 cpu_core_0 "11.111111111111112".
- 1835625 cpu_core_0 "11.111111111111112".
- 1835691 cpu_core_0 "11.111111111111112".
- 1835693 cpu_core_0 "11.111111111111112".
- 1835695 cpu_core_0 "11.111111111111112".
- 1835765 cpu_core_0 "11.111111111111112".
- 1835780 cpu_core_0 "11.111111111111112".
- 1835783 cpu_core_0 "11.111111111111112".
- 1835841 cpu_core_0 "11.111111111111112".
- 1835882 cpu_core_0 "11.111111111111112".
- 1835886 cpu_core_0 "11.111111111111112".