Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1071915 cpu_core_0 "13.999999999999998".
- 1071957 cpu_core_0 "13.999999999999998".
- 1071965 cpu_core_0 "13.999999999999998".
- 1072258 cpu_core_0 "13.999999999999998".
- 1072465 cpu_core_0 "13.999999999999998".
- 1072467 cpu_core_0 "13.999999999999998".
- 1072494 cpu_core_0 "13.999999999999998".
- 1072710 cpu_core_0 "13.999999999999998".
- 1072753 cpu_core_0 "13.999999999999998".
- 1073000 cpu_core_0 "13.999999999999998".
- 1073013 cpu_core_0 "13.999999999999998".
- 1073014 cpu_core_0 "13.999999999999998".
- 1073029 cpu_core_0 "13.999999999999998".
- 1073149 cpu_core_0 "13.999999999999998".
- 1073226 cpu_core_0 "13.999999999999998".
- 1073262 cpu_core_0 "13.999999999999998".
- 1073322 cpu_core_0 "13.999999999999998".
- 1073324 cpu_core_0 "13.999999999999998".
- 1073353 cpu_core_0 "13.999999999999998".
- 1073387 cpu_core_0 "13.999999999999998".
- 1073462 cpu_core_0 "13.999999999999998".
- 1073500 cpu_core_0 "13.999999999999998".
- 1073857 cpu_core_0 "13.999999999999998".
- 1073924 cpu_core_0 "13.999999999999998".
- 1073925 cpu_core_0 "13.999999999999998".
- 1073961 cpu_core_0 "13.999999999999998".
- 1073962 cpu_core_0 "13.999999999999998".
- 1074007 cpu_core_0 "13.999999999999998".
- 1074075 cpu_core_0 "13.999999999999998".
- 1074077 cpu_core_0 "13.999999999999998".
- 1074195 cpu_core_0 "13.999999999999998".
- 1074355 cpu_core_0 "13.999999999999998".
- 1074367 cpu_core_0 "13.999999999999998".
- 1074418 cpu_core_0 "13.999999999999998".
- 1074439 cpu_core_0 "13.999999999999998".
- 1074524 cpu_core_0 "13.999999999999998".
- 1074533 cpu_core_0 "13.999999999999998".
- 1074547 cpu_core_0 "13.999999999999998".
- 1074602 cpu_core_0 "13.999999999999998".
- 1074651 cpu_core_0 "13.999999999999998".
- 1074764 cpu_core_0 "13.999999999999998".
- 1074771 cpu_core_0 "13.999999999999998".
- 1074900 cpu_core_0 "13.999999999999998".
- 1074938 cpu_core_0 "13.999999999999998".
- 1074941 cpu_core_0 "13.999999999999998".
- 1075013 cpu_core_0 "13.999999999999998".
- 1075032 cpu_core_0 "13.999999999999998".
- 1075052 cpu_core_0 "13.999999999999998".
- 1075182 cpu_core_0 "13.999999999999998".
- 1075208 cpu_core_0 "13.999999999999998".
- 1075295 cpu_core_0 "13.999999999999998".
- 1075382 cpu_core_0 "13.999999999999998".
- 1075396 cpu_core_0 "13.999999999999998".
- 1075421 cpu_core_0 "13.999999999999998".
- 1075439 cpu_core_0 "13.999999999999998".
- 1075486 cpu_core_0 "13.999999999999998".
- 1075491 cpu_core_0 "13.999999999999998".
- 1075534 cpu_core_0 "13.999999999999998".
- 1075569 cpu_core_0 "13.999999999999998".
- 1075637 cpu_core_0 "13.999999999999998".
- 1075668 cpu_core_0 "13.999999999999998".
- 1075673 cpu_core_0 "13.999999999999998".
- 1075719 cpu_core_0 "13.999999999999998".
- 1075722 cpu_core_0 "13.999999999999998".
- 1075818 cpu_core_0 "13.999999999999998".
- 1075871 cpu_core_0 "13.999999999999998".
- 1075892 cpu_core_0 "13.999999999999998".
- 1075900 cpu_core_0 "13.999999999999998".
- 1075974 cpu_core_0 "13.999999999999998".
- 1075990 cpu_core_0 "13.999999999999998".
- 1076025 cpu_core_0 "13.999999999999998".
- 1076039 cpu_core_0 "13.999999999999998".
- 1076041 cpu_core_0 "13.999999999999998".
- 1076106 cpu_core_0 "13.999999999999998".
- 1076115 cpu_core_0 "13.999999999999998".
- 1076120 cpu_core_0 "13.999999999999998".
- 1076132 cpu_core_0 "13.999999999999998".
- 1076226 cpu_core_0 "13.999999999999998".
- 1076291 cpu_core_0 "13.999999999999998".
- 1076335 cpu_core_0 "13.999999999999998".
- 1076365 cpu_core_0 "13.999999999999998".
- 1076420 cpu_core_0 "13.999999999999998".
- 1076460 cpu_core_0 "13.999999999999998".
- 1076461 cpu_core_0 "13.999999999999998".
- 1076473 cpu_core_0 "13.999999999999998".
- 1076500 cpu_core_0 "13.999999999999998".
- 1076518 cpu_core_0 "13.999999999999998".
- 1076726 cpu_core_0 "13.999999999999998".
- 1076801 cpu_core_0 "13.999999999999998".
- 1076820 cpu_core_0 "13.999999999999998".
- 1076834 cpu_core_0 "13.999999999999998".
- 1076867 cpu_core_0 "13.999999999999998".
- 1076869 cpu_core_0 "13.999999999999998".
- 1076871 cpu_core_0 "13.999999999999998".
- 1076890 cpu_core_0 "13.999999999999998".
- 1076932 cpu_core_0 "13.999999999999998".
- 1076945 cpu_core_0 "13.999999999999998".
- 1077002 cpu_core_0 "13.999999999999998".
- 1077065 cpu_core_0 "13.999999999999998".
- 1077068 cpu_core_0 "13.999999999999998".