Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1165277 cpu_core_0 "25.742574257425744".
- 1170368 cpu_core_0 "25.742574257425744".
- 1170400 cpu_core_0 "25.742574257425744".
- 1170863 cpu_core_0 "25.742574257425744".
- 1171000 cpu_core_0 "25.742574257425744".
- 1171434 cpu_core_0 "25.742574257425744".
- 1171727 cpu_core_0 "25.742574257425744".
- 1172574 cpu_core_0 "25.742574257425744".
- 1172918 cpu_core_0 "25.742574257425744".
- 1172949 cpu_core_0 "25.742574257425744".
- 1173767 cpu_core_0 "25.742574257425744".
- 1174815 cpu_core_0 "25.742574257425744".
- 1175995 cpu_core_0 "25.742574257425744".
- 1179164 cpu_core_0 "25.742574257425744".
- 1179654 cpu_core_0 "25.742574257425744".
- 117983 cpu_core_0 "25.742574257425744".
- 1180253 cpu_core_0 "25.742574257425744".
- 1180403 cpu_core_0 "25.742574257425744".
- 1181300 cpu_core_0 "25.742574257425744".
- 1181648 cpu_core_0 "25.742574257425744".
- 1182022 cpu_core_0 "25.742574257425744".
- 1183368 cpu_core_0 "25.742574257425744".
- 1187508 cpu_core_0 "25.742574257425744".
- 1187707 cpu_core_0 "25.742574257425744".
- 1188576 cpu_core_0 "25.742574257425744".
- 1189261 cpu_core_0 "25.742574257425744".
- 1190151 cpu_core_0 "25.742574257425744".
- 1191190 cpu_core_0 "25.742574257425744".
- 1191620 cpu_core_0 "25.742574257425744".
- 1192045 cpu_core_0 "25.742574257425744".
- 1192125 cpu_core_0 "25.742574257425744".
- 1193139 cpu_core_0 "25.742574257425744".
- 1193245 cpu_core_0 "25.742574257425744".
- 1193601 cpu_core_0 "25.742574257425744".
- 1194669 cpu_core_0 "25.742574257425744".
- 1195171 cpu_core_0 "25.742574257425744".
- 1195394 cpu_core_0 "25.742574257425744".
- 1195815 cpu_core_0 "25.742574257425744".
- 1196474 cpu_core_0 "25.742574257425744".
- 1197908 cpu_core_0 "25.742574257425744".
- 1198873 cpu_core_0 "25.742574257425744".
- 1200022 cpu_core_0 "25.742574257425744".
- 1200054 cpu_core_0 "25.742574257425744".
- 1200394 cpu_core_0 "25.742574257425744".
- 1201270 cpu_core_0 "25.742574257425744".
- 1201273 cpu_core_0 "25.742574257425744".
- 1201398 cpu_core_0 "25.742574257425744".
- 1202137 cpu_core_0 "25.742574257425744".
- 1203427 cpu_core_0 "25.742574257425744".
- 1204886 cpu_core_0 "25.742574257425744".
- 1206433 cpu_core_0 "25.742574257425744".
- 1207433 cpu_core_0 "25.742574257425744".
- 1207583 cpu_core_0 "25.742574257425744".
- 1208626 cpu_core_0 "25.742574257425744".
- 1209009 cpu_core_0 "25.742574257425744".
- 1209127 cpu_core_0 "25.742574257425744".
- 1209237 cpu_core_0 "25.742574257425744".
- 1209383 cpu_core_0 "25.742574257425744".
- 1209993 cpu_core_0 "25.742574257425744".
- 1210102 cpu_core_0 "25.742574257425744".
- 1210172 cpu_core_0 "25.742574257425744".
- 1210328 cpu_core_0 "25.742574257425744".
- 1210606 cpu_core_0 "25.742574257425744".
- 1211165 cpu_core_0 "25.742574257425744".
- 1211661 cpu_core_0 "25.742574257425744".
- 1211984 cpu_core_0 "25.742574257425744".
- 1212450 cpu_core_0 "25.742574257425744".
- 1212585 cpu_core_0 "25.742574257425744".
- 1213140 cpu_core_0 "25.742574257425744".
- 1219283 cpu_core_0 "25.742574257425744".
- 1219781 cpu_core_0 "25.742574257425744".
- 1220615 cpu_core_0 "25.742574257425744".
- 1221321 cpu_core_0 "25.742574257425744".
- 1222001 cpu_core_0 "25.742574257425744".
- 1222638 cpu_core_0 "25.742574257425744".
- 1223500 cpu_core_0 "25.742574257425744".
- 1225684 cpu_core_0 "25.742574257425744".
- 1225690 cpu_core_0 "25.742574257425744".
- 1225729 cpu_core_0 "25.742574257425744".
- 1225819 cpu_core_0 "25.742574257425744".
- 1226652 cpu_core_0 "25.742574257425744".
- 1227108 cpu_core_0 "25.742574257425744".
- 1227147 cpu_core_0 "25.742574257425744".
- 1228945 cpu_core_0 "25.742574257425744".
- 1229719 cpu_core_0 "25.742574257425744".
- 1230511 cpu_core_0 "25.742574257425744".
- 1231526 cpu_core_0 "25.742574257425744".
- 1232097 cpu_core_0 "25.742574257425744".
- 1232627 cpu_core_0 "25.742574257425744".
- 1232832 cpu_core_0 "25.742574257425744".
- 1232835 cpu_core_0 "25.742574257425744".
- 1232886 cpu_core_0 "25.742574257425744".
- 1233173 cpu_core_0 "25.742574257425744".
- 1235192 cpu_core_0 "25.742574257425744".
- 1235305 cpu_core_0 "25.742574257425744".
- 1235697 cpu_core_0 "25.742574257425744".
- 1235862 cpu_core_0 "25.742574257425744".
- 1237483 cpu_core_0 "25.742574257425744".
- 1237934 cpu_core_0 "25.742574257425744".
- 1238520 cpu_core_0 "25.742574257425744".