Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1125536 cpu_core_0 "15.686274509803921".
- 1126556 cpu_core_0 "15.686274509803921".
- 1129358 cpu_core_0 "15.686274509803921".
- 1131376 cpu_core_0 "15.686274509803921".
- 1131599 cpu_core_0 "15.686274509803921".
- 1132270 cpu_core_0 "15.686274509803921".
- 1132506 cpu_core_0 "15.686274509803921".
- 1132811 cpu_core_0 "15.686274509803921".
- 1133572 cpu_core_0 "15.686274509803921".
- 1134786 cpu_core_0 "15.686274509803921".
- 1135047 cpu_core_0 "15.686274509803921".
- 1135093 cpu_core_0 "15.686274509803921".
- 1135368 cpu_core_0 "15.686274509803921".
- 1136428 cpu_core_0 "15.686274509803921".
- 1138559 cpu_core_0 "15.686274509803921".
- 1139736 cpu_core_0 "15.686274509803921".
- 1141228 cpu_core_0 "15.686274509803921".
- 1141338 cpu_core_0 "15.686274509803921".
- 1142439 cpu_core_0 "15.686274509803921".
- 1143100 cpu_core_0 "15.686274509803921".
- 1144417 cpu_core_0 "15.686274509803921".
- 1144609 cpu_core_0 "15.686274509803921".
- 1147026 cpu_core_0 "15.686274509803921".
- 1151640 cpu_core_0 "15.686274509803921".
- 1153465 cpu_core_0 "15.686274509803921".
- 1153576 cpu_core_0 "15.686274509803921".
- 1153824 cpu_core_0 "15.686274509803921".
- 1153830 cpu_core_0 "15.686274509803921".
- 1153938 cpu_core_0 "15.686274509803921".
- 1156548 cpu_core_0 "15.686274509803921".
- 1158188 cpu_core_0 "15.686274509803921".
- 1158978 cpu_core_0 "15.686274509803921".
- 1159008 cpu_core_0 "15.686274509803921".
- 1159559 cpu_core_0 "15.686274509803921".
- 1161156 cpu_core_0 "15.686274509803921".
- 1162103 cpu_core_0 "15.686274509803921".
- 1162659 cpu_core_0 "15.686274509803921".
- 1163850 cpu_core_0 "15.686274509803921".
- 1164971 cpu_core_0 "15.686274509803921".
- 1168086 cpu_core_0 "15.686274509803921".
- 1168117 cpu_core_0 "15.686274509803921".
- 1168499 cpu_core_0 "15.686274509803921".
- 1168639 cpu_core_0 "15.686274509803921".
- 1172703 cpu_core_0 "15.686274509803921".
- 1175055 cpu_core_0 "15.686274509803921".
- 1175557 cpu_core_0 "15.686274509803921".
- 1175570 cpu_core_0 "15.686274509803921".
- 1175716 cpu_core_0 "15.686274509803921".
- 1176118 cpu_core_0 "15.686274509803921".
- 1179491 cpu_core_0 "15.686274509803921".
- 1179556 cpu_core_0 "15.686274509803921".
- 1183727 cpu_core_0 "15.686274509803921".
- 1183944 cpu_core_0 "15.686274509803921".
- 1185175 cpu_core_0 "15.686274509803921".
- 1185664 cpu_core_0 "15.686274509803921".
- 1185913 cpu_core_0 "15.686274509803921".
- 1186270 cpu_core_0 "15.686274509803921".
- 1186648 cpu_core_0 "15.686274509803921".
- 1188385 cpu_core_0 "15.686274509803921".
- 1193389 cpu_core_0 "15.686274509803921".
- 1195851 cpu_core_0 "15.686274509803921".
- 1196677 cpu_core_0 "15.686274509803921".
- 1197678 cpu_core_0 "15.686274509803921".
- 1197758 cpu_core_0 "15.686274509803921".
- 1198746 cpu_core_0 "15.686274509803921".
- 1201521 cpu_core_0 "15.686274509803921".
- 1202145 cpu_core_0 "15.686274509803921".
- 1202466 cpu_core_0 "15.686274509803921".
- 1202767 cpu_core_0 "15.686274509803921".
- 1203117 cpu_core_0 "15.686274509803921".
- 1203316 cpu_core_0 "15.686274509803921".
- 1204029 cpu_core_0 "15.686274509803921".
- 1204259 cpu_core_0 "15.686274509803921".
- 1205193 cpu_core_0 "15.686274509803921".
- 1206412 cpu_core_0 "15.686274509803921".
- 1212232 cpu_core_0 "15.686274509803921".
- 1213019 cpu_core_0 "15.686274509803921".
- 1213333 cpu_core_0 "15.686274509803921".
- 1215397 cpu_core_0 "15.686274509803921".
- 1217446 cpu_core_0 "15.686274509803921".
- 1217565 cpu_core_0 "15.686274509803921".
- 1218404 cpu_core_0 "15.686274509803921".
- 1218866 cpu_core_0 "15.686274509803921".
- 1224365 cpu_core_0 "15.686274509803921".
- 1228846 cpu_core_0 "15.686274509803921".
- 1236253 cpu_core_0 "15.686274509803921".
- 1236314 cpu_core_0 "15.686274509803921".
- 1237127 cpu_core_0 "15.686274509803921".
- 1237206 cpu_core_0 "15.686274509803921".
- 1237369 cpu_core_0 "15.686274509803921".
- 1239604 cpu_core_0 "15.686274509803921".
- 1239936 cpu_core_0 "15.686274509803921".
- 1242799 cpu_core_0 "15.686274509803921".
- 1243037 cpu_core_0 "15.686274509803921".
- 1243532 cpu_core_0 "15.686274509803921".
- 1245109 cpu_core_0 "15.686274509803921".
- 1246239 cpu_core_0 "15.686274509803921".
- 1246676 cpu_core_0 "15.686274509803921".
- 1246775 cpu_core_0 "15.686274509803921".
- 1249402 cpu_core_0 "15.686274509803921".