Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1083486 cpu_core_0 "13.999999999999998".
- 1083737 cpu_core_0 "13.999999999999998".
- 1083748 cpu_core_0 "13.999999999999998".
- 1083856 cpu_core_0 "13.999999999999998".
- 1084125 cpu_core_0 "13.999999999999998".
- 1084130 cpu_core_0 "13.999999999999998".
- 1084160 cpu_core_0 "13.999999999999998".
- 1084172 cpu_core_0 "13.999999999999998".
- 1084189 cpu_core_0 "13.999999999999998".
- 1084258 cpu_core_0 "13.999999999999998".
- 1084287 cpu_core_0 "13.999999999999998".
- 1084423 cpu_core_0 "13.999999999999998".
- 1084504 cpu_core_0 "13.999999999999998".
- 1084515 cpu_core_0 "13.999999999999998".
- 1084546 cpu_core_0 "13.999999999999998".
- 1084700 cpu_core_0 "13.999999999999998".
- 1084752 cpu_core_0 "13.999999999999998".
- 1084763 cpu_core_0 "13.999999999999998".
- 1084795 cpu_core_0 "13.999999999999998".
- 1084869 cpu_core_0 "13.999999999999998".
- 1084883 cpu_core_0 "13.999999999999998".
- 1084976 cpu_core_0 "13.999999999999998".
- 1085105 cpu_core_0 "13.999999999999998".
- 1085113 cpu_core_0 "13.999999999999998".
- 1085114 cpu_core_0 "13.999999999999998".
- 1085145 cpu_core_0 "13.999999999999998".
- 1085387 cpu_core_0 "13.999999999999998".
- 1085402 cpu_core_0 "13.999999999999998".
- 1085496 cpu_core_0 "13.999999999999998".
- 1085710 cpu_core_0 "13.999999999999998".
- 1085789 cpu_core_0 "13.999999999999998".
- 1085943 cpu_core_0 "13.999999999999998".
- 1086031 cpu_core_0 "13.999999999999998".
- 1086097 cpu_core_0 "13.999999999999998".
- 1086118 cpu_core_0 "13.999999999999998".
- 1086216 cpu_core_0 "13.999999999999998".
- 1086295 cpu_core_0 "13.999999999999998".
- 1086473 cpu_core_0 "13.999999999999998".
- 1086555 cpu_core_0 "13.999999999999998".
- 1086583 cpu_core_0 "13.999999999999998".
- 1086693 cpu_core_0 "13.999999999999998".
- 1086741 cpu_core_0 "13.999999999999998".
- 1086871 cpu_core_0 "13.999999999999998".
- 1086908 cpu_core_0 "13.999999999999998".
- 1087027 cpu_core_0 "13.999999999999998".
- 1087031 cpu_core_0 "13.999999999999998".
- 1087093 cpu_core_0 "13.999999999999998".
- 1087212 cpu_core_0 "13.999999999999998".
- 1087273 cpu_core_0 "13.999999999999998".
- 1087274 cpu_core_0 "13.999999999999998".
- 1087294 cpu_core_0 "13.999999999999998".
- 1087416 cpu_core_0 "13.999999999999998".
- 1087549 cpu_core_0 "13.999999999999998".
- 1087565 cpu_core_0 "13.999999999999998".
- 1087641 cpu_core_0 "13.999999999999998".
- 1087650 cpu_core_0 "13.999999999999998".
- 1087653 cpu_core_0 "13.999999999999998".
- 1087656 cpu_core_0 "13.999999999999998".
- 1087658 cpu_core_0 "13.999999999999998".
- 1087709 cpu_core_0 "13.999999999999998".
- 1087739 cpu_core_0 "13.999999999999998".
- 1087820 cpu_core_0 "13.999999999999998".
- 1087827 cpu_core_0 "13.999999999999998".
- 1087899 cpu_core_0 "13.999999999999998".
- 1087924 cpu_core_0 "13.999999999999998".
- 1087927 cpu_core_0 "13.999999999999998".
- 1087952 cpu_core_0 "13.999999999999998".
- 1088035 cpu_core_0 "13.999999999999998".
- 1088046 cpu_core_0 "13.999999999999998".
- 1088058 cpu_core_0 "13.999999999999998".
- 1088242 cpu_core_0 "13.999999999999998".
- 1088343 cpu_core_0 "13.999999999999998".
- 1088347 cpu_core_0 "13.999999999999998".
- 1088384 cpu_core_0 "13.999999999999998".
- 1088391 cpu_core_0 "13.999999999999998".
- 1088396 cpu_core_0 "13.999999999999998".
- 1088418 cpu_core_0 "13.999999999999998".
- 1088592 cpu_core_0 "13.999999999999998".
- 1088602 cpu_core_0 "13.999999999999998".
- 1088639 cpu_core_0 "13.999999999999998".
- 1088914 cpu_core_0 "13.999999999999998".
- 1089056 cpu_core_0 "13.999999999999998".
- 1089115 cpu_core_0 "13.999999999999998".
- 1089144 cpu_core_0 "13.999999999999998".
- 1089450 cpu_core_0 "13.999999999999998".
- 1089475 cpu_core_0 "13.999999999999998".
- 1089568 cpu_core_0 "13.999999999999998".
- 1089709 cpu_core_0 "13.999999999999998".
- 1089716 cpu_core_0 "13.999999999999998".
- 1089833 cpu_core_0 "13.999999999999998".
- 1089905 cpu_core_0 "13.999999999999998".
- 1089996 cpu_core_0 "13.999999999999998".
- 1090027 cpu_core_0 "13.999999999999998".
- 1090211 cpu_core_0 "13.999999999999998".
- 1090212 cpu_core_0 "13.999999999999998".
- 1090214 cpu_core_0 "13.999999999999998".
- 1090219 cpu_core_0 "13.999999999999998".
- 1090258 cpu_core_0 "13.999999999999998".
- 1090273 cpu_core_0 "13.999999999999998".
- 1090285 cpu_core_0 "13.999999999999998".