Matches in ISWC2014 Benchmark for { ?s ?p 15.625. }
- 1011806 cpu_core_2 "15.625".
- 1011840 cpu_core_2 "15.625".
- 1011969 cpu_core_2 "15.625".
- 1012099 cpu_core_2 "15.625".
- 1012468 cpu_core_2 "15.625".
- 1012488 cpu_core_2 "15.625".
- 1012500 cpu_core_2 "15.625".
- 1012757 cpu_core_2 "15.625".
- 1012763 cpu_core_2 "15.625".
- 1012768 cpu_core_2 "15.625".
- 1013047 cpu_core_2 "15.625".
- 1236112 cpu_core_2 "15.625".
- 1407450 cpu_core_2 "15.625".
- 364190 cpu_core_2 "15.625".
- 403513 cpu_core_2 "15.625".
- 403623 cpu_core_2 "15.625".
- 403681 cpu_core_2 "15.625".
- 403820 cpu_core_2 "15.625".
- 403945 cpu_core_2 "15.625".
- 404006 cpu_core_2 "15.625".
- 514681 cpu_core_2 "15.625".
- 516075 cpu_core_2 "15.625".
- 516213 cpu_core_2 "15.625".
- 516644 cpu_core_2 "15.625".
- 516778 cpu_core_2 "15.625".
- 516788 cpu_core_2 "15.625".
- 516822 cpu_core_2 "15.625".
- 600168 cpu_core_2 "15.625".
- 600965 cpu_core_2 "15.625".
- 601804 cpu_core_2 "15.625".
- 659166 cpu_core_2 "15.625".
- 659537 cpu_core_2 "15.625".
- 660121 cpu_core_2 "15.625".
- 698491 cpu_core_2 "15.625".
- 698523 cpu_core_2 "15.625".
- 698809 cpu_core_2 "15.625".
- 698968 cpu_core_2 "15.625".
- 698991 cpu_core_2 "15.625".
- 699323 cpu_core_2 "15.625".
- 699325 cpu_core_2 "15.625".
- 699554 cpu_core_2 "15.625".
- 699695 cpu_core_2 "15.625".
- 699746 cpu_core_2 "15.625".
- 699779 cpu_core_2 "15.625".
- 699805 cpu_core_2 "15.625".
- 700034 cpu_core_2 "15.625".
- 700387 cpu_core_2 "15.625".
- 700412 cpu_core_2 "15.625".
- 700438 cpu_core_2 "15.625".
- 700485 cpu_core_2 "15.625".
- 791489 cpu_core_2 "15.625".
- 792054 cpu_core_2 "15.625".
- 902901 cpu_core_2 "15.625".
- 903546 cpu_core_2 "15.625".
- 909227 cpu_core_2 "15.625".
- 909298 cpu_core_2 "15.625".
- 909685 cpu_core_2 "15.625".
- 993132 cpu_core_2 "15.625".
- 995128 cpu_core_2 "15.625".
- 1011443 cpu_core_3 "15.625".
- 240463 cpu_core_3 "15.625".
- 240480 cpu_core_3 "15.625".
- 311840 cpu_core_3 "15.625".
- 363840 cpu_core_3 "15.625".
- 402428 cpu_core_3 "15.625".
- 402674 cpu_core_3 "15.625".
- 402697 cpu_core_3 "15.625".
- 402777 cpu_core_3 "15.625".
- 402779 cpu_core_3 "15.625".
- 402940 cpu_core_3 "15.625".
- 403109 cpu_core_3 "15.625".
- 403188 cpu_core_3 "15.625".
- 403259 cpu_core_3 "15.625".
- 403449 cpu_core_3 "15.625".
- 403604 cpu_core_3 "15.625".
- 403638 cpu_core_3 "15.625".
- 403937 cpu_core_3 "15.625".
- 404105 cpu_core_3 "15.625".
- 404176 cpu_core_3 "15.625".
- 516090 cpu_core_3 "15.625".
- 516431 cpu_core_3 "15.625".
- 516659 cpu_core_3 "15.625".
- 517401 cpu_core_3 "15.625".
- 517451 cpu_core_3 "15.625".
- 517511 cpu_core_3 "15.625".
- 517604 cpu_core_3 "15.625".
- 601899 cpu_core_3 "15.625".
- 602344 cpu_core_3 "15.625".
- 659052 cpu_core_3 "15.625".
- 698705 cpu_core_3 "15.625".
- 698768 cpu_core_3 "15.625".
- 698887 cpu_core_3 "15.625".
- 699163 cpu_core_3 "15.625".
- 699187 cpu_core_3 "15.625".
- 699475 cpu_core_3 "15.625".
- 699518 cpu_core_3 "15.625".
- 699563 cpu_core_3 "15.625".
- 699585 cpu_core_3 "15.625".
- 699609 cpu_core_3 "15.625".
- 699994 cpu_core_3 "15.625".