Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1349503 cpu_core_0 "13.999999999999998".
- 1349542 cpu_core_0 "13.999999999999998".
- 1349553 cpu_core_0 "13.999999999999998".
- 1349563 cpu_core_0 "13.999999999999998".
- 1349571 cpu_core_0 "13.999999999999998".
- 1349598 cpu_core_0 "13.999999999999998".
- 1349608 cpu_core_0 "13.999999999999998".
- 1349619 cpu_core_0 "13.999999999999998".
- 1349662 cpu_core_0 "13.999999999999998".
- 1349676 cpu_core_0 "13.999999999999998".
- 1349713 cpu_core_0 "13.999999999999998".
- 1349720 cpu_core_0 "13.999999999999998".
- 1349727 cpu_core_0 "13.999999999999998".
- 1349810 cpu_core_0 "13.999999999999998".
- 1349833 cpu_core_0 "13.999999999999998".
- 1349851 cpu_core_0 "13.999999999999998".
- 1349870 cpu_core_0 "13.999999999999998".
- 1349900 cpu_core_0 "13.999999999999998".
- 1349999 cpu_core_0 "13.999999999999998".
- 1350014 cpu_core_0 "13.999999999999998".
- 1350029 cpu_core_0 "13.999999999999998".
- 1350051 cpu_core_0 "13.999999999999998".
- 1350174 cpu_core_0 "13.999999999999998".
- 1350188 cpu_core_0 "13.999999999999998".
- 1350209 cpu_core_0 "13.999999999999998".
- 1350431 cpu_core_0 "13.999999999999998".
- 1350510 cpu_core_0 "13.999999999999998".
- 1350533 cpu_core_0 "13.999999999999998".
- 1350583 cpu_core_0 "13.999999999999998".
- 1350645 cpu_core_0 "13.999999999999998".
- 1350734 cpu_core_0 "13.999999999999998".
- 1350744 cpu_core_0 "13.999999999999998".
- 1350804 cpu_core_0 "13.999999999999998".
- 1350880 cpu_core_0 "13.999999999999998".
- 1350898 cpu_core_0 "13.999999999999998".
- 1351177 cpu_core_0 "13.999999999999998".
- 1351291 cpu_core_0 "13.999999999999998".
- 1351393 cpu_core_0 "13.999999999999998".
- 1351402 cpu_core_0 "13.999999999999998".
- 1351414 cpu_core_0 "13.999999999999998".
- 1351465 cpu_core_0 "13.999999999999998".
- 1351476 cpu_core_0 "13.999999999999998".
- 1351538 cpu_core_0 "13.999999999999998".
- 1351610 cpu_core_0 "13.999999999999998".
- 1351699 cpu_core_0 "13.999999999999998".
- 1351738 cpu_core_0 "13.999999999999998".
- 1351836 cpu_core_0 "13.999999999999998".
- 1351842 cpu_core_0 "13.999999999999998".
- 1351847 cpu_core_0 "13.999999999999998".
- 1351879 cpu_core_0 "13.999999999999998".
- 1351909 cpu_core_0 "13.999999999999998".
- 1351953 cpu_core_0 "13.999999999999998".
- 1351972 cpu_core_0 "13.999999999999998".
- 1352177 cpu_core_0 "13.999999999999998".
- 1352266 cpu_core_0 "13.999999999999998".
- 1352377 cpu_core_0 "13.999999999999998".
- 1352383 cpu_core_0 "13.999999999999998".
- 1352537 cpu_core_0 "13.999999999999998".
- 1352539 cpu_core_0 "13.999999999999998".
- 1352547 cpu_core_0 "13.999999999999998".
- 1352566 cpu_core_0 "13.999999999999998".
- 1352738 cpu_core_0 "13.999999999999998".
- 1352781 cpu_core_0 "13.999999999999998".
- 1352863 cpu_core_0 "13.999999999999998".
- 1352870 cpu_core_0 "13.999999999999998".
- 1352877 cpu_core_0 "13.999999999999998".
- 1352901 cpu_core_0 "13.999999999999998".
- 1352917 cpu_core_0 "13.999999999999998".
- 1353164 cpu_core_0 "13.999999999999998".
- 1353167 cpu_core_0 "13.999999999999998".
- 1353220 cpu_core_0 "13.999999999999998".
- 1353224 cpu_core_0 "13.999999999999998".
- 1353248 cpu_core_0 "13.999999999999998".
- 1353352 cpu_core_0 "13.999999999999998".
- 1353368 cpu_core_0 "13.999999999999998".
- 1353376 cpu_core_0 "13.999999999999998".
- 1353416 cpu_core_0 "13.999999999999998".
- 1353417 cpu_core_0 "13.999999999999998".
- 1353534 cpu_core_0 "13.999999999999998".
- 1353584 cpu_core_0 "13.999999999999998".
- 1353607 cpu_core_0 "13.999999999999998".
- 1353650 cpu_core_0 "13.999999999999998".
- 1353716 cpu_core_0 "13.999999999999998".
- 1353768 cpu_core_0 "13.999999999999998".
- 1353789 cpu_core_0 "13.999999999999998".
- 1354010 cpu_core_0 "13.999999999999998".
- 1354058 cpu_core_0 "13.999999999999998".
- 1354258 cpu_core_0 "13.999999999999998".
- 1354261 cpu_core_0 "13.999999999999998".
- 1354458 cpu_core_0 "13.999999999999998".
- 1354669 cpu_core_0 "13.999999999999998".
- 1354707 cpu_core_0 "13.999999999999998".
- 1354722 cpu_core_0 "13.999999999999998".
- 1354731 cpu_core_0 "13.999999999999998".
- 1354836 cpu_core_0 "13.999999999999998".
- 1354855 cpu_core_0 "13.999999999999998".
- 1354904 cpu_core_0 "13.999999999999998".
- 1354912 cpu_core_0 "13.999999999999998".
- 1354954 cpu_core_0 "13.999999999999998".
- 1354967 cpu_core_0 "13.999999999999998".