Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1643186 cpu_core_0 "5.9405940594059405".
- 1643301 cpu_core_0 "5.9405940594059405".
- 1644492 cpu_core_0 "5.9405940594059405".
- 1644508 cpu_core_0 "5.9405940594059405".
- 1645213 cpu_core_0 "5.9405940594059405".
- 1645590 cpu_core_0 "5.9405940594059405".
- 1646347 cpu_core_0 "5.9405940594059405".
- 1646576 cpu_core_0 "5.9405940594059405".
- 1646711 cpu_core_0 "5.9405940594059405".
- 1646726 cpu_core_0 "5.9405940594059405".
- 1646758 cpu_core_0 "5.9405940594059405".
- 1646824 cpu_core_0 "5.9405940594059405".
- 1647196 cpu_core_0 "5.9405940594059405".
- 1647200 cpu_core_0 "5.9405940594059405".
- 1647392 cpu_core_0 "5.9405940594059405".
- 1647450 cpu_core_0 "5.9405940594059405".
- 1647628 cpu_core_0 "5.9405940594059405".
- 1647747 cpu_core_0 "5.9405940594059405".
- 1647790 cpu_core_0 "5.9405940594059405".
- 1647794 cpu_core_0 "5.9405940594059405".
- 1648170 cpu_core_0 "5.9405940594059405".
- 1648177 cpu_core_0 "5.9405940594059405".
- 1648351 cpu_core_0 "5.9405940594059405".
- 1648446 cpu_core_0 "5.9405940594059405".
- 1648906 cpu_core_0 "5.9405940594059405".
- 1648942 cpu_core_0 "5.9405940594059405".
- 1649242 cpu_core_0 "5.9405940594059405".
- 1649438 cpu_core_0 "5.9405940594059405".
- 1649740 cpu_core_0 "5.9405940594059405".
- 1649783 cpu_core_0 "5.9405940594059405".
- 1650037 cpu_core_0 "5.9405940594059405".
- 1650375 cpu_core_0 "5.9405940594059405".
- 1650752 cpu_core_0 "5.9405940594059405".
- 1650944 cpu_core_0 "5.9405940594059405".
- 1651400 cpu_core_0 "5.9405940594059405".
- 1651834 cpu_core_0 "5.9405940594059405".
- 1652478 cpu_core_0 "5.9405940594059405".
- 1652596 cpu_core_0 "5.9405940594059405".
- 1652778 cpu_core_0 "5.9405940594059405".
- 1652917 cpu_core_0 "5.9405940594059405".
- 1652975 cpu_core_0 "5.9405940594059405".
- 1653075 cpu_core_0 "5.9405940594059405".
- 1653250 cpu_core_0 "5.9405940594059405".
- 1653257 cpu_core_0 "5.9405940594059405".
- 1653384 cpu_core_0 "5.9405940594059405".
- 1653478 cpu_core_0 "5.9405940594059405".
- 1653568 cpu_core_0 "5.9405940594059405".
- 1653728 cpu_core_0 "5.9405940594059405".
- 1653753 cpu_core_0 "5.9405940594059405".
- 1653780 cpu_core_0 "5.9405940594059405".
- 1653783 cpu_core_0 "5.9405940594059405".
- 1653808 cpu_core_0 "5.9405940594059405".
- 1653819 cpu_core_0 "5.9405940594059405".
- 1653869 cpu_core_0 "5.9405940594059405".
- 1654041 cpu_core_0 "5.9405940594059405".
- 1654054 cpu_core_0 "5.9405940594059405".
- 1654330 cpu_core_0 "5.9405940594059405".
- 1654466 cpu_core_0 "5.9405940594059405".
- 1655374 cpu_core_0 "5.9405940594059405".
- 1657583 cpu_core_0 "5.9405940594059405".
- 1659023 cpu_core_0 "5.9405940594059405".
- 1659040 cpu_core_0 "5.9405940594059405".
- 1661298 cpu_core_0 "5.9405940594059405".
- 1661672 cpu_core_0 "5.9405940594059405".
- 1665585 cpu_core_0 "5.9405940594059405".
- 1669848 cpu_core_0 "5.9405940594059405".
- 1670226 cpu_core_0 "5.9405940594059405".
- 1670301 cpu_core_0 "5.9405940594059405".
- 1670451 cpu_core_0 "5.9405940594059405".
- 1670452 cpu_core_0 "5.9405940594059405".
- 1670647 cpu_core_0 "5.9405940594059405".
- 1670724 cpu_core_0 "5.9405940594059405".
- 1671643 cpu_core_0 "5.9405940594059405".
- 1671703 cpu_core_0 "5.9405940594059405".
- 1671869 cpu_core_0 "5.9405940594059405".
- 1671881 cpu_core_0 "5.9405940594059405".
- 1671960 cpu_core_0 "5.9405940594059405".
- 1672053 cpu_core_0 "5.9405940594059405".
- 1672416 cpu_core_0 "5.9405940594059405".
- 1672607 cpu_core_0 "5.9405940594059405".
- 1672636 cpu_core_0 "5.9405940594059405".
- 1672931 cpu_core_0 "5.9405940594059405".
- 1672976 cpu_core_0 "5.9405940594059405".
- 1672991 cpu_core_0 "5.9405940594059405".
- 1673003 cpu_core_0 "5.9405940594059405".
- 1673021 cpu_core_0 "5.9405940594059405".
- 1673127 cpu_core_0 "5.9405940594059405".
- 1673593 cpu_core_0 "5.9405940594059405".
- 1674459 cpu_core_0 "5.9405940594059405".
- 1674562 cpu_core_0 "5.9405940594059405".
- 1674609 cpu_core_0 "5.9405940594059405".
- 1674893 cpu_core_0 "5.9405940594059405".
- 1674938 cpu_core_0 "5.9405940594059405".
- 1675028 cpu_core_0 "5.9405940594059405".
- 1677651 cpu_core_0 "5.9405940594059405".
- 16851 cpu_core_0 "5.9405940594059405".
- 1693399 cpu_core_0 "5.9405940594059405".
- 1693666 cpu_core_0 "5.9405940594059405".
- 1693876 cpu_core_0 "5.9405940594059405".
- 1694083 cpu_core_0 "5.9405940594059405".