mixedIV3part.sac needs -maxoptcyc 11 to converge w/-doawlf

Bugzilla Link	869
Created on	Sep 05, 2011 19:57
Version	svn
OS	Linux
Architecture	PC

Extended Description

Summary says it all.
cd ~/sac/testsuite/optimizations/awlf
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 developer rev 17603:MODIFIED linux-gnu_x86_64
This folds to a single WL:
sac2c mixedIV3part.sac -doawlf -nowlf -bopt:saacyc:lof:11 -v1 -maxwlur 1 -maxoptcyc 11 
This does not: 
sac2c mixedIV3part.sac -doawlf -nowlf -bopt:saacyc:lof:11 -v1 -maxwlur 1 -maxoptcyc 10
This shows up a design problem in AWLF. Or maybe a few of them...
1. CUBSL only cuts a cube once along any dimension, even if more
   cuts are clearly needed. In this case, the cwl has bounds ([0] [8]),
   but the pwl has bound ([0],[2]), ( [2],[5]), [5],[8]).
2. Several SAACYC opts are required to satisfy AWLF after a cut
   has been made.
I am not happy with this, but at least it's not a bug!