J'ai vu que tu avais commencé à écrire de quoi faire les tests sur plusieurs paramètres. Je suis en train d'écrire un script ruby qui permettra de lancer plein de tests et de maintenir une base de données et de produire facilement des graphes selon les paramètres désirés en sortie. J'espère le finir pour demain soir.
Je pense aussi inclure une version qui teste la correction en appelant minisat
Je propose que mercredi on joue avec le script, normalement on peut calculer à peu près n'importe quoi, par exemple on fixe l et (n/k) et on compare le temps d'execution moyen pour certains algos.
J'ai vu que tu avais commencé à écrire de quoi faire les tests sur plusieurs paramètres. Je suis en train d'écrire un script ruby qui permettra de lancer plein de tests et de maintenir une base de données et de produire facilement des graphes selon les paramètres désirés en sortie. J'espère le finir pour demain soir.
Je pense aussi inclure une version qui teste la correction en appelant minisat