Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1065480 cpu_core_0 "13.999999999999998".
- 1065512 cpu_core_0 "13.999999999999998".
- 1065576 cpu_core_0 "13.999999999999998".
- 1065577 cpu_core_0 "13.999999999999998".
- 1065593 cpu_core_0 "13.999999999999998".
- 1065692 cpu_core_0 "13.999999999999998".
- 1065707 cpu_core_0 "13.999999999999998".
- 1065857 cpu_core_0 "13.999999999999998".
- 1065860 cpu_core_0 "13.999999999999998".
- 1066011 cpu_core_0 "13.999999999999998".
- 1066155 cpu_core_0 "13.999999999999998".
- 1066168 cpu_core_0 "13.999999999999998".
- 1066182 cpu_core_0 "13.999999999999998".
- 1066285 cpu_core_0 "13.999999999999998".
- 1066436 cpu_core_0 "13.999999999999998".
- 1066602 cpu_core_0 "13.999999999999998".
- 1066717 cpu_core_0 "13.999999999999998".
- 1066732 cpu_core_0 "13.999999999999998".
- 1066772 cpu_core_0 "13.999999999999998".
- 1066797 cpu_core_0 "13.999999999999998".
- 1067042 cpu_core_0 "13.999999999999998".
- 1067059 cpu_core_0 "13.999999999999998".
- 1067062 cpu_core_0 "13.999999999999998".
- 1067081 cpu_core_0 "13.999999999999998".
- 1067089 cpu_core_0 "13.999999999999998".
- 1067106 cpu_core_0 "13.999999999999998".
- 1067168 cpu_core_0 "13.999999999999998".
- 1067240 cpu_core_0 "13.999999999999998".
- 1067317 cpu_core_0 "13.999999999999998".
- 1067353 cpu_core_0 "13.999999999999998".
- 1067359 cpu_core_0 "13.999999999999998".
- 1067426 cpu_core_0 "13.999999999999998".
- 1067443 cpu_core_0 "13.999999999999998".
- 1067444 cpu_core_0 "13.999999999999998".
- 1067446 cpu_core_0 "13.999999999999998".
- 1067482 cpu_core_0 "13.999999999999998".
- 1067535 cpu_core_0 "13.999999999999998".
- 1067594 cpu_core_0 "13.999999999999998".
- 1067704 cpu_core_0 "13.999999999999998".
- 1067716 cpu_core_0 "13.999999999999998".
- 1067752 cpu_core_0 "13.999999999999998".
- 1067817 cpu_core_0 "13.999999999999998".
- 1067842 cpu_core_0 "13.999999999999998".
- 1067846 cpu_core_0 "13.999999999999998".
- 1067904 cpu_core_0 "13.999999999999998".
- 1067916 cpu_core_0 "13.999999999999998".
- 1068058 cpu_core_0 "13.999999999999998".
- 1068144 cpu_core_0 "13.999999999999998".
- 1068299 cpu_core_0 "13.999999999999998".
- 1068361 cpu_core_0 "13.999999999999998".
- 1068402 cpu_core_0 "13.999999999999998".
- 1068437 cpu_core_0 "13.999999999999998".
- 1068439 cpu_core_0 "13.999999999999998".
- 1068478 cpu_core_0 "13.999999999999998".
- 1068530 cpu_core_0 "13.999999999999998".
- 1068554 cpu_core_0 "13.999999999999998".
- 1068606 cpu_core_0 "13.999999999999998".
- 1068662 cpu_core_0 "13.999999999999998".
- 1068750 cpu_core_0 "13.999999999999998".
- 1068775 cpu_core_0 "13.999999999999998".
- 1068836 cpu_core_0 "13.999999999999998".
- 1068850 cpu_core_0 "13.999999999999998".
- 1068904 cpu_core_0 "13.999999999999998".
- 1068959 cpu_core_0 "13.999999999999998".
- 1069083 cpu_core_0 "13.999999999999998".
- 1069161 cpu_core_0 "13.999999999999998".
- 1069319 cpu_core_0 "13.999999999999998".
- 1069450 cpu_core_0 "13.999999999999998".
- 1069553 cpu_core_0 "13.999999999999998".
- 1069576 cpu_core_0 "13.999999999999998".
- 1069604 cpu_core_0 "13.999999999999998".
- 1069621 cpu_core_0 "13.999999999999998".
- 1069749 cpu_core_0 "13.999999999999998".
- 1069753 cpu_core_0 "13.999999999999998".
- 1070077 cpu_core_0 "13.999999999999998".
- 1070187 cpu_core_0 "13.999999999999998".
- 1070209 cpu_core_0 "13.999999999999998".
- 1070372 cpu_core_0 "13.999999999999998".
- 1070414 cpu_core_0 "13.999999999999998".
- 1070415 cpu_core_0 "13.999999999999998".
- 1070464 cpu_core_0 "13.999999999999998".
- 1070584 cpu_core_0 "13.999999999999998".
- 1070644 cpu_core_0 "13.999999999999998".
- 1070662 cpu_core_0 "13.999999999999998".
- 1070668 cpu_core_0 "13.999999999999998".
- 1070715 cpu_core_0 "13.999999999999998".
- 1070725 cpu_core_0 "13.999999999999998".
- 1070726 cpu_core_0 "13.999999999999998".
- 1070778 cpu_core_0 "13.999999999999998".
- 1070784 cpu_core_0 "13.999999999999998".
- 1071032 cpu_core_0 "13.999999999999998".
- 1071075 cpu_core_0 "13.999999999999998".
- 1071215 cpu_core_0 "13.999999999999998".
- 1071305 cpu_core_0 "13.999999999999998".
- 1071380 cpu_core_0 "13.999999999999998".
- 1071552 cpu_core_0 "13.999999999999998".
- 1071735 cpu_core_0 "13.999999999999998".
- 1071749 cpu_core_0 "13.999999999999998".
- 1071782 cpu_core_0 "13.999999999999998".
- 1071861 cpu_core_0 "13.999999999999998".