SAT directed for the current decomposed constraint. We use IA for evaluating the decoposed intervals weight
add statistics files