Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1486478 cpu_core_0 "11.76470588235294".
- 1487605 cpu_core_0 "11.76470588235294".
- 1488047 cpu_core_0 "11.76470588235294".
- 1488495 cpu_core_0 "11.76470588235294".
- 1488691 cpu_core_0 "11.76470588235294".
- 1490193 cpu_core_0 "11.76470588235294".
- 1490505 cpu_core_0 "11.76470588235294".
- 1490757 cpu_core_0 "11.76470588235294".
- 1490937 cpu_core_0 "11.76470588235294".
- 1491396 cpu_core_0 "11.76470588235294".
- 1492143 cpu_core_0 "11.76470588235294".
- 1492565 cpu_core_0 "11.76470588235294".
- 1492922 cpu_core_0 "11.76470588235294".
- 1493194 cpu_core_0 "11.76470588235294".
- 1495444 cpu_core_0 "11.76470588235294".
- 1496046 cpu_core_0 "11.76470588235294".
- 1496635 cpu_core_0 "11.76470588235294".
- 1497209 cpu_core_0 "11.76470588235294".
- 1497662 cpu_core_0 "11.76470588235294".
- 1497962 cpu_core_0 "11.76470588235294".
- 1499016 cpu_core_0 "11.76470588235294".
- 1499549 cpu_core_0 "11.76470588235294".
- 1499557 cpu_core_0 "11.76470588235294".
- 1500061 cpu_core_0 "11.76470588235294".
- 1500328 cpu_core_0 "11.76470588235294".
- 1500357 cpu_core_0 "11.76470588235294".
- 1500546 cpu_core_0 "11.76470588235294".
- 1500698 cpu_core_0 "11.76470588235294".
- 1500719 cpu_core_0 "11.76470588235294".
- 1501876 cpu_core_0 "11.76470588235294".
- 1501934 cpu_core_0 "11.76470588235294".
- 1502105 cpu_core_0 "11.76470588235294".
- 1502341 cpu_core_0 "11.76470588235294".
- 1502593 cpu_core_0 "11.76470588235294".
- 1502989 cpu_core_0 "11.76470588235294".
- 1503081 cpu_core_0 "11.76470588235294".
- 1503671 cpu_core_0 "11.76470588235294".
- 1503762 cpu_core_0 "11.76470588235294".
- 1503931 cpu_core_0 "11.76470588235294".
- 1504449 cpu_core_0 "11.76470588235294".
- 1505170 cpu_core_0 "11.76470588235294".
- 1506540 cpu_core_0 "11.76470588235294".
- 1506564 cpu_core_0 "11.76470588235294".
- 1507379 cpu_core_0 "11.76470588235294".
- 1507763 cpu_core_0 "11.76470588235294".
- 1508019 cpu_core_0 "11.76470588235294".
- 1509090 cpu_core_0 "11.76470588235294".
- 1509657 cpu_core_0 "11.76470588235294".
- 1510018 cpu_core_0 "11.76470588235294".
- 1511660 cpu_core_0 "11.76470588235294".
- 1511990 cpu_core_0 "11.76470588235294".
- 1512507 cpu_core_0 "11.76470588235294".
- 1512965 cpu_core_0 "11.76470588235294".
- 1516166 cpu_core_0 "11.76470588235294".
- 1516925 cpu_core_0 "11.76470588235294".
- 1516977 cpu_core_0 "11.76470588235294".
- 1517045 cpu_core_0 "11.76470588235294".
- 1517204 cpu_core_0 "11.76470588235294".
- 1519675 cpu_core_0 "11.76470588235294".
- 1521933 cpu_core_0 "11.76470588235294".
- 1522167 cpu_core_0 "11.76470588235294".
- 1522493 cpu_core_0 "11.76470588235294".
- 1522793 cpu_core_0 "11.76470588235294".
- 1522902 cpu_core_0 "11.76470588235294".
- 1523058 cpu_core_0 "11.76470588235294".
- 1523169 cpu_core_0 "11.76470588235294".
- 1523824 cpu_core_0 "11.76470588235294".
- 1525141 cpu_core_0 "11.76470588235294".
- 1526134 cpu_core_0 "11.76470588235294".
- 1526349 cpu_core_0 "11.76470588235294".
- 1526971 cpu_core_0 "11.76470588235294".
- 1527115 cpu_core_0 "11.76470588235294".
- 1527248 cpu_core_0 "11.76470588235294".
- 1527903 cpu_core_0 "11.76470588235294".
- 1528435 cpu_core_0 "11.76470588235294".
- 1529095 cpu_core_0 "11.76470588235294".
- 1529303 cpu_core_0 "11.76470588235294".
- 1531290 cpu_core_0 "11.76470588235294".
- 1532353 cpu_core_0 "11.76470588235294".
- 1533204 cpu_core_0 "11.76470588235294".
- 1533813 cpu_core_0 "11.76470588235294".
- 1534056 cpu_core_0 "11.76470588235294".
- 1534901 cpu_core_0 "11.76470588235294".
- 1534984 cpu_core_0 "11.76470588235294".
- 1535471 cpu_core_0 "11.76470588235294".
- 1536122 cpu_core_0 "11.76470588235294".
- 1536313 cpu_core_0 "11.76470588235294".
- 1536679 cpu_core_0 "11.76470588235294".
- 1537251 cpu_core_0 "11.76470588235294".
- 1537430 cpu_core_0 "11.76470588235294".
- 1537519 cpu_core_0 "11.76470588235294".
- 1537601 cpu_core_0 "11.76470588235294".
- 1537686 cpu_core_0 "11.76470588235294".
- 1538028 cpu_core_0 "11.76470588235294".
- 1538183 cpu_core_0 "11.76470588235294".
- 1538675 cpu_core_0 "11.76470588235294".
- 1538996 cpu_core_0 "11.76470588235294".
- 1539617 cpu_core_0 "11.76470588235294".
- 1539827 cpu_core_0 "11.76470588235294".
- 1540201 cpu_core_0 "11.76470588235294".