Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1244972 cpu_core_0 "13.999999999999998".
- 1245065 cpu_core_0 "13.999999999999998".
- 1245174 cpu_core_0 "13.999999999999998".
- 1245198 cpu_core_0 "13.999999999999998".
- 1245227 cpu_core_0 "13.999999999999998".
- 1245305 cpu_core_0 "13.999999999999998".
- 1245334 cpu_core_0 "13.999999999999998".
- 1245351 cpu_core_0 "13.999999999999998".
- 1245400 cpu_core_0 "13.999999999999998".
- 1245418 cpu_core_0 "13.999999999999998".
- 1245561 cpu_core_0 "13.999999999999998".
- 1245578 cpu_core_0 "13.999999999999998".
- 1245667 cpu_core_0 "13.999999999999998".
- 1245687 cpu_core_0 "13.999999999999998".
- 1245712 cpu_core_0 "13.999999999999998".
- 1245746 cpu_core_0 "13.999999999999998".
- 1245761 cpu_core_0 "13.999999999999998".
- 1245799 cpu_core_0 "13.999999999999998".
- 1245828 cpu_core_0 "13.999999999999998".
- 1245884 cpu_core_0 "13.999999999999998".
- 1245942 cpu_core_0 "13.999999999999998".
- 1245962 cpu_core_0 "13.999999999999998".
- 1246038 cpu_core_0 "13.999999999999998".
- 1246041 cpu_core_0 "13.999999999999998".
- 1246088 cpu_core_0 "13.999999999999998".
- 1246342 cpu_core_0 "13.999999999999998".
- 1246420 cpu_core_0 "13.999999999999998".
- 1246435 cpu_core_0 "13.999999999999998".
- 1246442 cpu_core_0 "13.999999999999998".
- 1246520 cpu_core_0 "13.999999999999998".
- 1246534 cpu_core_0 "13.999999999999998".
- 1246549 cpu_core_0 "13.999999999999998".
- 1246648 cpu_core_0 "13.999999999999998".
- 1246692 cpu_core_0 "13.999999999999998".
- 1246723 cpu_core_0 "13.999999999999998".
- 1246760 cpu_core_0 "13.999999999999998".
- 1246840 cpu_core_0 "13.999999999999998".
- 1246884 cpu_core_0 "13.999999999999998".
- 1246910 cpu_core_0 "13.999999999999998".
- 1246978 cpu_core_0 "13.999999999999998".
- 1247038 cpu_core_0 "13.999999999999998".
- 1247097 cpu_core_0 "13.999999999999998".
- 1247116 cpu_core_0 "13.999999999999998".
- 1247137 cpu_core_0 "13.999999999999998".
- 1247164 cpu_core_0 "13.999999999999998".
- 1247249 cpu_core_0 "13.999999999999998".
- 1247327 cpu_core_0 "13.999999999999998".
- 1247367 cpu_core_0 "13.999999999999998".
- 1247399 cpu_core_0 "13.999999999999998".
- 1247620 cpu_core_0 "13.999999999999998".
- 1247621 cpu_core_0 "13.999999999999998".
- 1247672 cpu_core_0 "13.999999999999998".
- 1247713 cpu_core_0 "13.999999999999998".
- 1247750 cpu_core_0 "13.999999999999998".
- 1247795 cpu_core_0 "13.999999999999998".
- 1247808 cpu_core_0 "13.999999999999998".
- 1247930 cpu_core_0 "13.999999999999998".
- 1247954 cpu_core_0 "13.999999999999998".
- 1247960 cpu_core_0 "13.999999999999998".
- 1248007 cpu_core_0 "13.999999999999998".
- 1248211 cpu_core_0 "13.999999999999998".
- 1248305 cpu_core_0 "13.999999999999998".
- 1248316 cpu_core_0 "13.999999999999998".
- 1248423 cpu_core_0 "13.999999999999998".
- 1248462 cpu_core_0 "13.999999999999998".
- 1248568 cpu_core_0 "13.999999999999998".
- 1248638 cpu_core_0 "13.999999999999998".
- 1248643 cpu_core_0 "13.999999999999998".
- 1248686 cpu_core_0 "13.999999999999998".
- 1248701 cpu_core_0 "13.999999999999998".
- 1248731 cpu_core_0 "13.999999999999998".
- 1248854 cpu_core_0 "13.999999999999998".
- 1248945 cpu_core_0 "13.999999999999998".
- 1248974 cpu_core_0 "13.999999999999998".
- 1249013 cpu_core_0 "13.999999999999998".
- 1249018 cpu_core_0 "13.999999999999998".
- 1249073 cpu_core_0 "13.999999999999998".
- 1249086 cpu_core_0 "13.999999999999998".
- 1249151 cpu_core_0 "13.999999999999998".
- 1249202 cpu_core_0 "13.999999999999998".
- 1249264 cpu_core_0 "13.999999999999998".
- 1249293 cpu_core_0 "13.999999999999998".
- 1249296 cpu_core_0 "13.999999999999998".
- 1249300 cpu_core_0 "13.999999999999998".
- 1249302 cpu_core_0 "13.999999999999998".
- 1249330 cpu_core_0 "13.999999999999998".
- 1249341 cpu_core_0 "13.999999999999998".
- 1249413 cpu_core_0 "13.999999999999998".
- 1249435 cpu_core_0 "13.999999999999998".
- 1249495 cpu_core_0 "13.999999999999998".
- 1249505 cpu_core_0 "13.999999999999998".
- 1249513 cpu_core_0 "13.999999999999998".
- 1249518 cpu_core_0 "13.999999999999998".
- 1249637 cpu_core_0 "13.999999999999998".
- 1249782 cpu_core_0 "13.999999999999998".
- 1249862 cpu_core_0 "13.999999999999998".
- 1249872 cpu_core_0 "13.999999999999998".
- 1249923 cpu_core_0 "13.999999999999998".
- 1249985 cpu_core_0 "13.999999999999998".
- 1249992 cpu_core_0 "13.999999999999998".