Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1217210 cpu_core_1 "5.88235294117647".
- 1217266 cpu_core_1 "5.88235294117647".
- 1217325 cpu_core_1 "5.88235294117647".
- 1217354 cpu_core_1 "5.88235294117647".
- 1217744 cpu_core_1 "5.88235294117647".
- 1236575 cpu_core_1 "5.88235294117647".
- 1237254 cpu_core_1 "5.88235294117647".
- 1237396 cpu_core_1 "5.88235294117647".
- 1238649 cpu_core_1 "5.88235294117647".
- 1238796 cpu_core_1 "5.88235294117647".
- 1239860 cpu_core_1 "5.88235294117647".
- 1241412 cpu_core_1 "5.88235294117647".
- 1242432 cpu_core_1 "5.88235294117647".
- 1242749 cpu_core_1 "5.88235294117647".
- 1243064 cpu_core_1 "5.88235294117647".
- 1245040 cpu_core_1 "5.88235294117647".
- 1246947 cpu_core_1 "5.88235294117647".
- 1248620 cpu_core_1 "5.88235294117647".
- 1251469 cpu_core_1 "5.88235294117647".
- 1251950 cpu_core_1 "5.88235294117647".
- 1255147 cpu_core_1 "5.88235294117647".
- 1255563 cpu_core_1 "5.88235294117647".
- 1256206 cpu_core_1 "5.88235294117647".
- 1256616 cpu_core_1 "5.88235294117647".
- 1257114 cpu_core_1 "5.88235294117647".
- 1257383 cpu_core_1 "5.88235294117647".
- 1258587 cpu_core_1 "5.88235294117647".
- 1260223 cpu_core_1 "5.88235294117647".
- 1261521 cpu_core_1 "5.88235294117647".
- 1263798 cpu_core_1 "5.88235294117647".
- 1263839 cpu_core_1 "5.88235294117647".
- 1267337 cpu_core_1 "5.88235294117647".
- 1268779 cpu_core_1 "5.88235294117647".
- 1269395 cpu_core_1 "5.88235294117647".
- 1272081 cpu_core_1 "5.88235294117647".
- 1276348 cpu_core_1 "5.88235294117647".
- 1277371 cpu_core_1 "5.88235294117647".
- 1281000 cpu_core_1 "5.88235294117647".
- 1288984 cpu_core_1 "5.88235294117647".
- 1289661 cpu_core_1 "5.88235294117647".
- 1289711 cpu_core_1 "5.88235294117647".
- 1290562 cpu_core_1 "5.88235294117647".
- 1291286 cpu_core_1 "5.88235294117647".
- 1293213 cpu_core_1 "5.88235294117647".
- 1294344 cpu_core_1 "5.88235294117647".
- 1300238 cpu_core_1 "5.88235294117647".
- 1300849 cpu_core_1 "5.88235294117647".
- 1302717 cpu_core_1 "5.88235294117647".
- 1303519 cpu_core_1 "5.88235294117647".
- 1307909 cpu_core_1 "5.88235294117647".
- 1310969 cpu_core_1 "5.88235294117647".
- 1312569 cpu_core_1 "5.88235294117647".
- 1312644 cpu_core_1 "5.88235294117647".
- 1315319 cpu_core_1 "5.88235294117647".
- 1316155 cpu_core_1 "5.88235294117647".
- 1316358 cpu_core_1 "5.88235294117647".
- 1317100 cpu_core_1 "5.88235294117647".
- 1319243 cpu_core_1 "5.88235294117647".
- 1320867 cpu_core_1 "5.88235294117647".
- 1323971 cpu_core_1 "5.88235294117647".
- 1324329 cpu_core_1 "5.88235294117647".
- 1324504 cpu_core_1 "5.88235294117647".
- 1325347 cpu_core_1 "5.88235294117647".
- 1326156 cpu_core_1 "5.88235294117647".
- 1326979 cpu_core_1 "5.88235294117647".
- 1327297 cpu_core_1 "5.88235294117647".
- 1328422 cpu_core_1 "5.88235294117647".
- 1328645 cpu_core_1 "5.88235294117647".
- 1329970 cpu_core_1 "5.88235294117647".
- 1330159 cpu_core_1 "5.88235294117647".
- 1330351 cpu_core_1 "5.88235294117647".
- 1331528 cpu_core_1 "5.88235294117647".
- 1332182 cpu_core_1 "5.88235294117647".
- 1336266 cpu_core_1 "5.88235294117647".
- 1342807 cpu_core_1 "5.88235294117647".
- 1342856 cpu_core_1 "5.88235294117647".
- 1342862 cpu_core_1 "5.88235294117647".
- 1343983 cpu_core_1 "5.88235294117647".
- 1344282 cpu_core_1 "5.88235294117647".
- 1345447 cpu_core_1 "5.88235294117647".
- 1345473 cpu_core_1 "5.88235294117647".
- 1345931 cpu_core_1 "5.88235294117647".
- 1347085 cpu_core_1 "5.88235294117647".
- 1350056 cpu_core_1 "5.88235294117647".
- 1350189 cpu_core_1 "5.88235294117647".
- 1353333 cpu_core_1 "5.88235294117647".
- 1354816 cpu_core_1 "5.88235294117647".
- 1355579 cpu_core_1 "5.88235294117647".
- 1357507 cpu_core_1 "5.88235294117647".
- 1358153 cpu_core_1 "5.88235294117647".
- 1359275 cpu_core_1 "5.88235294117647".
- 1359681 cpu_core_1 "5.88235294117647".
- 1361269 cpu_core_1 "5.88235294117647".
- 1364495 cpu_core_1 "5.88235294117647".
- 1365679 cpu_core_1 "5.88235294117647".
- 1366237 cpu_core_1 "5.88235294117647".
- 1366371 cpu_core_1 "5.88235294117647".
- 1367023 cpu_core_1 "5.88235294117647".
- 1370969 cpu_core_1 "5.88235294117647".
- 1371063 cpu_core_1 "5.88235294117647".