Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1663767 cpu_core_0 "55.00000000000001".
- 1664041 cpu_core_0 "55.00000000000001".
- 1664236 cpu_core_0 "55.00000000000001".
- 1664452 cpu_core_0 "55.00000000000001".
- 1664552 cpu_core_0 "55.00000000000001".
- 1664559 cpu_core_0 "55.00000000000001".
- 1664623 cpu_core_0 "55.00000000000001".
- 1664654 cpu_core_0 "55.00000000000001".
- 1664658 cpu_core_0 "55.00000000000001".
- 1664669 cpu_core_0 "55.00000000000001".
- 1664694 cpu_core_0 "55.00000000000001".
- 1664701 cpu_core_0 "55.00000000000001".
- 1664718 cpu_core_0 "55.00000000000001".
- 1664758 cpu_core_0 "55.00000000000001".
- 1664805 cpu_core_0 "55.00000000000001".
- 1664820 cpu_core_0 "55.00000000000001".
- 1664839 cpu_core_0 "55.00000000000001".
- 1664850 cpu_core_0 "55.00000000000001".
- 1664904 cpu_core_0 "55.00000000000001".
- 1665142 cpu_core_0 "55.00000000000001".
- 1665267 cpu_core_0 "55.00000000000001".
- 1665270 cpu_core_0 "55.00000000000001".
- 1665271 cpu_core_0 "55.00000000000001".
- 1665280 cpu_core_0 "55.00000000000001".
- 1665337 cpu_core_0 "55.00000000000001".
- 1665371 cpu_core_0 "55.00000000000001".
- 1665373 cpu_core_0 "55.00000000000001".
- 1665418 cpu_core_0 "55.00000000000001".
- 1665429 cpu_core_0 "55.00000000000001".
- 1665440 cpu_core_0 "55.00000000000001".
- 1665463 cpu_core_0 "55.00000000000001".
- 1665511 cpu_core_0 "55.00000000000001".
- 1666013 cpu_core_0 "55.00000000000001".
- 1666016 cpu_core_0 "55.00000000000001".
- 1666041 cpu_core_0 "55.00000000000001".
- 1666094 cpu_core_0 "55.00000000000001".
- 1666132 cpu_core_0 "55.00000000000001".
- 1666146 cpu_core_0 "55.00000000000001".
- 1666171 cpu_core_0 "55.00000000000001".
- 1666236 cpu_core_0 "55.00000000000001".
- 1666254 cpu_core_0 "55.00000000000001".
- 1666268 cpu_core_0 "55.00000000000001".
- 1666273 cpu_core_0 "55.00000000000001".
- 1666302 cpu_core_0 "55.00000000000001".
- 1666341 cpu_core_0 "55.00000000000001".
- 1666453 cpu_core_0 "55.00000000000001".
- 1666468 cpu_core_0 "55.00000000000001".
- 1666472 cpu_core_0 "55.00000000000001".
- 1666537 cpu_core_0 "55.00000000000001".
- 1666541 cpu_core_0 "55.00000000000001".
- 1666582 cpu_core_0 "55.00000000000001".
- 1666584 cpu_core_0 "55.00000000000001".
- 1666587 cpu_core_0 "55.00000000000001".
- 1666638 cpu_core_0 "55.00000000000001".
- 1666645 cpu_core_0 "55.00000000000001".
- 1666652 cpu_core_0 "55.00000000000001".
- 1666676 cpu_core_0 "55.00000000000001".
- 1666678 cpu_core_0 "55.00000000000001".
- 1666720 cpu_core_0 "55.00000000000001".
- 1666747 cpu_core_0 "55.00000000000001".
- 1666750 cpu_core_0 "55.00000000000001".
- 1666753 cpu_core_0 "55.00000000000001".
- 1666778 cpu_core_0 "55.00000000000001".
- 1666817 cpu_core_0 "55.00000000000001".
- 1667043 cpu_core_0 "55.00000000000001".
- 1667088 cpu_core_0 "55.00000000000001".
- 1667089 cpu_core_0 "55.00000000000001".
- 1667097 cpu_core_0 "55.00000000000001".
- 1667114 cpu_core_0 "55.00000000000001".
- 1667160 cpu_core_0 "55.00000000000001".
- 1667179 cpu_core_0 "55.00000000000001".
- 1667180 cpu_core_0 "55.00000000000001".
- 1667185 cpu_core_0 "55.00000000000001".
- 1667191 cpu_core_0 "55.00000000000001".
- 1667315 cpu_core_0 "55.00000000000001".
- 1667318 cpu_core_0 "55.00000000000001".
- 1667463 cpu_core_0 "55.00000000000001".
- 1667497 cpu_core_0 "55.00000000000001".
- 1667591 cpu_core_0 "55.00000000000001".
- 1667769 cpu_core_0 "55.00000000000001".
- 1667987 cpu_core_0 "55.00000000000001".
- 1668236 cpu_core_0 "55.00000000000001".
- 1668256 cpu_core_0 "55.00000000000001".
- 1668395 cpu_core_0 "55.00000000000001".
- 1668409 cpu_core_0 "55.00000000000001".
- 1668440 cpu_core_0 "55.00000000000001".
- 1668454 cpu_core_0 "55.00000000000001".
- 1668478 cpu_core_0 "55.00000000000001".
- 1668499 cpu_core_0 "55.00000000000001".
- 1668526 cpu_core_0 "55.00000000000001".
- 1668548 cpu_core_0 "55.00000000000001".
- 1668568 cpu_core_0 "55.00000000000001".
- 1668617 cpu_core_0 "55.00000000000001".
- 1668782 cpu_core_0 "55.00000000000001".
- 1669037 cpu_core_0 "55.00000000000001".
- 1669052 cpu_core_0 "55.00000000000001".
- 1669083 cpu_core_0 "55.00000000000001".
- 1669105 cpu_core_0 "55.00000000000001".
- 1669106 cpu_core_0 "55.00000000000001".
- 1669128 cpu_core_0 "55.00000000000001".