Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1702457 cpu_core_0 "11.111111111111112".
- 1704922 cpu_core_0 "11.111111111111112".
- 1706339 cpu_core_0 "11.111111111111112".
- 1709591 cpu_core_0 "11.111111111111112".
- 1710608 cpu_core_0 "11.111111111111112".
- 1710677 cpu_core_0 "11.111111111111112".
- 1710853 cpu_core_0 "11.111111111111112".
- 1710928 cpu_core_0 "11.111111111111112".
- 1713246 cpu_core_0 "11.111111111111112".
- 1713663 cpu_core_0 "11.111111111111112".
- 1713686 cpu_core_0 "11.111111111111112".
- 1713839 cpu_core_0 "11.111111111111112".
- 1713846 cpu_core_0 "11.111111111111112".
- 1713917 cpu_core_0 "11.111111111111112".
- 1713978 cpu_core_0 "11.111111111111112".
- 1714007 cpu_core_0 "11.111111111111112".
- 1714086 cpu_core_0 "11.111111111111112".
- 1714225 cpu_core_0 "11.111111111111112".
- 1714228 cpu_core_0 "11.111111111111112".
- 1714349 cpu_core_0 "11.111111111111112".
- 1714354 cpu_core_0 "11.111111111111112".
- 1714363 cpu_core_0 "11.111111111111112".
- 1714394 cpu_core_0 "11.111111111111112".
- 1714398 cpu_core_0 "11.111111111111112".
- 1714409 cpu_core_0 "11.111111111111112".
- 1714414 cpu_core_0 "11.111111111111112".
- 1714452 cpu_core_0 "11.111111111111112".
- 1714456 cpu_core_0 "11.111111111111112".
- 1714495 cpu_core_0 "11.111111111111112".
- 1714501 cpu_core_0 "11.111111111111112".
- 1714591 cpu_core_0 "11.111111111111112".
- 1714677 cpu_core_0 "11.111111111111112".
- 1714731 cpu_core_0 "11.111111111111112".
- 1714896 cpu_core_0 "11.111111111111112".
- 1714914 cpu_core_0 "11.111111111111112".
- 1715010 cpu_core_0 "11.111111111111112".
- 1715015 cpu_core_0 "11.111111111111112".
- 1715287 cpu_core_0 "11.111111111111112".
- 1715318 cpu_core_0 "11.111111111111112".
- 1715420 cpu_core_0 "11.111111111111112".
- 1715547 cpu_core_0 "11.111111111111112".
- 1715550 cpu_core_0 "11.111111111111112".
- 1715590 cpu_core_0 "11.111111111111112".
- 1715737 cpu_core_0 "11.111111111111112".
- 1715799 cpu_core_0 "11.111111111111112".
- 1715920 cpu_core_0 "11.111111111111112".
- 1716069 cpu_core_0 "11.111111111111112".
- 1716143 cpu_core_0 "11.111111111111112".
- 1716144 cpu_core_0 "11.111111111111112".
- 1716244 cpu_core_0 "11.111111111111112".
- 1716322 cpu_core_0 "11.111111111111112".
- 1716373 cpu_core_0 "11.111111111111112".
- 1716400 cpu_core_0 "11.111111111111112".
- 1716417 cpu_core_0 "11.111111111111112".
- 1716461 cpu_core_0 "11.111111111111112".
- 1716573 cpu_core_0 "11.111111111111112".
- 1716688 cpu_core_0 "11.111111111111112".
- 1716701 cpu_core_0 "11.111111111111112".
- 1716937 cpu_core_0 "11.111111111111112".
- 1717172 cpu_core_0 "11.111111111111112".
- 1717246 cpu_core_0 "11.111111111111112".
- 1717266 cpu_core_0 "11.111111111111112".
- 1717387 cpu_core_0 "11.111111111111112".
- 1717617 cpu_core_0 "11.111111111111112".
- 1717695 cpu_core_0 "11.111111111111112".
- 1717871 cpu_core_0 "11.111111111111112".
- 1718084 cpu_core_0 "11.111111111111112".
- 1718239 cpu_core_0 "11.111111111111112".
- 1718342 cpu_core_0 "11.111111111111112".
- 1718739 cpu_core_0 "11.111111111111112".
- 1718967 cpu_core_0 "11.111111111111112".
- 1719203 cpu_core_0 "11.111111111111112".
- 1719259 cpu_core_0 "11.111111111111112".
- 1719261 cpu_core_0 "11.111111111111112".
- 1719352 cpu_core_0 "11.111111111111112".
- 1719438 cpu_core_0 "11.111111111111112".
- 1719649 cpu_core_0 "11.111111111111112".
- 1720100 cpu_core_0 "11.111111111111112".
- 1720405 cpu_core_0 "11.111111111111112".
- 1720456 cpu_core_0 "11.111111111111112".
- 1720492 cpu_core_0 "11.111111111111112".
- 1720609 cpu_core_0 "11.111111111111112".
- 1720703 cpu_core_0 "11.111111111111112".
- 1720732 cpu_core_0 "11.111111111111112".
- 1720765 cpu_core_0 "11.111111111111112".
- 1720780 cpu_core_0 "11.111111111111112".
- 1720810 cpu_core_0 "11.111111111111112".
- 1720830 cpu_core_0 "11.111111111111112".
- 1720924 cpu_core_0 "11.111111111111112".
- 1720969 cpu_core_0 "11.111111111111112".
- 1721000 cpu_core_0 "11.111111111111112".
- 1721040 cpu_core_0 "11.111111111111112".
- 1721120 cpu_core_0 "11.111111111111112".
- 1721152 cpu_core_0 "11.111111111111112".
- 1721160 cpu_core_0 "11.111111111111112".
- 1721196 cpu_core_0 "11.111111111111112".
- 1721235 cpu_core_0 "11.111111111111112".
- 1721276 cpu_core_0 "11.111111111111112".
- 1721288 cpu_core_0 "11.111111111111112".
- 1721302 cpu_core_0 "11.111111111111112".