Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1718321 cpu_core_0 "5.940594059405941".
- 1718330 cpu_core_0 "5.940594059405941".
- 1718373 cpu_core_0 "5.940594059405941".
- 1718404 cpu_core_0 "5.940594059405941".
- 1718469 cpu_core_0 "5.940594059405941".
- 1718500 cpu_core_0 "5.940594059405941".
- 1718531 cpu_core_0 "5.940594059405941".
- 1718575 cpu_core_0 "5.940594059405941".
- 1718601 cpu_core_0 "5.940594059405941".
- 1718663 cpu_core_0 "5.940594059405941".
- 1718704 cpu_core_0 "5.940594059405941".
- 1718732 cpu_core_0 "5.940594059405941".
- 1718804 cpu_core_0 "5.940594059405941".
- 1718826 cpu_core_0 "5.940594059405941".
- 1718855 cpu_core_0 "5.940594059405941".
- 1719025 cpu_core_0 "5.940594059405941".
- 1719142 cpu_core_0 "5.940594059405941".
- 1719230 cpu_core_0 "5.940594059405941".
- 1719417 cpu_core_0 "5.940594059405941".
- 1719432 cpu_core_0 "5.940594059405941".
- 1719578 cpu_core_0 "5.940594059405941".
- 1719699 cpu_core_0 "5.940594059405941".
- 1719768 cpu_core_0 "5.940594059405941".
- 1719795 cpu_core_0 "5.940594059405941".
- 1719835 cpu_core_0 "5.940594059405941".
- 1720029 cpu_core_0 "5.940594059405941".
- 1720339 cpu_core_0 "5.940594059405941".
- 1720389 cpu_core_0 "5.940594059405941".
- 1720472 cpu_core_0 "5.940594059405941".
- 1720814 cpu_core_0 "5.940594059405941".
- 1721066 cpu_core_0 "5.940594059405941".
- 172117 cpu_core_0 "5.940594059405941".
- 1721207 cpu_core_0 "5.940594059405941".
- 1721501 cpu_core_0 "5.940594059405941".
- 1721785 cpu_core_0 "5.940594059405941".
- 1721798 cpu_core_0 "5.940594059405941".
- 1721851 cpu_core_0 "5.940594059405941".
- 1721937 cpu_core_0 "5.940594059405941".
- 1721988 cpu_core_0 "5.940594059405941".
- 1722029 cpu_core_0 "5.940594059405941".
- 1722057 cpu_core_0 "5.940594059405941".
- 1722075 cpu_core_0 "5.940594059405941".
- 1722121 cpu_core_0 "5.940594059405941".
- 1722291 cpu_core_0 "5.940594059405941".
- 1722438 cpu_core_0 "5.940594059405941".
- 1722468 cpu_core_0 "5.940594059405941".
- 1722528 cpu_core_0 "5.940594059405941".
- 1722573 cpu_core_0 "5.940594059405941".
- 1722595 cpu_core_0 "5.940594059405941".
- 1722655 cpu_core_0 "5.940594059405941".
- 1722725 cpu_core_0 "5.940594059405941".
- 1722938 cpu_core_0 "5.940594059405941".
- 1723040 cpu_core_0 "5.940594059405941".
- 1723043 cpu_core_0 "5.940594059405941".
- 1723052 cpu_core_0 "5.940594059405941".
- 1723202 cpu_core_0 "5.940594059405941".
- 1723225 cpu_core_0 "5.940594059405941".
- 1723428 cpu_core_0 "5.940594059405941".
- 1723488 cpu_core_0 "5.940594059405941".
- 1723564 cpu_core_0 "5.940594059405941".
- 1723575 cpu_core_0 "5.940594059405941".
- 1723658 cpu_core_0 "5.940594059405941".
- 1723697 cpu_core_0 "5.940594059405941".
- 1723774 cpu_core_0 "5.940594059405941".
- 1723790 cpu_core_0 "5.940594059405941".
- 1723803 cpu_core_0 "5.940594059405941".
- 1723812 cpu_core_0 "5.940594059405941".
- 1723826 cpu_core_0 "5.940594059405941".
- 1723846 cpu_core_0 "5.940594059405941".
- 1723917 cpu_core_0 "5.940594059405941".
- 1724044 cpu_core_0 "5.940594059405941".
- 1724189 cpu_core_0 "5.940594059405941".
- 1724536 cpu_core_0 "5.940594059405941".
- 1724542 cpu_core_0 "5.940594059405941".
- 1724756 cpu_core_0 "5.940594059405941".
- 1724779 cpu_core_0 "5.940594059405941".
- 1724807 cpu_core_0 "5.940594059405941".
- 1724913 cpu_core_0 "5.940594059405941".
- 1725005 cpu_core_0 "5.940594059405941".
- 1725017 cpu_core_0 "5.940594059405941".
- 1725103 cpu_core_0 "5.940594059405941".
- 1725137 cpu_core_0 "5.940594059405941".
- 1725249 cpu_core_0 "5.940594059405941".
- 1725418 cpu_core_0 "5.940594059405941".
- 1725450 cpu_core_0 "5.940594059405941".
- 1725503 cpu_core_0 "5.940594059405941".
- 1725633 cpu_core_0 "5.940594059405941".
- 1725648 cpu_core_0 "5.940594059405941".
- 1725778 cpu_core_0 "5.940594059405941".
- 1725905 cpu_core_0 "5.940594059405941".
- 1726008 cpu_core_0 "5.940594059405941".
- 1726068 cpu_core_0 "5.940594059405941".
- 1726213 cpu_core_0 "5.940594059405941".
- 1726303 cpu_core_0 "5.940594059405941".
- 1726327 cpu_core_0 "5.940594059405941".
- 1726377 cpu_core_0 "5.940594059405941".
- 1726697 cpu_core_0 "5.940594059405941".
- 1726738 cpu_core_0 "5.940594059405941".
- 1727116 cpu_core_0 "5.940594059405941".
- 1727195 cpu_core_0 "5.940594059405941".