Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1670780 cpu_core_0 "11.11111111111111".
- 1671758 cpu_core_0 "11.11111111111111".
- 1671867 cpu_core_0 "11.11111111111111".
- 1671910 cpu_core_0 "11.11111111111111".
- 1672019 cpu_core_0 "11.11111111111111".
- 1672413 cpu_core_0 "11.11111111111111".
- 1672556 cpu_core_0 "11.11111111111111".
- 1672606 cpu_core_0 "11.11111111111111".
- 1673156 cpu_core_0 "11.11111111111111".
- 1673169 cpu_core_0 "11.11111111111111".
- 1673171 cpu_core_0 "11.11111111111111".
- 1673245 cpu_core_0 "11.11111111111111".
- 1673463 cpu_core_0 "11.11111111111111".
- 1674001 cpu_core_0 "11.11111111111111".
- 1674406 cpu_core_0 "11.11111111111111".
- 1674512 cpu_core_0 "11.11111111111111".
- 1674714 cpu_core_0 "11.11111111111111".
- 1677996 cpu_core_0 "11.11111111111111".
- 1678057 cpu_core_0 "11.11111111111111".
- 1678374 cpu_core_0 "11.11111111111111".
- 1681359 cpu_core_0 "11.11111111111111".
- 1683253 cpu_core_0 "11.11111111111111".
- 1685916 cpu_core_0 "11.11111111111111".
- 1687048 cpu_core_0 "11.11111111111111".
- 1693296 cpu_core_0 "11.11111111111111".
- 1694105 cpu_core_0 "11.11111111111111".
- 1694153 cpu_core_0 "11.11111111111111".
- 1694175 cpu_core_0 "11.11111111111111".
- 1694191 cpu_core_0 "11.11111111111111".
- 1694192 cpu_core_0 "11.11111111111111".
- 1694196 cpu_core_0 "11.11111111111111".
- 1694226 cpu_core_0 "11.11111111111111".
- 1694421 cpu_core_0 "11.11111111111111".
- 1694855 cpu_core_0 "11.11111111111111".
- 1698867 cpu_core_0 "11.11111111111111".
- 1699884 cpu_core_0 "11.11111111111111".
- 1700990 cpu_core_0 "11.11111111111111".
- 1710762 cpu_core_0 "11.11111111111111".
- 1710811 cpu_core_0 "11.11111111111111".
- 1711417 cpu_core_0 "11.11111111111111".
- 1711840 cpu_core_0 "11.11111111111111".
- 1711884 cpu_core_0 "11.11111111111111".
- 1712047 cpu_core_0 "11.11111111111111".
- 1713194 cpu_core_0 "11.11111111111111".
- 1713212 cpu_core_0 "11.11111111111111".
- 1713247 cpu_core_0 "11.11111111111111".
- 1713284 cpu_core_0 "11.11111111111111".
- 1713451 cpu_core_0 "11.11111111111111".
- 1713479 cpu_core_0 "11.11111111111111".
- 1713519 cpu_core_0 "11.11111111111111".
- 1713868 cpu_core_0 "11.11111111111111".
- 1713931 cpu_core_0 "11.11111111111111".
- 1713980 cpu_core_0 "11.11111111111111".
- 1714126 cpu_core_0 "11.11111111111111".
- 1714329 cpu_core_0 "11.11111111111111".
- 1714391 cpu_core_0 "11.11111111111111".
- 1714563 cpu_core_0 "11.11111111111111".
- 1714598 cpu_core_0 "11.11111111111111".
- 1714673 cpu_core_0 "11.11111111111111".
- 1714840 cpu_core_0 "11.11111111111111".
- 1715038 cpu_core_0 "11.11111111111111".
- 1715778 cpu_core_0 "11.11111111111111".
- 1715816 cpu_core_0 "11.11111111111111".
- 1715847 cpu_core_0 "11.11111111111111".
- 1716016 cpu_core_0 "11.11111111111111".
- 1716121 cpu_core_0 "11.11111111111111".
- 1716295 cpu_core_0 "11.11111111111111".
- 1716385 cpu_core_0 "11.11111111111111".
- 1716409 cpu_core_0 "11.11111111111111".
- 1716885 cpu_core_0 "11.11111111111111".
- 1717039 cpu_core_0 "11.11111111111111".
- 1717157 cpu_core_0 "11.11111111111111".
- 1717301 cpu_core_0 "11.11111111111111".
- 1717375 cpu_core_0 "11.11111111111111".
- 1717638 cpu_core_0 "11.11111111111111".
- 1717771 cpu_core_0 "11.11111111111111".
- 1717802 cpu_core_0 "11.11111111111111".
- 1717890 cpu_core_0 "11.11111111111111".
- 1717977 cpu_core_0 "11.11111111111111".
- 1718023 cpu_core_0 "11.11111111111111".
- 1718180 cpu_core_0 "11.11111111111111".
- 1718197 cpu_core_0 "11.11111111111111".
- 1718233 cpu_core_0 "11.11111111111111".
- 1718461 cpu_core_0 "11.11111111111111".
- 1718463 cpu_core_0 "11.11111111111111".
- 1718567 cpu_core_0 "11.11111111111111".
- 1718579 cpu_core_0 "11.11111111111111".
- 1718959 cpu_core_0 "11.11111111111111".
- 1719314 cpu_core_0 "11.11111111111111".
- 1719406 cpu_core_0 "11.11111111111111".
- 1719416 cpu_core_0 "11.11111111111111".
- 1719573 cpu_core_0 "11.11111111111111".
- 1719664 cpu_core_0 "11.11111111111111".
- 1719776 cpu_core_0 "11.11111111111111".
- 1719814 cpu_core_0 "11.11111111111111".
- 1719830 cpu_core_0 "11.11111111111111".
- 1720102 cpu_core_0 "11.11111111111111".
- 1720133 cpu_core_0 "11.11111111111111".
- 1720237 cpu_core_0 "11.11111111111111".
- 1720352 cpu_core_0 "11.11111111111111".