Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1469426 cpu_core_0 "6.9306930693069315".
- 1470225 cpu_core_0 "6.9306930693069315".
- 1471501 cpu_core_0 "6.9306930693069315".
- 1471837 cpu_core_0 "6.9306930693069315".
- 1472551 cpu_core_0 "6.9306930693069315".
- 1473393 cpu_core_0 "6.9306930693069315".
- 1474372 cpu_core_0 "6.9306930693069315".
- 1474695 cpu_core_0 "6.9306930693069315".
- 1474708 cpu_core_0 "6.9306930693069315".
- 1475207 cpu_core_0 "6.9306930693069315".
- 1475327 cpu_core_0 "6.9306930693069315".
- 1475579 cpu_core_0 "6.9306930693069315".
- 1476477 cpu_core_0 "6.9306930693069315".
- 1477152 cpu_core_0 "6.9306930693069315".
- 1477706 cpu_core_0 "6.9306930693069315".
- 1477768 cpu_core_0 "6.9306930693069315".
- 1477815 cpu_core_0 "6.9306930693069315".
- 1478269 cpu_core_0 "6.9306930693069315".
- 1480806 cpu_core_0 "6.9306930693069315".
- 1481043 cpu_core_0 "6.9306930693069315".
- 1481745 cpu_core_0 "6.9306930693069315".
- 1482303 cpu_core_0 "6.9306930693069315".
- 1482352 cpu_core_0 "6.9306930693069315".
- 1482463 cpu_core_0 "6.9306930693069315".
- 1483022 cpu_core_0 "6.9306930693069315".
- 1483168 cpu_core_0 "6.9306930693069315".
- 1484536 cpu_core_0 "6.9306930693069315".
- 1485361 cpu_core_0 "6.9306930693069315".
- 1485444 cpu_core_0 "6.9306930693069315".
- 1488271 cpu_core_0 "6.9306930693069315".
- 1489471 cpu_core_0 "6.9306930693069315".
- 1489621 cpu_core_0 "6.9306930693069315".
- 1491257 cpu_core_0 "6.9306930693069315".
- 1492147 cpu_core_0 "6.9306930693069315".
- 1492816 cpu_core_0 "6.9306930693069315".
- 1493100 cpu_core_0 "6.9306930693069315".
- 1493627 cpu_core_0 "6.9306930693069315".
- 1495149 cpu_core_0 "6.9306930693069315".
- 1495603 cpu_core_0 "6.9306930693069315".
- 1495766 cpu_core_0 "6.9306930693069315".
- 1496278 cpu_core_0 "6.9306930693069315".
- 1496987 cpu_core_0 "6.9306930693069315".
- 1498797 cpu_core_0 "6.9306930693069315".
- 1499631 cpu_core_0 "6.9306930693069315".
- 1501656 cpu_core_0 "6.9306930693069315".
- 1502075 cpu_core_0 "6.9306930693069315".
- 1502559 cpu_core_0 "6.9306930693069315".
- 1503110 cpu_core_0 "6.9306930693069315".
- 1504864 cpu_core_0 "6.9306930693069315".
- 1505077 cpu_core_0 "6.9306930693069315".
- 1505760 cpu_core_0 "6.9306930693069315".
- 1507075 cpu_core_0 "6.9306930693069315".
- 1507641 cpu_core_0 "6.9306930693069315".
- 1508352 cpu_core_0 "6.9306930693069315".
- 1511064 cpu_core_0 "6.9306930693069315".
- 1511133 cpu_core_0 "6.9306930693069315".
- 1511645 cpu_core_0 "6.9306930693069315".
- 1511798 cpu_core_0 "6.9306930693069315".
- 1512125 cpu_core_0 "6.9306930693069315".
- 1513281 cpu_core_0 "6.9306930693069315".
- 1513602 cpu_core_0 "6.9306930693069315".
- 1514089 cpu_core_0 "6.9306930693069315".
- 1514236 cpu_core_0 "6.9306930693069315".
- 1515629 cpu_core_0 "6.9306930693069315".
- 1515954 cpu_core_0 "6.9306930693069315".
- 1516059 cpu_core_0 "6.9306930693069315".
- 1516780 cpu_core_0 "6.9306930693069315".
- 1517960 cpu_core_0 "6.9306930693069315".
- 1521206 cpu_core_0 "6.9306930693069315".
- 1521255 cpu_core_0 "6.9306930693069315".
- 1522710 cpu_core_0 "6.9306930693069315".
- 1523385 cpu_core_0 "6.9306930693069315".
- 1523730 cpu_core_0 "6.9306930693069315".
- 1525201 cpu_core_0 "6.9306930693069315".
- 1526172 cpu_core_0 "6.9306930693069315".
- 1527426 cpu_core_0 "6.9306930693069315".
- 1528138 cpu_core_0 "6.9306930693069315".
- 1531040 cpu_core_0 "6.9306930693069315".
- 1531756 cpu_core_0 "6.9306930693069315".
- 1532908 cpu_core_0 "6.9306930693069315".
- 1533020 cpu_core_0 "6.9306930693069315".
- 1533957 cpu_core_0 "6.9306930693069315".
- 1536579 cpu_core_0 "6.9306930693069315".
- 1537631 cpu_core_0 "6.9306930693069315".
- 1537752 cpu_core_0 "6.9306930693069315".
- 1538020 cpu_core_0 "6.9306930693069315".
- 1538543 cpu_core_0 "6.9306930693069315".
- 1539844 cpu_core_0 "6.9306930693069315".
- 1540110 cpu_core_0 "6.9306930693069315".
- 1541244 cpu_core_0 "6.9306930693069315".
- 1541358 cpu_core_0 "6.9306930693069315".
- 1542666 cpu_core_0 "6.9306930693069315".
- 1543020 cpu_core_0 "6.9306930693069315".
- 1543891 cpu_core_0 "6.9306930693069315".
- 1544337 cpu_core_0 "6.9306930693069315".
- 1545746 cpu_core_0 "6.9306930693069315".
- 1545758 cpu_core_0 "6.9306930693069315".
- 1547005 cpu_core_0 "6.9306930693069315".
- 1549830 cpu_core_0 "6.9306930693069315".
- 1550198 cpu_core_0 "6.9306930693069315".