Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1634972 cpu_core_0 "13.26530612244898".
- 1634981 cpu_core_0 "13.26530612244898".
- 1635378 cpu_core_0 "13.26530612244898".
- 1636310 cpu_core_0 "13.26530612244898".
- 1636695 cpu_core_0 "13.26530612244898".
- 1637555 cpu_core_0 "13.26530612244898".
- 1639069 cpu_core_0 "13.26530612244898".
- 1643708 cpu_core_0 "13.26530612244898".
- 1644760 cpu_core_0 "13.26530612244898".
- 1646361 cpu_core_0 "13.26530612244898".
- 1646366 cpu_core_0 "13.26530612244898".
- 1646432 cpu_core_0 "13.26530612244898".
- 1646435 cpu_core_0 "13.26530612244898".
- 1646465 cpu_core_0 "13.26530612244898".
- 1647221 cpu_core_0 "13.26530612244898".
- 1647452 cpu_core_0 "13.26530612244898".
- 1647574 cpu_core_0 "13.26530612244898".
- 1647595 cpu_core_0 "13.26530612244898".
- 1647604 cpu_core_0 "13.26530612244898".
- 1647875 cpu_core_0 "13.26530612244898".
- 1647885 cpu_core_0 "13.26530612244898".
- 1648485 cpu_core_0 "13.26530612244898".
- 1649070 cpu_core_0 "13.26530612244898".
- 1649393 cpu_core_0 "13.26530612244898".
- 1649468 cpu_core_0 "13.26530612244898".
- 1649520 cpu_core_0 "13.26530612244898".
- 1649623 cpu_core_0 "13.26530612244898".
- 1649633 cpu_core_0 "13.26530612244898".
- 1649643 cpu_core_0 "13.26530612244898".
- 1650383 cpu_core_0 "13.26530612244898".
- 1650537 cpu_core_0 "13.26530612244898".
- 1650576 cpu_core_0 "13.26530612244898".
- 1650764 cpu_core_0 "13.26530612244898".
- 1651106 cpu_core_0 "13.26530612244898".
- 1651371 cpu_core_0 "13.26530612244898".
- 1651441 cpu_core_0 "13.26530612244898".
- 1651503 cpu_core_0 "13.26530612244898".
- 1652110 cpu_core_0 "13.26530612244898".
- 1652332 cpu_core_0 "13.26530612244898".
- 1652379 cpu_core_0 "13.26530612244898".
- 1652634 cpu_core_0 "13.26530612244898".
- 1652683 cpu_core_0 "13.26530612244898".
- 1652854 cpu_core_0 "13.26530612244898".
- 1653268 cpu_core_0 "13.26530612244898".
- 1653641 cpu_core_0 "13.26530612244898".
- 1653965 cpu_core_0 "13.26530612244898".
- 1654233 cpu_core_0 "13.26530612244898".
- 1654449 cpu_core_0 "13.26530612244898".
- 1654450 cpu_core_0 "13.26530612244898".
- 1657176 cpu_core_0 "13.26530612244898".
- 16573 cpu_core_0 "13.26530612244898".
- 1659573 cpu_core_0 "13.26530612244898".
- 1668056 cpu_core_0 "13.26530612244898".
- 1668822 cpu_core_0 "13.26530612244898".
- 1670956 cpu_core_0 "13.26530612244898".
- 1671140 cpu_core_0 "13.26530612244898".
- 1671494 cpu_core_0 "13.26530612244898".
- 1671843 cpu_core_0 "13.26530612244898".
- 1673227 cpu_core_0 "13.26530612244898".
- 1674275 cpu_core_0 "13.26530612244898".
- 1674461 cpu_core_0 "13.26530612244898".
- 1674865 cpu_core_0 "13.26530612244898".
- 1674991 cpu_core_0 "13.26530612244898".
- 1679893 cpu_core_0 "13.26530612244898".
- 1686588 cpu_core_0 "13.26530612244898".
- 1692346 cpu_core_0 "13.26530612244898".
- 1693965 cpu_core_0 "13.26530612244898".
- 1694323 cpu_core_0 "13.26530612244898".
- 1694330 cpu_core_0 "13.26530612244898".
- 1694363 cpu_core_0 "13.26530612244898".
- 1694382 cpu_core_0 "13.26530612244898".
- 1694419 cpu_core_0 "13.26530612244898".
- 1694478 cpu_core_0 "13.26530612244898".
- 1694510 cpu_core_0 "13.26530612244898".
- 1698320 cpu_core_0 "13.26530612244898".
- 1711436 cpu_core_0 "13.26530612244898".
- 1711456 cpu_core_0 "13.26530612244898".
- 1711477 cpu_core_0 "13.26530612244898".
- 1711720 cpu_core_0 "13.26530612244898".
- 1713135 cpu_core_0 "13.26530612244898".
- 1713208 cpu_core_0 "13.26530612244898".
- 1713393 cpu_core_0 "13.26530612244898".
- 1713426 cpu_core_0 "13.26530612244898".
- 1713432 cpu_core_0 "13.26530612244898".
- 1713638 cpu_core_0 "13.26530612244898".
- 1713766 cpu_core_0 "13.26530612244898".
- 1713901 cpu_core_0 "13.26530612244898".
- 1713989 cpu_core_0 "13.26530612244898".
- 1714722 cpu_core_0 "13.26530612244898".
- 1715332 cpu_core_0 "13.26530612244898".
- 1715370 cpu_core_0 "13.26530612244898".
- 1715497 cpu_core_0 "13.26530612244898".
- 1715609 cpu_core_0 "13.26530612244898".
- 1715615 cpu_core_0 "13.26530612244898".
- 1715714 cpu_core_0 "13.26530612244898".
- 1715785 cpu_core_0 "13.26530612244898".
- 1715790 cpu_core_0 "13.26530612244898".
- 1716194 cpu_core_0 "13.26530612244898".
- 1716209 cpu_core_0 "13.26530612244898".
- 1717105 cpu_core_0 "13.26530612244898".