Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1122924 cpu_core_0 "13.999999999999998".
- 1122940 cpu_core_0 "13.999999999999998".
- 1122978 cpu_core_0 "13.999999999999998".
- 1123013 cpu_core_0 "13.999999999999998".
- 1123036 cpu_core_0 "13.999999999999998".
- 1123086 cpu_core_0 "13.999999999999998".
- 1123140 cpu_core_0 "13.999999999999998".
- 1123226 cpu_core_0 "13.999999999999998".
- 1123279 cpu_core_0 "13.999999999999998".
- 1123285 cpu_core_0 "13.999999999999998".
- 1123436 cpu_core_0 "13.999999999999998".
- 1123453 cpu_core_0 "13.999999999999998".
- 1123503 cpu_core_0 "13.999999999999998".
- 1123579 cpu_core_0 "13.999999999999998".
- 1123632 cpu_core_0 "13.999999999999998".
- 1123864 cpu_core_0 "13.999999999999998".
- 1124035 cpu_core_0 "13.999999999999998".
- 1124223 cpu_core_0 "13.999999999999998".
- 1124256 cpu_core_0 "13.999999999999998".
- 1124275 cpu_core_0 "13.999999999999998".
- 1124282 cpu_core_0 "13.999999999999998".
- 1124308 cpu_core_0 "13.999999999999998".
- 1124338 cpu_core_0 "13.999999999999998".
- 1124388 cpu_core_0 "13.999999999999998".
- 1124397 cpu_core_0 "13.999999999999998".
- 1124428 cpu_core_0 "13.999999999999998".
- 1124495 cpu_core_0 "13.999999999999998".
- 1124533 cpu_core_0 "13.999999999999998".
- 1124605 cpu_core_0 "13.999999999999998".
- 1124785 cpu_core_0 "13.999999999999998".
- 1124791 cpu_core_0 "13.999999999999998".
- 1124847 cpu_core_0 "13.999999999999998".
- 1124858 cpu_core_0 "13.999999999999998".
- 1125135 cpu_core_0 "13.999999999999998".
- 1125137 cpu_core_0 "13.999999999999998".
- 1125144 cpu_core_0 "13.999999999999998".
- 1125165 cpu_core_0 "13.999999999999998".
- 1125260 cpu_core_0 "13.999999999999998".
- 1125269 cpu_core_0 "13.999999999999998".
- 1125311 cpu_core_0 "13.999999999999998".
- 1125318 cpu_core_0 "13.999999999999998".
- 1125379 cpu_core_0 "13.999999999999998".
- 1125592 cpu_core_0 "13.999999999999998".
- 1125600 cpu_core_0 "13.999999999999998".
- 1125609 cpu_core_0 "13.999999999999998".
- 1125610 cpu_core_0 "13.999999999999998".
- 1125665 cpu_core_0 "13.999999999999998".
- 1125711 cpu_core_0 "13.999999999999998".
- 1125721 cpu_core_0 "13.999999999999998".
- 1125791 cpu_core_0 "13.999999999999998".
- 1125833 cpu_core_0 "13.999999999999998".
- 1125866 cpu_core_0 "13.999999999999998".
- 1125875 cpu_core_0 "13.999999999999998".
- 1125891 cpu_core_0 "13.999999999999998".
- 1126012 cpu_core_0 "13.999999999999998".
- 1126021 cpu_core_0 "13.999999999999998".
- 1126043 cpu_core_0 "13.999999999999998".
- 1126085 cpu_core_0 "13.999999999999998".
- 1126125 cpu_core_0 "13.999999999999998".
- 1126138 cpu_core_0 "13.999999999999998".
- 1126199 cpu_core_0 "13.999999999999998".
- 1126256 cpu_core_0 "13.999999999999998".
- 1126329 cpu_core_0 "13.999999999999998".
- 1126356 cpu_core_0 "13.999999999999998".
- 1126471 cpu_core_0 "13.999999999999998".
- 1126490 cpu_core_0 "13.999999999999998".
- 1126563 cpu_core_0 "13.999999999999998".
- 1126631 cpu_core_0 "13.999999999999998".
- 1126669 cpu_core_0 "13.999999999999998".
- 1126674 cpu_core_0 "13.999999999999998".
- 1126799 cpu_core_0 "13.999999999999998".
- 1126802 cpu_core_0 "13.999999999999998".
- 1126838 cpu_core_0 "13.999999999999998".
- 1126845 cpu_core_0 "13.999999999999998".
- 1126851 cpu_core_0 "13.999999999999998".
- 1126927 cpu_core_0 "13.999999999999998".
- 1126930 cpu_core_0 "13.999999999999998".
- 1126976 cpu_core_0 "13.999999999999998".
- 1126987 cpu_core_0 "13.999999999999998".
- 1127243 cpu_core_0 "13.999999999999998".
- 1127275 cpu_core_0 "13.999999999999998".
- 1127299 cpu_core_0 "13.999999999999998".
- 1127394 cpu_core_0 "13.999999999999998".
- 1127408 cpu_core_0 "13.999999999999998".
- 1127410 cpu_core_0 "13.999999999999998".
- 1127422 cpu_core_0 "13.999999999999998".
- 1127443 cpu_core_0 "13.999999999999998".
- 1127449 cpu_core_0 "13.999999999999998".
- 1127522 cpu_core_0 "13.999999999999998".
- 1127583 cpu_core_0 "13.999999999999998".
- 1127629 cpu_core_0 "13.999999999999998".
- 1127671 cpu_core_0 "13.999999999999998".
- 1127675 cpu_core_0 "13.999999999999998".
- 1127679 cpu_core_0 "13.999999999999998".
- 1127789 cpu_core_0 "13.999999999999998".
- 1127831 cpu_core_0 "13.999999999999998".
- 1127893 cpu_core_0 "13.999999999999998".
- 1128034 cpu_core_0 "13.999999999999998".
- 1128035 cpu_core_0 "13.999999999999998".
- 1128125 cpu_core_0 "13.999999999999998".