Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1198676 cpu_core_0 "5.88235294117647".
- 1198708 cpu_core_0 "5.88235294117647".
- 1199817 cpu_core_0 "5.88235294117647".
- 1200416 cpu_core_0 "5.88235294117647".
- 1200527 cpu_core_0 "5.88235294117647".
- 1201620 cpu_core_0 "5.88235294117647".
- 1201764 cpu_core_0 "5.88235294117647".
- 1202037 cpu_core_0 "5.88235294117647".
- 1203297 cpu_core_0 "5.88235294117647".
- 1203717 cpu_core_0 "5.88235294117647".
- 1203963 cpu_core_0 "5.88235294117647".
- 1204452 cpu_core_0 "5.88235294117647".
- 1205345 cpu_core_0 "5.88235294117647".
- 1205707 cpu_core_0 "5.88235294117647".
- 1206518 cpu_core_0 "5.88235294117647".
- 1206634 cpu_core_0 "5.88235294117647".
- 1207148 cpu_core_0 "5.88235294117647".
- 1209913 cpu_core_0 "5.88235294117647".
- 1213798 cpu_core_0 "5.88235294117647".
- 1214322 cpu_core_0 "5.88235294117647".
- 1214467 cpu_core_0 "5.88235294117647".
- 1214617 cpu_core_0 "5.88235294117647".
- 1214737 cpu_core_0 "5.88235294117647".
- 1214806 cpu_core_0 "5.88235294117647".
- 1215045 cpu_core_0 "5.88235294117647".
- 1215727 cpu_core_0 "5.88235294117647".
- 1215846 cpu_core_0 "5.88235294117647".
- 1216150 cpu_core_0 "5.88235294117647".
- 1216272 cpu_core_0 "5.88235294117647".
- 1216683 cpu_core_0 "5.88235294117647".
- 1216875 cpu_core_0 "5.88235294117647".
- 1217045 cpu_core_0 "5.88235294117647".
- 1217628 cpu_core_0 "5.88235294117647".
- 1236199 cpu_core_0 "5.88235294117647".
- 1236261 cpu_core_0 "5.88235294117647".
- 1236513 cpu_core_0 "5.88235294117647".
- 1236611 cpu_core_0 "5.88235294117647".
- 1237215 cpu_core_0 "5.88235294117647".
- 1237591 cpu_core_0 "5.88235294117647".
- 1237828 cpu_core_0 "5.88235294117647".
- 1238706 cpu_core_0 "5.88235294117647".
- 1241193 cpu_core_0 "5.88235294117647".
- 1241399 cpu_core_0 "5.88235294117647".
- 1243030 cpu_core_0 "5.88235294117647".
- 1243191 cpu_core_0 "5.88235294117647".
- 1244001 cpu_core_0 "5.88235294117647".
- 1244083 cpu_core_0 "5.88235294117647".
- 1244641 cpu_core_0 "5.88235294117647".
- 1244744 cpu_core_0 "5.88235294117647".
- 1245975 cpu_core_0 "5.88235294117647".
- 1247886 cpu_core_0 "5.88235294117647".
- 1248764 cpu_core_0 "5.88235294117647".
- 1250554 cpu_core_0 "5.88235294117647".
- 1251081 cpu_core_0 "5.88235294117647".
- 1252009 cpu_core_0 "5.88235294117647".
- 1253028 cpu_core_0 "5.88235294117647".
- 1253769 cpu_core_0 "5.88235294117647".
- 1253797 cpu_core_0 "5.88235294117647".
- 1254202 cpu_core_0 "5.88235294117647".
- 1254245 cpu_core_0 "5.88235294117647".
- 1255001 cpu_core_0 "5.88235294117647".
- 1255605 cpu_core_0 "5.88235294117647".
- 1255892 cpu_core_0 "5.88235294117647".
- 1256866 cpu_core_0 "5.88235294117647".
- 1257629 cpu_core_0 "5.88235294117647".
- 1257848 cpu_core_0 "5.88235294117647".
- 1258685 cpu_core_0 "5.88235294117647".
- 1261381 cpu_core_0 "5.88235294117647".
- 1261386 cpu_core_0 "5.88235294117647".
- 1263286 cpu_core_0 "5.88235294117647".
- 1266720 cpu_core_0 "5.88235294117647".
- 1267124 cpu_core_0 "5.88235294117647".
- 1267248 cpu_core_0 "5.88235294117647".
- 1267697 cpu_core_0 "5.88235294117647".
- 1267981 cpu_core_0 "5.88235294117647".
- 1268353 cpu_core_0 "5.88235294117647".
- 1268521 cpu_core_0 "5.88235294117647".
- 1270016 cpu_core_0 "5.88235294117647".
- 1270603 cpu_core_0 "5.88235294117647".
- 1270830 cpu_core_0 "5.88235294117647".
- 1271016 cpu_core_0 "5.88235294117647".
- 1273083 cpu_core_0 "5.88235294117647".
- 1276053 cpu_core_0 "5.88235294117647".
- 1277615 cpu_core_0 "5.88235294117647".
- 1280225 cpu_core_0 "5.88235294117647".
- 1280673 cpu_core_0 "5.88235294117647".
- 1281881 cpu_core_0 "5.88235294117647".
- 1281899 cpu_core_0 "5.88235294117647".
- 1282169 cpu_core_0 "5.88235294117647".
- 1282232 cpu_core_0 "5.88235294117647".
- 1284822 cpu_core_0 "5.88235294117647".
- 1285398 cpu_core_0 "5.88235294117647".
- 1286531 cpu_core_0 "5.88235294117647".
- 1287125 cpu_core_0 "5.88235294117647".
- 1287201 cpu_core_0 "5.88235294117647".
- 1287310 cpu_core_0 "5.88235294117647".
- 1287422 cpu_core_0 "5.88235294117647".
- 1290877 cpu_core_0 "5.88235294117647".
- 1290951 cpu_core_0 "5.88235294117647".
- 1291367 cpu_core_0 "5.88235294117647".