cover 28 {generating cover...} {reading tiles...} optimize_tiling {} 28 tiles give initial coverage 0.936794 coverage 0.936794 +--> 1 cover 19 {generating cover...} {reading tiles...} optimize_tiling {} 19 tiles give initial coverage 0.893986 coverage 0.893986 +--> 1 cover 15 {generating cover...} {reading tiles...} optimize_tiling {} 15 tiles give initial coverage 0.741333 relaxMargin 2.0 | improve_tiling {} | +--> 0.782130 relaxMargin 2.0 | improve_tiling {} | +--> 0.805497 relaxMargin 2.0 | improve_tiling {} | +--> 0.800038 relaxMargin 1.5 | improve_tiling {} | +--> 0.806359 relaxMargin 1.5 | improve_tiling {} | +--> 0.806072 relaxMargin 1.25 | improve_tiling {} | +--> 0.805210 coverage 0.806359 +--> 0 cover 17 {generating cover...} {reading tiles...} optimize_tiling {} 17 tiles give initial coverage 0.833748 relaxMargin 2.0 | improve_tiling {} | +--> 0.781843 relaxMargin 1.5 | improve_tiling {} | +--> 0.896284 coverage 0.896284 +--> 1 cover 16 {generating cover...} {reading tiles...} optimize_tiling {} 16 tiles give initial coverage 0.793718 relaxMargin 2.0 | improve_tiling {} | +--> 0.796878 relaxMargin 2.0 | improve_tiling {} | +--> 0.849837 relaxMargin 2.0 | improve_tiling {} | +--> 0.848209 relaxMargin 1.5 | improve_tiling {} | +--> 0.850412 coverage 0.849837 +--> 0 optimize_tiling {} 17 tiles give initial coverage 0.862287 relaxMargin 2.0 | improve_tiling {} | +--> 0.896859 relaxMargin 2.0 | improve_tiling {} | +--> 0.895997 relaxMargin 1.5 | improve_tiling {} | +--> 0.895518 coverage 0.896859 +--> 0 17 tiles gives coverage 0.887282 17 tiles gives desired coverage