Matches in ISWC2014 Benchmark for { ?s ?p 15.625. }
- 404199 cpu_core_0 "15.625".
- 404374 cpu_core_0 "15.625".
- 515703 cpu_core_0 "15.625".
- 515922 cpu_core_0 "15.625".
- 516062 cpu_core_0 "15.625".
- 516733 cpu_core_0 "15.625".
- 517627 cpu_core_0 "15.625".
- 600442 cpu_core_0 "15.625".
- 602122 cpu_core_0 "15.625".
- 660157 cpu_core_0 "15.625".
- 700117 cpu_core_0 "15.625".
- 792089 cpu_core_0 "15.625".
- 792301 cpu_core_0 "15.625".
- 792575 cpu_core_0 "15.625".
- 796274 cpu_core_0 "15.625".
- 796776 cpu_core_0 "15.625".
- 903393 cpu_core_0 "15.625".
- 909645 cpu_core_0 "15.625".
- 1011439 cpu_core_1 "15.625".
- 1011473 cpu_core_1 "15.625".
- 1011578 cpu_core_1 "15.625".
- 1011785 cpu_core_1 "15.625".
- 1011796 cpu_core_1 "15.625".
- 1011979 cpu_core_1 "15.625".
- 1011982 cpu_core_1 "15.625".
- 1011994 cpu_core_1 "15.625".
- 1012055 cpu_core_1 "15.625".
- 1012092 cpu_core_1 "15.625".
- 1012116 cpu_core_1 "15.625".
- 1012120 cpu_core_1 "15.625".
- 1012140 cpu_core_1 "15.625".
- 1012651 cpu_core_1 "15.625".
- 1012835 cpu_core_1 "15.625".
- 1012933 cpu_core_1 "15.625".
- 1013007 cpu_core_1 "15.625".
- 1236242 cpu_core_1 "15.625".
- 1920959 cpu_core_1 "15.625".
- 222687 cpu_core_1 "15.625".
- 248048 cpu_core_1 "15.625".
- 303326 cpu_core_1 "15.625".
- 303426 cpu_core_1 "15.625".
- 303433 cpu_core_1 "15.625".
- 363348 cpu_core_1 "15.625".
- 363479 cpu_core_1 "15.625".
- 363604 cpu_core_1 "15.625".
- 363774 cpu_core_1 "15.625".
- 364415 cpu_core_1 "15.625".
- 402324 cpu_core_1 "15.625".
- 402385 cpu_core_1 "15.625".
- 402651 cpu_core_1 "15.625".
- 402774 cpu_core_1 "15.625".
- 402877 cpu_core_1 "15.625".
- 402937 cpu_core_1 "15.625".
- 403183 cpu_core_1 "15.625".
- 403303 cpu_core_1 "15.625".
- 403374 cpu_core_1 "15.625".
- 403399 cpu_core_1 "15.625".
- 403551 cpu_core_1 "15.625".
- 403702 cpu_core_1 "15.625".
- 403879 cpu_core_1 "15.625".
- 404011 cpu_core_1 "15.625".
- 404171 cpu_core_1 "15.625".
- 404211 cpu_core_1 "15.625".
- 404247 cpu_core_1 "15.625".
- 404307 cpu_core_1 "15.625".
- 514741 cpu_core_1 "15.625".
- 515230 cpu_core_1 "15.625".
- 516559 cpu_core_1 "15.625".
- 517090 cpu_core_1 "15.625".
- 517609 cpu_core_1 "15.625".
- 601931 cpu_core_1 "15.625".
- 602296 cpu_core_1 "15.625".
- 658582 cpu_core_1 "15.625".
- 658949 cpu_core_1 "15.625".
- 659165 cpu_core_1 "15.625".
- 698709 cpu_core_1 "15.625".
- 698711 cpu_core_1 "15.625".
- 698838 cpu_core_1 "15.625".
- 699611 cpu_core_1 "15.625".
- 699676 cpu_core_1 "15.625".
- 699761 cpu_core_1 "15.625".
- 699897 cpu_core_1 "15.625".
- 699962 cpu_core_1 "15.625".
- 700019 cpu_core_1 "15.625".
- 700177 cpu_core_1 "15.625".
- 700275 cpu_core_1 "15.625".
- 700327 cpu_core_1 "15.625".
- 700346 cpu_core_1 "15.625".
- 700410 cpu_core_1 "15.625".
- 902207 cpu_core_1 "15.625".
- 903026 cpu_core_1 "15.625".
- 903546 cpu_core_1 "15.625".
- 903730 cpu_core_1 "15.625".
- 909232 cpu_core_1 "15.625".
- 909799 cpu_core_1 "15.625".
- 909896 cpu_core_1 "15.625".
- 909907 cpu_core_1 "15.625".
- 1011459 cpu_core_2 "15.625".
- 1011469 cpu_core_2 "15.625".
- 1011540 cpu_core_2 "15.625".