Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1034155 cpu_core_0 "13.999999999999998".
- 1034231 cpu_core_0 "13.999999999999998".
- 1034232 cpu_core_0 "13.999999999999998".
- 1034237 cpu_core_0 "13.999999999999998".
- 1034244 cpu_core_0 "13.999999999999998".
- 1034282 cpu_core_0 "13.999999999999998".
- 1034313 cpu_core_0 "13.999999999999998".
- 1034366 cpu_core_0 "13.999999999999998".
- 1034407 cpu_core_0 "13.999999999999998".
- 1034488 cpu_core_0 "13.999999999999998".
- 1034520 cpu_core_0 "13.999999999999998".
- 1034541 cpu_core_0 "13.999999999999998".
- 1034599 cpu_core_0 "13.999999999999998".
- 1034640 cpu_core_0 "13.999999999999998".
- 1034713 cpu_core_0 "13.999999999999998".
- 1034732 cpu_core_0 "13.999999999999998".
- 1034743 cpu_core_0 "13.999999999999998".
- 1034756 cpu_core_0 "13.999999999999998".
- 1034824 cpu_core_0 "13.999999999999998".
- 1034997 cpu_core_0 "13.999999999999998".
- 1035092 cpu_core_0 "13.999999999999998".
- 1035094 cpu_core_0 "13.999999999999998".
- 1035174 cpu_core_0 "13.999999999999998".
- 1035248 cpu_core_0 "13.999999999999998".
- 1035330 cpu_core_0 "13.999999999999998".
- 1035371 cpu_core_0 "13.999999999999998".
- 1035500 cpu_core_0 "13.999999999999998".
- 1035577 cpu_core_0 "13.999999999999998".
- 1035636 cpu_core_0 "13.999999999999998".
- 1035706 cpu_core_0 "13.999999999999998".
- 1035726 cpu_core_0 "13.999999999999998".
- 1035815 cpu_core_0 "13.999999999999998".
- 1035868 cpu_core_0 "13.999999999999998".
- 1036067 cpu_core_0 "13.999999999999998".
- 1036144 cpu_core_0 "13.999999999999998".
- 1036391 cpu_core_0 "13.999999999999998".
- 1036436 cpu_core_0 "13.999999999999998".
- 1036447 cpu_core_0 "13.999999999999998".
- 1036461 cpu_core_0 "13.999999999999998".
- 1036512 cpu_core_0 "13.999999999999998".
- 1036520 cpu_core_0 "13.999999999999998".
- 1036572 cpu_core_0 "13.999999999999998".
- 1036804 cpu_core_0 "13.999999999999998".
- 1036871 cpu_core_0 "13.999999999999998".
- 1036979 cpu_core_0 "13.999999999999998".
- 1036990 cpu_core_0 "13.999999999999998".
- 1036998 cpu_core_0 "13.999999999999998".
- 1037026 cpu_core_0 "13.999999999999998".
- 1037029 cpu_core_0 "13.999999999999998".
- 1037153 cpu_core_0 "13.999999999999998".
- 1037239 cpu_core_0 "13.999999999999998".
- 1037260 cpu_core_0 "13.999999999999998".
- 1037403 cpu_core_0 "13.999999999999998".
- 1037530 cpu_core_0 "13.999999999999998".
- 1037537 cpu_core_0 "13.999999999999998".
- 1037777 cpu_core_0 "13.999999999999998".
- 1037782 cpu_core_0 "13.999999999999998".
- 1037832 cpu_core_0 "13.999999999999998".
- 1038260 cpu_core_0 "13.999999999999998".
- 1038275 cpu_core_0 "13.999999999999998".
- 1038300 cpu_core_0 "13.999999999999998".
- 1038569 cpu_core_0 "13.999999999999998".
- 1038604 cpu_core_0 "13.999999999999998".
- 1038624 cpu_core_0 "13.999999999999998".
- 1038630 cpu_core_0 "13.999999999999998".
- 1038641 cpu_core_0 "13.999999999999998".
- 1038689 cpu_core_0 "13.999999999999998".
- 1038690 cpu_core_0 "13.999999999999998".
- 1038727 cpu_core_0 "13.999999999999998".
- 1038799 cpu_core_0 "13.999999999999998".
- 1038853 cpu_core_0 "13.999999999999998".
- 1038929 cpu_core_0 "13.999999999999998".
- 1039072 cpu_core_0 "13.999999999999998".
- 1039292 cpu_core_0 "13.999999999999998".
- 1039295 cpu_core_0 "13.999999999999998".
- 1039466 cpu_core_0 "13.999999999999998".
- 1039606 cpu_core_0 "13.999999999999998".
- 1039778 cpu_core_0 "13.999999999999998".
- 1039791 cpu_core_0 "13.999999999999998".
- 1039914 cpu_core_0 "13.999999999999998".
- 1039964 cpu_core_0 "13.999999999999998".
- 1040152 cpu_core_0 "13.999999999999998".
- 1040279 cpu_core_0 "13.999999999999998".
- 1040296 cpu_core_0 "13.999999999999998".
- 1040333 cpu_core_0 "13.999999999999998".
- 1040488 cpu_core_0 "13.999999999999998".
- 1040598 cpu_core_0 "13.999999999999998".
- 1040630 cpu_core_0 "13.999999999999998".
- 1040649 cpu_core_0 "13.999999999999998".
- 1040693 cpu_core_0 "13.999999999999998".
- 1040741 cpu_core_0 "13.999999999999998".
- 1040749 cpu_core_0 "13.999999999999998".
- 1040777 cpu_core_0 "13.999999999999998".
- 1040839 cpu_core_0 "13.999999999999998".
- 1040869 cpu_core_0 "13.999999999999998".
- 1040880 cpu_core_0 "13.999999999999998".
- 1041022 cpu_core_0 "13.999999999999998".
- 1041028 cpu_core_0 "13.999999999999998".
- 1041053 cpu_core_0 "13.999999999999998".
- 1041103 cpu_core_0 "13.999999999999998".