Matches in ISWC2014 Benchmark for { ?s ?p 24.752475247524753. }
- 1419261 cpu_core_0 "24.752475247524753".
- 1419453 cpu_core_0 "24.752475247524753".
- 1419838 cpu_core_0 "24.752475247524753".
- 1420038 cpu_core_0 "24.752475247524753".
- 1420497 cpu_core_0 "24.752475247524753".
- 1420677 cpu_core_0 "24.752475247524753".
- 1420887 cpu_core_0 "24.752475247524753".
- 1420890 cpu_core_0 "24.752475247524753".
- 1421039 cpu_core_0 "24.752475247524753".
- 1421106 cpu_core_0 "24.752475247524753".
- 1423065 cpu_core_0 "24.752475247524753".
- 1423570 cpu_core_0 "24.752475247524753".
- 1424282 cpu_core_0 "24.752475247524753".
- 1424332 cpu_core_0 "24.752475247524753".
- 1425228 cpu_core_0 "24.752475247524753".
- 1425838 cpu_core_0 "24.752475247524753".
- 1426552 cpu_core_0 "24.752475247524753".
- 1427783 cpu_core_0 "24.752475247524753".
- 1427803 cpu_core_0 "24.752475247524753".
- 1428155 cpu_core_0 "24.752475247524753".
- 1428489 cpu_core_0 "24.752475247524753".
- 1429578 cpu_core_0 "24.752475247524753".
- 1429835 cpu_core_0 "24.752475247524753".
- 1430088 cpu_core_0 "24.752475247524753".
- 1431198 cpu_core_0 "24.752475247524753".
- 1431760 cpu_core_0 "24.752475247524753".
- 1431929 cpu_core_0 "24.752475247524753".
- 1432559 cpu_core_0 "24.752475247524753".
- 1432624 cpu_core_0 "24.752475247524753".
- 1432862 cpu_core_0 "24.752475247524753".
- 1433329 cpu_core_0 "24.752475247524753".
- 1433930 cpu_core_0 "24.752475247524753".
- 1435168 cpu_core_0 "24.752475247524753".
- 1435938 cpu_core_0 "24.752475247524753".
- 1436522 cpu_core_0 "24.752475247524753".
- 1437144 cpu_core_0 "24.752475247524753".
- 1437343 cpu_core_0 "24.752475247524753".
- 1437834 cpu_core_0 "24.752475247524753".
- 1438023 cpu_core_0 "24.752475247524753".
- 1438310 cpu_core_0 "24.752475247524753".
- 1438736 cpu_core_0 "24.752475247524753".
- 1439690 cpu_core_0 "24.752475247524753".
- 1441210 cpu_core_0 "24.752475247524753".
- 1445099 cpu_core_0 "24.752475247524753".
- 1445629 cpu_core_0 "24.752475247524753".
- 1445850 cpu_core_0 "24.752475247524753".
- 1446201 cpu_core_0 "24.752475247524753".
- 1446532 cpu_core_0 "24.752475247524753".
- 1447000 cpu_core_0 "24.752475247524753".
- 1447313 cpu_core_0 "24.752475247524753".
- 1448682 cpu_core_0 "24.752475247524753".
- 1449604 cpu_core_0 "24.752475247524753".
- 1451527 cpu_core_0 "24.752475247524753".
- 1451538 cpu_core_0 "24.752475247524753".
- 1451812 cpu_core_0 "24.752475247524753".
- 1452163 cpu_core_0 "24.752475247524753".
- 1452242 cpu_core_0 "24.752475247524753".
- 1452481 cpu_core_0 "24.752475247524753".
- 1452762 cpu_core_0 "24.752475247524753".
- 1452853 cpu_core_0 "24.752475247524753".
- 1452867 cpu_core_0 "24.752475247524753".
- 1453341 cpu_core_0 "24.752475247524753".
- 1455197 cpu_core_0 "24.752475247524753".
- 1455661 cpu_core_0 "24.752475247524753".
- 1456041 cpu_core_0 "24.752475247524753".
- 1456621 cpu_core_0 "24.752475247524753".
- 1457071 cpu_core_0 "24.752475247524753".
- 1457658 cpu_core_0 "24.752475247524753".
- 1457960 cpu_core_0 "24.752475247524753".
- 1458149 cpu_core_0 "24.752475247524753".
- 1458586 cpu_core_0 "24.752475247524753".
- 1458612 cpu_core_0 "24.752475247524753".
- 1459277 cpu_core_0 "24.752475247524753".
- 1461232 cpu_core_0 "24.752475247524753".
- 1461779 cpu_core_0 "24.752475247524753".
- 1462885 cpu_core_0 "24.752475247524753".
- 1463202 cpu_core_0 "24.752475247524753".
- 1463783 cpu_core_0 "24.752475247524753".
- 1463896 cpu_core_0 "24.752475247524753".
- 1465167 cpu_core_0 "24.752475247524753".
- 1465839 cpu_core_0 "24.752475247524753".
- 1465995 cpu_core_0 "24.752475247524753".
- 1466084 cpu_core_0 "24.752475247524753".
- 1466097 cpu_core_0 "24.752475247524753".
- 1466480 cpu_core_0 "24.752475247524753".
- 1466703 cpu_core_0 "24.752475247524753".
- 1467744 cpu_core_0 "24.752475247524753".
- 1467915 cpu_core_0 "24.752475247524753".
- 1469033 cpu_core_0 "24.752475247524753".
- 1470228 cpu_core_0 "24.752475247524753".
- 1470235 cpu_core_0 "24.752475247524753".
- 1470456 cpu_core_0 "24.752475247524753".
- 1470522 cpu_core_0 "24.752475247524753".
- 1470798 cpu_core_0 "24.752475247524753".
- 1471262 cpu_core_0 "24.752475247524753".
- 1472526 cpu_core_0 "24.752475247524753".
- 1472831 cpu_core_0 "24.752475247524753".
- 1472980 cpu_core_0 "24.752475247524753".
- 1473537 cpu_core_0 "24.752475247524753".
- 1473554 cpu_core_0 "24.752475247524753".