Matches in ISWC2014 Benchmark for { ?s ?p 18.000000000000004. }
- 1010324 cpu_core_0 "18.000000000000004".
- 1010578 cpu_core_0 "18.000000000000004".
- 1012067 cpu_core_0 "18.000000000000004".
- 1012404 cpu_core_0 "18.000000000000004".
- 1018020 cpu_core_0 "18.000000000000004".
- 1033284 cpu_core_0 "18.000000000000004".
- 1033496 cpu_core_0 "18.000000000000004".
- 1034823 cpu_core_0 "18.000000000000004".
- 1038112 cpu_core_0 "18.000000000000004".
- 1041453 cpu_core_0 "18.000000000000004".
- 1043013 cpu_core_0 "18.000000000000004".
- 1043611 cpu_core_0 "18.000000000000004".
- 1052633 cpu_core_0 "18.000000000000004".
- 1095095 cpu_core_0 "18.000000000000004".
- 1096445 cpu_core_0 "18.000000000000004".
- 1097674 cpu_core_0 "18.000000000000004".
- 1099025 cpu_core_0 "18.000000000000004".
- 1099805 cpu_core_0 "18.000000000000004".
- 1111464 cpu_core_0 "18.000000000000004".
- 1111544 cpu_core_0 "18.000000000000004".
- 1115712 cpu_core_0 "18.000000000000004".
- 1119537 cpu_core_0 "18.000000000000004".
- 1119786 cpu_core_0 "18.000000000000004".
- 1124348 cpu_core_0 "18.000000000000004".
- 1139847 cpu_core_0 "18.000000000000004".
- 1140046 cpu_core_0 "18.000000000000004".
- 1145783 cpu_core_0 "18.000000000000004".
- 1151289 cpu_core_0 "18.000000000000004".
- 1152789 cpu_core_0 "18.000000000000004".
- 1154231 cpu_core_0 "18.000000000000004".
- 1157065 cpu_core_0 "18.000000000000004".
- 1159329 cpu_core_0 "18.000000000000004".
- 1163757 cpu_core_0 "18.000000000000004".
- 1164986 cpu_core_0 "18.000000000000004".
- 1175760 cpu_core_0 "18.000000000000004".
- 1175801 cpu_core_0 "18.000000000000004".
- 1180100 cpu_core_0 "18.000000000000004".
- 1189817 cpu_core_0 "18.000000000000004".
- 1190727 cpu_core_0 "18.000000000000004".
- 1192802 cpu_core_0 "18.000000000000004".
- 1194171 cpu_core_0 "18.000000000000004".
- 1195054 cpu_core_0 "18.000000000000004".
- 1197932 cpu_core_0 "18.000000000000004".
- 1199789 cpu_core_0 "18.000000000000004".
- 1201076 cpu_core_0 "18.000000000000004".
- 1201373 cpu_core_0 "18.000000000000004".
- 1209498 cpu_core_0 "18.000000000000004".
- 1213636 cpu_core_0 "18.000000000000004".
- 1214481 cpu_core_0 "18.000000000000004".
- 1215273 cpu_core_0 "18.000000000000004".
- 1216604 cpu_core_0 "18.000000000000004".
- 1216889 cpu_core_0 "18.000000000000004".
- 1218983 cpu_core_0 "18.000000000000004".
- 1221442 cpu_core_0 "18.000000000000004".
- 1236227 cpu_core_0 "18.000000000000004".
- 1236346 cpu_core_0 "18.000000000000004".
- 1236694 cpu_core_0 "18.000000000000004".
- 1244108 cpu_core_0 "18.000000000000004".
- 1246486 cpu_core_0 "18.000000000000004".
- 1247017 cpu_core_0 "18.000000000000004".
- 1247109 cpu_core_0 "18.000000000000004".
- 1254062 cpu_core_0 "18.000000000000004".
- 1256537 cpu_core_0 "18.000000000000004".
- 1262887 cpu_core_0 "18.000000000000004".
- 1264872 cpu_core_0 "18.000000000000004".
- 1266340 cpu_core_0 "18.000000000000004".
- 1268969 cpu_core_0 "18.000000000000004".
- 1275344 cpu_core_0 "18.000000000000004".
- 1276676 cpu_core_0 "18.000000000000004".
- 127997 cpu_core_0 "18.000000000000004".
- 1281605 cpu_core_0 "18.000000000000004".
- 1282370 cpu_core_0 "18.000000000000004".
- 1286160 cpu_core_0 "18.000000000000004".
- 1287313 cpu_core_0 "18.000000000000004".
- 1293707 cpu_core_0 "18.000000000000004".
- 1294793 cpu_core_0 "18.000000000000004".
- 1295115 cpu_core_0 "18.000000000000004".
- 1299866 cpu_core_0 "18.000000000000004".
- 1301061 cpu_core_0 "18.000000000000004".
- 1306969 cpu_core_0 "18.000000000000004".
- 1308174 cpu_core_0 "18.000000000000004".
- 1309393 cpu_core_0 "18.000000000000004".
- 1309396 cpu_core_0 "18.000000000000004".
- 1313523 cpu_core_0 "18.000000000000004".
- 1313635 cpu_core_0 "18.000000000000004".
- 1314409 cpu_core_0 "18.000000000000004".
- 1321868 cpu_core_0 "18.000000000000004".
- 1325658 cpu_core_0 "18.000000000000004".
- 1328145 cpu_core_0 "18.000000000000004".
- 1329987 cpu_core_0 "18.000000000000004".
- 1335576 cpu_core_0 "18.000000000000004".
- 1335578 cpu_core_0 "18.000000000000004".
- 1345052 cpu_core_0 "18.000000000000004".
- 1346354 cpu_core_0 "18.000000000000004".
- 1347599 cpu_core_0 "18.000000000000004".
- 1348340 cpu_core_0 "18.000000000000004".
- 135095 cpu_core_0 "18.000000000000004".
- 1354374 cpu_core_0 "18.000000000000004".
- 1359720 cpu_core_0 "18.000000000000004".
- 1360690 cpu_core_0 "18.000000000000004".