Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1148207 cpu_core_0 "13.999999999999998".
- 1148211 cpu_core_0 "13.999999999999998".
- 1148345 cpu_core_0 "13.999999999999998".
- 1148349 cpu_core_0 "13.999999999999998".
- 1148420 cpu_core_0 "13.999999999999998".
- 1148509 cpu_core_0 "13.999999999999998".
- 1148621 cpu_core_0 "13.999999999999998".
- 1148926 cpu_core_0 "13.999999999999998".
- 1149001 cpu_core_0 "13.999999999999998".
- 1149019 cpu_core_0 "13.999999999999998".
- 1149031 cpu_core_0 "13.999999999999998".
- 1149044 cpu_core_0 "13.999999999999998".
- 1149062 cpu_core_0 "13.999999999999998".
- 1149063 cpu_core_0 "13.999999999999998".
- 1149116 cpu_core_0 "13.999999999999998".
- 1149234 cpu_core_0 "13.999999999999998".
- 1149326 cpu_core_0 "13.999999999999998".
- 1149333 cpu_core_0 "13.999999999999998".
- 1149364 cpu_core_0 "13.999999999999998".
- 1149365 cpu_core_0 "13.999999999999998".
- 1149465 cpu_core_0 "13.999999999999998".
- 1149475 cpu_core_0 "13.999999999999998".
- 1149480 cpu_core_0 "13.999999999999998".
- 1149524 cpu_core_0 "13.999999999999998".
- 1149655 cpu_core_0 "13.999999999999998".
- 1149714 cpu_core_0 "13.999999999999998".
- 1149778 cpu_core_0 "13.999999999999998".
- 1149826 cpu_core_0 "13.999999999999998".
- 1149861 cpu_core_0 "13.999999999999998".
- 1149889 cpu_core_0 "13.999999999999998".
- 1149892 cpu_core_0 "13.999999999999998".
- 1149905 cpu_core_0 "13.999999999999998".
- 1149973 cpu_core_0 "13.999999999999998".
- 1150118 cpu_core_0 "13.999999999999998".
- 1150255 cpu_core_0 "13.999999999999998".
- 1150293 cpu_core_0 "13.999999999999998".
- 1150298 cpu_core_0 "13.999999999999998".
- 1150424 cpu_core_0 "13.999999999999998".
- 1150472 cpu_core_0 "13.999999999999998".
- 1150476 cpu_core_0 "13.999999999999998".
- 1150660 cpu_core_0 "13.999999999999998".
- 1150664 cpu_core_0 "13.999999999999998".
- 1150905 cpu_core_0 "13.999999999999998".
- 1150908 cpu_core_0 "13.999999999999998".
- 1150947 cpu_core_0 "13.999999999999998".
- 1151015 cpu_core_0 "13.999999999999998".
- 1151211 cpu_core_0 "13.999999999999998".
- 1151218 cpu_core_0 "13.999999999999998".
- 1151284 cpu_core_0 "13.999999999999998".
- 1151382 cpu_core_0 "13.999999999999998".
- 1151384 cpu_core_0 "13.999999999999998".
- 1151418 cpu_core_0 "13.999999999999998".
- 1151420 cpu_core_0 "13.999999999999998".
- 1151559 cpu_core_0 "13.999999999999998".
- 1151587 cpu_core_0 "13.999999999999998".
- 1151671 cpu_core_0 "13.999999999999998".
- 1151673 cpu_core_0 "13.999999999999998".
- 1151811 cpu_core_0 "13.999999999999998".
- 1151859 cpu_core_0 "13.999999999999998".
- 1151860 cpu_core_0 "13.999999999999998".
- 1151992 cpu_core_0 "13.999999999999998".
- 1152011 cpu_core_0 "13.999999999999998".
- 1152016 cpu_core_0 "13.999999999999998".
- 1152055 cpu_core_0 "13.999999999999998".
- 1152058 cpu_core_0 "13.999999999999998".
- 1152112 cpu_core_0 "13.999999999999998".
- 1152374 cpu_core_0 "13.999999999999998".
- 1152502 cpu_core_0 "13.999999999999998".
- 1152511 cpu_core_0 "13.999999999999998".
- 1152531 cpu_core_0 "13.999999999999998".
- 1152582 cpu_core_0 "13.999999999999998".
- 1152583 cpu_core_0 "13.999999999999998".
- 1152747 cpu_core_0 "13.999999999999998".
- 1152865 cpu_core_0 "13.999999999999998".
- 1152891 cpu_core_0 "13.999999999999998".
- 1152902 cpu_core_0 "13.999999999999998".
- 1152948 cpu_core_0 "13.999999999999998".
- 1153221 cpu_core_0 "13.999999999999998".
- 1153235 cpu_core_0 "13.999999999999998".
- 1153239 cpu_core_0 "13.999999999999998".
- 1153427 cpu_core_0 "13.999999999999998".
- 1153430 cpu_core_0 "13.999999999999998".
- 1153467 cpu_core_0 "13.999999999999998".
- 1153491 cpu_core_0 "13.999999999999998".
- 1153619 cpu_core_0 "13.999999999999998".
- 1153671 cpu_core_0 "13.999999999999998".
- 1153674 cpu_core_0 "13.999999999999998".
- 1153857 cpu_core_0 "13.999999999999998".
- 1153918 cpu_core_0 "13.999999999999998".
- 1153979 cpu_core_0 "13.999999999999998".
- 1154269 cpu_core_0 "13.999999999999998".
- 1154357 cpu_core_0 "13.999999999999998".
- 1154613 cpu_core_0 "13.999999999999998".
- 1154634 cpu_core_0 "13.999999999999998".
- 1154658 cpu_core_0 "13.999999999999998".
- 1154793 cpu_core_0 "13.999999999999998".
- 1154861 cpu_core_0 "13.999999999999998".
- 1154975 cpu_core_0 "13.999999999999998".
- 1155005 cpu_core_0 "13.999999999999998".
- 1155113 cpu_core_0 "13.999999999999998".