Matches in ISWC2014 Benchmark for { ?s ?p 24.752475247524753. }
- 1591511 cpu_core_0 "24.752475247524753".
- 1592015 cpu_core_0 "24.752475247524753".
- 1592484 cpu_core_0 "24.752475247524753".
- 1592563 cpu_core_0 "24.752475247524753".
- 1592695 cpu_core_0 "24.752475247524753".
- 1592885 cpu_core_0 "24.752475247524753".
- 1593101 cpu_core_0 "24.752475247524753".
- 1593165 cpu_core_0 "24.752475247524753".
- 1594015 cpu_core_0 "24.752475247524753".
- 1594169 cpu_core_0 "24.752475247524753".
- 1594331 cpu_core_0 "24.752475247524753".
- 1594413 cpu_core_0 "24.752475247524753".
- 1599170 cpu_core_0 "24.752475247524753".
- 1599810 cpu_core_0 "24.752475247524753".
- 1600169 cpu_core_0 "24.752475247524753".
- 1600313 cpu_core_0 "24.752475247524753".
- 1600558 cpu_core_0 "24.752475247524753".
- 1601255 cpu_core_0 "24.752475247524753".
- 1602751 cpu_core_0 "24.752475247524753".
- 1603068 cpu_core_0 "24.752475247524753".
- 1603696 cpu_core_0 "24.752475247524753".
- 1604814 cpu_core_0 "24.752475247524753".
- 1604870 cpu_core_0 "24.752475247524753".
- 1605500 cpu_core_0 "24.752475247524753".
- 1605719 cpu_core_0 "24.752475247524753".
- 1607785 cpu_core_0 "24.752475247524753".
- 1608291 cpu_core_0 "24.752475247524753".
- 1609619 cpu_core_0 "24.752475247524753".
- 1609689 cpu_core_0 "24.752475247524753".
- 1612910 cpu_core_0 "24.752475247524753".
- 1613140 cpu_core_0 "24.752475247524753".
- 1614438 cpu_core_0 "24.752475247524753".
- 1615164 cpu_core_0 "24.752475247524753".
- 1615552 cpu_core_0 "24.752475247524753".
- 1615891 cpu_core_0 "24.752475247524753".
- 1616791 cpu_core_0 "24.752475247524753".
- 1616803 cpu_core_0 "24.752475247524753".
- 1616939 cpu_core_0 "24.752475247524753".
- 1617286 cpu_core_0 "24.752475247524753".
- 1617304 cpu_core_0 "24.752475247524753".
- 1618663 cpu_core_0 "24.752475247524753".
- 1620654 cpu_core_0 "24.752475247524753".
- 1621740 cpu_core_0 "24.752475247524753".
- 1622145 cpu_core_0 "24.752475247524753".
- 1622248 cpu_core_0 "24.752475247524753".
- 1622258 cpu_core_0 "24.752475247524753".
- 1622564 cpu_core_0 "24.752475247524753".
- 1622696 cpu_core_0 "24.752475247524753".
- 1622789 cpu_core_0 "24.752475247524753".
- 1622944 cpu_core_0 "24.752475247524753".
- 1623059 cpu_core_0 "24.752475247524753".
- 1623400 cpu_core_0 "24.752475247524753".
- 1623594 cpu_core_0 "24.752475247524753".
- 1624301 cpu_core_0 "24.752475247524753".
- 1624444 cpu_core_0 "24.752475247524753".
- 1625513 cpu_core_0 "24.752475247524753".
- 1625985 cpu_core_0 "24.752475247524753".
- 1626278 cpu_core_0 "24.752475247524753".
- 1626691 cpu_core_0 "24.752475247524753".
- 1626958 cpu_core_0 "24.752475247524753".
- 1626978 cpu_core_0 "24.752475247524753".
- 1627174 cpu_core_0 "24.752475247524753".
- 1627246 cpu_core_0 "24.752475247524753".
- 1627703 cpu_core_0 "24.752475247524753".
- 1627858 cpu_core_0 "24.752475247524753".
- 1627869 cpu_core_0 "24.752475247524753".
- 1628676 cpu_core_0 "24.752475247524753".
- 1628741 cpu_core_0 "24.752475247524753".
- 1629283 cpu_core_0 "24.752475247524753".
- 1629548 cpu_core_0 "24.752475247524753".
- 1630012 cpu_core_0 "24.752475247524753".
- 1630051 cpu_core_0 "24.752475247524753".
- 1630971 cpu_core_0 "24.752475247524753".
- 1631126 cpu_core_0 "24.752475247524753".
- 1633248 cpu_core_0 "24.752475247524753".
- 1633308 cpu_core_0 "24.752475247524753".
- 1633400 cpu_core_0 "24.752475247524753".
- 1633731 cpu_core_0 "24.752475247524753".
- 1635013 cpu_core_0 "24.752475247524753".
- 1635128 cpu_core_0 "24.752475247524753".
- 1635486 cpu_core_0 "24.752475247524753".
- 1635751 cpu_core_0 "24.752475247524753".
- 1636111 cpu_core_0 "24.752475247524753".
- 1636925 cpu_core_0 "24.752475247524753".
- 1636936 cpu_core_0 "24.752475247524753".
- 1637340 cpu_core_0 "24.752475247524753".
- 1637438 cpu_core_0 "24.752475247524753".
- 1637769 cpu_core_0 "24.752475247524753".
- 1638111 cpu_core_0 "24.752475247524753".
- 1638743 cpu_core_0 "24.752475247524753".
- 1638915 cpu_core_0 "24.752475247524753".
- 1638918 cpu_core_0 "24.752475247524753".
- 1638949 cpu_core_0 "24.752475247524753".
- 1639489 cpu_core_0 "24.752475247524753".
- 1639988 cpu_core_0 "24.752475247524753".
- 1640454 cpu_core_0 "24.752475247524753".
- 1640624 cpu_core_0 "24.752475247524753".
- 1640790 cpu_core_0 "24.752475247524753".
- 1641102 cpu_core_0 "24.752475247524753".
- 1641205 cpu_core_0 "24.752475247524753".