Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1689960 cpu_core_0 "55.00000000000001".
- 1690313 cpu_core_0 "55.00000000000001".
- 1690365 cpu_core_0 "55.00000000000001".
- 1690376 cpu_core_0 "55.00000000000001".
- 1690380 cpu_core_0 "55.00000000000001".
- 1690499 cpu_core_0 "55.00000000000001".
- 1690585 cpu_core_0 "55.00000000000001".
- 1690874 cpu_core_0 "55.00000000000001".
- 1690910 cpu_core_0 "55.00000000000001".
- 1690944 cpu_core_0 "55.00000000000001".
- 1690974 cpu_core_0 "55.00000000000001".
- 1691021 cpu_core_0 "55.00000000000001".
- 1691140 cpu_core_0 "55.00000000000001".
- 1691157 cpu_core_0 "55.00000000000001".
- 1691481 cpu_core_0 "55.00000000000001".
- 1691500 cpu_core_0 "55.00000000000001".
- 1691595 cpu_core_0 "55.00000000000001".
- 1691624 cpu_core_0 "55.00000000000001".
- 1691821 cpu_core_0 "55.00000000000001".
- 1691913 cpu_core_0 "55.00000000000001".
- 1692058 cpu_core_0 "55.00000000000001".
- 1692165 cpu_core_0 "55.00000000000001".
- 1692203 cpu_core_0 "55.00000000000001".
- 1692275 cpu_core_0 "55.00000000000001".
- 1692665 cpu_core_0 "55.00000000000001".
- 1692804 cpu_core_0 "55.00000000000001".
- 1692894 cpu_core_0 "55.00000000000001".
- 1692915 cpu_core_0 "55.00000000000001".
- 1692993 cpu_core_0 "55.00000000000001".
- 1693026 cpu_core_0 "55.00000000000001".
- 1693099 cpu_core_0 "55.00000000000001".
- 1693143 cpu_core_0 "55.00000000000001".
- 1693144 cpu_core_0 "55.00000000000001".
- 1693173 cpu_core_0 "55.00000000000001".
- 1695790 cpu_core_0 "55.00000000000001".
- 1695840 cpu_core_0 "55.00000000000001".
- 1695890 cpu_core_0 "55.00000000000001".
- 1696054 cpu_core_0 "55.00000000000001".
- 1696228 cpu_core_0 "55.00000000000001".
- 1696236 cpu_core_0 "55.00000000000001".
- 1696273 cpu_core_0 "55.00000000000001".
- 1696580 cpu_core_0 "55.00000000000001".
- 1696605 cpu_core_0 "55.00000000000001".
- 1696610 cpu_core_0 "55.00000000000001".
- 1696631 cpu_core_0 "55.00000000000001".
- 1696637 cpu_core_0 "55.00000000000001".
- 1696669 cpu_core_0 "55.00000000000001".
- 1696689 cpu_core_0 "55.00000000000001".
- 1696692 cpu_core_0 "55.00000000000001".
- 1696694 cpu_core_0 "55.00000000000001".
- 1696699 cpu_core_0 "55.00000000000001".
- 1696740 cpu_core_0 "55.00000000000001".
- 1696741 cpu_core_0 "55.00000000000001".
- 1696775 cpu_core_0 "55.00000000000001".
- 1696806 cpu_core_0 "55.00000000000001".
- 1696809 cpu_core_0 "55.00000000000001".
- 1696820 cpu_core_0 "55.00000000000001".
- 1696848 cpu_core_0 "55.00000000000001".
- 1696908 cpu_core_0 "55.00000000000001".
- 1696916 cpu_core_0 "55.00000000000001".
- 1696926 cpu_core_0 "55.00000000000001".
- 1697048 cpu_core_0 "55.00000000000001".
- 1697173 cpu_core_0 "55.00000000000001".
- 1697191 cpu_core_0 "55.00000000000001".
- 1697229 cpu_core_0 "55.00000000000001".
- 1697263 cpu_core_0 "55.00000000000001".
- 1697279 cpu_core_0 "55.00000000000001".
- 1697282 cpu_core_0 "55.00000000000001".
- 1697295 cpu_core_0 "55.00000000000001".
- 1697297 cpu_core_0 "55.00000000000001".
- 1697306 cpu_core_0 "55.00000000000001".
- 1697356 cpu_core_0 "55.00000000000001".
- 1697442 cpu_core_0 "55.00000000000001".
- 1697473 cpu_core_0 "55.00000000000001".
- 1697523 cpu_core_0 "55.00000000000001".
- 1698040 cpu_core_0 "55.00000000000001".
- 1698080 cpu_core_0 "55.00000000000001".
- 1698106 cpu_core_0 "55.00000000000001".
- 1698245 cpu_core_0 "55.00000000000001".
- 1698263 cpu_core_0 "55.00000000000001".
- 1698444 cpu_core_0 "55.00000000000001".
- 1698619 cpu_core_0 "55.00000000000001".
- 1698812 cpu_core_0 "55.00000000000001".
- 1698916 cpu_core_0 "55.00000000000001".
- 1698962 cpu_core_0 "55.00000000000001".
- 1699005 cpu_core_0 "55.00000000000001".
- 1699015 cpu_core_0 "55.00000000000001".
- 1699125 cpu_core_0 "55.00000000000001".
- 1699134 cpu_core_0 "55.00000000000001".
- 1699184 cpu_core_0 "55.00000000000001".
- 1699186 cpu_core_0 "55.00000000000001".
- 1699278 cpu_core_0 "55.00000000000001".
- 1699291 cpu_core_0 "55.00000000000001".
- 1699329 cpu_core_0 "55.00000000000001".
- 1699487 cpu_core_0 "55.00000000000001".
- 1699591 cpu_core_0 "55.00000000000001".
- 1699994 cpu_core_0 "55.00000000000001".
- 1700205 cpu_core_0 "55.00000000000001".
- 1700365 cpu_core_0 "55.00000000000001".
- 1700433 cpu_core_0 "55.00000000000001".