Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1058982 cpu_core_0 "13.999999999999998".
- 1058992 cpu_core_0 "13.999999999999998".
- 1059094 cpu_core_0 "13.999999999999998".
- 1059095 cpu_core_0 "13.999999999999998".
- 1059197 cpu_core_0 "13.999999999999998".
- 1059242 cpu_core_0 "13.999999999999998".
- 1059313 cpu_core_0 "13.999999999999998".
- 1059317 cpu_core_0 "13.999999999999998".
- 1059320 cpu_core_0 "13.999999999999998".
- 1059331 cpu_core_0 "13.999999999999998".
- 1059369 cpu_core_0 "13.999999999999998".
- 1059430 cpu_core_0 "13.999999999999998".
- 1059511 cpu_core_0 "13.999999999999998".
- 1059605 cpu_core_0 "13.999999999999998".
- 1059613 cpu_core_0 "13.999999999999998".
- 1059677 cpu_core_0 "13.999999999999998".
- 1059781 cpu_core_0 "13.999999999999998".
- 1059819 cpu_core_0 "13.999999999999998".
- 1059866 cpu_core_0 "13.999999999999998".
- 1059867 cpu_core_0 "13.999999999999998".
- 1059911 cpu_core_0 "13.999999999999998".
- 1059958 cpu_core_0 "13.999999999999998".
- 1059961 cpu_core_0 "13.999999999999998".
- 1059977 cpu_core_0 "13.999999999999998".
- 1060027 cpu_core_0 "13.999999999999998".
- 1060059 cpu_core_0 "13.999999999999998".
- 1060102 cpu_core_0 "13.999999999999998".
- 1060287 cpu_core_0 "13.999999999999998".
- 1060435 cpu_core_0 "13.999999999999998".
- 1060454 cpu_core_0 "13.999999999999998".
- 1060520 cpu_core_0 "13.999999999999998".
- 1060523 cpu_core_0 "13.999999999999998".
- 1060775 cpu_core_0 "13.999999999999998".
- 1060883 cpu_core_0 "13.999999999999998".
- 1060945 cpu_core_0 "13.999999999999998".
- 1061264 cpu_core_0 "13.999999999999998".
- 1061392 cpu_core_0 "13.999999999999998".
- 1061419 cpu_core_0 "13.999999999999998".
- 1061473 cpu_core_0 "13.999999999999998".
- 1061509 cpu_core_0 "13.999999999999998".
- 1061518 cpu_core_0 "13.999999999999998".
- 1061562 cpu_core_0 "13.999999999999998".
- 1061645 cpu_core_0 "13.999999999999998".
- 1061716 cpu_core_0 "13.999999999999998".
- 1061747 cpu_core_0 "13.999999999999998".
- 1061769 cpu_core_0 "13.999999999999998".
- 1061853 cpu_core_0 "13.999999999999998".
- 1061897 cpu_core_0 "13.999999999999998".
- 1061911 cpu_core_0 "13.999999999999998".
- 1061930 cpu_core_0 "13.999999999999998".
- 1061956 cpu_core_0 "13.999999999999998".
- 1062037 cpu_core_0 "13.999999999999998".
- 1062048 cpu_core_0 "13.999999999999998".
- 1062076 cpu_core_0 "13.999999999999998".
- 1062082 cpu_core_0 "13.999999999999998".
- 1062223 cpu_core_0 "13.999999999999998".
- 1062280 cpu_core_0 "13.999999999999998".
- 1062379 cpu_core_0 "13.999999999999998".
- 1062460 cpu_core_0 "13.999999999999998".
- 1062469 cpu_core_0 "13.999999999999998".
- 1062480 cpu_core_0 "13.999999999999998".
- 1062501 cpu_core_0 "13.999999999999998".
- 1062568 cpu_core_0 "13.999999999999998".
- 1062580 cpu_core_0 "13.999999999999998".
- 1062715 cpu_core_0 "13.999999999999998".
- 1062736 cpu_core_0 "13.999999999999998".
- 1062873 cpu_core_0 "13.999999999999998".
- 1063009 cpu_core_0 "13.999999999999998".
- 1063048 cpu_core_0 "13.999999999999998".
- 1063172 cpu_core_0 "13.999999999999998".
- 1063186 cpu_core_0 "13.999999999999998".
- 1063354 cpu_core_0 "13.999999999999998".
- 1063406 cpu_core_0 "13.999999999999998".
- 1063417 cpu_core_0 "13.999999999999998".
- 1063608 cpu_core_0 "13.999999999999998".
- 1063636 cpu_core_0 "13.999999999999998".
- 1063685 cpu_core_0 "13.999999999999998".
- 1063818 cpu_core_0 "13.999999999999998".
- 1063840 cpu_core_0 "13.999999999999998".
- 1063895 cpu_core_0 "13.999999999999998".
- 1063926 cpu_core_0 "13.999999999999998".
- 1063965 cpu_core_0 "13.999999999999998".
- 1064024 cpu_core_0 "13.999999999999998".
- 1064291 cpu_core_0 "13.999999999999998".
- 1064372 cpu_core_0 "13.999999999999998".
- 1064495 cpu_core_0 "13.999999999999998".
- 1064518 cpu_core_0 "13.999999999999998".
- 1064558 cpu_core_0 "13.999999999999998".
- 1064664 cpu_core_0 "13.999999999999998".
- 1064745 cpu_core_0 "13.999999999999998".
- 1064754 cpu_core_0 "13.999999999999998".
- 1064763 cpu_core_0 "13.999999999999998".
- 1064981 cpu_core_0 "13.999999999999998".
- 1065044 cpu_core_0 "13.999999999999998".
- 1065216 cpu_core_0 "13.999999999999998".
- 1065217 cpu_core_0 "13.999999999999998".
- 1065260 cpu_core_0 "13.999999999999998".
- 1065273 cpu_core_0 "13.999999999999998".
- 1065396 cpu_core_0 "13.999999999999998".
- 1065472 cpu_core_0 "13.999999999999998".