Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1388681 cpu_core_1 "13.725490196078432".
- 1389560 cpu_core_1 "13.725490196078432".
- 1389583 cpu_core_1 "13.725490196078432".
- 1389973 cpu_core_1 "13.725490196078432".
- 1393257 cpu_core_1 "13.725490196078432".
- 1393303 cpu_core_1 "13.725490196078432".
- 1396745 cpu_core_1 "13.725490196078432".
- 1402109 cpu_core_1 "13.725490196078432".
- 1418036 cpu_core_1 "13.725490196078432".
- 1420892 cpu_core_1 "13.725490196078432".
- 1421909 cpu_core_1 "13.725490196078432".
- 1422737 cpu_core_1 "13.725490196078432".
- 1423418 cpu_core_1 "13.725490196078432".
- 1424638 cpu_core_1 "13.725490196078432".
- 1427318 cpu_core_1 "13.725490196078432".
- 1433315 cpu_core_1 "13.725490196078432".
- 1435310 cpu_core_1 "13.725490196078432".
- 1438579 cpu_core_1 "13.725490196078432".
- 1439068 cpu_core_1 "13.725490196078432".
- 1440688 cpu_core_1 "13.725490196078432".
- 1441141 cpu_core_1 "13.725490196078432".
- 1441813 cpu_core_1 "13.725490196078432".
- 1442343 cpu_core_1 "13.725490196078432".
- 1445606 cpu_core_1 "13.725490196078432".
- 1445991 cpu_core_1 "13.725490196078432".
- 1448156 cpu_core_1 "13.725490196078432".
- 1449073 cpu_core_1 "13.725490196078432".
- 1451176 cpu_core_1 "13.725490196078432".
- 1452557 cpu_core_1 "13.725490196078432".
- 1453704 cpu_core_1 "13.725490196078432".
- 1454731 cpu_core_1 "13.725490196078432".
- 1455095 cpu_core_1 "13.725490196078432".
- 1456411 cpu_core_1 "13.725490196078432".
- 1458271 cpu_core_1 "13.725490196078432".
- 1459902 cpu_core_1 "13.725490196078432".
- 1460419 cpu_core_1 "13.725490196078432".
- 1461388 cpu_core_1 "13.725490196078432".
- 1461638 cpu_core_1 "13.725490196078432".
- 1463571 cpu_core_1 "13.725490196078432".
- 1468892 cpu_core_1 "13.725490196078432".
- 1472759 cpu_core_1 "13.725490196078432".
- 1476273 cpu_core_1 "13.725490196078432".
- 1481599 cpu_core_1 "13.725490196078432".
- 1482841 cpu_core_1 "13.725490196078432".
- 1483111 cpu_core_1 "13.725490196078432".
- 1484422 cpu_core_1 "13.725490196078432".
- 1484765 cpu_core_1 "13.725490196078432".
- 1490804 cpu_core_1 "13.725490196078432".
- 1491235 cpu_core_1 "13.725490196078432".
- 1493202 cpu_core_1 "13.725490196078432".
- 1494056 cpu_core_1 "13.725490196078432".
- 1495037 cpu_core_1 "13.725490196078432".
- 1496118 cpu_core_1 "13.725490196078432".
- 1497597 cpu_core_1 "13.725490196078432".
- 1499886 cpu_core_1 "13.725490196078432".
- 1507765 cpu_core_1 "13.725490196078432".
- 1509635 cpu_core_1 "13.725490196078432".
- 1510013 cpu_core_1 "13.725490196078432".
- 1510352 cpu_core_1 "13.725490196078432".
- 1514143 cpu_core_1 "13.725490196078432".
- 1514734 cpu_core_1 "13.725490196078432".
- 1517506 cpu_core_1 "13.725490196078432".
- 1518202 cpu_core_1 "13.725490196078432".
- 1523871 cpu_core_1 "13.725490196078432".
- 1524611 cpu_core_1 "13.725490196078432".
- 1526538 cpu_core_1 "13.725490196078432".
- 1529880 cpu_core_1 "13.725490196078432".
- 1530448 cpu_core_1 "13.725490196078432".
- 1530670 cpu_core_1 "13.725490196078432".
- 1531376 cpu_core_1 "13.725490196078432".
- 1533337 cpu_core_1 "13.725490196078432".
- 1535585 cpu_core_1 "13.725490196078432".
- 1551859 cpu_core_1 "13.725490196078432".
- 1553239 cpu_core_1 "13.725490196078432".
- 1554104 cpu_core_1 "13.725490196078432".
- 1554188 cpu_core_1 "13.725490196078432".
- 1555955 cpu_core_1 "13.725490196078432".
- 1560703 cpu_core_1 "13.725490196078432".
- 1564034 cpu_core_1 "13.725490196078432".
- 1564235 cpu_core_1 "13.725490196078432".
- 1565749 cpu_core_1 "13.725490196078432".
- 1565822 cpu_core_1 "13.725490196078432".
- 1566439 cpu_core_1 "13.725490196078432".
- 1567567 cpu_core_1 "13.725490196078432".
- 1569240 cpu_core_1 "13.725490196078432".
- 1571281 cpu_core_1 "13.725490196078432".
- 1574889 cpu_core_1 "13.725490196078432".
- 1580074 cpu_core_1 "13.725490196078432".
- 1581854 cpu_core_1 "13.725490196078432".
- 1582097 cpu_core_1 "13.725490196078432".
- 1583178 cpu_core_1 "13.725490196078432".
- 1584626 cpu_core_1 "13.725490196078432".
- 1585921 cpu_core_1 "13.725490196078432".
- 1590623 cpu_core_1 "13.725490196078432".
- 1592640 cpu_core_1 "13.725490196078432".
- 1599577 cpu_core_1 "13.725490196078432".
- 1601081 cpu_core_1 "13.725490196078432".
- 1601490 cpu_core_1 "13.725490196078432".
- 1605300 cpu_core_1 "13.725490196078432".
- 1613878 cpu_core_1 "13.725490196078432".