Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1101463 cpu_core_1 "11.76470588235294".
- 1105152 cpu_core_1 "11.76470588235294".
- 1106506 cpu_core_1 "11.76470588235294".
- 1109096 cpu_core_1 "11.76470588235294".
- 1109429 cpu_core_1 "11.76470588235294".
- 1114410 cpu_core_1 "11.76470588235294".
- 1114775 cpu_core_1 "11.76470588235294".
- 1115224 cpu_core_1 "11.76470588235294".
- 1115526 cpu_core_1 "11.76470588235294".
- 1118573 cpu_core_1 "11.76470588235294".
- 1118577 cpu_core_1 "11.76470588235294".
- 1122067 cpu_core_1 "11.76470588235294".
- 1122445 cpu_core_1 "11.76470588235294".
- 1128417 cpu_core_1 "11.76470588235294".
- 1128439 cpu_core_1 "11.76470588235294".
- 1128659 cpu_core_1 "11.76470588235294".
- 1129000 cpu_core_1 "11.76470588235294".
- 1129923 cpu_core_1 "11.76470588235294".
- 1132338 cpu_core_1 "11.76470588235294".
- 1133296 cpu_core_1 "11.76470588235294".
- 1133788 cpu_core_1 "11.76470588235294".
- 1136855 cpu_core_1 "11.76470588235294".
- 1136876 cpu_core_1 "11.76470588235294".
- 1137206 cpu_core_1 "11.76470588235294".
- 1138322 cpu_core_1 "11.76470588235294".
- 1140522 cpu_core_1 "11.76470588235294".
- 1140941 cpu_core_1 "11.76470588235294".
- 1142796 cpu_core_1 "11.76470588235294".
- 1142948 cpu_core_1 "11.76470588235294".
- 1146411 cpu_core_1 "11.76470588235294".
- 1149855 cpu_core_1 "11.76470588235294".
- 1150309 cpu_core_1 "11.76470588235294".
- 1151514 cpu_core_1 "11.76470588235294".
- 1152052 cpu_core_1 "11.76470588235294".
- 1152134 cpu_core_1 "11.76470588235294".
- 1153782 cpu_core_1 "11.76470588235294".
- 1155095 cpu_core_1 "11.76470588235294".
- 1155623 cpu_core_1 "11.76470588235294".
- 1157010 cpu_core_1 "11.76470588235294".
- 115928 cpu_core_1 "11.76470588235294".
- 1160354 cpu_core_1 "11.76470588235294".
- 1160723 cpu_core_1 "11.76470588235294".
- 1161198 cpu_core_1 "11.76470588235294".
- 1163631 cpu_core_1 "11.76470588235294".
- 1168396 cpu_core_1 "11.76470588235294".
- 1168436 cpu_core_1 "11.76470588235294".
- 1169405 cpu_core_1 "11.76470588235294".
- 1170079 cpu_core_1 "11.76470588235294".
- 1173172 cpu_core_1 "11.76470588235294".
- 1175928 cpu_core_1 "11.76470588235294".
- 1176082 cpu_core_1 "11.76470588235294".
- 1177190 cpu_core_1 "11.76470588235294".
- 1179847 cpu_core_1 "11.76470588235294".
- 1180839 cpu_core_1 "11.76470588235294".
- 1181099 cpu_core_1 "11.76470588235294".
- 1181973 cpu_core_1 "11.76470588235294".
- 1182851 cpu_core_1 "11.76470588235294".
- 1185578 cpu_core_1 "11.76470588235294".
- 1187248 cpu_core_1 "11.76470588235294".
- 1190592 cpu_core_1 "11.76470588235294".
- 1191206 cpu_core_1 "11.76470588235294".
- 1191709 cpu_core_1 "11.76470588235294".
- 1193221 cpu_core_1 "11.76470588235294".
- 1195944 cpu_core_1 "11.76470588235294".
- 1196378 cpu_core_1 "11.76470588235294".
- 1197327 cpu_core_1 "11.76470588235294".
- 1198260 cpu_core_1 "11.76470588235294".
- 1199153 cpu_core_1 "11.76470588235294".
- 1199464 cpu_core_1 "11.76470588235294".
- 1199861 cpu_core_1 "11.76470588235294".
- 1199953 cpu_core_1 "11.76470588235294".
- 1201618 cpu_core_1 "11.76470588235294".
- 1221464 cpu_core_1 "11.76470588235294".
- 1223730 cpu_core_1 "11.76470588235294".
- 1231484 cpu_core_1 "11.76470588235294".
- 1236204 cpu_core_1 "11.76470588235294".
- 1236968 cpu_core_1 "11.76470588235294".
- 1237389 cpu_core_1 "11.76470588235294".
- 1239431 cpu_core_1 "11.76470588235294".
- 1240521 cpu_core_1 "11.76470588235294".
- 1241186 cpu_core_1 "11.76470588235294".
- 1241207 cpu_core_1 "11.76470588235294".
- 1241887 cpu_core_1 "11.76470588235294".
- 1245079 cpu_core_1 "11.76470588235294".
- 1245759 cpu_core_1 "11.76470588235294".
- 1245885 cpu_core_1 "11.76470588235294".
- 1246155 cpu_core_1 "11.76470588235294".
- 1246664 cpu_core_1 "11.76470588235294".
- 1248299 cpu_core_1 "11.76470588235294".
- 1248774 cpu_core_1 "11.76470588235294".
- 1249547 cpu_core_1 "11.76470588235294".
- 1249630 cpu_core_1 "11.76470588235294".
- 1250340 cpu_core_1 "11.76470588235294".
- 1251674 cpu_core_1 "11.76470588235294".
- 1255175 cpu_core_1 "11.76470588235294".
- 1255697 cpu_core_1 "11.76470588235294".
- 1257106 cpu_core_1 "11.76470588235294".
- 1257736 cpu_core_1 "11.76470588235294".
- 1257783 cpu_core_1 "11.76470588235294".
- 1258320 cpu_core_1 "11.76470588235294".