Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1186007 cpu_core_0 "13.999999999999998".
- 1186061 cpu_core_0 "13.999999999999998".
- 1186068 cpu_core_0 "13.999999999999998".
- 1186110 cpu_core_0 "13.999999999999998".
- 1186120 cpu_core_0 "13.999999999999998".
- 1186126 cpu_core_0 "13.999999999999998".
- 1186151 cpu_core_0 "13.999999999999998".
- 1186175 cpu_core_0 "13.999999999999998".
- 1186177 cpu_core_0 "13.999999999999998".
- 1186196 cpu_core_0 "13.999999999999998".
- 1186306 cpu_core_0 "13.999999999999998".
- 1186477 cpu_core_0 "13.999999999999998".
- 1186504 cpu_core_0 "13.999999999999998".
- 1186546 cpu_core_0 "13.999999999999998".
- 1186612 cpu_core_0 "13.999999999999998".
- 1186615 cpu_core_0 "13.999999999999998".
- 1186635 cpu_core_0 "13.999999999999998".
- 1186665 cpu_core_0 "13.999999999999998".
- 1186699 cpu_core_0 "13.999999999999998".
- 1186713 cpu_core_0 "13.999999999999998".
- 1186722 cpu_core_0 "13.999999999999998".
- 1186743 cpu_core_0 "13.999999999999998".
- 1186839 cpu_core_0 "13.999999999999998".
- 1186852 cpu_core_0 "13.999999999999998".
- 1186880 cpu_core_0 "13.999999999999998".
- 1186945 cpu_core_0 "13.999999999999998".
- 1187021 cpu_core_0 "13.999999999999998".
- 1187022 cpu_core_0 "13.999999999999998".
- 1187096 cpu_core_0 "13.999999999999998".
- 1187109 cpu_core_0 "13.999999999999998".
- 1187134 cpu_core_0 "13.999999999999998".
- 1187156 cpu_core_0 "13.999999999999998".
- 1187319 cpu_core_0 "13.999999999999998".
- 1187366 cpu_core_0 "13.999999999999998".
- 1187433 cpu_core_0 "13.999999999999998".
- 1187464 cpu_core_0 "13.999999999999998".
- 1187471 cpu_core_0 "13.999999999999998".
- 1187593 cpu_core_0 "13.999999999999998".
- 1187596 cpu_core_0 "13.999999999999998".
- 1187606 cpu_core_0 "13.999999999999998".
- 1187676 cpu_core_0 "13.999999999999998".
- 1187866 cpu_core_0 "13.999999999999998".
- 1187873 cpu_core_0 "13.999999999999998".
- 1187874 cpu_core_0 "13.999999999999998".
- 1187981 cpu_core_0 "13.999999999999998".
- 1187993 cpu_core_0 "13.999999999999998".
- 1188304 cpu_core_0 "13.999999999999998".
- 1188390 cpu_core_0 "13.999999999999998".
- 1188478 cpu_core_0 "13.999999999999998".
- 1188534 cpu_core_0 "13.999999999999998".
- 1188584 cpu_core_0 "13.999999999999998".
- 1188670 cpu_core_0 "13.999999999999998".
- 1188693 cpu_core_0 "13.999999999999998".
- 1188770 cpu_core_0 "13.999999999999998".
- 1188865 cpu_core_0 "13.999999999999998".
- 1188878 cpu_core_0 "13.999999999999998".
- 1188923 cpu_core_0 "13.999999999999998".
- 1188958 cpu_core_0 "13.999999999999998".
- 1189008 cpu_core_0 "13.999999999999998".
- 1189210 cpu_core_0 "13.999999999999998".
- 1189270 cpu_core_0 "13.999999999999998".
- 1189307 cpu_core_0 "13.999999999999998".
- 1189639 cpu_core_0 "13.999999999999998".
- 1189663 cpu_core_0 "13.999999999999998".
- 1189720 cpu_core_0 "13.999999999999998".
- 1189768 cpu_core_0 "13.999999999999998".
- 1189774 cpu_core_0 "13.999999999999998".
- 1189784 cpu_core_0 "13.999999999999998".
- 1189786 cpu_core_0 "13.999999999999998".
- 1189791 cpu_core_0 "13.999999999999998".
- 1189795 cpu_core_0 "13.999999999999998".
- 1189873 cpu_core_0 "13.999999999999998".
- 1190003 cpu_core_0 "13.999999999999998".
- 1190026 cpu_core_0 "13.999999999999998".
- 1190035 cpu_core_0 "13.999999999999998".
- 1190116 cpu_core_0 "13.999999999999998".
- 1190281 cpu_core_0 "13.999999999999998".
- 1190285 cpu_core_0 "13.999999999999998".
- 1190327 cpu_core_0 "13.999999999999998".
- 1190371 cpu_core_0 "13.999999999999998".
- 1190375 cpu_core_0 "13.999999999999998".
- 1190388 cpu_core_0 "13.999999999999998".
- 1190397 cpu_core_0 "13.999999999999998".
- 1190416 cpu_core_0 "13.999999999999998".
- 1190444 cpu_core_0 "13.999999999999998".
- 1190525 cpu_core_0 "13.999999999999998".
- 1190591 cpu_core_0 "13.999999999999998".
- 1190594 cpu_core_0 "13.999999999999998".
- 1191127 cpu_core_0 "13.999999999999998".
- 1191179 cpu_core_0 "13.999999999999998".
- 1191184 cpu_core_0 "13.999999999999998".
- 1191295 cpu_core_0 "13.999999999999998".
- 1191478 cpu_core_0 "13.999999999999998".
- 1191542 cpu_core_0 "13.999999999999998".
- 1191600 cpu_core_0 "13.999999999999998".
- 1191602 cpu_core_0 "13.999999999999998".
- 1191722 cpu_core_0 "13.999999999999998".
- 1191879 cpu_core_0 "13.999999999999998".
- 1191888 cpu_core_0 "13.999999999999998".
- 1191889 cpu_core_0 "13.999999999999998".