Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1175899 cpu_core_1 "15.686274509803921".
- 1181651 cpu_core_1 "15.686274509803921".
- 1185531 cpu_core_1 "15.686274509803921".
- 1189154 cpu_core_1 "15.686274509803921".
- 1192641 cpu_core_1 "15.686274509803921".
- 1197260 cpu_core_1 "15.686274509803921".
- 1197699 cpu_core_1 "15.686274509803921".
- 1201987 cpu_core_1 "15.686274509803921".
- 1204601 cpu_core_1 "15.686274509803921".
- 1204723 cpu_core_1 "15.686274509803921".
- 1204809 cpu_core_1 "15.686274509803921".
- 1206852 cpu_core_1 "15.686274509803921".
- 1206953 cpu_core_1 "15.686274509803921".
- 1208076 cpu_core_1 "15.686274509803921".
- 1208559 cpu_core_1 "15.686274509803921".
- 1208733 cpu_core_1 "15.686274509803921".
- 1208783 cpu_core_1 "15.686274509803921".
- 1210336 cpu_core_1 "15.686274509803921".
- 1213003 cpu_core_1 "15.686274509803921".
- 1219554 cpu_core_1 "15.686274509803921".
- 1225728 cpu_core_1 "15.686274509803921".
- 1240928 cpu_core_1 "15.686274509803921".
- 1243166 cpu_core_1 "15.686274509803921".
- 1247009 cpu_core_1 "15.686274509803921".
- 1249772 cpu_core_1 "15.686274509803921".
- 1253180 cpu_core_1 "15.686274509803921".
- 1253263 cpu_core_1 "15.686274509803921".
- 1254587 cpu_core_1 "15.686274509803921".
- 1256266 cpu_core_1 "15.686274509803921".
- 1261950 cpu_core_1 "15.686274509803921".
- 1264437 cpu_core_1 "15.686274509803921".
- 1266055 cpu_core_1 "15.686274509803921".
- 1271178 cpu_core_1 "15.686274509803921".
- 1271294 cpu_core_1 "15.686274509803921".
- 1271374 cpu_core_1 "15.686274509803921".
- 1280314 cpu_core_1 "15.686274509803921".
- 1280867 cpu_core_1 "15.686274509803921".
- 1284933 cpu_core_1 "15.686274509803921".
- 1289219 cpu_core_1 "15.686274509803921".
- 1293812 cpu_core_1 "15.686274509803921".
- 1304013 cpu_core_1 "15.686274509803921".
- 1306633 cpu_core_1 "15.686274509803921".
- 1307613 cpu_core_1 "15.686274509803921".
- 1309183 cpu_core_1 "15.686274509803921".
- 1317775 cpu_core_1 "15.686274509803921".
- 1324965 cpu_core_1 "15.686274509803921".
- 1327348 cpu_core_1 "15.686274509803921".
- 1327558 cpu_core_1 "15.686274509803921".
- 1329308 cpu_core_1 "15.686274509803921".
- 1333646 cpu_core_1 "15.686274509803921".
- 1334122 cpu_core_1 "15.686274509803921".
- 1334624 cpu_core_1 "15.686274509803921".
- 1334703 cpu_core_1 "15.686274509803921".
- 1336180 cpu_core_1 "15.686274509803921".
- 1341409 cpu_core_1 "15.686274509803921".
- 1345141 cpu_core_1 "15.686274509803921".
- 1350079 cpu_core_1 "15.686274509803921".
- 1357304 cpu_core_1 "15.686274509803921".
- 1359025 cpu_core_1 "15.686274509803921".
- 1359264 cpu_core_1 "15.686274509803921".
- 1368168 cpu_core_1 "15.686274509803921".
- 1371044 cpu_core_1 "15.686274509803921".
- 1373401 cpu_core_1 "15.686274509803921".
- 1374044 cpu_core_1 "15.686274509803921".
- 1374691 cpu_core_1 "15.686274509803921".
- 1375799 cpu_core_1 "15.686274509803921".
- 1375810 cpu_core_1 "15.686274509803921".
- 1376031 cpu_core_1 "15.686274509803921".
- 1379387 cpu_core_1 "15.686274509803921".
- 1380777 cpu_core_1 "15.686274509803921".
- 1382637 cpu_core_1 "15.686274509803921".
- 1382752 cpu_core_1 "15.686274509803921".
- 1384015 cpu_core_1 "15.686274509803921".
- 1387638 cpu_core_1 "15.686274509803921".
- 1391912 cpu_core_1 "15.686274509803921".
- 1392435 cpu_core_1 "15.686274509803921".
- 1403337 cpu_core_1 "15.686274509803921".
- 1404193 cpu_core_1 "15.686274509803921".
- 1405847 cpu_core_1 "15.686274509803921".
- 1406864 cpu_core_1 "15.686274509803921".
- 1407221 cpu_core_1 "15.686274509803921".
- 1419066 cpu_core_1 "15.686274509803921".
- 1426184 cpu_core_1 "15.686274509803921".
- 1430611 cpu_core_1 "15.686274509803921".
- 1433816 cpu_core_1 "15.686274509803921".
- 1438234 cpu_core_1 "15.686274509803921".
- 1442519 cpu_core_1 "15.686274509803921".
- 1449323 cpu_core_1 "15.686274509803921".
- 1454645 cpu_core_1 "15.686274509803921".
- 1456923 cpu_core_1 "15.686274509803921".
- 1458990 cpu_core_1 "15.686274509803921".
- 1459978 cpu_core_1 "15.686274509803921".
- 1468147 cpu_core_1 "15.686274509803921".
- 1468397 cpu_core_1 "15.686274509803921".
- 1472885 cpu_core_1 "15.686274509803921".
- 1473542 cpu_core_1 "15.686274509803921".
- 1475815 cpu_core_1 "15.686274509803921".
- 1476788 cpu_core_1 "15.686274509803921".
- 1478856 cpu_core_1 "15.686274509803921".
- 1479275 cpu_core_1 "15.686274509803921".