Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1142552 cpu_core_0 "13.999999999999998".
- 1142638 cpu_core_0 "13.999999999999998".
- 1142651 cpu_core_0 "13.999999999999998".
- 1142655 cpu_core_0 "13.999999999999998".
- 1142903 cpu_core_0 "13.999999999999998".
- 1143009 cpu_core_0 "13.999999999999998".
- 1143067 cpu_core_0 "13.999999999999998".
- 1143140 cpu_core_0 "13.999999999999998".
- 1143191 cpu_core_0 "13.999999999999998".
- 1143208 cpu_core_0 "13.999999999999998".
- 1143218 cpu_core_0 "13.999999999999998".
- 1143255 cpu_core_0 "13.999999999999998".
- 1143265 cpu_core_0 "13.999999999999998".
- 1143273 cpu_core_0 "13.999999999999998".
- 1143443 cpu_core_0 "13.999999999999998".
- 1143493 cpu_core_0 "13.999999999999998".
- 1143496 cpu_core_0 "13.999999999999998".
- 1143508 cpu_core_0 "13.999999999999998".
- 1143569 cpu_core_0 "13.999999999999998".
- 1143572 cpu_core_0 "13.999999999999998".
- 1143606 cpu_core_0 "13.999999999999998".
- 1143625 cpu_core_0 "13.999999999999998".
- 1143647 cpu_core_0 "13.999999999999998".
- 1143938 cpu_core_0 "13.999999999999998".
- 1144061 cpu_core_0 "13.999999999999998".
- 1144145 cpu_core_0 "13.999999999999998".
- 1144205 cpu_core_0 "13.999999999999998".
- 1144241 cpu_core_0 "13.999999999999998".
- 1144256 cpu_core_0 "13.999999999999998".
- 1144336 cpu_core_0 "13.999999999999998".
- 1144375 cpu_core_0 "13.999999999999998".
- 1144391 cpu_core_0 "13.999999999999998".
- 1144415 cpu_core_0 "13.999999999999998".
- 1144511 cpu_core_0 "13.999999999999998".
- 1144577 cpu_core_0 "13.999999999999998".
- 1144726 cpu_core_0 "13.999999999999998".
- 1144742 cpu_core_0 "13.999999999999998".
- 1144834 cpu_core_0 "13.999999999999998".
- 1144848 cpu_core_0 "13.999999999999998".
- 1144865 cpu_core_0 "13.999999999999998".
- 1144868 cpu_core_0 "13.999999999999998".
- 1144885 cpu_core_0 "13.999999999999998".
- 1144946 cpu_core_0 "13.999999999999998".
- 1145070 cpu_core_0 "13.999999999999998".
- 1145078 cpu_core_0 "13.999999999999998".
- 1145085 cpu_core_0 "13.999999999999998".
- 1145114 cpu_core_0 "13.999999999999998".
- 1145135 cpu_core_0 "13.999999999999998".
- 1145170 cpu_core_0 "13.999999999999998".
- 1145220 cpu_core_0 "13.999999999999998".
- 1145256 cpu_core_0 "13.999999999999998".
- 1145305 cpu_core_0 "13.999999999999998".
- 1145308 cpu_core_0 "13.999999999999998".
- 1145403 cpu_core_0 "13.999999999999998".
- 1145437 cpu_core_0 "13.999999999999998".
- 1145486 cpu_core_0 "13.999999999999998".
- 1145491 cpu_core_0 "13.999999999999998".
- 1145698 cpu_core_0 "13.999999999999998".
- 1145724 cpu_core_0 "13.999999999999998".
- 1145770 cpu_core_0 "13.999999999999998".
- 1145777 cpu_core_0 "13.999999999999998".
- 1145828 cpu_core_0 "13.999999999999998".
- 1145842 cpu_core_0 "13.999999999999998".
- 1145852 cpu_core_0 "13.999999999999998".
- 1145902 cpu_core_0 "13.999999999999998".
- 1145927 cpu_core_0 "13.999999999999998".
- 1145939 cpu_core_0 "13.999999999999998".
- 1146049 cpu_core_0 "13.999999999999998".
- 1146064 cpu_core_0 "13.999999999999998".
- 1146074 cpu_core_0 "13.999999999999998".
- 1146076 cpu_core_0 "13.999999999999998".
- 1146137 cpu_core_0 "13.999999999999998".
- 1146138 cpu_core_0 "13.999999999999998".
- 1146179 cpu_core_0 "13.999999999999998".
- 1146183 cpu_core_0 "13.999999999999998".
- 1146258 cpu_core_0 "13.999999999999998".
- 1146313 cpu_core_0 "13.999999999999998".
- 1146451 cpu_core_0 "13.999999999999998".
- 1146513 cpu_core_0 "13.999999999999998".
- 1146515 cpu_core_0 "13.999999999999998".
- 1146778 cpu_core_0 "13.999999999999998".
- 1146867 cpu_core_0 "13.999999999999998".
- 1146890 cpu_core_0 "13.999999999999998".
- 1146975 cpu_core_0 "13.999999999999998".
- 1146989 cpu_core_0 "13.999999999999998".
- 1146994 cpu_core_0 "13.999999999999998".
- 1147028 cpu_core_0 "13.999999999999998".
- 1147049 cpu_core_0 "13.999999999999998".
- 1147152 cpu_core_0 "13.999999999999998".
- 1147459 cpu_core_0 "13.999999999999998".
- 1147524 cpu_core_0 "13.999999999999998".
- 1147599 cpu_core_0 "13.999999999999998".
- 1147614 cpu_core_0 "13.999999999999998".
- 1147638 cpu_core_0 "13.999999999999998".
- 1147719 cpu_core_0 "13.999999999999998".
- 1147757 cpu_core_0 "13.999999999999998".
- 1147978 cpu_core_0 "13.999999999999998".
- 1148062 cpu_core_0 "13.999999999999998".
- 1148074 cpu_core_0 "13.999999999999998".
- 1148195 cpu_core_0 "13.999999999999998".