Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1002819 cpu_core_0 "13.999999999999998".
- 1010190 cpu_core_0 "13.999999999999998".
- 1015632 cpu_core_0 "13.999999999999998".
- 1015641 cpu_core_0 "13.999999999999998".
- 1015646 cpu_core_0 "13.999999999999998".
- 1015695 cpu_core_0 "13.999999999999998".
- 1015749 cpu_core_0 "13.999999999999998".
- 1015881 cpu_core_0 "13.999999999999998".
- 1015927 cpu_core_0 "13.999999999999998".
- 1015941 cpu_core_0 "13.999999999999998".
- 1016039 cpu_core_0 "13.999999999999998".
- 1016108 cpu_core_0 "13.999999999999998".
- 1016256 cpu_core_0 "13.999999999999998".
- 1016291 cpu_core_0 "13.999999999999998".
- 1016455 cpu_core_0 "13.999999999999998".
- 1016584 cpu_core_0 "13.999999999999998".
- 1016594 cpu_core_0 "13.999999999999998".
- 1016745 cpu_core_0 "13.999999999999998".
- 1016778 cpu_core_0 "13.999999999999998".
- 1016829 cpu_core_0 "13.999999999999998".
- 1016830 cpu_core_0 "13.999999999999998".
- 1016866 cpu_core_0 "13.999999999999998".
- 1016910 cpu_core_0 "13.999999999999998".
- 1017005 cpu_core_0 "13.999999999999998".
- 1017068 cpu_core_0 "13.999999999999998".
- 1017080 cpu_core_0 "13.999999999999998".
- 1017184 cpu_core_0 "13.999999999999998".
- 1017203 cpu_core_0 "13.999999999999998".
- 1017265 cpu_core_0 "13.999999999999998".
- 1017296 cpu_core_0 "13.999999999999998".
- 1017331 cpu_core_0 "13.999999999999998".
- 1017376 cpu_core_0 "13.999999999999998".
- 1017424 cpu_core_0 "13.999999999999998".
- 1017546 cpu_core_0 "13.999999999999998".
- 1017661 cpu_core_0 "13.999999999999998".
- 1017666 cpu_core_0 "13.999999999999998".
- 1017707 cpu_core_0 "13.999999999999998".
- 1017735 cpu_core_0 "13.999999999999998".
- 1017794 cpu_core_0 "13.999999999999998".
- 1017834 cpu_core_0 "13.999999999999998".
- 1017839 cpu_core_0 "13.999999999999998".
- 1017929 cpu_core_0 "13.999999999999998".
- 1017963 cpu_core_0 "13.999999999999998".
- 1018066 cpu_core_0 "13.999999999999998".
- 1018089 cpu_core_0 "13.999999999999998".
- 1018107 cpu_core_0 "13.999999999999998".
- 1018108 cpu_core_0 "13.999999999999998".
- 1018145 cpu_core_0 "13.999999999999998".
- 1018270 cpu_core_0 "13.999999999999998".
- 1018473 cpu_core_0 "13.999999999999998".
- 1018515 cpu_core_0 "13.999999999999998".
- 1018738 cpu_core_0 "13.999999999999998".
- 1018806 cpu_core_0 "13.999999999999998".
- 1018951 cpu_core_0 "13.999999999999998".
- 1018953 cpu_core_0 "13.999999999999998".
- 1018955 cpu_core_0 "13.999999999999998".
- 1018988 cpu_core_0 "13.999999999999998".
- 1018998 cpu_core_0 "13.999999999999998".
- 1019057 cpu_core_0 "13.999999999999998".
- 1019070 cpu_core_0 "13.999999999999998".
- 1019186 cpu_core_0 "13.999999999999998".
- 1019199 cpu_core_0 "13.999999999999998".
- 1019235 cpu_core_0 "13.999999999999998".
- 1019271 cpu_core_0 "13.999999999999998".
- 1019296 cpu_core_0 "13.999999999999998".
- 1019421 cpu_core_0 "13.999999999999998".
- 1019435 cpu_core_0 "13.999999999999998".
- 1019460 cpu_core_0 "13.999999999999998".
- 1019505 cpu_core_0 "13.999999999999998".
- 1019769 cpu_core_0 "13.999999999999998".
- 1019844 cpu_core_0 "13.999999999999998".
- 1019913 cpu_core_0 "13.999999999999998".
- 1019975 cpu_core_0 "13.999999999999998".
- 1020021 cpu_core_0 "13.999999999999998".
- 1020272 cpu_core_0 "13.999999999999998".
- 1020351 cpu_core_0 "13.999999999999998".
- 1020359 cpu_core_0 "13.999999999999998".
- 1020383 cpu_core_0 "13.999999999999998".
- 1020568 cpu_core_0 "13.999999999999998".
- 1020604 cpu_core_0 "13.999999999999998".
- 1020637 cpu_core_0 "13.999999999999998".
- 1020756 cpu_core_0 "13.999999999999998".
- 1020829 cpu_core_0 "13.999999999999998".
- 1020923 cpu_core_0 "13.999999999999998".
- 1020929 cpu_core_0 "13.999999999999998".
- 1020934 cpu_core_0 "13.999999999999998".
- 1021062 cpu_core_0 "13.999999999999998".
- 1021074 cpu_core_0 "13.999999999999998".
- 1021077 cpu_core_0 "13.999999999999998".
- 1021122 cpu_core_0 "13.999999999999998".
- 1021296 cpu_core_0 "13.999999999999998".
- 1021299 cpu_core_0 "13.999999999999998".
- 1021413 cpu_core_0 "13.999999999999998".
- 1021473 cpu_core_0 "13.999999999999998".
- 1021515 cpu_core_0 "13.999999999999998".
- 1021590 cpu_core_0 "13.999999999999998".
- 1021607 cpu_core_0 "13.999999999999998".
- 1021711 cpu_core_0 "13.999999999999998".
- 1021773 cpu_core_0 "13.999999999999998".
- 1021800 cpu_core_0 "13.999999999999998".