Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1091072 cpu_core_1 "5.88235294117647".
- 1091179 cpu_core_1 "5.88235294117647".
- 1092202 cpu_core_1 "5.88235294117647".
- 109684 cpu_core_1 "5.88235294117647".
- 1097349 cpu_core_1 "5.88235294117647".
- 1097850 cpu_core_1 "5.88235294117647".
- 1100190 cpu_core_1 "5.88235294117647".
- 1101496 cpu_core_1 "5.88235294117647".
- 1103506 cpu_core_1 "5.88235294117647".
- 1105761 cpu_core_1 "5.88235294117647".
- 1106399 cpu_core_1 "5.88235294117647".
- 1108479 cpu_core_1 "5.88235294117647".
- 1109173 cpu_core_1 "5.88235294117647".
- 1110428 cpu_core_1 "5.88235294117647".
- 1111739 cpu_core_1 "5.88235294117647".
- 1111870 cpu_core_1 "5.88235294117647".
- 1112053 cpu_core_1 "5.88235294117647".
- 1114368 cpu_core_1 "5.88235294117647".
- 1115420 cpu_core_1 "5.88235294117647".
- 1115536 cpu_core_1 "5.88235294117647".
- 1117015 cpu_core_1 "5.88235294117647".
- 1117239 cpu_core_1 "5.88235294117647".
- 1117707 cpu_core_1 "5.88235294117647".
- 1118116 cpu_core_1 "5.88235294117647".
- 1118697 cpu_core_1 "5.88235294117647".
- 1119074 cpu_core_1 "5.88235294117647".
- 1121451 cpu_core_1 "5.88235294117647".
- 1121691 cpu_core_1 "5.88235294117647".
- 1122622 cpu_core_1 "5.88235294117647".
- 1123944 cpu_core_1 "5.88235294117647".
- 1125605 cpu_core_1 "5.88235294117647".
- 1130404 cpu_core_1 "5.88235294117647".
- 1130990 cpu_core_1 "5.88235294117647".
- 1138174 cpu_core_1 "5.88235294117647".
- 1139176 cpu_core_1 "5.88235294117647".
- 1142100 cpu_core_1 "5.88235294117647".
- 1143423 cpu_core_1 "5.88235294117647".
- 1143507 cpu_core_1 "5.88235294117647".
- 1146935 cpu_core_1 "5.88235294117647".
- 1147643 cpu_core_1 "5.88235294117647".
- 1148917 cpu_core_1 "5.88235294117647".
- 1150094 cpu_core_1 "5.88235294117647".
- 1150478 cpu_core_1 "5.88235294117647".
- 1151793 cpu_core_1 "5.88235294117647".
- 1153261 cpu_core_1 "5.88235294117647".
- 1154640 cpu_core_1 "5.88235294117647".
- 1155972 cpu_core_1 "5.88235294117647".
- 1156822 cpu_core_1 "5.88235294117647".
- 1157207 cpu_core_1 "5.88235294117647".
- 1160210 cpu_core_1 "5.88235294117647".
- 1161466 cpu_core_1 "5.88235294117647".
- 1163310 cpu_core_1 "5.88235294117647".
- 1163861 cpu_core_1 "5.88235294117647".
- 1164203 cpu_core_1 "5.88235294117647".
- 1164653 cpu_core_1 "5.88235294117647".
- 1167114 cpu_core_1 "5.88235294117647".
- 1168278 cpu_core_1 "5.88235294117647".
- 1169554 cpu_core_1 "5.88235294117647".
- 1171437 cpu_core_1 "5.88235294117647".
- 1171757 cpu_core_1 "5.88235294117647".
- 1172957 cpu_core_1 "5.88235294117647".
- 1174673 cpu_core_1 "5.88235294117647".
- 1176011 cpu_core_1 "5.88235294117647".
- 1177095 cpu_core_1 "5.88235294117647".
- 1179397 cpu_core_1 "5.88235294117647".
- 1183210 cpu_core_1 "5.88235294117647".
- 1184589 cpu_core_1 "5.88235294117647".
- 1185700 cpu_core_1 "5.88235294117647".
- 1190759 cpu_core_1 "5.88235294117647".
- 1191291 cpu_core_1 "5.88235294117647".
- 1192809 cpu_core_1 "5.88235294117647".
- 1194549 cpu_core_1 "5.88235294117647".
- 1197759 cpu_core_1 "5.88235294117647".
- 1198193 cpu_core_1 "5.88235294117647".
- 1198765 cpu_core_1 "5.88235294117647".
- 1200733 cpu_core_1 "5.88235294117647".
- 1201403 cpu_core_1 "5.88235294117647".
- 1201751 cpu_core_1 "5.88235294117647".
- 1203181 cpu_core_1 "5.88235294117647".
- 1203682 cpu_core_1 "5.88235294117647".
- 1203825 cpu_core_1 "5.88235294117647".
- 1205592 cpu_core_1 "5.88235294117647".
- 1205618 cpu_core_1 "5.88235294117647".
- 1207106 cpu_core_1 "5.88235294117647".
- 1212874 cpu_core_1 "5.88235294117647".
- 1213560 cpu_core_1 "5.88235294117647".
- 1214409 cpu_core_1 "5.88235294117647".
- 1214568 cpu_core_1 "5.88235294117647".
- 1214601 cpu_core_1 "5.88235294117647".
- 1214608 cpu_core_1 "5.88235294117647".
- 1214924 cpu_core_1 "5.88235294117647".
- 1214980 cpu_core_1 "5.88235294117647".
- 1215069 cpu_core_1 "5.88235294117647".
- 1215474 cpu_core_1 "5.88235294117647".
- 1215929 cpu_core_1 "5.88235294117647".
- 1216044 cpu_core_1 "5.88235294117647".
- 1216292 cpu_core_1 "5.88235294117647".
- 1216402 cpu_core_1 "5.88235294117647".
- 1216597 cpu_core_1 "5.88235294117647".
- 1217021 cpu_core_1 "5.88235294117647".