Matches in ISWC2014 Benchmark for { ?s ?p 10.784313725490197. }
- 1134916 cpu_core_0 "10.784313725490197".
- 1135021 cpu_core_0 "10.784313725490197".
- 1135806 cpu_core_0 "10.784313725490197".
- 1136213 cpu_core_0 "10.784313725490197".
- 1136333 cpu_core_0 "10.784313725490197".
- 1136473 cpu_core_0 "10.784313725490197".
- 1136653 cpu_core_0 "10.784313725490197".
- 1137704 cpu_core_0 "10.784313725490197".
- 1137849 cpu_core_0 "10.784313725490197".
- 1138432 cpu_core_0 "10.784313725490197".
- 1138939 cpu_core_0 "10.784313725490197".
- 1139392 cpu_core_0 "10.784313725490197".
- 1139400 cpu_core_0 "10.784313725490197".
- 1139662 cpu_core_0 "10.784313725490197".
- 1140929 cpu_core_0 "10.784313725490197".
- 1141065 cpu_core_0 "10.784313725490197".
- 1141069 cpu_core_0 "10.784313725490197".
- 1141119 cpu_core_0 "10.784313725490197".
- 1142289 cpu_core_0 "10.784313725490197".
- 1143214 cpu_core_0 "10.784313725490197".
- 1143261 cpu_core_0 "10.784313725490197".
- 1144578 cpu_core_0 "10.784313725490197".
- 1144782 cpu_core_0 "10.784313725490197".
- 1145327 cpu_core_0 "10.784313725490197".
- 1145426 cpu_core_0 "10.784313725490197".
- 1145935 cpu_core_0 "10.784313725490197".
- 1149362 cpu_core_0 "10.784313725490197".
- 1149594 cpu_core_0 "10.784313725490197".
- 1149875 cpu_core_0 "10.784313725490197".
- 1151148 cpu_core_0 "10.784313725490197".
- 1153457 cpu_core_0 "10.784313725490197".
- 1153485 cpu_core_0 "10.784313725490197".
- 1153894 cpu_core_0 "10.784313725490197".
- 1154502 cpu_core_0 "10.784313725490197".
- 1154663 cpu_core_0 "10.784313725490197".
- 1154840 cpu_core_0 "10.784313725490197".
- 1154847 cpu_core_0 "10.784313725490197".
- 1155073 cpu_core_0 "10.784313725490197".
- 1155343 cpu_core_0 "10.784313725490197".
- 1155843 cpu_core_0 "10.784313725490197".
- 1155951 cpu_core_0 "10.784313725490197".
- 1155989 cpu_core_0 "10.784313725490197".
- 1156229 cpu_core_0 "10.784313725490197".
- 1156287 cpu_core_0 "10.784313725490197".
- 1157407 cpu_core_0 "10.784313725490197".
- 1157724 cpu_core_0 "10.784313725490197".
- 1157856 cpu_core_0 "10.784313725490197".
- 1158477 cpu_core_0 "10.784313725490197".
- 1160208 cpu_core_0 "10.784313725490197".
- 1160615 cpu_core_0 "10.784313725490197".
- 1160960 cpu_core_0 "10.784313725490197".
- 1161227 cpu_core_0 "10.784313725490197".
- 1161582 cpu_core_0 "10.784313725490197".
- 1161754 cpu_core_0 "10.784313725490197".
- 1162297 cpu_core_0 "10.784313725490197".
- 1162656 cpu_core_0 "10.784313725490197".
- 1162992 cpu_core_0 "10.784313725490197".
- 1163290 cpu_core_0 "10.784313725490197".
- 1163870 cpu_core_0 "10.784313725490197".
- 1165295 cpu_core_0 "10.784313725490197".
- 1165374 cpu_core_0 "10.784313725490197".
- 1167553 cpu_core_0 "10.784313725490197".
- 1167638 cpu_core_0 "10.784313725490197".
- 1168213 cpu_core_0 "10.784313725490197".
- 1168934 cpu_core_0 "10.784313725490197".
- 1169842 cpu_core_0 "10.784313725490197".
- 1170500 cpu_core_0 "10.784313725490197".
- 1171367 cpu_core_0 "10.784313725490197".
- 1171406 cpu_core_0 "10.784313725490197".
- 1173025 cpu_core_0 "10.784313725490197".
- 1173433 cpu_core_0 "10.784313725490197".
- 1174227 cpu_core_0 "10.784313725490197".
- 1175045 cpu_core_0 "10.784313725490197".
- 1175637 cpu_core_0 "10.784313725490197".
- 1177041 cpu_core_0 "10.784313725490197".
- 1177047 cpu_core_0 "10.784313725490197".
- 1177282 cpu_core_0 "10.784313725490197".
- 1177920 cpu_core_0 "10.784313725490197".
- 1177951 cpu_core_0 "10.784313725490197".
- 1178322 cpu_core_0 "10.784313725490197".
- 1178544 cpu_core_0 "10.784313725490197".
- 1178732 cpu_core_0 "10.784313725490197".
- 1179008 cpu_core_0 "10.784313725490197".
- 1179130 cpu_core_0 "10.784313725490197".
- 1180098 cpu_core_0 "10.784313725490197".
- 1180136 cpu_core_0 "10.784313725490197".
- 1180698 cpu_core_0 "10.784313725490197".
- 1180956 cpu_core_0 "10.784313725490197".
- 1183778 cpu_core_0 "10.784313725490197".
- 1183884 cpu_core_0 "10.784313725490197".
- 1184008 cpu_core_0 "10.784313725490197".
- 1184432 cpu_core_0 "10.784313725490197".
- 1184693 cpu_core_0 "10.784313725490197".
- 1184742 cpu_core_0 "10.784313725490197".
- 1186148 cpu_core_0 "10.784313725490197".
- 1187197 cpu_core_0 "10.784313725490197".
- 1187278 cpu_core_0 "10.784313725490197".
- 1188400 cpu_core_0 "10.784313725490197".
- 1188875 cpu_core_0 "10.784313725490197".
- 1192943 cpu_core_0 "10.784313725490197".