Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1800994 cpu_core_0 "5.940594059405941".
- 1802365 cpu_core_0 "5.940594059405941".
- 1802734 cpu_core_0 "5.940594059405941".
- 1803229 cpu_core_0 "5.940594059405941".
- 1803382 cpu_core_0 "5.940594059405941".
- 1803782 cpu_core_0 "5.940594059405941".
- 1804295 cpu_core_0 "5.940594059405941".
- 1804318 cpu_core_0 "5.940594059405941".
- 1804369 cpu_core_0 "5.940594059405941".
- 1804857 cpu_core_0 "5.940594059405941".
- 1804865 cpu_core_0 "5.940594059405941".
- 1804931 cpu_core_0 "5.940594059405941".
- 1805502 cpu_core_0 "5.940594059405941".
- 1805581 cpu_core_0 "5.940594059405941".
- 1805648 cpu_core_0 "5.940594059405941".
- 1805653 cpu_core_0 "5.940594059405941".
- 1805860 cpu_core_0 "5.940594059405941".
- 1805943 cpu_core_0 "5.940594059405941".
- 1805990 cpu_core_0 "5.940594059405941".
- 1806001 cpu_core_0 "5.940594059405941".
- 1806105 cpu_core_0 "5.940594059405941".
- 1806147 cpu_core_0 "5.940594059405941".
- 1806300 cpu_core_0 "5.940594059405941".
- 1806373 cpu_core_0 "5.940594059405941".
- 1806410 cpu_core_0 "5.940594059405941".
- 1806589 cpu_core_0 "5.940594059405941".
- 1806620 cpu_core_0 "5.940594059405941".
- 1806655 cpu_core_0 "5.940594059405941".
- 1806704 cpu_core_0 "5.940594059405941".
- 1806825 cpu_core_0 "5.940594059405941".
- 1806833 cpu_core_0 "5.940594059405941".
- 1806953 cpu_core_0 "5.940594059405941".
- 1807050 cpu_core_0 "5.940594059405941".
- 1807112 cpu_core_0 "5.940594059405941".
- 1807305 cpu_core_0 "5.940594059405941".
- 1807327 cpu_core_0 "5.940594059405941".
- 1807509 cpu_core_0 "5.940594059405941".
- 1807558 cpu_core_0 "5.940594059405941".
- 1807593 cpu_core_0 "5.940594059405941".
- 1807652 cpu_core_0 "5.940594059405941".
- 1807705 cpu_core_0 "5.940594059405941".
- 1807719 cpu_core_0 "5.940594059405941".
- 1807802 cpu_core_0 "5.940594059405941".
- 1807825 cpu_core_0 "5.940594059405941".
- 1807888 cpu_core_0 "5.940594059405941".
- 1807908 cpu_core_0 "5.940594059405941".
- 1807926 cpu_core_0 "5.940594059405941".
- 1807955 cpu_core_0 "5.940594059405941".
- 1807988 cpu_core_0 "5.940594059405941".
- 1808036 cpu_core_0 "5.940594059405941".
- 1808068 cpu_core_0 "5.940594059405941".
- 1808113 cpu_core_0 "5.940594059405941".
- 1808187 cpu_core_0 "5.940594059405941".
- 1808315 cpu_core_0 "5.940594059405941".
- 1808441 cpu_core_0 "5.940594059405941".
- 1808503 cpu_core_0 "5.940594059405941".
- 1808958 cpu_core_0 "5.940594059405941".
- 1808978 cpu_core_0 "5.940594059405941".
- 1808987 cpu_core_0 "5.940594059405941".
- 1809123 cpu_core_0 "5.940594059405941".
- 1809139 cpu_core_0 "5.940594059405941".
- 1809171 cpu_core_0 "5.940594059405941".
- 1809234 cpu_core_0 "5.940594059405941".
- 1809380 cpu_core_0 "5.940594059405941".
- 1809440 cpu_core_0 "5.940594059405941".
- 1809650 cpu_core_0 "5.940594059405941".
- 1809771 cpu_core_0 "5.940594059405941".
- 1809885 cpu_core_0 "5.940594059405941".
- 1811214 cpu_core_0 "5.940594059405941".
- 1811348 cpu_core_0 "5.940594059405941".
- 1811571 cpu_core_0 "5.940594059405941".
- 1811583 cpu_core_0 "5.940594059405941".
- 1812387 cpu_core_0 "5.940594059405941".
- 1812463 cpu_core_0 "5.940594059405941".
- 1812494 cpu_core_0 "5.940594059405941".
- 1812779 cpu_core_0 "5.940594059405941".
- 1812954 cpu_core_0 "5.940594059405941".
- 1813451 cpu_core_0 "5.940594059405941".
- 1813495 cpu_core_0 "5.940594059405941".
- 1814076 cpu_core_0 "5.940594059405941".
- 1814522 cpu_core_0 "5.940594059405941".
- 1814593 cpu_core_0 "5.940594059405941".
- 1814624 cpu_core_0 "5.940594059405941".
- 1814825 cpu_core_0 "5.940594059405941".
- 1814895 cpu_core_0 "5.940594059405941".
- 1815549 cpu_core_0 "5.940594059405941".
- 1816493 cpu_core_0 "5.940594059405941".
- 1816583 cpu_core_0 "5.940594059405941".
- 1816618 cpu_core_0 "5.940594059405941".
- 1816671 cpu_core_0 "5.940594059405941".
- 1816702 cpu_core_0 "5.940594059405941".
- 1816771 cpu_core_0 "5.940594059405941".
- 1817609 cpu_core_0 "5.940594059405941".
- 1817723 cpu_core_0 "5.940594059405941".
- 1817935 cpu_core_0 "5.940594059405941".
- 1818191 cpu_core_0 "5.940594059405941".
- 1818232 cpu_core_0 "5.940594059405941".
- 1818311 cpu_core_0 "5.940594059405941".
- 1818317 cpu_core_0 "5.940594059405941".
- 1818455 cpu_core_0 "5.940594059405941".