Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1328001 cpu_core_0 "13.999999999999998".
- 1328024 cpu_core_0 "13.999999999999998".
- 1328108 cpu_core_0 "13.999999999999998".
- 1328227 cpu_core_0 "13.999999999999998".
- 1328261 cpu_core_0 "13.999999999999998".
- 1328265 cpu_core_0 "13.999999999999998".
- 1328305 cpu_core_0 "13.999999999999998".
- 1328382 cpu_core_0 "13.999999999999998".
- 1328477 cpu_core_0 "13.999999999999998".
- 1328478 cpu_core_0 "13.999999999999998".
- 1328509 cpu_core_0 "13.999999999999998".
- 1328631 cpu_core_0 "13.999999999999998".
- 1328717 cpu_core_0 "13.999999999999998".
- 1328745 cpu_core_0 "13.999999999999998".
- 1328793 cpu_core_0 "13.999999999999998".
- 1328799 cpu_core_0 "13.999999999999998".
- 1328870 cpu_core_0 "13.999999999999998".
- 1328916 cpu_core_0 "13.999999999999998".
- 1328955 cpu_core_0 "13.999999999999998".
- 1328957 cpu_core_0 "13.999999999999998".
- 1329189 cpu_core_0 "13.999999999999998".
- 1329217 cpu_core_0 "13.999999999999998".
- 1329224 cpu_core_0 "13.999999999999998".
- 1329311 cpu_core_0 "13.999999999999998".
- 1329340 cpu_core_0 "13.999999999999998".
- 1329383 cpu_core_0 "13.999999999999998".
- 1329405 cpu_core_0 "13.999999999999998".
- 1329420 cpu_core_0 "13.999999999999998".
- 1329446 cpu_core_0 "13.999999999999998".
- 1329457 cpu_core_0 "13.999999999999998".
- 1329465 cpu_core_0 "13.999999999999998".
- 1329574 cpu_core_0 "13.999999999999998".
- 1329643 cpu_core_0 "13.999999999999998".
- 1329764 cpu_core_0 "13.999999999999998".
- 1329866 cpu_core_0 "13.999999999999998".
- 1329905 cpu_core_0 "13.999999999999998".
- 1329935 cpu_core_0 "13.999999999999998".
- 1329963 cpu_core_0 "13.999999999999998".
- 1330027 cpu_core_0 "13.999999999999998".
- 1330042 cpu_core_0 "13.999999999999998".
- 1330048 cpu_core_0 "13.999999999999998".
- 1330053 cpu_core_0 "13.999999999999998".
- 1330071 cpu_core_0 "13.999999999999998".
- 1330131 cpu_core_0 "13.999999999999998".
- 1330172 cpu_core_0 "13.999999999999998".
- 1330225 cpu_core_0 "13.999999999999998".
- 1330249 cpu_core_0 "13.999999999999998".
- 1330250 cpu_core_0 "13.999999999999998".
- 1330295 cpu_core_0 "13.999999999999998".
- 1330297 cpu_core_0 "13.999999999999998".
- 1330335 cpu_core_0 "13.999999999999998".
- 1330434 cpu_core_0 "13.999999999999998".
- 1330516 cpu_core_0 "13.999999999999998".
- 1330518 cpu_core_0 "13.999999999999998".
- 1330524 cpu_core_0 "13.999999999999998".
- 1330592 cpu_core_0 "13.999999999999998".
- 1330669 cpu_core_0 "13.999999999999998".
- 1330777 cpu_core_0 "13.999999999999998".
- 1330793 cpu_core_0 "13.999999999999998".
- 1330919 cpu_core_0 "13.999999999999998".
- 1331031 cpu_core_0 "13.999999999999998".
- 1331078 cpu_core_0 "13.999999999999998".
- 1331114 cpu_core_0 "13.999999999999998".
- 1331247 cpu_core_0 "13.999999999999998".
- 1331260 cpu_core_0 "13.999999999999998".
- 1331265 cpu_core_0 "13.999999999999998".
- 1331266 cpu_core_0 "13.999999999999998".
- 1331350 cpu_core_0 "13.999999999999998".
- 1331442 cpu_core_0 "13.999999999999998".
- 1331567 cpu_core_0 "13.999999999999998".
- 1331568 cpu_core_0 "13.999999999999998".
- 1331634 cpu_core_0 "13.999999999999998".
- 1331681 cpu_core_0 "13.999999999999998".
- 1331813 cpu_core_0 "13.999999999999998".
- 1331869 cpu_core_0 "13.999999999999998".
- 1331956 cpu_core_0 "13.999999999999998".
- 1331961 cpu_core_0 "13.999999999999998".
- 1332061 cpu_core_0 "13.999999999999998".
- 1332068 cpu_core_0 "13.999999999999998".
- 1332100 cpu_core_0 "13.999999999999998".
- 1332114 cpu_core_0 "13.999999999999998".
- 1332202 cpu_core_0 "13.999999999999998".
- 1332204 cpu_core_0 "13.999999999999998".
- 1332707 cpu_core_0 "13.999999999999998".
- 1332709 cpu_core_0 "13.999999999999998".
- 1332758 cpu_core_0 "13.999999999999998".
- 1333012 cpu_core_0 "13.999999999999998".
- 1333025 cpu_core_0 "13.999999999999998".
- 1333031 cpu_core_0 "13.999999999999998".
- 1333053 cpu_core_0 "13.999999999999998".
- 1333064 cpu_core_0 "13.999999999999998".
- 1333128 cpu_core_0 "13.999999999999998".
- 1333142 cpu_core_0 "13.999999999999998".
- 1333232 cpu_core_0 "13.999999999999998".
- 1333295 cpu_core_0 "13.999999999999998".
- 1333312 cpu_core_0 "13.999999999999998".
- 1333353 cpu_core_0 "13.999999999999998".
- 1333369 cpu_core_0 "13.999999999999998".
- 1333396 cpu_core_0 "13.999999999999998".
- 1333414 cpu_core_0 "13.999999999999998".