<configuration
   nbSearchedSolutions="1"  
   timeout="" >
  
  <problem     
     binaryEncoding=""  
     symmetryBreaking=""
     shareBitVectors="no" 
     inferAllDifferentConstraints="no"
     useGlobalConstraints="yes">
    <optimization  
       way=""
       startBound=""  
       stopBound="" />
    <extensionRepresentation 
       type="str2"  
       optim="yes" 
       variant="0" />
    <extensionConversion 
       enabled="yes" 
       arityLimit="2" /> 
  </problem>	
			
  <propagation  
     class="AC"
     classForSupportManager="SupportManager3Rm"
     classForRevisionManager="RevisionManagerBitRm"
     variant="1" 
     classForFailedValueConsistency="" >  
    <shaving 
       k="1"
       threshold="3"
       limitedPropagation="100" />
    <queue 	
       class="QueueOfVariables" >
      <revisionHeuristic 
	 class="minDom" /> 
    </queue>
  </propagation> 
  
  <solver	
     class="IterativeSystematicSolver"
     enablePrepro="yes"
     enableSearch="yes"
     backtracking="SBT" 
     branching="bin" >
    <restarts       
       nbRuns="1" 
       cutoff="" 
       factor="1.1" />
    <learning
       nogoodRecording="rst"
       stateRecording=""
       stateOperators="11011" />
    <variableHeuristic  
       class="maxWDegOnDom" 
       lastConflictSize="0" /> 
    <valueHeuristic 
       class="minFirst" />
    <neighborHeuristic 
       class="BestGlobal" 
       tabuListSize="5" />
  </solver>

  <xml
     savingResults="" 
     savingInstance="" /> <!-- extension intension -->
</configuration>
	

