Matches in ISWC2014 Benchmark for { ?s ?p 56.00000000000001. }
- 1678241 cpu_core_0 "56.00000000000001".
- 1678309 cpu_core_0 "56.00000000000001".
- 1678529 cpu_core_0 "56.00000000000001".
- 1678563 cpu_core_0 "56.00000000000001".
- 1678574 cpu_core_0 "56.00000000000001".
- 1678621 cpu_core_0 "56.00000000000001".
- 1678624 cpu_core_0 "56.00000000000001".
- 1678654 cpu_core_0 "56.00000000000001".
- 1678681 cpu_core_0 "56.00000000000001".
- 1678698 cpu_core_0 "56.00000000000001".
- 1678714 cpu_core_0 "56.00000000000001".
- 1678770 cpu_core_0 "56.00000000000001".
- 1678785 cpu_core_0 "56.00000000000001".
- 1678801 cpu_core_0 "56.00000000000001".
- 1679001 cpu_core_0 "56.00000000000001".
- 1679068 cpu_core_0 "56.00000000000001".
- 1680058 cpu_core_0 "56.00000000000001".
- 1680067 cpu_core_0 "56.00000000000001".
- 1680076 cpu_core_0 "56.00000000000001".
- 1680093 cpu_core_0 "56.00000000000001".
- 1680095 cpu_core_0 "56.00000000000001".
- 1680100 cpu_core_0 "56.00000000000001".
- 1680144 cpu_core_0 "56.00000000000001".
- 1680176 cpu_core_0 "56.00000000000001".
- 1680246 cpu_core_0 "56.00000000000001".
- 1680265 cpu_core_0 "56.00000000000001".
- 1680335 cpu_core_0 "56.00000000000001".
- 1680579 cpu_core_0 "56.00000000000001".
- 1680616 cpu_core_0 "56.00000000000001".
- 1680621 cpu_core_0 "56.00000000000001".
- 1680622 cpu_core_0 "56.00000000000001".
- 1680649 cpu_core_0 "56.00000000000001".
- 1680668 cpu_core_0 "56.00000000000001".
- 1680802 cpu_core_0 "56.00000000000001".
- 1681038 cpu_core_0 "56.00000000000001".
- 1681067 cpu_core_0 "56.00000000000001".
- 1681184 cpu_core_0 "56.00000000000001".
- 1681503 cpu_core_0 "56.00000000000001".
- 1681733 cpu_core_0 "56.00000000000001".
- 1681755 cpu_core_0 "56.00000000000001".
- 1682269 cpu_core_0 "56.00000000000001".
- 1682304 cpu_core_0 "56.00000000000001".
- 1682323 cpu_core_0 "56.00000000000001".
- 1682483 cpu_core_0 "56.00000000000001".
- 1682509 cpu_core_0 "56.00000000000001".
- 1682586 cpu_core_0 "56.00000000000001".
- 1682919 cpu_core_0 "56.00000000000001".
- 1682964 cpu_core_0 "56.00000000000001".
- 1682969 cpu_core_0 "56.00000000000001".
- 1683008 cpu_core_0 "56.00000000000001".
- 1683081 cpu_core_0 "56.00000000000001".
- 1683086 cpu_core_0 "56.00000000000001".
- 1683087 cpu_core_0 "56.00000000000001".
- 1683102 cpu_core_0 "56.00000000000001".
- 1683126 cpu_core_0 "56.00000000000001".
- 1683205 cpu_core_0 "56.00000000000001".
- 1683426 cpu_core_0 "56.00000000000001".
- 1683464 cpu_core_0 "56.00000000000001".
- 1684249 cpu_core_0 "56.00000000000001".
- 1685094 cpu_core_0 "56.00000000000001".
- 1685344 cpu_core_0 "56.00000000000001".
- 1685640 cpu_core_0 "56.00000000000001".
- 1685654 cpu_core_0 "56.00000000000001".
- 1685711 cpu_core_0 "56.00000000000001".
- 1685724 cpu_core_0 "56.00000000000001".
- 1685951 cpu_core_0 "56.00000000000001".
- 1685961 cpu_core_0 "56.00000000000001".
- 1686097 cpu_core_0 "56.00000000000001".
- 1686146 cpu_core_0 "56.00000000000001".
- 1686226 cpu_core_0 "56.00000000000001".
- 1686250 cpu_core_0 "56.00000000000001".
- 1686263 cpu_core_0 "56.00000000000001".
- 1686325 cpu_core_0 "56.00000000000001".
- 1686422 cpu_core_0 "56.00000000000001".
- 1686466 cpu_core_0 "56.00000000000001".
- 1686552 cpu_core_0 "56.00000000000001".
- 1686846 cpu_core_0 "56.00000000000001".
- 1686874 cpu_core_0 "56.00000000000001".
- 1686887 cpu_core_0 "56.00000000000001".
- 1687443 cpu_core_0 "56.00000000000001".
- 1687530 cpu_core_0 "56.00000000000001".
- 1687540 cpu_core_0 "56.00000000000001".
- 1687576 cpu_core_0 "56.00000000000001".
- 1687681 cpu_core_0 "56.00000000000001".
- 1687698 cpu_core_0 "56.00000000000001".
- 1687851 cpu_core_0 "56.00000000000001".
- 1687880 cpu_core_0 "56.00000000000001".
- 1688057 cpu_core_0 "56.00000000000001".
- 1688133 cpu_core_0 "56.00000000000001".
- 1688147 cpu_core_0 "56.00000000000001".
- 1688149 cpu_core_0 "56.00000000000001".
- 1688153 cpu_core_0 "56.00000000000001".
- 1688202 cpu_core_0 "56.00000000000001".
- 1688213 cpu_core_0 "56.00000000000001".
- 1688442 cpu_core_0 "56.00000000000001".
- 1688467 cpu_core_0 "56.00000000000001".
- 1688512 cpu_core_0 "56.00000000000001".
- 1688756 cpu_core_0 "56.00000000000001".
- 1688787 cpu_core_0 "56.00000000000001".
- 1688907 cpu_core_0 "56.00000000000001".