Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1303020 cpu_core_0 "11.11111111111111".
- 1303065 cpu_core_0 "11.11111111111111".
- 1303165 cpu_core_0 "11.11111111111111".
- 1303194 cpu_core_0 "11.11111111111111".
- 1303338 cpu_core_0 "11.11111111111111".
- 1303409 cpu_core_0 "11.11111111111111".
- 1303417 cpu_core_0 "11.11111111111111".
- 1303450 cpu_core_0 "11.11111111111111".
- 1303779 cpu_core_0 "11.11111111111111".
- 1303938 cpu_core_0 "11.11111111111111".
- 1304202 cpu_core_0 "11.11111111111111".
- 1304441 cpu_core_0 "11.11111111111111".
- 1304519 cpu_core_0 "11.11111111111111".
- 1304558 cpu_core_0 "11.11111111111111".
- 1304587 cpu_core_0 "11.11111111111111".
- 1304659 cpu_core_0 "11.11111111111111".
- 1304680 cpu_core_0 "11.11111111111111".
- 1304713 cpu_core_0 "11.11111111111111".
- 1304716 cpu_core_0 "11.11111111111111".
- 1304891 cpu_core_0 "11.11111111111111".
- 1304925 cpu_core_0 "11.11111111111111".
- 1305156 cpu_core_0 "11.11111111111111".
- 1305172 cpu_core_0 "11.11111111111111".
- 1305481 cpu_core_0 "11.11111111111111".
- 1305550 cpu_core_0 "11.11111111111111".
- 1305598 cpu_core_0 "11.11111111111111".
- 1305618 cpu_core_0 "11.11111111111111".
- 1305818 cpu_core_0 "11.11111111111111".
- 1305830 cpu_core_0 "11.11111111111111".
- 1306004 cpu_core_0 "11.11111111111111".
- 1306272 cpu_core_0 "11.11111111111111".
- 1306732 cpu_core_0 "11.11111111111111".
- 1306846 cpu_core_0 "11.11111111111111".
- 1306901 cpu_core_0 "11.11111111111111".
- 1307082 cpu_core_0 "11.11111111111111".
- 1307094 cpu_core_0 "11.11111111111111".
- 1307113 cpu_core_0 "11.11111111111111".
- 1307126 cpu_core_0 "11.11111111111111".
- 1307148 cpu_core_0 "11.11111111111111".
- 1307167 cpu_core_0 "11.11111111111111".
- 1307209 cpu_core_0 "11.11111111111111".
- 1307772 cpu_core_0 "11.11111111111111".
- 1308070 cpu_core_0 "11.11111111111111".
- 1308152 cpu_core_0 "11.11111111111111".
- 1308187 cpu_core_0 "11.11111111111111".
- 1308358 cpu_core_0 "11.11111111111111".
- 1308555 cpu_core_0 "11.11111111111111".
- 1308596 cpu_core_0 "11.11111111111111".
- 1308607 cpu_core_0 "11.11111111111111".
- 1308670 cpu_core_0 "11.11111111111111".
- 1308752 cpu_core_0 "11.11111111111111".
- 1308871 cpu_core_0 "11.11111111111111".
- 1308873 cpu_core_0 "11.11111111111111".
- 1308956 cpu_core_0 "11.11111111111111".
- 1309063 cpu_core_0 "11.11111111111111".
- 1309279 cpu_core_0 "11.11111111111111".
- 1309312 cpu_core_0 "11.11111111111111".
- 1309318 cpu_core_0 "11.11111111111111".
- 1309417 cpu_core_0 "11.11111111111111".
- 1309896 cpu_core_0 "11.11111111111111".
- 1310014 cpu_core_0 "11.11111111111111".
- 1310023 cpu_core_0 "11.11111111111111".
- 1310064 cpu_core_0 "11.11111111111111".
- 1310103 cpu_core_0 "11.11111111111111".
- 1310123 cpu_core_0 "11.11111111111111".
- 1310573 cpu_core_0 "11.11111111111111".
- 1310671 cpu_core_0 "11.11111111111111".
- 1310789 cpu_core_0 "11.11111111111111".
- 1310805 cpu_core_0 "11.11111111111111".
- 1310867 cpu_core_0 "11.11111111111111".
- 1310933 cpu_core_0 "11.11111111111111".
- 1310970 cpu_core_0 "11.11111111111111".
- 1311025 cpu_core_0 "11.11111111111111".
- 1311059 cpu_core_0 "11.11111111111111".
- 1311064 cpu_core_0 "11.11111111111111".
- 1311111 cpu_core_0 "11.11111111111111".
- 1311326 cpu_core_0 "11.11111111111111".
- 1311493 cpu_core_0 "11.11111111111111".
- 1311506 cpu_core_0 "11.11111111111111".
- 1311645 cpu_core_0 "11.11111111111111".
- 1311710 cpu_core_0 "11.11111111111111".
- 1311752 cpu_core_0 "11.11111111111111".
- 1311837 cpu_core_0 "11.11111111111111".
- 1311957 cpu_core_0 "11.11111111111111".
- 1311959 cpu_core_0 "11.11111111111111".
- 1312198 cpu_core_0 "11.11111111111111".
- 1312411 cpu_core_0 "11.11111111111111".
- 1312498 cpu_core_0 "11.11111111111111".
- 1312563 cpu_core_0 "11.11111111111111".
- 1312611 cpu_core_0 "11.11111111111111".
- 1312626 cpu_core_0 "11.11111111111111".
- 1312643 cpu_core_0 "11.11111111111111".
- 1312754 cpu_core_0 "11.11111111111111".
- 1312775 cpu_core_0 "11.11111111111111".
- 1312893 cpu_core_0 "11.11111111111111".
- 1312955 cpu_core_0 "11.11111111111111".
- 1313016 cpu_core_0 "11.11111111111111".
- 1313158 cpu_core_0 "11.11111111111111".
- 1313231 cpu_core_0 "11.11111111111111".
- 1313267 cpu_core_0 "11.11111111111111".