// visite du xml et generation du fichier de contrainte
XMLVisitAndValidate xvv = new XMLVisitAndValidate(name,path,format,solver);
if (all)
xvv.validateAll(timeout);
else
xvv.validate(timeout);
}
public String toString() {
String s = "bench name : " + name;