Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1601289 cpu_core_0 "5.940594059405941".
- 1601311 cpu_core_0 "5.940594059405941".
- 1601572 cpu_core_0 "5.940594059405941".
- 1601770 cpu_core_0 "5.940594059405941".
- 1601797 cpu_core_0 "5.940594059405941".
- 1601938 cpu_core_0 "5.940594059405941".
- 1602003 cpu_core_0 "5.940594059405941".
- 1602120 cpu_core_0 "5.940594059405941".
- 1602179 cpu_core_0 "5.940594059405941".
- 1602252 cpu_core_0 "5.940594059405941".
- 1602299 cpu_core_0 "5.940594059405941".
- 1602452 cpu_core_0 "5.940594059405941".
- 1602870 cpu_core_0 "5.940594059405941".
- 1602998 cpu_core_0 "5.940594059405941".
- 1603092 cpu_core_0 "5.940594059405941".
- 1603197 cpu_core_0 "5.940594059405941".
- 1603244 cpu_core_0 "5.940594059405941".
- 1603610 cpu_core_0 "5.940594059405941".
- 1603630 cpu_core_0 "5.940594059405941".
- 1603657 cpu_core_0 "5.940594059405941".
- 1603699 cpu_core_0 "5.940594059405941".
- 1604001 cpu_core_0 "5.940594059405941".
- 1604395 cpu_core_0 "5.940594059405941".
- 1604465 cpu_core_0 "5.940594059405941".
- 1604512 cpu_core_0 "5.940594059405941".
- 1604627 cpu_core_0 "5.940594059405941".
- 1604719 cpu_core_0 "5.940594059405941".
- 1604787 cpu_core_0 "5.940594059405941".
- 1604810 cpu_core_0 "5.940594059405941".
- 1604894 cpu_core_0 "5.940594059405941".
- 1605170 cpu_core_0 "5.940594059405941".
- 1605193 cpu_core_0 "5.940594059405941".
- 1605311 cpu_core_0 "5.940594059405941".
- 1605422 cpu_core_0 "5.940594059405941".
- 1605630 cpu_core_0 "5.940594059405941".
- 1605685 cpu_core_0 "5.940594059405941".
- 1605707 cpu_core_0 "5.940594059405941".
- 1605779 cpu_core_0 "5.940594059405941".
- 1605785 cpu_core_0 "5.940594059405941".
- 1605840 cpu_core_0 "5.940594059405941".
- 1605877 cpu_core_0 "5.940594059405941".
- 1606032 cpu_core_0 "5.940594059405941".
- 1606078 cpu_core_0 "5.940594059405941".
- 1606222 cpu_core_0 "5.940594059405941".
- 1606239 cpu_core_0 "5.940594059405941".
- 1606376 cpu_core_0 "5.940594059405941".
- 1606670 cpu_core_0 "5.940594059405941".
- 1606915 cpu_core_0 "5.940594059405941".
- 1607105 cpu_core_0 "5.940594059405941".
- 1607113 cpu_core_0 "5.940594059405941".
- 1607159 cpu_core_0 "5.940594059405941".
- 1607183 cpu_core_0 "5.940594059405941".
- 1607422 cpu_core_0 "5.940594059405941".
- 1607646 cpu_core_0 "5.940594059405941".
- 1607882 cpu_core_0 "5.940594059405941".
- 1608051 cpu_core_0 "5.940594059405941".
- 1608282 cpu_core_0 "5.940594059405941".
- 1608382 cpu_core_0 "5.940594059405941".
- 1608600 cpu_core_0 "5.940594059405941".
- 1608605 cpu_core_0 "5.940594059405941".
- 1608608 cpu_core_0 "5.940594059405941".
- 1608650 cpu_core_0 "5.940594059405941".
- 1608734 cpu_core_0 "5.940594059405941".
- 1609081 cpu_core_0 "5.940594059405941".
- 1609184 cpu_core_0 "5.940594059405941".
- 1609494 cpu_core_0 "5.940594059405941".
- 1609508 cpu_core_0 "5.940594059405941".
- 1609588 cpu_core_0 "5.940594059405941".
- 1609621 cpu_core_0 "5.940594059405941".
- 1609829 cpu_core_0 "5.940594059405941".
- 1609898 cpu_core_0 "5.940594059405941".
- 1609925 cpu_core_0 "5.940594059405941".
- 1609998 cpu_core_0 "5.940594059405941".
- 1610044 cpu_core_0 "5.940594059405941".
- 1610383 cpu_core_0 "5.940594059405941".
- 1610498 cpu_core_0 "5.940594059405941".
- 1610800 cpu_core_0 "5.940594059405941".
- 1610958 cpu_core_0 "5.940594059405941".
- 1611387 cpu_core_0 "5.940594059405941".
- 1611406 cpu_core_0 "5.940594059405941".
- 1611897 cpu_core_0 "5.940594059405941".
- 1611949 cpu_core_0 "5.940594059405941".
- 1611990 cpu_core_0 "5.940594059405941".
- 1612167 cpu_core_0 "5.940594059405941".
- 1612245 cpu_core_0 "5.940594059405941".
- 1612345 cpu_core_0 "5.940594059405941".
- 1612429 cpu_core_0 "5.940594059405941".
- 1612459 cpu_core_0 "5.940594059405941".
- 1612702 cpu_core_0 "5.940594059405941".
- 1613349 cpu_core_0 "5.940594059405941".
- 1613588 cpu_core_0 "5.940594059405941".
- 1613595 cpu_core_0 "5.940594059405941".
- 1613672 cpu_core_0 "5.940594059405941".
- 1613688 cpu_core_0 "5.940594059405941".
- 1613781 cpu_core_0 "5.940594059405941".
- 1613796 cpu_core_0 "5.940594059405941".
- 1613942 cpu_core_0 "5.940594059405941".
- 1614023 cpu_core_0 "5.940594059405941".
- 1614064 cpu_core_0 "5.940594059405941".
- 1614256 cpu_core_0 "5.940594059405941".