Correction ordre affichage info solution

Partie_1/Thread/GSATThread.cpp

@@ -85,6 +85,7 @@ void GSATThread::printResult() {
 		calcTime = gsat[0]->realTime() - time[0];
 	}
 	printf(YELLOW);
+	printf("c real time : %.4f seconds\n", calcTime);
 	if(this->isEnd()) {
 		printf("c [thread:%2d][iteration:%4d][fill:%d][heuristic:%d]Satisfied clauses (begin: %d)(end:%d)\n",
 			result.threadId,
@@ -94,7 +95,6 @@ void GSATThread::printResult() {
 			result.nbSatisfiedClausesFill,
 			result.nbSatisfiedClausesSolve);
 	}
-  	printf("c real time : %.4f seconds\n", calcTime);
   	printf(RESET);
 }
 

Partie_2/EMA/GSATThread.cpp

@@ -83,6 +83,7 @@ void GSATThread::printResult() {
 		calcTime = gsat[0]->realTime() - time[0];
 	}
 	printf(YELLOW);
+	printf("c real time : %.4f seconds\n", calcTime);
 	if(this->isEnd()) {
 		printf("c [thread:%2d][iteration:%4d][fill:%d][heuristic:%d]Satisfied clauses (begin: %d)(end:%d)\n",
 			result.threadId,
@@ -92,7 +93,6 @@ void GSATThread::printResult() {
 			result.nbSatisfiedClausesFill,
 			result.nbSatisfiedClausesSolve);
 	}
-  	printf("c real time : %.4f seconds\n", calcTime);
   	printf(RESET);
 }
 

Partie_2/Moyenne/GSATThread.cpp

@@ -83,6 +83,7 @@ void GSATThread::printResult() {
 		calcTime = gsat[0]->realTime() - time[0];
 	}
 	printf(YELLOW);
+	printf("c real time : %.4f seconds\n", calcTime);
 	if(this->isEnd()) {
 		printf("c [thread:%2d][iteration:%4d][fill:%d][heuristic:%d]Satisfied clauses (begin: %d)(end:%d)\n",
 			result.threadId,
@@ -92,7 +93,6 @@ void GSATThread::printResult() {
 			result.nbSatisfiedClausesFill,
 			result.nbSatisfiedClausesSolve);
 	}
-  	printf("c real time : %.4f seconds\n", calcTime);
   	printf(RESET);
 }