searchers.add(new MRVArcConsistency3Search(true, false, false, false));
searchers.add(new MRVArcConsistency3Search(false, false, false, false));
searchers.add(new MRVArcConsistency3Search(true, true, true, false));
searchers.add(new MRVForwardCheckingSearch(true));
searchers.add(new MRVForwardCheckingSearch(false));
searchers.add(new MRVDegreeForwardCheckingSearch(true));
searchers.add(new MRVDegreeArcConsistency3Search(true,true,false,false));
searchers.add(new LCV_MRVForwardCheckingSearch(true));
searchers.add(new LCV_MRVArcConsistency3Search(true,true,false,false));
searchers.add(new LCV_MRVDegreeArcConsistency3Search(true,true,false,false));