Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1821518 cpu_core_0 "11.111111111111112".
- 1821528 cpu_core_0 "11.111111111111112".
- 1821609 cpu_core_0 "11.111111111111112".
- 1821734 cpu_core_0 "11.111111111111112".
- 1821832 cpu_core_0 "11.111111111111112".
- 1822833 cpu_core_0 "11.111111111111112".
- 1822844 cpu_core_0 "11.111111111111112".
- 1822956 cpu_core_0 "11.111111111111112".
- 1822983 cpu_core_0 "11.111111111111112".
- 1823115 cpu_core_0 "11.111111111111112".
- 1823125 cpu_core_0 "11.111111111111112".
- 1823149 cpu_core_0 "11.111111111111112".
- 1823180 cpu_core_0 "11.111111111111112".
- 1823278 cpu_core_0 "11.111111111111112".
- 1823391 cpu_core_0 "11.111111111111112".
- 1823398 cpu_core_0 "11.111111111111112".
- 1823429 cpu_core_0 "11.111111111111112".
- 1823466 cpu_core_0 "11.111111111111112".
- 1823517 cpu_core_0 "11.111111111111112".
- 1823523 cpu_core_0 "11.111111111111112".
- 1823562 cpu_core_0 "11.111111111111112".
- 1823581 cpu_core_0 "11.111111111111112".
- 1823600 cpu_core_0 "11.111111111111112".
- 1823643 cpu_core_0 "11.111111111111112".
- 1823679 cpu_core_0 "11.111111111111112".
- 1823726 cpu_core_0 "11.111111111111112".
- 1823767 cpu_core_0 "11.111111111111112".
- 1823775 cpu_core_0 "11.111111111111112".
- 1823795 cpu_core_0 "11.111111111111112".
- 1823888 cpu_core_0 "11.111111111111112".
- 1823984 cpu_core_0 "11.111111111111112".
- 1824000 cpu_core_0 "11.111111111111112".
- 1824117 cpu_core_0 "11.111111111111112".
- 1824129 cpu_core_0 "11.111111111111112".
- 1824134 cpu_core_0 "11.111111111111112".
- 1824175 cpu_core_0 "11.111111111111112".
- 1824184 cpu_core_0 "11.111111111111112".
- 1824247 cpu_core_0 "11.111111111111112".
- 1824285 cpu_core_0 "11.111111111111112".
- 1824374 cpu_core_0 "11.111111111111112".
- 1824393 cpu_core_0 "11.111111111111112".
- 1824446 cpu_core_0 "11.111111111111112".
- 1824545 cpu_core_0 "11.111111111111112".
- 1824740 cpu_core_0 "11.111111111111112".
- 1824954 cpu_core_0 "11.111111111111112".
- 1824963 cpu_core_0 "11.111111111111112".
- 1825088 cpu_core_0 "11.111111111111112".
- 1825109 cpu_core_0 "11.111111111111112".
- 1825220 cpu_core_0 "11.111111111111112".
- 1825242 cpu_core_0 "11.111111111111112".
- 1825339 cpu_core_0 "11.111111111111112".
- 1825350 cpu_core_0 "11.111111111111112".
- 1825599 cpu_core_0 "11.111111111111112".
- 1825602 cpu_core_0 "11.111111111111112".
- 1825732 cpu_core_0 "11.111111111111112".
- 1825760 cpu_core_0 "11.111111111111112".
- 1825808 cpu_core_0 "11.111111111111112".
- 1825840 cpu_core_0 "11.111111111111112".
- 1825877 cpu_core_0 "11.111111111111112".
- 1825936 cpu_core_0 "11.111111111111112".
- 1826117 cpu_core_0 "11.111111111111112".
- 1826165 cpu_core_0 "11.111111111111112".
- 1826319 cpu_core_0 "11.111111111111112".
- 1826331 cpu_core_0 "11.111111111111112".
- 1826700 cpu_core_0 "11.111111111111112".
- 1826836 cpu_core_0 "11.111111111111112".
- 1826915 cpu_core_0 "11.111111111111112".
- 1827041 cpu_core_0 "11.111111111111112".
- 1827253 cpu_core_0 "11.111111111111112".
- 1827509 cpu_core_0 "11.111111111111112".
- 1827564 cpu_core_0 "11.111111111111112".
- 1827568 cpu_core_0 "11.111111111111112".
- 1828039 cpu_core_0 "11.111111111111112".
- 1828580 cpu_core_0 "11.111111111111112".
- 1828596 cpu_core_0 "11.111111111111112".
- 1828601 cpu_core_0 "11.111111111111112".
- 1828619 cpu_core_0 "11.111111111111112".
- 1828695 cpu_core_0 "11.111111111111112".
- 1828829 cpu_core_0 "11.111111111111112".
- 1828836 cpu_core_0 "11.111111111111112".
- 1828910 cpu_core_0 "11.111111111111112".
- 1828976 cpu_core_0 "11.111111111111112".
- 1829004 cpu_core_0 "11.111111111111112".
- 1829138 cpu_core_0 "11.111111111111112".
- 1829177 cpu_core_0 "11.111111111111112".
- 1829199 cpu_core_0 "11.111111111111112".
- 1829212 cpu_core_0 "11.111111111111112".
- 1829246 cpu_core_0 "11.111111111111112".
- 1829255 cpu_core_0 "11.111111111111112".
- 1829317 cpu_core_0 "11.111111111111112".
- 1829439 cpu_core_0 "11.111111111111112".
- 1829620 cpu_core_0 "11.111111111111112".
- 1829643 cpu_core_0 "11.111111111111112".
- 1829644 cpu_core_0 "11.111111111111112".
- 1829798 cpu_core_0 "11.111111111111112".
- 1829871 cpu_core_0 "11.111111111111112".
- 1829892 cpu_core_0 "11.111111111111112".
- 1829992 cpu_core_0 "11.111111111111112".
- 1829998 cpu_core_0 "11.111111111111112".
- 1830008 cpu_core_0 "11.111111111111112".