Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1196983 cpu_core_0 "12.745098039215685".
- 1198097 cpu_core_0 "12.745098039215685".
- 1199308 cpu_core_0 "12.745098039215685".
- 1199451 cpu_core_0 "12.745098039215685".
- 1199849 cpu_core_0 "12.745098039215685".
- 1200289 cpu_core_0 "12.745098039215685".
- 1200575 cpu_core_0 "12.745098039215685".
- 1200987 cpu_core_0 "12.745098039215685".
- 1202194 cpu_core_0 "12.745098039215685".
- 1202579 cpu_core_0 "12.745098039215685".
- 1203402 cpu_core_0 "12.745098039215685".
- 1203774 cpu_core_0 "12.745098039215685".
- 1203779 cpu_core_0 "12.745098039215685".
- 1204138 cpu_core_0 "12.745098039215685".
- 1205461 cpu_core_0 "12.745098039215685".
- 1206591 cpu_core_0 "12.745098039215685".
- 1206598 cpu_core_0 "12.745098039215685".
- 1206680 cpu_core_0 "12.745098039215685".
- 1206975 cpu_core_0 "12.745098039215685".
- 1212662 cpu_core_0 "12.745098039215685".
- 1212783 cpu_core_0 "12.745098039215685".
- 1213847 cpu_core_0 "12.745098039215685".
- 1214291 cpu_core_0 "12.745098039215685".
- 1214498 cpu_core_0 "12.745098039215685".
- 1214501 cpu_core_0 "12.745098039215685".
- 1214872 cpu_core_0 "12.745098039215685".
- 1215012 cpu_core_0 "12.745098039215685".
- 1215335 cpu_core_0 "12.745098039215685".
- 1215618 cpu_core_0 "12.745098039215685".
- 1216130 cpu_core_0 "12.745098039215685".
- 1216175 cpu_core_0 "12.745098039215685".
- 1216241 cpu_core_0 "12.745098039215685".
- 1217022 cpu_core_0 "12.745098039215685".
- 1217424 cpu_core_0 "12.745098039215685".
- 1217535 cpu_core_0 "12.745098039215685".
- 1217564 cpu_core_0 "12.745098039215685".
- 1217676 cpu_core_0 "12.745098039215685".
- 1217786 cpu_core_0 "12.745098039215685".
- 1217856 cpu_core_0 "12.745098039215685".
- 1218375 cpu_core_0 "12.745098039215685".
- 1219104 cpu_core_0 "12.745098039215685".
- 1219183 cpu_core_0 "12.745098039215685".
- 1219221 cpu_core_0 "12.745098039215685".
- 1219347 cpu_core_0 "12.745098039215685".
- 1221023 cpu_core_0 "12.745098039215685".
- 1224406 cpu_core_0 "12.745098039215685".
- 1227013 cpu_core_0 "12.745098039215685".
- 1234900 cpu_core_0 "12.745098039215685".
- 1235840 cpu_core_0 "12.745098039215685".
- 1236231 cpu_core_0 "12.745098039215685".
- 1237721 cpu_core_0 "12.745098039215685".
- 1238680 cpu_core_0 "12.745098039215685".
- 1239181 cpu_core_0 "12.745098039215685".
- 1239637 cpu_core_0 "12.745098039215685".
- 1239862 cpu_core_0 "12.745098039215685".
- 1242598 cpu_core_0 "12.745098039215685".
- 1243184 cpu_core_0 "12.745098039215685".
- 1243222 cpu_core_0 "12.745098039215685".
- 1243410 cpu_core_0 "12.745098039215685".
- 1243775 cpu_core_0 "12.745098039215685".
- 1245557 cpu_core_0 "12.745098039215685".
- 1245626 cpu_core_0 "12.745098039215685".
- 1245669 cpu_core_0 "12.745098039215685".
- 1247486 cpu_core_0 "12.745098039215685".
- 1247730 cpu_core_0 "12.745098039215685".
- 1247871 cpu_core_0 "12.745098039215685".
- 1247988 cpu_core_0 "12.745098039215685".
- 1248181 cpu_core_0 "12.745098039215685".
- 1248719 cpu_core_0 "12.745098039215685".
- 1249570 cpu_core_0 "12.745098039215685".
- 1251602 cpu_core_0 "12.745098039215685".
- 1251832 cpu_core_0 "12.745098039215685".
- 1251918 cpu_core_0 "12.745098039215685".
- 1253226 cpu_core_0 "12.745098039215685".
- 1253401 cpu_core_0 "12.745098039215685".
- 1253635 cpu_core_0 "12.745098039215685".
- 1253735 cpu_core_0 "12.745098039215685".
- 1253788 cpu_core_0 "12.745098039215685".
- 1253864 cpu_core_0 "12.745098039215685".
- 1254353 cpu_core_0 "12.745098039215685".
- 1254814 cpu_core_0 "12.745098039215685".
- 1255814 cpu_core_0 "12.745098039215685".
- 1256298 cpu_core_0 "12.745098039215685".
- 1256618 cpu_core_0 "12.745098039215685".
- 1257823 cpu_core_0 "12.745098039215685".
- 1258304 cpu_core_0 "12.745098039215685".
- 1258377 cpu_core_0 "12.745098039215685".
- 1259783 cpu_core_0 "12.745098039215685".
- 1260670 cpu_core_0 "12.745098039215685".
- 1260682 cpu_core_0 "12.745098039215685".
- 1261887 cpu_core_0 "12.745098039215685".
- 1262074 cpu_core_0 "12.745098039215685".
- 1263930 cpu_core_0 "12.745098039215685".
- 1265789 cpu_core_0 "12.745098039215685".
- 1265801 cpu_core_0 "12.745098039215685".
- 1266985 cpu_core_0 "12.745098039215685".
- 1267661 cpu_core_0 "12.745098039215685".
- 1270712 cpu_core_0 "12.745098039215685".
- 1270938 cpu_core_0 "12.745098039215685".
- 1270952 cpu_core_0 "12.745098039215685".