Matches in ISWC2014 Benchmark for { ?s ?p 11.111111111111112. }
- 1778388 cpu_core_0 "11.111111111111112".
- 1778428 cpu_core_0 "11.111111111111112".
- 1778452 cpu_core_0 "11.111111111111112".
- 1778522 cpu_core_0 "11.111111111111112".
- 1778920 cpu_core_0 "11.111111111111112".
- 1779082 cpu_core_0 "11.111111111111112".
- 1779129 cpu_core_0 "11.111111111111112".
- 1779212 cpu_core_0 "11.111111111111112".
- 1779663 cpu_core_0 "11.111111111111112".
- 1779692 cpu_core_0 "11.111111111111112".
- 1779982 cpu_core_0 "11.111111111111112".
- 1780024 cpu_core_0 "11.111111111111112".
- 1780090 cpu_core_0 "11.111111111111112".
- 1780100 cpu_core_0 "11.111111111111112".
- 1780101 cpu_core_0 "11.111111111111112".
- 1780120 cpu_core_0 "11.111111111111112".
- 1780127 cpu_core_0 "11.111111111111112".
- 1780207 cpu_core_0 "11.111111111111112".
- 1780224 cpu_core_0 "11.111111111111112".
- 1780242 cpu_core_0 "11.111111111111112".
- 1780283 cpu_core_0 "11.111111111111112".
- 1780318 cpu_core_0 "11.111111111111112".
- 1780331 cpu_core_0 "11.111111111111112".
- 1780358 cpu_core_0 "11.111111111111112".
- 1780467 cpu_core_0 "11.111111111111112".
- 1780472 cpu_core_0 "11.111111111111112".
- 1780487 cpu_core_0 "11.111111111111112".
- 1780520 cpu_core_0 "11.111111111111112".
- 1780587 cpu_core_0 "11.111111111111112".
- 1780634 cpu_core_0 "11.111111111111112".
- 1780716 cpu_core_0 "11.111111111111112".
- 1780730 cpu_core_0 "11.111111111111112".
- 1780747 cpu_core_0 "11.111111111111112".
- 1780808 cpu_core_0 "11.111111111111112".
- 1780824 cpu_core_0 "11.111111111111112".
- 1780864 cpu_core_0 "11.111111111111112".
- 1781008 cpu_core_0 "11.111111111111112".
- 1781058 cpu_core_0 "11.111111111111112".
- 1781078 cpu_core_0 "11.111111111111112".
- 1781085 cpu_core_0 "11.111111111111112".
- 1781090 cpu_core_0 "11.111111111111112".
- 1781114 cpu_core_0 "11.111111111111112".
- 1781153 cpu_core_0 "11.111111111111112".
- 1781232 cpu_core_0 "11.111111111111112".
- 1781303 cpu_core_0 "11.111111111111112".
- 1781311 cpu_core_0 "11.111111111111112".
- 1781331 cpu_core_0 "11.111111111111112".
- 1781483 cpu_core_0 "11.111111111111112".
- 1781594 cpu_core_0 "11.111111111111112".
- 1781652 cpu_core_0 "11.111111111111112".
- 1781723 cpu_core_0 "11.111111111111112".
- 1781837 cpu_core_0 "11.111111111111112".
- 1781954 cpu_core_0 "11.111111111111112".
- 1781965 cpu_core_0 "11.111111111111112".
- 1781979 cpu_core_0 "11.111111111111112".
- 1782201 cpu_core_0 "11.111111111111112".
- 1782274 cpu_core_0 "11.111111111111112".
- 1782290 cpu_core_0 "11.111111111111112".
- 1782309 cpu_core_0 "11.111111111111112".
- 1782420 cpu_core_0 "11.111111111111112".
- 1782487 cpu_core_0 "11.111111111111112".
- 1782556 cpu_core_0 "11.111111111111112".
- 1782574 cpu_core_0 "11.111111111111112".
- 1782818 cpu_core_0 "11.111111111111112".
- 1782929 cpu_core_0 "11.111111111111112".
- 1782966 cpu_core_0 "11.111111111111112".
- 1783030 cpu_core_0 "11.111111111111112".
- 1783093 cpu_core_0 "11.111111111111112".
- 1783180 cpu_core_0 "11.111111111111112".
- 1783249 cpu_core_0 "11.111111111111112".
- 1783269 cpu_core_0 "11.111111111111112".
- 1783298 cpu_core_0 "11.111111111111112".
- 1783498 cpu_core_0 "11.111111111111112".
- 1783743 cpu_core_0 "11.111111111111112".
- 1783938 cpu_core_0 "11.111111111111112".
- 1783989 cpu_core_0 "11.111111111111112".
- 1784140 cpu_core_0 "11.111111111111112".
- 1784253 cpu_core_0 "11.111111111111112".
- 1784262 cpu_core_0 "11.111111111111112".
- 1784282 cpu_core_0 "11.111111111111112".
- 1784457 cpu_core_0 "11.111111111111112".
- 1784587 cpu_core_0 "11.111111111111112".
- 1784678 cpu_core_0 "11.111111111111112".
- 1784729 cpu_core_0 "11.111111111111112".
- 1784960 cpu_core_0 "11.111111111111112".
- 1784961 cpu_core_0 "11.111111111111112".
- 1785032 cpu_core_0 "11.111111111111112".
- 1785334 cpu_core_0 "11.111111111111112".
- 1785677 cpu_core_0 "11.111111111111112".
- 1785733 cpu_core_0 "11.111111111111112".
- 1785789 cpu_core_0 "11.111111111111112".
- 1785867 cpu_core_0 "11.111111111111112".
- 1785921 cpu_core_0 "11.111111111111112".
- 1786103 cpu_core_0 "11.111111111111112".
- 1786160 cpu_core_0 "11.111111111111112".
- 1786262 cpu_core_0 "11.111111111111112".
- 1786292 cpu_core_0 "11.111111111111112".
- 1786293 cpu_core_0 "11.111111111111112".
- 1786327 cpu_core_0 "11.111111111111112".
- 1786337 cpu_core_0 "11.111111111111112".