Matches in ISWC2014 Benchmark for { ?s ?p 12.745098039215685. }
- 1137375 cpu_core_0 "12.745098039215685".
- 1137799 cpu_core_0 "12.745098039215685".
- 1138649 cpu_core_0 "12.745098039215685".
- 1139278 cpu_core_0 "12.745098039215685".
- 1139509 cpu_core_0 "12.745098039215685".
- 1139802 cpu_core_0 "12.745098039215685".
- 1139815 cpu_core_0 "12.745098039215685".
- 1141059 cpu_core_0 "12.745098039215685".
- 1142066 cpu_core_0 "12.745098039215685".
- 1143528 cpu_core_0 "12.745098039215685".
- 1144633 cpu_core_0 "12.745098039215685".
- 1144902 cpu_core_0 "12.745098039215685".
- 1145058 cpu_core_0 "12.745098039215685".
- 1145574 cpu_core_0 "12.745098039215685".
- 1146536 cpu_core_0 "12.745098039215685".
- 1146931 cpu_core_0 "12.745098039215685".
- 1147257 cpu_core_0 "12.745098039215685".
- 1148409 cpu_core_0 "12.745098039215685".
- 1149272 cpu_core_0 "12.745098039215685".
- 1149332 cpu_core_0 "12.745098039215685".
- 1149765 cpu_core_0 "12.745098039215685".
- 1150417 cpu_core_0 "12.745098039215685".
- 1150935 cpu_core_0 "12.745098039215685".
- 1151814 cpu_core_0 "12.745098039215685".
- 1151828 cpu_core_0 "12.745098039215685".
- 1153684 cpu_core_0 "12.745098039215685".
- 1154858 cpu_core_0 "12.745098039215685".
- 1155619 cpu_core_0 "12.745098039215685".
- 1158253 cpu_core_0 "12.745098039215685".
- 1159162 cpu_core_0 "12.745098039215685".
- 1159642 cpu_core_0 "12.745098039215685".
- 1160623 cpu_core_0 "12.745098039215685".
- 1161025 cpu_core_0 "12.745098039215685".
- 1161328 cpu_core_0 "12.745098039215685".
- 1162087 cpu_core_0 "12.745098039215685".
- 1162691 cpu_core_0 "12.745098039215685".
- 1163064 cpu_core_0 "12.745098039215685".
- 1163130 cpu_core_0 "12.745098039215685".
- 1164230 cpu_core_0 "12.745098039215685".
- 1166191 cpu_core_0 "12.745098039215685".
- 1166513 cpu_core_0 "12.745098039215685".
- 1166891 cpu_core_0 "12.745098039215685".
- 1167023 cpu_core_0 "12.745098039215685".
- 1167271 cpu_core_0 "12.745098039215685".
- 1167503 cpu_core_0 "12.745098039215685".
- 1168986 cpu_core_0 "12.745098039215685".
- 1172712 cpu_core_0 "12.745098039215685".
- 1172748 cpu_core_0 "12.745098039215685".
- 1173076 cpu_core_0 "12.745098039215685".
- 1173197 cpu_core_0 "12.745098039215685".
- 1173524 cpu_core_0 "12.745098039215685".
- 1173753 cpu_core_0 "12.745098039215685".
- 1174190 cpu_core_0 "12.745098039215685".
- 1174346 cpu_core_0 "12.745098039215685".
- 1174729 cpu_core_0 "12.745098039215685".
- 1174764 cpu_core_0 "12.745098039215685".
- 1175048 cpu_core_0 "12.745098039215685".
- 1176128 cpu_core_0 "12.745098039215685".
- 1176400 cpu_core_0 "12.745098039215685".
- 1176533 cpu_core_0 "12.745098039215685".
- 1178525 cpu_core_0 "12.745098039215685".
- 1178708 cpu_core_0 "12.745098039215685".
- 1178973 cpu_core_0 "12.745098039215685".
- 1179597 cpu_core_0 "12.745098039215685".
- 1180094 cpu_core_0 "12.745098039215685".
- 1180637 cpu_core_0 "12.745098039215685".
- 1181377 cpu_core_0 "12.745098039215685".
- 1181678 cpu_core_0 "12.745098039215685".
- 1182142 cpu_core_0 "12.745098039215685".
- 1183293 cpu_core_0 "12.745098039215685".
- 1183760 cpu_core_0 "12.745098039215685".
- 1184426 cpu_core_0 "12.745098039215685".
- 1185084 cpu_core_0 "12.745098039215685".
- 1185399 cpu_core_0 "12.745098039215685".
- 1185890 cpu_core_0 "12.745098039215685".
- 1186592 cpu_core_0 "12.745098039215685".
- 1186642 cpu_core_0 "12.745098039215685".
- 1186652 cpu_core_0 "12.745098039215685".
- 1187138 cpu_core_0 "12.745098039215685".
- 1187186 cpu_core_0 "12.745098039215685".
- 1187235 cpu_core_0 "12.745098039215685".
- 1188559 cpu_core_0 "12.745098039215685".
- 1188564 cpu_core_0 "12.745098039215685".
- 1188938 cpu_core_0 "12.745098039215685".
- 1189186 cpu_core_0 "12.745098039215685".
- 1189772 cpu_core_0 "12.745098039215685".
- 1189782 cpu_core_0 "12.745098039215685".
- 1190096 cpu_core_0 "12.745098039215685".
- 1190288 cpu_core_0 "12.745098039215685".
- 1190329 cpu_core_0 "12.745098039215685".
- 1192695 cpu_core_0 "12.745098039215685".
- 1193496 cpu_core_0 "12.745098039215685".
- 1193594 cpu_core_0 "12.745098039215685".
- 1193646 cpu_core_0 "12.745098039215685".
- 1193711 cpu_core_0 "12.745098039215685".
- 1193747 cpu_core_0 "12.745098039215685".
- 1193979 cpu_core_0 "12.745098039215685".
- 1194563 cpu_core_0 "12.745098039215685".
- 1195903 cpu_core_0 "12.745098039215685".
- 1196418 cpu_core_0 "12.745098039215685".