Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1117019 cpu_core_0 "13.999999999999998".
- 1117021 cpu_core_0 "13.999999999999998".
- 1117044 cpu_core_0 "13.999999999999998".
- 1117053 cpu_core_0 "13.999999999999998".
- 1117063 cpu_core_0 "13.999999999999998".
- 1117102 cpu_core_0 "13.999999999999998".
- 1117103 cpu_core_0 "13.999999999999998".
- 1117126 cpu_core_0 "13.999999999999998".
- 1117186 cpu_core_0 "13.999999999999998".
- 1117216 cpu_core_0 "13.999999999999998".
- 1117325 cpu_core_0 "13.999999999999998".
- 1117451 cpu_core_0 "13.999999999999998".
- 1117505 cpu_core_0 "13.999999999999998".
- 1117626 cpu_core_0 "13.999999999999998".
- 1117655 cpu_core_0 "13.999999999999998".
- 1117658 cpu_core_0 "13.999999999999998".
- 1117677 cpu_core_0 "13.999999999999998".
- 1117696 cpu_core_0 "13.999999999999998".
- 1117741 cpu_core_0 "13.999999999999998".
- 1117851 cpu_core_0 "13.999999999999998".
- 1117911 cpu_core_0 "13.999999999999998".
- 1117918 cpu_core_0 "13.999999999999998".
- 1117923 cpu_core_0 "13.999999999999998".
- 1118012 cpu_core_0 "13.999999999999998".
- 1118017 cpu_core_0 "13.999999999999998".
- 1118038 cpu_core_0 "13.999999999999998".
- 1118044 cpu_core_0 "13.999999999999998".
- 1118100 cpu_core_0 "13.999999999999998".
- 1118150 cpu_core_0 "13.999999999999998".
- 1118154 cpu_core_0 "13.999999999999998".
- 1118220 cpu_core_0 "13.999999999999998".
- 1118227 cpu_core_0 "13.999999999999998".
- 1118236 cpu_core_0 "13.999999999999998".
- 1118278 cpu_core_0 "13.999999999999998".
- 1118340 cpu_core_0 "13.999999999999998".
- 1118358 cpu_core_0 "13.999999999999998".
- 1118395 cpu_core_0 "13.999999999999998".
- 1118501 cpu_core_0 "13.999999999999998".
- 1118687 cpu_core_0 "13.999999999999998".
- 1118732 cpu_core_0 "13.999999999999998".
- 1118740 cpu_core_0 "13.999999999999998".
- 1119099 cpu_core_0 "13.999999999999998".
- 1119104 cpu_core_0 "13.999999999999998".
- 1119183 cpu_core_0 "13.999999999999998".
- 1119193 cpu_core_0 "13.999999999999998".
- 1119285 cpu_core_0 "13.999999999999998".
- 1119555 cpu_core_0 "13.999999999999998".
- 1119578 cpu_core_0 "13.999999999999998".
- 1119614 cpu_core_0 "13.999999999999998".
- 1119935 cpu_core_0 "13.999999999999998".
- 1119943 cpu_core_0 "13.999999999999998".
- 1119954 cpu_core_0 "13.999999999999998".
- 1119956 cpu_core_0 "13.999999999999998".
- 1119973 cpu_core_0 "13.999999999999998".
- 1119988 cpu_core_0 "13.999999999999998".
- 1120159 cpu_core_0 "13.999999999999998".
- 1120183 cpu_core_0 "13.999999999999998".
- 1120281 cpu_core_0 "13.999999999999998".
- 1120420 cpu_core_0 "13.999999999999998".
- 1120464 cpu_core_0 "13.999999999999998".
- 1120540 cpu_core_0 "13.999999999999998".
- 1120559 cpu_core_0 "13.999999999999998".
- 1120619 cpu_core_0 "13.999999999999998".
- 1120675 cpu_core_0 "13.999999999999998".
- 1120766 cpu_core_0 "13.999999999999998".
- 1120782 cpu_core_0 "13.999999999999998".
- 1121067 cpu_core_0 "13.999999999999998".
- 1121207 cpu_core_0 "13.999999999999998".
- 1121222 cpu_core_0 "13.999999999999998".
- 1121245 cpu_core_0 "13.999999999999998".
- 1121342 cpu_core_0 "13.999999999999998".
- 1121465 cpu_core_0 "13.999999999999998".
- 1121528 cpu_core_0 "13.999999999999998".
- 1121609 cpu_core_0 "13.999999999999998".
- 1121653 cpu_core_0 "13.999999999999998".
- 1121666 cpu_core_0 "13.999999999999998".
- 1121702 cpu_core_0 "13.999999999999998".
- 1121719 cpu_core_0 "13.999999999999998".
- 1121772 cpu_core_0 "13.999999999999998".
- 1121773 cpu_core_0 "13.999999999999998".
- 1121851 cpu_core_0 "13.999999999999998".
- 1121952 cpu_core_0 "13.999999999999998".
- 1121975 cpu_core_0 "13.999999999999998".
- 1122067 cpu_core_0 "13.999999999999998".
- 1122101 cpu_core_0 "13.999999999999998".
- 1122109 cpu_core_0 "13.999999999999998".
- 1122128 cpu_core_0 "13.999999999999998".
- 1122209 cpu_core_0 "13.999999999999998".
- 1122229 cpu_core_0 "13.999999999999998".
- 1122311 cpu_core_0 "13.999999999999998".
- 1122348 cpu_core_0 "13.999999999999998".
- 1122484 cpu_core_0 "13.999999999999998".
- 1122511 cpu_core_0 "13.999999999999998".
- 1122512 cpu_core_0 "13.999999999999998".
- 1122561 cpu_core_0 "13.999999999999998".
- 1122697 cpu_core_0 "13.999999999999998".
- 1122711 cpu_core_0 "13.999999999999998".
- 1122713 cpu_core_0 "13.999999999999998".
- 1122807 cpu_core_0 "13.999999999999998".
- 1122902 cpu_core_0 "13.999999999999998".