Matches in ISWC2014 Benchmark for { ?s ?p 15.000000000000002. }
- 1151983 cpu_core_0 "15.000000000000002".
- 1152619 cpu_core_0 "15.000000000000002".
- 1152953 cpu_core_0 "15.000000000000002".
- 1153982 cpu_core_0 "15.000000000000002".
- 1155235 cpu_core_0 "15.000000000000002".
- 1155733 cpu_core_0 "15.000000000000002".
- 1163016 cpu_core_0 "15.000000000000002".
- 1163857 cpu_core_0 "15.000000000000002".
- 1164324 cpu_core_0 "15.000000000000002".
- 1165244 cpu_core_0 "15.000000000000002".
- 1165609 cpu_core_0 "15.000000000000002".
- 1165711 cpu_core_0 "15.000000000000002".
- 1166070 cpu_core_0 "15.000000000000002".
- 1166186 cpu_core_0 "15.000000000000002".
- 1166287 cpu_core_0 "15.000000000000002".
- 1168331 cpu_core_0 "15.000000000000002".
- 1168375 cpu_core_0 "15.000000000000002".
- 1168467 cpu_core_0 "15.000000000000002".
- 1172227 cpu_core_0 "15.000000000000002".
- 1173268 cpu_core_0 "15.000000000000002".
- 1176681 cpu_core_0 "15.000000000000002".
- 1177014 cpu_core_0 "15.000000000000002".
- 1177842 cpu_core_0 "15.000000000000002".
- 1177858 cpu_core_0 "15.000000000000002".
- 1179335 cpu_core_0 "15.000000000000002".
- 1180438 cpu_core_0 "15.000000000000002".
- 1183015 cpu_core_0 "15.000000000000002".
- 1183632 cpu_core_0 "15.000000000000002".
- 1184681 cpu_core_0 "15.000000000000002".
- 1184950 cpu_core_0 "15.000000000000002".
- 1186387 cpu_core_0 "15.000000000000002".
- 1187714 cpu_core_0 "15.000000000000002".
- 1190320 cpu_core_0 "15.000000000000002".
- 1192449 cpu_core_0 "15.000000000000002".
- 1196871 cpu_core_0 "15.000000000000002".
- 1197830 cpu_core_0 "15.000000000000002".
- 1199327 cpu_core_0 "15.000000000000002".
- 1199626 cpu_core_0 "15.000000000000002".
- 1203109 cpu_core_0 "15.000000000000002".
- 1203673 cpu_core_0 "15.000000000000002".
- 1203936 cpu_core_0 "15.000000000000002".
- 1204608 cpu_core_0 "15.000000000000002".
- 1207888 cpu_core_0 "15.000000000000002".
- 1207945 cpu_core_0 "15.000000000000002".
- 1208905 cpu_core_0 "15.000000000000002".
- 1209215 cpu_core_0 "15.000000000000002".
- 1209883 cpu_core_0 "15.000000000000002".
- 1210198 cpu_core_0 "15.000000000000002".
- 1211553 cpu_core_0 "15.000000000000002".
- 1212596 cpu_core_0 "15.000000000000002".
- 1214482 cpu_core_0 "15.000000000000002".
- 1215924 cpu_core_0 "15.000000000000002".
- 1216296 cpu_core_0 "15.000000000000002".
- 1217626 cpu_core_0 "15.000000000000002".
- 1218204 cpu_core_0 "15.000000000000002".
- 1218765 cpu_core_0 "15.000000000000002".
- 1218809 cpu_core_0 "15.000000000000002".
- 1218997 cpu_core_0 "15.000000000000002".
- 1219320 cpu_core_0 "15.000000000000002".
- 1221451 cpu_core_0 "15.000000000000002".
- 1221924 cpu_core_0 "15.000000000000002".
- 122655 cpu_core_0 "15.000000000000002".
- 1227787 cpu_core_0 "15.000000000000002".
- 1232723 cpu_core_0 "15.000000000000002".
- 1234129 cpu_core_0 "15.000000000000002".
- 1235715 cpu_core_0 "15.000000000000002".
- 1235938 cpu_core_0 "15.000000000000002".
- 1235977 cpu_core_0 "15.000000000000002".
- 1235995 cpu_core_0 "15.000000000000002".
- 1236623 cpu_core_0 "15.000000000000002".
- 1238779 cpu_core_0 "15.000000000000002".
- 1242116 cpu_core_0 "15.000000000000002".
- 1244401 cpu_core_0 "15.000000000000002".
- 1246321 cpu_core_0 "15.000000000000002".
- 1247531 cpu_core_0 "15.000000000000002".
- 1247949 cpu_core_0 "15.000000000000002".
- 1248374 cpu_core_0 "15.000000000000002".
- 1248909 cpu_core_0 "15.000000000000002".
- 1249429 cpu_core_0 "15.000000000000002".
- 1249551 cpu_core_0 "15.000000000000002".
- 1249913 cpu_core_0 "15.000000000000002".
- 1250242 cpu_core_0 "15.000000000000002".
- 1252497 cpu_core_0 "15.000000000000002".
- 1254248 cpu_core_0 "15.000000000000002".
- 1254266 cpu_core_0 "15.000000000000002".
- 1255928 cpu_core_0 "15.000000000000002".
- 1257177 cpu_core_0 "15.000000000000002".
- 1259287 cpu_core_0 "15.000000000000002".
- 1262684 cpu_core_0 "15.000000000000002".
- 1264073 cpu_core_0 "15.000000000000002".
- 1264461 cpu_core_0 "15.000000000000002".
- 1264466 cpu_core_0 "15.000000000000002".
- 1268260 cpu_core_0 "15.000000000000002".
- 1273537 cpu_core_0 "15.000000000000002".
- 1274068 cpu_core_0 "15.000000000000002".
- 1275183 cpu_core_0 "15.000000000000002".
- 1277792 cpu_core_0 "15.000000000000002".
- 1279680 cpu_core_0 "15.000000000000002".
- 1280756 cpu_core_0 "15.000000000000002".
- 1280850 cpu_core_0 "15.000000000000002".