Matches in ISWC2014 Benchmark for { ?s ?p 85.00000000000001. }
- 378469 cpu_core_0 "85.00000000000001".
- 378478 cpu_core_0 "85.00000000000001".
- 378746 cpu_core_0 "85.00000000000001".
- 378901 cpu_core_0 "85.00000000000001".
- 379131 cpu_core_0 "85.00000000000001".
- 379323 cpu_core_0 "85.00000000000001".
- 379604 cpu_core_0 "85.00000000000001".
- 379668 cpu_core_0 "85.00000000000001".
- 379760 cpu_core_0 "85.00000000000001".
- 379797 cpu_core_0 "85.00000000000001".
- 380152 cpu_core_0 "85.00000000000001".
- 380206 cpu_core_0 "85.00000000000001".
- 380349 cpu_core_0 "85.00000000000001".
- 380422 cpu_core_0 "85.00000000000001".
- 380445 cpu_core_0 "85.00000000000001".
- 380498 cpu_core_0 "85.00000000000001".
- 380791 cpu_core_0 "85.00000000000001".
- 381427 cpu_core_0 "85.00000000000001".
- 381734 cpu_core_0 "85.00000000000001".
- 381766 cpu_core_0 "85.00000000000001".
- 381897 cpu_core_0 "85.00000000000001".
- 382531 cpu_core_0 "85.00000000000001".
- 382788 cpu_core_0 "85.00000000000001".
- 382882 cpu_core_0 "85.00000000000001".
- 382985 cpu_core_0 "85.00000000000001".
- 383014 cpu_core_0 "85.00000000000001".
- 383551 cpu_core_0 "85.00000000000001".
- 383607 cpu_core_0 "85.00000000000001".
- 383658 cpu_core_0 "85.00000000000001".
- 383875 cpu_core_0 "85.00000000000001".
- 383891 cpu_core_0 "85.00000000000001".
- 384038 cpu_core_0 "85.00000000000001".
- 384138 cpu_core_0 "85.00000000000001".
- 384313 cpu_core_0 "85.00000000000001".
- 384476 cpu_core_0 "85.00000000000001".
- 384521 cpu_core_0 "85.00000000000001".
- 384556 cpu_core_0 "85.00000000000001".
- 384560 cpu_core_0 "85.00000000000001".
- 384595 cpu_core_0 "85.00000000000001".
- 384668 cpu_core_0 "85.00000000000001".
- 384771 cpu_core_0 "85.00000000000001".
- 385188 cpu_core_0 "85.00000000000001".
- 385385 cpu_core_0 "85.00000000000001".
- 385499 cpu_core_0 "85.00000000000001".
- 385610 cpu_core_0 "85.00000000000001".
- 385767 cpu_core_0 "85.00000000000001".
- 385802 cpu_core_0 "85.00000000000001".
- 385806 cpu_core_0 "85.00000000000001".
- 386194 cpu_core_0 "85.00000000000001".
- 386394 cpu_core_0 "85.00000000000001".
- 386427 cpu_core_0 "85.00000000000001".
- 386554 cpu_core_0 "85.00000000000001".
- 386599 cpu_core_0 "85.00000000000001".
- 386600 cpu_core_0 "85.00000000000001".
- 387048 cpu_core_0 "85.00000000000001".
- 387207 cpu_core_0 "85.00000000000001".
- 387327 cpu_core_0 "85.00000000000001".
- 387595 cpu_core_0 "85.00000000000001".
- 387662 cpu_core_0 "85.00000000000001".
- 387955 cpu_core_0 "85.00000000000001".
- 388017 cpu_core_0 "85.00000000000001".
- 388169 cpu_core_0 "85.00000000000001".
- 388243 cpu_core_0 "85.00000000000001".
- 388577 cpu_core_0 "85.00000000000001".
- 388699 cpu_core_0 "85.00000000000001".
- 388709 cpu_core_0 "85.00000000000001".
- 388897 cpu_core_0 "85.00000000000001".
- 389053 cpu_core_0 "85.00000000000001".
- 389705 cpu_core_0 "85.00000000000001".
- 389740 cpu_core_0 "85.00000000000001".
- 389872 cpu_core_0 "85.00000000000001".
- 390387 cpu_core_0 "85.00000000000001".
- 390392 cpu_core_0 "85.00000000000001".
- 390522 cpu_core_0 "85.00000000000001".
- 390924 cpu_core_0 "85.00000000000001".
- 390929 cpu_core_0 "85.00000000000001".
- 391676 cpu_core_0 "85.00000000000001".
- 391773 cpu_core_0 "85.00000000000001".
- 392328 cpu_core_0 "85.00000000000001".
- 392765 cpu_core_0 "85.00000000000001".
- 392810 cpu_core_0 "85.00000000000001".
- 392997 cpu_core_0 "85.00000000000001".
- 393183 cpu_core_0 "85.00000000000001".
- 393425 cpu_core_0 "85.00000000000001".
- 393516 cpu_core_0 "85.00000000000001".
- 393524 cpu_core_0 "85.00000000000001".
- 393983 cpu_core_0 "85.00000000000001".
- 394358 cpu_core_0 "85.00000000000001".
- 394391 cpu_core_0 "85.00000000000001".
- 395050 cpu_core_0 "85.00000000000001".
- 395418 cpu_core_0 "85.00000000000001".
- 395913 cpu_core_0 "85.00000000000001".
- 395955 cpu_core_0 "85.00000000000001".
- 396171 cpu_core_0 "85.00000000000001".
- 396338 cpu_core_0 "85.00000000000001".
- 396571 cpu_core_0 "85.00000000000001".
- 396643 cpu_core_0 "85.00000000000001".
- 396660 cpu_core_0 "85.00000000000001".
- 396669 cpu_core_0 "85.00000000000001".
- 396764 cpu_core_0 "85.00000000000001".