Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1250008 cpu_core_0 "13.999999999999998".
- 1250056 cpu_core_0 "13.999999999999998".
- 1250163 cpu_core_0 "13.999999999999998".
- 1250170 cpu_core_0 "13.999999999999998".
- 1250227 cpu_core_0 "13.999999999999998".
- 1250256 cpu_core_0 "13.999999999999998".
- 1250305 cpu_core_0 "13.999999999999998".
- 1250369 cpu_core_0 "13.999999999999998".
- 1250381 cpu_core_0 "13.999999999999998".
- 1250433 cpu_core_0 "13.999999999999998".
- 1250454 cpu_core_0 "13.999999999999998".
- 1250459 cpu_core_0 "13.999999999999998".
- 1250527 cpu_core_0 "13.999999999999998".
- 1250532 cpu_core_0 "13.999999999999998".
- 1250586 cpu_core_0 "13.999999999999998".
- 1250589 cpu_core_0 "13.999999999999998".
- 1250597 cpu_core_0 "13.999999999999998".
- 1250625 cpu_core_0 "13.999999999999998".
- 1250635 cpu_core_0 "13.999999999999998".
- 1250647 cpu_core_0 "13.999999999999998".
- 1250669 cpu_core_0 "13.999999999999998".
- 1250843 cpu_core_0 "13.999999999999998".
- 1250852 cpu_core_0 "13.999999999999998".
- 1250893 cpu_core_0 "13.999999999999998".
- 1250903 cpu_core_0 "13.999999999999998".
- 1250963 cpu_core_0 "13.999999999999998".
- 1250979 cpu_core_0 "13.999999999999998".
- 1251020 cpu_core_0 "13.999999999999998".
- 1251142 cpu_core_0 "13.999999999999998".
- 1251144 cpu_core_0 "13.999999999999998".
- 1251179 cpu_core_0 "13.999999999999998".
- 1251237 cpu_core_0 "13.999999999999998".
- 1251372 cpu_core_0 "13.999999999999998".
- 1251386 cpu_core_0 "13.999999999999998".
- 1251425 cpu_core_0 "13.999999999999998".
- 1251446 cpu_core_0 "13.999999999999998".
- 1251473 cpu_core_0 "13.999999999999998".
- 1251667 cpu_core_0 "13.999999999999998".
- 1251711 cpu_core_0 "13.999999999999998".
- 1251722 cpu_core_0 "13.999999999999998".
- 1251743 cpu_core_0 "13.999999999999998".
- 1251925 cpu_core_0 "13.999999999999998".
- 1251957 cpu_core_0 "13.999999999999998".
- 1251968 cpu_core_0 "13.999999999999998".
- 1252033 cpu_core_0 "13.999999999999998".
- 1252095 cpu_core_0 "13.999999999999998".
- 1252183 cpu_core_0 "13.999999999999998".
- 1252205 cpu_core_0 "13.999999999999998".
- 1252322 cpu_core_0 "13.999999999999998".
- 1252344 cpu_core_0 "13.999999999999998".
- 1252395 cpu_core_0 "13.999999999999998".
- 1252418 cpu_core_0 "13.999999999999998".
- 1252516 cpu_core_0 "13.999999999999998".
- 1252559 cpu_core_0 "13.999999999999998".
- 1252578 cpu_core_0 "13.999999999999998".
- 1252635 cpu_core_0 "13.999999999999998".
- 1252637 cpu_core_0 "13.999999999999998".
- 1252696 cpu_core_0 "13.999999999999998".
- 1252779 cpu_core_0 "13.999999999999998".
- 1252811 cpu_core_0 "13.999999999999998".
- 1252859 cpu_core_0 "13.999999999999998".
- 1252864 cpu_core_0 "13.999999999999998".
- 1252915 cpu_core_0 "13.999999999999998".
- 1253041 cpu_core_0 "13.999999999999998".
- 1253042 cpu_core_0 "13.999999999999998".
- 1253171 cpu_core_0 "13.999999999999998".
- 1253231 cpu_core_0 "13.999999999999998".
- 1253367 cpu_core_0 "13.999999999999998".
- 1253380 cpu_core_0 "13.999999999999998".
- 1253465 cpu_core_0 "13.999999999999998".
- 1253476 cpu_core_0 "13.999999999999998".
- 1253477 cpu_core_0 "13.999999999999998".
- 1253512 cpu_core_0 "13.999999999999998".
- 1253604 cpu_core_0 "13.999999999999998".
- 1253629 cpu_core_0 "13.999999999999998".
- 1253832 cpu_core_0 "13.999999999999998".
- 1253890 cpu_core_0 "13.999999999999998".
- 1253893 cpu_core_0 "13.999999999999998".
- 1253976 cpu_core_0 "13.999999999999998".
- 1253983 cpu_core_0 "13.999999999999998".
- 1254251 cpu_core_0 "13.999999999999998".
- 1254384 cpu_core_0 "13.999999999999998".
- 1254458 cpu_core_0 "13.999999999999998".
- 1254568 cpu_core_0 "13.999999999999998".
- 1254628 cpu_core_0 "13.999999999999998".
- 1254631 cpu_core_0 "13.999999999999998".
- 1254729 cpu_core_0 "13.999999999999998".
- 1254749 cpu_core_0 "13.999999999999998".
- 1254819 cpu_core_0 "13.999999999999998".
- 1254862 cpu_core_0 "13.999999999999998".
- 1254875 cpu_core_0 "13.999999999999998".
- 1254941 cpu_core_0 "13.999999999999998".
- 1254959 cpu_core_0 "13.999999999999998".
- 1254971 cpu_core_0 "13.999999999999998".
- 1255131 cpu_core_0 "13.999999999999998".
- 1255136 cpu_core_0 "13.999999999999998".
- 1255169 cpu_core_0 "13.999999999999998".
- 1255215 cpu_core_0 "13.999999999999998".
- 1255244 cpu_core_0 "13.999999999999998".
- 1255294 cpu_core_0 "13.999999999999998".