Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1180852 cpu_core_0 "13.999999999999998".
- 1180862 cpu_core_0 "13.999999999999998".
- 1180954 cpu_core_0 "13.999999999999998".
- 1181097 cpu_core_0 "13.999999999999998".
- 1181209 cpu_core_0 "13.999999999999998".
- 1181212 cpu_core_0 "13.999999999999998".
- 1181284 cpu_core_0 "13.999999999999998".
- 1181295 cpu_core_0 "13.999999999999998".
- 1181319 cpu_core_0 "13.999999999999998".
- 1181339 cpu_core_0 "13.999999999999998".
- 1181361 cpu_core_0 "13.999999999999998".
- 1181457 cpu_core_0 "13.999999999999998".
- 1181466 cpu_core_0 "13.999999999999998".
- 1181467 cpu_core_0 "13.999999999999998".
- 1181468 cpu_core_0 "13.999999999999998".
- 1181472 cpu_core_0 "13.999999999999998".
- 1181615 cpu_core_0 "13.999999999999998".
- 1181644 cpu_core_0 "13.999999999999998".
- 1181649 cpu_core_0 "13.999999999999998".
- 1181717 cpu_core_0 "13.999999999999998".
- 1181723 cpu_core_0 "13.999999999999998".
- 1181781 cpu_core_0 "13.999999999999998".
- 1181821 cpu_core_0 "13.999999999999998".
- 1181838 cpu_core_0 "13.999999999999998".
- 1182005 cpu_core_0 "13.999999999999998".
- 1182023 cpu_core_0 "13.999999999999998".
- 1182039 cpu_core_0 "13.999999999999998".
- 1182077 cpu_core_0 "13.999999999999998".
- 1182120 cpu_core_0 "13.999999999999998".
- 1182140 cpu_core_0 "13.999999999999998".
- 1182162 cpu_core_0 "13.999999999999998".
- 1182176 cpu_core_0 "13.999999999999998".
- 1182186 cpu_core_0 "13.999999999999998".
- 1182209 cpu_core_0 "13.999999999999998".
- 1182263 cpu_core_0 "13.999999999999998".
- 1182279 cpu_core_0 "13.999999999999998".
- 1182283 cpu_core_0 "13.999999999999998".
- 1182294 cpu_core_0 "13.999999999999998".
- 1182412 cpu_core_0 "13.999999999999998".
- 1182446 cpu_core_0 "13.999999999999998".
- 1182529 cpu_core_0 "13.999999999999998".
- 1182739 cpu_core_0 "13.999999999999998".
- 1182740 cpu_core_0 "13.999999999999998".
- 1182910 cpu_core_0 "13.999999999999998".
- 1182983 cpu_core_0 "13.999999999999998".
- 1183001 cpu_core_0 "13.999999999999998".
- 1183005 cpu_core_0 "13.999999999999998".
- 1183030 cpu_core_0 "13.999999999999998".
- 1183061 cpu_core_0 "13.999999999999998".
- 1183104 cpu_core_0 "13.999999999999998".
- 1183218 cpu_core_0 "13.999999999999998".
- 1183621 cpu_core_0 "13.999999999999998".
- 1183640 cpu_core_0 "13.999999999999998".
- 1183720 cpu_core_0 "13.999999999999998".
- 1183724 cpu_core_0 "13.999999999999998".
- 1183819 cpu_core_0 "13.999999999999998".
- 1183949 cpu_core_0 "13.999999999999998".
- 1183962 cpu_core_0 "13.999999999999998".
- 1183973 cpu_core_0 "13.999999999999998".
- 1184085 cpu_core_0 "13.999999999999998".
- 1184123 cpu_core_0 "13.999999999999998".
- 1184179 cpu_core_0 "13.999999999999998".
- 1184204 cpu_core_0 "13.999999999999998".
- 1184244 cpu_core_0 "13.999999999999998".
- 1184303 cpu_core_0 "13.999999999999998".
- 1184305 cpu_core_0 "13.999999999999998".
- 1184307 cpu_core_0 "13.999999999999998".
- 1184335 cpu_core_0 "13.999999999999998".
- 1184344 cpu_core_0 "13.999999999999998".
- 1184450 cpu_core_0 "13.999999999999998".
- 1184477 cpu_core_0 "13.999999999999998".
- 1184490 cpu_core_0 "13.999999999999998".
- 1184538 cpu_core_0 "13.999999999999998".
- 1184574 cpu_core_0 "13.999999999999998".
- 1184605 cpu_core_0 "13.999999999999998".
- 1184633 cpu_core_0 "13.999999999999998".
- 1184711 cpu_core_0 "13.999999999999998".
- 1184775 cpu_core_0 "13.999999999999998".
- 1184777 cpu_core_0 "13.999999999999998".
- 1185171 cpu_core_0 "13.999999999999998".
- 1185185 cpu_core_0 "13.999999999999998".
- 1185267 cpu_core_0 "13.999999999999998".
- 1185455 cpu_core_0 "13.999999999999998".
- 1185504 cpu_core_0 "13.999999999999998".
- 1185514 cpu_core_0 "13.999999999999998".
- 1185527 cpu_core_0 "13.999999999999998".
- 1185530 cpu_core_0 "13.999999999999998".
- 1185547 cpu_core_0 "13.999999999999998".
- 1185570 cpu_core_0 "13.999999999999998".
- 1185591 cpu_core_0 "13.999999999999998".
- 1185651 cpu_core_0 "13.999999999999998".
- 1185652 cpu_core_0 "13.999999999999998".
- 1185713 cpu_core_0 "13.999999999999998".
- 1185780 cpu_core_0 "13.999999999999998".
- 1185879 cpu_core_0 "13.999999999999998".
- 1185880 cpu_core_0 "13.999999999999998".
- 1185906 cpu_core_0 "13.999999999999998".
- 1185916 cpu_core_0 "13.999999999999998".
- 1185935 cpu_core_0 "13.999999999999998".
- 1185992 cpu_core_0 "13.999999999999998".