Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1240017 cpu_core_0 "13.999999999999998".
- 1240049 cpu_core_0 "13.999999999999998".
- 1240056 cpu_core_0 "13.999999999999998".
- 1240118 cpu_core_0 "13.999999999999998".
- 1240173 cpu_core_0 "13.999999999999998".
- 1240218 cpu_core_0 "13.999999999999998".
- 1240259 cpu_core_0 "13.999999999999998".
- 1240265 cpu_core_0 "13.999999999999998".
- 1240388 cpu_core_0 "13.999999999999998".
- 1240399 cpu_core_0 "13.999999999999998".
- 1240408 cpu_core_0 "13.999999999999998".
- 1240494 cpu_core_0 "13.999999999999998".
- 1240502 cpu_core_0 "13.999999999999998".
- 1240534 cpu_core_0 "13.999999999999998".
- 1240572 cpu_core_0 "13.999999999999998".
- 1240579 cpu_core_0 "13.999999999999998".
- 1240694 cpu_core_0 "13.999999999999998".
- 1240767 cpu_core_0 "13.999999999999998".
- 1240859 cpu_core_0 "13.999999999999998".
- 1240881 cpu_core_0 "13.999999999999998".
- 1240931 cpu_core_0 "13.999999999999998".
- 1241000 cpu_core_0 "13.999999999999998".
- 1241007 cpu_core_0 "13.999999999999998".
- 1241008 cpu_core_0 "13.999999999999998".
- 1241045 cpu_core_0 "13.999999999999998".
- 1241071 cpu_core_0 "13.999999999999998".
- 1241089 cpu_core_0 "13.999999999999998".
- 1241187 cpu_core_0 "13.999999999999998".
- 1241249 cpu_core_0 "13.999999999999998".
- 1241299 cpu_core_0 "13.999999999999998".
- 1241332 cpu_core_0 "13.999999999999998".
- 1241334 cpu_core_0 "13.999999999999998".
- 1241444 cpu_core_0 "13.999999999999998".
- 1241475 cpu_core_0 "13.999999999999998".
- 1241486 cpu_core_0 "13.999999999999998".
- 1241580 cpu_core_0 "13.999999999999998".
- 1241686 cpu_core_0 "13.999999999999998".
- 1241776 cpu_core_0 "13.999999999999998".
- 1241786 cpu_core_0 "13.999999999999998".
- 1241793 cpu_core_0 "13.999999999999998".
- 1241855 cpu_core_0 "13.999999999999998".
- 1241891 cpu_core_0 "13.999999999999998".
- 1241911 cpu_core_0 "13.999999999999998".
- 1241918 cpu_core_0 "13.999999999999998".
- 1242016 cpu_core_0 "13.999999999999998".
- 1242130 cpu_core_0 "13.999999999999998".
- 1242177 cpu_core_0 "13.999999999999998".
- 1242214 cpu_core_0 "13.999999999999998".
- 1242383 cpu_core_0 "13.999999999999998".
- 1242399 cpu_core_0 "13.999999999999998".
- 1242458 cpu_core_0 "13.999999999999998".
- 1242587 cpu_core_0 "13.999999999999998".
- 1242624 cpu_core_0 "13.999999999999998".
- 1242760 cpu_core_0 "13.999999999999998".
- 1242765 cpu_core_0 "13.999999999999998".
- 1242883 cpu_core_0 "13.999999999999998".
- 1242899 cpu_core_0 "13.999999999999998".
- 1242903 cpu_core_0 "13.999999999999998".
- 1242923 cpu_core_0 "13.999999999999998".
- 1242991 cpu_core_0 "13.999999999999998".
- 1243023 cpu_core_0 "13.999999999999998".
- 1243155 cpu_core_0 "13.999999999999998".
- 1243171 cpu_core_0 "13.999999999999998".
- 1243189 cpu_core_0 "13.999999999999998".
- 1243257 cpu_core_0 "13.999999999999998".
- 1243264 cpu_core_0 "13.999999999999998".
- 1243283 cpu_core_0 "13.999999999999998".
- 1243286 cpu_core_0 "13.999999999999998".
- 1243391 cpu_core_0 "13.999999999999998".
- 1243399 cpu_core_0 "13.999999999999998".
- 1243401 cpu_core_0 "13.999999999999998".
- 1243418 cpu_core_0 "13.999999999999998".
- 1243501 cpu_core_0 "13.999999999999998".
- 1243544 cpu_core_0 "13.999999999999998".
- 1243614 cpu_core_0 "13.999999999999998".
- 1243623 cpu_core_0 "13.999999999999998".
- 1243741 cpu_core_0 "13.999999999999998".
- 1243850 cpu_core_0 "13.999999999999998".
- 1243871 cpu_core_0 "13.999999999999998".
- 1243883 cpu_core_0 "13.999999999999998".
- 1243912 cpu_core_0 "13.999999999999998".
- 1244045 cpu_core_0 "13.999999999999998".
- 1244072 cpu_core_0 "13.999999999999998".
- 1244092 cpu_core_0 "13.999999999999998".
- 1244244 cpu_core_0 "13.999999999999998".
- 1244270 cpu_core_0 "13.999999999999998".
- 1244342 cpu_core_0 "13.999999999999998".
- 1244399 cpu_core_0 "13.999999999999998".
- 1244449 cpu_core_0 "13.999999999999998".
- 1244508 cpu_core_0 "13.999999999999998".
- 1244562 cpu_core_0 "13.999999999999998".
- 1244679 cpu_core_0 "13.999999999999998".
- 1244787 cpu_core_0 "13.999999999999998".
- 1244871 cpu_core_0 "13.999999999999998".
- 1244878 cpu_core_0 "13.999999999999998".
- 1244898 cpu_core_0 "13.999999999999998".
- 1244922 cpu_core_0 "13.999999999999998".
- 1244943 cpu_core_0 "13.999999999999998".
- 1244945 cpu_core_0 "13.999999999999998".
- 1244966 cpu_core_0 "13.999999999999998".