Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1545295 cpu_core_0 "3.061224489795918".
- 1545480 cpu_core_0 "3.061224489795918".
- 1547292 cpu_core_0 "3.061224489795918".
- 1547452 cpu_core_0 "3.061224489795918".
- 1547631 cpu_core_0 "3.061224489795918".
- 1547727 cpu_core_0 "3.061224489795918".
- 1549736 cpu_core_0 "3.061224489795918".
- 1551056 cpu_core_0 "3.061224489795918".
- 1551372 cpu_core_0 "3.061224489795918".
- 1551710 cpu_core_0 "3.061224489795918".
- 1552248 cpu_core_0 "3.061224489795918".
- 1553139 cpu_core_0 "3.061224489795918".
- 1553560 cpu_core_0 "3.061224489795918".
- 1553917 cpu_core_0 "3.061224489795918".
- 1555222 cpu_core_0 "3.061224489795918".
- 1555511 cpu_core_0 "3.061224489795918".
- 1556095 cpu_core_0 "3.061224489795918".
- 1557007 cpu_core_0 "3.061224489795918".
- 1557050 cpu_core_0 "3.061224489795918".
- 1559548 cpu_core_0 "3.061224489795918".
- 1559855 cpu_core_0 "3.061224489795918".
- 1561333 cpu_core_0 "3.061224489795918".
- 1562070 cpu_core_0 "3.061224489795918".
- 1562153 cpu_core_0 "3.061224489795918".
- 1562628 cpu_core_0 "3.061224489795918".
- 1562755 cpu_core_0 "3.061224489795918".
- 1563783 cpu_core_0 "3.061224489795918".
- 1563865 cpu_core_0 "3.061224489795918".
- 1564216 cpu_core_0 "3.061224489795918".
- 1564253 cpu_core_0 "3.061224489795918".
- 1564381 cpu_core_0 "3.061224489795918".
- 1565345 cpu_core_0 "3.061224489795918".
- 1566588 cpu_core_0 "3.061224489795918".
- 1566721 cpu_core_0 "3.061224489795918".
- 1566869 cpu_core_0 "3.061224489795918".
- 1566919 cpu_core_0 "3.061224489795918".
- 1567221 cpu_core_0 "3.061224489795918".
- 1567722 cpu_core_0 "3.061224489795918".
- 1569657 cpu_core_0 "3.061224489795918".
- 1570764 cpu_core_0 "3.061224489795918".
- 1571673 cpu_core_0 "3.061224489795918".
- 1573732 cpu_core_0 "3.061224489795918".
- 1573914 cpu_core_0 "3.061224489795918".
- 1574083 cpu_core_0 "3.061224489795918".
- 1574279 cpu_core_0 "3.061224489795918".
- 1575569 cpu_core_0 "3.061224489795918".
- 1575684 cpu_core_0 "3.061224489795918".
- 1577505 cpu_core_0 "3.061224489795918".
- 1578085 cpu_core_0 "3.061224489795918".
- 1578115 cpu_core_0 "3.061224489795918".
- 1579890 cpu_core_0 "3.061224489795918".
- 1580406 cpu_core_0 "3.061224489795918".
- 1581009 cpu_core_0 "3.061224489795918".
- 1581041 cpu_core_0 "3.061224489795918".
- 1581892 cpu_core_0 "3.061224489795918".
- 1583151 cpu_core_0 "3.061224489795918".
- 1584709 cpu_core_0 "3.061224489795918".
- 1585846 cpu_core_0 "3.061224489795918".
- 1587022 cpu_core_0 "3.061224489795918".
- 1587432 cpu_core_0 "3.061224489795918".
- 1588379 cpu_core_0 "3.061224489795918".
- 1589409 cpu_core_0 "3.061224489795918".
- 1589700 cpu_core_0 "3.061224489795918".
- 1590868 cpu_core_0 "3.061224489795918".
- 1591655 cpu_core_0 "3.061224489795918".
- 1592823 cpu_core_0 "3.061224489795918".
- 1594731 cpu_core_0 "3.061224489795918".
- 1594971 cpu_core_0 "3.061224489795918".
- 1595651 cpu_core_0 "3.061224489795918".
- 1596330 cpu_core_0 "3.061224489795918".
- 1596499 cpu_core_0 "3.061224489795918".
- 1596663 cpu_core_0 "3.061224489795918".
- 1597881 cpu_core_0 "3.061224489795918".
- 1598423 cpu_core_0 "3.061224489795918".
- 1599523 cpu_core_0 "3.061224489795918".
- 1601308 cpu_core_0 "3.061224489795918".
- 1601638 cpu_core_0 "3.061224489795918".
- 1602088 cpu_core_0 "3.061224489795918".
- 1602168 cpu_core_0 "3.061224489795918".
- 1602382 cpu_core_0 "3.061224489795918".
- 1603344 cpu_core_0 "3.061224489795918".
- 1603525 cpu_core_0 "3.061224489795918".
- 1604518 cpu_core_0 "3.061224489795918".
- 1605020 cpu_core_0 "3.061224489795918".
- 1605954 cpu_core_0 "3.061224489795918".
- 1606764 cpu_core_0 "3.061224489795918".
- 1607283 cpu_core_0 "3.061224489795918".
- 1609348 cpu_core_0 "3.061224489795918".
- 1609775 cpu_core_0 "3.061224489795918".
- 1611264 cpu_core_0 "3.061224489795918".
- 1612228 cpu_core_0 "3.061224489795918".
- 1612692 cpu_core_0 "3.061224489795918".
- 1613705 cpu_core_0 "3.061224489795918".
- 1613995 cpu_core_0 "3.061224489795918".
- 1614848 cpu_core_0 "3.061224489795918".
- 1615499 cpu_core_0 "3.061224489795918".
- 1615630 cpu_core_0 "3.061224489795918".
- 1616408 cpu_core_0 "3.061224489795918".
- 1616947 cpu_core_0 "3.061224489795918".
- 1618821 cpu_core_0 "3.061224489795918".