Matches in ISWC2014 Benchmark for { ?s ?p 86.00000000000001. }
- 440273 cpu_core_0 "86.00000000000001".
- 440657 cpu_core_0 "86.00000000000001".
- 441250 cpu_core_0 "86.00000000000001".
- 441534 cpu_core_0 "86.00000000000001".
- 441536 cpu_core_0 "86.00000000000001".
- 442033 cpu_core_0 "86.00000000000001".
- 442075 cpu_core_0 "86.00000000000001".
- 442159 cpu_core_0 "86.00000000000001".
- 442756 cpu_core_0 "86.00000000000001".
- 442838 cpu_core_0 "86.00000000000001".
- 443344 cpu_core_0 "86.00000000000001".
- 443433 cpu_core_0 "86.00000000000001".
- 443647 cpu_core_0 "86.00000000000001".
- 443800 cpu_core_0 "86.00000000000001".
- 444208 cpu_core_0 "86.00000000000001".
- 444630 cpu_core_0 "86.00000000000001".
- 444938 cpu_core_0 "86.00000000000001".
- 445195 cpu_core_0 "86.00000000000001".
- 446501 cpu_core_0 "86.00000000000001".
- 447632 cpu_core_0 "86.00000000000001".
- 447726 cpu_core_0 "86.00000000000001".
- 448577 cpu_core_0 "86.00000000000001".
- 449189 cpu_core_0 "86.00000000000001".
- 449762 cpu_core_0 "86.00000000000001".
- 451017 cpu_core_0 "86.00000000000001".
- 451147 cpu_core_0 "86.00000000000001".
- 452599 cpu_core_0 "86.00000000000001".
- 453458 cpu_core_0 "86.00000000000001".
- 454584 cpu_core_0 "86.00000000000001".
- 454661 cpu_core_0 "86.00000000000001".
- 455263 cpu_core_0 "86.00000000000001".
- 455291 cpu_core_0 "86.00000000000001".
- 456039 cpu_core_0 "86.00000000000001".
- 456782 cpu_core_0 "86.00000000000001".
- 457426 cpu_core_0 "86.00000000000001".
- 457676 cpu_core_0 "86.00000000000001".
- 458245 cpu_core_0 "86.00000000000001".
- 459347 cpu_core_0 "86.00000000000001".
- 459634 cpu_core_0 "86.00000000000001".
- 460469 cpu_core_0 "86.00000000000001".
- 461703 cpu_core_0 "86.00000000000001".
- 461923 cpu_core_0 "86.00000000000001".
- 463061 cpu_core_0 "86.00000000000001".
- 463683 cpu_core_0 "86.00000000000001".
- 463890 cpu_core_0 "86.00000000000001".
- 464317 cpu_core_0 "86.00000000000001".
- 464955 cpu_core_0 "86.00000000000001".
- 466398 cpu_core_0 "86.00000000000001".
- 466552 cpu_core_0 "86.00000000000001".
- 467601 cpu_core_0 "86.00000000000001".
- 469346 cpu_core_0 "86.00000000000001".
- 469364 cpu_core_0 "86.00000000000001".
- 469521 cpu_core_0 "86.00000000000001".
- 470101 cpu_core_0 "86.00000000000001".
- 470122 cpu_core_0 "86.00000000000001".
- 470174 cpu_core_0 "86.00000000000001".
- 470236 cpu_core_0 "86.00000000000001".
- 472653 cpu_core_0 "86.00000000000001".
- 473087 cpu_core_0 "86.00000000000001".
- 473352 cpu_core_0 "86.00000000000001".
- 473944 cpu_core_0 "86.00000000000001".
- 474512 cpu_core_0 "86.00000000000001".
- 475171 cpu_core_0 "86.00000000000001".
- 475178 cpu_core_0 "86.00000000000001".
- 475507 cpu_core_0 "86.00000000000001".
- 476040 cpu_core_0 "86.00000000000001".
- 476055 cpu_core_0 "86.00000000000001".
- 476297 cpu_core_0 "86.00000000000001".
- 476369 cpu_core_0 "86.00000000000001".
- 476541 cpu_core_0 "86.00000000000001".
- 476614 cpu_core_0 "86.00000000000001".
- 477880 cpu_core_0 "86.00000000000001".
- 477913 cpu_core_0 "86.00000000000001".
- 478383 cpu_core_0 "86.00000000000001".
- 478453 cpu_core_0 "86.00000000000001".
- 479222 cpu_core_0 "86.00000000000001".
- 479287 cpu_core_0 "86.00000000000001".
- 481688 cpu_core_0 "86.00000000000001".
- 482099 cpu_core_0 "86.00000000000001".
- 482507 cpu_core_0 "86.00000000000001".
- 483332 cpu_core_0 "86.00000000000001".
- 484235 cpu_core_0 "86.00000000000001".
- 485584 cpu_core_0 "86.00000000000001".
- 485597 cpu_core_0 "86.00000000000001".
- 486135 cpu_core_0 "86.00000000000001".
- 486509 cpu_core_0 "86.00000000000001".
- 486770 cpu_core_0 "86.00000000000001".
- 486822 cpu_core_0 "86.00000000000001".
- 487732 cpu_core_0 "86.00000000000001".
- 488087 cpu_core_0 "86.00000000000001".
- 488499 cpu_core_0 "86.00000000000001".
- 489394 cpu_core_0 "86.00000000000001".
- 490165 cpu_core_0 "86.00000000000001".
- 490573 cpu_core_0 "86.00000000000001".
- 491163 cpu_core_0 "86.00000000000001".
- 491242 cpu_core_0 "86.00000000000001".
- 491371 cpu_core_0 "86.00000000000001".
- 491751 cpu_core_0 "86.00000000000001".
- 492328 cpu_core_0 "86.00000000000001".
- 492360 cpu_core_0 "86.00000000000001".