Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1293786 cpu_core_0 "11.11111111111111".
- 1293834 cpu_core_0 "11.11111111111111".
- 1293915 cpu_core_0 "11.11111111111111".
- 1293949 cpu_core_0 "11.11111111111111".
- 1294039 cpu_core_0 "11.11111111111111".
- 1294042 cpu_core_0 "11.11111111111111".
- 1294084 cpu_core_0 "11.11111111111111".
- 1294207 cpu_core_0 "11.11111111111111".
- 1294353 cpu_core_0 "11.11111111111111".
- 1294385 cpu_core_0 "11.11111111111111".
- 1294476 cpu_core_0 "11.11111111111111".
- 1294676 cpu_core_0 "11.11111111111111".
- 1294837 cpu_core_0 "11.11111111111111".
- 1295073 cpu_core_0 "11.11111111111111".
- 1295231 cpu_core_0 "11.11111111111111".
- 1295249 cpu_core_0 "11.11111111111111".
- 1295254 cpu_core_0 "11.11111111111111".
- 1295326 cpu_core_0 "11.11111111111111".
- 1295353 cpu_core_0 "11.11111111111111".
- 1295450 cpu_core_0 "11.11111111111111".
- 1295460 cpu_core_0 "11.11111111111111".
- 1295497 cpu_core_0 "11.11111111111111".
- 1295567 cpu_core_0 "11.11111111111111".
- 1295694 cpu_core_0 "11.11111111111111".
- 1295756 cpu_core_0 "11.11111111111111".
- 1295819 cpu_core_0 "11.11111111111111".
- 1296046 cpu_core_0 "11.11111111111111".
- 1296118 cpu_core_0 "11.11111111111111".
- 1296123 cpu_core_0 "11.11111111111111".
- 1296233 cpu_core_0 "11.11111111111111".
- 1296286 cpu_core_0 "11.11111111111111".
- 1296326 cpu_core_0 "11.11111111111111".
- 1296860 cpu_core_0 "11.11111111111111".
- 1297127 cpu_core_0 "11.11111111111111".
- 1297223 cpu_core_0 "11.11111111111111".
- 1297232 cpu_core_0 "11.11111111111111".
- 1297564 cpu_core_0 "11.11111111111111".
- 1297618 cpu_core_0 "11.11111111111111".
- 1297635 cpu_core_0 "11.11111111111111".
- 1297663 cpu_core_0 "11.11111111111111".
- 1297823 cpu_core_0 "11.11111111111111".
- 1297829 cpu_core_0 "11.11111111111111".
- 1298141 cpu_core_0 "11.11111111111111".
- 1298198 cpu_core_0 "11.11111111111111".
- 1298327 cpu_core_0 "11.11111111111111".
- 1298412 cpu_core_0 "11.11111111111111".
- 1298464 cpu_core_0 "11.11111111111111".
- 1298470 cpu_core_0 "11.11111111111111".
- 1298664 cpu_core_0 "11.11111111111111".
- 1298838 cpu_core_0 "11.11111111111111".
- 1298893 cpu_core_0 "11.11111111111111".
- 1298967 cpu_core_0 "11.11111111111111".
- 1299131 cpu_core_0 "11.11111111111111".
- 1299150 cpu_core_0 "11.11111111111111".
- 1299311 cpu_core_0 "11.11111111111111".
- 1299335 cpu_core_0 "11.11111111111111".
- 1299447 cpu_core_0 "11.11111111111111".
- 1299530 cpu_core_0 "11.11111111111111".
- 1299570 cpu_core_0 "11.11111111111111".
- 1299571 cpu_core_0 "11.11111111111111".
- 1299573 cpu_core_0 "11.11111111111111".
- 1299731 cpu_core_0 "11.11111111111111".
- 1299838 cpu_core_0 "11.11111111111111".
- 1299928 cpu_core_0 "11.11111111111111".
- 1299991 cpu_core_0 "11.11111111111111".
- 1300011 cpu_core_0 "11.11111111111111".
- 1300029 cpu_core_0 "11.11111111111111".
- 1300119 cpu_core_0 "11.11111111111111".
- 1300280 cpu_core_0 "11.11111111111111".
- 1300337 cpu_core_0 "11.11111111111111".
- 1300498 cpu_core_0 "11.11111111111111".
- 1300569 cpu_core_0 "11.11111111111111".
- 1300603 cpu_core_0 "11.11111111111111".
- 1300606 cpu_core_0 "11.11111111111111".
- 1300638 cpu_core_0 "11.11111111111111".
- 1300663 cpu_core_0 "11.11111111111111".
- 1300761 cpu_core_0 "11.11111111111111".
- 1300839 cpu_core_0 "11.11111111111111".
- 1300970 cpu_core_0 "11.11111111111111".
- 1300997 cpu_core_0 "11.11111111111111".
- 1301251 cpu_core_0 "11.11111111111111".
- 1301337 cpu_core_0 "11.11111111111111".
- 1301339 cpu_core_0 "11.11111111111111".
- 1301585 cpu_core_0 "11.11111111111111".
- 1301659 cpu_core_0 "11.11111111111111".
- 1301880 cpu_core_0 "11.11111111111111".
- 1302034 cpu_core_0 "11.11111111111111".
- 1302065 cpu_core_0 "11.11111111111111".
- 1302171 cpu_core_0 "11.11111111111111".
- 1302197 cpu_core_0 "11.11111111111111".
- 1302303 cpu_core_0 "11.11111111111111".
- 1302331 cpu_core_0 "11.11111111111111".
- 1302483 cpu_core_0 "11.11111111111111".
- 1302490 cpu_core_0 "11.11111111111111".
- 1302547 cpu_core_0 "11.11111111111111".
- 1302565 cpu_core_0 "11.11111111111111".
- 1302638 cpu_core_0 "11.11111111111111".
- 1302734 cpu_core_0 "11.11111111111111".
- 1302958 cpu_core_0 "11.11111111111111".
- 1302990 cpu_core_0 "11.11111111111111".