Matches in ISWC2014 Benchmark for { ?s ?p 13.725490196078432. }
- 1189058 cpu_core_0 "13.725490196078432".
- 1190012 cpu_core_0 "13.725490196078432".
- 1191787 cpu_core_0 "13.725490196078432".
- 1191799 cpu_core_0 "13.725490196078432".
- 1191926 cpu_core_0 "13.725490196078432".
- 1192555 cpu_core_0 "13.725490196078432".
- 1192877 cpu_core_0 "13.725490196078432".
- 1193684 cpu_core_0 "13.725490196078432".
- 1194455 cpu_core_0 "13.725490196078432".
- 1195620 cpu_core_0 "13.725490196078432".
- 1197510 cpu_core_0 "13.725490196078432".
- 1197710 cpu_core_0 "13.725490196078432".
- 1199709 cpu_core_0 "13.725490196078432".
- 1200116 cpu_core_0 "13.725490196078432".
- 1200226 cpu_core_0 "13.725490196078432".
- 1200558 cpu_core_0 "13.725490196078432".
- 1201385 cpu_core_0 "13.725490196078432".
- 1201472 cpu_core_0 "13.725490196078432".
- 1201636 cpu_core_0 "13.725490196078432".
- 1202914 cpu_core_0 "13.725490196078432".
- 1203289 cpu_core_0 "13.725490196078432".
- 1203519 cpu_core_0 "13.725490196078432".
- 1204057 cpu_core_0 "13.725490196078432".
- 1205553 cpu_core_0 "13.725490196078432".
- 1206568 cpu_core_0 "13.725490196078432".
- 1206945 cpu_core_0 "13.725490196078432".
- 1214628 cpu_core_0 "13.725490196078432".
- 1215346 cpu_core_0 "13.725490196078432".
- 1215804 cpu_core_0 "13.725490196078432".
- 1216844 cpu_core_0 "13.725490196078432".
- 1216933 cpu_core_0 "13.725490196078432".
- 1216961 cpu_core_0 "13.725490196078432".
- 1217272 cpu_core_0 "13.725490196078432".
- 1217453 cpu_core_0 "13.725490196078432".
- 1217732 cpu_core_0 "13.725490196078432".
- 1218098 cpu_core_0 "13.725490196078432".
- 1218503 cpu_core_0 "13.725490196078432".
- 1218699 cpu_core_0 "13.725490196078432".
- 1221748 cpu_core_0 "13.725490196078432".
- 1237316 cpu_core_0 "13.725490196078432".
- 1238480 cpu_core_0 "13.725490196078432".
- 1240403 cpu_core_0 "13.725490196078432".
- 1240457 cpu_core_0 "13.725490196078432".
- 1240610 cpu_core_0 "13.725490196078432".
- 1240691 cpu_core_0 "13.725490196078432".
- 1241465 cpu_core_0 "13.725490196078432".
- 1242453 cpu_core_0 "13.725490196078432".
- 1243238 cpu_core_0 "13.725490196078432".
- 1246195 cpu_core_0 "13.725490196078432".
- 1247360 cpu_core_0 "13.725490196078432".
- 1249173 cpu_core_0 "13.725490196078432".
- 1249693 cpu_core_0 "13.725490196078432".
- 1251611 cpu_core_0 "13.725490196078432".
- 1253355 cpu_core_0 "13.725490196078432".
- 1254091 cpu_core_0 "13.725490196078432".
- 1254470 cpu_core_0 "13.725490196078432".
- 1255115 cpu_core_0 "13.725490196078432".
- 1255134 cpu_core_0 "13.725490196078432".
- 1255697 cpu_core_0 "13.725490196078432".
- 1255936 cpu_core_0 "13.725490196078432".
- 1256277 cpu_core_0 "13.725490196078432".
- 1256743 cpu_core_0 "13.725490196078432".
- 1257099 cpu_core_0 "13.725490196078432".
- 1257170 cpu_core_0 "13.725490196078432".
- 1257380 cpu_core_0 "13.725490196078432".
- 1257595 cpu_core_0 "13.725490196078432".
- 1257745 cpu_core_0 "13.725490196078432".
- 1257983 cpu_core_0 "13.725490196078432".
- 1258122 cpu_core_0 "13.725490196078432".
- 1258870 cpu_core_0 "13.725490196078432".
- 1259380 cpu_core_0 "13.725490196078432".
- 1259954 cpu_core_0 "13.725490196078432".
- 1260604 cpu_core_0 "13.725490196078432".
- 1261458 cpu_core_0 "13.725490196078432".
- 1265022 cpu_core_0 "13.725490196078432".
- 1267305 cpu_core_0 "13.725490196078432".
- 1267909 cpu_core_0 "13.725490196078432".
- 1268830 cpu_core_0 "13.725490196078432".
- 1268936 cpu_core_0 "13.725490196078432".
- 1269069 cpu_core_0 "13.725490196078432".
- 1269185 cpu_core_0 "13.725490196078432".
- 1270219 cpu_core_0 "13.725490196078432".
- 1270715 cpu_core_0 "13.725490196078432".
- 1270998 cpu_core_0 "13.725490196078432".
- 1271612 cpu_core_0 "13.725490196078432".
- 1272941 cpu_core_0 "13.725490196078432".
- 1274665 cpu_core_0 "13.725490196078432".
- 1274748 cpu_core_0 "13.725490196078432".
- 1275024 cpu_core_0 "13.725490196078432".
- 1277139 cpu_core_0 "13.725490196078432".
- 1277278 cpu_core_0 "13.725490196078432".
- 1279005 cpu_core_0 "13.725490196078432".
- 1281431 cpu_core_0 "13.725490196078432".
- 1282002 cpu_core_0 "13.725490196078432".
- 1282522 cpu_core_0 "13.725490196078432".
- 1283105 cpu_core_0 "13.725490196078432".
- 1283271 cpu_core_0 "13.725490196078432".
- 1283601 cpu_core_0 "13.725490196078432".
- 1284106 cpu_core_0 "13.725490196078432".
- 1284466 cpu_core_0 "13.725490196078432".