Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1502407 cpu_core_0 "7.999999999999999".
- 1503206 cpu_core_0 "7.999999999999999".
- 1503235 cpu_core_0 "7.999999999999999".
- 1503414 cpu_core_0 "7.999999999999999".
- 1505782 cpu_core_0 "7.999999999999999".
- 1506226 cpu_core_0 "7.999999999999999".
- 1509434 cpu_core_0 "7.999999999999999".
- 1509754 cpu_core_0 "7.999999999999999".
- 1509922 cpu_core_0 "7.999999999999999".
- 1511848 cpu_core_0 "7.999999999999999".
- 1512256 cpu_core_0 "7.999999999999999".
- 1512518 cpu_core_0 "7.999999999999999".
- 1513532 cpu_core_0 "7.999999999999999".
- 1513598 cpu_core_0 "7.999999999999999".
- 1516005 cpu_core_0 "7.999999999999999".
- 1522341 cpu_core_0 "7.999999999999999".
- 1523430 cpu_core_0 "7.999999999999999".
- 1523682 cpu_core_0 "7.999999999999999".
- 1524325 cpu_core_0 "7.999999999999999".
- 1524346 cpu_core_0 "7.999999999999999".
- 1526643 cpu_core_0 "7.999999999999999".
- 1532672 cpu_core_0 "7.999999999999999".
- 1537201 cpu_core_0 "7.999999999999999".
- 1537823 cpu_core_0 "7.999999999999999".
- 1538540 cpu_core_0 "7.999999999999999".
- 1539006 cpu_core_0 "7.999999999999999".
- 1539490 cpu_core_0 "7.999999999999999".
- 1540821 cpu_core_0 "7.999999999999999".
- 1544647 cpu_core_0 "7.999999999999999".
- 1546119 cpu_core_0 "7.999999999999999".
- 1547173 cpu_core_0 "7.999999999999999".
- 1551286 cpu_core_0 "7.999999999999999".
- 1552710 cpu_core_0 "7.999999999999999".
- 1553927 cpu_core_0 "7.999999999999999".
- 1553955 cpu_core_0 "7.999999999999999".
- 1554680 cpu_core_0 "7.999999999999999".
- 1556109 cpu_core_0 "7.999999999999999".
- 1558628 cpu_core_0 "7.999999999999999".
- 1559110 cpu_core_0 "7.999999999999999".
- 1559273 cpu_core_0 "7.999999999999999".
- 1559483 cpu_core_0 "7.999999999999999".
- 1559585 cpu_core_0 "7.999999999999999".
- 1560336 cpu_core_0 "7.999999999999999".
- 1561022 cpu_core_0 "7.999999999999999".
- 1561190 cpu_core_0 "7.999999999999999".
- 1561744 cpu_core_0 "7.999999999999999".
- 1562232 cpu_core_0 "7.999999999999999".
- 1563085 cpu_core_0 "7.999999999999999".
- 1563147 cpu_core_0 "7.999999999999999".
- 1564804 cpu_core_0 "7.999999999999999".
- 1565384 cpu_core_0 "7.999999999999999".
- 1565605 cpu_core_0 "7.999999999999999".
- 1568242 cpu_core_0 "7.999999999999999".
- 1568740 cpu_core_0 "7.999999999999999".
- 1569618 cpu_core_0 "7.999999999999999".
- 1573165 cpu_core_0 "7.999999999999999".
- 1574205 cpu_core_0 "7.999999999999999".
- 1576905 cpu_core_0 "7.999999999999999".
- 1579255 cpu_core_0 "7.999999999999999".
- 1579564 cpu_core_0 "7.999999999999999".
- 1580804 cpu_core_0 "7.999999999999999".
- 1582214 cpu_core_0 "7.999999999999999".
- 1583253 cpu_core_0 "7.999999999999999".
- 1583418 cpu_core_0 "7.999999999999999".
- 1585629 cpu_core_0 "7.999999999999999".
- 1585749 cpu_core_0 "7.999999999999999".
- 1585959 cpu_core_0 "7.999999999999999".
- 1587495 cpu_core_0 "7.999999999999999".
- 1588038 cpu_core_0 "7.999999999999999".
- 1588110 cpu_core_0 "7.999999999999999".
- 1591049 cpu_core_0 "7.999999999999999".
- 1591859 cpu_core_0 "7.999999999999999".
- 1592127 cpu_core_0 "7.999999999999999".
- 1593072 cpu_core_0 "7.999999999999999".
- 1594402 cpu_core_0 "7.999999999999999".
- 1595697 cpu_core_0 "7.999999999999999".
- 1599139 cpu_core_0 "7.999999999999999".
- 1599477 cpu_core_0 "7.999999999999999".
- 1600788 cpu_core_0 "7.999999999999999".
- 1601195 cpu_core_0 "7.999999999999999".
- 1603359 cpu_core_0 "7.999999999999999".
- 1605177 cpu_core_0 "7.999999999999999".
- 1605862 cpu_core_0 "7.999999999999999".
- 1606038 cpu_core_0 "7.999999999999999".
- 1607351 cpu_core_0 "7.999999999999999".
- 1608636 cpu_core_0 "7.999999999999999".
- 1608809 cpu_core_0 "7.999999999999999".
- 1611526 cpu_core_0 "7.999999999999999".
- 1613569 cpu_core_0 "7.999999999999999".
- 1617397 cpu_core_0 "7.999999999999999".
- 1618228 cpu_core_0 "7.999999999999999".
- 1618786 cpu_core_0 "7.999999999999999".
- 1619973 cpu_core_0 "7.999999999999999".
- 1620014 cpu_core_0 "7.999999999999999".
- 1621584 cpu_core_0 "7.999999999999999".
- 1622271 cpu_core_0 "7.999999999999999".
- 1623560 cpu_core_0 "7.999999999999999".
- 1625820 cpu_core_0 "7.999999999999999".
- 1628588 cpu_core_0 "7.999999999999999".
- 1629440 cpu_core_0 "7.999999999999999".