Matches in ISWC2014 Benchmark for { ?s ?p 58.00000000000001. }
- 1712663 cpu_core_0 "58.00000000000001".
- 1712666 cpu_core_0 "58.00000000000001".
- 1712669 cpu_core_0 "58.00000000000001".
- 1712696 cpu_core_0 "58.00000000000001".
- 1712788 cpu_core_0 "58.00000000000001".
- 1712875 cpu_core_0 "58.00000000000001".
- 1712964 cpu_core_0 "58.00000000000001".
- 1756333 cpu_core_0 "58.00000000000001".
- 1785055 cpu_core_0 "58.00000000000001".
- 1796978 cpu_core_0 "58.00000000000001".
- 1834179 cpu_core_0 "58.00000000000001".
- 1852177 cpu_core_0 "58.00000000000001".
- 1901755 cpu_core_0 "58.00000000000001".
- 1901757 cpu_core_0 "58.00000000000001".
- 209946 cpu_core_0 "58.00000000000001".
- 210254 cpu_core_0 "58.00000000000001".
- 210386 cpu_core_0 "58.00000000000001".
- 210987 cpu_core_0 "58.00000000000001".
- 211056 cpu_core_0 "58.00000000000001".
- 213899 cpu_core_0 "58.00000000000001".
- 213944 cpu_core_0 "58.00000000000001".
- 215033 cpu_core_0 "58.00000000000001".
- 215537 cpu_core_0 "58.00000000000001".
- 216188 cpu_core_0 "58.00000000000001".
- 216287 cpu_core_0 "58.00000000000001".
- 217575 cpu_core_0 "58.00000000000001".
- 217991 cpu_core_0 "58.00000000000001".
- 218049 cpu_core_0 "58.00000000000001".
- 218117 cpu_core_0 "58.00000000000001".
- 220020 cpu_core_0 "58.00000000000001".
- 220538 cpu_core_0 "58.00000000000001".
- 221103 cpu_core_0 "58.00000000000001".
- 221367 cpu_core_0 "58.00000000000001".
- 221621 cpu_core_0 "58.00000000000001".
- 222082 cpu_core_0 "58.00000000000001".
- 222190 cpu_core_0 "58.00000000000001".
- 222424 cpu_core_0 "58.00000000000001".
- 224685 cpu_core_0 "58.00000000000001".
- 226024 cpu_core_0 "58.00000000000001".
- 234894 cpu_core_0 "58.00000000000001".
- 235563 cpu_core_0 "58.00000000000001".
- 236593 cpu_core_0 "58.00000000000001".
- 236835 cpu_core_0 "58.00000000000001".
- 237482 cpu_core_0 "58.00000000000001".
- 237764 cpu_core_0 "58.00000000000001".
- 237786 cpu_core_0 "58.00000000000001".
- 237846 cpu_core_0 "58.00000000000001".
- 238070 cpu_core_0 "58.00000000000001".
- 238106 cpu_core_0 "58.00000000000001".
- 238433 cpu_core_0 "58.00000000000001".
- 238485 cpu_core_0 "58.00000000000001".
- 238920 cpu_core_0 "58.00000000000001".
- 239123 cpu_core_0 "58.00000000000001".
- 239662 cpu_core_0 "58.00000000000001".
- 240114 cpu_core_0 "58.00000000000001".
- 240595 cpu_core_0 "58.00000000000001".
- 241083 cpu_core_0 "58.00000000000001".
- 241269 cpu_core_0 "58.00000000000001".
- 241652 cpu_core_0 "58.00000000000001".
- 241828 cpu_core_0 "58.00000000000001".
- 241980 cpu_core_0 "58.00000000000001".
- 242558 cpu_core_0 "58.00000000000001".
- 242873 cpu_core_0 "58.00000000000001".
- 242962 cpu_core_0 "58.00000000000001".
- 243009 cpu_core_0 "58.00000000000001".
- 245746 cpu_core_0 "58.00000000000001".
- 245785 cpu_core_0 "58.00000000000001".
- 246299 cpu_core_0 "58.00000000000001".
- 246436 cpu_core_0 "58.00000000000001".
- 246517 cpu_core_0 "58.00000000000001".
- 247606 cpu_core_0 "58.00000000000001".
- 248423 cpu_core_0 "58.00000000000001".
- 249214 cpu_core_0 "58.00000000000001".
- 249546 cpu_core_0 "58.00000000000001".
- 249779 cpu_core_0 "58.00000000000001".
- 250884 cpu_core_0 "58.00000000000001".
- 251170 cpu_core_0 "58.00000000000001".
- 253133 cpu_core_0 "58.00000000000001".
- 253206 cpu_core_0 "58.00000000000001".
- 253629 cpu_core_0 "58.00000000000001".
- 253846 cpu_core_0 "58.00000000000001".
- 254607 cpu_core_0 "58.00000000000001".
- 255432 cpu_core_0 "58.00000000000001".
- 255890 cpu_core_0 "58.00000000000001".
- 255894 cpu_core_0 "58.00000000000001".
- 256415 cpu_core_0 "58.00000000000001".
- 257987 cpu_core_0 "58.00000000000001".
- 258579 cpu_core_0 "58.00000000000001".
- 259005 cpu_core_0 "58.00000000000001".
- 259775 cpu_core_0 "58.00000000000001".
- 260071 cpu_core_0 "58.00000000000001".
- 262322 cpu_core_0 "58.00000000000001".
- 262541 cpu_core_0 "58.00000000000001".
- 263960 cpu_core_0 "58.00000000000001".
- 264366 cpu_core_0 "58.00000000000001".
- 264762 cpu_core_0 "58.00000000000001".
- 265121 cpu_core_0 "58.00000000000001".
- 265122 cpu_core_0 "58.00000000000001".
- 265365 cpu_core_0 "58.00000000000001".
- 266025 cpu_core_0 "58.00000000000001".