Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1096816 cpu_core_0 "13.999999999999998".
- 1096842 cpu_core_0 "13.999999999999998".
- 1096952 cpu_core_0 "13.999999999999998".
- 1096983 cpu_core_0 "13.999999999999998".
- 1097153 cpu_core_0 "13.999999999999998".
- 1097175 cpu_core_0 "13.999999999999998".
- 1097328 cpu_core_0 "13.999999999999998".
- 1097360 cpu_core_0 "13.999999999999998".
- 1097404 cpu_core_0 "13.999999999999998".
- 1097437 cpu_core_0 "13.999999999999998".
- 1097519 cpu_core_0 "13.999999999999998".
- 1097648 cpu_core_0 "13.999999999999998".
- 1097758 cpu_core_0 "13.999999999999998".
- 1097818 cpu_core_0 "13.999999999999998".
- 1097937 cpu_core_0 "13.999999999999998".
- 1098009 cpu_core_0 "13.999999999999998".
- 1098084 cpu_core_0 "13.999999999999998".
- 1098169 cpu_core_0 "13.999999999999998".
- 1098212 cpu_core_0 "13.999999999999998".
- 1098250 cpu_core_0 "13.999999999999998".
- 1098278 cpu_core_0 "13.999999999999998".
- 1098402 cpu_core_0 "13.999999999999998".
- 1098407 cpu_core_0 "13.999999999999998".
- 1098485 cpu_core_0 "13.999999999999998".
- 1098490 cpu_core_0 "13.999999999999998".
- 1098567 cpu_core_0 "13.999999999999998".
- 1098569 cpu_core_0 "13.999999999999998".
- 1098573 cpu_core_0 "13.999999999999998".
- 1098724 cpu_core_0 "13.999999999999998".
- 1098759 cpu_core_0 "13.999999999999998".
- 1098783 cpu_core_0 "13.999999999999998".
- 1098806 cpu_core_0 "13.999999999999998".
- 1098860 cpu_core_0 "13.999999999999998".
- 1099021 cpu_core_0 "13.999999999999998".
- 1099048 cpu_core_0 "13.999999999999998".
- 1099086 cpu_core_0 "13.999999999999998".
- 1099097 cpu_core_0 "13.999999999999998".
- 1099163 cpu_core_0 "13.999999999999998".
- 1099229 cpu_core_0 "13.999999999999998".
- 1099248 cpu_core_0 "13.999999999999998".
- 1099274 cpu_core_0 "13.999999999999998".
- 1099337 cpu_core_0 "13.999999999999998".
- 1099399 cpu_core_0 "13.999999999999998".
- 1099504 cpu_core_0 "13.999999999999998".
- 1099648 cpu_core_0 "13.999999999999998".
- 1099652 cpu_core_0 "13.999999999999998".
- 1099712 cpu_core_0 "13.999999999999998".
- 1099825 cpu_core_0 "13.999999999999998".
- 1099876 cpu_core_0 "13.999999999999998".
- 1099882 cpu_core_0 "13.999999999999998".
- 1100091 cpu_core_0 "13.999999999999998".
- 1100093 cpu_core_0 "13.999999999999998".
- 1100187 cpu_core_0 "13.999999999999998".
- 1100298 cpu_core_0 "13.999999999999998".
- 1100342 cpu_core_0 "13.999999999999998".
- 1100518 cpu_core_0 "13.999999999999998".
- 1100527 cpu_core_0 "13.999999999999998".
- 1100595 cpu_core_0 "13.999999999999998".
- 1100616 cpu_core_0 "13.999999999999998".
- 1100663 cpu_core_0 "13.999999999999998".
- 1101048 cpu_core_0 "13.999999999999998".
- 1101061 cpu_core_0 "13.999999999999998".
- 1101193 cpu_core_0 "13.999999999999998".
- 1101243 cpu_core_0 "13.999999999999998".
- 1101299 cpu_core_0 "13.999999999999998".
- 1101506 cpu_core_0 "13.999999999999998".
- 1101513 cpu_core_0 "13.999999999999998".
- 1101635 cpu_core_0 "13.999999999999998".
- 1101911 cpu_core_0 "13.999999999999998".
- 1101929 cpu_core_0 "13.999999999999998".
- 1102012 cpu_core_0 "13.999999999999998".
- 1102222 cpu_core_0 "13.999999999999998".
- 1102383 cpu_core_0 "13.999999999999998".
- 1102470 cpu_core_0 "13.999999999999998".
- 1102519 cpu_core_0 "13.999999999999998".
- 1102537 cpu_core_0 "13.999999999999998".
- 1102657 cpu_core_0 "13.999999999999998".
- 1102756 cpu_core_0 "13.999999999999998".
- 1103037 cpu_core_0 "13.999999999999998".
- 1103138 cpu_core_0 "13.999999999999998".
- 1103354 cpu_core_0 "13.999999999999998".
- 1103370 cpu_core_0 "13.999999999999998".
- 1103416 cpu_core_0 "13.999999999999998".
- 1103707 cpu_core_0 "13.999999999999998".
- 1103727 cpu_core_0 "13.999999999999998".
- 1103774 cpu_core_0 "13.999999999999998".
- 1103775 cpu_core_0 "13.999999999999998".
- 1103823 cpu_core_0 "13.999999999999998".
- 1103852 cpu_core_0 "13.999999999999998".
- 1103860 cpu_core_0 "13.999999999999998".
- 1103863 cpu_core_0 "13.999999999999998".
- 1103899 cpu_core_0 "13.999999999999998".
- 1103984 cpu_core_0 "13.999999999999998".
- 1103989 cpu_core_0 "13.999999999999998".
- 1103995 cpu_core_0 "13.999999999999998".
- 1104100 cpu_core_0 "13.999999999999998".
- 1104144 cpu_core_0 "13.999999999999998".
- 1104148 cpu_core_0 "13.999999999999998".
- 1104212 cpu_core_0 "13.999999999999998".
- 1104223 cpu_core_0 "13.999999999999998".