Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1658325 cpu_core_0 "55.00000000000001".
- 1658734 cpu_core_0 "55.00000000000001".
- 1658749 cpu_core_0 "55.00000000000001".
- 1658763 cpu_core_0 "55.00000000000001".
- 1658764 cpu_core_0 "55.00000000000001".
- 1658777 cpu_core_0 "55.00000000000001".
- 1658797 cpu_core_0 "55.00000000000001".
- 1658800 cpu_core_0 "55.00000000000001".
- 1658810 cpu_core_0 "55.00000000000001".
- 1658865 cpu_core_0 "55.00000000000001".
- 1659095 cpu_core_0 "55.00000000000001".
- 1659134 cpu_core_0 "55.00000000000001".
- 1659166 cpu_core_0 "55.00000000000001".
- 1659167 cpu_core_0 "55.00000000000001".
- 1659251 cpu_core_0 "55.00000000000001".
- 1659302 cpu_core_0 "55.00000000000001".
- 1659321 cpu_core_0 "55.00000000000001".
- 1659343 cpu_core_0 "55.00000000000001".
- 1659617 cpu_core_0 "55.00000000000001".
- 1659663 cpu_core_0 "55.00000000000001".
- 1659678 cpu_core_0 "55.00000000000001".
- 1659690 cpu_core_0 "55.00000000000001".
- 1659753 cpu_core_0 "55.00000000000001".
- 1659768 cpu_core_0 "55.00000000000001".
- 1659801 cpu_core_0 "55.00000000000001".
- 1659834 cpu_core_0 "55.00000000000001".
- 1659895 cpu_core_0 "55.00000000000001".
- 1659904 cpu_core_0 "55.00000000000001".
- 1660120 cpu_core_0 "55.00000000000001".
- 1660173 cpu_core_0 "55.00000000000001".
- 1660197 cpu_core_0 "55.00000000000001".
- 1660229 cpu_core_0 "55.00000000000001".
- 1660275 cpu_core_0 "55.00000000000001".
- 1660297 cpu_core_0 "55.00000000000001".
- 1660322 cpu_core_0 "55.00000000000001".
- 1660364 cpu_core_0 "55.00000000000001".
- 1660372 cpu_core_0 "55.00000000000001".
- 1660400 cpu_core_0 "55.00000000000001".
- 1660413 cpu_core_0 "55.00000000000001".
- 1660481 cpu_core_0 "55.00000000000001".
- 1660482 cpu_core_0 "55.00000000000001".
- 1660492 cpu_core_0 "55.00000000000001".
- 1660512 cpu_core_0 "55.00000000000001".
- 1660514 cpu_core_0 "55.00000000000001".
- 1660523 cpu_core_0 "55.00000000000001".
- 1660720 cpu_core_0 "55.00000000000001".
- 1660739 cpu_core_0 "55.00000000000001".
- 1660755 cpu_core_0 "55.00000000000001".
- 1660780 cpu_core_0 "55.00000000000001".
- 1660826 cpu_core_0 "55.00000000000001".
- 1661046 cpu_core_0 "55.00000000000001".
- 1661067 cpu_core_0 "55.00000000000001".
- 1661266 cpu_core_0 "55.00000000000001".
- 1661302 cpu_core_0 "55.00000000000001".
- 1661394 cpu_core_0 "55.00000000000001".
- 1661806 cpu_core_0 "55.00000000000001".
- 1661820 cpu_core_0 "55.00000000000001".
- 1661845 cpu_core_0 "55.00000000000001".
- 1661855 cpu_core_0 "55.00000000000001".
- 1661862 cpu_core_0 "55.00000000000001".
- 1661879 cpu_core_0 "55.00000000000001".
- 1661931 cpu_core_0 "55.00000000000001".
- 1661960 cpu_core_0 "55.00000000000001".
- 1662001 cpu_core_0 "55.00000000000001".
- 1662031 cpu_core_0 "55.00000000000001".
- 1662034 cpu_core_0 "55.00000000000001".
- 1662036 cpu_core_0 "55.00000000000001".
- 1662065 cpu_core_0 "55.00000000000001".
- 1662102 cpu_core_0 "55.00000000000001".
- 1662122 cpu_core_0 "55.00000000000001".
- 1662152 cpu_core_0 "55.00000000000001".
- 1662168 cpu_core_0 "55.00000000000001".
- 1662181 cpu_core_0 "55.00000000000001".
- 1662182 cpu_core_0 "55.00000000000001".
- 1662193 cpu_core_0 "55.00000000000001".
- 1662211 cpu_core_0 "55.00000000000001".
- 1662213 cpu_core_0 "55.00000000000001".
- 1662225 cpu_core_0 "55.00000000000001".
- 1662260 cpu_core_0 "55.00000000000001".
- 1662306 cpu_core_0 "55.00000000000001".
- 1662313 cpu_core_0 "55.00000000000001".
- 1662320 cpu_core_0 "55.00000000000001".
- 1662334 cpu_core_0 "55.00000000000001".
- 1662335 cpu_core_0 "55.00000000000001".
- 1662646 cpu_core_0 "55.00000000000001".
- 1662810 cpu_core_0 "55.00000000000001".
- 1662843 cpu_core_0 "55.00000000000001".
- 1662846 cpu_core_0 "55.00000000000001".
- 1662868 cpu_core_0 "55.00000000000001".
- 1662870 cpu_core_0 "55.00000000000001".
- 1662901 cpu_core_0 "55.00000000000001".
- 1662907 cpu_core_0 "55.00000000000001".
- 1662982 cpu_core_0 "55.00000000000001".
- 1663056 cpu_core_0 "55.00000000000001".
- 1663098 cpu_core_0 "55.00000000000001".
- 1663198 cpu_core_0 "55.00000000000001".
- 1663243 cpu_core_0 "55.00000000000001".
- 1663281 cpu_core_0 "55.00000000000001".
- 1663618 cpu_core_0 "55.00000000000001".
- 1663653 cpu_core_0 "55.00000000000001".