Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1028133 cpu_core_0 "13.999999999999998".
- 1028237 cpu_core_0 "13.999999999999998".
- 1028495 cpu_core_0 "13.999999999999998".
- 1028572 cpu_core_0 "13.999999999999998".
- 1028596 cpu_core_0 "13.999999999999998".
- 1028612 cpu_core_0 "13.999999999999998".
- 1028635 cpu_core_0 "13.999999999999998".
- 1028663 cpu_core_0 "13.999999999999998".
- 1028667 cpu_core_0 "13.999999999999998".
- 1028690 cpu_core_0 "13.999999999999998".
- 1028725 cpu_core_0 "13.999999999999998".
- 1028736 cpu_core_0 "13.999999999999998".
- 1028746 cpu_core_0 "13.999999999999998".
- 1028748 cpu_core_0 "13.999999999999998".
- 1028821 cpu_core_0 "13.999999999999998".
- 1028824 cpu_core_0 "13.999999999999998".
- 1028825 cpu_core_0 "13.999999999999998".
- 1028826 cpu_core_0 "13.999999999999998".
- 1028864 cpu_core_0 "13.999999999999998".
- 1028890 cpu_core_0 "13.999999999999998".
- 1028933 cpu_core_0 "13.999999999999998".
- 1028940 cpu_core_0 "13.999999999999998".
- 1028957 cpu_core_0 "13.999999999999998".
- 1029006 cpu_core_0 "13.999999999999998".
- 1029074 cpu_core_0 "13.999999999999998".
- 1029104 cpu_core_0 "13.999999999999998".
- 1029108 cpu_core_0 "13.999999999999998".
- 1029122 cpu_core_0 "13.999999999999998".
- 1029183 cpu_core_0 "13.999999999999998".
- 1029223 cpu_core_0 "13.999999999999998".
- 1029298 cpu_core_0 "13.999999999999998".
- 1029299 cpu_core_0 "13.999999999999998".
- 1029310 cpu_core_0 "13.999999999999998".
- 1029317 cpu_core_0 "13.999999999999998".
- 1029466 cpu_core_0 "13.999999999999998".
- 1029547 cpu_core_0 "13.999999999999998".
- 1029598 cpu_core_0 "13.999999999999998".
- 1029602 cpu_core_0 "13.999999999999998".
- 1029656 cpu_core_0 "13.999999999999998".
- 1029692 cpu_core_0 "13.999999999999998".
- 1029700 cpu_core_0 "13.999999999999998".
- 1029713 cpu_core_0 "13.999999999999998".
- 1029824 cpu_core_0 "13.999999999999998".
- 1029919 cpu_core_0 "13.999999999999998".
- 1029981 cpu_core_0 "13.999999999999998".
- 1029982 cpu_core_0 "13.999999999999998".
- 1030022 cpu_core_0 "13.999999999999998".
- 1030039 cpu_core_0 "13.999999999999998".
- 1030050 cpu_core_0 "13.999999999999998".
- 1030175 cpu_core_0 "13.999999999999998".
- 1030176 cpu_core_0 "13.999999999999998".
- 1030276 cpu_core_0 "13.999999999999998".
- 1030278 cpu_core_0 "13.999999999999998".
- 1030349 cpu_core_0 "13.999999999999998".
- 1030424 cpu_core_0 "13.999999999999998".
- 1030436 cpu_core_0 "13.999999999999998".
- 1030446 cpu_core_0 "13.999999999999998".
- 1030524 cpu_core_0 "13.999999999999998".
- 1030545 cpu_core_0 "13.999999999999998".
- 1030573 cpu_core_0 "13.999999999999998".
- 1030627 cpu_core_0 "13.999999999999998".
- 1030702 cpu_core_0 "13.999999999999998".
- 1030749 cpu_core_0 "13.999999999999998".
- 1030805 cpu_core_0 "13.999999999999998".
- 1030867 cpu_core_0 "13.999999999999998".
- 1031045 cpu_core_0 "13.999999999999998".
- 1031058 cpu_core_0 "13.999999999999998".
- 1031111 cpu_core_0 "13.999999999999998".
- 1031276 cpu_core_0 "13.999999999999998".
- 1031308 cpu_core_0 "13.999999999999998".
- 1031340 cpu_core_0 "13.999999999999998".
- 1031348 cpu_core_0 "13.999999999999998".
- 1031355 cpu_core_0 "13.999999999999998".
- 1031408 cpu_core_0 "13.999999999999998".
- 1031415 cpu_core_0 "13.999999999999998".
- 1031422 cpu_core_0 "13.999999999999998".
- 1031428 cpu_core_0 "13.999999999999998".
- 1031530 cpu_core_0 "13.999999999999998".
- 1031839 cpu_core_0 "13.999999999999998".
- 1032015 cpu_core_0 "13.999999999999998".
- 1032199 cpu_core_0 "13.999999999999998".
- 1032381 cpu_core_0 "13.999999999999998".
- 1032702 cpu_core_0 "13.999999999999998".
- 1032723 cpu_core_0 "13.999999999999998".
- 1032735 cpu_core_0 "13.999999999999998".
- 1032806 cpu_core_0 "13.999999999999998".
- 1032966 cpu_core_0 "13.999999999999998".
- 1033030 cpu_core_0 "13.999999999999998".
- 1033097 cpu_core_0 "13.999999999999998".
- 1033159 cpu_core_0 "13.999999999999998".
- 1033203 cpu_core_0 "13.999999999999998".
- 1033274 cpu_core_0 "13.999999999999998".
- 1033384 cpu_core_0 "13.999999999999998".
- 1033573 cpu_core_0 "13.999999999999998".
- 1033654 cpu_core_0 "13.999999999999998".
- 1033713 cpu_core_0 "13.999999999999998".
- 1033878 cpu_core_0 "13.999999999999998".
- 1033896 cpu_core_0 "13.999999999999998".
- 1034093 cpu_core_0 "13.999999999999998".
- 1034118 cpu_core_0 "13.999999999999998".