Matches in ISWC2014 Benchmark for { ?s ?p 58.00000000000001. }
- 1658153 cpu_core_0 "58.00000000000001".
- 1658180 cpu_core_0 "58.00000000000001".
- 1658481 cpu_core_0 "58.00000000000001".
- 1658557 cpu_core_0 "58.00000000000001".
- 1658582 cpu_core_0 "58.00000000000001".
- 1658679 cpu_core_0 "58.00000000000001".
- 1659097 cpu_core_0 "58.00000000000001".
- 1659574 cpu_core_0 "58.00000000000001".
- 1660176 cpu_core_0 "58.00000000000001".
- 1660188 cpu_core_0 "58.00000000000001".
- 1660207 cpu_core_0 "58.00000000000001".
- 1660260 cpu_core_0 "58.00000000000001".
- 1660455 cpu_core_0 "58.00000000000001".
- 1660513 cpu_core_0 "58.00000000000001".
- 1660760 cpu_core_0 "58.00000000000001".
- 1660766 cpu_core_0 "58.00000000000001".
- 1660893 cpu_core_0 "58.00000000000001".
- 1661389 cpu_core_0 "58.00000000000001".
- 1661408 cpu_core_0 "58.00000000000001".
- 1661622 cpu_core_0 "58.00000000000001".
- 1662166 cpu_core_0 "58.00000000000001".
- 1662212 cpu_core_0 "58.00000000000001".
- 1662298 cpu_core_0 "58.00000000000001".
- 1662341 cpu_core_0 "58.00000000000001".
- 1662342 cpu_core_0 "58.00000000000001".
- 1662577 cpu_core_0 "58.00000000000001".
- 1662624 cpu_core_0 "58.00000000000001".
- 1662651 cpu_core_0 "58.00000000000001".
- 1662706 cpu_core_0 "58.00000000000001".
- 1662787 cpu_core_0 "58.00000000000001".
- 1662928 cpu_core_0 "58.00000000000001".
- 1663091 cpu_core_0 "58.00000000000001".
- 1663185 cpu_core_0 "58.00000000000001".
- 1663250 cpu_core_0 "58.00000000000001".
- 1663254 cpu_core_0 "58.00000000000001".
- 1663455 cpu_core_0 "58.00000000000001".
- 1663812 cpu_core_0 "58.00000000000001".
- 1664425 cpu_core_0 "58.00000000000001".
- 1664449 cpu_core_0 "58.00000000000001".
- 1664474 cpu_core_0 "58.00000000000001".
- 1664512 cpu_core_0 "58.00000000000001".
- 1664530 cpu_core_0 "58.00000000000001".
- 1664553 cpu_core_0 "58.00000000000001".
- 1664564 cpu_core_0 "58.00000000000001".
- 1664889 cpu_core_0 "58.00000000000001".
- 1665012 cpu_core_0 "58.00000000000001".
- 1665167 cpu_core_0 "58.00000000000001".
- 1665269 cpu_core_0 "58.00000000000001".
- 1665296 cpu_core_0 "58.00000000000001".
- 1665680 cpu_core_0 "58.00000000000001".
- 1665691 cpu_core_0 "58.00000000000001".
- 1665762 cpu_core_0 "58.00000000000001".
- 1665771 cpu_core_0 "58.00000000000001".
- 1665802 cpu_core_0 "58.00000000000001".
- 1666327 cpu_core_0 "58.00000000000001".
- 1666830 cpu_core_0 "58.00000000000001".
- 1666958 cpu_core_0 "58.00000000000001".
- 1667235 cpu_core_0 "58.00000000000001".
- 1667252 cpu_core_0 "58.00000000000001".
- 1667313 cpu_core_0 "58.00000000000001".
- 1667428 cpu_core_0 "58.00000000000001".
- 1667507 cpu_core_0 "58.00000000000001".
- 1667727 cpu_core_0 "58.00000000000001".
- 1668032 cpu_core_0 "58.00000000000001".
- 1668240 cpu_core_0 "58.00000000000001".
- 1668258 cpu_core_0 "58.00000000000001".
- 1668271 cpu_core_0 "58.00000000000001".
- 1668353 cpu_core_0 "58.00000000000001".
- 1668423 cpu_core_0 "58.00000000000001".
- 1668456 cpu_core_0 "58.00000000000001".
- 1668574 cpu_core_0 "58.00000000000001".
- 1669292 cpu_core_0 "58.00000000000001".
- 1669425 cpu_core_0 "58.00000000000001".
- 1669511 cpu_core_0 "58.00000000000001".
- 1669570 cpu_core_0 "58.00000000000001".
- 1675357 cpu_core_0 "58.00000000000001".
- 1675554 cpu_core_0 "58.00000000000001".
- 1675654 cpu_core_0 "58.00000000000001".
- 1675703 cpu_core_0 "58.00000000000001".
- 1675719 cpu_core_0 "58.00000000000001".
- 1677169 cpu_core_0 "58.00000000000001".
- 1677408 cpu_core_0 "58.00000000000001".
- 1677707 cpu_core_0 "58.00000000000001".
- 1677814 cpu_core_0 "58.00000000000001".
- 1677843 cpu_core_0 "58.00000000000001".
- 1677857 cpu_core_0 "58.00000000000001".
- 1678077 cpu_core_0 "58.00000000000001".
- 1678291 cpu_core_0 "58.00000000000001".
- 1678548 cpu_core_0 "58.00000000000001".
- 1678642 cpu_core_0 "58.00000000000001".
- 1678963 cpu_core_0 "58.00000000000001".
- 1680042 cpu_core_0 "58.00000000000001".
- 1680803 cpu_core_0 "58.00000000000001".
- 1681070 cpu_core_0 "58.00000000000001".
- 1681412 cpu_core_0 "58.00000000000001".
- 1681491 cpu_core_0 "58.00000000000001".
- 1681551 cpu_core_0 "58.00000000000001".
- 1681560 cpu_core_0 "58.00000000000001".
- 1682833 cpu_core_0 "58.00000000000001".
- 1682907 cpu_core_0 "58.00000000000001".