Matches in ISWC2014 Benchmark for { ?s ?p 6.9306930693069315. }
- 1451550 cpu_core_1 "6.9306930693069315".
- 1452594 cpu_core_1 "6.9306930693069315".
- 1453560 cpu_core_1 "6.9306930693069315".
- 1455828 cpu_core_1 "6.9306930693069315".
- 1462569 cpu_core_1 "6.9306930693069315".
- 1468021 cpu_core_1 "6.9306930693069315".
- 1469502 cpu_core_1 "6.9306930693069315".
- 1473666 cpu_core_1 "6.9306930693069315".
- 1476254 cpu_core_1 "6.9306930693069315".
- 1477573 cpu_core_1 "6.9306930693069315".
- 1480435 cpu_core_1 "6.9306930693069315".
- 1481461 cpu_core_1 "6.9306930693069315".
- 1482550 cpu_core_1 "6.9306930693069315".
- 1482674 cpu_core_1 "6.9306930693069315".
- 1483334 cpu_core_1 "6.9306930693069315".
- 1486521 cpu_core_1 "6.9306930693069315".
- 1487032 cpu_core_1 "6.9306930693069315".
- 1488483 cpu_core_1 "6.9306930693069315".
- 1488597 cpu_core_1 "6.9306930693069315".
- 1491393 cpu_core_1 "6.9306930693069315".
- 1494343 cpu_core_1 "6.9306930693069315".
- 1495117 cpu_core_1 "6.9306930693069315".
- 1497146 cpu_core_1 "6.9306930693069315".
- 1499038 cpu_core_1 "6.9306930693069315".
- 1500032 cpu_core_1 "6.9306930693069315".
- 1500553 cpu_core_1 "6.9306930693069315".
- 1502856 cpu_core_1 "6.9306930693069315".
- 1503684 cpu_core_1 "6.9306930693069315".
- 1506039 cpu_core_1 "6.9306930693069315".
- 1508718 cpu_core_1 "6.9306930693069315".
- 1513950 cpu_core_1 "6.9306930693069315".
- 1515260 cpu_core_1 "6.9306930693069315".
- 1515628 cpu_core_1 "6.9306930693069315".
- 1519922 cpu_core_1 "6.9306930693069315".
- 1521465 cpu_core_1 "6.9306930693069315".
- 1521877 cpu_core_1 "6.9306930693069315".
- 1523150 cpu_core_1 "6.9306930693069315".
- 1523666 cpu_core_1 "6.9306930693069315".
- 1524092 cpu_core_1 "6.9306930693069315".
- 1525948 cpu_core_1 "6.9306930693069315".
- 1529206 cpu_core_1 "6.9306930693069315".
- 1530303 cpu_core_1 "6.9306930693069315".
- 1530889 cpu_core_1 "6.9306930693069315".
- 1531107 cpu_core_1 "6.9306930693069315".
- 1531756 cpu_core_1 "6.9306930693069315".
- 1533171 cpu_core_1 "6.9306930693069315".
- 1534723 cpu_core_1 "6.9306930693069315".
- 1535379 cpu_core_1 "6.9306930693069315".
- 1536725 cpu_core_1 "6.9306930693069315".
- 1541913 cpu_core_1 "6.9306930693069315".
- 1542510 cpu_core_1 "6.9306930693069315".
- 1543452 cpu_core_1 "6.9306930693069315".
- 1543928 cpu_core_1 "6.9306930693069315".
- 1545821 cpu_core_1 "6.9306930693069315".
- 1547350 cpu_core_1 "6.9306930693069315".
- 1549241 cpu_core_1 "6.9306930693069315".
- 1550372 cpu_core_1 "6.9306930693069315".
- 1551358 cpu_core_1 "6.9306930693069315".
- 1553602 cpu_core_1 "6.9306930693069315".
- 1553710 cpu_core_1 "6.9306930693069315".
- 1555570 cpu_core_1 "6.9306930693069315".
- 1556869 cpu_core_1 "6.9306930693069315".
- 1557106 cpu_core_1 "6.9306930693069315".
- 1560773 cpu_core_1 "6.9306930693069315".
- 1562700 cpu_core_1 "6.9306930693069315".
- 1563382 cpu_core_1 "6.9306930693069315".
- 1563741 cpu_core_1 "6.9306930693069315".
- 1565153 cpu_core_1 "6.9306930693069315".
- 1565447 cpu_core_1 "6.9306930693069315".
- 1566169 cpu_core_1 "6.9306930693069315".
- 1569074 cpu_core_1 "6.9306930693069315".
- 1570832 cpu_core_1 "6.9306930693069315".
- 1573264 cpu_core_1 "6.9306930693069315".
- 1573467 cpu_core_1 "6.9306930693069315".
- 1575524 cpu_core_1 "6.9306930693069315".
- 1580232 cpu_core_1 "6.9306930693069315".
- 1580762 cpu_core_1 "6.9306930693069315".
- 1585088 cpu_core_1 "6.9306930693069315".
- 1585624 cpu_core_1 "6.9306930693069315".
- 1586398 cpu_core_1 "6.9306930693069315".
- 1586880 cpu_core_1 "6.9306930693069315".
- 1587385 cpu_core_1 "6.9306930693069315".
- 1587501 cpu_core_1 "6.9306930693069315".
- 1588559 cpu_core_1 "6.9306930693069315".
- 1589413 cpu_core_1 "6.9306930693069315".
- 1589975 cpu_core_1 "6.9306930693069315".
- 1592993 cpu_core_1 "6.9306930693069315".
- 1593100 cpu_core_1 "6.9306930693069315".
- 1593427 cpu_core_1 "6.9306930693069315".
- 1596623 cpu_core_1 "6.9306930693069315".
- 1596933 cpu_core_1 "6.9306930693069315".
- 1597798 cpu_core_1 "6.9306930693069315".
- 1599384 cpu_core_1 "6.9306930693069315".
- 1604655 cpu_core_1 "6.9306930693069315".
- 1604968 cpu_core_1 "6.9306930693069315".
- 1608495 cpu_core_1 "6.9306930693069315".
- 1609917 cpu_core_1 "6.9306930693069315".
- 1614508 cpu_core_1 "6.9306930693069315".
- 1615658 cpu_core_1 "6.9306930693069315".
- 1617727 cpu_core_1 "6.9306930693069315".