Matches in ISWC2014 Benchmark for { ?s ?p 31.000000000000007. }
- 1518534 cpu_core_1 "31.000000000000007".
- 1525974 cpu_core_1 "31.000000000000007".
- 1527931 cpu_core_1 "31.000000000000007".
- 1529475 cpu_core_1 "31.000000000000007".
- 1532639 cpu_core_1 "31.000000000000007".
- 1534757 cpu_core_1 "31.000000000000007".
- 1535663 cpu_core_1 "31.000000000000007".
- 1540370 cpu_core_1 "31.000000000000007".
- 1547283 cpu_core_1 "31.000000000000007".
- 1550300 cpu_core_1 "31.000000000000007".
- 1550704 cpu_core_1 "31.000000000000007".
- 1553059 cpu_core_1 "31.000000000000007".
- 1554858 cpu_core_1 "31.000000000000007".
- 1560551 cpu_core_1 "31.000000000000007".
- 1560696 cpu_core_1 "31.000000000000007".
- 1562640 cpu_core_1 "31.000000000000007".
- 1562783 cpu_core_1 "31.000000000000007".
- 1564843 cpu_core_1 "31.000000000000007".
- 1568088 cpu_core_1 "31.000000000000007".
- 1568272 cpu_core_1 "31.000000000000007".
- 1570346 cpu_core_1 "31.000000000000007".
- 1574692 cpu_core_1 "31.000000000000007".
- 1575429 cpu_core_1 "31.000000000000007".
- 1575455 cpu_core_1 "31.000000000000007".
- 1580955 cpu_core_1 "31.000000000000007".
- 1583060 cpu_core_1 "31.000000000000007".
- 1584565 cpu_core_1 "31.000000000000007".
- 1585223 cpu_core_1 "31.000000000000007".
- 1586915 cpu_core_1 "31.000000000000007".
- 1588615 cpu_core_1 "31.000000000000007".
- 1588881 cpu_core_1 "31.000000000000007".
- 1590816 cpu_core_1 "31.000000000000007".
- 1592039 cpu_core_1 "31.000000000000007".
- 1592259 cpu_core_1 "31.000000000000007".
- 1595523 cpu_core_1 "31.000000000000007".
- 1601331 cpu_core_1 "31.000000000000007".
- 1606973 cpu_core_1 "31.000000000000007".
- 1614792 cpu_core_1 "31.000000000000007".
- 1615587 cpu_core_1 "31.000000000000007".
- 1615754 cpu_core_1 "31.000000000000007".
- 1618578 cpu_core_1 "31.000000000000007".
- 1619658 cpu_core_1 "31.000000000000007".
- 1619898 cpu_core_1 "31.000000000000007".
- 1619947 cpu_core_1 "31.000000000000007".
- 1620568 cpu_core_1 "31.000000000000007".
- 1621423 cpu_core_1 "31.000000000000007".
- 1621460 cpu_core_1 "31.000000000000007".
- 1622553 cpu_core_1 "31.000000000000007".
- 1624102 cpu_core_1 "31.000000000000007".
- 1628761 cpu_core_1 "31.000000000000007".
- 1629988 cpu_core_1 "31.000000000000007".
- 1638638 cpu_core_1 "31.000000000000007".
- 1638872 cpu_core_1 "31.000000000000007".
- 1639248 cpu_core_1 "31.000000000000007".
- 1639605 cpu_core_1 "31.000000000000007".
- 1640188 cpu_core_1 "31.000000000000007".
- 1640437 cpu_core_1 "31.000000000000007".
- 1640575 cpu_core_1 "31.000000000000007".
- 1640882 cpu_core_1 "31.000000000000007".
- 1641197 cpu_core_1 "31.000000000000007".
- 1641327 cpu_core_1 "31.000000000000007".
- 1642323 cpu_core_1 "31.000000000000007".
- 1642649 cpu_core_1 "31.000000000000007".
- 1642775 cpu_core_1 "31.000000000000007".
- 1642778 cpu_core_1 "31.000000000000007".
- 1642959 cpu_core_1 "31.000000000000007".
- 1643078 cpu_core_1 "31.000000000000007".
- 1644530 cpu_core_1 "31.000000000000007".
- 1644844 cpu_core_1 "31.000000000000007".
- 1645136 cpu_core_1 "31.000000000000007".
- 1645329 cpu_core_1 "31.000000000000007".
- 1645380 cpu_core_1 "31.000000000000007".
- 1645516 cpu_core_1 "31.000000000000007".
- 1655273 cpu_core_1 "31.000000000000007".
- 1655920 cpu_core_1 "31.000000000000007".
- 1656507 cpu_core_1 "31.000000000000007".
- 1656642 cpu_core_1 "31.000000000000007".
- 1657251 cpu_core_1 "31.000000000000007".
- 1659584 cpu_core_1 "31.000000000000007".
- 1660016 cpu_core_1 "31.000000000000007".
- 1660058 cpu_core_1 "31.000000000000007".
- 1660803 cpu_core_1 "31.000000000000007".
- 1661574 cpu_core_1 "31.000000000000007".
- 1664359 cpu_core_1 "31.000000000000007".
- 1665099 cpu_core_1 "31.000000000000007".
- 1665904 cpu_core_1 "31.000000000000007".
- 1666994 cpu_core_1 "31.000000000000007".
- 1668327 cpu_core_1 "31.000000000000007".
- 1668746 cpu_core_1 "31.000000000000007".
- 1669871 cpu_core_1 "31.000000000000007".
- 1673653 cpu_core_1 "31.000000000000007".
- 1675230 cpu_core_1 "31.000000000000007".
- 1679097 cpu_core_1 "31.000000000000007".
- 1679102 cpu_core_1 "31.000000000000007".
- 1679307 cpu_core_1 "31.000000000000007".
- 1679326 cpu_core_1 "31.000000000000007".
- 1679414 cpu_core_1 "31.000000000000007".
- 1679518 cpu_core_1 "31.000000000000007".
- 1680859 cpu_core_1 "31.000000000000007".
- 1682419 cpu_core_1 "31.000000000000007".