Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1304185 cpu_core_0 "13.999999999999998".
- 1304187 cpu_core_0 "13.999999999999998".
- 1304298 cpu_core_0 "13.999999999999998".
- 1304409 cpu_core_0 "13.999999999999998".
- 1304670 cpu_core_0 "13.999999999999998".
- 1304734 cpu_core_0 "13.999999999999998".
- 1305217 cpu_core_0 "13.999999999999998".
- 1305227 cpu_core_0 "13.999999999999998".
- 1305288 cpu_core_0 "13.999999999999998".
- 1305347 cpu_core_0 "13.999999999999998".
- 1305362 cpu_core_0 "13.999999999999998".
- 1305423 cpu_core_0 "13.999999999999998".
- 1305452 cpu_core_0 "13.999999999999998".
- 1305530 cpu_core_0 "13.999999999999998".
- 1305585 cpu_core_0 "13.999999999999998".
- 1305661 cpu_core_0 "13.999999999999998".
- 1305668 cpu_core_0 "13.999999999999998".
- 1305682 cpu_core_0 "13.999999999999998".
- 1305711 cpu_core_0 "13.999999999999998".
- 1305771 cpu_core_0 "13.999999999999998".
- 1305848 cpu_core_0 "13.999999999999998".
- 1305931 cpu_core_0 "13.999999999999998".
- 1306078 cpu_core_0 "13.999999999999998".
- 1306184 cpu_core_0 "13.999999999999998".
- 1306187 cpu_core_0 "13.999999999999998".
- 1306205 cpu_core_0 "13.999999999999998".
- 1306239 cpu_core_0 "13.999999999999998".
- 1306313 cpu_core_0 "13.999999999999998".
- 1306330 cpu_core_0 "13.999999999999998".
- 1306368 cpu_core_0 "13.999999999999998".
- 1306437 cpu_core_0 "13.999999999999998".
- 1306508 cpu_core_0 "13.999999999999998".
- 1306549 cpu_core_0 "13.999999999999998".
- 1306608 cpu_core_0 "13.999999999999998".
- 1306667 cpu_core_0 "13.999999999999998".
- 1306745 cpu_core_0 "13.999999999999998".
- 1306751 cpu_core_0 "13.999999999999998".
- 1306775 cpu_core_0 "13.999999999999998".
- 1306783 cpu_core_0 "13.999999999999998".
- 1306809 cpu_core_0 "13.999999999999998".
- 1306852 cpu_core_0 "13.999999999999998".
- 1306858 cpu_core_0 "13.999999999999998".
- 1306878 cpu_core_0 "13.999999999999998".
- 1307015 cpu_core_0 "13.999999999999998".
- 1307019 cpu_core_0 "13.999999999999998".
- 1307095 cpu_core_0 "13.999999999999998".
- 1307138 cpu_core_0 "13.999999999999998".
- 1307463 cpu_core_0 "13.999999999999998".
- 1307497 cpu_core_0 "13.999999999999998".
- 1307510 cpu_core_0 "13.999999999999998".
- 1307512 cpu_core_0 "13.999999999999998".
- 1307621 cpu_core_0 "13.999999999999998".
- 1307701 cpu_core_0 "13.999999999999998".
- 1307728 cpu_core_0 "13.999999999999998".
- 1307738 cpu_core_0 "13.999999999999998".
- 1307854 cpu_core_0 "13.999999999999998".
- 1308015 cpu_core_0 "13.999999999999998".
- 1308067 cpu_core_0 "13.999999999999998".
- 1308108 cpu_core_0 "13.999999999999998".
- 1308236 cpu_core_0 "13.999999999999998".
- 1308239 cpu_core_0 "13.999999999999998".
- 1308252 cpu_core_0 "13.999999999999998".
- 1308254 cpu_core_0 "13.999999999999998".
- 1308309 cpu_core_0 "13.999999999999998".
- 1308321 cpu_core_0 "13.999999999999998".
- 1308415 cpu_core_0 "13.999999999999998".
- 1308451 cpu_core_0 "13.999999999999998".
- 1308460 cpu_core_0 "13.999999999999998".
- 1308486 cpu_core_0 "13.999999999999998".
- 1308493 cpu_core_0 "13.999999999999998".
- 1308494 cpu_core_0 "13.999999999999998".
- 1308534 cpu_core_0 "13.999999999999998".
- 1308552 cpu_core_0 "13.999999999999998".
- 1308581 cpu_core_0 "13.999999999999998".
- 1308601 cpu_core_0 "13.999999999999998".
- 1308616 cpu_core_0 "13.999999999999998".
- 1308667 cpu_core_0 "13.999999999999998".
- 1308676 cpu_core_0 "13.999999999999998".
- 1308710 cpu_core_0 "13.999999999999998".
- 1308713 cpu_core_0 "13.999999999999998".
- 1308730 cpu_core_0 "13.999999999999998".
- 1308738 cpu_core_0 "13.999999999999998".
- 1308772 cpu_core_0 "13.999999999999998".
- 1308911 cpu_core_0 "13.999999999999998".
- 1308961 cpu_core_0 "13.999999999999998".
- 1309057 cpu_core_0 "13.999999999999998".
- 1309077 cpu_core_0 "13.999999999999998".
- 1309159 cpu_core_0 "13.999999999999998".
- 1309170 cpu_core_0 "13.999999999999998".
- 1309176 cpu_core_0 "13.999999999999998".
- 1309220 cpu_core_0 "13.999999999999998".
- 1309325 cpu_core_0 "13.999999999999998".
- 1309375 cpu_core_0 "13.999999999999998".
- 1309426 cpu_core_0 "13.999999999999998".
- 1309428 cpu_core_0 "13.999999999999998".
- 1309441 cpu_core_0 "13.999999999999998".
- 1309461 cpu_core_0 "13.999999999999998".
- 1309637 cpu_core_0 "13.999999999999998".
- 1309759 cpu_core_0 "13.999999999999998".
- 1309940 cpu_core_0 "13.999999999999998".