Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1021909 cpu_core_0 "13.999999999999998".
- 1021921 cpu_core_0 "13.999999999999998".
- 1021956 cpu_core_0 "13.999999999999998".
- 1021970 cpu_core_0 "13.999999999999998".
- 1022062 cpu_core_0 "13.999999999999998".
- 1022135 cpu_core_0 "13.999999999999998".
- 1022166 cpu_core_0 "13.999999999999998".
- 1022293 cpu_core_0 "13.999999999999998".
- 1022327 cpu_core_0 "13.999999999999998".
- 1022360 cpu_core_0 "13.999999999999998".
- 1022370 cpu_core_0 "13.999999999999998".
- 1022445 cpu_core_0 "13.999999999999998".
- 1022517 cpu_core_0 "13.999999999999998".
- 1022552 cpu_core_0 "13.999999999999998".
- 1022561 cpu_core_0 "13.999999999999998".
- 1022807 cpu_core_0 "13.999999999999998".
- 1023000 cpu_core_0 "13.999999999999998".
- 1023001 cpu_core_0 "13.999999999999998".
- 1023018 cpu_core_0 "13.999999999999998".
- 1023029 cpu_core_0 "13.999999999999998".
- 1023096 cpu_core_0 "13.999999999999998".
- 1023199 cpu_core_0 "13.999999999999998".
- 1023226 cpu_core_0 "13.999999999999998".
- 1023251 cpu_core_0 "13.999999999999998".
- 1023323 cpu_core_0 "13.999999999999998".
- 1023327 cpu_core_0 "13.999999999999998".
- 1023342 cpu_core_0 "13.999999999999998".
- 1023350 cpu_core_0 "13.999999999999998".
- 1023355 cpu_core_0 "13.999999999999998".
- 1023441 cpu_core_0 "13.999999999999998".
- 1023446 cpu_core_0 "13.999999999999998".
- 1023479 cpu_core_0 "13.999999999999998".
- 1023507 cpu_core_0 "13.999999999999998".
- 1023588 cpu_core_0 "13.999999999999998".
- 1023610 cpu_core_0 "13.999999999999998".
- 1023643 cpu_core_0 "13.999999999999998".
- 1023774 cpu_core_0 "13.999999999999998".
- 1023872 cpu_core_0 "13.999999999999998".
- 1023877 cpu_core_0 "13.999999999999998".
- 1023970 cpu_core_0 "13.999999999999998".
- 1023994 cpu_core_0 "13.999999999999998".
- 1024074 cpu_core_0 "13.999999999999998".
- 1024076 cpu_core_0 "13.999999999999998".
- 1024086 cpu_core_0 "13.999999999999998".
- 1024134 cpu_core_0 "13.999999999999998".
- 1024198 cpu_core_0 "13.999999999999998".
- 1024232 cpu_core_0 "13.999999999999998".
- 1024336 cpu_core_0 "13.999999999999998".
- 1024455 cpu_core_0 "13.999999999999998".
- 1024482 cpu_core_0 "13.999999999999998".
- 1024610 cpu_core_0 "13.999999999999998".
- 1024767 cpu_core_0 "13.999999999999998".
- 1024776 cpu_core_0 "13.999999999999998".
- 1024815 cpu_core_0 "13.999999999999998".
- 1024846 cpu_core_0 "13.999999999999998".
- 1025141 cpu_core_0 "13.999999999999998".
- 1025159 cpu_core_0 "13.999999999999998".
- 1025161 cpu_core_0 "13.999999999999998".
- 1025190 cpu_core_0 "13.999999999999998".
- 1025307 cpu_core_0 "13.999999999999998".
- 1025328 cpu_core_0 "13.999999999999998".
- 1025375 cpu_core_0 "13.999999999999998".
- 1025415 cpu_core_0 "13.999999999999998".
- 1025420 cpu_core_0 "13.999999999999998".
- 1025541 cpu_core_0 "13.999999999999998".
- 1025543 cpu_core_0 "13.999999999999998".
- 1025649 cpu_core_0 "13.999999999999998".
- 1025757 cpu_core_0 "13.999999999999998".
- 1025817 cpu_core_0 "13.999999999999998".
- 1026354 cpu_core_0 "13.999999999999998".
- 1026448 cpu_core_0 "13.999999999999998".
- 1026450 cpu_core_0 "13.999999999999998".
- 1026519 cpu_core_0 "13.999999999999998".
- 1026559 cpu_core_0 "13.999999999999998".
- 1026704 cpu_core_0 "13.999999999999998".
- 1026714 cpu_core_0 "13.999999999999998".
- 1026728 cpu_core_0 "13.999999999999998".
- 1026732 cpu_core_0 "13.999999999999998".
- 1026784 cpu_core_0 "13.999999999999998".
- 1027054 cpu_core_0 "13.999999999999998".
- 1027071 cpu_core_0 "13.999999999999998".
- 1027086 cpu_core_0 "13.999999999999998".
- 1027173 cpu_core_0 "13.999999999999998".
- 1027185 cpu_core_0 "13.999999999999998".
- 1027221 cpu_core_0 "13.999999999999998".
- 1027320 cpu_core_0 "13.999999999999998".
- 1027328 cpu_core_0 "13.999999999999998".
- 1027385 cpu_core_0 "13.999999999999998".
- 1027443 cpu_core_0 "13.999999999999998".
- 1027578 cpu_core_0 "13.999999999999998".
- 1027628 cpu_core_0 "13.999999999999998".
- 1027679 cpu_core_0 "13.999999999999998".
- 1027695 cpu_core_0 "13.999999999999998".
- 1027777 cpu_core_0 "13.999999999999998".
- 1027822 cpu_core_0 "13.999999999999998".
- 1027852 cpu_core_0 "13.999999999999998".
- 1027936 cpu_core_0 "13.999999999999998".
- 1027978 cpu_core_0 "13.999999999999998".
- 1028009 cpu_core_0 "13.999999999999998".
- 1028012 cpu_core_0 "13.999999999999998".