Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1571820 cpu_core_0 "11.11111111111111".
- 1571889 cpu_core_0 "11.11111111111111".
- 1571892 cpu_core_0 "11.11111111111111".
- 1572144 cpu_core_0 "11.11111111111111".
- 1572156 cpu_core_0 "11.11111111111111".
- 1572177 cpu_core_0 "11.11111111111111".
- 1572236 cpu_core_0 "11.11111111111111".
- 1572311 cpu_core_0 "11.11111111111111".
- 1572426 cpu_core_0 "11.11111111111111".
- 1572437 cpu_core_0 "11.11111111111111".
- 1572489 cpu_core_0 "11.11111111111111".
- 1572658 cpu_core_0 "11.11111111111111".
- 1572840 cpu_core_0 "11.11111111111111".
- 1572843 cpu_core_0 "11.11111111111111".
- 1573027 cpu_core_0 "11.11111111111111".
- 1573046 cpu_core_0 "11.11111111111111".
- 1573126 cpu_core_0 "11.11111111111111".
- 1573236 cpu_core_0 "11.11111111111111".
- 1573274 cpu_core_0 "11.11111111111111".
- 1573359 cpu_core_0 "11.11111111111111".
- 1573518 cpu_core_0 "11.11111111111111".
- 1573529 cpu_core_0 "11.11111111111111".
- 1573700 cpu_core_0 "11.11111111111111".
- 1573716 cpu_core_0 "11.11111111111111".
- 1573811 cpu_core_0 "11.11111111111111".
- 1573916 cpu_core_0 "11.11111111111111".
- 1574086 cpu_core_0 "11.11111111111111".
- 1574102 cpu_core_0 "11.11111111111111".
- 1574193 cpu_core_0 "11.11111111111111".
- 1574342 cpu_core_0 "11.11111111111111".
- 1574354 cpu_core_0 "11.11111111111111".
- 1574459 cpu_core_0 "11.11111111111111".
- 1574662 cpu_core_0 "11.11111111111111".
- 1574847 cpu_core_0 "11.11111111111111".
- 1574910 cpu_core_0 "11.11111111111111".
- 1574922 cpu_core_0 "11.11111111111111".
- 1575003 cpu_core_0 "11.11111111111111".
- 1575134 cpu_core_0 "11.11111111111111".
- 1575191 cpu_core_0 "11.11111111111111".
- 1575254 cpu_core_0 "11.11111111111111".
- 1575284 cpu_core_0 "11.11111111111111".
- 1575382 cpu_core_0 "11.11111111111111".
- 1575409 cpu_core_0 "11.11111111111111".
- 1575617 cpu_core_0 "11.11111111111111".
- 1575635 cpu_core_0 "11.11111111111111".
- 1575659 cpu_core_0 "11.11111111111111".
- 1575764 cpu_core_0 "11.11111111111111".
- 1575770 cpu_core_0 "11.11111111111111".
- 1575787 cpu_core_0 "11.11111111111111".
- 1575837 cpu_core_0 "11.11111111111111".
- 1575904 cpu_core_0 "11.11111111111111".
- 1575906 cpu_core_0 "11.11111111111111".
- 1575910 cpu_core_0 "11.11111111111111".
- 1575925 cpu_core_0 "11.11111111111111".
- 1576091 cpu_core_0 "11.11111111111111".
- 1576227 cpu_core_0 "11.11111111111111".
- 1576232 cpu_core_0 "11.11111111111111".
- 1576436 cpu_core_0 "11.11111111111111".
- 1576453 cpu_core_0 "11.11111111111111".
- 1576464 cpu_core_0 "11.11111111111111".
- 1576486 cpu_core_0 "11.11111111111111".
- 1576575 cpu_core_0 "11.11111111111111".
- 1576628 cpu_core_0 "11.11111111111111".
- 1576765 cpu_core_0 "11.11111111111111".
- 1576916 cpu_core_0 "11.11111111111111".
- 1576949 cpu_core_0 "11.11111111111111".
- 1577160 cpu_core_0 "11.11111111111111".
- 1577418 cpu_core_0 "11.11111111111111".
- 1577535 cpu_core_0 "11.11111111111111".
- 1577644 cpu_core_0 "11.11111111111111".
- 1577649 cpu_core_0 "11.11111111111111".
- 1577730 cpu_core_0 "11.11111111111111".
- 1577777 cpu_core_0 "11.11111111111111".
- 1577931 cpu_core_0 "11.11111111111111".
- 1577933 cpu_core_0 "11.11111111111111".
- 1577941 cpu_core_0 "11.11111111111111".
- 1578054 cpu_core_0 "11.11111111111111".
- 1578141 cpu_core_0 "11.11111111111111".
- 1578159 cpu_core_0 "11.11111111111111".
- 1578160 cpu_core_0 "11.11111111111111".
- 1578286 cpu_core_0 "11.11111111111111".
- 1578394 cpu_core_0 "11.11111111111111".
- 1578554 cpu_core_0 "11.11111111111111".
- 1578656 cpu_core_0 "11.11111111111111".
- 1578670 cpu_core_0 "11.11111111111111".
- 1578684 cpu_core_0 "11.11111111111111".
- 1578922 cpu_core_0 "11.11111111111111".
- 1578984 cpu_core_0 "11.11111111111111".
- 1579112 cpu_core_0 "11.11111111111111".
- 1579133 cpu_core_0 "11.11111111111111".
- 1579304 cpu_core_0 "11.11111111111111".
- 1579331 cpu_core_0 "11.11111111111111".
- 1579333 cpu_core_0 "11.11111111111111".
- 1579383 cpu_core_0 "11.11111111111111".
- 1579489 cpu_core_0 "11.11111111111111".
- 1579568 cpu_core_0 "11.11111111111111".
- 1579591 cpu_core_0 "11.11111111111111".
- 1580203 cpu_core_0 "11.11111111111111".
- 1580310 cpu_core_0 "11.11111111111111".
- 1580800 cpu_core_0 "11.11111111111111".