Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1669181 cpu_core_0 "55.00000000000001".
- 1669307 cpu_core_0 "55.00000000000001".
- 1669632 cpu_core_0 "55.00000000000001".
- 1669635 cpu_core_0 "55.00000000000001".
- 1669667 cpu_core_0 "55.00000000000001".
- 1669718 cpu_core_0 "55.00000000000001".
- 1669758 cpu_core_0 "55.00000000000001".
- 1670174 cpu_core_0 "55.00000000000001".
- 1670245 cpu_core_0 "55.00000000000001".
- 1670576 cpu_core_0 "55.00000000000001".
- 1672179 cpu_core_0 "55.00000000000001".
- 1675238 cpu_core_0 "55.00000000000001".
- 1675390 cpu_core_0 "55.00000000000001".
- 1675429 cpu_core_0 "55.00000000000001".
- 1675583 cpu_core_0 "55.00000000000001".
- 1675639 cpu_core_0 "55.00000000000001".
- 1675651 cpu_core_0 "55.00000000000001".
- 1675682 cpu_core_0 "55.00000000000001".
- 1675695 cpu_core_0 "55.00000000000001".
- 1675746 cpu_core_0 "55.00000000000001".
- 1675822 cpu_core_0 "55.00000000000001".
- 1675835 cpu_core_0 "55.00000000000001".
- 1675877 cpu_core_0 "55.00000000000001".
- 1675910 cpu_core_0 "55.00000000000001".
- 1675949 cpu_core_0 "55.00000000000001".
- 1676018 cpu_core_0 "55.00000000000001".
- 1676033 cpu_core_0 "55.00000000000001".
- 1676052 cpu_core_0 "55.00000000000001".
- 1676101 cpu_core_0 "55.00000000000001".
- 1676490 cpu_core_0 "55.00000000000001".
- 1676664 cpu_core_0 "55.00000000000001".
- 1676704 cpu_core_0 "55.00000000000001".
- 1676719 cpu_core_0 "55.00000000000001".
- 1676733 cpu_core_0 "55.00000000000001".
- 1676734 cpu_core_0 "55.00000000000001".
- 1676780 cpu_core_0 "55.00000000000001".
- 1677067 cpu_core_0 "55.00000000000001".
- 1677705 cpu_core_0 "55.00000000000001".
- 1677888 cpu_core_0 "55.00000000000001".
- 1677933 cpu_core_0 "55.00000000000001".
- 1678311 cpu_core_0 "55.00000000000001".
- 1678320 cpu_core_0 "55.00000000000001".
- 1678562 cpu_core_0 "55.00000000000001".
- 1678564 cpu_core_0 "55.00000000000001".
- 1678577 cpu_core_0 "55.00000000000001".
- 1678589 cpu_core_0 "55.00000000000001".
- 1678591 cpu_core_0 "55.00000000000001".
- 1678592 cpu_core_0 "55.00000000000001".
- 1678622 cpu_core_0 "55.00000000000001".
- 1678653 cpu_core_0 "55.00000000000001".
- 1678693 cpu_core_0 "55.00000000000001".
- 1678697 cpu_core_0 "55.00000000000001".
- 1678707 cpu_core_0 "55.00000000000001".
- 1678710 cpu_core_0 "55.00000000000001".
- 1678767 cpu_core_0 "55.00000000000001".
- 1678769 cpu_core_0 "55.00000000000001".
- 1679104 cpu_core_0 "55.00000000000001".
- 1679146 cpu_core_0 "55.00000000000001".
- 1679242 cpu_core_0 "55.00000000000001".
- 1679320 cpu_core_0 "55.00000000000001".
- 1679380 cpu_core_0 "55.00000000000001".
- 1679406 cpu_core_0 "55.00000000000001".
- 1679506 cpu_core_0 "55.00000000000001".
- 1679568 cpu_core_0 "55.00000000000001".
- 1679791 cpu_core_0 "55.00000000000001".
- 1679803 cpu_core_0 "55.00000000000001".
- 1680022 cpu_core_0 "55.00000000000001".
- 1680055 cpu_core_0 "55.00000000000001".
- 1680090 cpu_core_0 "55.00000000000001".
- 1680157 cpu_core_0 "55.00000000000001".
- 1680171 cpu_core_0 "55.00000000000001".
- 1680174 cpu_core_0 "55.00000000000001".
- 1680232 cpu_core_0 "55.00000000000001".
- 1680233 cpu_core_0 "55.00000000000001".
- 1680290 cpu_core_0 "55.00000000000001".
- 1680365 cpu_core_0 "55.00000000000001".
- 1680385 cpu_core_0 "55.00000000000001".
- 1680421 cpu_core_0 "55.00000000000001".
- 1680490 cpu_core_0 "55.00000000000001".
- 1680561 cpu_core_0 "55.00000000000001".
- 1680591 cpu_core_0 "55.00000000000001".
- 1680615 cpu_core_0 "55.00000000000001".
- 1680639 cpu_core_0 "55.00000000000001".
- 1680680 cpu_core_0 "55.00000000000001".
- 1680807 cpu_core_0 "55.00000000000001".
- 1681090 cpu_core_0 "55.00000000000001".
- 1681226 cpu_core_0 "55.00000000000001".
- 1681416 cpu_core_0 "55.00000000000001".
- 1681549 cpu_core_0 "55.00000000000001".
- 1681599 cpu_core_0 "55.00000000000001".
- 1681669 cpu_core_0 "55.00000000000001".
- 1681702 cpu_core_0 "55.00000000000001".
- 1681853 cpu_core_0 "55.00000000000001".
- 1681860 cpu_core_0 "55.00000000000001".
- 1681991 cpu_core_0 "55.00000000000001".
- 1682217 cpu_core_0 "55.00000000000001".
- 1682230 cpu_core_0 "55.00000000000001".
- 1682235 cpu_core_0 "55.00000000000001".
- 1682268 cpu_core_0 "55.00000000000001".
- 1682277 cpu_core_0 "55.00000000000001".