Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1047053 cpu_core_0 "13.999999999999998".
- 1047090 cpu_core_0 "13.999999999999998".
- 1047091 cpu_core_0 "13.999999999999998".
- 1047261 cpu_core_0 "13.999999999999998".
- 1047284 cpu_core_0 "13.999999999999998".
- 1047292 cpu_core_0 "13.999999999999998".
- 1047298 cpu_core_0 "13.999999999999998".
- 1047313 cpu_core_0 "13.999999999999998".
- 1047319 cpu_core_0 "13.999999999999998".
- 1047349 cpu_core_0 "13.999999999999998".
- 1047660 cpu_core_0 "13.999999999999998".
- 1047671 cpu_core_0 "13.999999999999998".
- 1047690 cpu_core_0 "13.999999999999998".
- 1047697 cpu_core_0 "13.999999999999998".
- 1047701 cpu_core_0 "13.999999999999998".
- 1047755 cpu_core_0 "13.999999999999998".
- 1047760 cpu_core_0 "13.999999999999998".
- 1047794 cpu_core_0 "13.999999999999998".
- 1047895 cpu_core_0 "13.999999999999998".
- 1047930 cpu_core_0 "13.999999999999998".
- 1048036 cpu_core_0 "13.999999999999998".
- 1048049 cpu_core_0 "13.999999999999998".
- 1048057 cpu_core_0 "13.999999999999998".
- 1048130 cpu_core_0 "13.999999999999998".
- 1048257 cpu_core_0 "13.999999999999998".
- 1048329 cpu_core_0 "13.999999999999998".
- 1048400 cpu_core_0 "13.999999999999998".
- 1048412 cpu_core_0 "13.999999999999998".
- 1048479 cpu_core_0 "13.999999999999998".
- 1048609 cpu_core_0 "13.999999999999998".
- 1048625 cpu_core_0 "13.999999999999998".
- 1048816 cpu_core_0 "13.999999999999998".
- 1048933 cpu_core_0 "13.999999999999998".
- 1048959 cpu_core_0 "13.999999999999998".
- 1048982 cpu_core_0 "13.999999999999998".
- 1049078 cpu_core_0 "13.999999999999998".
- 1049092 cpu_core_0 "13.999999999999998".
- 1049098 cpu_core_0 "13.999999999999998".
- 1049115 cpu_core_0 "13.999999999999998".
- 1049297 cpu_core_0 "13.999999999999998".
- 1049358 cpu_core_0 "13.999999999999998".
- 1049366 cpu_core_0 "13.999999999999998".
- 1049733 cpu_core_0 "13.999999999999998".
- 1049748 cpu_core_0 "13.999999999999998".
- 1049784 cpu_core_0 "13.999999999999998".
- 1049840 cpu_core_0 "13.999999999999998".
- 1049923 cpu_core_0 "13.999999999999998".
- 1050030 cpu_core_0 "13.999999999999998".
- 1050059 cpu_core_0 "13.999999999999998".
- 1050423 cpu_core_0 "13.999999999999998".
- 1050436 cpu_core_0 "13.999999999999998".
- 1050499 cpu_core_0 "13.999999999999998".
- 1050576 cpu_core_0 "13.999999999999998".
- 1050586 cpu_core_0 "13.999999999999998".
- 1050630 cpu_core_0 "13.999999999999998".
- 1050636 cpu_core_0 "13.999999999999998".
- 1050637 cpu_core_0 "13.999999999999998".
- 1050687 cpu_core_0 "13.999999999999998".
- 1050689 cpu_core_0 "13.999999999999998".
- 1050867 cpu_core_0 "13.999999999999998".
- 1050986 cpu_core_0 "13.999999999999998".
- 1051080 cpu_core_0 "13.999999999999998".
- 1051125 cpu_core_0 "13.999999999999998".
- 1051158 cpu_core_0 "13.999999999999998".
- 1051185 cpu_core_0 "13.999999999999998".
- 1051236 cpu_core_0 "13.999999999999998".
- 1051243 cpu_core_0 "13.999999999999998".
- 1051273 cpu_core_0 "13.999999999999998".
- 1051288 cpu_core_0 "13.999999999999998".
- 1051350 cpu_core_0 "13.999999999999998".
- 1051432 cpu_core_0 "13.999999999999998".
- 1051472 cpu_core_0 "13.999999999999998".
- 1051528 cpu_core_0 "13.999999999999998".
- 1051663 cpu_core_0 "13.999999999999998".
- 1051687 cpu_core_0 "13.999999999999998".
- 1051755 cpu_core_0 "13.999999999999998".
- 1051830 cpu_core_0 "13.999999999999998".
- 1051883 cpu_core_0 "13.999999999999998".
- 1051918 cpu_core_0 "13.999999999999998".
- 1051944 cpu_core_0 "13.999999999999998".
- 1051998 cpu_core_0 "13.999999999999998".
- 1052016 cpu_core_0 "13.999999999999998".
- 1052083 cpu_core_0 "13.999999999999998".
- 1052084 cpu_core_0 "13.999999999999998".
- 1052116 cpu_core_0 "13.999999999999998".
- 1052134 cpu_core_0 "13.999999999999998".
- 1052256 cpu_core_0 "13.999999999999998".
- 1052293 cpu_core_0 "13.999999999999998".
- 1052321 cpu_core_0 "13.999999999999998".
- 1052369 cpu_core_0 "13.999999999999998".
- 1052402 cpu_core_0 "13.999999999999998".
- 1052419 cpu_core_0 "13.999999999999998".
- 1052476 cpu_core_0 "13.999999999999998".
- 1052487 cpu_core_0 "13.999999999999998".
- 1052495 cpu_core_0 "13.999999999999998".
- 1052515 cpu_core_0 "13.999999999999998".
- 1052516 cpu_core_0 "13.999999999999998".
- 1052518 cpu_core_0 "13.999999999999998".
- 1052639 cpu_core_0 "13.999999999999998".
- 1052753 cpu_core_0 "13.999999999999998".