Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1155137 cpu_core_0 "13.999999999999998".
- 1155187 cpu_core_0 "13.999999999999998".
- 1155219 cpu_core_0 "13.999999999999998".
- 1155229 cpu_core_0 "13.999999999999998".
- 1155240 cpu_core_0 "13.999999999999998".
- 1155284 cpu_core_0 "13.999999999999998".
- 1155311 cpu_core_0 "13.999999999999998".
- 1155351 cpu_core_0 "13.999999999999998".
- 1155352 cpu_core_0 "13.999999999999998".
- 1155402 cpu_core_0 "13.999999999999998".
- 1155426 cpu_core_0 "13.999999999999998".
- 1155469 cpu_core_0 "13.999999999999998".
- 1155473 cpu_core_0 "13.999999999999998".
- 1155568 cpu_core_0 "13.999999999999998".
- 1155633 cpu_core_0 "13.999999999999998".
- 1155732 cpu_core_0 "13.999999999999998".
- 1155734 cpu_core_0 "13.999999999999998".
- 1155837 cpu_core_0 "13.999999999999998".
- 1155917 cpu_core_0 "13.999999999999998".
- 1156060 cpu_core_0 "13.999999999999998".
- 1156098 cpu_core_0 "13.999999999999998".
- 1156148 cpu_core_0 "13.999999999999998".
- 1156202 cpu_core_0 "13.999999999999998".
- 1156218 cpu_core_0 "13.999999999999998".
- 1156222 cpu_core_0 "13.999999999999998".
- 1156332 cpu_core_0 "13.999999999999998".
- 1156431 cpu_core_0 "13.999999999999998".
- 1156437 cpu_core_0 "13.999999999999998".
- 1156485 cpu_core_0 "13.999999999999998".
- 1156539 cpu_core_0 "13.999999999999998".
- 1156669 cpu_core_0 "13.999999999999998".
- 1156674 cpu_core_0 "13.999999999999998".
- 1156791 cpu_core_0 "13.999999999999998".
- 1156924 cpu_core_0 "13.999999999999998".
- 1156938 cpu_core_0 "13.999999999999998".
- 1156959 cpu_core_0 "13.999999999999998".
- 1157055 cpu_core_0 "13.999999999999998".
- 1157087 cpu_core_0 "13.999999999999998".
- 1157131 cpu_core_0 "13.999999999999998".
- 1157141 cpu_core_0 "13.999999999999998".
- 1157142 cpu_core_0 "13.999999999999998".
- 1157158 cpu_core_0 "13.999999999999998".
- 1157249 cpu_core_0 "13.999999999999998".
- 1157293 cpu_core_0 "13.999999999999998".
- 1157368 cpu_core_0 "13.999999999999998".
- 1157441 cpu_core_0 "13.999999999999998".
- 1157602 cpu_core_0 "13.999999999999998".
- 1157609 cpu_core_0 "13.999999999999998".
- 1157676 cpu_core_0 "13.999999999999998".
- 1157762 cpu_core_0 "13.999999999999998".
- 1157808 cpu_core_0 "13.999999999999998".
- 1157851 cpu_core_0 "13.999999999999998".
- 1157906 cpu_core_0 "13.999999999999998".
- 1158069 cpu_core_0 "13.999999999999998".
- 1158120 cpu_core_0 "13.999999999999998".
- 1158217 cpu_core_0 "13.999999999999998".
- 1158245 cpu_core_0 "13.999999999999998".
- 1158268 cpu_core_0 "13.999999999999998".
- 1158481 cpu_core_0 "13.999999999999998".
- 1158612 cpu_core_0 "13.999999999999998".
- 1158616 cpu_core_0 "13.999999999999998".
- 1158620 cpu_core_0 "13.999999999999998".
- 1158621 cpu_core_0 "13.999999999999998".
- 1158635 cpu_core_0 "13.999999999999998".
- 1158721 cpu_core_0 "13.999999999999998".
- 1158729 cpu_core_0 "13.999999999999998".
- 1158733 cpu_core_0 "13.999999999999998".
- 1158744 cpu_core_0 "13.999999999999998".
- 1158754 cpu_core_0 "13.999999999999998".
- 1158812 cpu_core_0 "13.999999999999998".
- 1158832 cpu_core_0 "13.999999999999998".
- 1158833 cpu_core_0 "13.999999999999998".
- 1158845 cpu_core_0 "13.999999999999998".
- 1158870 cpu_core_0 "13.999999999999998".
- 1158967 cpu_core_0 "13.999999999999998".
- 1159057 cpu_core_0 "13.999999999999998".
- 1159243 cpu_core_0 "13.999999999999998".
- 1159334 cpu_core_0 "13.999999999999998".
- 1159344 cpu_core_0 "13.999999999999998".
- 1159345 cpu_core_0 "13.999999999999998".
- 1159348 cpu_core_0 "13.999999999999998".
- 1159351 cpu_core_0 "13.999999999999998".
- 1159362 cpu_core_0 "13.999999999999998".
- 1159422 cpu_core_0 "13.999999999999998".
- 1159443 cpu_core_0 "13.999999999999998".
- 1159491 cpu_core_0 "13.999999999999998".
- 1159541 cpu_core_0 "13.999999999999998".
- 1159550 cpu_core_0 "13.999999999999998".
- 1159562 cpu_core_0 "13.999999999999998".
- 1159589 cpu_core_0 "13.999999999999998".
- 1159592 cpu_core_0 "13.999999999999998".
- 1159784 cpu_core_0 "13.999999999999998".
- 1159807 cpu_core_0 "13.999999999999998".
- 1159813 cpu_core_0 "13.999999999999998".
- 1159829 cpu_core_0 "13.999999999999998".
- 1159921 cpu_core_0 "13.999999999999998".
- 1160014 cpu_core_0 "13.999999999999998".
- 1160045 cpu_core_0 "13.999999999999998".
- 1160128 cpu_core_0 "13.999999999999998".
- 1160156 cpu_core_0 "13.999999999999998".