Matches in ISWC2014 Benchmark for { ?s ?p 11.11111111111111. }
- 1637940 cpu_core_0 "11.11111111111111".
- 1638642 cpu_core_0 "11.11111111111111".
- 1639406 cpu_core_0 "11.11111111111111".
- 1639645 cpu_core_0 "11.11111111111111".
- 1640461 cpu_core_0 "11.11111111111111".
- 1640675 cpu_core_0 "11.11111111111111".
- 1641035 cpu_core_0 "11.11111111111111".
- 1641394 cpu_core_0 "11.11111111111111".
- 1641476 cpu_core_0 "11.11111111111111".
- 1641592 cpu_core_0 "11.11111111111111".
- 1641624 cpu_core_0 "11.11111111111111".
- 1641716 cpu_core_0 "11.11111111111111".
- 1641754 cpu_core_0 "11.11111111111111".
- 1641858 cpu_core_0 "11.11111111111111".
- 1641985 cpu_core_0 "11.11111111111111".
- 1642104 cpu_core_0 "11.11111111111111".
- 1642322 cpu_core_0 "11.11111111111111".
- 1643639 cpu_core_0 "11.11111111111111".
- 1644017 cpu_core_0 "11.11111111111111".
- 1644125 cpu_core_0 "11.11111111111111".
- 1644639 cpu_core_0 "11.11111111111111".
- 1644736 cpu_core_0 "11.11111111111111".
- 1644873 cpu_core_0 "11.11111111111111".
- 1644877 cpu_core_0 "11.11111111111111".
- 1644995 cpu_core_0 "11.11111111111111".
- 1645355 cpu_core_0 "11.11111111111111".
- 1645357 cpu_core_0 "11.11111111111111".
- 1645588 cpu_core_0 "11.11111111111111".
- 1646043 cpu_core_0 "11.11111111111111".
- 1646070 cpu_core_0 "11.11111111111111".
- 1646076 cpu_core_0 "11.11111111111111".
- 1646385 cpu_core_0 "11.11111111111111".
- 1646965 cpu_core_0 "11.11111111111111".
- 1647172 cpu_core_0 "11.11111111111111".
- 1647299 cpu_core_0 "11.11111111111111".
- 1647363 cpu_core_0 "11.11111111111111".
- 1647540 cpu_core_0 "11.11111111111111".
- 1647582 cpu_core_0 "11.11111111111111".
- 1647724 cpu_core_0 "11.11111111111111".
- 1647926 cpu_core_0 "11.11111111111111".
- 1648114 cpu_core_0 "11.11111111111111".
- 1648173 cpu_core_0 "11.11111111111111".
- 1648428 cpu_core_0 "11.11111111111111".
- 1648469 cpu_core_0 "11.11111111111111".
- 1648765 cpu_core_0 "11.11111111111111".
- 1648766 cpu_core_0 "11.11111111111111".
- 1648823 cpu_core_0 "11.11111111111111".
- 1648843 cpu_core_0 "11.11111111111111".
- 1648920 cpu_core_0 "11.11111111111111".
- 1648946 cpu_core_0 "11.11111111111111".
- 1649068 cpu_core_0 "11.11111111111111".
- 1649133 cpu_core_0 "11.11111111111111".
- 1649229 cpu_core_0 "11.11111111111111".
- 1649523 cpu_core_0 "11.11111111111111".
- 1649693 cpu_core_0 "11.11111111111111".
- 1649703 cpu_core_0 "11.11111111111111".
- 1649706 cpu_core_0 "11.11111111111111".
- 1649926 cpu_core_0 "11.11111111111111".
- 1650040 cpu_core_0 "11.11111111111111".
- 1650051 cpu_core_0 "11.11111111111111".
- 1650052 cpu_core_0 "11.11111111111111".
- 1650294 cpu_core_0 "11.11111111111111".
- 1650364 cpu_core_0 "11.11111111111111".
- 1650407 cpu_core_0 "11.11111111111111".
- 1650517 cpu_core_0 "11.11111111111111".
- 1650711 cpu_core_0 "11.11111111111111".
- 1650767 cpu_core_0 "11.11111111111111".
- 1650881 cpu_core_0 "11.11111111111111".
- 1650959 cpu_core_0 "11.11111111111111".
- 1651189 cpu_core_0 "11.11111111111111".
- 1651209 cpu_core_0 "11.11111111111111".
- 1651304 cpu_core_0 "11.11111111111111".
- 1651370 cpu_core_0 "11.11111111111111".
- 1651374 cpu_core_0 "11.11111111111111".
- 1651398 cpu_core_0 "11.11111111111111".
- 1651506 cpu_core_0 "11.11111111111111".
- 1651685 cpu_core_0 "11.11111111111111".
- 1651735 cpu_core_0 "11.11111111111111".
- 1651749 cpu_core_0 "11.11111111111111".
- 1651835 cpu_core_0 "11.11111111111111".
- 1652021 cpu_core_0 "11.11111111111111".
- 1652147 cpu_core_0 "11.11111111111111".
- 1652228 cpu_core_0 "11.11111111111111".
- 1652232 cpu_core_0 "11.11111111111111".
- 1652283 cpu_core_0 "11.11111111111111".
- 1652386 cpu_core_0 "11.11111111111111".
- 1652521 cpu_core_0 "11.11111111111111".
- 1652754 cpu_core_0 "11.11111111111111".
- 1652874 cpu_core_0 "11.11111111111111".
- 1653295 cpu_core_0 "11.11111111111111".
- 1653944 cpu_core_0 "11.11111111111111".
- 1653961 cpu_core_0 "11.11111111111111".
- 1654250 cpu_core_0 "11.11111111111111".
- 1654257 cpu_core_0 "11.11111111111111".
- 1654258 cpu_core_0 "11.11111111111111".
- 1654540 cpu_core_0 "11.11111111111111".
- 1658909 cpu_core_0 "11.11111111111111".
- 1665038 cpu_core_0 "11.11111111111111".
- 1670149 cpu_core_0 "11.11111111111111".
- 1670677 cpu_core_0 "11.11111111111111".