Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1266081 cpu_core_0 "13.999999999999998".
- 1266083 cpu_core_0 "13.999999999999998".
- 1266099 cpu_core_0 "13.999999999999998".
- 1266190 cpu_core_0 "13.999999999999998".
- 1266227 cpu_core_0 "13.999999999999998".
- 1266269 cpu_core_0 "13.999999999999998".
- 1266273 cpu_core_0 "13.999999999999998".
- 1266274 cpu_core_0 "13.999999999999998".
- 1266346 cpu_core_0 "13.999999999999998".
- 1266400 cpu_core_0 "13.999999999999998".
- 1266463 cpu_core_0 "13.999999999999998".
- 1266530 cpu_core_0 "13.999999999999998".
- 1266537 cpu_core_0 "13.999999999999998".
- 1266588 cpu_core_0 "13.999999999999998".
- 1266633 cpu_core_0 "13.999999999999998".
- 1266740 cpu_core_0 "13.999999999999998".
- 1266769 cpu_core_0 "13.999999999999998".
- 1266770 cpu_core_0 "13.999999999999998".
- 1266904 cpu_core_0 "13.999999999999998".
- 1266940 cpu_core_0 "13.999999999999998".
- 1266946 cpu_core_0 "13.999999999999998".
- 1267021 cpu_core_0 "13.999999999999998".
- 1267046 cpu_core_0 "13.999999999999998".
- 1267051 cpu_core_0 "13.999999999999998".
- 1267121 cpu_core_0 "13.999999999999998".
- 1267165 cpu_core_0 "13.999999999999998".
- 1267203 cpu_core_0 "13.999999999999998".
- 1267251 cpu_core_0 "13.999999999999998".
- 1267270 cpu_core_0 "13.999999999999998".
- 1267351 cpu_core_0 "13.999999999999998".
- 1267355 cpu_core_0 "13.999999999999998".
- 1267367 cpu_core_0 "13.999999999999998".
- 1267371 cpu_core_0 "13.999999999999998".
- 1267372 cpu_core_0 "13.999999999999998".
- 1267410 cpu_core_0 "13.999999999999998".
- 1267473 cpu_core_0 "13.999999999999998".
- 1267518 cpu_core_0 "13.999999999999998".
- 1267524 cpu_core_0 "13.999999999999998".
- 1267553 cpu_core_0 "13.999999999999998".
- 1267556 cpu_core_0 "13.999999999999998".
- 1267676 cpu_core_0 "13.999999999999998".
- 1267761 cpu_core_0 "13.999999999999998".
- 1267763 cpu_core_0 "13.999999999999998".
- 1267779 cpu_core_0 "13.999999999999998".
- 1267879 cpu_core_0 "13.999999999999998".
- 1268024 cpu_core_0 "13.999999999999998".
- 1268082 cpu_core_0 "13.999999999999998".
- 1268095 cpu_core_0 "13.999999999999998".
- 1268125 cpu_core_0 "13.999999999999998".
- 1268140 cpu_core_0 "13.999999999999998".
- 1268311 cpu_core_0 "13.999999999999998".
- 1268312 cpu_core_0 "13.999999999999998".
- 1268316 cpu_core_0 "13.999999999999998".
- 1268330 cpu_core_0 "13.999999999999998".
- 1268373 cpu_core_0 "13.999999999999998".
- 1268422 cpu_core_0 "13.999999999999998".
- 1268497 cpu_core_0 "13.999999999999998".
- 1268548 cpu_core_0 "13.999999999999998".
- 1268587 cpu_core_0 "13.999999999999998".
- 1268601 cpu_core_0 "13.999999999999998".
- 1268609 cpu_core_0 "13.999999999999998".
- 1268616 cpu_core_0 "13.999999999999998".
- 1268622 cpu_core_0 "13.999999999999998".
- 1268848 cpu_core_0 "13.999999999999998".
- 1268858 cpu_core_0 "13.999999999999998".
- 1268871 cpu_core_0 "13.999999999999998".
- 1269051 cpu_core_0 "13.999999999999998".
- 1269073 cpu_core_0 "13.999999999999998".
- 1269114 cpu_core_0 "13.999999999999998".
- 1269163 cpu_core_0 "13.999999999999998".
- 1269198 cpu_core_0 "13.999999999999998".
- 1269226 cpu_core_0 "13.999999999999998".
- 1269287 cpu_core_0 "13.999999999999998".
- 1269371 cpu_core_0 "13.999999999999998".
- 1269393 cpu_core_0 "13.999999999999998".
- 1269411 cpu_core_0 "13.999999999999998".
- 1269606 cpu_core_0 "13.999999999999998".
- 1269615 cpu_core_0 "13.999999999999998".
- 1269703 cpu_core_0 "13.999999999999998".
- 1269762 cpu_core_0 "13.999999999999998".
- 1269813 cpu_core_0 "13.999999999999998".
- 1269848 cpu_core_0 "13.999999999999998".
- 1269888 cpu_core_0 "13.999999999999998".
- 1269928 cpu_core_0 "13.999999999999998".
- 1269954 cpu_core_0 "13.999999999999998".
- 1269972 cpu_core_0 "13.999999999999998".
- 1269976 cpu_core_0 "13.999999999999998".
- 1269994 cpu_core_0 "13.999999999999998".
- 1270048 cpu_core_0 "13.999999999999998".
- 1270207 cpu_core_0 "13.999999999999998".
- 1270229 cpu_core_0 "13.999999999999998".
- 1270288 cpu_core_0 "13.999999999999998".
- 1270303 cpu_core_0 "13.999999999999998".
- 1270307 cpu_core_0 "13.999999999999998".
- 1270320 cpu_core_0 "13.999999999999998".
- 1270327 cpu_core_0 "13.999999999999998".
- 1270376 cpu_core_0 "13.999999999999998".
- 1270551 cpu_core_0 "13.999999999999998".
- 1270672 cpu_core_0 "13.999999999999998".
- 1270736 cpu_core_0 "13.999999999999998".