|
|
@@ -130,4 +130,10 @@ Les arguments sont les suivants :
|
|
|
|
|
|
Exemple de commande (celle éxécutée par `make start`) :
|
|
|
|
|
|
-`./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2`
|
|
|
+`./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2`
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+## Bugs
|
|
|
+
|
|
|
+Il est possible dans les versions utilisant MPI (MPI et Hybride) que si plusieurs processus trouvent simultanément une solution qu'il affiche chacun les lignes récapitulatives de la solution. Ce bug apparaît surtout dans le traitement des petits fichiers CNF qui sont résolus en 1 ou 2 itérations, il n'est jamais apparue sur les plus gros fichiers.
|
Loquicom