Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1433268 cpu_core_0 "25.742574257425744".
- 1434513 cpu_core_0 "25.742574257425744".
- 1435669 cpu_core_0 "25.742574257425744".
- 1435698 cpu_core_0 "25.742574257425744".
- 1435818 cpu_core_0 "25.742574257425744".
- 1437609 cpu_core_0 "25.742574257425744".
- 1437854 cpu_core_0 "25.742574257425744".
- 1438375 cpu_core_0 "25.742574257425744".
- 1438595 cpu_core_0 "25.742574257425744".
- 1438714 cpu_core_0 "25.742574257425744".
- 1439587 cpu_core_0 "25.742574257425744".
- 1439869 cpu_core_0 "25.742574257425744".
- 1442496 cpu_core_0 "25.742574257425744".
- 1443117 cpu_core_0 "25.742574257425744".
- 1444755 cpu_core_0 "25.742574257425744".
- 1445331 cpu_core_0 "25.742574257425744".
- 1445454 cpu_core_0 "25.742574257425744".
- 1445601 cpu_core_0 "25.742574257425744".
- 1445614 cpu_core_0 "25.742574257425744".
- 1445848 cpu_core_0 "25.742574257425744".
- 1446654 cpu_core_0 "25.742574257425744".
- 1449227 cpu_core_0 "25.742574257425744".
- 1450579 cpu_core_0 "25.742574257425744".
- 1452267 cpu_core_0 "25.742574257425744".
- 1452486 cpu_core_0 "25.742574257425744".
- 1452568 cpu_core_0 "25.742574257425744".
- 1452624 cpu_core_0 "25.742574257425744".
- 1454742 cpu_core_0 "25.742574257425744".
- 1455589 cpu_core_0 "25.742574257425744".
- 1456447 cpu_core_0 "25.742574257425744".
- 1456749 cpu_core_0 "25.742574257425744".
- 1457035 cpu_core_0 "25.742574257425744".
- 1457715 cpu_core_0 "25.742574257425744".
- 1457958 cpu_core_0 "25.742574257425744".
- 1458103 cpu_core_0 "25.742574257425744".
- 1459594 cpu_core_0 "25.742574257425744".
- 1459819 cpu_core_0 "25.742574257425744".
- 1460638 cpu_core_0 "25.742574257425744".
- 1461984 cpu_core_0 "25.742574257425744".
- 1462145 cpu_core_0 "25.742574257425744".
- 1462731 cpu_core_0 "25.742574257425744".
- 1462804 cpu_core_0 "25.742574257425744".
- 1463294 cpu_core_0 "25.742574257425744".
- 1463422 cpu_core_0 "25.742574257425744".
- 1465009 cpu_core_0 "25.742574257425744".
- 1465327 cpu_core_0 "25.742574257425744".
- 1465503 cpu_core_0 "25.742574257425744".
- 1465777 cpu_core_0 "25.742574257425744".
- 1466035 cpu_core_0 "25.742574257425744".
- 1466348 cpu_core_0 "25.742574257425744".
- 1466360 cpu_core_0 "25.742574257425744".
- 1466646 cpu_core_0 "25.742574257425744".
- 1466800 cpu_core_0 "25.742574257425744".
- 1468290 cpu_core_0 "25.742574257425744".
- 1469229 cpu_core_0 "25.742574257425744".
- 1472105 cpu_core_0 "25.742574257425744".
- 1472934 cpu_core_0 "25.742574257425744".
- 1473338 cpu_core_0 "25.742574257425744".
- 1473370 cpu_core_0 "25.742574257425744".
- 1473643 cpu_core_0 "25.742574257425744".
- 1475202 cpu_core_0 "25.742574257425744".
- 1475620 cpu_core_0 "25.742574257425744".
- 1477027 cpu_core_0 "25.742574257425744".
- 1477972 cpu_core_0 "25.742574257425744".
- 1478071 cpu_core_0 "25.742574257425744".
- 1479090 cpu_core_0 "25.742574257425744".
- 1479684 cpu_core_0 "25.742574257425744".
- 1479793 cpu_core_0 "25.742574257425744".
- 1479798 cpu_core_0 "25.742574257425744".
- 1480178 cpu_core_0 "25.742574257425744".
- 1480372 cpu_core_0 "25.742574257425744".
- 1480492 cpu_core_0 "25.742574257425744".
- 1481408 cpu_core_0 "25.742574257425744".
- 1482121 cpu_core_0 "25.742574257425744".
- 1483243 cpu_core_0 "25.742574257425744".
- 1484033 cpu_core_0 "25.742574257425744".
- 1484356 cpu_core_0 "25.742574257425744".
- 1485192 cpu_core_0 "25.742574257425744".
- 1485700 cpu_core_0 "25.742574257425744".
- 1486217 cpu_core_0 "25.742574257425744".
- 1486590 cpu_core_0 "25.742574257425744".
- 1486932 cpu_core_0 "25.742574257425744".
- 1487265 cpu_core_0 "25.742574257425744".
- 1487431 cpu_core_0 "25.742574257425744".
- 1489096 cpu_core_0 "25.742574257425744".
- 1489980 cpu_core_0 "25.742574257425744".
- 1490564 cpu_core_0 "25.742574257425744".
- 1491453 cpu_core_0 "25.742574257425744".
- 1491616 cpu_core_0 "25.742574257425744".
- 1492201 cpu_core_0 "25.742574257425744".
- 1492569 cpu_core_0 "25.742574257425744".
- 1492773 cpu_core_0 "25.742574257425744".
- 1492971 cpu_core_0 "25.742574257425744".
- 1493993 cpu_core_0 "25.742574257425744".
- 1494618 cpu_core_0 "25.742574257425744".
- 1495964 cpu_core_0 "25.742574257425744".
- 1496323 cpu_core_0 "25.742574257425744".
- 1496665 cpu_core_0 "25.742574257425744".
- 1497042 cpu_core_0 "25.742574257425744".
- 1497656 cpu_core_0 "25.742574257425744".