Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1167950 cpu_core_0 "13.999999999999998".
- 1167961 cpu_core_0 "13.999999999999998".
- 1168079 cpu_core_0 "13.999999999999998".
- 1168115 cpu_core_0 "13.999999999999998".
- 1168122 cpu_core_0 "13.999999999999998".
- 1168144 cpu_core_0 "13.999999999999998".
- 1168359 cpu_core_0 "13.999999999999998".
- 1168399 cpu_core_0 "13.999999999999998".
- 1168714 cpu_core_0 "13.999999999999998".
- 1168747 cpu_core_0 "13.999999999999998".
- 1168810 cpu_core_0 "13.999999999999998".
- 1168881 cpu_core_0 "13.999999999999998".
- 1168919 cpu_core_0 "13.999999999999998".
- 1168956 cpu_core_0 "13.999999999999998".
- 1168975 cpu_core_0 "13.999999999999998".
- 1168981 cpu_core_0 "13.999999999999998".
- 1169049 cpu_core_0 "13.999999999999998".
- 1169068 cpu_core_0 "13.999999999999998".
- 1169082 cpu_core_0 "13.999999999999998".
- 1169090 cpu_core_0 "13.999999999999998".
- 1169197 cpu_core_0 "13.999999999999998".
- 1169211 cpu_core_0 "13.999999999999998".
- 1169284 cpu_core_0 "13.999999999999998".
- 1169299 cpu_core_0 "13.999999999999998".
- 1169426 cpu_core_0 "13.999999999999998".
- 1169452 cpu_core_0 "13.999999999999998".
- 1169476 cpu_core_0 "13.999999999999998".
- 1169509 cpu_core_0 "13.999999999999998".
- 1169547 cpu_core_0 "13.999999999999998".
- 1169562 cpu_core_0 "13.999999999999998".
- 1169578 cpu_core_0 "13.999999999999998".
- 1169604 cpu_core_0 "13.999999999999998".
- 1169694 cpu_core_0 "13.999999999999998".
- 1169753 cpu_core_0 "13.999999999999998".
- 1169879 cpu_core_0 "13.999999999999998".
- 1169886 cpu_core_0 "13.999999999999998".
- 1169916 cpu_core_0 "13.999999999999998".
- 1170020 cpu_core_0 "13.999999999999998".
- 1170106 cpu_core_0 "13.999999999999998".
- 1170113 cpu_core_0 "13.999999999999998".
- 1170358 cpu_core_0 "13.999999999999998".
- 1170377 cpu_core_0 "13.999999999999998".
- 1170397 cpu_core_0 "13.999999999999998".
- 1170440 cpu_core_0 "13.999999999999998".
- 1170556 cpu_core_0 "13.999999999999998".
- 1170608 cpu_core_0 "13.999999999999998".
- 1170633 cpu_core_0 "13.999999999999998".
- 1170665 cpu_core_0 "13.999999999999998".
- 1170676 cpu_core_0 "13.999999999999998".
- 1170743 cpu_core_0 "13.999999999999998".
- 1170852 cpu_core_0 "13.999999999999998".
- 1170964 cpu_core_0 "13.999999999999998".
- 1171039 cpu_core_0 "13.999999999999998".
- 1171090 cpu_core_0 "13.999999999999998".
- 1171104 cpu_core_0 "13.999999999999998".
- 1171111 cpu_core_0 "13.999999999999998".
- 1171442 cpu_core_0 "13.999999999999998".
- 1171475 cpu_core_0 "13.999999999999998".
- 1171525 cpu_core_0 "13.999999999999998".
- 1171527 cpu_core_0 "13.999999999999998".
- 1171697 cpu_core_0 "13.999999999999998".
- 1171731 cpu_core_0 "13.999999999999998".
- 1171752 cpu_core_0 "13.999999999999998".
- 1171828 cpu_core_0 "13.999999999999998".
- 1172092 cpu_core_0 "13.999999999999998".
- 1172096 cpu_core_0 "13.999999999999998".
- 1172099 cpu_core_0 "13.999999999999998".
- 1172102 cpu_core_0 "13.999999999999998".
- 1172169 cpu_core_0 "13.999999999999998".
- 1172198 cpu_core_0 "13.999999999999998".
- 1172210 cpu_core_0 "13.999999999999998".
- 1172312 cpu_core_0 "13.999999999999998".
- 1172339 cpu_core_0 "13.999999999999998".
- 1172383 cpu_core_0 "13.999999999999998".
- 1172625 cpu_core_0 "13.999999999999998".
- 1172651 cpu_core_0 "13.999999999999998".
- 1172718 cpu_core_0 "13.999999999999998".
- 1172720 cpu_core_0 "13.999999999999998".
- 1172721 cpu_core_0 "13.999999999999998".
- 1172772 cpu_core_0 "13.999999999999998".
- 1172814 cpu_core_0 "13.999999999999998".
- 1172864 cpu_core_0 "13.999999999999998".
- 1172928 cpu_core_0 "13.999999999999998".
- 1173022 cpu_core_0 "13.999999999999998".
- 1173494 cpu_core_0 "13.999999999999998".
- 1173498 cpu_core_0 "13.999999999999998".
- 1173512 cpu_core_0 "13.999999999999998".
- 1173588 cpu_core_0 "13.999999999999998".
- 1173661 cpu_core_0 "13.999999999999998".
- 1173717 cpu_core_0 "13.999999999999998".
- 1173801 cpu_core_0 "13.999999999999998".
- 1173999 cpu_core_0 "13.999999999999998".
- 1174011 cpu_core_0 "13.999999999999998".
- 1174127 cpu_core_0 "13.999999999999998".
- 1174218 cpu_core_0 "13.999999999999998".
- 1174475 cpu_core_0 "13.999999999999998".
- 1174574 cpu_core_0 "13.999999999999998".
- 1174581 cpu_core_0 "13.999999999999998".
- 1174591 cpu_core_0 "13.999999999999998".
- 1174603 cpu_core_0 "13.999999999999998".