Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1077073 cpu_core_0 "13.999999999999998".
- 1077168 cpu_core_0 "13.999999999999998".
- 1077237 cpu_core_0 "13.999999999999998".
- 1077238 cpu_core_0 "13.999999999999998".
- 1077324 cpu_core_0 "13.999999999999998".
- 1077330 cpu_core_0 "13.999999999999998".
- 1077366 cpu_core_0 "13.999999999999998".
- 1077379 cpu_core_0 "13.999999999999998".
- 1077381 cpu_core_0 "13.999999999999998".
- 1077409 cpu_core_0 "13.999999999999998".
- 1077433 cpu_core_0 "13.999999999999998".
- 1077537 cpu_core_0 "13.999999999999998".
- 1077572 cpu_core_0 "13.999999999999998".
- 1077649 cpu_core_0 "13.999999999999998".
- 1077662 cpu_core_0 "13.999999999999998".
- 1077797 cpu_core_0 "13.999999999999998".
- 1077803 cpu_core_0 "13.999999999999998".
- 1077944 cpu_core_0 "13.999999999999998".
- 1078309 cpu_core_0 "13.999999999999998".
- 1078346 cpu_core_0 "13.999999999999998".
- 1078360 cpu_core_0 "13.999999999999998".
- 1078419 cpu_core_0 "13.999999999999998".
- 1078420 cpu_core_0 "13.999999999999998".
- 1078444 cpu_core_0 "13.999999999999998".
- 1078449 cpu_core_0 "13.999999999999998".
- 1078451 cpu_core_0 "13.999999999999998".
- 1078457 cpu_core_0 "13.999999999999998".
- 1078480 cpu_core_0 "13.999999999999998".
- 1078553 cpu_core_0 "13.999999999999998".
- 1078588 cpu_core_0 "13.999999999999998".
- 1078650 cpu_core_0 "13.999999999999998".
- 1078692 cpu_core_0 "13.999999999999998".
- 1078763 cpu_core_0 "13.999999999999998".
- 1078782 cpu_core_0 "13.999999999999998".
- 1078844 cpu_core_0 "13.999999999999998".
- 1078906 cpu_core_0 "13.999999999999998".
- 1078917 cpu_core_0 "13.999999999999998".
- 1078994 cpu_core_0 "13.999999999999998".
- 1079014 cpu_core_0 "13.999999999999998".
- 1079053 cpu_core_0 "13.999999999999998".
- 1079132 cpu_core_0 "13.999999999999998".
- 1079191 cpu_core_0 "13.999999999999998".
- 1079208 cpu_core_0 "13.999999999999998".
- 1079240 cpu_core_0 "13.999999999999998".
- 1079272 cpu_core_0 "13.999999999999998".
- 1079516 cpu_core_0 "13.999999999999998".
- 1079547 cpu_core_0 "13.999999999999998".
- 1079563 cpu_core_0 "13.999999999999998".
- 1079660 cpu_core_0 "13.999999999999998".
- 1079719 cpu_core_0 "13.999999999999998".
- 1079882 cpu_core_0 "13.999999999999998".
- 1079918 cpu_core_0 "13.999999999999998".
- 1079926 cpu_core_0 "13.999999999999998".
- 1079949 cpu_core_0 "13.999999999999998".
- 1079969 cpu_core_0 "13.999999999999998".
- 1080119 cpu_core_0 "13.999999999999998".
- 1080254 cpu_core_0 "13.999999999999998".
- 1080338 cpu_core_0 "13.999999999999998".
- 1080465 cpu_core_0 "13.999999999999998".
- 1080471 cpu_core_0 "13.999999999999998".
- 1080474 cpu_core_0 "13.999999999999998".
- 1080481 cpu_core_0 "13.999999999999998".
- 1080486 cpu_core_0 "13.999999999999998".
- 1080614 cpu_core_0 "13.999999999999998".
- 1080725 cpu_core_0 "13.999999999999998".
- 1080730 cpu_core_0 "13.999999999999998".
- 1080756 cpu_core_0 "13.999999999999998".
- 1080792 cpu_core_0 "13.999999999999998".
- 1081209 cpu_core_0 "13.999999999999998".
- 1081210 cpu_core_0 "13.999999999999998".
- 1081279 cpu_core_0 "13.999999999999998".
- 1081434 cpu_core_0 "13.999999999999998".
- 1081591 cpu_core_0 "13.999999999999998".
- 1081670 cpu_core_0 "13.999999999999998".
- 1081678 cpu_core_0 "13.999999999999998".
- 1081692 cpu_core_0 "13.999999999999998".
- 1081823 cpu_core_0 "13.999999999999998".
- 1081921 cpu_core_0 "13.999999999999998".
- 1081950 cpu_core_0 "13.999999999999998".
- 1082000 cpu_core_0 "13.999999999999998".
- 1082124 cpu_core_0 "13.999999999999998".
- 1082282 cpu_core_0 "13.999999999999998".
- 1082351 cpu_core_0 "13.999999999999998".
- 1082364 cpu_core_0 "13.999999999999998".
- 1082441 cpu_core_0 "13.999999999999998".
- 1082496 cpu_core_0 "13.999999999999998".
- 1082515 cpu_core_0 "13.999999999999998".
- 1082517 cpu_core_0 "13.999999999999998".
- 1082529 cpu_core_0 "13.999999999999998".
- 1082645 cpu_core_0 "13.999999999999998".
- 1082759 cpu_core_0 "13.999999999999998".
- 1082782 cpu_core_0 "13.999999999999998".
- 1082841 cpu_core_0 "13.999999999999998".
- 1082873 cpu_core_0 "13.999999999999998".
- 1083001 cpu_core_0 "13.999999999999998".
- 1083012 cpu_core_0 "13.999999999999998".
- 1083089 cpu_core_0 "13.999999999999998".
- 1083093 cpu_core_0 "13.999999999999998".
- 1083192 cpu_core_0 "13.999999999999998".
- 1083442 cpu_core_0 "13.999999999999998".