Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1298550 cpu_core_0 "13.999999999999998".
- 1298665 cpu_core_0 "13.999999999999998".
- 1298891 cpu_core_0 "13.999999999999998".
- 1298896 cpu_core_0 "13.999999999999998".
- 1298898 cpu_core_0 "13.999999999999998".
- 1299025 cpu_core_0 "13.999999999999998".
- 1299068 cpu_core_0 "13.999999999999998".
- 1299096 cpu_core_0 "13.999999999999998".
- 1299132 cpu_core_0 "13.999999999999998".
- 1299168 cpu_core_0 "13.999999999999998".
- 1299197 cpu_core_0 "13.999999999999998".
- 1299333 cpu_core_0 "13.999999999999998".
- 1299336 cpu_core_0 "13.999999999999998".
- 1299503 cpu_core_0 "13.999999999999998".
- 1299538 cpu_core_0 "13.999999999999998".
- 1299546 cpu_core_0 "13.999999999999998".
- 1299606 cpu_core_0 "13.999999999999998".
- 1299647 cpu_core_0 "13.999999999999998".
- 1299662 cpu_core_0 "13.999999999999998".
- 1299666 cpu_core_0 "13.999999999999998".
- 1299739 cpu_core_0 "13.999999999999998".
- 1299744 cpu_core_0 "13.999999999999998".
- 1299745 cpu_core_0 "13.999999999999998".
- 1299801 cpu_core_0 "13.999999999999998".
- 1299804 cpu_core_0 "13.999999999999998".
- 1299872 cpu_core_0 "13.999999999999998".
- 1300023 cpu_core_0 "13.999999999999998".
- 1300101 cpu_core_0 "13.999999999999998".
- 1300260 cpu_core_0 "13.999999999999998".
- 1300321 cpu_core_0 "13.999999999999998".
- 1300363 cpu_core_0 "13.999999999999998".
- 1300378 cpu_core_0 "13.999999999999998".
- 1300462 cpu_core_0 "13.999999999999998".
- 1300521 cpu_core_0 "13.999999999999998".
- 1300523 cpu_core_0 "13.999999999999998".
- 1300636 cpu_core_0 "13.999999999999998".
- 1300845 cpu_core_0 "13.999999999999998".
- 1300868 cpu_core_0 "13.999999999999998".
- 1300929 cpu_core_0 "13.999999999999998".
- 1300935 cpu_core_0 "13.999999999999998".
- 1301047 cpu_core_0 "13.999999999999998".
- 1301060 cpu_core_0 "13.999999999999998".
- 1301092 cpu_core_0 "13.999999999999998".
- 1301198 cpu_core_0 "13.999999999999998".
- 1301202 cpu_core_0 "13.999999999999998".
- 1301249 cpu_core_0 "13.999999999999998".
- 1301295 cpu_core_0 "13.999999999999998".
- 1301305 cpu_core_0 "13.999999999999998".
- 1301354 cpu_core_0 "13.999999999999998".
- 1301418 cpu_core_0 "13.999999999999998".
- 1301549 cpu_core_0 "13.999999999999998".
- 1301564 cpu_core_0 "13.999999999999998".
- 1301579 cpu_core_0 "13.999999999999998".
- 1301581 cpu_core_0 "13.999999999999998".
- 1301771 cpu_core_0 "13.999999999999998".
- 1301851 cpu_core_0 "13.999999999999998".
- 1301854 cpu_core_0 "13.999999999999998".
- 1301948 cpu_core_0 "13.999999999999998".
- 1301968 cpu_core_0 "13.999999999999998".
- 1301981 cpu_core_0 "13.999999999999998".
- 1302003 cpu_core_0 "13.999999999999998".
- 1302300 cpu_core_0 "13.999999999999998".
- 1302314 cpu_core_0 "13.999999999999998".
- 1302362 cpu_core_0 "13.999999999999998".
- 1302422 cpu_core_0 "13.999999999999998".
- 1302530 cpu_core_0 "13.999999999999998".
- 1302607 cpu_core_0 "13.999999999999998".
- 1302649 cpu_core_0 "13.999999999999998".
- 1302650 cpu_core_0 "13.999999999999998".
- 1302721 cpu_core_0 "13.999999999999998".
- 1302866 cpu_core_0 "13.999999999999998".
- 1302873 cpu_core_0 "13.999999999999998".
- 1302875 cpu_core_0 "13.999999999999998".
- 1302904 cpu_core_0 "13.999999999999998".
- 1302926 cpu_core_0 "13.999999999999998".
- 1302976 cpu_core_0 "13.999999999999998".
- 1302977 cpu_core_0 "13.999999999999998".
- 1302986 cpu_core_0 "13.999999999999998".
- 1303002 cpu_core_0 "13.999999999999998".
- 1303089 cpu_core_0 "13.999999999999998".
- 1303102 cpu_core_0 "13.999999999999998".
- 1303212 cpu_core_0 "13.999999999999998".
- 1303223 cpu_core_0 "13.999999999999998".
- 1303283 cpu_core_0 "13.999999999999998".
- 1303329 cpu_core_0 "13.999999999999998".
- 1303375 cpu_core_0 "13.999999999999998".
- 1303532 cpu_core_0 "13.999999999999998".
- 1303586 cpu_core_0 "13.999999999999998".
- 1303600 cpu_core_0 "13.999999999999998".
- 1303610 cpu_core_0 "13.999999999999998".
- 1303646 cpu_core_0 "13.999999999999998".
- 1303689 cpu_core_0 "13.999999999999998".
- 1303741 cpu_core_0 "13.999999999999998".
- 1303752 cpu_core_0 "13.999999999999998".
- 1303826 cpu_core_0 "13.999999999999998".
- 1303853 cpu_core_0 "13.999999999999998".
- 1303991 cpu_core_0 "13.999999999999998".
- 1304062 cpu_core_0 "13.999999999999998".
- 1304077 cpu_core_0 "13.999999999999998".
- 1304109 cpu_core_0 "13.999999999999998".