Matches in ISWC2014 Benchmark for { ?s ?p 7.000000000000001. }
- 1180111 cpu_core_0 "7.000000000000001".
- 1180331 cpu_core_0 "7.000000000000001".
- 1180975 cpu_core_0 "7.000000000000001".
- 1181807 cpu_core_0 "7.000000000000001".
- 1182824 cpu_core_0 "7.000000000000001".
- 1182888 cpu_core_0 "7.000000000000001".
- 1183857 cpu_core_0 "7.000000000000001".
- 1184125 cpu_core_0 "7.000000000000001".
- 1184225 cpu_core_0 "7.000000000000001".
- 1185090 cpu_core_0 "7.000000000000001".
- 1185598 cpu_core_0 "7.000000000000001".
- 1185821 cpu_core_0 "7.000000000000001".
- 1186817 cpu_core_0 "7.000000000000001".
- 1188961 cpu_core_0 "7.000000000000001".
- 1189994 cpu_core_0 "7.000000000000001".
- 1190100 cpu_core_0 "7.000000000000001".
- 1190177 cpu_core_0 "7.000000000000001".
- 1190202 cpu_core_0 "7.000000000000001".
- 1190845 cpu_core_0 "7.000000000000001".
- 1191646 cpu_core_0 "7.000000000000001".
- 1191758 cpu_core_0 "7.000000000000001".
- 1192135 cpu_core_0 "7.000000000000001".
- 1192425 cpu_core_0 "7.000000000000001".
- 1194379 cpu_core_0 "7.000000000000001".
- 1194614 cpu_core_0 "7.000000000000001".
- 1195823 cpu_core_0 "7.000000000000001".
- 1196543 cpu_core_0 "7.000000000000001".
- 1196728 cpu_core_0 "7.000000000000001".
- 1197206 cpu_core_0 "7.000000000000001".
- 1198745 cpu_core_0 "7.000000000000001".
- 1198864 cpu_core_0 "7.000000000000001".
- 1198888 cpu_core_0 "7.000000000000001".
- 1199243 cpu_core_0 "7.000000000000001".
- 1199548 cpu_core_0 "7.000000000000001".
- 1200358 cpu_core_0 "7.000000000000001".
- 1200377 cpu_core_0 "7.000000000000001".
- 1201684 cpu_core_0 "7.000000000000001".
- 1201727 cpu_core_0 "7.000000000000001".
- 1201755 cpu_core_0 "7.000000000000001".
- 1201829 cpu_core_0 "7.000000000000001".
- 1202549 cpu_core_0 "7.000000000000001".
- 1203155 cpu_core_0 "7.000000000000001".
- 1205324 cpu_core_0 "7.000000000000001".
- 1205993 cpu_core_0 "7.000000000000001".
- 1206710 cpu_core_0 "7.000000000000001".
- 1207842 cpu_core_0 "7.000000000000001".
- 1207976 cpu_core_0 "7.000000000000001".
- 1208594 cpu_core_0 "7.000000000000001".
- 1208715 cpu_core_0 "7.000000000000001".
- 1208833 cpu_core_0 "7.000000000000001".
- 1208835 cpu_core_0 "7.000000000000001".
- 1208951 cpu_core_0 "7.000000000000001".
- 1209071 cpu_core_0 "7.000000000000001".
- 1209075 cpu_core_0 "7.000000000000001".
- 1209419 cpu_core_0 "7.000000000000001".
- 1209434 cpu_core_0 "7.000000000000001".
- 1209679 cpu_core_0 "7.000000000000001".
- 1210003 cpu_core_0 "7.000000000000001".
- 1210275 cpu_core_0 "7.000000000000001".
- 1210393 cpu_core_0 "7.000000000000001".
- 1210395 cpu_core_0 "7.000000000000001".
- 1210401 cpu_core_0 "7.000000000000001".
- 1211233 cpu_core_0 "7.000000000000001".
- 1211357 cpu_core_0 "7.000000000000001".
- 1211463 cpu_core_0 "7.000000000000001".
- 1211472 cpu_core_0 "7.000000000000001".
- 1211716 cpu_core_0 "7.000000000000001".
- 1211835 cpu_core_0 "7.000000000000001".
- 1212063 cpu_core_0 "7.000000000000001".
- 1212064 cpu_core_0 "7.000000000000001".
- 1212074 cpu_core_0 "7.000000000000001".
- 1212196 cpu_core_0 "7.000000000000001".
- 1212302 cpu_core_0 "7.000000000000001".
- 1212909 cpu_core_0 "7.000000000000001".
- 1213150 cpu_core_0 "7.000000000000001".
- 1213677 cpu_core_0 "7.000000000000001".
- 1213691 cpu_core_0 "7.000000000000001".
- 1213694 cpu_core_0 "7.000000000000001".
- 1213756 cpu_core_0 "7.000000000000001".
- 1214140 cpu_core_0 "7.000000000000001".
- 1214162 cpu_core_0 "7.000000000000001".
- 1214319 cpu_core_0 "7.000000000000001".
- 1214413 cpu_core_0 "7.000000000000001".
- 1214566 cpu_core_0 "7.000000000000001".
- 1214602 cpu_core_0 "7.000000000000001".
- 1214657 cpu_core_0 "7.000000000000001".
- 121472 cpu_core_0 "7.000000000000001".
- 1214739 cpu_core_0 "7.000000000000001".
- 1214766 cpu_core_0 "7.000000000000001".
- 1214870 cpu_core_0 "7.000000000000001".
- 1214975 cpu_core_0 "7.000000000000001".
- 1215105 cpu_core_0 "7.000000000000001".
- 1215135 cpu_core_0 "7.000000000000001".
- 1215373 cpu_core_0 "7.000000000000001".
- 1215401 cpu_core_0 "7.000000000000001".
- 1215438 cpu_core_0 "7.000000000000001".
- 1215513 cpu_core_0 "7.000000000000001".
- 1215525 cpu_core_0 "7.000000000000001".
- 1215587 cpu_core_0 "7.000000000000001".
- 1215608 cpu_core_0 "7.000000000000001".