Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1370801 cpu_core_0 "13.999999999999998".
- 1370821 cpu_core_0 "13.999999999999998".
- 1370846 cpu_core_0 "13.999999999999998".
- 1370919 cpu_core_0 "13.999999999999998".
- 1371032 cpu_core_0 "13.999999999999998".
- 1371058 cpu_core_0 "13.999999999999998".
- 1371123 cpu_core_0 "13.999999999999998".
- 1371207 cpu_core_0 "13.999999999999998".
- 1371318 cpu_core_0 "13.999999999999998".
- 1371330 cpu_core_0 "13.999999999999998".
- 1371363 cpu_core_0 "13.999999999999998".
- 1371439 cpu_core_0 "13.999999999999998".
- 1371606 cpu_core_0 "13.999999999999998".
- 1371618 cpu_core_0 "13.999999999999998".
- 1371664 cpu_core_0 "13.999999999999998".
- 1371682 cpu_core_0 "13.999999999999998".
- 1371850 cpu_core_0 "13.999999999999998".
- 1371916 cpu_core_0 "13.999999999999998".
- 1371966 cpu_core_0 "13.999999999999998".
- 1372096 cpu_core_0 "13.999999999999998".
- 1372115 cpu_core_0 "13.999999999999998".
- 1372199 cpu_core_0 "13.999999999999998".
- 1372332 cpu_core_0 "13.999999999999998".
- 1372577 cpu_core_0 "13.999999999999998".
- 1372608 cpu_core_0 "13.999999999999998".
- 1372648 cpu_core_0 "13.999999999999998".
- 1372683 cpu_core_0 "13.999999999999998".
- 1372691 cpu_core_0 "13.999999999999998".
- 1372720 cpu_core_0 "13.999999999999998".
- 1372740 cpu_core_0 "13.999999999999998".
- 1372764 cpu_core_0 "13.999999999999998".
- 1372818 cpu_core_0 "13.999999999999998".
- 1372826 cpu_core_0 "13.999999999999998".
- 1372842 cpu_core_0 "13.999999999999998".
- 1372854 cpu_core_0 "13.999999999999998".
- 1372934 cpu_core_0 "13.999999999999998".
- 1373041 cpu_core_0 "13.999999999999998".
- 1373104 cpu_core_0 "13.999999999999998".
- 1373149 cpu_core_0 "13.999999999999998".
- 1373175 cpu_core_0 "13.999999999999998".
- 1373225 cpu_core_0 "13.999999999999998".
- 1373290 cpu_core_0 "13.999999999999998".
- 1373325 cpu_core_0 "13.999999999999998".
- 1373403 cpu_core_0 "13.999999999999998".
- 1373418 cpu_core_0 "13.999999999999998".
- 1373481 cpu_core_0 "13.999999999999998".
- 1373489 cpu_core_0 "13.999999999999998".
- 1373641 cpu_core_0 "13.999999999999998".
- 1373646 cpu_core_0 "13.999999999999998".
- 1373698 cpu_core_0 "13.999999999999998".
- 1373764 cpu_core_0 "13.999999999999998".
- 1373771 cpu_core_0 "13.999999999999998".
- 1373809 cpu_core_0 "13.999999999999998".
- 1373822 cpu_core_0 "13.999999999999998".
- 1373841 cpu_core_0 "13.999999999999998".
- 1373897 cpu_core_0 "13.999999999999998".
- 1373905 cpu_core_0 "13.999999999999998".
- 1374010 cpu_core_0 "13.999999999999998".
- 1374033 cpu_core_0 "13.999999999999998".
- 1374061 cpu_core_0 "13.999999999999998".
- 1374171 cpu_core_0 "13.999999999999998".
- 1374269 cpu_core_0 "13.999999999999998".
- 1374579 cpu_core_0 "13.999999999999998".
- 1374605 cpu_core_0 "13.999999999999998".
- 1374636 cpu_core_0 "13.999999999999998".
- 1374850 cpu_core_0 "13.999999999999998".
- 1374867 cpu_core_0 "13.999999999999998".
- 1374869 cpu_core_0 "13.999999999999998".
- 1374901 cpu_core_0 "13.999999999999998".
- 1374912 cpu_core_0 "13.999999999999998".
- 1374936 cpu_core_0 "13.999999999999998".
- 1374983 cpu_core_0 "13.999999999999998".
- 1375060 cpu_core_0 "13.999999999999998".
- 1375066 cpu_core_0 "13.999999999999998".
- 1375090 cpu_core_0 "13.999999999999998".
- 1375122 cpu_core_0 "13.999999999999998".
- 1375307 cpu_core_0 "13.999999999999998".
- 1375372 cpu_core_0 "13.999999999999998".
- 1375375 cpu_core_0 "13.999999999999998".
- 1375412 cpu_core_0 "13.999999999999998".
- 1375454 cpu_core_0 "13.999999999999998".
- 1375510 cpu_core_0 "13.999999999999998".
- 1375529 cpu_core_0 "13.999999999999998".
- 1375540 cpu_core_0 "13.999999999999998".
- 1375544 cpu_core_0 "13.999999999999998".
- 1375607 cpu_core_0 "13.999999999999998".
- 1375664 cpu_core_0 "13.999999999999998".
- 1375737 cpu_core_0 "13.999999999999998".
- 1375776 cpu_core_0 "13.999999999999998".
- 1375874 cpu_core_0 "13.999999999999998".
- 1375895 cpu_core_0 "13.999999999999998".
- 1375904 cpu_core_0 "13.999999999999998".
- 1375906 cpu_core_0 "13.999999999999998".
- 1375973 cpu_core_0 "13.999999999999998".
- 1376026 cpu_core_0 "13.999999999999998".
- 1376040 cpu_core_0 "13.999999999999998".
- 1376079 cpu_core_0 "13.999999999999998".
- 1376080 cpu_core_0 "13.999999999999998".
- 1376286 cpu_core_0 "13.999999999999998".
- 1376324 cpu_core_0 "13.999999999999998".