Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 361491 cpu_core_0 "15.000000000000002".
- 361611 cpu_core_0 "15.000000000000002".
- 361857 cpu_core_0 "15.000000000000002".
- 361992 cpu_core_0 "15.000000000000002".
- 362217 cpu_core_0 "15.000000000000002".
- 362463 cpu_core_0 "15.000000000000002".
- 362464 cpu_core_0 "15.000000000000002".
- 362518 cpu_core_0 "15.000000000000002".
- 363460 cpu_core_0 "15.000000000000002".
- 364019 cpu_core_0 "15.000000000000002".
- 367807 cpu_core_0 "15.000000000000002".
- 376963 cpu_core_0 "15.000000000000002".
- 379054 cpu_core_0 "15.000000000000002".
- 380762 cpu_core_0 "15.000000000000002".
- 387531 cpu_core_0 "15.000000000000002".
- 392566 cpu_core_0 "15.000000000000002".
- 395773 cpu_core_0 "15.000000000000002".
- 395798 cpu_core_0 "15.000000000000002".
- 401795 cpu_core_0 "15.000000000000002".
- 401992 cpu_core_0 "15.000000000000002".
- 407391 cpu_core_0 "15.000000000000002".
- 407776 cpu_core_0 "15.000000000000002".
- 408249 cpu_core_0 "15.000000000000002".
- 408456 cpu_core_0 "15.000000000000002".
- 408480 cpu_core_0 "15.000000000000002".
- 408887 cpu_core_0 "15.000000000000002".
- 409336 cpu_core_0 "15.000000000000002".
- 409422 cpu_core_0 "15.000000000000002".
- 409652 cpu_core_0 "15.000000000000002".
- 409865 cpu_core_0 "15.000000000000002".
- 410687 cpu_core_0 "15.000000000000002".
- 410707 cpu_core_0 "15.000000000000002".
- 411169 cpu_core_0 "15.000000000000002".
- 411363 cpu_core_0 "15.000000000000002".
- 411372 cpu_core_0 "15.000000000000002".
- 411586 cpu_core_0 "15.000000000000002".
- 411969 cpu_core_0 "15.000000000000002".
- 412978 cpu_core_0 "15.000000000000002".
- 414322 cpu_core_0 "15.000000000000002".
- 414390 cpu_core_0 "15.000000000000002".
- 414403 cpu_core_0 "15.000000000000002".
- 414476 cpu_core_0 "15.000000000000002".
- 414605 cpu_core_0 "15.000000000000002".
- 414737 cpu_core_0 "15.000000000000002".
- 414802 cpu_core_0 "15.000000000000002".
- 415377 cpu_core_0 "15.000000000000002".
- 415671 cpu_core_0 "15.000000000000002".
- 415803 cpu_core_0 "15.000000000000002".
- 415879 cpu_core_0 "15.000000000000002".
- 416240 cpu_core_0 "15.000000000000002".
- 416724 cpu_core_0 "15.000000000000002".
- 417227 cpu_core_0 "15.000000000000002".
- 417360 cpu_core_0 "15.000000000000002".
- 417433 cpu_core_0 "15.000000000000002".
- 417624 cpu_core_0 "15.000000000000002".
- 419333 cpu_core_0 "15.000000000000002".
- 419738 cpu_core_0 "15.000000000000002".
- 420256 cpu_core_0 "15.000000000000002".
- 420490 cpu_core_0 "15.000000000000002".
- 420574 cpu_core_0 "15.000000000000002".
- 420659 cpu_core_0 "15.000000000000002".
- 421063 cpu_core_0 "15.000000000000002".
- 421140 cpu_core_0 "15.000000000000002".
- 421817 cpu_core_0 "15.000000000000002".
- 422337 cpu_core_0 "15.000000000000002".
- 423196 cpu_core_0 "15.000000000000002".
- 423729 cpu_core_0 "15.000000000000002".
- 424257 cpu_core_0 "15.000000000000002".
- 424712 cpu_core_0 "15.000000000000002".
- 424949 cpu_core_0 "15.000000000000002".
- 424982 cpu_core_0 "15.000000000000002".
- 426065 cpu_core_0 "15.000000000000002".
- 426470 cpu_core_0 "15.000000000000002".
- 426635 cpu_core_0 "15.000000000000002".
- 426814 cpu_core_0 "15.000000000000002".
- 426817 cpu_core_0 "15.000000000000002".
- 426950 cpu_core_0 "15.000000000000002".
- 427205 cpu_core_0 "15.000000000000002".
- 427341 cpu_core_0 "15.000000000000002".
- 427844 cpu_core_0 "15.000000000000002".
- 428221 cpu_core_0 "15.000000000000002".
- 428400 cpu_core_0 "15.000000000000002".
- 429647 cpu_core_0 "15.000000000000002".
- 429728 cpu_core_0 "15.000000000000002".
- 430109 cpu_core_0 "15.000000000000002".
- 430146 cpu_core_0 "15.000000000000002".
- 430369 cpu_core_0 "15.000000000000002".
- 430736 cpu_core_0 "15.000000000000002".
- 430792 cpu_core_0 "15.000000000000002".
- 431042 cpu_core_0 "15.000000000000002".
- 431176 cpu_core_0 "15.000000000000002".
- 432350 cpu_core_0 "15.000000000000002".
- 432442 cpu_core_0 "15.000000000000002".
- 432494 cpu_core_0 "15.000000000000002".
- 432698 cpu_core_0 "15.000000000000002".
- 432865 cpu_core_0 "15.000000000000002".
- 432962 cpu_core_0 "15.000000000000002".
- 433231 cpu_core_0 "15.000000000000002".
- 433401 cpu_core_0 "15.000000000000002".
- 433415 cpu_core_0 "15.000000000000002".