Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1807045 cpu_core_0 "11.111111111111112".
- 1807079 cpu_core_0 "11.111111111111112".
- 1807681 cpu_core_0 "11.111111111111112".
- 1807688 cpu_core_0 "11.111111111111112".
- 1807768 cpu_core_0 "11.111111111111112".
- 1807918 cpu_core_0 "11.111111111111112".
- 1807949 cpu_core_0 "11.111111111111112".
- 1808097 cpu_core_0 "11.111111111111112".
- 1808106 cpu_core_0 "11.111111111111112".
- 1808151 cpu_core_0 "11.111111111111112".
- 1808260 cpu_core_0 "11.111111111111112".
- 1808280 cpu_core_0 "11.111111111111112".
- 1808438 cpu_core_0 "11.111111111111112".
- 1808455 cpu_core_0 "11.111111111111112".
- 1808593 cpu_core_0 "11.111111111111112".
- 1808817 cpu_core_0 "11.111111111111112".
- 1808881 cpu_core_0 "11.111111111111112".
- 1809034 cpu_core_0 "11.111111111111112".
- 1809258 cpu_core_0 "11.111111111111112".
- 1809358 cpu_core_0 "11.111111111111112".
- 1809548 cpu_core_0 "11.111111111111112".
- 1809739 cpu_core_0 "11.111111111111112".
- 1810342 cpu_core_0 "11.111111111111112".
- 1810449 cpu_core_0 "11.111111111111112".
- 1810520 cpu_core_0 "11.111111111111112".
- 1810697 cpu_core_0 "11.111111111111112".
- 1810884 cpu_core_0 "11.111111111111112".
- 1810887 cpu_core_0 "11.111111111111112".
- 1810894 cpu_core_0 "11.111111111111112".
- 1810906 cpu_core_0 "11.111111111111112".
- 1810918 cpu_core_0 "11.111111111111112".
- 1810992 cpu_core_0 "11.111111111111112".
- 1811025 cpu_core_0 "11.111111111111112".
- 1811059 cpu_core_0 "11.111111111111112".
- 1811061 cpu_core_0 "11.111111111111112".
- 1811071 cpu_core_0 "11.111111111111112".
- 1811127 cpu_core_0 "11.111111111111112".
- 1811174 cpu_core_0 "11.111111111111112".
- 1811184 cpu_core_0 "11.111111111111112".
- 1811187 cpu_core_0 "11.111111111111112".
- 1811220 cpu_core_0 "11.111111111111112".
- 1811255 cpu_core_0 "11.111111111111112".
- 1811388 cpu_core_0 "11.111111111111112".
- 1811396 cpu_core_0 "11.111111111111112".
- 1811406 cpu_core_0 "11.111111111111112".
- 1811407 cpu_core_0 "11.111111111111112".
- 1811413 cpu_core_0 "11.111111111111112".
- 1811538 cpu_core_0 "11.111111111111112".
- 1811545 cpu_core_0 "11.111111111111112".
- 1811652 cpu_core_0 "11.111111111111112".
- 1811666 cpu_core_0 "11.111111111111112".
- 1811700 cpu_core_0 "11.111111111111112".
- 1811725 cpu_core_0 "11.111111111111112".
- 1811758 cpu_core_0 "11.111111111111112".
- 1811778 cpu_core_0 "11.111111111111112".
- 1811781 cpu_core_0 "11.111111111111112".
- 1811846 cpu_core_0 "11.111111111111112".
- 1811859 cpu_core_0 "11.111111111111112".
- 1811885 cpu_core_0 "11.111111111111112".
- 1811889 cpu_core_0 "11.111111111111112".
- 1811892 cpu_core_0 "11.111111111111112".
- 1811896 cpu_core_0 "11.111111111111112".
- 1811908 cpu_core_0 "11.111111111111112".
- 1811915 cpu_core_0 "11.111111111111112".
- 1811956 cpu_core_0 "11.111111111111112".
- 1812030 cpu_core_0 "11.111111111111112".
- 1812033 cpu_core_0 "11.111111111111112".
- 1812075 cpu_core_0 "11.111111111111112".
- 1812089 cpu_core_0 "11.111111111111112".
- 1812183 cpu_core_0 "11.111111111111112".
- 1812211 cpu_core_0 "11.111111111111112".
- 1812251 cpu_core_0 "11.111111111111112".
- 1812260 cpu_core_0 "11.111111111111112".
- 1812266 cpu_core_0 "11.111111111111112".
- 1812330 cpu_core_0 "11.111111111111112".
- 1812386 cpu_core_0 "11.111111111111112".
- 1812396 cpu_core_0 "11.111111111111112".
- 1812485 cpu_core_0 "11.111111111111112".
- 1812576 cpu_core_0 "11.111111111111112".
- 1812604 cpu_core_0 "11.111111111111112".
- 1812695 cpu_core_0 "11.111111111111112".
- 1812720 cpu_core_0 "11.111111111111112".
- 1812727 cpu_core_0 "11.111111111111112".
- 1812850 cpu_core_0 "11.111111111111112".
- 1812871 cpu_core_0 "11.111111111111112".
- 1812903 cpu_core_0 "11.111111111111112".
- 1812914 cpu_core_0 "11.111111111111112".
- 1812992 cpu_core_0 "11.111111111111112".
- 1813061 cpu_core_0 "11.111111111111112".
- 1813188 cpu_core_0 "11.111111111111112".
- 1813354 cpu_core_0 "11.111111111111112".
- 1813401 cpu_core_0 "11.111111111111112".
- 1813452 cpu_core_0 "11.111111111111112".
- 1813458 cpu_core_0 "11.111111111111112".
- 1813501 cpu_core_0 "11.111111111111112".
- 1813505 cpu_core_0 "11.111111111111112".
- 1813595 cpu_core_0 "11.111111111111112".
- 1813668 cpu_core_0 "11.111111111111112".
- 1814178 cpu_core_0 "11.111111111111112".
- 1814297 cpu_core_0 "11.111111111111112".