Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1333525 cpu_core_0 "13.999999999999998".
- 1333610 cpu_core_0 "13.999999999999998".
- 1333631 cpu_core_0 "13.999999999999998".
- 1333652 cpu_core_0 "13.999999999999998".
- 1333674 cpu_core_0 "13.999999999999998".
- 1333845 cpu_core_0 "13.999999999999998".
- 1333970 cpu_core_0 "13.999999999999998".
- 1334074 cpu_core_0 "13.999999999999998".
- 1334103 cpu_core_0 "13.999999999999998".
- 1334123 cpu_core_0 "13.999999999999998".
- 1334143 cpu_core_0 "13.999999999999998".
- 1334201 cpu_core_0 "13.999999999999998".
- 1334257 cpu_core_0 "13.999999999999998".
- 1334465 cpu_core_0 "13.999999999999998".
- 1334676 cpu_core_0 "13.999999999999998".
- 1334713 cpu_core_0 "13.999999999999998".
- 1334729 cpu_core_0 "13.999999999999998".
- 1334741 cpu_core_0 "13.999999999999998".
- 1334761 cpu_core_0 "13.999999999999998".
- 1334843 cpu_core_0 "13.999999999999998".
- 1334848 cpu_core_0 "13.999999999999998".
- 1334849 cpu_core_0 "13.999999999999998".
- 1334950 cpu_core_0 "13.999999999999998".
- 1334960 cpu_core_0 "13.999999999999998".
- 1335119 cpu_core_0 "13.999999999999998".
- 1335146 cpu_core_0 "13.999999999999998".
- 1335215 cpu_core_0 "13.999999999999998".
- 1335234 cpu_core_0 "13.999999999999998".
- 1335284 cpu_core_0 "13.999999999999998".
- 1335331 cpu_core_0 "13.999999999999998".
- 1335339 cpu_core_0 "13.999999999999998".
- 1335400 cpu_core_0 "13.999999999999998".
- 1335404 cpu_core_0 "13.999999999999998".
- 1335414 cpu_core_0 "13.999999999999998".
- 1335454 cpu_core_0 "13.999999999999998".
- 1335473 cpu_core_0 "13.999999999999998".
- 1335607 cpu_core_0 "13.999999999999998".
- 1335667 cpu_core_0 "13.999999999999998".
- 1335693 cpu_core_0 "13.999999999999998".
- 1335731 cpu_core_0 "13.999999999999998".
- 1335767 cpu_core_0 "13.999999999999998".
- 1335786 cpu_core_0 "13.999999999999998".
- 1335891 cpu_core_0 "13.999999999999998".
- 1335925 cpu_core_0 "13.999999999999998".
- 1335972 cpu_core_0 "13.999999999999998".
- 1336015 cpu_core_0 "13.999999999999998".
- 1336296 cpu_core_0 "13.999999999999998".
- 1336363 cpu_core_0 "13.999999999999998".
- 1336388 cpu_core_0 "13.999999999999998".
- 1336389 cpu_core_0 "13.999999999999998".
- 1336419 cpu_core_0 "13.999999999999998".
- 1336444 cpu_core_0 "13.999999999999998".
- 1336540 cpu_core_0 "13.999999999999998".
- 1336604 cpu_core_0 "13.999999999999998".
- 1336605 cpu_core_0 "13.999999999999998".
- 1336616 cpu_core_0 "13.999999999999998".
- 1336617 cpu_core_0 "13.999999999999998".
- 1336619 cpu_core_0 "13.999999999999998".
- 1336636 cpu_core_0 "13.999999999999998".
- 1336731 cpu_core_0 "13.999999999999998".
- 1336756 cpu_core_0 "13.999999999999998".
- 1336798 cpu_core_0 "13.999999999999998".
- 1336799 cpu_core_0 "13.999999999999998".
- 1336880 cpu_core_0 "13.999999999999998".
- 1336932 cpu_core_0 "13.999999999999998".
- 1336970 cpu_core_0 "13.999999999999998".
- 1337163 cpu_core_0 "13.999999999999998".
- 1337241 cpu_core_0 "13.999999999999998".
- 1337318 cpu_core_0 "13.999999999999998".
- 1337319 cpu_core_0 "13.999999999999998".
- 1337392 cpu_core_0 "13.999999999999998".
- 1337395 cpu_core_0 "13.999999999999998".
- 1337399 cpu_core_0 "13.999999999999998".
- 1337474 cpu_core_0 "13.999999999999998".
- 1337533 cpu_core_0 "13.999999999999998".
- 1337541 cpu_core_0 "13.999999999999998".
- 1337578 cpu_core_0 "13.999999999999998".
- 1337717 cpu_core_0 "13.999999999999998".
- 1337829 cpu_core_0 "13.999999999999998".
- 1337893 cpu_core_0 "13.999999999999998".
- 1337952 cpu_core_0 "13.999999999999998".
- 1338006 cpu_core_0 "13.999999999999998".
- 1338443 cpu_core_0 "13.999999999999998".
- 1338648 cpu_core_0 "13.999999999999998".
- 1338814 cpu_core_0 "13.999999999999998".
- 1338818 cpu_core_0 "13.999999999999998".
- 1338838 cpu_core_0 "13.999999999999998".
- 1338929 cpu_core_0 "13.999999999999998".
- 1338938 cpu_core_0 "13.999999999999998".
- 1338984 cpu_core_0 "13.999999999999998".
- 1339128 cpu_core_0 "13.999999999999998".
- 1339132 cpu_core_0 "13.999999999999998".
- 1339186 cpu_core_0 "13.999999999999998".
- 1339244 cpu_core_0 "13.999999999999998".
- 1339254 cpu_core_0 "13.999999999999998".
- 1339306 cpu_core_0 "13.999999999999998".
- 1339485 cpu_core_0 "13.999999999999998".
- 1339557 cpu_core_0 "13.999999999999998".
- 1339569 cpu_core_0 "13.999999999999998".
- 1339649 cpu_core_0 "13.999999999999998".