Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1439141 cpu_core_0 "13.725490196078432".
- 1440062 cpu_core_0 "13.725490196078432".
- 1440360 cpu_core_0 "13.725490196078432".
- 1443595 cpu_core_0 "13.725490196078432".
- 1443813 cpu_core_0 "13.725490196078432".
- 1445415 cpu_core_0 "13.725490196078432".
- 1446605 cpu_core_0 "13.725490196078432".
- 1448065 cpu_core_0 "13.725490196078432".
- 1448834 cpu_core_0 "13.725490196078432".
- 1450725 cpu_core_0 "13.725490196078432".
- 1451128 cpu_core_0 "13.725490196078432".
- 1451648 cpu_core_0 "13.725490196078432".
- 1452281 cpu_core_0 "13.725490196078432".
- 1452393 cpu_core_0 "13.725490196078432".
- 1453975 cpu_core_0 "13.725490196078432".
- 1455788 cpu_core_0 "13.725490196078432".
- 1457710 cpu_core_0 "13.725490196078432".
- 1459178 cpu_core_0 "13.725490196078432".
- 1460721 cpu_core_0 "13.725490196078432".
- 1461195 cpu_core_0 "13.725490196078432".
- 1461529 cpu_core_0 "13.725490196078432".
- 1462608 cpu_core_0 "13.725490196078432".
- 1463180 cpu_core_0 "13.725490196078432".
- 1463287 cpu_core_0 "13.725490196078432".
- 1464484 cpu_core_0 "13.725490196078432".
- 1465175 cpu_core_0 "13.725490196078432".
- 1465199 cpu_core_0 "13.725490196078432".
- 1465796 cpu_core_0 "13.725490196078432".
- 1465861 cpu_core_0 "13.725490196078432".
- 1465884 cpu_core_0 "13.725490196078432".
- 1466058 cpu_core_0 "13.725490196078432".
- 1466596 cpu_core_0 "13.725490196078432".
- 1466778 cpu_core_0 "13.725490196078432".
- 1467312 cpu_core_0 "13.725490196078432".
- 1467926 cpu_core_0 "13.725490196078432".
- 1468159 cpu_core_0 "13.725490196078432".
- 1468918 cpu_core_0 "13.725490196078432".
- 1470532 cpu_core_0 "13.725490196078432".
- 1474477 cpu_core_0 "13.725490196078432".
- 1476195 cpu_core_0 "13.725490196078432".
- 1476584 cpu_core_0 "13.725490196078432".
- 1477582 cpu_core_0 "13.725490196078432".
- 1477942 cpu_core_0 "13.725490196078432".
- 1478842 cpu_core_0 "13.725490196078432".
- 1479305 cpu_core_0 "13.725490196078432".
- 1479514 cpu_core_0 "13.725490196078432".
- 1479673 cpu_core_0 "13.725490196078432".
- 1480132 cpu_core_0 "13.725490196078432".
- 1480490 cpu_core_0 "13.725490196078432".
- 1481753 cpu_core_0 "13.725490196078432".
- 1484424 cpu_core_0 "13.725490196078432".
- 1484746 cpu_core_0 "13.725490196078432".
- 1484845 cpu_core_0 "13.725490196078432".
- 1485845 cpu_core_0 "13.725490196078432".
- 1486030 cpu_core_0 "13.725490196078432".
- 1486878 cpu_core_0 "13.725490196078432".
- 1487079 cpu_core_0 "13.725490196078432".
- 1488002 cpu_core_0 "13.725490196078432".
- 1488855 cpu_core_0 "13.725490196078432".
- 1491477 cpu_core_0 "13.725490196078432".
- 1491490 cpu_core_0 "13.725490196078432".
- 1493566 cpu_core_0 "13.725490196078432".
- 1494751 cpu_core_0 "13.725490196078432".
- 1496093 cpu_core_0 "13.725490196078432".
- 1497543 cpu_core_0 "13.725490196078432".
- 1499288 cpu_core_0 "13.725490196078432".
- 1499476 cpu_core_0 "13.725490196078432".
- 1499698 cpu_core_0 "13.725490196078432".
- 1500417 cpu_core_0 "13.725490196078432".
- 1501368 cpu_core_0 "13.725490196078432".
- 1501507 cpu_core_0 "13.725490196078432".
- 1501715 cpu_core_0 "13.725490196078432".
- 1501939 cpu_core_0 "13.725490196078432".
- 1502500 cpu_core_0 "13.725490196078432".
- 1502570 cpu_core_0 "13.725490196078432".
- 1503002 cpu_core_0 "13.725490196078432".
- 1503078 cpu_core_0 "13.725490196078432".
- 1503539 cpu_core_0 "13.725490196078432".
- 1503859 cpu_core_0 "13.725490196078432".
- 1504866 cpu_core_0 "13.725490196078432".
- 1505742 cpu_core_0 "13.725490196078432".
- 1505987 cpu_core_0 "13.725490196078432".
- 1507632 cpu_core_0 "13.725490196078432".
- 1508150 cpu_core_0 "13.725490196078432".
- 1509115 cpu_core_0 "13.725490196078432".
- 1511720 cpu_core_0 "13.725490196078432".
- 1512179 cpu_core_0 "13.725490196078432".
- 1512697 cpu_core_0 "13.725490196078432".
- 1512952 cpu_core_0 "13.725490196078432".
- 1514032 cpu_core_0 "13.725490196078432".
- 1514441 cpu_core_0 "13.725490196078432".
- 1514670 cpu_core_0 "13.725490196078432".
- 1515081 cpu_core_0 "13.725490196078432".
- 1516173 cpu_core_0 "13.725490196078432".
- 1517793 cpu_core_0 "13.725490196078432".
- 1518104 cpu_core_0 "13.725490196078432".
- 1519613 cpu_core_0 "13.725490196078432".
- 1520577 cpu_core_0 "13.725490196078432".
- 1520592 cpu_core_0 "13.725490196078432".
- 1522967 cpu_core_0 "13.725490196078432".