Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 887128 cpu_core_0 "11.76470588235294".
- 887494 cpu_core_0 "11.76470588235294".
- 887910 cpu_core_0 "11.76470588235294".
- 895232 cpu_core_0 "11.76470588235294".
- 895956 cpu_core_0 "11.76470588235294".
- 896737 cpu_core_0 "11.76470588235294".
- 897324 cpu_core_0 "11.76470588235294".
- 901397 cpu_core_0 "11.76470588235294".
- 901417 cpu_core_0 "11.76470588235294".
- 903782 cpu_core_0 "11.76470588235294".
- 905253 cpu_core_0 "11.76470588235294".
- 908495 cpu_core_0 "11.76470588235294".
- 910191 cpu_core_0 "11.76470588235294".
- 912275 cpu_core_0 "11.76470588235294".
- 912501 cpu_core_0 "11.76470588235294".
- 917249 cpu_core_0 "11.76470588235294".
- 924032 cpu_core_0 "11.76470588235294".
- 932049 cpu_core_0 "11.76470588235294".
- 934920 cpu_core_0 "11.76470588235294".
- 935811 cpu_core_0 "11.76470588235294".
- 937805 cpu_core_0 "11.76470588235294".
- 942912 cpu_core_0 "11.76470588235294".
- 943801 cpu_core_0 "11.76470588235294".
- 950464 cpu_core_0 "11.76470588235294".
- 952212 cpu_core_0 "11.76470588235294".
- 953603 cpu_core_0 "11.76470588235294".
- 954248 cpu_core_0 "11.76470588235294".
- 954753 cpu_core_0 "11.76470588235294".
- 964444 cpu_core_0 "11.76470588235294".
- 964624 cpu_core_0 "11.76470588235294".
- 965707 cpu_core_0 "11.76470588235294".
- 967123 cpu_core_0 "11.76470588235294".
- 969051 cpu_core_0 "11.76470588235294".
- 970330 cpu_core_0 "11.76470588235294".
- 981669 cpu_core_0 "11.76470588235294".
- 984474 cpu_core_0 "11.76470588235294".
- 986200 cpu_core_0 "11.76470588235294".
- 991976 cpu_core_0 "11.76470588235294".
- 991979 cpu_core_0 "11.76470588235294".
- 1010944 cpu_core_1 "11.76470588235294".
- 1012375 cpu_core_1 "11.76470588235294".
- 1012822 cpu_core_1 "11.76470588235294".
- 1016404 cpu_core_1 "11.76470588235294".
- 1016729 cpu_core_1 "11.76470588235294".
- 1017424 cpu_core_1 "11.76470588235294".
- 1018516 cpu_core_1 "11.76470588235294".
- 1018588 cpu_core_1 "11.76470588235294".
- 1019027 cpu_core_1 "11.76470588235294".
- 1020735 cpu_core_1 "11.76470588235294".
- 1021531 cpu_core_1 "11.76470588235294".
- 1022971 cpu_core_1 "11.76470588235294".
- 1026044 cpu_core_1 "11.76470588235294".
- 1030168 cpu_core_1 "11.76470588235294".
- 1030339 cpu_core_1 "11.76470588235294".
- 1033053 cpu_core_1 "11.76470588235294".
- 1033159 cpu_core_1 "11.76470588235294".
- 1038594 cpu_core_1 "11.76470588235294".
- 1040768 cpu_core_1 "11.76470588235294".
- 1040863 cpu_core_1 "11.76470588235294".
- 1041265 cpu_core_1 "11.76470588235294".
- 1042097 cpu_core_1 "11.76470588235294".
- 1044760 cpu_core_1 "11.76470588235294".
- 1049975 cpu_core_1 "11.76470588235294".
- 1050810 cpu_core_1 "11.76470588235294".
- 1051922 cpu_core_1 "11.76470588235294".
- 1054164 cpu_core_1 "11.76470588235294".
- 1058395 cpu_core_1 "11.76470588235294".
- 1059035 cpu_core_1 "11.76470588235294".
- 1060066 cpu_core_1 "11.76470588235294".
- 1060328 cpu_core_1 "11.76470588235294".
- 1060673 cpu_core_1 "11.76470588235294".
- 1061222 cpu_core_1 "11.76470588235294".
- 1063491 cpu_core_1 "11.76470588235294".
- 1065253 cpu_core_1 "11.76470588235294".
- 1067362 cpu_core_1 "11.76470588235294".
- 1067400 cpu_core_1 "11.76470588235294".
- 1068412 cpu_core_1 "11.76470588235294".
- 1071679 cpu_core_1 "11.76470588235294".
- 1072306 cpu_core_1 "11.76470588235294".
- 1072564 cpu_core_1 "11.76470588235294".
- 1072619 cpu_core_1 "11.76470588235294".
- 1073090 cpu_core_1 "11.76470588235294".
- 1080445 cpu_core_1 "11.76470588235294".
- 1085111 cpu_core_1 "11.76470588235294".
- 1085127 cpu_core_1 "11.76470588235294".
- 1085493 cpu_core_1 "11.76470588235294".
- 1086149 cpu_core_1 "11.76470588235294".
- 1086803 cpu_core_1 "11.76470588235294".
- 1087648 cpu_core_1 "11.76470588235294".
- 1088658 cpu_core_1 "11.76470588235294".
- 1091136 cpu_core_1 "11.76470588235294".
- 1092513 cpu_core_1 "11.76470588235294".
- 1093151 cpu_core_1 "11.76470588235294".
- 1093219 cpu_core_1 "11.76470588235294".
- 1095097 cpu_core_1 "11.76470588235294".
- 1095330 cpu_core_1 "11.76470588235294".
- 1096238 cpu_core_1 "11.76470588235294".
- 1096683 cpu_core_1 "11.76470588235294".
- 1099209 cpu_core_1 "11.76470588235294".
- 1099274 cpu_core_1 "11.76470588235294".