Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1709881 cpu_core_0 "55.00000000000001".
- 1709932 cpu_core_0 "55.00000000000001".
- 1709958 cpu_core_0 "55.00000000000001".
- 1709984 cpu_core_0 "55.00000000000001".
- 1710233 cpu_core_0 "55.00000000000001".
- 1710354 cpu_core_0 "55.00000000000001".
- 1710355 cpu_core_0 "55.00000000000001".
- 1710376 cpu_core_0 "55.00000000000001".
- 1710395 cpu_core_0 "55.00000000000001".
- 1710396 cpu_core_0 "55.00000000000001".
- 1710485 cpu_core_0 "55.00000000000001".
- 1712204 cpu_core_0 "55.00000000000001".
- 1712469 cpu_core_0 "55.00000000000001".
- 1712579 cpu_core_0 "55.00000000000001".
- 1712599 cpu_core_0 "55.00000000000001".
- 1712633 cpu_core_0 "55.00000000000001".
- 1712635 cpu_core_0 "55.00000000000001".
- 1712674 cpu_core_0 "55.00000000000001".
- 1712711 cpu_core_0 "55.00000000000001".
- 1712746 cpu_core_0 "55.00000000000001".
- 1712757 cpu_core_0 "55.00000000000001".
- 1712759 cpu_core_0 "55.00000000000001".
- 1712831 cpu_core_0 "55.00000000000001".
- 1712832 cpu_core_0 "55.00000000000001".
- 1712848 cpu_core_0 "55.00000000000001".
- 1712884 cpu_core_0 "55.00000000000001".
- 1712890 cpu_core_0 "55.00000000000001".
- 1712923 cpu_core_0 "55.00000000000001".
- 1712944 cpu_core_0 "55.00000000000001".
- 1712974 cpu_core_0 "55.00000000000001".
- 1796977 cpu_core_0 "55.00000000000001".
- 1796981 cpu_core_0 "55.00000000000001".
- 1840160 cpu_core_0 "55.00000000000001".
- 1857990 cpu_core_0 "55.00000000000001".
- 1877702 cpu_core_0 "55.00000000000001".
- 1889761 cpu_core_0 "55.00000000000001".
- 1895716 cpu_core_0 "55.00000000000001".
- 1907140 cpu_core_0 "55.00000000000001".
- 1920101 cpu_core_0 "55.00000000000001".
- 2073499 cpu_core_0 "55.00000000000001".
- 207382 cpu_core_0 "55.00000000000001".
- 210281 cpu_core_0 "55.00000000000001".
- 210285 cpu_core_0 "55.00000000000001".
- 210470 cpu_core_0 "55.00000000000001".
- 210535 cpu_core_0 "55.00000000000001".
- 210751 cpu_core_0 "55.00000000000001".
- 210767 cpu_core_0 "55.00000000000001".
- 212092 cpu_core_0 "55.00000000000001".
- 212876 cpu_core_0 "55.00000000000001".
- 213155 cpu_core_0 "55.00000000000001".
- 213279 cpu_core_0 "55.00000000000001".
- 213402 cpu_core_0 "55.00000000000001".
- 214230 cpu_core_0 "55.00000000000001".
- 214428 cpu_core_0 "55.00000000000001".
- 214702 cpu_core_0 "55.00000000000001".
- 214788 cpu_core_0 "55.00000000000001".
- 215124 cpu_core_0 "55.00000000000001".
- 215279 cpu_core_0 "55.00000000000001".
- 216095 cpu_core_0 "55.00000000000001".
- 216509 cpu_core_0 "55.00000000000001".
- 216766 cpu_core_0 "55.00000000000001".
- 217733 cpu_core_0 "55.00000000000001".
- 218934 cpu_core_0 "55.00000000000001".
- 219361 cpu_core_0 "55.00000000000001".
- 219612 cpu_core_0 "55.00000000000001".
- 219878 cpu_core_0 "55.00000000000001".
- 219897 cpu_core_0 "55.00000000000001".
- 220947 cpu_core_0 "55.00000000000001".
- 221147 cpu_core_0 "55.00000000000001".
- 221668 cpu_core_0 "55.00000000000001".
- 221737 cpu_core_0 "55.00000000000001".
- 221834 cpu_core_0 "55.00000000000001".
- 221966 cpu_core_0 "55.00000000000001".
- 222002 cpu_core_0 "55.00000000000001".
- 222127 cpu_core_0 "55.00000000000001".
- 223684 cpu_core_0 "55.00000000000001".
- 224266 cpu_core_0 "55.00000000000001".
- 224423 cpu_core_0 "55.00000000000001".
- 227923 cpu_core_0 "55.00000000000001".
- 233154 cpu_core_0 "55.00000000000001".
- 233563 cpu_core_0 "55.00000000000001".
- 233990 cpu_core_0 "55.00000000000001".
- 234217 cpu_core_0 "55.00000000000001".
- 234225 cpu_core_0 "55.00000000000001".
- 234325 cpu_core_0 "55.00000000000001".
- 234715 cpu_core_0 "55.00000000000001".
- 234771 cpu_core_0 "55.00000000000001".
- 234863 cpu_core_0 "55.00000000000001".
- 235711 cpu_core_0 "55.00000000000001".
- 235976 cpu_core_0 "55.00000000000001".
- 236970 cpu_core_0 "55.00000000000001".
- 237068 cpu_core_0 "55.00000000000001".
- 237571 cpu_core_0 "55.00000000000001".
- 237981 cpu_core_0 "55.00000000000001".
- 238155 cpu_core_0 "55.00000000000001".
- 238589 cpu_core_0 "55.00000000000001".
- 238812 cpu_core_0 "55.00000000000001".
- 238915 cpu_core_0 "55.00000000000001".
- 239028 cpu_core_0 "55.00000000000001".
- 239324 cpu_core_0 "55.00000000000001".