Matches in ISWC2014 Benchmark for { ?s ?p 9.803921568627452. }
- 1162308 cpu_core_0 "9.803921568627452".
- 1164565 cpu_core_0 "9.803921568627452".
- 1164702 cpu_core_0 "9.803921568627452".
- 1164733 cpu_core_0 "9.803921568627452".
- 1165673 cpu_core_0 "9.803921568627452".
- 1166504 cpu_core_0 "9.803921568627452".
- 1166670 cpu_core_0 "9.803921568627452".
- 1166790 cpu_core_0 "9.803921568627452".
- 1166796 cpu_core_0 "9.803921568627452".
- 1167040 cpu_core_0 "9.803921568627452".
- 1167136 cpu_core_0 "9.803921568627452".
- 1167383 cpu_core_0 "9.803921568627452".
- 1167593 cpu_core_0 "9.803921568627452".
- 1167786 cpu_core_0 "9.803921568627452".
- 1168000 cpu_core_0 "9.803921568627452".
- 1168160 cpu_core_0 "9.803921568627452".
- 1168823 cpu_core_0 "9.803921568627452".
- 1168846 cpu_core_0 "9.803921568627452".
- 1170317 cpu_core_0 "9.803921568627452".
- 1171718 cpu_core_0 "9.803921568627452".
- 1172334 cpu_core_0 "9.803921568627452".
- 1173830 cpu_core_0 "9.803921568627452".
- 1173975 cpu_core_0 "9.803921568627452".
- 1174704 cpu_core_0 "9.803921568627452".
- 1175025 cpu_core_0 "9.803921568627452".
- 1177104 cpu_core_0 "9.803921568627452".
- 1177306 cpu_core_0 "9.803921568627452".
- 1177394 cpu_core_0 "9.803921568627452".
- 1178194 cpu_core_0 "9.803921568627452".
- 1178346 cpu_core_0 "9.803921568627452".
- 1178823 cpu_core_0 "9.803921568627452".
- 1179284 cpu_core_0 "9.803921568627452".
- 1179917 cpu_core_0 "9.803921568627452".
- 1179924 cpu_core_0 "9.803921568627452".
- 1181977 cpu_core_0 "9.803921568627452".
- 1184275 cpu_core_0 "9.803921568627452".
- 1184318 cpu_core_0 "9.803921568627452".
- 1185034 cpu_core_0 "9.803921568627452".
- 1185874 cpu_core_0 "9.803921568627452".
- 1187222 cpu_core_0 "9.803921568627452".
- 1188213 cpu_core_0 "9.803921568627452".
- 1188315 cpu_core_0 "9.803921568627452".
- 1189997 cpu_core_0 "9.803921568627452".
- 1190204 cpu_core_0 "9.803921568627452".
- 1190472 cpu_core_0 "9.803921568627452".
- 1191319 cpu_core_0 "9.803921568627452".
- 1193053 cpu_core_0 "9.803921568627452".
- 1193303 cpu_core_0 "9.803921568627452".
- 1193688 cpu_core_0 "9.803921568627452".
- 1194111 cpu_core_0 "9.803921568627452".
- 1195738 cpu_core_0 "9.803921568627452".
- 1195784 cpu_core_0 "9.803921568627452".
- 1195978 cpu_core_0 "9.803921568627452".
- 1196846 cpu_core_0 "9.803921568627452".
- 1197222 cpu_core_0 "9.803921568627452".
- 1199189 cpu_core_0 "9.803921568627452".
- 1201503 cpu_core_0 "9.803921568627452".
- 1202840 cpu_core_0 "9.803921568627452".
- 1204267 cpu_core_0 "9.803921568627452".
- 1204590 cpu_core_0 "9.803921568627452".
- 1204593 cpu_core_0 "9.803921568627452".
- 1206766 cpu_core_0 "9.803921568627452".
- 1206973 cpu_core_0 "9.803921568627452".
- 1211876 cpu_core_0 "9.803921568627452".
- 1212804 cpu_core_0 "9.803921568627452".
- 1213686 cpu_core_0 "9.803921568627452".
- 1214024 cpu_core_0 "9.803921568627452".
- 1214415 cpu_core_0 "9.803921568627452".
- 1214519 cpu_core_0 "9.803921568627452".
- 1214740 cpu_core_0 "9.803921568627452".
- 1215254 cpu_core_0 "9.803921568627452".
- 1215574 cpu_core_0 "9.803921568627452".
- 1215978 cpu_core_0 "9.803921568627452".
- 1216095 cpu_core_0 "9.803921568627452".
- 1216932 cpu_core_0 "9.803921568627452".
- 1217017 cpu_core_0 "9.803921568627452".
- 1217051 cpu_core_0 "9.803921568627452".
- 1217331 cpu_core_0 "9.803921568627452".
- 1217478 cpu_core_0 "9.803921568627452".
- 1217643 cpu_core_0 "9.803921568627452".
- 1217860 cpu_core_0 "9.803921568627452".
- 1218278 cpu_core_0 "9.803921568627452".
- 1218364 cpu_core_0 "9.803921568627452".
- 1218391 cpu_core_0 "9.803921568627452".
- 1218602 cpu_core_0 "9.803921568627452".
- 1218781 cpu_core_0 "9.803921568627452".
- 1218795 cpu_core_0 "9.803921568627452".
- 1219092 cpu_core_0 "9.803921568627452".
- 1226967 cpu_core_0 "9.803921568627452".
- 1237309 cpu_core_0 "9.803921568627452".
- 1237495 cpu_core_0 "9.803921568627452".
- 1238663 cpu_core_0 "9.803921568627452".
- 1239393 cpu_core_0 "9.803921568627452".
- 1240678 cpu_core_0 "9.803921568627452".
- 1241123 cpu_core_0 "9.803921568627452".
- 1241128 cpu_core_0 "9.803921568627452".
- 1241981 cpu_core_0 "9.803921568627452".
- 1242561 cpu_core_0 "9.803921568627452".
- 1242652 cpu_core_0 "9.803921568627452".
- 1243365 cpu_core_0 "9.803921568627452".