Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 1539330 cpu_core_0 "23.762376237623766".
- 1539648 cpu_core_0 "23.762376237623766".
- 1539770 cpu_core_0 "23.762376237623766".
- 1539971 cpu_core_0 "23.762376237623766".
- 1540831 cpu_core_0 "23.762376237623766".
- 1541025 cpu_core_0 "23.762376237623766".
- 1542614 cpu_core_0 "23.762376237623766".
- 1545656 cpu_core_0 "23.762376237623766".
- 1545842 cpu_core_0 "23.762376237623766".
- 1547731 cpu_core_0 "23.762376237623766".
- 1549253 cpu_core_0 "23.762376237623766".
- 1549767 cpu_core_0 "23.762376237623766".
- 1550061 cpu_core_0 "23.762376237623766".
- 1551397 cpu_core_0 "23.762376237623766".
- 1552692 cpu_core_0 "23.762376237623766".
- 1553923 cpu_core_0 "23.762376237623766".
- 1554044 cpu_core_0 "23.762376237623766".
- 1554398 cpu_core_0 "23.762376237623766".
- 1554644 cpu_core_0 "23.762376237623766".
- 1554972 cpu_core_0 "23.762376237623766".
- 1555998 cpu_core_0 "23.762376237623766".
- 1556440 cpu_core_0 "23.762376237623766".
- 1556911 cpu_core_0 "23.762376237623766".
- 1557783 cpu_core_0 "23.762376237623766".
- 1560791 cpu_core_0 "23.762376237623766".
- 1561834 cpu_core_0 "23.762376237623766".
- 1563254 cpu_core_0 "23.762376237623766".
- 1564465 cpu_core_0 "23.762376237623766".
- 1565937 cpu_core_0 "23.762376237623766".
- 1567742 cpu_core_0 "23.762376237623766".
- 1568946 cpu_core_0 "23.762376237623766".
- 1571101 cpu_core_0 "23.762376237623766".
- 1572601 cpu_core_0 "23.762376237623766".
- 1579363 cpu_core_0 "23.762376237623766".
- 1579760 cpu_core_0 "23.762376237623766".
- 1582891 cpu_core_0 "23.762376237623766".
- 1583102 cpu_core_0 "23.762376237623766".
- 1583380 cpu_core_0 "23.762376237623766".
- 1584091 cpu_core_0 "23.762376237623766".
- 1584831 cpu_core_0 "23.762376237623766".
- 1586829 cpu_core_0 "23.762376237623766".
- 1587069 cpu_core_0 "23.762376237623766".
- 1588798 cpu_core_0 "23.762376237623766".
- 1589038 cpu_core_0 "23.762376237623766".
- 1591095 cpu_core_0 "23.762376237623766".
- 1592058 cpu_core_0 "23.762376237623766".
- 1594094 cpu_core_0 "23.762376237623766".
- 1600472 cpu_core_0 "23.762376237623766".
- 1600892 cpu_core_0 "23.762376237623766".
- 1603350 cpu_core_0 "23.762376237623766".
- 1604710 cpu_core_0 "23.762376237623766".
- 1604758 cpu_core_0 "23.762376237623766".
- 1605056 cpu_core_0 "23.762376237623766".
- 1608233 cpu_core_0 "23.762376237623766".
- 1608390 cpu_core_0 "23.762376237623766".
- 1610965 cpu_core_0 "23.762376237623766".
- 1611954 cpu_core_0 "23.762376237623766".
- 1614756 cpu_core_0 "23.762376237623766".
- 1618293 cpu_core_0 "23.762376237623766".
- 1618829 cpu_core_0 "23.762376237623766".
- 1619748 cpu_core_0 "23.762376237623766".
- 1619992 cpu_core_0 "23.762376237623766".
- 1622631 cpu_core_0 "23.762376237623766".
- 1624307 cpu_core_0 "23.762376237623766".
- 1624996 cpu_core_0 "23.762376237623766".
- 1625993 cpu_core_0 "23.762376237623766".
- 1626585 cpu_core_0 "23.762376237623766".
- 1627654 cpu_core_0 "23.762376237623766".
- 1628615 cpu_core_0 "23.762376237623766".
- 1630630 cpu_core_0 "23.762376237623766".
- 1632487 cpu_core_0 "23.762376237623766".
- 1635988 cpu_core_0 "23.762376237623766".
- 1636057 cpu_core_0 "23.762376237623766".
- 1636245 cpu_core_0 "23.762376237623766".
- 1637440 cpu_core_0 "23.762376237623766".
- 1639281 cpu_core_0 "23.762376237623766".
- 1640256 cpu_core_0 "23.762376237623766".
- 1640618 cpu_core_0 "23.762376237623766".
- 1640702 cpu_core_0 "23.762376237623766".
- 1641416 cpu_core_0 "23.762376237623766".
- 1641678 cpu_core_0 "23.762376237623766".
- 1641759 cpu_core_0 "23.762376237623766".
- 1641828 cpu_core_0 "23.762376237623766".
- 1642036 cpu_core_0 "23.762376237623766".
- 1642275 cpu_core_0 "23.762376237623766".
- 1643146 cpu_core_0 "23.762376237623766".
- 1643530 cpu_core_0 "23.762376237623766".
- 1644897 cpu_core_0 "23.762376237623766".
- 1645139 cpu_core_0 "23.762376237623766".
- 1645208 cpu_core_0 "23.762376237623766".
- 1645532 cpu_core_0 "23.762376237623766".
- 1645636 cpu_core_0 "23.762376237623766".
- 1646017 cpu_core_0 "23.762376237623766".
- 1646151 cpu_core_0 "23.762376237623766".
- 1659773 cpu_core_0 "23.762376237623766".
- 1663477 cpu_core_0 "23.762376237623766".
- 1663500 cpu_core_0 "23.762376237623766".
- 1664349 cpu_core_0 "23.762376237623766".
- 1667938 cpu_core_0 "23.762376237623766".
- 1668736 cpu_core_0 "23.762376237623766".