Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1550856 cpu_core_0 "6.9306930693069315".
- 1550858 cpu_core_0 "6.9306930693069315".
- 1551241 cpu_core_0 "6.9306930693069315".
- 1551381 cpu_core_0 "6.9306930693069315".
- 1552361 cpu_core_0 "6.9306930693069315".
- 1552856 cpu_core_0 "6.9306930693069315".
- 1553776 cpu_core_0 "6.9306930693069315".
- 1553815 cpu_core_0 "6.9306930693069315".
- 1554266 cpu_core_0 "6.9306930693069315".
- 1555810 cpu_core_0 "6.9306930693069315".
- 1557921 cpu_core_0 "6.9306930693069315".
- 1559261 cpu_core_0 "6.9306930693069315".
- 1559335 cpu_core_0 "6.9306930693069315".
- 1559822 cpu_core_0 "6.9306930693069315".
- 1560023 cpu_core_0 "6.9306930693069315".
- 1560308 cpu_core_0 "6.9306930693069315".
- 1560671 cpu_core_0 "6.9306930693069315".
- 1560867 cpu_core_0 "6.9306930693069315".
- 1561105 cpu_core_0 "6.9306930693069315".
- 1561111 cpu_core_0 "6.9306930693069315".
- 1561271 cpu_core_0 "6.9306930693069315".
- 1562242 cpu_core_0 "6.9306930693069315".
- 1562420 cpu_core_0 "6.9306930693069315".
- 1562666 cpu_core_0 "6.9306930693069315".
- 1563802 cpu_core_0 "6.9306930693069315".
- 1564976 cpu_core_0 "6.9306930693069315".
- 1565456 cpu_core_0 "6.9306930693069315".
- 1566309 cpu_core_0 "6.9306930693069315".
- 1566589 cpu_core_0 "6.9306930693069315".
- 1567129 cpu_core_0 "6.9306930693069315".
- 1567633 cpu_core_0 "6.9306930693069315".
- 1567972 cpu_core_0 "6.9306930693069315".
- 1567989 cpu_core_0 "6.9306930693069315".
- 1568007 cpu_core_0 "6.9306930693069315".
- 1568215 cpu_core_0 "6.9306930693069315".
- 1568364 cpu_core_0 "6.9306930693069315".
- 1570259 cpu_core_0 "6.9306930693069315".
- 1570849 cpu_core_0 "6.9306930693069315".
- 1572180 cpu_core_0 "6.9306930693069315".
- 1572627 cpu_core_0 "6.9306930693069315".
- 1573006 cpu_core_0 "6.9306930693069315".
- 1573751 cpu_core_0 "6.9306930693069315".
- 1575304 cpu_core_0 "6.9306930693069315".
- 1576873 cpu_core_0 "6.9306930693069315".
- 1577222 cpu_core_0 "6.9306930693069315".
- 1579017 cpu_core_0 "6.9306930693069315".
- 1579896 cpu_core_0 "6.9306930693069315".
- 1579933 cpu_core_0 "6.9306930693069315".
- 1580071 cpu_core_0 "6.9306930693069315".
- 1580165 cpu_core_0 "6.9306930693069315".
- 1580592 cpu_core_0 "6.9306930693069315".
- 1581106 cpu_core_0 "6.9306930693069315".
- 1581431 cpu_core_0 "6.9306930693069315".
- 1581768 cpu_core_0 "6.9306930693069315".
- 1584732 cpu_core_0 "6.9306930693069315".
- 1586469 cpu_core_0 "6.9306930693069315".
- 1586760 cpu_core_0 "6.9306930693069315".
- 1586960 cpu_core_0 "6.9306930693069315".
- 1587358 cpu_core_0 "6.9306930693069315".
- 1587402 cpu_core_0 "6.9306930693069315".
- 1590269 cpu_core_0 "6.9306930693069315".
- 1592384 cpu_core_0 "6.9306930693069315".
- 1592518 cpu_core_0 "6.9306930693069315".
- 1593139 cpu_core_0 "6.9306930693069315".
- 1594150 cpu_core_0 "6.9306930693069315".
- 1594664 cpu_core_0 "6.9306930693069315".
- 1595687 cpu_core_0 "6.9306930693069315".
- 1595975 cpu_core_0 "6.9306930693069315".
- 1596093 cpu_core_0 "6.9306930693069315".
- 1596340 cpu_core_0 "6.9306930693069315".
- 1596932 cpu_core_0 "6.9306930693069315".
- 1597400 cpu_core_0 "6.9306930693069315".
- 1597585 cpu_core_0 "6.9306930693069315".
- 1597657 cpu_core_0 "6.9306930693069315".
- 1598403 cpu_core_0 "6.9306930693069315".
- 1598787 cpu_core_0 "6.9306930693069315".
- 1599202 cpu_core_0 "6.9306930693069315".
- 1600044 cpu_core_0 "6.9306930693069315".
- 1600215 cpu_core_0 "6.9306930693069315".
- 1602882 cpu_core_0 "6.9306930693069315".
- 1603006 cpu_core_0 "6.9306930693069315".
- 1604450 cpu_core_0 "6.9306930693069315".
- 1604533 cpu_core_0 "6.9306930693069315".
- 1604576 cpu_core_0 "6.9306930693069315".
- 1605636 cpu_core_0 "6.9306930693069315".
- 1606209 cpu_core_0 "6.9306930693069315".
- 1607752 cpu_core_0 "6.9306930693069315".
- 1607969 cpu_core_0 "6.9306930693069315".
- 1610072 cpu_core_0 "6.9306930693069315".
- 1610457 cpu_core_0 "6.9306930693069315".
- 1611419 cpu_core_0 "6.9306930693069315".
- 1611790 cpu_core_0 "6.9306930693069315".
- 1612296 cpu_core_0 "6.9306930693069315".
- 1613790 cpu_core_0 "6.9306930693069315".
- 1614379 cpu_core_0 "6.9306930693069315".
- 1616153 cpu_core_0 "6.9306930693069315".
- 1616634 cpu_core_0 "6.9306930693069315".
- 1619376 cpu_core_0 "6.9306930693069315".
- 1619900 cpu_core_0 "6.9306930693069315".
- 1620027 cpu_core_0 "6.9306930693069315".