Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1729171 cpu_core_0 "11.111111111111112".
- 1729172 cpu_core_0 "11.111111111111112".
- 1729359 cpu_core_0 "11.111111111111112".
- 1729396 cpu_core_0 "11.111111111111112".
- 1729400 cpu_core_0 "11.111111111111112".
- 1729428 cpu_core_0 "11.111111111111112".
- 1729444 cpu_core_0 "11.111111111111112".
- 1729468 cpu_core_0 "11.111111111111112".
- 1729679 cpu_core_0 "11.111111111111112".
- 1729836 cpu_core_0 "11.111111111111112".
- 1729917 cpu_core_0 "11.111111111111112".
- 1730033 cpu_core_0 "11.111111111111112".
- 1730101 cpu_core_0 "11.111111111111112".
- 1730214 cpu_core_0 "11.111111111111112".
- 1730288 cpu_core_0 "11.111111111111112".
- 1730378 cpu_core_0 "11.111111111111112".
- 1730429 cpu_core_0 "11.111111111111112".
- 1730579 cpu_core_0 "11.111111111111112".
- 1730615 cpu_core_0 "11.111111111111112".
- 1730657 cpu_core_0 "11.111111111111112".
- 1730748 cpu_core_0 "11.111111111111112".
- 1730785 cpu_core_0 "11.111111111111112".
- 1730789 cpu_core_0 "11.111111111111112".
- 1730793 cpu_core_0 "11.111111111111112".
- 1730917 cpu_core_0 "11.111111111111112".
- 1730926 cpu_core_0 "11.111111111111112".
- 1731095 cpu_core_0 "11.111111111111112".
- 1731150 cpu_core_0 "11.111111111111112".
- 1731215 cpu_core_0 "11.111111111111112".
- 1731298 cpu_core_0 "11.111111111111112".
- 1731384 cpu_core_0 "11.111111111111112".
- 1731480 cpu_core_0 "11.111111111111112".
- 1731516 cpu_core_0 "11.111111111111112".
- 1731518 cpu_core_0 "11.111111111111112".
- 1731701 cpu_core_0 "11.111111111111112".
- 1731895 cpu_core_0 "11.111111111111112".
- 1731948 cpu_core_0 "11.111111111111112".
- 1732059 cpu_core_0 "11.111111111111112".
- 1732099 cpu_core_0 "11.111111111111112".
- 1732695 cpu_core_0 "11.111111111111112".
- 1732704 cpu_core_0 "11.111111111111112".
- 1732938 cpu_core_0 "11.111111111111112".
- 1732941 cpu_core_0 "11.111111111111112".
- 1733258 cpu_core_0 "11.111111111111112".
- 1733262 cpu_core_0 "11.111111111111112".
- 1733493 cpu_core_0 "11.111111111111112".
- 1733582 cpu_core_0 "11.111111111111112".
- 1733594 cpu_core_0 "11.111111111111112".
- 1733770 cpu_core_0 "11.111111111111112".
- 1733866 cpu_core_0 "11.111111111111112".
- 1733951 cpu_core_0 "11.111111111111112".
- 1733964 cpu_core_0 "11.111111111111112".
- 1734044 cpu_core_0 "11.111111111111112".
- 1734196 cpu_core_0 "11.111111111111112".
- 1734323 cpu_core_0 "11.111111111111112".
- 1734458 cpu_core_0 "11.111111111111112".
- 1734471 cpu_core_0 "11.111111111111112".
- 1734498 cpu_core_0 "11.111111111111112".
- 1734531 cpu_core_0 "11.111111111111112".
- 1734540 cpu_core_0 "11.111111111111112".
- 1734605 cpu_core_0 "11.111111111111112".
- 1734619 cpu_core_0 "11.111111111111112".
- 1734687 cpu_core_0 "11.111111111111112".
- 1734714 cpu_core_0 "11.111111111111112".
- 1734717 cpu_core_0 "11.111111111111112".
- 1734843 cpu_core_0 "11.111111111111112".
- 1734846 cpu_core_0 "11.111111111111112".
- 1734895 cpu_core_0 "11.111111111111112".
- 1734904 cpu_core_0 "11.111111111111112".
- 1734941 cpu_core_0 "11.111111111111112".
- 1734976 cpu_core_0 "11.111111111111112".
- 1734978 cpu_core_0 "11.111111111111112".
- 1735000 cpu_core_0 "11.111111111111112".
- 1735013 cpu_core_0 "11.111111111111112".
- 1735031 cpu_core_0 "11.111111111111112".
- 1735049 cpu_core_0 "11.111111111111112".
- 1735064 cpu_core_0 "11.111111111111112".
- 1735139 cpu_core_0 "11.111111111111112".
- 1735194 cpu_core_0 "11.111111111111112".
- 1735263 cpu_core_0 "11.111111111111112".
- 1735265 cpu_core_0 "11.111111111111112".
- 1735268 cpu_core_0 "11.111111111111112".
- 1735283 cpu_core_0 "11.111111111111112".
- 1735297 cpu_core_0 "11.111111111111112".
- 1735380 cpu_core_0 "11.111111111111112".
- 1735384 cpu_core_0 "11.111111111111112".
- 1735389 cpu_core_0 "11.111111111111112".
- 1735541 cpu_core_0 "11.111111111111112".
- 1735556 cpu_core_0 "11.111111111111112".
- 1735640 cpu_core_0 "11.111111111111112".
- 1735653 cpu_core_0 "11.111111111111112".
- 1735665 cpu_core_0 "11.111111111111112".
- 1735740 cpu_core_0 "11.111111111111112".
- 1735759 cpu_core_0 "11.111111111111112".
- 1735798 cpu_core_0 "11.111111111111112".
- 1735877 cpu_core_0 "11.111111111111112".
- 1735881 cpu_core_0 "11.111111111111112".
- 1735892 cpu_core_0 "11.111111111111112".
- 1736039 cpu_core_0 "11.111111111111112".
- 1736064 cpu_core_0 "11.111111111111112".