Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1135144 cpu_core_0 "13.999999999999998".
- 1135221 cpu_core_0 "13.999999999999998".
- 1135260 cpu_core_0 "13.999999999999998".
- 1135569 cpu_core_0 "13.999999999999998".
- 1135586 cpu_core_0 "13.999999999999998".
- 1135887 cpu_core_0 "13.999999999999998".
- 1135983 cpu_core_0 "13.999999999999998".
- 1136169 cpu_core_0 "13.999999999999998".
- 1136178 cpu_core_0 "13.999999999999998".
- 1136533 cpu_core_0 "13.999999999999998".
- 1136543 cpu_core_0 "13.999999999999998".
- 1136591 cpu_core_0 "13.999999999999998".
- 1136592 cpu_core_0 "13.999999999999998".
- 1136708 cpu_core_0 "13.999999999999998".
- 1136906 cpu_core_0 "13.999999999999998".
- 1136985 cpu_core_0 "13.999999999999998".
- 1137003 cpu_core_0 "13.999999999999998".
- 1137203 cpu_core_0 "13.999999999999998".
- 1137250 cpu_core_0 "13.999999999999998".
- 1137285 cpu_core_0 "13.999999999999998".
- 1137293 cpu_core_0 "13.999999999999998".
- 1137373 cpu_core_0 "13.999999999999998".
- 1137947 cpu_core_0 "13.999999999999998".
- 1138086 cpu_core_0 "13.999999999999998".
- 1138496 cpu_core_0 "13.999999999999998".
- 1138601 cpu_core_0 "13.999999999999998".
- 1138669 cpu_core_0 "13.999999999999998".
- 1138719 cpu_core_0 "13.999999999999998".
- 1138782 cpu_core_0 "13.999999999999998".
- 1138801 cpu_core_0 "13.999999999999998".
- 1138816 cpu_core_0 "13.999999999999998".
- 1138894 cpu_core_0 "13.999999999999998".
- 1138899 cpu_core_0 "13.999999999999998".
- 1138932 cpu_core_0 "13.999999999999998".
- 1138966 cpu_core_0 "13.999999999999998".
- 1139122 cpu_core_0 "13.999999999999998".
- 1139152 cpu_core_0 "13.999999999999998".
- 1139179 cpu_core_0 "13.999999999999998".
- 1139246 cpu_core_0 "13.999999999999998".
- 1139263 cpu_core_0 "13.999999999999998".
- 1139265 cpu_core_0 "13.999999999999998".
- 1139337 cpu_core_0 "13.999999999999998".
- 1139405 cpu_core_0 "13.999999999999998".
- 1139408 cpu_core_0 "13.999999999999998".
- 1139519 cpu_core_0 "13.999999999999998".
- 1139523 cpu_core_0 "13.999999999999998".
- 1139529 cpu_core_0 "13.999999999999998".
- 1139547 cpu_core_0 "13.999999999999998".
- 1139644 cpu_core_0 "13.999999999999998".
- 1139744 cpu_core_0 "13.999999999999998".
- 1139989 cpu_core_0 "13.999999999999998".
- 1140003 cpu_core_0 "13.999999999999998".
- 1140111 cpu_core_0 "13.999999999999998".
- 1140121 cpu_core_0 "13.999999999999998".
- 1140280 cpu_core_0 "13.999999999999998".
- 1140348 cpu_core_0 "13.999999999999998".
- 1140349 cpu_core_0 "13.999999999999998".
- 1140363 cpu_core_0 "13.999999999999998".
- 1140418 cpu_core_0 "13.999999999999998".
- 1140450 cpu_core_0 "13.999999999999998".
- 1140603 cpu_core_0 "13.999999999999998".
- 1140606 cpu_core_0 "13.999999999999998".
- 1140689 cpu_core_0 "13.999999999999998".
- 1140705 cpu_core_0 "13.999999999999998".
- 1140747 cpu_core_0 "13.999999999999998".
- 1140773 cpu_core_0 "13.999999999999998".
- 1140864 cpu_core_0 "13.999999999999998".
- 1140870 cpu_core_0 "13.999999999999998".
- 1140919 cpu_core_0 "13.999999999999998".
- 1140948 cpu_core_0 "13.999999999999998".
- 1141020 cpu_core_0 "13.999999999999998".
- 1141095 cpu_core_0 "13.999999999999998".
- 1141135 cpu_core_0 "13.999999999999998".
- 1141166 cpu_core_0 "13.999999999999998".
- 1141292 cpu_core_0 "13.999999999999998".
- 1141325 cpu_core_0 "13.999999999999998".
- 1141360 cpu_core_0 "13.999999999999998".
- 1141379 cpu_core_0 "13.999999999999998".
- 1141409 cpu_core_0 "13.999999999999998".
- 1141475 cpu_core_0 "13.999999999999998".
- 1141530 cpu_core_0 "13.999999999999998".
- 1141688 cpu_core_0 "13.999999999999998".
- 1141825 cpu_core_0 "13.999999999999998".
- 1141860 cpu_core_0 "13.999999999999998".
- 1141892 cpu_core_0 "13.999999999999998".
- 1141910 cpu_core_0 "13.999999999999998".
- 1141920 cpu_core_0 "13.999999999999998".
- 1141945 cpu_core_0 "13.999999999999998".
- 1141970 cpu_core_0 "13.999999999999998".
- 1142129 cpu_core_0 "13.999999999999998".
- 1142161 cpu_core_0 "13.999999999999998".
- 1142181 cpu_core_0 "13.999999999999998".
- 1142264 cpu_core_0 "13.999999999999998".
- 1142272 cpu_core_0 "13.999999999999998".
- 1142278 cpu_core_0 "13.999999999999998".
- 1142284 cpu_core_0 "13.999999999999998".
- 1142395 cpu_core_0 "13.999999999999998".
- 1142435 cpu_core_0 "13.999999999999998".
- 1142450 cpu_core_0 "13.999999999999998".
- 1142542 cpu_core_0 "13.999999999999998".