Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1113192 cpu_core_0 "5.88235294117647".
- 1114084 cpu_core_0 "5.88235294117647".
- 1115095 cpu_core_0 "5.88235294117647".
- 1116924 cpu_core_0 "5.88235294117647".
- 1118204 cpu_core_0 "5.88235294117647".
- 1118441 cpu_core_0 "5.88235294117647".
- 1120223 cpu_core_0 "5.88235294117647".
- 1120993 cpu_core_0 "5.88235294117647".
- 1121506 cpu_core_0 "5.88235294117647".
- 1122008 cpu_core_0 "5.88235294117647".
- 1122382 cpu_core_0 "5.88235294117647".
- 1122593 cpu_core_0 "5.88235294117647".
- 1122625 cpu_core_0 "5.88235294117647".
- 1122661 cpu_core_0 "5.88235294117647".
- 1123065 cpu_core_0 "5.88235294117647".
- 112429 cpu_core_0 "5.88235294117647".
- 1125623 cpu_core_0 "5.88235294117647".
- 1126571 cpu_core_0 "5.88235294117647".
- 1126957 cpu_core_0 "5.88235294117647".
- 1129633 cpu_core_0 "5.88235294117647".
- 1129754 cpu_core_0 "5.88235294117647".
- 1131779 cpu_core_0 "5.88235294117647".
- 1132107 cpu_core_0 "5.88235294117647".
- 1132585 cpu_core_0 "5.88235294117647".
- 1132646 cpu_core_0 "5.88235294117647".
- 1132983 cpu_core_0 "5.88235294117647".
- 1133095 cpu_core_0 "5.88235294117647".
- 1133108 cpu_core_0 "5.88235294117647".
- 1133878 cpu_core_0 "5.88235294117647".
- 1134607 cpu_core_0 "5.88235294117647".
- 1135341 cpu_core_0 "5.88235294117647".
- 1135578 cpu_core_0 "5.88235294117647".
- 1135814 cpu_core_0 "5.88235294117647".
- 1137291 cpu_core_0 "5.88235294117647".
- 1138344 cpu_core_0 "5.88235294117647".
- 1138686 cpu_core_0 "5.88235294117647".
- 1140540 cpu_core_0 "5.88235294117647".
- 1140567 cpu_core_0 "5.88235294117647".
- 1140962 cpu_core_0 "5.88235294117647".
- 1140997 cpu_core_0 "5.88235294117647".
- 1143138 cpu_core_0 "5.88235294117647".
- 1146481 cpu_core_0 "5.88235294117647".
- 1147471 cpu_core_0 "5.88235294117647".
- 1148271 cpu_core_0 "5.88235294117647".
- 1149154 cpu_core_0 "5.88235294117647".
- 1150199 cpu_core_0 "5.88235294117647".
- 1150560 cpu_core_0 "5.88235294117647".
- 1152668 cpu_core_0 "5.88235294117647".
- 1153659 cpu_core_0 "5.88235294117647".
- 1154677 cpu_core_0 "5.88235294117647".
- 1155491 cpu_core_0 "5.88235294117647".
- 1155631 cpu_core_0 "5.88235294117647".
- 1156588 cpu_core_0 "5.88235294117647".
- 1156649 cpu_core_0 "5.88235294117647".
- 1159108 cpu_core_0 "5.88235294117647".
- 1159528 cpu_core_0 "5.88235294117647".
- 1160266 cpu_core_0 "5.88235294117647".
- 1161461 cpu_core_0 "5.88235294117647".
- 1161505 cpu_core_0 "5.88235294117647".
- 1162174 cpu_core_0 "5.88235294117647".
- 1162248 cpu_core_0 "5.88235294117647".
- 1162876 cpu_core_0 "5.88235294117647".
- 1163596 cpu_core_0 "5.88235294117647".
- 1165849 cpu_core_0 "5.88235294117647".
- 1166861 cpu_core_0 "5.88235294117647".
- 1167112 cpu_core_0 "5.88235294117647".
- 1169773 cpu_core_0 "5.88235294117647".
- 1169981 cpu_core_0 "5.88235294117647".
- 1170015 cpu_core_0 "5.88235294117647".
- 1173740 cpu_core_0 "5.88235294117647".
- 1174202 cpu_core_0 "5.88235294117647".
- 1175159 cpu_core_0 "5.88235294117647".
- 1175343 cpu_core_0 "5.88235294117647".
- 1175868 cpu_core_0 "5.88235294117647".
- 1176243 cpu_core_0 "5.88235294117647".
- 1176390 cpu_core_0 "5.88235294117647".
- 1179455 cpu_core_0 "5.88235294117647".
- 1180513 cpu_core_0 "5.88235294117647".
- 1181391 cpu_core_0 "5.88235294117647".
- 1181727 cpu_core_0 "5.88235294117647".
- 1181957 cpu_core_0 "5.88235294117647".
- 1183163 cpu_core_0 "5.88235294117647".
- 1184461 cpu_core_0 "5.88235294117647".
- 1185477 cpu_core_0 "5.88235294117647".
- 1185975 cpu_core_0 "5.88235294117647".
- 1187271 cpu_core_0 "5.88235294117647".
- 1188307 cpu_core_0 "5.88235294117647".
- 1188407 cpu_core_0 "5.88235294117647".
- 1188872 cpu_core_0 "5.88235294117647".
- 1189669 cpu_core_0 "5.88235294117647".
- 1189916 cpu_core_0 "5.88235294117647".
- 1191059 cpu_core_0 "5.88235294117647".
- 1191092 cpu_core_0 "5.88235294117647".
- 1192408 cpu_core_0 "5.88235294117647".
- 1194199 cpu_core_0 "5.88235294117647".
- 1194546 cpu_core_0 "5.88235294117647".
- 1195247 cpu_core_0 "5.88235294117647".
- 1195910 cpu_core_0 "5.88235294117647".
- 1196918 cpu_core_0 "5.88235294117647".
- 1197135 cpu_core_0 "5.88235294117647".