Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1280165 cpu_core_0 "13.999999999999998".
- 1280289 cpu_core_0 "13.999999999999998".
- 1280299 cpu_core_0 "13.999999999999998".
- 1280322 cpu_core_0 "13.999999999999998".
- 1280387 cpu_core_0 "13.999999999999998".
- 1280451 cpu_core_0 "13.999999999999998".
- 1280507 cpu_core_0 "13.999999999999998".
- 1280571 cpu_core_0 "13.999999999999998".
- 1280637 cpu_core_0 "13.999999999999998".
- 1280844 cpu_core_0 "13.999999999999998".
- 1280858 cpu_core_0 "13.999999999999998".
- 1281043 cpu_core_0 "13.999999999999998".
- 1281044 cpu_core_0 "13.999999999999998".
- 1281076 cpu_core_0 "13.999999999999998".
- 1281088 cpu_core_0 "13.999999999999998".
- 1281123 cpu_core_0 "13.999999999999998".
- 1281128 cpu_core_0 "13.999999999999998".
- 1281183 cpu_core_0 "13.999999999999998".
- 1281242 cpu_core_0 "13.999999999999998".
- 1281329 cpu_core_0 "13.999999999999998".
- 1281352 cpu_core_0 "13.999999999999998".
- 1281361 cpu_core_0 "13.999999999999998".
- 1281405 cpu_core_0 "13.999999999999998".
- 1281407 cpu_core_0 "13.999999999999998".
- 1281473 cpu_core_0 "13.999999999999998".
- 1281538 cpu_core_0 "13.999999999999998".
- 1281565 cpu_core_0 "13.999999999999998".
- 1281574 cpu_core_0 "13.999999999999998".
- 1281593 cpu_core_0 "13.999999999999998".
- 1281606 cpu_core_0 "13.999999999999998".
- 1281897 cpu_core_0 "13.999999999999998".
- 1281904 cpu_core_0 "13.999999999999998".
- 1282007 cpu_core_0 "13.999999999999998".
- 1282019 cpu_core_0 "13.999999999999998".
- 1282044 cpu_core_0 "13.999999999999998".
- 1282118 cpu_core_0 "13.999999999999998".
- 1282136 cpu_core_0 "13.999999999999998".
- 1282146 cpu_core_0 "13.999999999999998".
- 1282182 cpu_core_0 "13.999999999999998".
- 1282199 cpu_core_0 "13.999999999999998".
- 1282200 cpu_core_0 "13.999999999999998".
- 1282327 cpu_core_0 "13.999999999999998".
- 1282334 cpu_core_0 "13.999999999999998".
- 1282381 cpu_core_0 "13.999999999999998".
- 1282432 cpu_core_0 "13.999999999999998".
- 1282454 cpu_core_0 "13.999999999999998".
- 1282479 cpu_core_0 "13.999999999999998".
- 1282501 cpu_core_0 "13.999999999999998".
- 1282504 cpu_core_0 "13.999999999999998".
- 1282529 cpu_core_0 "13.999999999999998".
- 1282544 cpu_core_0 "13.999999999999998".
- 1282551 cpu_core_0 "13.999999999999998".
- 1282608 cpu_core_0 "13.999999999999998".
- 1282670 cpu_core_0 "13.999999999999998".
- 1282676 cpu_core_0 "13.999999999999998".
- 1282780 cpu_core_0 "13.999999999999998".
- 1282803 cpu_core_0 "13.999999999999998".
- 1282851 cpu_core_0 "13.999999999999998".
- 1282857 cpu_core_0 "13.999999999999998".
- 1282898 cpu_core_0 "13.999999999999998".
- 1282993 cpu_core_0 "13.999999999999998".
- 1283047 cpu_core_0 "13.999999999999998".
- 1283049 cpu_core_0 "13.999999999999998".
- 1283053 cpu_core_0 "13.999999999999998".
- 1283056 cpu_core_0 "13.999999999999998".
- 1283094 cpu_core_0 "13.999999999999998".
- 1283208 cpu_core_0 "13.999999999999998".
- 1283262 cpu_core_0 "13.999999999999998".
- 1283292 cpu_core_0 "13.999999999999998".
- 1283299 cpu_core_0 "13.999999999999998".
- 1283342 cpu_core_0 "13.999999999999998".
- 1283343 cpu_core_0 "13.999999999999998".
- 1283381 cpu_core_0 "13.999999999999998".
- 1283386 cpu_core_0 "13.999999999999998".
- 1283448 cpu_core_0 "13.999999999999998".
- 1283481 cpu_core_0 "13.999999999999998".
- 1283485 cpu_core_0 "13.999999999999998".
- 1283493 cpu_core_0 "13.999999999999998".
- 1283499 cpu_core_0 "13.999999999999998".
- 1283531 cpu_core_0 "13.999999999999998".
- 1283535 cpu_core_0 "13.999999999999998".
- 1283616 cpu_core_0 "13.999999999999998".
- 1283727 cpu_core_0 "13.999999999999998".
- 1283730 cpu_core_0 "13.999999999999998".
- 1283748 cpu_core_0 "13.999999999999998".
- 1283750 cpu_core_0 "13.999999999999998".
- 1283770 cpu_core_0 "13.999999999999998".
- 1283780 cpu_core_0 "13.999999999999998".
- 1283781 cpu_core_0 "13.999999999999998".
- 1283785 cpu_core_0 "13.999999999999998".
- 1283819 cpu_core_0 "13.999999999999998".
- 1283824 cpu_core_0 "13.999999999999998".
- 1283836 cpu_core_0 "13.999999999999998".
- 1283837 cpu_core_0 "13.999999999999998".
- 1283926 cpu_core_0 "13.999999999999998".
- 1283934 cpu_core_0 "13.999999999999998".
- 1283973 cpu_core_0 "13.999999999999998".
- 1283991 cpu_core_0 "13.999999999999998".
- 1284003 cpu_core_0 "13.999999999999998".
- 1284052 cpu_core_0 "13.999999999999998".