Matches in ISWC2014 Benchmark for { ?s ?p 5.88235294117647. }
- 1380326 cpu_core_0 "5.88235294117647".
- 1380587 cpu_core_0 "5.88235294117647".
- 1380928 cpu_core_0 "5.88235294117647".
- 1381072 cpu_core_0 "5.88235294117647".
- 1381324 cpu_core_0 "5.88235294117647".
- 1381825 cpu_core_0 "5.88235294117647".
- 1382444 cpu_core_0 "5.88235294117647".
- 1383785 cpu_core_0 "5.88235294117647".
- 1384510 cpu_core_0 "5.88235294117647".
- 1385260 cpu_core_0 "5.88235294117647".
- 1385996 cpu_core_0 "5.88235294117647".
- 1386251 cpu_core_0 "5.88235294117647".
- 1386572 cpu_core_0 "5.88235294117647".
- 1386796 cpu_core_0 "5.88235294117647".
- 1386914 cpu_core_0 "5.88235294117647".
- 1388097 cpu_core_0 "5.88235294117647".
- 1388901 cpu_core_0 "5.88235294117647".
- 1389970 cpu_core_0 "5.88235294117647".
- 1390085 cpu_core_0 "5.88235294117647".
- 1390156 cpu_core_0 "5.88235294117647".
- 1392117 cpu_core_0 "5.88235294117647".
- 1392251 cpu_core_0 "5.88235294117647".
- 1394509 cpu_core_0 "5.88235294117647".
- 1397377 cpu_core_0 "5.88235294117647".
- 1398258 cpu_core_0 "5.88235294117647".
- 1398861 cpu_core_0 "5.88235294117647".
- 1399419 cpu_core_0 "5.88235294117647".
- 1400502 cpu_core_0 "5.88235294117647".
- 1402796 cpu_core_0 "5.88235294117647".
- 1404470 cpu_core_0 "5.88235294117647".
- 1404955 cpu_core_0 "5.88235294117647".
- 1407854 cpu_core_0 "5.88235294117647".
- 1408714 cpu_core_0 "5.88235294117647".
- 1408880 cpu_core_0 "5.88235294117647".
- 1409101 cpu_core_0 "5.88235294117647".
- 1412245 cpu_core_0 "5.88235294117647".
- 1412892 cpu_core_0 "5.88235294117647".
- 1413429 cpu_core_0 "5.88235294117647".
- 1413439 cpu_core_0 "5.88235294117647".
- 1414716 cpu_core_0 "5.88235294117647".
- 1415611 cpu_core_0 "5.88235294117647".
- 1415894 cpu_core_0 "5.88235294117647".
- 1417597 cpu_core_0 "5.88235294117647".
- 1418322 cpu_core_0 "5.88235294117647".
- 1418359 cpu_core_0 "5.88235294117647".
- 1418801 cpu_core_0 "5.88235294117647".
- 1418816 cpu_core_0 "5.88235294117647".
- 1419516 cpu_core_0 "5.88235294117647".
- 1420605 cpu_core_0 "5.88235294117647".
- 1422488 cpu_core_0 "5.88235294117647".
- 1423928 cpu_core_0 "5.88235294117647".
- 1424135 cpu_core_0 "5.88235294117647".
- 1425134 cpu_core_0 "5.88235294117647".
- 1425176 cpu_core_0 "5.88235294117647".
- 1425870 cpu_core_0 "5.88235294117647".
- 1426411 cpu_core_0 "5.88235294117647".
- 1428525 cpu_core_0 "5.88235294117647".
- 1430010 cpu_core_0 "5.88235294117647".
- 1430751 cpu_core_0 "5.88235294117647".
- 1431540 cpu_core_0 "5.88235294117647".
- 1431934 cpu_core_0 "5.88235294117647".
- 1433858 cpu_core_0 "5.88235294117647".
- 1434614 cpu_core_0 "5.88235294117647".
- 1436323 cpu_core_0 "5.88235294117647".
- 1439747 cpu_core_0 "5.88235294117647".
- 1442563 cpu_core_0 "5.88235294117647".
- 1443557 cpu_core_0 "5.88235294117647".
- 1444082 cpu_core_0 "5.88235294117647".
- 1444117 cpu_core_0 "5.88235294117647".
- 1444237 cpu_core_0 "5.88235294117647".
- 1444609 cpu_core_0 "5.88235294117647".
- 1449121 cpu_core_0 "5.88235294117647".
- 1451887 cpu_core_0 "5.88235294117647".
- 1452205 cpu_core_0 "5.88235294117647".
- 1453273 cpu_core_0 "5.88235294117647".
- 1453312 cpu_core_0 "5.88235294117647".
- 1453612 cpu_core_0 "5.88235294117647".
- 1453864 cpu_core_0 "5.88235294117647".
- 1456198 cpu_core_0 "5.88235294117647".
- 1456331 cpu_core_0 "5.88235294117647".
- 1458387 cpu_core_0 "5.88235294117647".
- 1459363 cpu_core_0 "5.88235294117647".
- 1459583 cpu_core_0 "5.88235294117647".
- 1460754 cpu_core_0 "5.88235294117647".
- 1461073 cpu_core_0 "5.88235294117647".
- 1461171 cpu_core_0 "5.88235294117647".
- 1461594 cpu_core_0 "5.88235294117647".
- 1463277 cpu_core_0 "5.88235294117647".
- 1463452 cpu_core_0 "5.88235294117647".
- 1464093 cpu_core_0 "5.88235294117647".
- 1464283 cpu_core_0 "5.88235294117647".
- 1464601 cpu_core_0 "5.88235294117647".
- 1465163 cpu_core_0 "5.88235294117647".
- 1465275 cpu_core_0 "5.88235294117647".
- 1465783 cpu_core_0 "5.88235294117647".
- 1466253 cpu_core_0 "5.88235294117647".
- 1466884 cpu_core_0 "5.88235294117647".
- 1468627 cpu_core_0 "5.88235294117647".
- 1470190 cpu_core_0 "5.88235294117647".
- 1470868 cpu_core_0 "5.88235294117647".