Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1751911 cpu_core_0 "11.111111111111112".
- 1751914 cpu_core_0 "11.111111111111112".
- 1751919 cpu_core_0 "11.111111111111112".
- 1751950 cpu_core_0 "11.111111111111112".
- 1751996 cpu_core_0 "11.111111111111112".
- 1751999 cpu_core_0 "11.111111111111112".
- 1752031 cpu_core_0 "11.111111111111112".
- 1752040 cpu_core_0 "11.111111111111112".
- 1752045 cpu_core_0 "11.111111111111112".
- 1752154 cpu_core_0 "11.111111111111112".
- 1752282 cpu_core_0 "11.111111111111112".
- 1752286 cpu_core_0 "11.111111111111112".
- 1752372 cpu_core_0 "11.111111111111112".
- 1752377 cpu_core_0 "11.111111111111112".
- 1752381 cpu_core_0 "11.111111111111112".
- 1752392 cpu_core_0 "11.111111111111112".
- 1752487 cpu_core_0 "11.111111111111112".
- 1752749 cpu_core_0 "11.111111111111112".
- 1752778 cpu_core_0 "11.111111111111112".
- 1752796 cpu_core_0 "11.111111111111112".
- 1752807 cpu_core_0 "11.111111111111112".
- 1752845 cpu_core_0 "11.111111111111112".
- 1752863 cpu_core_0 "11.111111111111112".
- 1752866 cpu_core_0 "11.111111111111112".
- 1752904 cpu_core_0 "11.111111111111112".
- 1752933 cpu_core_0 "11.111111111111112".
- 1753004 cpu_core_0 "11.111111111111112".
- 1753017 cpu_core_0 "11.111111111111112".
- 1753285 cpu_core_0 "11.111111111111112".
- 1753452 cpu_core_0 "11.111111111111112".
- 1753776 cpu_core_0 "11.111111111111112".
- 1753824 cpu_core_0 "11.111111111111112".
- 1753884 cpu_core_0 "11.111111111111112".
- 1753963 cpu_core_0 "11.111111111111112".
- 1754011 cpu_core_0 "11.111111111111112".
- 1754221 cpu_core_0 "11.111111111111112".
- 1754341 cpu_core_0 "11.111111111111112".
- 1754646 cpu_core_0 "11.111111111111112".
- 1754659 cpu_core_0 "11.111111111111112".
- 1754699 cpu_core_0 "11.111111111111112".
- 1754772 cpu_core_0 "11.111111111111112".
- 1754829 cpu_core_0 "11.111111111111112".
- 1754947 cpu_core_0 "11.111111111111112".
- 1755032 cpu_core_0 "11.111111111111112".
- 1755035 cpu_core_0 "11.111111111111112".
- 1755102 cpu_core_0 "11.111111111111112".
- 1755325 cpu_core_0 "11.111111111111112".
- 1755607 cpu_core_0 "11.111111111111112".
- 1755612 cpu_core_0 "11.111111111111112".
- 1755640 cpu_core_0 "11.111111111111112".
- 1755681 cpu_core_0 "11.111111111111112".
- 1755809 cpu_core_0 "11.111111111111112".
- 1755890 cpu_core_0 "11.111111111111112".
- 1756046 cpu_core_0 "11.111111111111112".
- 1756089 cpu_core_0 "11.111111111111112".
- 1756286 cpu_core_0 "11.111111111111112".
- 1756828 cpu_core_0 "11.111111111111112".
- 1757007 cpu_core_0 "11.111111111111112".
- 1757013 cpu_core_0 "11.111111111111112".
- 1757028 cpu_core_0 "11.111111111111112".
- 1757095 cpu_core_0 "11.111111111111112".
- 1757124 cpu_core_0 "11.111111111111112".
- 1757214 cpu_core_0 "11.111111111111112".
- 1757242 cpu_core_0 "11.111111111111112".
- 1757264 cpu_core_0 "11.111111111111112".
- 1757339 cpu_core_0 "11.111111111111112".
- 1757424 cpu_core_0 "11.111111111111112".
- 1757447 cpu_core_0 "11.111111111111112".
- 1757475 cpu_core_0 "11.111111111111112".
- 1757480 cpu_core_0 "11.111111111111112".
- 1757503 cpu_core_0 "11.111111111111112".
- 1757555 cpu_core_0 "11.111111111111112".
- 1757565 cpu_core_0 "11.111111111111112".
- 1757582 cpu_core_0 "11.111111111111112".
- 1757622 cpu_core_0 "11.111111111111112".
- 1757637 cpu_core_0 "11.111111111111112".
- 1757682 cpu_core_0 "11.111111111111112".
- 1757751 cpu_core_0 "11.111111111111112".
- 1757756 cpu_core_0 "11.111111111111112".
- 1757825 cpu_core_0 "11.111111111111112".
- 1757845 cpu_core_0 "11.111111111111112".
- 1757903 cpu_core_0 "11.111111111111112".
- 1757933 cpu_core_0 "11.111111111111112".
- 1757944 cpu_core_0 "11.111111111111112".
- 1757974 cpu_core_0 "11.111111111111112".
- 1757977 cpu_core_0 "11.111111111111112".
- 1758046 cpu_core_0 "11.111111111111112".
- 1758066 cpu_core_0 "11.111111111111112".
- 1758069 cpu_core_0 "11.111111111111112".
- 1758119 cpu_core_0 "11.111111111111112".
- 1758137 cpu_core_0 "11.111111111111112".
- 1758152 cpu_core_0 "11.111111111111112".
- 1758158 cpu_core_0 "11.111111111111112".
- 1758171 cpu_core_0 "11.111111111111112".
- 1758190 cpu_core_0 "11.111111111111112".
- 1758308 cpu_core_0 "11.111111111111112".
- 1758339 cpu_core_0 "11.111111111111112".
- 1758354 cpu_core_0 "11.111111111111112".
- 1758508 cpu_core_0 "11.111111111111112".
- 1758539 cpu_core_0 "11.111111111111112".