Matches in ISWC2014 Benchmark for { ?s ?p 15.306122448979592. }
- 1269853 cpu_core_0 "15.306122448979592".
- 1270220 cpu_core_0 "15.306122448979592".
- 1270775 cpu_core_0 "15.306122448979592".
- 1271789 cpu_core_0 "15.306122448979592".
- 1271852 cpu_core_0 "15.306122448979592".
- 1271993 cpu_core_0 "15.306122448979592".
- 1272500 cpu_core_0 "15.306122448979592".
- 1272626 cpu_core_0 "15.306122448979592".
- 1272983 cpu_core_0 "15.306122448979592".
- 1273248 cpu_core_0 "15.306122448979592".
- 1274448 cpu_core_0 "15.306122448979592".
- 1274916 cpu_core_0 "15.306122448979592".
- 1275597 cpu_core_0 "15.306122448979592".
- 1275865 cpu_core_0 "15.306122448979592".
- 1276133 cpu_core_0 "15.306122448979592".
- 1276250 cpu_core_0 "15.306122448979592".
- 1277209 cpu_core_0 "15.306122448979592".
- 1277516 cpu_core_0 "15.306122448979592".
- 1277530 cpu_core_0 "15.306122448979592".
- 1278152 cpu_core_0 "15.306122448979592".
- 1278431 cpu_core_0 "15.306122448979592".
- 1279194 cpu_core_0 "15.306122448979592".
- 1280314 cpu_core_0 "15.306122448979592".
- 1280582 cpu_core_0 "15.306122448979592".
- 1281094 cpu_core_0 "15.306122448979592".
- 1281105 cpu_core_0 "15.306122448979592".
- 1281820 cpu_core_0 "15.306122448979592".
- 1281900 cpu_core_0 "15.306122448979592".
- 1281959 cpu_core_0 "15.306122448979592".
- 1283176 cpu_core_0 "15.306122448979592".
- 1283326 cpu_core_0 "15.306122448979592".
- 1283935 cpu_core_0 "15.306122448979592".
- 1283999 cpu_core_0 "15.306122448979592".
- 1284722 cpu_core_0 "15.306122448979592".
- 1285011 cpu_core_0 "15.306122448979592".
- 1285387 cpu_core_0 "15.306122448979592".
- 1285752 cpu_core_0 "15.306122448979592".
- 1286528 cpu_core_0 "15.306122448979592".
- 1286879 cpu_core_0 "15.306122448979592".
- 1287259 cpu_core_0 "15.306122448979592".
- 1291021 cpu_core_0 "15.306122448979592".
- 1292300 cpu_core_0 "15.306122448979592".
- 1292328 cpu_core_0 "15.306122448979592".
- 1292670 cpu_core_0 "15.306122448979592".
- 1292720 cpu_core_0 "15.306122448979592".
- 1293822 cpu_core_0 "15.306122448979592".
- 1293919 cpu_core_0 "15.306122448979592".
- 1294506 cpu_core_0 "15.306122448979592".
- 1295112 cpu_core_0 "15.306122448979592".
- 1295670 cpu_core_0 "15.306122448979592".
- 1295685 cpu_core_0 "15.306122448979592".
- 1295857 cpu_core_0 "15.306122448979592".
- 1295914 cpu_core_0 "15.306122448979592".
- 1295982 cpu_core_0 "15.306122448979592".
- 1295997 cpu_core_0 "15.306122448979592".
- 1297279 cpu_core_0 "15.306122448979592".
- 1298670 cpu_core_0 "15.306122448979592".
- 1299259 cpu_core_0 "15.306122448979592".
- 1299293 cpu_core_0 "15.306122448979592".
- 1299922 cpu_core_0 "15.306122448979592".
- 1300141 cpu_core_0 "15.306122448979592".
- 1300157 cpu_core_0 "15.306122448979592".
- 1300209 cpu_core_0 "15.306122448979592".
- 1300359 cpu_core_0 "15.306122448979592".
- 1300890 cpu_core_0 "15.306122448979592".
- 1301129 cpu_core_0 "15.306122448979592".
- 1301824 cpu_core_0 "15.306122448979592".
- 1302305 cpu_core_0 "15.306122448979592".
- 1302668 cpu_core_0 "15.306122448979592".
- 1302979 cpu_core_0 "15.306122448979592".
- 1303252 cpu_core_0 "15.306122448979592".
- 1303571 cpu_core_0 "15.306122448979592".
- 1303625 cpu_core_0 "15.306122448979592".
- 1304225 cpu_core_0 "15.306122448979592".
- 1304227 cpu_core_0 "15.306122448979592".
- 1304276 cpu_core_0 "15.306122448979592".
- 1304489 cpu_core_0 "15.306122448979592".
- 1305245 cpu_core_0 "15.306122448979592".
- 1305488 cpu_core_0 "15.306122448979592".
- 1306898 cpu_core_0 "15.306122448979592".
- 1307740 cpu_core_0 "15.306122448979592".
- 1307954 cpu_core_0 "15.306122448979592".
- 1308182 cpu_core_0 "15.306122448979592".
- 1308349 cpu_core_0 "15.306122448979592".
- 1308466 cpu_core_0 "15.306122448979592".
- 1308690 cpu_core_0 "15.306122448979592".
- 1309194 cpu_core_0 "15.306122448979592".
- 1309735 cpu_core_0 "15.306122448979592".
- 1312314 cpu_core_0 "15.306122448979592".
- 1312900 cpu_core_0 "15.306122448979592".
- 1313189 cpu_core_0 "15.306122448979592".
- 1313646 cpu_core_0 "15.306122448979592".
- 1313834 cpu_core_0 "15.306122448979592".
- 1313916 cpu_core_0 "15.306122448979592".
- 1314882 cpu_core_0 "15.306122448979592".
- 1314952 cpu_core_0 "15.306122448979592".
- 1315119 cpu_core_0 "15.306122448979592".
- 1315174 cpu_core_0 "15.306122448979592".
- 1315886 cpu_core_0 "15.306122448979592".
- 1317738 cpu_core_0 "15.306122448979592".