Matches in ISWC2014 Benchmark for { ?s ?p 11.76470588235294. }
- 1144333 cpu_core_0 "11.76470588235294".
- 1144359 cpu_core_0 "11.76470588235294".
- 1144603 cpu_core_0 "11.76470588235294".
- 1145454 cpu_core_0 "11.76470588235294".
- 1145706 cpu_core_0 "11.76470588235294".
- 1145863 cpu_core_0 "11.76470588235294".
- 1146004 cpu_core_0 "11.76470588235294".
- 1146456 cpu_core_0 "11.76470588235294".
- 1146533 cpu_core_0 "11.76470588235294".
- 1146706 cpu_core_0 "11.76470588235294".
- 1147022 cpu_core_0 "11.76470588235294".
- 1147278 cpu_core_0 "11.76470588235294".
- 1147477 cpu_core_0 "11.76470588235294".
- 1149024 cpu_core_0 "11.76470588235294".
- 1150466 cpu_core_0 "11.76470588235294".
- 1151556 cpu_core_0 "11.76470588235294".
- 1151793 cpu_core_0 "11.76470588235294".
- 1151888 cpu_core_0 "11.76470588235294".
- 1152890 cpu_core_0 "11.76470588235294".
- 1154397 cpu_core_0 "11.76470588235294".
- 1156187 cpu_core_0 "11.76470588235294".
- 1156877 cpu_core_0 "11.76470588235294".
- 1157327 cpu_core_0 "11.76470588235294".
- 1157501 cpu_core_0 "11.76470588235294".
- 1157646 cpu_core_0 "11.76470588235294".
- 1157981 cpu_core_0 "11.76470588235294".
- 1158856 cpu_core_0 "11.76470588235294".
- 1159556 cpu_core_0 "11.76470588235294".
- 1159585 cpu_core_0 "11.76470588235294".
- 1160548 cpu_core_0 "11.76470588235294".
- 1160604 cpu_core_0 "11.76470588235294".
- 1160851 cpu_core_0 "11.76470588235294".
- 1160983 cpu_core_0 "11.76470588235294".
- 1164255 cpu_core_0 "11.76470588235294".
- 1166414 cpu_core_0 "11.76470588235294".
- 1167119 cpu_core_0 "11.76470588235294".
- 1167758 cpu_core_0 "11.76470588235294".
- 1167952 cpu_core_0 "11.76470588235294".
- 1168068 cpu_core_0 "11.76470588235294".
- 1168709 cpu_core_0 "11.76470588235294".
- 1169398 cpu_core_0 "11.76470588235294".
- 1169455 cpu_core_0 "11.76470588235294".
- 1169605 cpu_core_0 "11.76470588235294".
- 1171438 cpu_core_0 "11.76470588235294".
- 1172481 cpu_core_0 "11.76470588235294".
- 1173011 cpu_core_0 "11.76470588235294".
- 1173515 cpu_core_0 "11.76470588235294".
- 1175937 cpu_core_0 "11.76470588235294".
- 1176413 cpu_core_0 "11.76470588235294".
- 1176977 cpu_core_0 "11.76470588235294".
- 1177719 cpu_core_0 "11.76470588235294".
- 1177930 cpu_core_0 "11.76470588235294".
- 1178216 cpu_core_0 "11.76470588235294".
- 1178806 cpu_core_0 "11.76470588235294".
- 1179767 cpu_core_0 "11.76470588235294".
- 1179855 cpu_core_0 "11.76470588235294".
- 1180359 cpu_core_0 "11.76470588235294".
- 1180375 cpu_core_0 "11.76470588235294".
- 1180817 cpu_core_0 "11.76470588235294".
- 1181324 cpu_core_0 "11.76470588235294".
- 1182151 cpu_core_0 "11.76470588235294".
- 1182859 cpu_core_0 "11.76470588235294".
- 1183860 cpu_core_0 "11.76470588235294".
- 1184111 cpu_core_0 "11.76470588235294".
- 1184182 cpu_core_0 "11.76470588235294".
- 1184340 cpu_core_0 "11.76470588235294".
- 1184980 cpu_core_0 "11.76470588235294".
- 1185996 cpu_core_0 "11.76470588235294".
- 1186153 cpu_core_0 "11.76470588235294".
- 1186519 cpu_core_0 "11.76470588235294".
- 1187078 cpu_core_0 "11.76470588235294".
- 1187128 cpu_core_0 "11.76470588235294".
- 1187516 cpu_core_0 "11.76470588235294".
- 1187622 cpu_core_0 "11.76470588235294".
- 1187826 cpu_core_0 "11.76470588235294".
- 1187859 cpu_core_0 "11.76470588235294".
- 1188195 cpu_core_0 "11.76470588235294".
- 1189032 cpu_core_0 "11.76470588235294".
- 1189854 cpu_core_0 "11.76470588235294".
- 1190049 cpu_core_0 "11.76470588235294".
- 1191197 cpu_core_0 "11.76470588235294".
- 1191847 cpu_core_0 "11.76470588235294".
- 1193631 cpu_core_0 "11.76470588235294".
- 1193999 cpu_core_0 "11.76470588235294".
- 1195057 cpu_core_0 "11.76470588235294".
- 1196748 cpu_core_0 "11.76470588235294".
- 1197874 cpu_core_0 "11.76470588235294".
- 1197927 cpu_core_0 "11.76470588235294".
- 1198732 cpu_core_0 "11.76470588235294".
- 1199001 cpu_core_0 "11.76470588235294".
- 1199971 cpu_core_0 "11.76470588235294".
- 1201540 cpu_core_0 "11.76470588235294".
- 1201655 cpu_core_0 "11.76470588235294".
- 1201665 cpu_core_0 "11.76470588235294".
- 1201920 cpu_core_0 "11.76470588235294".
- 1202376 cpu_core_0 "11.76470588235294".
- 1203454 cpu_core_0 "11.76470588235294".
- 1203686 cpu_core_0 "11.76470588235294".
- 1204507 cpu_core_0 "11.76470588235294".
- 1205590 cpu_core_0 "11.76470588235294".