Matches in ISWC2014 Benchmark for { ?s ?p 3.061224489795918. }
- 1135716 cpu_core_1 "3.061224489795918".
- 1135985 cpu_core_1 "3.061224489795918".
- 1137103 cpu_core_1 "3.061224489795918".
- 1137361 cpu_core_1 "3.061224489795918".
- 1138167 cpu_core_1 "3.061224489795918".
- 1138200 cpu_core_1 "3.061224489795918".
- 1138800 cpu_core_1 "3.061224489795918".
- 1140640 cpu_core_1 "3.061224489795918".
- 1141564 cpu_core_1 "3.061224489795918".
- 1142568 cpu_core_1 "3.061224489795918".
- 1143222 cpu_core_1 "3.061224489795918".
- 1143416 cpu_core_1 "3.061224489795918".
- 1145976 cpu_core_1 "3.061224489795918".
- 1146197 cpu_core_1 "3.061224489795918".
- 1147305 cpu_core_1 "3.061224489795918".
- 1148918 cpu_core_1 "3.061224489795918".
- 1150197 cpu_core_1 "3.061224489795918".
- 1150588 cpu_core_1 "3.061224489795918".
- 1150898 cpu_core_1 "3.061224489795918".
- 1151830 cpu_core_1 "3.061224489795918".
- 1152274 cpu_core_1 "3.061224489795918".
- 1153220 cpu_core_1 "3.061224489795918".
- 1153604 cpu_core_1 "3.061224489795918".
- 1155338 cpu_core_1 "3.061224489795918".
- 1155950 cpu_core_1 "3.061224489795918".
- 1156223 cpu_core_1 "3.061224489795918".
- 1156469 cpu_core_1 "3.061224489795918".
- 1157439 cpu_core_1 "3.061224489795918".
- 1157971 cpu_core_1 "3.061224489795918".
- 1160326 cpu_core_1 "3.061224489795918".
- 1161135 cpu_core_1 "3.061224489795918".
- 1161214 cpu_core_1 "3.061224489795918".
- 1161990 cpu_core_1 "3.061224489795918".
- 1162360 cpu_core_1 "3.061224489795918".
- 1162415 cpu_core_1 "3.061224489795918".
- 1163313 cpu_core_1 "3.061224489795918".
- 1164457 cpu_core_1 "3.061224489795918".
- 1164514 cpu_core_1 "3.061224489795918".
- 1166351 cpu_core_1 "3.061224489795918".
- 1168201 cpu_core_1 "3.061224489795918".
- 1170993 cpu_core_1 "3.061224489795918".
- 1171076 cpu_core_1 "3.061224489795918".
- 1172419 cpu_core_1 "3.061224489795918".
- 1174085 cpu_core_1 "3.061224489795918".
- 1174347 cpu_core_1 "3.061224489795918".
- 1174762 cpu_core_1 "3.061224489795918".
- 1176192 cpu_core_1 "3.061224489795918".
- 1176830 cpu_core_1 "3.061224489795918".
- 1176843 cpu_core_1 "3.061224489795918".
- 1177531 cpu_core_1 "3.061224489795918".
- 1178807 cpu_core_1 "3.061224489795918".
- 1178890 cpu_core_1 "3.061224489795918".
- 1178900 cpu_core_1 "3.061224489795918".
- 1179336 cpu_core_1 "3.061224489795918".
- 1180203 cpu_core_1 "3.061224489795918".
- 1180587 cpu_core_1 "3.061224489795918".
- 1180941 cpu_core_1 "3.061224489795918".
- 1181878 cpu_core_1 "3.061224489795918".
- 1182119 cpu_core_1 "3.061224489795918".
- 1184563 cpu_core_1 "3.061224489795918".
- 1185266 cpu_core_1 "3.061224489795918".
- 1185502 cpu_core_1 "3.061224489795918".
- 1185699 cpu_core_1 "3.061224489795918".
- 1185997 cpu_core_1 "3.061224489795918".
- 1186160 cpu_core_1 "3.061224489795918".
- 1186677 cpu_core_1 "3.061224489795918".
- 1187549 cpu_core_1 "3.061224489795918".
- 1189223 cpu_core_1 "3.061224489795918".
- 1190162 cpu_core_1 "3.061224489795918".
- 1192673 cpu_core_1 "3.061224489795918".
- 1194192 cpu_core_1 "3.061224489795918".
- 1194916 cpu_core_1 "3.061224489795918".
- 1195809 cpu_core_1 "3.061224489795918".
- 1195871 cpu_core_1 "3.061224489795918".
- 1195987 cpu_core_1 "3.061224489795918".
- 1196439 cpu_core_1 "3.061224489795918".
- 1196503 cpu_core_1 "3.061224489795918".
- 1196513 cpu_core_1 "3.061224489795918".
- 1198464 cpu_core_1 "3.061224489795918".
- 1204303 cpu_core_1 "3.061224489795918".
- 1206252 cpu_core_1 "3.061224489795918".
- 1209058 cpu_core_1 "3.061224489795918".
- 1213556 cpu_core_1 "3.061224489795918".
- 1213571 cpu_core_1 "3.061224489795918".
- 1213657 cpu_core_1 "3.061224489795918".
- 1213694 cpu_core_1 "3.061224489795918".
- 1213704 cpu_core_1 "3.061224489795918".
- 1214124 cpu_core_1 "3.061224489795918".
- 1214125 cpu_core_1 "3.061224489795918".
- 1214270 cpu_core_1 "3.061224489795918".
- 1214294 cpu_core_1 "3.061224489795918".
- 1214469 cpu_core_1 "3.061224489795918".
- 1214599 cpu_core_1 "3.061224489795918".
- 1214607 cpu_core_1 "3.061224489795918".
- 1214730 cpu_core_1 "3.061224489795918".
- 1214837 cpu_core_1 "3.061224489795918".
- 1214986 cpu_core_1 "3.061224489795918".
- 1215042 cpu_core_1 "3.061224489795918".
- 1215074 cpu_core_1 "3.061224489795918".
- 1215247 cpu_core_1 "3.061224489795918".