public void print(String pathFile){
		StringBuffer res = new StringBuffer();
		
		resetCounters();
		
		for(int i=0;i<size;i++){
		
			 res.append( "\""+this.PoNumber.get(i) +"\",\""+
					this.parameters.get(i)+"\",\""+
					this.isKindOfWD.get(i)+"\",\""+
					this.poGenerated.get(i)+"\",\""+
					this.proofStatePmiFile.get(i)+"\",\""+
					this.proofObligation.get(i)  +"\",\""+ this.outputsError.get(i) +"\",\""+  this.results.get(i) +"\",\""+ this.times.get(i)+"\"\n" );
			
			 if(this.proofStatePmiFile.get(i).contains("Proved") ) numberOfVerifiedWithAtelierB++;
				 
			 if(this.proofStatePmiFile.get(i).contains("Proved(Util)") ) numberOfVerifiedWithAtelierBNotAutomaticly++;
			 
			 if(this.proofStatePmiFile.get(i).contains("Unproved")) numberOfVerifiedWithAtelierBNotAutomaticly++;
				 
			 if(this.results.get(i) == Result.TRUE) numberOfVerifiedWithProB++;
			 
			 if(this.results.get(i) == Result.FALSE) numberOfProBDisproved++;
			 
			 if(this.results.get(i) == Result.ERROR) numberOfProBErrors++;
			 
			 
		}
		 
		res.append( "\"Number of verified with AtelierB:"+this.numberOfVerifiedWithAtelierB+"\",\""+
					"Number Of verified with A telierB not automatically:"+this.numberOfVerifiedWithAtelierBNotAutomaticly+"\",\""+
					"Number of verified with ProB automatically:"+this.numberOfVerifiedWithProB+"\",\""+
					"Number of ProB disproved:"+this.numberOfProBDisproved+"\",\""+
					"Number of ProB errors:"+this.numberOfProBErrors+"\",\"" +
					"Number of total POs:"+ this.proofObligation.size()+"\""
					+"\n" );
		
	//TODO: Create some statics to put in the report automatically
	//For example: how many were verified ? 
	//how many were verified but are not verified with atelierB


	//TODO: compare the time with krt of each proof obligation
		
		Control.writeFile(pathFile, res.toString());
		//JOptionPane.showMessageDialog(null, pathFile);
		
	}