Matches in ISWC2014 Benchmark for { ?s ?p 13.26530612244898. }
- 1190810 cpu_core_0 "13.26530612244898".
- 1190817 cpu_core_0 "13.26530612244898".
- 1191175 cpu_core_0 "13.26530612244898".
- 1193839 cpu_core_0 "13.26530612244898".
- 1195822 cpu_core_0 "13.26530612244898".
- 1195886 cpu_core_0 "13.26530612244898".
- 1196325 cpu_core_0 "13.26530612244898".
- 1196926 cpu_core_0 "13.26530612244898".
- 1196964 cpu_core_0 "13.26530612244898".
- 1197183 cpu_core_0 "13.26530612244898".
- 1197258 cpu_core_0 "13.26530612244898".
- 1197266 cpu_core_0 "13.26530612244898".
- 1197420 cpu_core_0 "13.26530612244898".
- 1197571 cpu_core_0 "13.26530612244898".
- 1197746 cpu_core_0 "13.26530612244898".
- 1198132 cpu_core_0 "13.26530612244898".
- 1198261 cpu_core_0 "13.26530612244898".
- 1199070 cpu_core_0 "13.26530612244898".
- 1199450 cpu_core_0 "13.26530612244898".
- 1199713 cpu_core_0 "13.26530612244898".
- 1200056 cpu_core_0 "13.26530612244898".
- 1200430 cpu_core_0 "13.26530612244898".
- 1201114 cpu_core_0 "13.26530612244898".
- 1201117 cpu_core_0 "13.26530612244898".
- 1201532 cpu_core_0 "13.26530612244898".
- 1201567 cpu_core_0 "13.26530612244898".
- 1201666 cpu_core_0 "13.26530612244898".
- 1202104 cpu_core_0 "13.26530612244898".
- 1203281 cpu_core_0 "13.26530612244898".
- 1203338 cpu_core_0 "13.26530612244898".
- 1203688 cpu_core_0 "13.26530612244898".
- 1204418 cpu_core_0 "13.26530612244898".
- 1204609 cpu_core_0 "13.26530612244898".
- 1204652 cpu_core_0 "13.26530612244898".
- 1204745 cpu_core_0 "13.26530612244898".
- 1204869 cpu_core_0 "13.26530612244898".
- 1204921 cpu_core_0 "13.26530612244898".
- 1206675 cpu_core_0 "13.26530612244898".
- 1207141 cpu_core_0 "13.26530612244898".
- 1211414 cpu_core_0 "13.26530612244898".
- 1213872 cpu_core_0 "13.26530612244898".
- 1214189 cpu_core_0 "13.26530612244898".
- 1214190 cpu_core_0 "13.26530612244898".
- 1214410 cpu_core_0 "13.26530612244898".
- 1214596 cpu_core_0 "13.26530612244898".
- 1214714 cpu_core_0 "13.26530612244898".
- 1214804 cpu_core_0 "13.26530612244898".
- 1214848 cpu_core_0 "13.26530612244898".
- 1214861 cpu_core_0 "13.26530612244898".
- 1215688 cpu_core_0 "13.26530612244898".
- 1215911 cpu_core_0 "13.26530612244898".
- 1217314 cpu_core_0 "13.26530612244898".
- 1217833 cpu_core_0 "13.26530612244898".
- 1217853 cpu_core_0 "13.26530612244898".
- 1217894 cpu_core_0 "13.26530612244898".
- 1218560 cpu_core_0 "13.26530612244898".
- 1218579 cpu_core_0 "13.26530612244898".
- 1218696 cpu_core_0 "13.26530612244898".
- 1218760 cpu_core_0 "13.26530612244898".
- 1218877 cpu_core_0 "13.26530612244898".
- 1218923 cpu_core_0 "13.26530612244898".
- 1218942 cpu_core_0 "13.26530612244898".
- 1218949 cpu_core_0 "13.26530612244898".
- 1219285 cpu_core_0 "13.26530612244898".
- 1219317 cpu_core_0 "13.26530612244898".
- 1219710 cpu_core_0 "13.26530612244898".
- 1220904 cpu_core_0 "13.26530612244898".
- 1220912 cpu_core_0 "13.26530612244898".
- 1221347 cpu_core_0 "13.26530612244898".
- 1226316 cpu_core_0 "13.26530612244898".
- 1227456 cpu_core_0 "13.26530612244898".
- 1232833 cpu_core_0 "13.26530612244898".
- 1235430 cpu_core_0 "13.26530612244898".
- 1235445 cpu_core_0 "13.26530612244898".
- 1236172 cpu_core_0 "13.26530612244898".
- 1236177 cpu_core_0 "13.26530612244898".
- 1236269 cpu_core_0 "13.26530612244898".
- 1236609 cpu_core_0 "13.26530612244898".
- 1236804 cpu_core_0 "13.26530612244898".
- 1237288 cpu_core_0 "13.26530612244898".
- 1237865 cpu_core_0 "13.26530612244898".
- 1238481 cpu_core_0 "13.26530612244898".
- 1238518 cpu_core_0 "13.26530612244898".
- 1238699 cpu_core_0 "13.26530612244898".
- 1238809 cpu_core_0 "13.26530612244898".
- 1238924 cpu_core_0 "13.26530612244898".
- 1238944 cpu_core_0 "13.26530612244898".
- 1238970 cpu_core_0 "13.26530612244898".
- 1239374 cpu_core_0 "13.26530612244898".
- 1239629 cpu_core_0 "13.26530612244898".
- 1240968 cpu_core_0 "13.26530612244898".
- 1241931 cpu_core_0 "13.26530612244898".
- 1243072 cpu_core_0 "13.26530612244898".
- 1243160 cpu_core_0 "13.26530612244898".
- 1243179 cpu_core_0 "13.26530612244898".
- 1243404 cpu_core_0 "13.26530612244898".
- 1243411 cpu_core_0 "13.26530612244898".
- 1244018 cpu_core_0 "13.26530612244898".
- 1244430 cpu_core_0 "13.26530612244898".
- 1244498 cpu_core_0 "13.26530612244898".