Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1542980 cpu_core_1 "12.745098039215685".
- 1544410 cpu_core_1 "12.745098039215685".
- 1544616 cpu_core_1 "12.745098039215685".
- 1544799 cpu_core_1 "12.745098039215685".
- 1545286 cpu_core_1 "12.745098039215685".
- 1552395 cpu_core_1 "12.745098039215685".
- 1554523 cpu_core_1 "12.745098039215685".
- 1555218 cpu_core_1 "12.745098039215685".
- 1555390 cpu_core_1 "12.745098039215685".
- 1557314 cpu_core_1 "12.745098039215685".
- 1558062 cpu_core_1 "12.745098039215685".
- 1559121 cpu_core_1 "12.745098039215685".
- 1559359 cpu_core_1 "12.745098039215685".
- 1561192 cpu_core_1 "12.745098039215685".
- 1563328 cpu_core_1 "12.745098039215685".
- 1563856 cpu_core_1 "12.745098039215685".
- 1565576 cpu_core_1 "12.745098039215685".
- 1566503 cpu_core_1 "12.745098039215685".
- 1566560 cpu_core_1 "12.745098039215685".
- 1567792 cpu_core_1 "12.745098039215685".
- 1568741 cpu_core_1 "12.745098039215685".
- 1570380 cpu_core_1 "12.745098039215685".
- 1570627 cpu_core_1 "12.745098039215685".
- 1572547 cpu_core_1 "12.745098039215685".
- 1574133 cpu_core_1 "12.745098039215685".
- 1574233 cpu_core_1 "12.745098039215685".
- 1574638 cpu_core_1 "12.745098039215685".
- 1574937 cpu_core_1 "12.745098039215685".
- 1575649 cpu_core_1 "12.745098039215685".
- 1577566 cpu_core_1 "12.745098039215685".
- 1579002 cpu_core_1 "12.745098039215685".
- 1579942 cpu_core_1 "12.745098039215685".
- 1580124 cpu_core_1 "12.745098039215685".
- 1580784 cpu_core_1 "12.745098039215685".
- 1581058 cpu_core_1 "12.745098039215685".
- 1582161 cpu_core_1 "12.745098039215685".
- 1582831 cpu_core_1 "12.745098039215685".
- 1589212 cpu_core_1 "12.745098039215685".
- 1589601 cpu_core_1 "12.745098039215685".
- 1589642 cpu_core_1 "12.745098039215685".
- 1591761 cpu_core_1 "12.745098039215685".
- 1592748 cpu_core_1 "12.745098039215685".
- 1598489 cpu_core_1 "12.745098039215685".
- 1598860 cpu_core_1 "12.745098039215685".
- 1602327 cpu_core_1 "12.745098039215685".
- 1607567 cpu_core_1 "12.745098039215685".
- 1611872 cpu_core_1 "12.745098039215685".
- 1612990 cpu_core_1 "12.745098039215685".
- 1613356 cpu_core_1 "12.745098039215685".
- 1614556 cpu_core_1 "12.745098039215685".
- 1615054 cpu_core_1 "12.745098039215685".
- 1617679 cpu_core_1 "12.745098039215685".
- 1618224 cpu_core_1 "12.745098039215685".
- 1619592 cpu_core_1 "12.745098039215685".
- 1619604 cpu_core_1 "12.745098039215685".
- 1619932 cpu_core_1 "12.745098039215685".
- 1623778 cpu_core_1 "12.745098039215685".
- 1625356 cpu_core_1 "12.745098039215685".
- 1625951 cpu_core_1 "12.745098039215685".
- 1626811 cpu_core_1 "12.745098039215685".
- 1628568 cpu_core_1 "12.745098039215685".
- 1628617 cpu_core_1 "12.745098039215685".
- 1628827 cpu_core_1 "12.745098039215685".
- 1628868 cpu_core_1 "12.745098039215685".
- 1631084 cpu_core_1 "12.745098039215685".
- 1632357 cpu_core_1 "12.745098039215685".
- 1632584 cpu_core_1 "12.745098039215685".
- 1632704 cpu_core_1 "12.745098039215685".
- 1633291 cpu_core_1 "12.745098039215685".
- 1633603 cpu_core_1 "12.745098039215685".
- 1634654 cpu_core_1 "12.745098039215685".
- 1635399 cpu_core_1 "12.745098039215685".
- 1636212 cpu_core_1 "12.745098039215685".
- 1636673 cpu_core_1 "12.745098039215685".
- 1646456 cpu_core_1 "12.745098039215685".
- 1658356 cpu_core_1 "12.745098039215685".
- 1661432 cpu_core_1 "12.745098039215685".
- 1661608 cpu_core_1 "12.745098039215685".
- 1671040 cpu_core_1 "12.745098039215685".
- 1671321 cpu_core_1 "12.745098039215685".
- 1680944 cpu_core_1 "12.745098039215685".
- 1684155 cpu_core_1 "12.745098039215685".
- 1713064 cpu_core_1 "12.745098039215685".
- 1713398 cpu_core_1 "12.745098039215685".
- 1713418 cpu_core_1 "12.745098039215685".
- 1715602 cpu_core_1 "12.745098039215685".
- 1715671 cpu_core_1 "12.745098039215685".
- 1716141 cpu_core_1 "12.745098039215685".
- 1716442 cpu_core_1 "12.745098039215685".
- 1721202 cpu_core_1 "12.745098039215685".
- 1723773 cpu_core_1 "12.745098039215685".
- 1725307 cpu_core_1 "12.745098039215685".
- 1725726 cpu_core_1 "12.745098039215685".
- 1727140 cpu_core_1 "12.745098039215685".
- 1729586 cpu_core_1 "12.745098039215685".
- 1730248 cpu_core_1 "12.745098039215685".
- 1730821 cpu_core_1 "12.745098039215685".
- 1731098 cpu_core_1 "12.745098039215685".
- 1731124 cpu_core_1 "12.745098039215685".
- 1731954 cpu_core_1 "12.745098039215685".