Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1333309 cpu_core_0 "15.686274509803921".
- 1337983 cpu_core_0 "15.686274509803921".
- 1340332 cpu_core_0 "15.686274509803921".
- 1340500 cpu_core_0 "15.686274509803921".
- 1340697 cpu_core_0 "15.686274509803921".
- 1340949 cpu_core_0 "15.686274509803921".
- 1342143 cpu_core_0 "15.686274509803921".
- 1344291 cpu_core_0 "15.686274509803921".
- 1344406 cpu_core_0 "15.686274509803921".
- 1345493 cpu_core_0 "15.686274509803921".
- 1345913 cpu_core_0 "15.686274509803921".
- 1347534 cpu_core_0 "15.686274509803921".
- 1348936 cpu_core_0 "15.686274509803921".
- 1349261 cpu_core_0 "15.686274509803921".
- 1350224 cpu_core_0 "15.686274509803921".
- 1352464 cpu_core_0 "15.686274509803921".
- 1352729 cpu_core_0 "15.686274509803921".
- 1353227 cpu_core_0 "15.686274509803921".
- 1354182 cpu_core_0 "15.686274509803921".
- 1354555 cpu_core_0 "15.686274509803921".
- 1354940 cpu_core_0 "15.686274509803921".
- 1356062 cpu_core_0 "15.686274509803921".
- 1356459 cpu_core_0 "15.686274509803921".
- 1357100 cpu_core_0 "15.686274509803921".
- 1357509 cpu_core_0 "15.686274509803921".
- 1357839 cpu_core_0 "15.686274509803921".
- 1359451 cpu_core_0 "15.686274509803921".
- 1360019 cpu_core_0 "15.686274509803921".
- 1360152 cpu_core_0 "15.686274509803921".
- 1360228 cpu_core_0 "15.686274509803921".
- 1360884 cpu_core_0 "15.686274509803921".
- 1361890 cpu_core_0 "15.686274509803921".
- 1362431 cpu_core_0 "15.686274509803921".
- 1365304 cpu_core_0 "15.686274509803921".
- 1365798 cpu_core_0 "15.686274509803921".
- 1365890 cpu_core_0 "15.686274509803921".
- 1366949 cpu_core_0 "15.686274509803921".
- 1368598 cpu_core_0 "15.686274509803921".
- 1371322 cpu_core_0 "15.686274509803921".
- 1372016 cpu_core_0 "15.686274509803921".
- 1372968 cpu_core_0 "15.686274509803921".
- 1372973 cpu_core_0 "15.686274509803921".
- 1375093 cpu_core_0 "15.686274509803921".
- 1375172 cpu_core_0 "15.686274509803921".
- 1376159 cpu_core_0 "15.686274509803921".
- 1376536 cpu_core_0 "15.686274509803921".
- 1377233 cpu_core_0 "15.686274509803921".
- 1377703 cpu_core_0 "15.686274509803921".
- 1377874 cpu_core_0 "15.686274509803921".
- 1378389 cpu_core_0 "15.686274509803921".
- 1381763 cpu_core_0 "15.686274509803921".
- 1382573 cpu_core_0 "15.686274509803921".
- 1382794 cpu_core_0 "15.686274509803921".
- 1383289 cpu_core_0 "15.686274509803921".
- 1383520 cpu_core_0 "15.686274509803921".
- 1383526 cpu_core_0 "15.686274509803921".
- 1384815 cpu_core_0 "15.686274509803921".
- 1388105 cpu_core_0 "15.686274509803921".
- 1388382 cpu_core_0 "15.686274509803921".
- 1389612 cpu_core_0 "15.686274509803921".
- 1390467 cpu_core_0 "15.686274509803921".
- 1393715 cpu_core_0 "15.686274509803921".
- 1394730 cpu_core_0 "15.686274509803921".
- 1394797 cpu_core_0 "15.686274509803921".
- 1395049 cpu_core_0 "15.686274509803921".
- 1395412 cpu_core_0 "15.686274509803921".
- 1395965 cpu_core_0 "15.686274509803921".
- 1396495 cpu_core_0 "15.686274509803921".
- 1396795 cpu_core_0 "15.686274509803921".
- 1398278 cpu_core_0 "15.686274509803921".
- 1398359 cpu_core_0 "15.686274509803921".
- 1398763 cpu_core_0 "15.686274509803921".
- 1398890 cpu_core_0 "15.686274509803921".
- 1399253 cpu_core_0 "15.686274509803921".
- 1399316 cpu_core_0 "15.686274509803921".
- 1399769 cpu_core_0 "15.686274509803921".
- 1400193 cpu_core_0 "15.686274509803921".
- 1400600 cpu_core_0 "15.686274509803921".
- 1402920 cpu_core_0 "15.686274509803921".
- 1406711 cpu_core_0 "15.686274509803921".
- 1408483 cpu_core_0 "15.686274509803921".
- 1409631 cpu_core_0 "15.686274509803921".
- 1410292 cpu_core_0 "15.686274509803921".
- 1410584 cpu_core_0 "15.686274509803921".
- 1410694 cpu_core_0 "15.686274509803921".
- 1410728 cpu_core_0 "15.686274509803921".
- 1410758 cpu_core_0 "15.686274509803921".
- 1410959 cpu_core_0 "15.686274509803921".
- 1411126 cpu_core_0 "15.686274509803921".
- 1412213 cpu_core_0 "15.686274509803921".
- 1412281 cpu_core_0 "15.686274509803921".
- 1412360 cpu_core_0 "15.686274509803921".
- 1412632 cpu_core_0 "15.686274509803921".
- 1412910 cpu_core_0 "15.686274509803921".
- 1413091 cpu_core_0 "15.686274509803921".
- 1413823 cpu_core_0 "15.686274509803921".
- 1413961 cpu_core_0 "15.686274509803921".
- 1415772 cpu_core_0 "15.686274509803921".
- 1416657 cpu_core_0 "15.686274509803921".
- 1416855 cpu_core_0 "15.686274509803921".