Matches in ISWC2014 Benchmark for { ?s ?p 85.00000000000001. }
- 397093 cpu_core_0 "85.00000000000001".
- 397243 cpu_core_0 "85.00000000000001".
- 397378 cpu_core_0 "85.00000000000001".
- 397403 cpu_core_0 "85.00000000000001".
- 397414 cpu_core_0 "85.00000000000001".
- 397750 cpu_core_0 "85.00000000000001".
- 397965 cpu_core_0 "85.00000000000001".
- 398913 cpu_core_0 "85.00000000000001".
- 399005 cpu_core_0 "85.00000000000001".
- 399248 cpu_core_0 "85.00000000000001".
- 399471 cpu_core_0 "85.00000000000001".
- 404582 cpu_core_0 "85.00000000000001".
- 407747 cpu_core_0 "85.00000000000001".
- 408647 cpu_core_0 "85.00000000000001".
- 409354 cpu_core_0 "85.00000000000001".
- 409862 cpu_core_0 "85.00000000000001".
- 409977 cpu_core_0 "85.00000000000001".
- 410178 cpu_core_0 "85.00000000000001".
- 411368 cpu_core_0 "85.00000000000001".
- 411996 cpu_core_0 "85.00000000000001".
- 412046 cpu_core_0 "85.00000000000001".
- 412524 cpu_core_0 "85.00000000000001".
- 413235 cpu_core_0 "85.00000000000001".
- 413269 cpu_core_0 "85.00000000000001".
- 413416 cpu_core_0 "85.00000000000001".
- 413963 cpu_core_0 "85.00000000000001".
- 414483 cpu_core_0 "85.00000000000001".
- 416271 cpu_core_0 "85.00000000000001".
- 416293 cpu_core_0 "85.00000000000001".
- 416401 cpu_core_0 "85.00000000000001".
- 416798 cpu_core_0 "85.00000000000001".
- 416808 cpu_core_0 "85.00000000000001".
- 417125 cpu_core_0 "85.00000000000001".
- 417644 cpu_core_0 "85.00000000000001".
- 419763 cpu_core_0 "85.00000000000001".
- 419985 cpu_core_0 "85.00000000000001".
- 420455 cpu_core_0 "85.00000000000001".
- 422962 cpu_core_0 "85.00000000000001".
- 423312 cpu_core_0 "85.00000000000001".
- 423423 cpu_core_0 "85.00000000000001".
- 423657 cpu_core_0 "85.00000000000001".
- 423871 cpu_core_0 "85.00000000000001".
- 424683 cpu_core_0 "85.00000000000001".
- 425255 cpu_core_0 "85.00000000000001".
- 425596 cpu_core_0 "85.00000000000001".
- 426300 cpu_core_0 "85.00000000000001".
- 426512 cpu_core_0 "85.00000000000001".
- 427208 cpu_core_0 "85.00000000000001".
- 430362 cpu_core_0 "85.00000000000001".
- 430563 cpu_core_0 "85.00000000000001".
- 431764 cpu_core_0 "85.00000000000001".
- 431842 cpu_core_0 "85.00000000000001".
- 431901 cpu_core_0 "85.00000000000001".
- 431906 cpu_core_0 "85.00000000000001".
- 432134 cpu_core_0 "85.00000000000001".
- 433024 cpu_core_0 "85.00000000000001".
- 433147 cpu_core_0 "85.00000000000001".
- 434301 cpu_core_0 "85.00000000000001".
- 435116 cpu_core_0 "85.00000000000001".
- 435666 cpu_core_0 "85.00000000000001".
- 436033 cpu_core_0 "85.00000000000001".
- 436115 cpu_core_0 "85.00000000000001".
- 436332 cpu_core_0 "85.00000000000001".
- 437326 cpu_core_0 "85.00000000000001".
- 437570 cpu_core_0 "85.00000000000001".
- 437598 cpu_core_0 "85.00000000000001".
- 437678 cpu_core_0 "85.00000000000001".
- 438075 cpu_core_0 "85.00000000000001".
- 438396 cpu_core_0 "85.00000000000001".
- 438405 cpu_core_0 "85.00000000000001".
- 439137 cpu_core_0 "85.00000000000001".
- 439591 cpu_core_0 "85.00000000000001".
- 440587 cpu_core_0 "85.00000000000001".
- 440797 cpu_core_0 "85.00000000000001".
- 441114 cpu_core_0 "85.00000000000001".
- 441471 cpu_core_0 "85.00000000000001".
- 441488 cpu_core_0 "85.00000000000001".
- 441559 cpu_core_0 "85.00000000000001".
- 442343 cpu_core_0 "85.00000000000001".
- 444076 cpu_core_0 "85.00000000000001".
- 444765 cpu_core_0 "85.00000000000001".
- 444827 cpu_core_0 "85.00000000000001".
- 444883 cpu_core_0 "85.00000000000001".
- 445916 cpu_core_0 "85.00000000000001".
- 446179 cpu_core_0 "85.00000000000001".
- 447687 cpu_core_0 "85.00000000000001".
- 447902 cpu_core_0 "85.00000000000001".
- 448520 cpu_core_0 "85.00000000000001".
- 449445 cpu_core_0 "85.00000000000001".
- 450447 cpu_core_0 "85.00000000000001".
- 450549 cpu_core_0 "85.00000000000001".
- 450638 cpu_core_0 "85.00000000000001".
- 451639 cpu_core_0 "85.00000000000001".
- 453633 cpu_core_0 "85.00000000000001".
- 454058 cpu_core_0 "85.00000000000001".
- 455383 cpu_core_0 "85.00000000000001".
- 455450 cpu_core_0 "85.00000000000001".
- 455700 cpu_core_0 "85.00000000000001".
- 456349 cpu_core_0 "85.00000000000001".
- 456378 cpu_core_0 "85.00000000000001".