Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1090347 cpu_core_0 "13.999999999999998".
- 1090354 cpu_core_0 "13.999999999999998".
- 1090364 cpu_core_0 "13.999999999999998".
- 1090395 cpu_core_0 "13.999999999999998".
- 1090540 cpu_core_0 "13.999999999999998".
- 1090546 cpu_core_0 "13.999999999999998".
- 1090614 cpu_core_0 "13.999999999999998".
- 1090763 cpu_core_0 "13.999999999999998".
- 1090775 cpu_core_0 "13.999999999999998".
- 1090784 cpu_core_0 "13.999999999999998".
- 1090852 cpu_core_0 "13.999999999999998".
- 1090860 cpu_core_0 "13.999999999999998".
- 1090865 cpu_core_0 "13.999999999999998".
- 1090895 cpu_core_0 "13.999999999999998".
- 1090951 cpu_core_0 "13.999999999999998".
- 1090964 cpu_core_0 "13.999999999999998".
- 1091002 cpu_core_0 "13.999999999999998".
- 1091186 cpu_core_0 "13.999999999999998".
- 1091202 cpu_core_0 "13.999999999999998".
- 1091228 cpu_core_0 "13.999999999999998".
- 1091247 cpu_core_0 "13.999999999999998".
- 1091272 cpu_core_0 "13.999999999999998".
- 1091465 cpu_core_0 "13.999999999999998".
- 1091752 cpu_core_0 "13.999999999999998".
- 1091790 cpu_core_0 "13.999999999999998".
- 1091871 cpu_core_0 "13.999999999999998".
- 1091875 cpu_core_0 "13.999999999999998".
- 1091876 cpu_core_0 "13.999999999999998".
- 1091912 cpu_core_0 "13.999999999999998".
- 1092156 cpu_core_0 "13.999999999999998".
- 1092177 cpu_core_0 "13.999999999999998".
- 1092195 cpu_core_0 "13.999999999999998".
- 1092300 cpu_core_0 "13.999999999999998".
- 1092303 cpu_core_0 "13.999999999999998".
- 1092306 cpu_core_0 "13.999999999999998".
- 1092333 cpu_core_0 "13.999999999999998".
- 1092455 cpu_core_0 "13.999999999999998".
- 1092513 cpu_core_0 "13.999999999999998".
- 1092526 cpu_core_0 "13.999999999999998".
- 1092532 cpu_core_0 "13.999999999999998".
- 1092540 cpu_core_0 "13.999999999999998".
- 1092574 cpu_core_0 "13.999999999999998".
- 1092664 cpu_core_0 "13.999999999999998".
- 1092697 cpu_core_0 "13.999999999999998".
- 1092764 cpu_core_0 "13.999999999999998".
- 1092782 cpu_core_0 "13.999999999999998".
- 1092810 cpu_core_0 "13.999999999999998".
- 1092869 cpu_core_0 "13.999999999999998".
- 1092878 cpu_core_0 "13.999999999999998".
- 1092885 cpu_core_0 "13.999999999999998".
- 1092993 cpu_core_0 "13.999999999999998".
- 1093076 cpu_core_0 "13.999999999999998".
- 1093155 cpu_core_0 "13.999999999999998".
- 1093243 cpu_core_0 "13.999999999999998".
- 1093292 cpu_core_0 "13.999999999999998".
- 1093369 cpu_core_0 "13.999999999999998".
- 1093771 cpu_core_0 "13.999999999999998".
- 1093892 cpu_core_0 "13.999999999999998".
- 1094085 cpu_core_0 "13.999999999999998".
- 1094088 cpu_core_0 "13.999999999999998".
- 1094236 cpu_core_0 "13.999999999999998".
- 1094273 cpu_core_0 "13.999999999999998".
- 1094420 cpu_core_0 "13.999999999999998".
- 1094428 cpu_core_0 "13.999999999999998".
- 1094518 cpu_core_0 "13.999999999999998".
- 1094556 cpu_core_0 "13.999999999999998".
- 1094610 cpu_core_0 "13.999999999999998".
- 1094637 cpu_core_0 "13.999999999999998".
- 1094750 cpu_core_0 "13.999999999999998".
- 1094912 cpu_core_0 "13.999999999999998".
- 1095177 cpu_core_0 "13.999999999999998".
- 1095193 cpu_core_0 "13.999999999999998".
- 1095317 cpu_core_0 "13.999999999999998".
- 1095442 cpu_core_0 "13.999999999999998".
- 1095483 cpu_core_0 "13.999999999999998".
- 1095595 cpu_core_0 "13.999999999999998".
- 1095597 cpu_core_0 "13.999999999999998".
- 1095625 cpu_core_0 "13.999999999999998".
- 1095828 cpu_core_0 "13.999999999999998".
- 1095840 cpu_core_0 "13.999999999999998".
- 1095860 cpu_core_0 "13.999999999999998".
- 1095918 cpu_core_0 "13.999999999999998".
- 1095968 cpu_core_0 "13.999999999999998".
- 1095982 cpu_core_0 "13.999999999999998".
- 1095994 cpu_core_0 "13.999999999999998".
- 1096009 cpu_core_0 "13.999999999999998".
- 1096012 cpu_core_0 "13.999999999999998".
- 1096013 cpu_core_0 "13.999999999999998".
- 1096018 cpu_core_0 "13.999999999999998".
- 1096030 cpu_core_0 "13.999999999999998".
- 1096121 cpu_core_0 "13.999999999999998".
- 1096322 cpu_core_0 "13.999999999999998".
- 1096327 cpu_core_0 "13.999999999999998".
- 1096447 cpu_core_0 "13.999999999999998".
- 1096485 cpu_core_0 "13.999999999999998".
- 1096593 cpu_core_0 "13.999999999999998".
- 1096652 cpu_core_0 "13.999999999999998".
- 1096676 cpu_core_0 "13.999999999999998".
- 1096682 cpu_core_0 "13.999999999999998".
- 1096727 cpu_core_0 "13.999999999999998".