Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623762. }
- 1617917 cpu_core_0 "23.762376237623762".
- 1618227 cpu_core_0 "23.762376237623762".
- 1618460 cpu_core_0 "23.762376237623762".
- 1619298 cpu_core_0 "23.762376237623762".
- 1619312 cpu_core_0 "23.762376237623762".
- 1620219 cpu_core_0 "23.762376237623762".
- 1620342 cpu_core_0 "23.762376237623762".
- 1620681 cpu_core_0 "23.762376237623762".
- 1621401 cpu_core_0 "23.762376237623762".
- 1621457 cpu_core_0 "23.762376237623762".
- 1621514 cpu_core_0 "23.762376237623762".
- 1622555 cpu_core_0 "23.762376237623762".
- 1622706 cpu_core_0 "23.762376237623762".
- 1622818 cpu_core_0 "23.762376237623762".
- 1622957 cpu_core_0 "23.762376237623762".
- 1623685 cpu_core_0 "23.762376237623762".
- 1624030 cpu_core_0 "23.762376237623762".
- 1625942 cpu_core_0 "23.762376237623762".
- 1627155 cpu_core_0 "23.762376237623762".
- 1627389 cpu_core_0 "23.762376237623762".
- 1628478 cpu_core_0 "23.762376237623762".
- 1629279 cpu_core_0 "23.762376237623762".
- 1630284 cpu_core_0 "23.762376237623762".
- 1630321 cpu_core_0 "23.762376237623762".
- 1630841 cpu_core_0 "23.762376237623762".
- 1631204 cpu_core_0 "23.762376237623762".
- 1631417 cpu_core_0 "23.762376237623762".
- 1633961 cpu_core_0 "23.762376237623762".
- 1634395 cpu_core_0 "23.762376237623762".
- 1635155 cpu_core_0 "23.762376237623762".
- 1635277 cpu_core_0 "23.762376237623762".
- 1635655 cpu_core_0 "23.762376237623762".
- 1635755 cpu_core_0 "23.762376237623762".
- 1636322 cpu_core_0 "23.762376237623762".
- 1636664 cpu_core_0 "23.762376237623762".
- 1637162 cpu_core_0 "23.762376237623762".
- 1637182 cpu_core_0 "23.762376237623762".
- 1637378 cpu_core_0 "23.762376237623762".
- 1637391 cpu_core_0 "23.762376237623762".
- 1637876 cpu_core_0 "23.762376237623762".
- 1638180 cpu_core_0 "23.762376237623762".
- 1638655 cpu_core_0 "23.762376237623762".
- 1638957 cpu_core_0 "23.762376237623762".
- 1639999 cpu_core_0 "23.762376237623762".
- 1640118 cpu_core_0 "23.762376237623762".
- 1641281 cpu_core_0 "23.762376237623762".
- 1641941 cpu_core_0 "23.762376237623762".
- 1641953 cpu_core_0 "23.762376237623762".
- 1642021 cpu_core_0 "23.762376237623762".
- 1642626 cpu_core_0 "23.762376237623762".
- 1643233 cpu_core_0 "23.762376237623762".
- 1643707 cpu_core_0 "23.762376237623762".
- 1643823 cpu_core_0 "23.762376237623762".
- 1644083 cpu_core_0 "23.762376237623762".
- 1644092 cpu_core_0 "23.762376237623762".
- 1644173 cpu_core_0 "23.762376237623762".
- 1644610 cpu_core_0 "23.762376237623762".
- 1644932 cpu_core_0 "23.762376237623762".
- 1645473 cpu_core_0 "23.762376237623762".
- 1645968 cpu_core_0 "23.762376237623762".
- 1655290 cpu_core_0 "23.762376237623762".
- 1657915 cpu_core_0 "23.762376237623762".
- 1658620 cpu_core_0 "23.762376237623762".
- 1658954 cpu_core_0 "23.762376237623762".
- 1661476 cpu_core_0 "23.762376237623762".
- 1664385 cpu_core_0 "23.762376237623762".
- 1665042 cpu_core_0 "23.762376237623762".
- 1667755 cpu_core_0 "23.762376237623762".
- 1667766 cpu_core_0 "23.762376237623762".
- 1668161 cpu_core_0 "23.762376237623762".
- 1668834 cpu_core_0 "23.762376237623762".
- 1668951 cpu_core_0 "23.762376237623762".
- 1669368 cpu_core_0 "23.762376237623762".
- 1669790 cpu_core_0 "23.762376237623762".
- 1671127 cpu_core_0 "23.762376237623762".
- 1671230 cpu_core_0 "23.762376237623762".
- 1671799 cpu_core_0 "23.762376237623762".
- 1672271 cpu_core_0 "23.762376237623762".
- 1672389 cpu_core_0 "23.762376237623762".
- 1672402 cpu_core_0 "23.762376237623762".
- 1672845 cpu_core_0 "23.762376237623762".
- 1673031 cpu_core_0 "23.762376237623762".
- 1673079 cpu_core_0 "23.762376237623762".
- 1673252 cpu_core_0 "23.762376237623762".
- 1673264 cpu_core_0 "23.762376237623762".
- 1673301 cpu_core_0 "23.762376237623762".
- 1673504 cpu_core_0 "23.762376237623762".
- 1673550 cpu_core_0 "23.762376237623762".
- 1673935 cpu_core_0 "23.762376237623762".
- 1674253 cpu_core_0 "23.762376237623762".
- 1674357 cpu_core_0 "23.762376237623762".
- 1674572 cpu_core_0 "23.762376237623762".
- 1676231 cpu_core_0 "23.762376237623762".
- 1677078 cpu_core_0 "23.762376237623762".
- 1678447 cpu_core_0 "23.762376237623762".
- 1679904 cpu_core_0 "23.762376237623762".
- 1680780 cpu_core_0 "23.762376237623762".
- 1680888 cpu_core_0 "23.762376237623762".
- 1680909 cpu_core_0 "23.762376237623762".
- 1681419 cpu_core_0 "23.762376237623762".