Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1259998 cpu_core_0 "13.999999999999998".
- 1260317 cpu_core_0 "13.999999999999998".
- 1260471 cpu_core_0 "13.999999999999998".
- 1260473 cpu_core_0 "13.999999999999998".
- 1260510 cpu_core_0 "13.999999999999998".
- 1260659 cpu_core_0 "13.999999999999998".
- 1260683 cpu_core_0 "13.999999999999998".
- 1260728 cpu_core_0 "13.999999999999998".
- 1260734 cpu_core_0 "13.999999999999998".
- 1260837 cpu_core_0 "13.999999999999998".
- 1260845 cpu_core_0 "13.999999999999998".
- 1260850 cpu_core_0 "13.999999999999998".
- 1260935 cpu_core_0 "13.999999999999998".
- 1260944 cpu_core_0 "13.999999999999998".
- 1261043 cpu_core_0 "13.999999999999998".
- 1261074 cpu_core_0 "13.999999999999998".
- 1261146 cpu_core_0 "13.999999999999998".
- 1261190 cpu_core_0 "13.999999999999998".
- 1261195 cpu_core_0 "13.999999999999998".
- 1261286 cpu_core_0 "13.999999999999998".
- 1261330 cpu_core_0 "13.999999999999998".
- 1261388 cpu_core_0 "13.999999999999998".
- 1261414 cpu_core_0 "13.999999999999998".
- 1261423 cpu_core_0 "13.999999999999998".
- 1261453 cpu_core_0 "13.999999999999998".
- 1261463 cpu_core_0 "13.999999999999998".
- 1261519 cpu_core_0 "13.999999999999998".
- 1261554 cpu_core_0 "13.999999999999998".
- 1261703 cpu_core_0 "13.999999999999998".
- 1261807 cpu_core_0 "13.999999999999998".
- 1261814 cpu_core_0 "13.999999999999998".
- 1261833 cpu_core_0 "13.999999999999998".
- 1261847 cpu_core_0 "13.999999999999998".
- 1261903 cpu_core_0 "13.999999999999998".
- 1261952 cpu_core_0 "13.999999999999998".
- 1261958 cpu_core_0 "13.999999999999998".
- 1261994 cpu_core_0 "13.999999999999998".
- 1262002 cpu_core_0 "13.999999999999998".
- 1262053 cpu_core_0 "13.999999999999998".
- 1262062 cpu_core_0 "13.999999999999998".
- 1262064 cpu_core_0 "13.999999999999998".
- 1262081 cpu_core_0 "13.999999999999998".
- 1262267 cpu_core_0 "13.999999999999998".
- 1262420 cpu_core_0 "13.999999999999998".
- 1262448 cpu_core_0 "13.999999999999998".
- 1262497 cpu_core_0 "13.999999999999998".
- 1262521 cpu_core_0 "13.999999999999998".
- 1262534 cpu_core_0 "13.999999999999998".
- 1262550 cpu_core_0 "13.999999999999998".
- 1262784 cpu_core_0 "13.999999999999998".
- 1262800 cpu_core_0 "13.999999999999998".
- 1262906 cpu_core_0 "13.999999999999998".
- 1262964 cpu_core_0 "13.999999999999998".
- 1262969 cpu_core_0 "13.999999999999998".
- 1262984 cpu_core_0 "13.999999999999998".
- 1263016 cpu_core_0 "13.999999999999998".
- 1263073 cpu_core_0 "13.999999999999998".
- 1263090 cpu_core_0 "13.999999999999998".
- 1263110 cpu_core_0 "13.999999999999998".
- 1263236 cpu_core_0 "13.999999999999998".
- 1263246 cpu_core_0 "13.999999999999998".
- 1263269 cpu_core_0 "13.999999999999998".
- 1263333 cpu_core_0 "13.999999999999998".
- 1263363 cpu_core_0 "13.999999999999998".
- 1263503 cpu_core_0 "13.999999999999998".
- 1263553 cpu_core_0 "13.999999999999998".
- 1263674 cpu_core_0 "13.999999999999998".
- 1263714 cpu_core_0 "13.999999999999998".
- 1263725 cpu_core_0 "13.999999999999998".
- 1263849 cpu_core_0 "13.999999999999998".
- 1263919 cpu_core_0 "13.999999999999998".
- 1263924 cpu_core_0 "13.999999999999998".
- 1264033 cpu_core_0 "13.999999999999998".
- 1264234 cpu_core_0 "13.999999999999998".
- 1264289 cpu_core_0 "13.999999999999998".
- 1264304 cpu_core_0 "13.999999999999998".
- 1264442 cpu_core_0 "13.999999999999998".
- 1264473 cpu_core_0 "13.999999999999998".
- 1264538 cpu_core_0 "13.999999999999998".
- 1264574 cpu_core_0 "13.999999999999998".
- 1264638 cpu_core_0 "13.999999999999998".
- 1264674 cpu_core_0 "13.999999999999998".
- 1264862 cpu_core_0 "13.999999999999998".
- 1264874 cpu_core_0 "13.999999999999998".
- 1264900 cpu_core_0 "13.999999999999998".
- 1264903 cpu_core_0 "13.999999999999998".
- 1264912 cpu_core_0 "13.999999999999998".
- 1264952 cpu_core_0 "13.999999999999998".
- 1265006 cpu_core_0 "13.999999999999998".
- 1265026 cpu_core_0 "13.999999999999998".
- 1265037 cpu_core_0 "13.999999999999998".
- 1265318 cpu_core_0 "13.999999999999998".
- 1265460 cpu_core_0 "13.999999999999998".
- 1265540 cpu_core_0 "13.999999999999998".
- 1265707 cpu_core_0 "13.999999999999998".
- 1265841 cpu_core_0 "13.999999999999998".
- 1265863 cpu_core_0 "13.999999999999998".
- 1265916 cpu_core_0 "13.999999999999998".
- 1265923 cpu_core_0 "13.999999999999998".
- 1266020 cpu_core_0 "13.999999999999998".