<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="margin: 0px;" class=""><div style="margin: 0px;" class="">Robert, care to explain the postponed logic?</div><div style="margin: 0px;" class=""><br class=""></div><div style="margin: 0px;" class="">This set is from master.</div><div style="margin: 0px;" class=""><br class=""></div><div style="margin: 0px;" class=""><!--StartFragment-->Transition to 30 m in 1:40 min - runtime 1:40 on EAN32<br class="">Stay at 30 m for 28:20 min - runtime 30:00 on EAN32<br class="">Switch gas to air<br class="">Stay at 30 m for 30:00 min - runtime 60:00 on air<br class="">Switch gas to EAN32<br class="">Stay at 30 m for 30:00 min - runtime 90:00 on EAN32<br class="">Switch gas to EAN80<br class="">Stay at 9.0 m for 6:00 min - runtime 99:39 on EAN80<br class="">Stay at 6.0 m for 9:00 min - runtime 109:39 on EAN80<br class="">Stay at 3.0 m for 17:00 min - runtime 128:12 on EAN80<br class="">Transition to 0.0 m in 1:33 min - runtime 129:45 on EAN80<!--EndFragment--></div><div style="margin: 0px;" class=""><br class=""></div><div style="margin: 0px;" class=""><br class=""></div></div><div style="margin: 0px;" class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN32</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">28min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td class=""><br class=""></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">60min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN32</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">90min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">10min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">100min</div></td>
<td class=""></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">10min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">110min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN80</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">19min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">128min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">130min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div style="margin: 0px;" class=""><div class="">If we ignore the check for postponed on line 653 - 655 of planner.c this is the corresponding planner notes.</div><div class="">This looks much more like what I would expect from the verbatim notes on top.</div><div class=""><br class=""></div><div class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN32</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">28min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">air</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">60min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN32</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">30min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">90min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">10min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">100min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN80</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">10min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">110min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">19min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">128min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">130min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Another thing, if the stop time is less than 1min at the switch depth the switch is displayed at the correct depth.</div><div class=""><br class=""></div><div class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">(24/25)</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">23min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">25min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">31min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">1min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">32min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">1min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">33min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">22min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">55min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">58min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">(24/25)</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">23min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">25min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">31min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN80</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">8min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">39min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">42min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div class=""><br class=""></div><div class="">2min stoptime @9m == wrong switch depth.</div><div class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">(24/25)</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">24min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">26min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">32min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">34min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">1min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">35min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">24min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">59min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">62min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div class="">
<table border="0" style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px;" cellspacing="2" cellpadding="0" class=""><thead class="">
<tr class="">
<td class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">depth</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">duration</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">runtime</span></div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600;" class="">gas</span></div></td></tr></thead>
<tbody class=""><tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">2min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">(24/25)</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">40m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">24min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">26min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">9m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">7min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">33min</div></td>
<td class=""></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">6m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">8min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">41min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class=""><span style=" font-weight:600; color:#ff0000;" class="">EAN80</span></div></td></tr>
<tr class="">
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">0m</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">3min</div></td>
<td style=" padding-left:10;" class=""><div style="margin: 0px;" class="">44min</div></td>
<td class=""><p style="margin: 0px;" class=""> </p></td></tr></tbody></table><div class=""><br class=""></div></div><div class=""><br class=""></div><div class=""><br class=""></div></div><div class="">
<div class="">/Jocke</div>
</div>
<br class=""></body></html>