Matches in ISWC2014 Benchmark for { ?s ?p 43.75. }
- 1011474 cpu_core_0 "43.75".
- 1011993 cpu_core_0 "43.75".
- 1012025 cpu_core_0 "43.75".
- 1012479 cpu_core_0 "43.75".
- 1012549 cpu_core_0 "43.75".
- 1012618 cpu_core_0 "43.75".
- 1012685 cpu_core_0 "43.75".
- 1012801 cpu_core_0 "43.75".
- 1212691 cpu_core_0 "43.75".
- 1236998 cpu_core_0 "43.75".
- 1407442 cpu_core_0 "43.75".
- 1671242 cpu_core_0 "43.75".
- 1920653 cpu_core_0 "43.75".
- 240355 cpu_core_0 "43.75".
- 247966 cpu_core_0 "43.75".
- 247998 cpu_core_0 "43.75".
- 256675 cpu_core_0 "43.75".
- 303410 cpu_core_0 "43.75".
- 362866 cpu_core_0 "43.75".
- 363221 cpu_core_0 "43.75".
- 402575 cpu_core_0 "43.75".
- 403173 cpu_core_0 "43.75".
- 403684 cpu_core_0 "43.75".
- 403767 cpu_core_0 "43.75".
- 403869 cpu_core_0 "43.75".
- 404276 cpu_core_0 "43.75".
- 515385 cpu_core_0 "43.75".
- 515654 cpu_core_0 "43.75".
- 517010 cpu_core_0 "43.75".
- 517184 cpu_core_0 "43.75".
- 517306 cpu_core_0 "43.75".
- 659707 cpu_core_0 "43.75".
- 660115 cpu_core_0 "43.75".
- 698604 cpu_core_0 "43.75".
- 698633 cpu_core_0 "43.75".
- 698885 cpu_core_0 "43.75".
- 698944 cpu_core_0 "43.75".
- 699120 cpu_core_0 "43.75".
- 699312 cpu_core_0 "43.75".
- 699563 cpu_core_0 "43.75".
- 699880 cpu_core_0 "43.75".
- 791514 cpu_core_0 "43.75".
- 791930 cpu_core_0 "43.75".
- 792443 cpu_core_0 "43.75".
- 902665 cpu_core_0 "43.75".
- 903608 cpu_core_0 "43.75".
- 903666 cpu_core_0 "43.75".
- 904010 cpu_core_0 "43.75".
- 904157 cpu_core_0 "43.75".
- 904917 cpu_core_0 "43.75".
- 904968 cpu_core_0 "43.75".
- 905067 cpu_core_0 "43.75".
- 993405 cpu_core_0 "43.75".
- 993622 cpu_core_0 "43.75".
- 994335 cpu_core_0 "43.75".
- 994360 cpu_core_0 "43.75".
- 994898 cpu_core_0 "43.75".
- 218687 cpu_core_1 "43.75".
- 285978 cpu_core_1 "43.75".
- 362910 cpu_core_1 "43.75".
- 363695 cpu_core_1 "43.75".
- 403900 cpu_core_1 "43.75".
- 515065 cpu_core_1 "43.75".
- 515113 cpu_core_1 "43.75".
- 515528 cpu_core_1 "43.75".
- 515938 cpu_core_1 "43.75".
- 516862 cpu_core_1 "43.75".
- 600557 cpu_core_1 "43.75".
- 600700 cpu_core_1 "43.75".
- 600721 cpu_core_1 "43.75".
- 600929 cpu_core_1 "43.75".
- 601429 cpu_core_1 "43.75".
- 602132 cpu_core_1 "43.75".
- 602138 cpu_core_1 "43.75".
- 658617 cpu_core_1 "43.75".
- 658662 cpu_core_1 "43.75".
- 659358 cpu_core_1 "43.75".
- 659976 cpu_core_1 "43.75".
- 698175 cpu_core_1 "43.75".
- 698209 cpu_core_1 "43.75".
- 698553 cpu_core_1 "43.75".
- 700148 cpu_core_1 "43.75".
- 791773 cpu_core_1 "43.75".
- 902290 cpu_core_1 "43.75".
- 903280 cpu_core_1 "43.75".
- 903626 cpu_core_1 "43.75".
- 903927 cpu_core_1 "43.75".
- 904143 cpu_core_1 "43.75".
- 904390 cpu_core_1 "43.75".
- 905040 cpu_core_1 "43.75".
- 909777 cpu_core_1 "43.75".
- 993783 cpu_core_1 "43.75".
- 994013 cpu_core_1 "43.75".
- 994925 cpu_core_1 "43.75".
- 995231 cpu_core_1 "43.75".
- 995289 cpu_core_1 "43.75".
- 256626 cpu_core_2 "43.75".
- 363264 cpu_core_2 "43.75".
- 363693 cpu_core_2 "43.75".
- 364347 cpu_core_2 "43.75".