Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1554848 cpu_core_0 "23.762376237623762".
- 1554980 cpu_core_0 "23.762376237623762".
- 1555087 cpu_core_0 "23.762376237623762".
- 1555925 cpu_core_0 "23.762376237623762".
- 1555926 cpu_core_0 "23.762376237623762".
- 1556057 cpu_core_0 "23.762376237623762".
- 1556181 cpu_core_0 "23.762376237623762".
- 1556349 cpu_core_0 "23.762376237623762".
- 1556968 cpu_core_0 "23.762376237623762".
- 1557322 cpu_core_0 "23.762376237623762".
- 1557562 cpu_core_0 "23.762376237623762".
- 1557998 cpu_core_0 "23.762376237623762".
- 1558040 cpu_core_0 "23.762376237623762".
- 1558342 cpu_core_0 "23.762376237623762".
- 1559133 cpu_core_0 "23.762376237623762".
- 1559349 cpu_core_0 "23.762376237623762".
- 1559588 cpu_core_0 "23.762376237623762".
- 1559663 cpu_core_0 "23.762376237623762".
- 1560115 cpu_core_0 "23.762376237623762".
- 1561438 cpu_core_0 "23.762376237623762".
- 1561918 cpu_core_0 "23.762376237623762".
- 1562435 cpu_core_0 "23.762376237623762".
- 1563986 cpu_core_0 "23.762376237623762".
- 1564059 cpu_core_0 "23.762376237623762".
- 1564214 cpu_core_0 "23.762376237623762".
- 1564919 cpu_core_0 "23.762376237623762".
- 1565178 cpu_core_0 "23.762376237623762".
- 1566087 cpu_core_0 "23.762376237623762".
- 1566323 cpu_core_0 "23.762376237623762".
- 1566808 cpu_core_0 "23.762376237623762".
- 1567431 cpu_core_0 "23.762376237623762".
- 1568288 cpu_core_0 "23.762376237623762".
- 1568828 cpu_core_0 "23.762376237623762".
- 1570084 cpu_core_0 "23.762376237623762".
- 1570316 cpu_core_0 "23.762376237623762".
- 1570537 cpu_core_0 "23.762376237623762".
- 1571668 cpu_core_0 "23.762376237623762".
- 1572084 cpu_core_0 "23.762376237623762".
- 1572741 cpu_core_0 "23.762376237623762".
- 1572896 cpu_core_0 "23.762376237623762".
- 1573440 cpu_core_0 "23.762376237623762".
- 1574322 cpu_core_0 "23.762376237623762".
- 1574907 cpu_core_0 "23.762376237623762".
- 1575189 cpu_core_0 "23.762376237623762".
- 1575477 cpu_core_0 "23.762376237623762".
- 1577561 cpu_core_0 "23.762376237623762".
- 1577708 cpu_core_0 "23.762376237623762".
- 1577780 cpu_core_0 "23.762376237623762".
- 1577934 cpu_core_0 "23.762376237623762".
- 1580168 cpu_core_0 "23.762376237623762".
- 1581530 cpu_core_0 "23.762376237623762".
- 1581967 cpu_core_0 "23.762376237623762".
- 1583796 cpu_core_0 "23.762376237623762".
- 1583831 cpu_core_0 "23.762376237623762".
- 1584740 cpu_core_0 "23.762376237623762".
- 1584917 cpu_core_0 "23.762376237623762".
- 1585577 cpu_core_0 "23.762376237623762".
- 1587849 cpu_core_0 "23.762376237623762".
- 1587953 cpu_core_0 "23.762376237623762".
- 1588281 cpu_core_0 "23.762376237623762".
- 1588439 cpu_core_0 "23.762376237623762".
- 1588992 cpu_core_0 "23.762376237623762".
- 1589718 cpu_core_0 "23.762376237623762".
- 1590636 cpu_core_0 "23.762376237623762".
- 1591025 cpu_core_0 "23.762376237623762".
- 1591043 cpu_core_0 "23.762376237623762".
- 1591402 cpu_core_0 "23.762376237623762".
- 1591596 cpu_core_0 "23.762376237623762".
- 1592248 cpu_core_0 "23.762376237623762".
- 1593936 cpu_core_0 "23.762376237623762".
- 1594023 cpu_core_0 "23.762376237623762".
- 1596675 cpu_core_0 "23.762376237623762".
- 1597042 cpu_core_0 "23.762376237623762".
- 1599480 cpu_core_0 "23.762376237623762".
- 1602349 cpu_core_0 "23.762376237623762".
- 1602470 cpu_core_0 "23.762376237623762".
- 1602654 cpu_core_0 "23.762376237623762".
- 1602723 cpu_core_0 "23.762376237623762".
- 1603302 cpu_core_0 "23.762376237623762".
- 1603420 cpu_core_0 "23.762376237623762".
- 1603602 cpu_core_0 "23.762376237623762".
- 1603675 cpu_core_0 "23.762376237623762".
- 1604555 cpu_core_0 "23.762376237623762".
- 1605065 cpu_core_0 "23.762376237623762".
- 1605885 cpu_core_0 "23.762376237623762".
- 1606732 cpu_core_0 "23.762376237623762".
- 1608635 cpu_core_0 "23.762376237623762".
- 1609683 cpu_core_0 "23.762376237623762".
- 1609823 cpu_core_0 "23.762376237623762".
- 1610133 cpu_core_0 "23.762376237623762".
- 1610899 cpu_core_0 "23.762376237623762".
- 1611553 cpu_core_0 "23.762376237623762".
- 1611737 cpu_core_0 "23.762376237623762".
- 1613225 cpu_core_0 "23.762376237623762".
- 1615792 cpu_core_0 "23.762376237623762".
- 1615818 cpu_core_0 "23.762376237623762".
- 1616211 cpu_core_0 "23.762376237623762".
- 1616572 cpu_core_0 "23.762376237623762".
- 1617161 cpu_core_0 "23.762376237623762".
- 1617659 cpu_core_0 "23.762376237623762".