Matches in ISWC2014 Benchmark for { ?s ?p 25.742574257425744. }
- 1405907 cpu_core_1 "25.742574257425744".
- 1406059 cpu_core_1 "25.742574257425744".
- 1407265 cpu_core_1 "25.742574257425744".
- 1407319 cpu_core_1 "25.742574257425744".
- 1418536 cpu_core_1 "25.742574257425744".
- 1419050 cpu_core_1 "25.742574257425744".
- 1429602 cpu_core_1 "25.742574257425744".
- 1448944 cpu_core_1 "25.742574257425744".
- 1449902 cpu_core_1 "25.742574257425744".
- 1450357 cpu_core_1 "25.742574257425744".
- 1453162 cpu_core_1 "25.742574257425744".
- 1456091 cpu_core_1 "25.742574257425744".
- 1461433 cpu_core_1 "25.742574257425744".
- 1463252 cpu_core_1 "25.742574257425744".
- 1473737 cpu_core_1 "25.742574257425744".
- 1475219 cpu_core_1 "25.742574257425744".
- 1478202 cpu_core_1 "25.742574257425744".
- 1479307 cpu_core_1 "25.742574257425744".
- 1479825 cpu_core_1 "25.742574257425744".
- 1484539 cpu_core_1 "25.742574257425744".
- 1491535 cpu_core_1 "25.742574257425744".
- 1495224 cpu_core_1 "25.742574257425744".
- 1496665 cpu_core_1 "25.742574257425744".
- 1498787 cpu_core_1 "25.742574257425744".
- 1498851 cpu_core_1 "25.742574257425744".
- 1499627 cpu_core_1 "25.742574257425744".
- 1500388 cpu_core_1 "25.742574257425744".
- 1503280 cpu_core_1 "25.742574257425744".
- 1504684 cpu_core_1 "25.742574257425744".
- 1508480 cpu_core_1 "25.742574257425744".
- 1508658 cpu_core_1 "25.742574257425744".
- 1510243 cpu_core_1 "25.742574257425744".
- 1520006 cpu_core_1 "25.742574257425744".
- 1520016 cpu_core_1 "25.742574257425744".
- 1520630 cpu_core_1 "25.742574257425744".
- 1527526 cpu_core_1 "25.742574257425744".
- 1529232 cpu_core_1 "25.742574257425744".
- 1529803 cpu_core_1 "25.742574257425744".
- 1536428 cpu_core_1 "25.742574257425744".
- 1537334 cpu_core_1 "25.742574257425744".
- 1538439 cpu_core_1 "25.742574257425744".
- 1541955 cpu_core_1 "25.742574257425744".
- 1541970 cpu_core_1 "25.742574257425744".
- 1545687 cpu_core_1 "25.742574257425744".
- 1547160 cpu_core_1 "25.742574257425744".
- 1547579 cpu_core_1 "25.742574257425744".
- 1548194 cpu_core_1 "25.742574257425744".
- 1549174 cpu_core_1 "25.742574257425744".
- 1549860 cpu_core_1 "25.742574257425744".
- 1554280 cpu_core_1 "25.742574257425744".
- 1554788 cpu_core_1 "25.742574257425744".
- 1557770 cpu_core_1 "25.742574257425744".
- 1558988 cpu_core_1 "25.742574257425744".
- 1559517 cpu_core_1 "25.742574257425744".
- 1563778 cpu_core_1 "25.742574257425744".
- 1577132 cpu_core_1 "25.742574257425744".
- 1577648 cpu_core_1 "25.742574257425744".
- 1578236 cpu_core_1 "25.742574257425744".
- 1578546 cpu_core_1 "25.742574257425744".
- 1580945 cpu_core_1 "25.742574257425744".
- 1586877 cpu_core_1 "25.742574257425744".
- 1587627 cpu_core_1 "25.742574257425744".
- 1591778 cpu_core_1 "25.742574257425744".
- 1598001 cpu_core_1 "25.742574257425744".
- 1599990 cpu_core_1 "25.742574257425744".
- 1601006 cpu_core_1 "25.742574257425744".
- 1604057 cpu_core_1 "25.742574257425744".
- 1605185 cpu_core_1 "25.742574257425744".
- 1605277 cpu_core_1 "25.742574257425744".
- 1605350 cpu_core_1 "25.742574257425744".
- 1606321 cpu_core_1 "25.742574257425744".
- 1608123 cpu_core_1 "25.742574257425744".
- 1609026 cpu_core_1 "25.742574257425744".
- 1610394 cpu_core_1 "25.742574257425744".
- 1613660 cpu_core_1 "25.742574257425744".
- 1615831 cpu_core_1 "25.742574257425744".
- 1619538 cpu_core_1 "25.742574257425744".
- 1623322 cpu_core_1 "25.742574257425744".
- 1625781 cpu_core_1 "25.742574257425744".
- 1627384 cpu_core_1 "25.742574257425744".
- 1631290 cpu_core_1 "25.742574257425744".
- 1633856 cpu_core_1 "25.742574257425744".
- 1634029 cpu_core_1 "25.742574257425744".
- 1636953 cpu_core_1 "25.742574257425744".
- 1636976 cpu_core_1 "25.742574257425744".
- 1637947 cpu_core_1 "25.742574257425744".
- 1638513 cpu_core_1 "25.742574257425744".
- 1639108 cpu_core_1 "25.742574257425744".
- 1639410 cpu_core_1 "25.742574257425744".
- 1640013 cpu_core_1 "25.742574257425744".
- 1640322 cpu_core_1 "25.742574257425744".
- 1640603 cpu_core_1 "25.742574257425744".
- 1640972 cpu_core_1 "25.742574257425744".
- 1641553 cpu_core_1 "25.742574257425744".
- 1642032 cpu_core_1 "25.742574257425744".
- 1642328 cpu_core_1 "25.742574257425744".
- 1642873 cpu_core_1 "25.742574257425744".
- 1642911 cpu_core_1 "25.742574257425744".
- 1643096 cpu_core_1 "25.742574257425744".
- 1643212 cpu_core_1 "25.742574257425744".